← Back to suites
proof-p7-g10-s2 zero-budget semantic-index

P7-G10-S2 proof suite

Proof set for New collaborator joins, then leaves, then rejoins — state convergent, no duplicate identity

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] leaving and rejoining the workspace preserves my identity
@cv/ui · playwright · stories/device/workspace-handoff.bob-rejoins-without-duplicate-identity.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
workspace device identity
graph-proven · graph-checks-edge
Test