proof-adv-s9 zero-budget semantic-index
ADV-S9 proof suite
Proof set for User opens a workspace with corrupted sub-doc bytes — graceful surface, doesn't poison healthy sub-docs
Behaviours 1 Tests 1 Graph 9 nodes · 18 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 |
|---|---|---|---|
[solo applicant] open my workspace cleanly even if one sub-doc was corrupted on disk @cv/ui · playwright · stories/adversarial/corrupted-sub-doc.spec.ts | catalog | cv api workspace router graph-proven · graph-checks-edge cv ui dashboard graph-proven · graph-checks-edge dashboard workspace load error banner graph-proven · graph-checks-edge workspace read endpoint graph-proven · graph-checks-edge workspace sub doc loader graph-proven · graph-checks-edge | Test |