proof-adv-s10 zero-budget semantic-index
ADV-S10 proof suite
Proof set for Two agents enqueue same `request_id` concurrently — exactly one row created
Behaviours 1 Tests 13 Graph 20 nodes · 41 edges Runner - CircleCI - Source wiki/content/stories/USER-STORIES.md
Test witnesses
These tests belong to the suite. Missing implementation links stay visible until a code-backed graph claim records them.
| Test | Status | Implementation | Open |
|---|---|---|---|
can claim an exact request id after inspecting queue eligibility @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | Test |
claims only eligible queued requests and hides tokens from normal reads @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | Test |
creates and lists process requests without leaking claim tokens @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | Test |
defaults the requester class to system @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | Test |
does not store shared ad or role ids in request payloads @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | Test |
enforces the server fallback queued-age floor even when callers ask for fresh work @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | Test |
keeps terminal process requests immutable after completion @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | Test |
lets fallback workers claim only queued requests old enough for fallback @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | Test |
lets workerClass=server bypass the staleness floor when bypassStaleFloor is set @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | Test |
prevents duplicate claims until the lease expires @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | Test |
renews non-terminal leases from owner lifecycle updates @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | Test |
requires the claim token for terminal updates @cv/server · vitest · src/process-requests.test.ts | catalog | cv server process requests graph-proven · graph-checks-edge | 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 | create process request if absent graph-proven · graph-checks-edge cv api workspace router graph-proven · graph-checks-edge cv server process requests graph-proven · graph-checks-edge process requests create endpoint graph-proven · graph-checks-edge | Test |