proof-rec-s5 zero-budget semantic-index
REC-S5 proof suite
Proof set for SSE stream disconnects mid-session — auto-reconnects within ~1.5 s, missed events caught up via since-cursor
Behaviours 1 Tests 1 Graph 6 nodes · 9 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 |
|---|---|---|---|
[family collaborator] never miss a teammate's edit even when my SSE connection drops mid-session @cv/ui · playwright · stories/recovery/sse-catchup-last-event-id.spec.ts | catalog | cv api workspace router graph-proven · graph-checks-edge sse changes stream graph-proven · graph-checks-edge | Test |