proof-p3-g6-s2 zero-budget semantic-index
P3-G6-S2 proof suite
Proof set for Two actors edit the same bullet, third deletes the section — section delete wins, bullet edits lost (but auditable)
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] observe that a section delete wins over concurrent bullet edits @cv/ui · playwright · stories/collab/p3-g6-s2-two-edit-third-deletes-section.spec.ts | catalog | cv document model helpers graph-proven · graph-checks-edge cv op catalog applier graph-proven · graph-checks-edge cv server workspace storage graph-proven · graph-checks-edge cvl node tree graph-proven · graph-checks-edge node delete op graph-proven · graph-checks-edge yjs sub doc sync graph-proven · graph-checks-edge | Test |