← Back to suites
proof-p6-g6-s4 zero-budget semantic-index

P6-G6-S4 proof suite

Proof set for User has both tabs open, kills primary tab — successor becomes leader within seconds

Behaviours 1 Tests 1 Graph 8 nodes · 15 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
[family collaborator] one tab takes over when the primary tab dies
@cv/ui · playwright · stories/device/multi-device.leader-election-handoff.spec.ts
catalog
cv ui realtime client
graph-proven · graph-checks-edge
cv workspace client sdk
graph-proven · graph-checks-edge
realtime connection impl
graph-proven · graph-checks-edge
tab coordinator
graph-proven · graph-checks-edge
Test