ADV-S10 proof suite
Proof set for Two agents enqueue same `request_id` concurrently — exactly one row created
proof-adv-s10
via audit
claims only eligible queued requests and hides tokens from normal reads
Workspace @cv/server Suite type vitest Suites 2 Behaviours 1 Graph 6 nodes · 155 edges Recent runs 0
src/process-requests.test.ts
Suite membership
A test is valid when it belongs to suites and those suites reach behaviours.
CV server unit
Pin the @cv/server library surface: the actor-id round-trip used by every op envelope, the changes-stream broker that fans out SSE, the compression helper for sub-doc snapshots, the dispatch-fallback adapter shell, job records + jobcache commands and lookup, key entitlements, LLM error classification, the mirror writer, the process-request claim and lease flow, score recompute, stage attempts ledger, workspace ops, and the workspace sub-doc split commit path.
cv-server-unit
via suite
no behaviour door
Recent execution
| Status | Workflow | Commit | Duration | When |
|---|---|---|---|---|
| No recent execution records for this test. | ||||