FA-36071 / Tab interfaces / Open access

Close to right: right dirty prompts · case 01

The tab workspace reports an incorrect right dirty prompts.

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

ROOT CAUSE

The right dirty prompts decision uses x['dirty'] instead of [t for t in x['tabs'][x['tabs'].index(x['target'])+1:] if t in x['dirty'] and t not in x['pins']].

VERIFIED REPAIR

Use the stipulated workspace rule: [t for t in x['tabs'][x['tabs'].index(x['target'])+1:] if t in x['dirty'] and t not in x['pins']].

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

Case contract

Close To Right uses visual strip order after the invoked tab, excludes pins and crossing into another pane, and reports dirty prompts without closing them.

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['tabs'][x['tabs'].index(x['target'])+1:]
    r1 = [t for t in x['tabs'][x['tabs'].index(x['target'])+1:] if t not in x['pins']]
    r2 = x['dirty']
    r3 = [t for t in x['tabs'][x['tabs'].index(x['target'])+1:] if t not in x['pins']+x['dirty']]
    r4 = x['target']
    r5 = x['tabs'][:x['tabs'].index(x['target'])+1]
    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'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd'], ['c'], ['c'], [], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd'], ['b', 'c'], ['c'], ['b'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [[], [], [], [], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd'], ['c', 'd'], ['c'], ['d'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']])], 2: [({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0'], ['c', 'background0'], ['c'], ['background0'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0'], ['b', 'c', 'background0'], ['c'], ['b', 'background0'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0'], ['background0'], [], ['background0'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0'], ['c', 'd', 'background0'], ['c'], ['d', 'background0'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0'], ['c', 'background0'], [], ['c', 'background0'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0'], ['c', 'background0'], [], ['c', 'background0'], 'b', ['a', 'b']])], 3: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1'], ['c', 'background0', 'background1'], ['c'], ['background0', 'background1'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0', 'background1'], ['b', 'c', 'background0', 'background1'], ['c'], ['b', 'background0', 'background1'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0', 'background1'], ['background0', 'background1'], [], ['background0', 'background1'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1'], ['c', 'd', 'background0', 'background1'], ['c'], ['d', 'background0', 'background1'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0', 'background1'], ['c', 'background0', 'background1'], [], ['c', 'background0', 'background1'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0', 'background1'], ['c', 'background0', 'background1'], [], ['c', 'background0', 'background1'], 'b', ['a', 'b']])], 4: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'background0', 'background1', 'background2'], ['c'], ['background0', 'background1', 'background2'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0', 'background1', 'background2'], ['b', 'c', 'background0', 'background1', 'background2'], ['c'], ['b', 'background0', 'background1', 'background2'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0', 'background1', 'background2'], ['background0', 'background1', 'background2'], [], ['background0', 'background1', 'background2'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'd', 'background0', 'background1', 'background2'], ['c'], ['d', 'background0', 'background1', 'background2'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'background0', 'background1', 'background2'], [], ['c', 'background0', 'background1', 'background2'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'background0', 'background1', 'background2'], [], ['c', 'background0', 'background1', 'background2'], 'b', ['a', 'b']])], 5: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'background0', 'background1', 'background2', 'background3'], ['c'], ['background0', 'background1', 'background2', 'background3'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], ['b', 'c', 'background0', 'background1', 'background2', 'background3'], ['c'], ['b', 'background0', 'background1', 'background2', 'background3'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0', 'background1', 'background2', 'background3'], ['background0', 'background1', 'background2', 'background3'], [], ['background0', 'background1', 'background2', 'background3'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c'], ['d', 'background0', 'background1', 'background2', 'background3'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'background0', 'background1', 'background2', 'background3'], [], ['c', 'background0', 'background1', 'background2', 'background3'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'background0', 'background1', 'background2', 'background3'], [], ['c', 'background0', 'background1', 'background2', 'background3'], 'b', ['a', '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 fixture	Actual	Expected	Outcome
workspace regression 0	`[['c', 'd'], ['c'], ['c'], [], 'b', ['a', 'b']]`	`[['c', 'd'], ['c'], ['c'], [], 'b', ['a', 'b']]`	Passed
workspace regression 1	`[['b', 'c', 'd'], ['b', 'c'], ['c'], ['b'], 'a', ['a']]`	`[['b', 'c', 'd'], ['b', 'c'], ['c'], ['b'], 'a', ['a']]`	Passed
workspace regression 2	`[[], [], ['c'], [], 'd', ['a', 'b', 'c', 'd']]`	`[[], [], [], [], 'd', ['a', 'b', 'c', 'd']]`	Failed
workspace regression 3	`[['c', 'd'], ['c', 'd'], ['c'], ['d'], 'b', ['a', 'b']]`	`[['c', 'd'], ['c', 'd'], ['c'], ['d'], 'b', ['a', 'b']]`	Passed
workspace regression 4	`[['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]`	`[['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]`	Passed
workspace regression 5	`[['c', 'd'], ['c'], ['d'], ['c'], 'b', ['a', 'b']]`	`[['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]`	Failed

SHA-256 / 96035a6e9e51fb736421af60aca58d7abb55bc01484d7dafa290e17ea4c1dd27

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(x):
    r0 = x['tabs'][x['tabs'].index(x['target'])+1:]
    r1 = [t for t in x['tabs'][x['tabs'].index(x['target'])+1:] if t not in x['pins']]
    r2 = []
    r3 = [t for t in x['tabs'][x['tabs'].index(x['target'])+1:] if t not in x['pins']+x['dirty']]
    r4 = x['target']
    r5 = x['tabs'][:x['tabs'].index(x['target'])+1]
    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'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd'], ['c'], ['c'], [], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd'], ['b', 'c'], ['c'], ['b'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [[], [], [], [], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd'], ['c', 'd'], ['c'], ['d'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']])], 2: [({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0'], ['c', 'background0'], ['c'], ['background0'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0'], ['b', 'c', 'background0'], ['c'], ['b', 'background0'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0'], ['background0'], [], ['background0'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0'], ['c', 'd', 'background0'], ['c'], ['d', 'background0'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0'], ['c', 'background0'], [], ['c', 'background0'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0'], ['c', 'background0'], [], ['c', 'background0'], 'b', ['a', 'b']])], 3: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1'], ['c', 'background0', 'background1'], ['c'], ['background0', 'background1'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0', 'background1'], ['b', 'c', 'background0', 'background1'], ['c'], ['b', 'background0', 'background1'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0', 'background1'], ['background0', 'background1'], [], ['background0', 'background1'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1'], ['c', 'd', 'background0', 'background1'], ['c'], ['d', 'background0', 'background1'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0', 'background1'], ['c', 'background0', 'background1'], [], ['c', 'background0', 'background1'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0', 'background1'], ['c', 'background0', 'background1'], [], ['c', 'background0', 'background1'], 'b', ['a', 'b']])], 4: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'background0', 'background1', 'background2'], ['c'], ['background0', 'background1', 'background2'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0', 'background1', 'background2'], ['b', 'c', 'background0', 'background1', 'background2'], ['c'], ['b', 'background0', 'background1', 'background2'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0', 'background1', 'background2'], ['background0', 'background1', 'background2'], [], ['background0', 'background1', 'background2'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'd', 'background0', 'background1', 'background2'], ['c'], ['d', 'background0', 'background1', 'background2'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'background0', 'background1', 'background2'], [], ['c', 'background0', 'background1', 'background2'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'background0', 'background1', 'background2'], [], ['c', 'background0', 'background1', 'background2'], 'b', ['a', 'b']])], 5: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'background0', 'background1', 'background2', 'background3'], ['c'], ['background0', 'background1', 'background2', 'background3'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], ['b', 'c', 'background0', 'background1', 'background2', 'background3'], ['c'], ['b', 'background0', 'background1', 'background2', 'background3'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0', 'background1', 'background2', 'background3'], ['background0', 'background1', 'background2', 'background3'], [], ['background0', 'background1', 'background2', 'background3'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c'], ['d', 'background0', 'background1', 'background2', 'background3'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'background0', 'background1', 'background2', 'background3'], [], ['c', 'background0', 'background1', 'background2', 'background3'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'background0', 'background1', 'background2', 'background3'], [], ['c', 'background0', 'background1', 'background2', 'background3'], 'b', ['a', '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 fixture	Actual	Expected	Outcome
workspace regression 0	`[['c', 'd'], ['c'], [], [], 'b', ['a', 'b']]`	`[['c', 'd'], ['c'], ['c'], [], 'b', ['a', 'b']]`	Failed
workspace regression 1	`[['b', 'c', 'd'], ['b', 'c'], [], ['b'], 'a', ['a']]`	`[['b', 'c', 'd'], ['b', 'c'], ['c'], ['b'], 'a', ['a']]`	Failed
workspace regression 2	`[[], [], [], [], 'd', ['a', 'b', 'c', 'd']]`	`[[], [], [], [], 'd', ['a', 'b', 'c', 'd']]`	Passed
workspace regression 3	`[['c', 'd'], ['c', 'd'], [], ['d'], 'b', ['a', 'b']]`	`[['c', 'd'], ['c', 'd'], ['c'], ['d'], 'b', ['a', 'b']]`	Failed
workspace regression 4	`[['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]`	`[['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]`	Passed
workspace regression 5	`[['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]`	`[['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]`	Passed

SHA-256 / e15c9c69c54e524e7b5f8da70268d6c384acaa2a0e0ac81729cfc1a6fe592ecc

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(x):
    r0 = x['tabs'][x['tabs'].index(x['target'])+1:]
    r1 = [t for t in x['tabs'][x['tabs'].index(x['target'])+1:] if t not in x['pins']]
    r2 = [t for t in x['tabs'][x['tabs'].index(x['target'])+1:] if t in x['dirty'] and t not in x['pins']]
    r3 = [t for t in x['tabs'][x['tabs'].index(x['target'])+1:] if t not in x['pins']+x['dirty']]
    r4 = x['target']
    r5 = x['tabs'][:x['tabs'].index(x['target'])+1]
    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'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd'], ['c'], ['c'], [], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd'], ['b', 'c'], ['c'], ['b'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [[], [], [], [], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd'], ['c', 'd'], ['c'], ['d'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']])], 2: [({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0'], ['c', 'background0'], ['c'], ['background0'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0'], ['b', 'c', 'background0'], ['c'], ['b', 'background0'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0'], ['background0'], [], ['background0'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0'], ['c', 'd', 'background0'], ['c'], ['d', 'background0'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0'], ['c', 'background0'], [], ['c', 'background0'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0'], ['c', 'background0'], [], ['c', 'background0'], 'b', ['a', 'b']])], 3: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1'], ['c', 'background0', 'background1'], ['c'], ['background0', 'background1'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0', 'background1'], ['b', 'c', 'background0', 'background1'], ['c'], ['b', 'background0', 'background1'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0', 'background1'], ['background0', 'background1'], [], ['background0', 'background1'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1'], ['c', 'd', 'background0', 'background1'], ['c'], ['d', 'background0', 'background1'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0', 'background1'], ['c', 'background0', 'background1'], [], ['c', 'background0', 'background1'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0', 'background1'], ['c', 'background0', 'background1'], [], ['c', 'background0', 'background1'], 'b', ['a', 'b']])], 4: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'background0', 'background1', 'background2'], ['c'], ['background0', 'background1', 'background2'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0', 'background1', 'background2'], ['b', 'c', 'background0', 'background1', 'background2'], ['c'], ['b', 'background0', 'background1', 'background2'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0', 'background1', 'background2'], ['background0', 'background1', 'background2'], [], ['background0', 'background1', 'background2'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'd', 'background0', 'background1', 'background2'], ['c'], ['d', 'background0', 'background1', 'background2'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'background0', 'background1', 'background2'], [], ['c', 'background0', 'background1', 'background2'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0', 'background1', 'background2'], ['c', 'background0', 'background1', 'background2'], [], ['c', 'background0', 'background1', 'background2'], 'b', ['a', 'b']])], 5: [({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': ['d'], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'background0', 'background1', 'background2', 'background3'], ['c'], ['background0', 'background1', 'background2', 'background3'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'a', 'pins': ['d'], 'dirty': ['c']}, [['b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], ['b', 'c', 'background0', 'background1', 'background2', 'background3'], ['c'], ['b', 'background0', 'background1', 'background2', 'background3'], 'a', ['a']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'd', 'pins': ['d'], 'dirty': ['c']}, [['background0', 'background1', 'background2', 'background3'], ['background0', 'background1', 'background2', 'background3'], [], ['background0', 'background1', 'background2', 'background3'], 'd', ['a', 'b', 'c', 'd']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': [], 'dirty': ['c']}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c'], ['d', 'background0', 'background1', 'background2', 'background3'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': ['d'], 'dirty': []}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'background0', 'background1', 'background2', 'background3'], [], ['c', 'background0', 'background1', 'background2', 'background3'], 'b', ['a', 'b']]), ({'tabs': ['a', 'b', 'c', 'd', 'background0', 'background1', 'background2', 'background3'], 'target': 'b', 'pins': ['d'], 'dirty': ['d']}, [['c', 'd', 'background0', 'background1', 'background2', 'background3'], ['c', 'background0', 'background1', 'background2', 'background3'], [], ['c', 'background0', 'background1', 'background2', 'background3'], 'b', ['a', '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 fixture	Actual	Expected	Outcome
workspace regression 0	`[['c', 'd'], ['c'], ['c'], [], 'b', ['a', 'b']]`	`[['c', 'd'], ['c'], ['c'], [], 'b', ['a', 'b']]`	Passed
workspace regression 1	`[['b', 'c', 'd'], ['b', 'c'], ['c'], ['b'], 'a', ['a']]`	`[['b', 'c', 'd'], ['b', 'c'], ['c'], ['b'], 'a', ['a']]`	Passed
workspace regression 2	`[[], [], [], [], 'd', ['a', 'b', 'c', 'd']]`	`[[], [], [], [], 'd', ['a', 'b', 'c', 'd']]`	Passed
workspace regression 3	`[['c', 'd'], ['c', 'd'], ['c'], ['d'], 'b', ['a', 'b']]`	`[['c', 'd'], ['c', 'd'], ['c'], ['d'], 'b', ['a', 'b']]`	Passed
workspace regression 4	`[['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]`	`[['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]`	Passed
workspace regression 5	`[['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]`	`[['c', 'd'], ['c'], [], ['c'], 'b', ['a', 'b']]`	Passed

SHA-256 / 7c2deaf9525094786f09dc47aaba7e252f9786a59ed2d4a8a29dcf05fe513f7e

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

Case digest / 2f2ceaae53ccfee5afe936c84958a9f48288c2d9392401fdca52d0ce5cf4d00b