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

P6-G6-S2 proof suite

Proof set for User has the same workspace open in two tabs on same browser — leader election prevents double-claim

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
exactly one tab wins the claim for a queued process_request
@cv/ui · playwright · stories/device/p6-g6-s2-leader-election-prevents-double-claim.spec.ts
catalog
cv server process requests
graph-proven · graph-checks-edge
cv workspace client sdk
graph-proven · graph-checks-edge
process request claim broker
graph-proven · graph-checks-edge
tab coordinator
graph-proven · graph-checks-edge
Test