proof-x-g10-s1 zero-budget semantic-index
X-G10-S1 proof suite
Proof set for Workspace settings save and job order save happen in same gesture — one atomic batch, peers see consistent state
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 |
|---|---|---|---|
a cross-sub-doc batch commits all sub-ops or none @cv/ui · playwright · persistence/batch-atomicity.spec.ts | catalog | batch op graph-proven · graph-checks-edge cv op catalog applier graph-proven · graph-checks-edge cv server workspace storage graph-proven · graph-checks-edge order state update op graph-proven · graph-checks-edge settings update op graph-proven · graph-checks-edge workspace sub doc ops graph-proven · graph-checks-edge | Test |