FA-36521 / Tab interfaces / Open access

Tab context target: context does not activate · case 01

The tab workspace reports an incorrect context does not activate.

Verified by executionVariant 1 · 6 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The context does not activate decision uses x['context'] instead of x['active'].

VERIFIED REPAIR

Use the stipulated workspace rule: x['active'].

Unsuccessful approach: The partial repair x['tabs'][0] still violates a workspace boundary or normal case.

Case contract

Context commands act on the right-clicked tab even when another tab is active; bulk commands expand only when that target belongs to the existing multiselection.

Why this case matters

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

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['context']
    r1 = x['selection'] if x['context'] in x['selection'] else [x['context']]
    r2 = x['context']
    r3 = x['context'] in x['dirty']
    r4 = 'unpin' if x['context'] in x['pins'] else 'pin'
    r5 = x['tabs'].index(x['context'])
    return [r0,r1,r2,r3,r4,r5]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 2: [({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 3: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 4: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 5: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])]}
for i, (inputs, expected) in enumerate(fixtures[N]):
    check("workspace regression "+str(i), solve(inputs), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
workspace regression 0	`['c', ['b', 'c'], 'c', True, 'pin', 2]`	`['c', ['b', 'c'], 'a', True, 'pin', 2]`	Failed
workspace regression 1	`['a', ['a'], 'a', False, 'pin', 0]`	`['a', ['a'], 'a', False, 'pin', 0]`	Passed
workspace regression 2	`['b', ['b', 'c'], 'b', False, 'unpin', 1]`	`['b', ['b', 'c'], 'a', False, 'unpin', 1]`	Failed
workspace regression 3	`['c', ['c'], 'c', True, 'pin', 2]`	`['c', ['c'], 'a', True, 'pin', 2]`	Failed
workspace regression 4	`['c', ['b', 'c'], 'c', True, 'pin', 2]`	`['c', ['b', 'c'], 'd', True, 'pin', 2]`	Failed
workspace regression 5	`['c', ['b', 'c'], 'c', True, 'pin', 2]`	`['c', ['b', 'c'], 'a', True, 'pin', 2]`	Failed

SHA-256 / 76bf850c55eda62fe53cdc82c196b5f08e752af879987230d8757595ee8ec702

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['context']
    r1 = x['selection'] if x['context'] in x['selection'] else [x['context']]
    r2 = x['tabs'][0]
    r3 = x['context'] in x['dirty']
    r4 = 'unpin' if x['context'] in x['pins'] else 'pin'
    r5 = x['tabs'].index(x['context'])
    return [r0,r1,r2,r3,r4,r5]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 2: [({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 3: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 4: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 5: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])]}
for i, (inputs, expected) in enumerate(fixtures[N]):
    check("workspace regression "+str(i), solve(inputs), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
workspace regression 0	`['c', ['b', 'c'], 'a', True, 'pin', 2]`	`['c', ['b', 'c'], 'a', True, 'pin', 2]`	Passed
workspace regression 1	`['a', ['a'], 'a', False, 'pin', 0]`	`['a', ['a'], 'a', False, 'pin', 0]`	Passed
workspace regression 2	`['b', ['b', 'c'], 'a', False, 'unpin', 1]`	`['b', ['b', 'c'], 'a', False, 'unpin', 1]`	Passed
workspace regression 3	`['c', ['c'], 'a', True, 'pin', 2]`	`['c', ['c'], 'a', True, 'pin', 2]`	Passed
workspace regression 4	`['c', ['b', 'c'], 'a', True, 'pin', 2]`	`['c', ['b', 'c'], 'd', True, 'pin', 2]`	Failed
workspace regression 5	`['c', ['b', 'c'], 'a', True, 'pin', 2]`	`['c', ['b', 'c'], 'a', True, 'pin', 2]`	Passed

SHA-256 / 769df9e321d0fc66f87d2abcc909ccc3f20c6266305e5c19440e9e45da98c934

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    r0 = x['context']
    r1 = x['selection'] if x['context'] in x['selection'] else [x['context']]
    r2 = x['active']
    r3 = x['context'] in x['dirty']
    r4 = 'unpin' if x['context'] in x['pins'] else 'pin'
    r5 = x['tabs'].index(x['context'])
    return [r0,r1,r2,r3,r4,r5]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 2: [({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 3: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 4: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])], 5: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'a', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['a', ['a'], 'a', False, 'pin', 0]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'b', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['b', ['b', 'c'], 'a', False, 'unpin', 1]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'c', 'selection': [], 'dirty': ['c'], 'pins': ['b']}, ['c', ['c'], 'a', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'd', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['c'], 'pins': ['b']}, ['c', ['b', 'c'], 'd', True, 'pin', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'active': 'a', 'context': 'c', 'selection': ['b', 'c'], 'dirty': ['b', 'c'], 'pins': ['b']}, ['c', ['b', 'c'], 'a', True, 'pin', 2])]}
for i, (inputs, expected) in enumerate(fixtures[N]):
    check("workspace regression "+str(i), solve(inputs), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
workspace regression 0	`['c', ['b', 'c'], 'a', True, 'pin', 2]`	`['c', ['b', 'c'], 'a', True, 'pin', 2]`	Passed
workspace regression 1	`['a', ['a'], 'a', False, 'pin', 0]`	`['a', ['a'], 'a', False, 'pin', 0]`	Passed
workspace regression 2	`['b', ['b', 'c'], 'a', False, 'unpin', 1]`	`['b', ['b', 'c'], 'a', False, 'unpin', 1]`	Passed
workspace regression 3	`['c', ['c'], 'a', True, 'pin', 2]`	`['c', ['c'], 'a', True, 'pin', 2]`	Passed
workspace regression 4	`['c', ['b', 'c'], 'd', True, 'pin', 2]`	`['c', ['b', 'c'], 'd', True, 'pin', 2]`	Passed
workspace regression 5	`['c', ['b', 'c'], 'a', True, 'pin', 2]`	`['c', ['b', 'c'], 'a', True, 'pin', 2]`	Passed

SHA-256 / a3097261875cfe358b97787c637754e2165e811d8f8f2be1468725bf432e2271

Verification & scope

Finite stipulated workspace snapshots only. Independent result fields describe observable obligations, not a full UI runtime. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:42:52.100024+00:00.

Case digest / 61326ade89b2c1db10dd964bc61fef8008ccd9ea5729ddf01d7fa3cf39462fa8