ADV-S10 proof suite
Proof set for Two agents enqueue same `request_id` concurrently — exactly one row created
proof-adv-s10
via audit
[automated agent] safely enqueue the same workflow request from two clients without duplication
Workspace @cv/ui Suite type playwright Suites 2 Behaviours 1 Graph 9 nodes · 43 edges Recent runs 0
stories/adversarial/concurrent-request-id.spec.ts
Suite membership
A test is valid when it belongs to suites and those suites reach behaviours.
Adversarial inputs and pressure
Prove that CareerVector's invariants hold under hostile or degenerate inputs: oversized pastes, raw HTML/unicode in descriptions, prompt injection aimed at FIXED-tier nodes, unknown op kinds, stale catalog versions from old clients, opId retry storms, nonexistent workspaces, intentionally corrupted sub-docs, concurrent deterministic request_ids, Cloudflare 1027 quota exhaustion, hostile collaborator wipes, corrupted PDF uploads, and bulk-job flooding. The suite is the operational expression of P4-P5 + the §22 quota policy.
adversarial
via suite
no behaviour door
Recent execution
| Status | Workflow | Commit | Duration | When |
|---|---|---|---|---|
| No recent execution records for this test. | ||||