proof-s4 zero-budget semantic-index
S4 proof suite
Proof set for Synthetic workspace cleanup is deterministic
Behaviours 1 Tests 1 Graph 6 nodes · 9 edges Runner - CircleCI - Source wiki/content/stories/SYSTEM-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 |
|---|---|---|---|
tags synthetic workspaces and only cleans up matching origin metadata @cv/ui · playwright · synthetic-workspace-lifecycle.spec.ts | catalog | api synthetic workspaces graph-proven · graph-checks-edge cv api workspace router graph-proven · graph-checks-edge | Test |