FA-36765 / Tab interfaces / Member archive

Locked tab policy: selection allowed under lock · case 05

The tab workspace reports an incorrect selection allowed under lock.

Member previewVariant 5 · 3 implementations · 6 checks per implementation

Case contract

Locked tabs forbid replacement and close commands but permit selection, scrolling and explicit duplication. Lock badges and command predicates are attached to view identity.

Why this case matters

Offline tab/panel workspace behavior; no browser or desktop framework is emulated.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
workspace regression 0	`[false, ["c", "extra0", "extra1", "extra2", "extra3"], "b", true, "d", ["a", "c", "extra0", "extra1", "extra2", "extra3"]]`	`[false, ["c", "extra0", "extra1", "extra2", "extra3"], "a", true, "d", ["a", "c", "extra0", "extra1", "extra2", "extra3"]]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.