FAILURE MAP
← Case archive

FA-35806 / Tab interfaces / Open access

Close others command: dirty victim prompts · case 01

The tab workspace reports an incorrect dirty victim prompts.

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

ROOT CAUSE

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

VERIFIED REPAIR

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

Unsuccessful approach: The partial repair [] 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'] and t not in x['pins']]
    r2 = x['other']
    r3 = 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'], ['c'], ['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'], ['c', 'd'], ['e', 'f'], ['a', 'd'], ['c'], 'b'][['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['d'], ['c'], 'b']Failed
workspace regression 4[[], [], ['e', 'f'], ['c'], [], 'b'][[], [], ['e', 'f'], [], [], 'b']Failed
workspace regression 5[['a', 'c', 'd'], ['c', 'd'], [], ['c'], ['d'], 'b'][['a', 'c', 'd'], ['c', 'd'], [], ['c'], ['d'], 'b']Passed

SHA-256 / 1768bcff799fb85c665da0a3b0957e284d65acc0c2b00950526b04869f127d92

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!=x['target'] and t not in x['pins']]
    r2 = x['other']
    r3 = []
    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'], [], ['d'], 'b'][['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], ['c'], ['d'], 'b']Failed
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'], [], ['a', 'd'], 'b'][['a', 'c', 'd'], ['a', 'c', 'd'], ['e', 'f'], ['c'], ['a', 'd'], 'b']Failed
workspace regression 3[['a', 'c', 'd'], ['c', 'd'], ['e', 'f'], [], ['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'], ['c', 'd'], [], [], ['d'], 'b'][['a', 'c', 'd'], ['c', 'd'], [], ['c'], ['d'], 'b']Failed

SHA-256 / f4ac38a75bc3a60db61b7e96cfd5fdd9671694f3d09f0d1e1bf5e11e61c2de72

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

Case digest / 889a9c981e4335c11f6ca3635702c23047d482954d6a5d772541583a7996f219