FAILURE MAP
← Case archive

FA-36166 / Tab interfaces / Open access

Drag cancel rollback: placeholder discard · case 01

The tab workspace reports an incorrect placeholder discard.

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

ROOT CAUSE

The placeholder discard decision uses False instead of x['cancel'].

VERIFIED REPAIR

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

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

Case contract

Canceling a tab drag restores source pane and rank, removes provisional destination placeholder, restores prior selection, releases capture and discards detach preview.

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['original'] if x['cancel'] else x['provisional']
    r1 = x['source'] if x['cancel'] else x['destination']
    r2 = x['rank'] if x['cancel'] else None
    r3 = False
    r4 = x['previous_active'] if x['cancel'] else x['dragged']
    r5 = 'discard' if x['cancel'] else 'commit'
    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: [({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c'], 'provisional': ['b', 'c'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'b'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'p', 2, True, 'a', 'discard'])], 2: [({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['b', 'c', 'extra0'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'b', 'extra0'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 2, True, 'a', 'discard'])], 3: [({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0', 'extra1'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['b', 'c', 'extra0', 'extra1'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'b', 'extra0', 'extra1'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 2, True, 'a', 'discard'])], 4: [({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0', 'extra1', 'extra2'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['b', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'b', 'extra0', 'extra1', 'extra2'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 2, True, 'a', 'discard'])], 5: [({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'b', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 2, True, 'a', 'discard'])]}
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', 'b', 'c'], 'p', 1, False, 'a', 'discard'][['a', 'b', 'c'], 'p', 1, True, 'a', 'discard']Failed
workspace regression 1[['a', 'c'], 'q', None, False, 'b', 'commit'][['a', 'c'], 'q', None, False, 'b', 'commit']Passed
workspace regression 2[['a', 'b', 'c'], 'p', 0, False, 'a', 'discard'][['a', 'b', 'c'], 'p', 0, True, 'a', 'discard']Failed
workspace regression 3[['a', 'b', 'c'], 'p', 1, False, 'b', 'discard'][['a', 'b', 'c'], 'p', 1, True, 'b', 'discard']Failed
workspace regression 4[['a', 'b', 'c'], 'q', 1, False, 'a', 'discard'][['a', 'b', 'c'], 'q', 1, True, 'a', 'discard']Failed
workspace regression 5[['a', 'b', 'c'], 'p', 2, False, 'a', 'discard'][['a', 'b', 'c'], 'p', 2, True, 'a', 'discard']Failed

SHA-256 / 5d76e0376f38939343071e762dbc1ffbcb9277260dc63ac6e6c70036bf60ce3f

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    r0 = x['original'] if x['cancel'] else x['provisional']
    r1 = x['source'] if x['cancel'] else x['destination']
    r2 = x['rank'] if x['cancel'] else None
    r3 = True
    r4 = x['previous_active'] if x['cancel'] else x['dragged']
    r5 = 'discard' if x['cancel'] else 'commit'
    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: [({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c'], 'provisional': ['b', 'c'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'b'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'p', 2, True, 'a', 'discard'])], 2: [({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['b', 'c', 'extra0'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'b', 'extra0'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 2, True, 'a', 'discard'])], 3: [({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0', 'extra1'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['b', 'c', 'extra0', 'extra1'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'b', 'extra0', 'extra1'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 2, True, 'a', 'discard'])], 4: [({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0', 'extra1', 'extra2'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['b', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'b', 'extra0', 'extra1', 'extra2'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 2, True, 'a', 'discard'])], 5: [({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'b', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 2, True, 'a', 'discard'])]}
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', 'b', 'c'], 'p', 1, True, 'a', 'discard'][['a', 'b', 'c'], 'p', 1, True, 'a', 'discard']Passed
workspace regression 1[['a', 'c'], 'q', None, True, 'b', 'commit'][['a', 'c'], 'q', None, False, 'b', 'commit']Failed
workspace regression 2[['a', 'b', 'c'], 'p', 0, True, 'a', 'discard'][['a', 'b', 'c'], 'p', 0, True, 'a', 'discard']Passed
workspace regression 3[['a', 'b', 'c'], 'p', 1, True, 'b', 'discard'][['a', 'b', 'c'], 'p', 1, True, 'b', 'discard']Passed
workspace regression 4[['a', 'b', 'c'], 'q', 1, True, 'a', 'discard'][['a', 'b', 'c'], 'q', 1, True, 'a', 'discard']Passed
workspace regression 5[['a', 'b', 'c'], 'p', 2, True, 'a', 'discard'][['a', 'b', 'c'], 'p', 2, True, 'a', 'discard']Passed

SHA-256 / 8f20ec375df7b33b0beae5ee42ec69eeb076f87af0b8358f62ca7f10e31c1cc6

3 / The verified repair

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

N = 1
observations = []
def solve(x):
    r0 = x['original'] if x['cancel'] else x['provisional']
    r1 = x['source'] if x['cancel'] else x['destination']
    r2 = x['rank'] if x['cancel'] else None
    r3 = x['cancel']
    r4 = x['previous_active'] if x['cancel'] else x['dragged']
    r5 = 'discard' if x['cancel'] else 'commit'
    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: [({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c'], 'provisional': ['b', 'c'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'c'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c'], 'provisional': ['a', 'b'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c'], 'p', 2, True, 'a', 'discard'])], 2: [({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['b', 'c', 'extra0'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'c', 'extra0'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0'], 'provisional': ['a', 'b', 'extra0'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0'], 'p', 2, True, 'a', 'discard'])], 3: [({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0', 'extra1'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['b', 'c', 'extra0', 'extra1'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'c', 'extra0', 'extra1'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1'], 'provisional': ['a', 'b', 'extra0', 'extra1'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1'], 'p', 2, True, 'a', 'discard'])], 4: [({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0', 'extra1', 'extra2'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['b', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'provisional': ['a', 'b', 'extra0', 'extra1', 'extra2'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2'], 'p', 2, True, 'a', 'discard'])], 5: [({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': False}, [['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'q', None, False, 'b', 'commit']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'a', 'rank': 0, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 0, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'p', 'destination': 'q', 'previous_active': 'b', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 1, True, 'b', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'b', 'rank': 1, 'source': 'q', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'q', 1, True, 'a', 'discard']), ({'original': ['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'provisional': ['a', 'b', 'extra0', 'extra1', 'extra2', 'extra3'], 'dragged': 'c', 'rank': 2, 'source': 'p', 'destination': 'q', 'previous_active': 'a', 'cancel': True}, [['a', 'b', 'c', 'extra0', 'extra1', 'extra2', 'extra3'], 'p', 2, True, 'a', 'discard'])]}
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', 'b', 'c'], 'p', 1, True, 'a', 'discard'][['a', 'b', 'c'], 'p', 1, True, 'a', 'discard']Passed
workspace regression 1[['a', 'c'], 'q', None, False, 'b', 'commit'][['a', 'c'], 'q', None, False, 'b', 'commit']Passed
workspace regression 2[['a', 'b', 'c'], 'p', 0, True, 'a', 'discard'][['a', 'b', 'c'], 'p', 0, True, 'a', 'discard']Passed
workspace regression 3[['a', 'b', 'c'], 'p', 1, True, 'b', 'discard'][['a', 'b', 'c'], 'p', 1, True, 'b', 'discard']Passed
workspace regression 4[['a', 'b', 'c'], 'q', 1, True, 'a', 'discard'][['a', 'b', 'c'], 'q', 1, True, 'a', 'discard']Passed
workspace regression 5[['a', 'b', 'c'], 'p', 2, True, 'a', 'discard'][['a', 'b', 'c'], 'p', 2, True, 'a', 'discard']Passed

SHA-256 / 54f677625c5926b9147d8a579c6a0fb2fd164ef51f58f054a925bec49e379093

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

Case digest / e29663c5174b386055a86809a3f2a543d3c55406ea70e833de21106a6d1ad84e