← Back to suites
proof-rec-s1 zero-budget semantic-index

REC-S1 proof suite

Proof set for User kills tab mid-edit — pending ops in IDB replay on reopen

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.

TestStatusImplementationOpen
[solo applicant] have my pending edits land after a hard browser crash
@cv/ui · playwright · stories/recovery/kill-tab-idb-replay.spec.ts
catalog
cv api workspace router
graph-proven · graph-checks-edge
cv workspace client sdk
graph-proven · graph-checks-edge
idb persistence
graph-proven · graph-checks-edge
ops endpoint
graph-proven · graph-checks-edge
workspace client sdk
graph-proven · graph-checks-edge
Test