FAILURE MAP
← Case archive

FA-35991 / Tab interfaces / Open access

Group block move: group active retention · case 01

The tab workspace reports an incorrect group active retention.

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

ROOT CAUSE

The group active retention decision uses x['members'][0] instead of x['active'].

VERIFIED REPAIR

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

Unsuccessful approach: The partial repair x['members'][-1] still violates a workspace boundary or normal case.

Case contract

Move a contiguous tab group as one block: retain member order, remove all originals, rebase target boundary by members preceding it and preserve selected identity.

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 = [t for t in x['tabs'] if t in x['members']]
    r1 = [t for t in x['tabs'] if t not in x['members']]
    r2 = x['boundary']-sum(t in x['members'] for t in x['tabs'][:x['boundary']])
    r3 = all(t in x['members'] for t in x['tabs'][min(x['tabs'].index(t) for t in x['members']):x['boundary']]) and min(x['tabs'].index(t) for t in x['members'])<=x['boundary']<=max(x['tabs'].index(t) for t in x['members'])+1
    r4 = x['members'][0]
    r5 = len(x['members'])
    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', 'e'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2])], 2: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 1, True, 'c', 2])], 3: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0', 'background1'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 1, True, 'c', 2])], 4: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0', 'background1', 'background2'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 1, True, 'c', 2])], 5: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0', 'background1', 'background2', 'background3'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 1, True, 'c', 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 fixtureActualExpectedOutcome
workspace regression 0[['b', 'c'], ['a', 'd', 'e'], 3, False, 'b', 2][['b', 'c'], ['a', 'd', 'e'], 3, False, 'c', 2]Failed
workspace regression 1[['b', 'c'], ['a', 'd', 'e'], 0, False, 'b', 2][['b', 'c'], ['a', 'd', 'e'], 0, False, 'c', 2]Failed
workspace regression 2[['b', 'c'], ['a', 'd', 'e'], 1, True, 'b', 2][['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2]Failed
workspace regression 3[['c', 'd'], ['a', 'b', 'e'], 3, False, 'c', 2][['c', 'd'], ['a', 'b', 'e'], 3, False, 'c', 2]Passed
workspace regression 4[['b', 'c'], ['a', 'd', 'e'], 3, False, 'b', 2][['b', 'c'], ['a', 'd', 'e'], 3, False, 'a', 2]Failed
workspace regression 5[['b', 'c'], ['a', 'd', 'e'], 1, True, 'b', 2][['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2]Failed

SHA-256 / 1fee9319fc6198e1926e9b834a76274d1fe6f81e0f5e06905ff33129c80009be

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    r0 = [t for t in x['tabs'] if t in x['members']]
    r1 = [t for t in x['tabs'] if t not in x['members']]
    r2 = x['boundary']-sum(t in x['members'] for t in x['tabs'][:x['boundary']])
    r3 = all(t in x['members'] for t in x['tabs'][min(x['tabs'].index(t) for t in x['members']):x['boundary']]) and min(x['tabs'].index(t) for t in x['members'])<=x['boundary']<=max(x['tabs'].index(t) for t in x['members'])+1
    r4 = x['members'][-1]
    r5 = len(x['members'])
    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', 'e'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2])], 2: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 1, True, 'c', 2])], 3: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0', 'background1'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 1, True, 'c', 2])], 4: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0', 'background1', 'background2'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 1, True, 'c', 2])], 5: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0', 'background1', 'background2', 'background3'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 1, True, 'c', 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 fixtureActualExpectedOutcome
workspace regression 0[['b', 'c'], ['a', 'd', 'e'], 3, False, 'c', 2][['b', 'c'], ['a', 'd', 'e'], 3, False, 'c', 2]Passed
workspace regression 1[['b', 'c'], ['a', 'd', 'e'], 0, False, 'c', 2][['b', 'c'], ['a', 'd', 'e'], 0, False, 'c', 2]Passed
workspace regression 2[['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2][['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2]Passed
workspace regression 3[['c', 'd'], ['a', 'b', 'e'], 3, False, 'd', 2][['c', 'd'], ['a', 'b', 'e'], 3, False, 'c', 2]Failed
workspace regression 4[['b', 'c'], ['a', 'd', 'e'], 3, False, 'c', 2][['b', 'c'], ['a', 'd', 'e'], 3, False, 'a', 2]Failed
workspace regression 5[['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2][['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2]Passed

SHA-256 / 1a060c3cfff31a9419260059d342029f12cbf6d00de3a40d82152746cc43cab9

3 / The verified repair

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

N = 1
observations = []
def solve(x):
    r0 = [t for t in x['tabs'] if t in x['members']]
    r1 = [t for t in x['tabs'] if t not in x['members']]
    r2 = x['boundary']-sum(t in x['members'] for t in x['tabs'][:x['boundary']])
    r3 = all(t in x['members'] for t in x['tabs'][min(x['tabs'].index(t) for t in x['members']):x['boundary']]) and min(x['tabs'].index(t) for t in x['members'])<=x['boundary']<=max(x['tabs'].index(t) for t in x['members'])+1
    r4 = x['active']
    r5 = len(x['members'])
    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', 'e'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2])], 2: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0'], 1, True, 'c', 2])], 3: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0', 'background1'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1'], 1, True, 'c', 2])], 4: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0', 'background1', 'background2'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2'], 1, True, 'c', 2])], 5: [({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 0, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 0, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 3, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 1, True, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['c', 'd'], 'boundary': 5, 'active': 'c'}, [['c', 'd'], ['a', 'b', 'e', 'background0', 'background1', 'background2', 'background3'], 3, False, 'c', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 5, 'active': 'a'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 3, False, 'a', 2]), ({'tabs': ['a', 'b', 'c', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 'members': ['b', 'c'], 'boundary': 1, 'active': 'c'}, [['b', 'c'], ['a', 'd', 'e', 'background0', 'background1', 'background2', 'background3'], 1, True, 'c', 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 fixtureActualExpectedOutcome
workspace regression 0[['b', 'c'], ['a', 'd', 'e'], 3, False, 'c', 2][['b', 'c'], ['a', 'd', 'e'], 3, False, 'c', 2]Passed
workspace regression 1[['b', 'c'], ['a', 'd', 'e'], 0, False, 'c', 2][['b', 'c'], ['a', 'd', 'e'], 0, False, 'c', 2]Passed
workspace regression 2[['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2][['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2]Passed
workspace regression 3[['c', 'd'], ['a', 'b', 'e'], 3, False, 'c', 2][['c', 'd'], ['a', 'b', 'e'], 3, False, 'c', 2]Passed
workspace regression 4[['b', 'c'], ['a', 'd', 'e'], 3, False, 'a', 2][['b', 'c'], ['a', 'd', 'e'], 3, False, 'a', 2]Passed
workspace regression 5[['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2][['b', 'c'], ['a', 'd', 'e'], 1, True, 'c', 2]Passed

SHA-256 / abf4f87c936354be01bf6710c6ee6fe0ff54599b68838d9f65e48b2b64d3344e

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:46.911106+00:00.

Case digest / 0508f02358a2b6c2351310e5cb3c37439aeacc9b2b6f61e1b3ca0f6ca9daecc0