proof-e7 zero-budget semantic-index
E7 proof suite
Proof set for Synthetic test data has a cleanup cost budget
Behaviours 1 Tests 3 Graph 8 nodes · 15 edges Runner - CircleCI - Source wiki/content/stories/EFFICIENCY-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 |
|---|---|---|---|
cleanup is bounded in API calls and wall-clock @cv/ui · playwright · synthetic-workspace-cleanup-budget.spec.ts | catalog | api synthetic workspaces graph-proven · graph-checks-edge cv api workspace router graph-proven · graph-checks-edge | Test |
cleanup is idempotent (second call reports missing, not throws) @cv/ui · playwright · synthetic-workspace-cleanup-budget.spec.ts | catalog | api synthetic workspaces graph-proven · graph-checks-edge cv api workspace router graph-proven · graph-checks-edge | Test |
cleanup refuses unrelated workspaces by origin mismatch @cv/ui · playwright · synthetic-workspace-cleanup-budget.spec.ts | catalog | api synthetic workspaces graph-proven · graph-checks-edge cv api workspace router graph-proven · graph-checks-edge | Test |