{"abstract":"The tab workspace reports an incorrect cancel strip order.","category":"Tab interfaces","checks":6,"contract":"Canceling a tab drag restores source pane and rank, removes provisional destination placeholder, restores prior selection, releases capture and discards detach preview.","contract_signature":"x","evaluation_group":"s3-tabs-drag-cancel-rollback","failed_approach":"The partial repair x['original'] still violates a workspace boundary or normal case.","family":"s3-tab-interfaces-drag-cancel-rollback-cancel-strip-order","id":"FA-36151","implementations":{"attempt":{"sha256":"29ec66fbe8f57d2389f7f89c298ccc61ff06602330ad1ff8bddf3fa9c4e820fa","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    r0 = x['original']\n    r1 = x['source'] if x['cancel'] else x['destination']\n    r2 = x['rank'] if x['cancel'] else None\n    r3 = x['cancel']\n    r4 = x['previous_active'] if x['cancel'] else x['dragged']\n    r5 = 'discard' if x['cancel'] else 'commit'\n    return [r0,r1,r2,r3,r4,r5]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {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'])]}\nfor i, (inputs, expected) in enumerate(fixtures[N]):\n    check(\"workspace regression \"+str(i), solve(inputs), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"16375e0a6bf12d4d9fd415842bad69857f9ca920bdb88094c2a594d8aa52630a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    r0 = x['provisional']\n    r1 = x['source'] if x['cancel'] else x['destination']\n    r2 = x['rank'] if x['cancel'] else None\n    r3 = x['cancel']\n    r4 = x['previous_active'] if x['cancel'] else x['dragged']\n    r5 = 'discard' if x['cancel'] else 'commit'\n    return [r0,r1,r2,r3,r4,r5]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {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'])]}\nfor i, (inputs, expected) in enumerate(fixtures[N]):\n    check(\"workspace regression \"+str(i), solve(inputs), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-tab-interfaces-drag-cancel-rollback-cancel-strip-order","generated_at":"2026-09-29T14:42:48.695651+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Offline tab/panel workspace behavior; no browser or desktop framework is emulated.","root_cause":"The cancel strip order decision uses x['provisional'] instead of x['original'] if x['cancel'] else x['provisional'].","sha256":"bdab5b9eebaa7851824e62bb2579c1e5c15d77e1b37c1b16bf70f314bf888b66","title":"Drag cancel rollback: cancel strip order · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":45.467,"exit_code":1,"observations":[{"actual":[["a","b","c"],"p",1,true,"a","discard"],"check":"workspace regression 0","expected":[["a","b","c"],"p",1,true,"a","discard"],"passed":true},{"actual":[["a","b","c"],"q",null,false,"b","commit"],"check":"workspace regression 1","expected":[["a","c"],"q",null,false,"b","commit"],"passed":false},{"actual":[["a","b","c"],"p",0,true,"a","discard"],"check":"workspace regression 2","expected":[["a","b","c"],"p",0,true,"a","discard"],"passed":true},{"actual":[["a","b","c"],"p",1,true,"b","discard"],"check":"workspace regression 3","expected":[["a","b","c"],"p",1,true,"b","discard"],"passed":true},{"actual":[["a","b","c"],"q",1,true,"a","discard"],"check":"workspace regression 4","expected":[["a","b","c"],"q",1,true,"a","discard"],"passed":true},{"actual":[["a","b","c"],"p",2,true,"a","discard"],"check":"workspace regression 5","expected":[["a","b","c"],"p",2,true,"a","discard"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"workspace regression 0\", \"actual\": [[\"a\", \"b\", \"c\"], \"p\", 1, true, \"a\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"p\", 1, true, \"a\", \"discard\"], \"passed\": true}, {\"check\": \"workspace regression 1\", \"actual\": [[\"a\", \"b\", \"c\"], \"q\", null, false, \"b\", \"commit\"], \"expected\": [[\"a\", \"c\"], \"q\", null, false, \"b\", \"commit\"], \"passed\": false}, {\"check\": \"workspace regression 2\", \"actual\": [[\"a\", \"b\", \"c\"], \"p\", 0, true, \"a\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"p\", 0, true, \"a\", \"discard\"], \"passed\": true}, {\"check\": \"workspace regression 3\", \"actual\": [[\"a\", \"b\", \"c\"], \"p\", 1, true, \"b\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"p\", 1, true, \"b\", \"discard\"], \"passed\": true}, {\"check\": \"workspace regression 4\", \"actual\": [[\"a\", \"b\", \"c\"], \"q\", 1, true, \"a\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"q\", 1, true, \"a\", \"discard\"], \"passed\": true}, {\"check\": \"workspace regression 5\", \"actual\": [[\"a\", \"b\", \"c\"], \"p\", 2, true, \"a\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"p\", 2, true, \"a\", \"discard\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.6,"exit_code":1,"observations":[{"actual":[["a","c"],"p",1,true,"a","discard"],"check":"workspace regression 0","expected":[["a","b","c"],"p",1,true,"a","discard"],"passed":false},{"actual":[["a","c"],"q",null,false,"b","commit"],"check":"workspace regression 1","expected":[["a","c"],"q",null,false,"b","commit"],"passed":true},{"actual":[["b","c"],"p",0,true,"a","discard"],"check":"workspace regression 2","expected":[["a","b","c"],"p",0,true,"a","discard"],"passed":false},{"actual":[["a","c"],"p",1,true,"b","discard"],"check":"workspace regression 3","expected":[["a","b","c"],"p",1,true,"b","discard"],"passed":false},{"actual":[["a","c"],"q",1,true,"a","discard"],"check":"workspace regression 4","expected":[["a","b","c"],"q",1,true,"a","discard"],"passed":false},{"actual":[["a","b"],"p",2,true,"a","discard"],"check":"workspace regression 5","expected":[["a","b","c"],"p",2,true,"a","discard"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"workspace regression 0\", \"actual\": [[\"a\", \"c\"], \"p\", 1, true, \"a\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"p\", 1, true, \"a\", \"discard\"], \"passed\": false}, {\"check\": \"workspace regression 1\", \"actual\": [[\"a\", \"c\"], \"q\", null, false, \"b\", \"commit\"], \"expected\": [[\"a\", \"c\"], \"q\", null, false, \"b\", \"commit\"], \"passed\": true}, {\"check\": \"workspace regression 2\", \"actual\": [[\"b\", \"c\"], \"p\", 0, true, \"a\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"p\", 0, true, \"a\", \"discard\"], \"passed\": false}, {\"check\": \"workspace regression 3\", \"actual\": [[\"a\", \"c\"], \"p\", 1, true, \"b\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"p\", 1, true, \"b\", \"discard\"], \"passed\": false}, {\"check\": \"workspace regression 4\", \"actual\": [[\"a\", \"c\"], \"q\", 1, true, \"a\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"q\", 1, true, \"a\", \"discard\"], \"passed\": false}, {\"check\": \"workspace regression 5\", \"actual\": [[\"a\", \"b\"], \"p\", 2, true, \"a\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"p\", 2, true, \"a\", \"discard\"], \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}