FAILURE MAP
← Case archive

FA-35796 / Tab interfaces / Open access

Close others command: pinned victim protection · case 01

The tab workspace reports an incorrect pinned victim protection.

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

ROOT CAUSE

The pinned victim protection decision uses [t for t in x['pane'] if t!=x['target']] instead of [t for t in x['pane'] if t!=x['target'] and t not in x['pins']].

VERIFIED REPAIR

Use the stipulated workspace rule: [t for t in x['pane'] if t!=x['target'] and t not in x['pins']].

Unsuccessful approach: The partial repair [t for t in x['pane'] if t not in x['pins']] still violates a workspace boundary or normal case.

Case contract

Close Others is scoped to the invoked pane, protects its target and pins, asks about dirty victims in visual order and leaves other panes unchanged.

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['pane'] if t!=x['target']]
    r1 = [t for t in x['pane'] if t!=x['target']]
    r2 = x['other']
    r3 = [t for t in x['pane'] if t!=x['target'] and t not in x['pins'] and t in x['dirty']]
    r4 = [t for t in x['pane'] if t!=x['target'] and t not in x['pins']+x['dirty']]
    r5 = x['target']
    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: [({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['c'], ['d'], 'b']), ({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd'], ['b', 'd'], ['e', 'f'], [], ['b', 'd'], 'c']), ({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd'], ['a', 'c', 'd'], ['e', 'f'], ['c'], ['a', 'd'], 'b']), ({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['d'], ['c'], 'b']), ({'pane': ['b'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [[], [], ['e', 'f'], [], [], 'b']), ({'pane': ['a', 'b', 'c', 'd'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd'], ['c', 'd'], [], ['c'], ['d'], 'b'])], 2: [({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0'], ['c', 'd', 'extra0'], ['e', 'f'], ['c'], ['d', 'extra0'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0'], ['b', 'd', 'extra0'], ['e', 'f'], [], ['b', 'd', 'extra0'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0'], ['a', 'c', 'd', 'extra0'], ['e', 'f'], ['c'], ['a', 'd', 'extra0'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0'], ['c', 'd', 'extra0'], ['e', 'f'], ['d'], ['c', 'extra0'], 'b']), ({'pane': ['b', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0'], ['extra0'], ['e', 'f'], [], ['extra0'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0'], ['c', 'd', 'extra0'], [], ['c'], ['d', 'extra0'], 'b'])], 3: [({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['c', 'd', 'extra0', 'extra1'], ['e', 'f'], ['c'], ['d', 'extra0', 'extra1'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0', 'extra1'], ['b', 'd', 'extra0', 'extra1'], ['e', 'f'], [], ['b', 'd', 'extra0', 'extra1'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['a', 'c', 'd', 'extra0', 'extra1'], ['e', 'f'], ['c'], ['a', 'd', 'extra0', 'extra1'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['c', 'd', 'extra0', 'extra1'], ['e', 'f'], ['d'], ['c', 'extra0', 'extra1'], 'b']), ({'pane': ['b', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0', 'extra1'], ['extra0', 'extra1'], ['e', 'f'], [], ['extra0', 'extra1'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['c', 'd', 'extra0', 'extra1'], [], ['c'], ['d', 'extra0', 'extra1'], 'b'])], 4: [({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['c', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], ['c'], ['d', 'extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0', 'extra1', 'extra2'], ['b', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], [], ['b', 'd', 'extra0', 'extra1', 'extra2'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], ['c'], ['a', 'd', 'extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['c', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], ['d'], ['c', 'extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['b', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0', 'extra1', 'extra2'], ['extra0', 'extra1', 'extra2'], ['e', 'f'], [], ['extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['c', 'd', 'extra0', 'extra1', 'extra2'], [], ['c'], ['d', 'extra0', 'extra1', 'extra2'], 'b'])], 5: [({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], ['c'], ['d', 'extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['b', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], [], ['b', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], ['c'], ['a', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], ['d'], ['c', 'extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['b', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0', 'extra1', 'extra2', 'extra3'], ['extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], [], ['extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], [], ['c'], ['d', 'extra0', 'extra1', 'extra2', 'extra3'], 'b'])]}
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[['a', 'c', 'd'], ['a', 'c', 'd'], ['e', 'f'], ['c'], ['d'], 'b'][['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['c'], ['d'], 'b']Failed
workspace regression 1[['a', 'b', 'd'], ['a', 'b', 'd'], ['e', 'f'], [], ['b', 'd'], 'c'][['a', 'b', 'd'], ['b', 'd'], ['e', 'f'], [], ['b', 'd'], 'c']Failed
workspace regression 2[['a', 'c', 'd'], ['a', 'c', 'd'], ['e', 'f'], ['c'], ['a', 'd'], 'b'][['a', 'c', 'd'], ['a', 'c', 'd'], ['e', 'f'], ['c'], ['a', 'd'], 'b']Passed
workspace regression 3[['a', 'c', 'd'], ['a', 'c', 'd'], ['e', 'f'], ['d'], ['c'], 'b'][['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['d'], ['c'], 'b']Failed
workspace regression 4[[], [], ['e', 'f'], [], [], 'b'][[], [], ['e', 'f'], [], [], 'b']Passed
workspace regression 5[['a', 'c', 'd'], ['a', 'c', 'd'], [], ['c'], ['d'], 'b'][['a', 'c', 'd'], ['c', 'd'], [], ['c'], ['d'], 'b']Failed

SHA-256 / a932be18ff1a9641b670d2e06a03c69bb4d94a5ab9a0a12e1d130d336d14f81e

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['pane'] if t!=x['target']]
    r1 = [t for t in x['pane'] if t not in x['pins']]
    r2 = x['other']
    r3 = [t for t in x['pane'] if t!=x['target'] and t not in x['pins'] and t in x['dirty']]
    r4 = [t for t in x['pane'] if t!=x['target'] and t not in x['pins']+x['dirty']]
    r5 = x['target']
    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: [({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['c'], ['d'], 'b']), ({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd'], ['b', 'd'], ['e', 'f'], [], ['b', 'd'], 'c']), ({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd'], ['a', 'c', 'd'], ['e', 'f'], ['c'], ['a', 'd'], 'b']), ({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['d'], ['c'], 'b']), ({'pane': ['b'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [[], [], ['e', 'f'], [], [], 'b']), ({'pane': ['a', 'b', 'c', 'd'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd'], ['c', 'd'], [], ['c'], ['d'], 'b'])], 2: [({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0'], ['c', 'd', 'extra0'], ['e', 'f'], ['c'], ['d', 'extra0'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0'], ['b', 'd', 'extra0'], ['e', 'f'], [], ['b', 'd', 'extra0'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0'], ['a', 'c', 'd', 'extra0'], ['e', 'f'], ['c'], ['a', 'd', 'extra0'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0'], ['c', 'd', 'extra0'], ['e', 'f'], ['d'], ['c', 'extra0'], 'b']), ({'pane': ['b', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0'], ['extra0'], ['e', 'f'], [], ['extra0'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0'], ['c', 'd', 'extra0'], [], ['c'], ['d', 'extra0'], 'b'])], 3: [({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['c', 'd', 'extra0', 'extra1'], ['e', 'f'], ['c'], ['d', 'extra0', 'extra1'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0', 'extra1'], ['b', 'd', 'extra0', 'extra1'], ['e', 'f'], [], ['b', 'd', 'extra0', 'extra1'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['a', 'c', 'd', 'extra0', 'extra1'], ['e', 'f'], ['c'], ['a', 'd', 'extra0', 'extra1'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['c', 'd', 'extra0', 'extra1'], ['e', 'f'], ['d'], ['c', 'extra0', 'extra1'], 'b']), ({'pane': ['b', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0', 'extra1'], ['extra0', 'extra1'], ['e', 'f'], [], ['extra0', 'extra1'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['c', 'd', 'extra0', 'extra1'], [], ['c'], ['d', 'extra0', 'extra1'], 'b'])], 4: [({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['c', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], ['c'], ['d', 'extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0', 'extra1', 'extra2'], ['b', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], [], ['b', 'd', 'extra0', 'extra1', 'extra2'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], ['c'], ['a', 'd', 'extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['c', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], ['d'], ['c', 'extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['b', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0', 'extra1', 'extra2'], ['extra0', 'extra1', 'extra2'], ['e', 'f'], [], ['extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['c', 'd', 'extra0', 'extra1', 'extra2'], [], ['c'], ['d', 'extra0', 'extra1', 'extra2'], 'b'])], 5: [({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], ['c'], ['d', 'extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['b', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], [], ['b', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], ['c'], ['a', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], ['d'], ['c', 'extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['b', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0', 'extra1', 'extra2', 'extra3'], ['extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], [], ['extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], [], ['c'], ['d', 'extra0', 'extra1', 'extra2', 'extra3'], 'b'])]}
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[['a', 'c', 'd'], ['b', 'c', 'd'], ['e', 'f'], ['c'], ['d'], 'b'][['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['c'], ['d'], 'b']Failed
workspace regression 1[['a', 'b', 'd'], ['b', 'c', 'd'], ['e', 'f'], [], ['b', 'd'], 'c'][['a', 'b', 'd'], ['b', 'd'], ['e', 'f'], [], ['b', 'd'], 'c']Failed
workspace regression 2[['a', 'c', 'd'], ['a', 'b', 'c', 'd'], ['e', 'f'], ['c'], ['a', 'd'], 'b'][['a', 'c', 'd'], ['a', 'c', 'd'], ['e', 'f'], ['c'], ['a', 'd'], 'b']Failed
workspace regression 3[['a', 'c', 'd'], ['b', 'c', 'd'], ['e', 'f'], ['d'], ['c'], 'b'][['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['d'], ['c'], 'b']Failed
workspace regression 4[[], ['b'], ['e', 'f'], [], [], 'b'][[], [], ['e', 'f'], [], [], 'b']Failed
workspace regression 5[['a', 'c', 'd'], ['b', 'c', 'd'], [], ['c'], ['d'], 'b'][['a', 'c', 'd'], ['c', 'd'], [], ['c'], ['d'], 'b']Failed

SHA-256 / 3f3261c623e293319e9d35dac88f6e2def4ae4465919fc17a0e2e236a5e26dcc

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['pane'] if t!=x['target']]
    r1 = [t for t in x['pane'] if t!=x['target'] and t not in x['pins']]
    r2 = x['other']
    r3 = [t for t in x['pane'] if t!=x['target'] and t not in x['pins'] and t in x['dirty']]
    r4 = [t for t in x['pane'] if t!=x['target'] and t not in x['pins']+x['dirty']]
    r5 = x['target']
    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: [({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['c'], ['d'], 'b']), ({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd'], ['b', 'd'], ['e', 'f'], [], ['b', 'd'], 'c']), ({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd'], ['a', 'c', 'd'], ['e', 'f'], ['c'], ['a', 'd'], 'b']), ({'pane': ['a', 'b', 'c', 'd'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['d'], ['c'], 'b']), ({'pane': ['b'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [[], [], ['e', 'f'], [], [], 'b']), ({'pane': ['a', 'b', 'c', 'd'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd'], ['c', 'd'], [], ['c'], ['d'], 'b'])], 2: [({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0'], ['c', 'd', 'extra0'], ['e', 'f'], ['c'], ['d', 'extra0'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0'], ['b', 'd', 'extra0'], ['e', 'f'], [], ['b', 'd', 'extra0'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0'], ['a', 'c', 'd', 'extra0'], ['e', 'f'], ['c'], ['a', 'd', 'extra0'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0'], ['c', 'd', 'extra0'], ['e', 'f'], ['d'], ['c', 'extra0'], 'b']), ({'pane': ['b', 'extra0'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0'], ['extra0'], ['e', 'f'], [], ['extra0'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0'], ['c', 'd', 'extra0'], [], ['c'], ['d', 'extra0'], 'b'])], 3: [({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['c', 'd', 'extra0', 'extra1'], ['e', 'f'], ['c'], ['d', 'extra0', 'extra1'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0', 'extra1'], ['b', 'd', 'extra0', 'extra1'], ['e', 'f'], [], ['b', 'd', 'extra0', 'extra1'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['a', 'c', 'd', 'extra0', 'extra1'], ['e', 'f'], ['c'], ['a', 'd', 'extra0', 'extra1'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['c', 'd', 'extra0', 'extra1'], ['e', 'f'], ['d'], ['c', 'extra0', 'extra1'], 'b']), ({'pane': ['b', 'extra0', 'extra1'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0', 'extra1'], ['extra0', 'extra1'], ['e', 'f'], [], ['extra0', 'extra1'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1'], ['c', 'd', 'extra0', 'extra1'], [], ['c'], ['d', 'extra0', 'extra1'], 'b'])], 4: [({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['c', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], ['c'], ['d', 'extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0', 'extra1', 'extra2'], ['b', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], [], ['b', 'd', 'extra0', 'extra1', 'extra2'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], ['c'], ['a', 'd', 'extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['c', 'd', 'extra0', 'extra1', 'extra2'], ['e', 'f'], ['d'], ['c', 'extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['b', 'extra0', 'extra1', 'extra2'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0', 'extra1', 'extra2'], ['extra0', 'extra1', 'extra2'], ['e', 'f'], [], ['extra0', 'extra1', 'extra2'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2'], ['c', 'd', 'extra0', 'extra1', 'extra2'], [], ['c'], ['d', 'extra0', 'extra1', 'extra2'], 'b'])], 5: [({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], ['c'], ['d', 'extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'c', 'pins': ['a'], 'dirty': ['c']}, [['a', 'b', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['b', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], [], ['b', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'c']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], ['c'], ['a', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['a', 'd']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], ['d'], ['c', 'extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['b', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': ['e', 'f'], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['extra0', 'extra1', 'extra2', 'extra3'], ['extra0', 'extra1', 'extra2', 'extra3'], ['e', 'f'], [], ['extra0', 'extra1', 'extra2', 'extra3'], 'b']), ({'pane': ['a', 'b', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], 'other': [], 'target': 'b', 'pins': ['a'], 'dirty': ['c']}, [['a', 'c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], ['c', 'd', 'extra0', 'extra1', 'extra2', 'extra3'], [], ['c'], ['d', 'extra0', 'extra1', 'extra2', 'extra3'], 'b'])]}
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[['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['c'], ['d'], 'b'][['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['c'], ['d'], 'b']Passed
workspace regression 1[['a', 'b', 'd'], ['b', 'd'], ['e', 'f'], [], ['b', 'd'], 'c'][['a', 'b', 'd'], ['b', 'd'], ['e', 'f'], [], ['b', 'd'], 'c']Passed
workspace regression 2[['a', 'c', 'd'], ['a', 'c', 'd'], ['e', 'f'], ['c'], ['a', 'd'], 'b'][['a', 'c', 'd'], ['a', 'c', 'd'], ['e', 'f'], ['c'], ['a', 'd'], 'b']Passed
workspace regression 3[['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['d'], ['c'], 'b'][['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['d'], ['c'], 'b']Passed
workspace regression 4[[], [], ['e', 'f'], [], [], 'b'][[], [], ['e', 'f'], [], [], 'b']Passed
workspace regression 5[['a', 'c', 'd'], ['c', 'd'], [], ['c'], ['d'], 'b'][['a', 'c', 'd'], ['c', 'd'], [], ['c'], ['d'], 'b']Passed

SHA-256 / 87dfbf319a9980dbf5ce89c54f9c2eb832ddab53682ccd01d31c3d7ec01c8972

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

Case digest / 6667bae19258bdcc3ddcbc0d96720d112ec3061ee4b1e1891921684aac5162cb