← Back to behaviour
P6-G6-S2 green High

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

Source user-story File wiki/content/stories/USER-STORIES.md Suites 1 Tests 1 Graph 8 nodes · 15 edges

Behaviour shape

Given
The user story behaviour P6-G6-S2 is declared in wiki/content/stories/USER-STORIES.md.
When
The QA proof set evaluates 1 declared spec.
Then
  • The system satisfies: User has the same workspace open in two tabs on same browser — leader election prevents double-claim.

Proof suites

1 suites · 1 tests
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
proof-p6-g6-s2
1 tests
via audit
TestStatusOpen
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
catalogTest