FA-36286 / Tab interfaces / Open access
Deleted open document: recovery save as basename · case 01
The tab workspace reports an incorrect recovery save as basename.
ROOT CAUSE
The recovery save as basename decision uses {t:x['paths'][t] for t in x['tabs'] if t in x['deleted'] and t in x['dirty']} instead of {t:x['paths'][t].rsplit('/',1)[-1] for t in x['tabs'] if t in x['deleted'] and t in x['dirty']}.
VERIFIED REPAIR
Use the stipulated workspace rule: {t:x['paths'][t].rsplit('/',1)[-1] for t in x['tabs'] if t in x['deleted'] and t in x['dirty']}.
Unsuccessful approach: The partial repair {t:'Untitled' for t in x['tabs'] if t in x['deleted'] and t in x['dirty']} still violates a workspace boundary or normal case.
Case contract
External deletion leaves dirty tab buffers recoverable, marks missing backing files, permits Save As, and closes clean tabs only under the explicit close-clean policy.
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['deleted']]
r1 = [t for t in x['tabs'] if t in x['deleted'] and t in x['dirty']]
r2 = [t for t in x['tabs'] if x['close_clean'] and t in x['deleted'] and t not in x['dirty']]
r3 = {t:x['paths'][t] for t in x['tabs'] if t in x['deleted'] and t in x['dirty']}
r4 = [t for t in x['tabs'] if not (x['close_clean'] and t in x['deleted'] and t not in x['dirty'])]
r5 = {t:x['paths'][t]+' (missing)' for t in x['tabs'] if t in x['deleted']}
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'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c'], {}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 2: [({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0'], {}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 3: [({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0', 'background1'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0', 'background1'], {}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 4: [({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0', 'background1', 'background2'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0', 'background1', 'background2'], {}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 5: [({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], {}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])]}
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 | [['a', 'b'], ['b'], ['a'], {'b': '/project/b.txt'}, ['b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Failed |
| workspace regression 1 | [['a', 'b'], ['b'], [], {'b': '/project/b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Failed |
| workspace regression 2 | [['a', 'b'], ['a', 'b'], [], {'a': '/project/a.txt', 'b': '/project/b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Failed |
| workspace regression 3 | [['c'], [], ['c'], {}, ['a', 'b'], {'c': '/project/c.txt (missing)'}] | [['c'], [], ['c'], {}, ['a', 'b'], {'c': '/project/c.txt (missing)'}] | Passed |
| workspace regression 4 | [[], [], [], {}, ['a', 'b', 'c'], {}] | [[], [], [], {}, ['a', 'b', 'c'], {}] | Passed |
| workspace regression 5 | [['a', 'b'], [], ['a', 'b'], {}, ['c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], [], ['a', 'b'], {}, ['c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Passed |
SHA-256 / 17ee41f55e44232d2da7036a3b89170883e3ea22802c76891d2d6c4671a6f320
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['deleted']]
r1 = [t for t in x['tabs'] if t in x['deleted'] and t in x['dirty']]
r2 = [t for t in x['tabs'] if x['close_clean'] and t in x['deleted'] and t not in x['dirty']]
r3 = {t:'Untitled' for t in x['tabs'] if t in x['deleted'] and t in x['dirty']}
r4 = [t for t in x['tabs'] if not (x['close_clean'] and t in x['deleted'] and t not in x['dirty'])]
r5 = {t:x['paths'][t]+' (missing)' for t in x['tabs'] if t in x['deleted']}
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'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c'], {}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 2: [({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0'], {}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 3: [({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0', 'background1'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0', 'background1'], {}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 4: [({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0', 'background1', 'background2'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0', 'background1', 'background2'], {}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 5: [({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], {}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])]}
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 | [['a', 'b'], ['b'], ['a'], {'b': 'Untitled'}, ['b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Failed |
| workspace regression 1 | [['a', 'b'], ['b'], [], {'b': 'Untitled'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Failed |
| workspace regression 2 | [['a', 'b'], ['a', 'b'], [], {'a': 'Untitled', 'b': 'Untitled'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Failed |
| workspace regression 3 | [['c'], [], ['c'], {}, ['a', 'b'], {'c': '/project/c.txt (missing)'}] | [['c'], [], ['c'], {}, ['a', 'b'], {'c': '/project/c.txt (missing)'}] | Passed |
| workspace regression 4 | [[], [], [], {}, ['a', 'b', 'c'], {}] | [[], [], [], {}, ['a', 'b', 'c'], {}] | Passed |
| workspace regression 5 | [['a', 'b'], [], ['a', 'b'], {}, ['c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], [], ['a', 'b'], {}, ['c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Passed |
SHA-256 / b9bb09f78c2fec9a7d5a68f083fc7f99d8f2dec340eebb84743e6683c06aa490
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['deleted']]
r1 = [t for t in x['tabs'] if t in x['deleted'] and t in x['dirty']]
r2 = [t for t in x['tabs'] if x['close_clean'] and t in x['deleted'] and t not in x['dirty']]
r3 = {t:x['paths'][t].rsplit('/',1)[-1] for t in x['tabs'] if t in x['deleted'] and t in x['dirty']}
r4 = [t for t in x['tabs'] if not (x['close_clean'] and t in x['deleted'] and t not in x['dirty'])]
r5 = {t:x['paths'][t]+' (missing)' for t in x['tabs'] if t in x['deleted']}
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'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c'], {}]), ({'tabs': ['a', 'b', 'c'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 2: [({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0'], {}]), ({'tabs': ['a', 'b', 'c', 'background0'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 3: [({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0', 'background1'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0', 'background1'], {}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0', 'background1'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 4: [({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0', 'background1', 'background2'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0', 'background1', 'background2'], {}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0', 'background1', 'background2'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])], 5: [({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': ['b'], 'close_clean': False, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': ['a', 'b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['c'], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['c'], [], ['c'], {}, ['a', 'b', 'background0', 'background1', 'background2', 'background3'], {'c': '/project/c.txt (missing)'}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': [], 'dirty': ['b'], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [[], [], [], {}, ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], {}]), ({'tabs': ['a', 'b', 'c', 'background0', 'background1', 'background2', 'background3'], 'deleted': ['a', 'b'], 'dirty': [], 'close_clean': True, 'paths': {'a': '/project/a.txt', 'b': '/project/b.txt', 'c': '/project/c.txt'}}, [['a', 'b'], [], ['a', 'b'], {}, ['c', 'background0', 'background1', 'background2', 'background3'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}])]}
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 | [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], ['b'], ['a'], {'b': 'b.txt'}, ['b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Passed |
| workspace regression 1 | [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], ['b'], [], {'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Passed |
| workspace regression 2 | [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], ['a', 'b'], [], {'a': 'a.txt', 'b': 'b.txt'}, ['a', 'b', 'c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Passed |
| workspace regression 3 | [['c'], [], ['c'], {}, ['a', 'b'], {'c': '/project/c.txt (missing)'}] | [['c'], [], ['c'], {}, ['a', 'b'], {'c': '/project/c.txt (missing)'}] | Passed |
| workspace regression 4 | [[], [], [], {}, ['a', 'b', 'c'], {}] | [[], [], [], {}, ['a', 'b', 'c'], {}] | Passed |
| workspace regression 5 | [['a', 'b'], [], ['a', 'b'], {}, ['c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | [['a', 'b'], [], ['a', 'b'], {}, ['c'], {'a': '/project/a.txt (missing)', 'b': '/project/b.txt (missing)'}] | Passed |
SHA-256 / cc7a647a2cfd6f93f74cfde38dd0af7c5857506c5f6f63647988c3d0a899c7d8
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:49.723297+00:00.
Case digest / 4ccc796012beb5621610a1401b2fecd8dadf8ffa2e8be0b4fb7b9b0abc3f7f05