{"abstract":"The tab workspace reports an incorrect cancel pane owner.","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.","evaluation_group":"s3-tabs-drag-cancel-rollback","failed_approach":"The partial repair x['source'] still violates a workspace boundary or normal case.","family":"s3-tab-interfaces-drag-cancel-rollback-cancel-pane-owner","id":"FA-36156","implementations":{"attempt":{"sha256":"69f0b84d52c685018b72a20bf56b557adc3374bb9d6a99be9c37c54ef45bff98","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    r0 = x['original'] if x['cancel'] else x['provisional']\n    r1 = x['source']\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":"3999121cabbf6e624505f4b931da34ff5ecacef1e9979d738cf6b48a40849000","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    r0 = x['original'] if x['cancel'] else x['provisional']\n    r1 = 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"},"fixed":{"sha256":"54f677625c5926b9147d8a579c6a0fb2fd164ef51f58f054a925bec49e379093","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    r0 = x['original'] if x['cancel'] else 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-pane-owner","generated_at":"2026-09-29T14:42:48.500710+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.","repair":"Use the stipulated workspace rule: x['source'] if x['cancel'] else x['destination'].","root_cause":"The cancel pane owner decision uses x['destination'] instead of x['source'] if x['cancel'] else x['destination'].","sha256":"6529323e9016ceb4136018987dfbee4f897e9b1ea14d7938e3ddc49ad687f597","title":"Drag cancel rollback: cancel pane owner · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":48.88,"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","c"],"p",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\", \"c\"], \"p\", 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":44.997,"exit_code":1,"observations":[{"actual":[["a","b","c"],"q",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":[["a","b","c"],"q",0,true,"a","discard"],"check":"workspace regression 2","expected":[["a","b","c"],"p",0,true,"a","discard"],"passed":false},{"actual":[["a","b","c"],"q",1,true,"b","discard"],"check":"workspace regression 3","expected":[["a","b","c"],"p",1,true,"b","discard"],"passed":false},{"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"],"q",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\", \"b\", \"c\"], \"q\", 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\": [[\"a\", \"b\", \"c\"], \"q\", 0, true, \"a\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"p\", 0, true, \"a\", \"discard\"], \"passed\": false}, {\"check\": \"workspace regression 3\", \"actual\": [[\"a\", \"b\", \"c\"], \"q\", 1, true, \"b\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"p\", 1, true, \"b\", \"discard\"], \"passed\": false}, {\"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\"], \"q\", 2, true, \"a\", \"discard\"], \"expected\": [[\"a\", \"b\", \"c\"], \"p\", 2, true, \"a\", \"discard\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":48.889,"exit_code":0,"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","c"],"q",null,false,"b","commit"],"check":"workspace regression 1","expected":[["a","c"],"q",null,false,"b","commit"],"passed":true},{"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":true,"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\", \"c\"], \"q\", null, false, \"b\", \"commit\"], \"expected\": [[\"a\", \"c\"], \"q\", null, false, \"b\", \"commit\"], \"passed\": true}, {\"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\": true}\n"}},"verified":true,"visibility":"public"}