Context
register enforces get_max_cap/get_participant_count. Under high concurrent submission near the
cap, off-by-one or read-modify-write ordering can let participant count exceed the cap or reject the
exact-Nth registrant incorrectly.
Scope
- Audit the count increment vs cap check ordering for atomicity within a single invocation.
- Define behavior at exactly cap (Nth allowed, N+1 rejected).
- Add tests filling to the cap boundary.
Acceptance criteria
Context
registerenforcesget_max_cap/get_participant_count. Under high concurrent submission near thecap, off-by-one or read-modify-write ordering can let participant count exceed the cap or reject the
exact-Nth registrant incorrectly.
Scope
Acceptance criteria
max_cap.