ADV-S10 proof suite
Proof set for Two agents enqueue same `request_id` concurrently — exactly one row created
proof-adv-s10
13 tests
via audit
| Test | Status | Open |
|---|---|---|
can claim an exact request id after inspecting queue eligibility @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
claims only eligible queued requests and hides tokens from normal reads @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
creates and lists process requests without leaking claim tokens @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
defaults the requester class to system @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
does not store shared ad or role ids in request payloads @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
enforces the server fallback queued-age floor even when callers ask for fresh work @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
keeps terminal process requests immutable after completion @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
lets fallback workers claim only queued requests old enough for fallback @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
lets workerClass=server bypass the staleness floor when bypassStaleFloor is set @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
prevents duplicate claims until the lease expires @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
renews non-terminal leases from owner lifecycle updates @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
requires the claim token for terminal updates @cv/server · vitest · src/process-requests.test.ts | catalog | Test |
[automated agent] safely enqueue the same workflow request from two clients without duplication @cv/ui · playwright · stories/adversarial/concurrent-request-id.spec.ts | catalog | Test |