proof-p3-g4-s1 zero-budget semantic-index
P3-G4-S1 proof suite
Proof set for Three actors evaluate same boolean criterion concurrently — first-write-wins is wrong; LWW per criterion key OK
Behaviours 1 Tests 1 Graph 10 nodes · 21 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 |
|---|---|---|---|
[family collaborator] have three concurrent writes to the same criterion settle on one value @cv/ui · playwright · stories/collab/p3-g4-s1-three-evaluate-same-criterion.spec.ts | catalog | compute lock graph-proven · graph-checks-edge custom columns graph-proven · graph-checks-edge cv document model helpers graph-proven · graph-checks-edge cv job pipeline engine graph-proven · graph-checks-edge cv singleflight locks graph-proven · graph-checks-edge job evaluation pipeline graph-proven · graph-checks-edge | Test |