categoryUsed is not updated when revokes a vesting schedule in RAACReleaseOrchestrator.
When emergencyRevoke() is called to revoke a vesting schedule, the corresponding schedule is deleted from vestingSchedules.
RAACReleaseOrchestrator::emergencyRevoke()
However, categoryUsed is not updated while it should be supplement by the unreleased amount.
Incorrect accounting of categoryUsed.
Manual Review
When a vesting schedule is revoked, add the unreleased amount back to categoryUsed.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.