proof-p4-g1-s3 zero-budget semantic-index
P4-G1-S3 proof suite
Proof set for Agent races with another agent on same URL — only one row, one process request
Behaviours 1 Tests 1 Graph 8 nodes · 15 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 |
|---|---|---|---|
[agent operator] avoid double-row when two agents paste the same URL at the same time @cv/ui · playwright · stories/agent/p4-g1-s3-two-agents-race-same-url.spec.ts | catalog | add job request id graph-proven · graph-checks-edge cv api workspace router graph-proven · graph-checks-edge cv op catalog applier graph-proven · graph-checks-edge process requests endpoint graph-proven · graph-checks-edge | Test |