{"abstract":"Disabled listener records disappear from registry retention; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Build independent priority-dispatch projections from [id,priority,sequence,enabled] records. Eligibility applies inclusive floor and ceiling to enabled entries. Order sorts all stored entries by descending priority then ascending registration sequence. Separately, take/defer project a nonnegative budget split of raw storage order. Disabled entries remain stored. Above/below list enabled entries strictly outside bounds. Budget-left is clamped; an equal floor/ceiling is a valid window. Inputs are finite state snapshots, including transitional and stale states; output fields are the exact independent actions/metadata defined by the corrected expression table. Numeric fixture capacities and counts vary with N.\nField definitions, each independently computed from the input snapshot: eligible = [r[0] for r in s['entries'] if r[3] and s['floor']<=r[1]<=s['ceiling']]; order = [r[0] for r in sorted(s['entries'],key=lambda r:(-r[1],r[2]))]; disabled = [r[0] for r in s['entries'] if not r[3]]; take = [r[0] for r in s['entries'][:max(0,s['budget'])]]; defer = [r[0] for r in s['entries'][max(0,s['budget']):]]; above = [r[0] for r in s['entries'] if r[3] and r[1]>s['ceiling']]; below = [r[0] for r in s['entries'] if r[3] and r[1]<s['floor']]; tie_sequence = [[r[0],r[2]] for r in s['entries']]; budget_left = max(0,s['budget']-len(s['entries'])); valid_window = s['floor']<=s['ceiling']","evaluation_group":"s3-listener-priority-frame","failed_approach":"The partial repair uses [r[0] for r in s['entries'] if not r[3] and r[1]>=s['floor']]; a retained regression distinguishes it from the full transition.","family":"s3-listener-priority-frame-disabled","id":"FA-41601","implementations":{"attempt":{"sha256":"cafddbdc2fceda1da2c961d15f47198e31db408baa539648cb06dcf5a82e07ac","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'eligible': [r[0] for r in s['entries'] if r[3] and s['floor']<=r[1]<=s['ceiling']],\n        'order': [r[0] for r in sorted(s['entries'],key=lambda r:(-r[1],r[2]))],\n        'disabled': [r[0] for r in s['entries'] if not r[3] and r[1]>=s['floor']],\n        'take': [r[0] for r in s['entries'][:max(0,s['budget'])]],\n        'defer': [r[0] for r in s['entries'][max(0,s['budget']):]],\n        'above': [r[0] for r in s['entries'] if r[3] and r[1]>s['ceiling']],\n        'below': [r[0] for r in s['entries'] if r[3] and r[1]<s['floor']],\n        'tie_sequence': [[r[0],r[2]] for r in s['entries']],\n        'budget_left': max(0,s['budget']-len(s['entries'])),\n        'valid_window': s['floor']<=s['ceiling'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'entries': [['a', 3, 0, False], ['b', 1, 1, True], ['c', 4, 2, True]], 'floor': 1, 'ceiling': 1, 'budget': -1}, {'eligible': ['b'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 2]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 1, 'ceiling': 0, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', 2, 3, True], ['b', 2, 1, True], ['c', 1, 2, True]], 'floor': 3, 'ceiling': 3, 'budget': 1}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a'], 'defer': ['b', 'c'], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 3], ['b', 1], ['c', 2]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 3, 0, False], ['b', 1, 1, True], ['c', 4, 2, True]], 'floor': 3, 'ceiling': 3, 'budget': -1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 2]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': [], 'defer': ['a', 'b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 3, 'ceiling': 5, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 3, 'ceiling': 5, 'budget': 3}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 1, 'valid_window': True})], 2: [({'entries': [['a', 6, 0, False], ['b', 1, 1, True], ['c', 8, 4, True]], 'floor': 6, 'ceiling': 1, 'budget': -1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 4]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 6, 'ceiling': 6, 'budget': 6}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 4, 'valid_window': True}), ({'entries': [['a', 4, 6, True], ['b', 4, 1, True], ['c', 1, 4, True]], 'floor': 1, 'ceiling': 6, 'budget': -1}, {'eligible': ['a', 'b', 'c'], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': [], 'defer': ['a', 'b', 'c'], 'above': [], 'below': [], 'tie_sequence': [['a', 6], ['b', 1], ['c', 4]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 6, 'ceiling': 1, 'budget': 6}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 4, 'valid_window': False}), ({'entries': [], 'floor': -2, 'ceiling': 10, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 4, 6, True], ['b', 4, 1, True], ['c', 1, 4, True]], 'floor': 6, 'ceiling': 10, 'budget': -1}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': [], 'defer': ['a', 'b', 'c'], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 6], ['b', 1], ['c', 4]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 6, 'ceiling': 10, 'budget': 6}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 4, 'valid_window': True})], 3: [({'entries': [['a', 9, 0, False], ['b', 1, 1, True], ['c', 12, 6, True]], 'floor': 9, 'ceiling': 1, 'budget': -1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 6]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 9, 'ceiling': 9, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 6, 9, True], ['b', 6, 1, True], ['c', 1, 6, True]], 'floor': 1, 'ceiling': 15, 'budget': 1}, {'eligible': ['a', 'b', 'c'], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a'], 'defer': ['b', 'c'], 'above': [], 'below': [], 'tie_sequence': [['a', 9], ['b', 1], ['c', 6]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 1, 'budget': 1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 1, 'valid_window': True}), ({'entries': [['a', 9, 0, False], ['b', 1, 1, True], ['c', 12, 6, True]], 'floor': 9, 'ceiling': 9, 'budget': 1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': ['a'], 'defer': ['b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 6]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 9, 'budget': -1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': [], 'defer': ['a', 'b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 9, 'ceiling': 15, 'budget': 9}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 7, 'valid_window': True})], 4: [({'entries': [['a', 12, 0, False], ['b', 1, 1, True], ['c', 16, 8, True]], 'floor': 1, 'ceiling': 1, 'budget': -1}, {'eligible': ['b'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 8]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 12, 'ceiling': 0, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', 8, 12, True], ['b', 8, 1, True], ['c', 1, 8, True]], 'floor': 12, 'ceiling': 12, 'budget': 12}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a', 'b', 'c'], 'defer': [], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 12], ['b', 1], ['c', 8]], 'budget_left': 9, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 1, 'budget': 1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 12, 0, False], ['b', 1, 1, True], ['c', 16, 8, True]], 'floor': 12, 'ceiling': 20, 'budget': -1}, {'eligible': ['c'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': [], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 8]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 20, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 12, 'ceiling': 20, 'budget': 12}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 10, 'valid_window': True})], 5: [({'entries': [['a', 15, 0, False], ['b', 1, 1, True], ['c', 20, 10, True]], 'floor': 1, 'ceiling': 1, 'budget': -1}, {'eligible': ['b'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 10]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 1, 'ceiling': 0, 'budget': 15}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 13, 'valid_window': False}), ({'entries': [['a', 10, 15, True], ['b', 10, 1, True], ['c', 1, 10, True]], 'floor': 15, 'ceiling': 25, 'budget': 15}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a', 'b', 'c'], 'defer': [], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 15], ['b', 1], ['c', 10]], 'budget_left': 12, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 10, 'budget': 15}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 15, 'valid_window': True}), ({'entries': [['a', 15, 0, False], ['b', 1, 1, True], ['c', 20, 10, True]], 'floor': 1, 'ceiling': 0, 'budget': 1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': ['a'], 'defer': ['b', 'c'], 'above': ['b', 'c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 10]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 15, 'budget': -1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': [], 'defer': ['a', 'b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 15, 'ceiling': 25, 'budget': 15}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 13, 'valid_window': True})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), 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":"e5b68e6e758efa76df6aa8847a072b83604696680d0e0be9b7cc68f0a2e01a4e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'eligible': [r[0] for r in s['entries'] if r[3] and s['floor']<=r[1]<=s['ceiling']],\n        'order': [r[0] for r in sorted(s['entries'],key=lambda r:(-r[1],r[2]))],\n        'disabled': [],\n        'take': [r[0] for r in s['entries'][:max(0,s['budget'])]],\n        'defer': [r[0] for r in s['entries'][max(0,s['budget']):]],\n        'above': [r[0] for r in s['entries'] if r[3] and r[1]>s['ceiling']],\n        'below': [r[0] for r in s['entries'] if r[3] and r[1]<s['floor']],\n        'tie_sequence': [[r[0],r[2]] for r in s['entries']],\n        'budget_left': max(0,s['budget']-len(s['entries'])),\n        'valid_window': s['floor']<=s['ceiling'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'entries': [['a', 3, 0, False], ['b', 1, 1, True], ['c', 4, 2, True]], 'floor': 1, 'ceiling': 1, 'budget': -1}, {'eligible': ['b'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 2]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 1, 'ceiling': 0, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', 2, 3, True], ['b', 2, 1, True], ['c', 1, 2, True]], 'floor': 3, 'ceiling': 3, 'budget': 1}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a'], 'defer': ['b', 'c'], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 3], ['b', 1], ['c', 2]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 3, 0, False], ['b', 1, 1, True], ['c', 4, 2, True]], 'floor': 3, 'ceiling': 3, 'budget': -1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 2]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': [], 'defer': ['a', 'b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 3, 'ceiling': 5, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 3, 'ceiling': 5, 'budget': 3}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 1, 'valid_window': True})], 2: [({'entries': [['a', 6, 0, False], ['b', 1, 1, True], ['c', 8, 4, True]], 'floor': 6, 'ceiling': 1, 'budget': -1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 4]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 6, 'ceiling': 6, 'budget': 6}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 4, 'valid_window': True}), ({'entries': [['a', 4, 6, True], ['b', 4, 1, True], ['c', 1, 4, True]], 'floor': 1, 'ceiling': 6, 'budget': -1}, {'eligible': ['a', 'b', 'c'], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': [], 'defer': ['a', 'b', 'c'], 'above': [], 'below': [], 'tie_sequence': [['a', 6], ['b', 1], ['c', 4]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 6, 'ceiling': 1, 'budget': 6}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 4, 'valid_window': False}), ({'entries': [], 'floor': -2, 'ceiling': 10, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 4, 6, True], ['b', 4, 1, True], ['c', 1, 4, True]], 'floor': 6, 'ceiling': 10, 'budget': -1}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': [], 'defer': ['a', 'b', 'c'], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 6], ['b', 1], ['c', 4]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 6, 'ceiling': 10, 'budget': 6}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 4, 'valid_window': True})], 3: [({'entries': [['a', 9, 0, False], ['b', 1, 1, True], ['c', 12, 6, True]], 'floor': 9, 'ceiling': 1, 'budget': -1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 6]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 9, 'ceiling': 9, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 6, 9, True], ['b', 6, 1, True], ['c', 1, 6, True]], 'floor': 1, 'ceiling': 15, 'budget': 1}, {'eligible': ['a', 'b', 'c'], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a'], 'defer': ['b', 'c'], 'above': [], 'below': [], 'tie_sequence': [['a', 9], ['b', 1], ['c', 6]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 1, 'budget': 1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 1, 'valid_window': True}), ({'entries': [['a', 9, 0, False], ['b', 1, 1, True], ['c', 12, 6, True]], 'floor': 9, 'ceiling': 9, 'budget': 1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': ['a'], 'defer': ['b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 6]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 9, 'budget': -1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': [], 'defer': ['a', 'b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 9, 'ceiling': 15, 'budget': 9}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 7, 'valid_window': True})], 4: [({'entries': [['a', 12, 0, False], ['b', 1, 1, True], ['c', 16, 8, True]], 'floor': 1, 'ceiling': 1, 'budget': -1}, {'eligible': ['b'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 8]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 12, 'ceiling': 0, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', 8, 12, True], ['b', 8, 1, True], ['c', 1, 8, True]], 'floor': 12, 'ceiling': 12, 'budget': 12}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a', 'b', 'c'], 'defer': [], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 12], ['b', 1], ['c', 8]], 'budget_left': 9, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 1, 'budget': 1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 12, 0, False], ['b', 1, 1, True], ['c', 16, 8, True]], 'floor': 12, 'ceiling': 20, 'budget': -1}, {'eligible': ['c'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': [], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 8]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 20, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 12, 'ceiling': 20, 'budget': 12}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 10, 'valid_window': True})], 5: [({'entries': [['a', 15, 0, False], ['b', 1, 1, True], ['c', 20, 10, True]], 'floor': 1, 'ceiling': 1, 'budget': -1}, {'eligible': ['b'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 10]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 1, 'ceiling': 0, 'budget': 15}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 13, 'valid_window': False}), ({'entries': [['a', 10, 15, True], ['b', 10, 1, True], ['c', 1, 10, True]], 'floor': 15, 'ceiling': 25, 'budget': 15}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a', 'b', 'c'], 'defer': [], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 15], ['b', 1], ['c', 10]], 'budget_left': 12, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 10, 'budget': 15}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 15, 'valid_window': True}), ({'entries': [['a', 15, 0, False], ['b', 1, 1, True], ['c', 20, 10, True]], 'floor': 1, 'ceiling': 0, 'budget': 1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': ['a'], 'defer': ['b', 'c'], 'above': ['b', 'c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 10]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 15, 'budget': -1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': [], 'defer': ['a', 'b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 15, 'ceiling': 25, 'budget': 15}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 13, 'valid_window': True})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), 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":"824bd3da4cb33486ac72fdc99c93c93ab200d0352ef067d69b2878991796f23b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'eligible': [r[0] for r in s['entries'] if r[3] and s['floor']<=r[1]<=s['ceiling']],\n        'order': [r[0] for r in sorted(s['entries'],key=lambda r:(-r[1],r[2]))],\n        'disabled': [r[0] for r in s['entries'] if not r[3]],\n        'take': [r[0] for r in s['entries'][:max(0,s['budget'])]],\n        'defer': [r[0] for r in s['entries'][max(0,s['budget']):]],\n        'above': [r[0] for r in s['entries'] if r[3] and r[1]>s['ceiling']],\n        'below': [r[0] for r in s['entries'] if r[3] and r[1]<s['floor']],\n        'tie_sequence': [[r[0],r[2]] for r in s['entries']],\n        'budget_left': max(0,s['budget']-len(s['entries'])),\n        'valid_window': s['floor']<=s['ceiling'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'entries': [['a', 3, 0, False], ['b', 1, 1, True], ['c', 4, 2, True]], 'floor': 1, 'ceiling': 1, 'budget': -1}, {'eligible': ['b'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 2]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 1, 'ceiling': 0, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', 2, 3, True], ['b', 2, 1, True], ['c', 1, 2, True]], 'floor': 3, 'ceiling': 3, 'budget': 1}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a'], 'defer': ['b', 'c'], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 3], ['b', 1], ['c', 2]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 3, 0, False], ['b', 1, 1, True], ['c', 4, 2, True]], 'floor': 3, 'ceiling': 3, 'budget': -1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 2]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': [], 'defer': ['a', 'b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 3, 'ceiling': 5, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 3, 'ceiling': 5, 'budget': 3}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 1, 'valid_window': True})], 2: [({'entries': [['a', 6, 0, False], ['b', 1, 1, True], ['c', 8, 4, True]], 'floor': 6, 'ceiling': 1, 'budget': -1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 4]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 6, 'ceiling': 6, 'budget': 6}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 4, 'valid_window': True}), ({'entries': [['a', 4, 6, True], ['b', 4, 1, True], ['c', 1, 4, True]], 'floor': 1, 'ceiling': 6, 'budget': -1}, {'eligible': ['a', 'b', 'c'], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': [], 'defer': ['a', 'b', 'c'], 'above': [], 'below': [], 'tie_sequence': [['a', 6], ['b', 1], ['c', 4]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 6, 'ceiling': 1, 'budget': 6}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 4, 'valid_window': False}), ({'entries': [], 'floor': -2, 'ceiling': 10, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 4, 6, True], ['b', 4, 1, True], ['c', 1, 4, True]], 'floor': 6, 'ceiling': 10, 'budget': -1}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': [], 'defer': ['a', 'b', 'c'], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 6], ['b', 1], ['c', 4]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 6, 'ceiling': 10, 'budget': 6}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 4, 'valid_window': True})], 3: [({'entries': [['a', 9, 0, False], ['b', 1, 1, True], ['c', 12, 6, True]], 'floor': 9, 'ceiling': 1, 'budget': -1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 6]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 9, 'ceiling': 9, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 6, 9, True], ['b', 6, 1, True], ['c', 1, 6, True]], 'floor': 1, 'ceiling': 15, 'budget': 1}, {'eligible': ['a', 'b', 'c'], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a'], 'defer': ['b', 'c'], 'above': [], 'below': [], 'tie_sequence': [['a', 9], ['b', 1], ['c', 6]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 1, 'budget': 1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 1, 'valid_window': True}), ({'entries': [['a', 9, 0, False], ['b', 1, 1, True], ['c', 12, 6, True]], 'floor': 9, 'ceiling': 9, 'budget': 1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': ['a'], 'defer': ['b', 'c'], 'above': ['c'], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 6]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 9, 'budget': -1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': [], 'defer': ['a', 'b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 9, 'ceiling': 15, 'budget': 9}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 7, 'valid_window': True})], 4: [({'entries': [['a', 12, 0, False], ['b', 1, 1, True], ['c', 16, 8, True]], 'floor': 1, 'ceiling': 1, 'budget': -1}, {'eligible': ['b'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 8]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 12, 'ceiling': 0, 'budget': 1}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', 8, 12, True], ['b', 8, 1, True], ['c', 1, 8, True]], 'floor': 12, 'ceiling': 12, 'budget': 12}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a', 'b', 'c'], 'defer': [], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 12], ['b', 1], ['c', 8]], 'budget_left': 9, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 1, 'budget': 1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a'], 'defer': ['b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', 12, 0, False], ['b', 1, 1, True], ['c', 16, 8, True]], 'floor': 12, 'ceiling': 20, 'budget': -1}, {'eligible': ['c'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': [], 'below': ['b'], 'tie_sequence': [['a', 0], ['b', 1], ['c', 8]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 20, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 12, 'ceiling': 20, 'budget': 12}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 10, 'valid_window': True})], 5: [({'entries': [['a', 15, 0, False], ['b', 1, 1, True], ['c', 20, 10, True]], 'floor': 1, 'ceiling': 1, 'budget': -1}, {'eligible': ['b'], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': [], 'defer': ['a', 'b', 'c'], 'above': ['c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 10]], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 1, 'ceiling': 0, 'budget': 15}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 13, 'valid_window': False}), ({'entries': [['a', 10, 15, True], ['b', 10, 1, True], ['c', 1, 10, True]], 'floor': 15, 'ceiling': 25, 'budget': 15}, {'eligible': [], 'order': ['b', 'a', 'c'], 'disabled': [], 'take': ['a', 'b', 'c'], 'defer': [], 'above': [], 'below': ['a', 'b', 'c'], 'tie_sequence': [['a', 15], ['b', 1], ['c', 10]], 'budget_left': 12, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 10, 'budget': 15}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 15, 'valid_window': True}), ({'entries': [['a', 15, 0, False], ['b', 1, 1, True], ['c', 20, 10, True]], 'floor': 1, 'ceiling': 0, 'budget': 1}, {'eligible': [], 'order': ['c', 'a', 'b'], 'disabled': ['a'], 'take': ['a'], 'defer': ['b', 'c'], 'above': ['b', 'c'], 'below': [], 'tie_sequence': [['a', 0], ['b', 1], ['c', 10]], 'budget_left': 0, 'valid_window': False}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': -2, 'ceiling': 15, 'budget': -1}, {'eligible': ['a'], 'order': ['b', 'a'], 'disabled': ['b'], 'take': [], 'defer': ['a', 'b'], 'above': [], 'below': [], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 0, 'valid_window': True}), ({'entries': [], 'floor': -2, 'ceiling': 0, 'budget': -1}, {'eligible': [], 'order': [], 'disabled': [], 'take': [], 'defer': [], 'above': [], 'below': [], 'tie_sequence': [], 'budget_left': 0, 'valid_window': True}), ({'entries': [['a', -1, 0, True], ['b', 0, 1, False]], 'floor': 15, 'ceiling': 25, 'budget': 15}, {'eligible': [], 'order': ['b', 'a'], 'disabled': ['b'], 'take': ['a', 'b'], 'defer': [], 'above': [], 'below': ['a'], 'tie_sequence': [['a', 0], ['b', 1]], 'budget_left': 13, 'valid_window': True})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), 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":"A deterministic, bounded, single-threaded transition planner. Returned plans model state changes; they do not implement a production event framework. 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-listener-priority-frame-disabled","generated_at":"2026-09-29T14:43:42.794332+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Observer implementations need to preserve this state while subscriptions enter, execute, and leave their lifecycle.","repair":"Compute the disabled decision from the complete contract: [r[0] for r in s['entries'] if not r[3]].","root_cause":"The disabled decision in the priority-frame listener model is computed as [], losing a required lifecycle condition.","sha256":"2935f84df708461b2d9f9b409de08e9ecd748b8064ebf495ab810d55efc49df1","title":"Disabled listener records disappear from registry retention · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":48.632,"exit_code":1,"observations":[{"actual":{"above":["c"],"below":[],"budget_left":0,"defer":["a","b","c"],"disabled":["a"],"eligible":["b"],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"check":"transition 0","expected":{"above":["c"],"below":[],"budget_left":0,"defer":["a","b","c"],"disabled":["a"],"eligible":["b"],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"passed":true},{"actual":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":[],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":false},"check":"transition 1","expected":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":false},"passed":false},{"actual":{"above":[],"below":["a","b","c"],"budget_left":0,"defer":["b","c"],"disabled":[],"eligible":[],"order":["b","a","c"],"take":["a"],"tie_sequence":[["a",3],["b",1],["c",2]],"valid_window":true},"check":"transition 2","expected":{"above":[],"below":["a","b","c"],"budget_left":0,"defer":["b","c"],"disabled":[],"eligible":[],"order":["b","a","c"],"take":["a"],"tie_sequence":[["a",3],["b",1],["c",2]],"valid_window":true},"passed":true},{"actual":{"above":["c"],"below":["b"],"budget_left":0,"defer":["a","b","c"],"disabled":["a"],"eligible":[],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"check":"transition 3","expected":{"above":["c"],"below":["b"],"budget_left":0,"defer":["a","b","c"],"disabled":["a"],"eligible":[],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"passed":true},{"actual":{"above":[],"below":[],"budget_left":0,"defer":["a","b"],"disabled":["b"],"eligible":["a"],"order":["b","a"],"take":[],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"check":"transition 4","expected":{"above":[],"below":[],"budget_left":0,"defer":["a","b"],"disabled":["b"],"eligible":["a"],"order":["b","a"],"take":[],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"passed":true},{"actual":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":[],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"check":"transition 5","expected":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"passed":false},{"actual":{"above":[],"below":[],"budget_left":0,"defer":[],"disabled":[],"eligible":[],"order":[],"take":[],"tie_sequence":[],"valid_window":true},"check":"transition 6","expected":{"above":[],"below":[],"budget_left":0,"defer":[],"disabled":[],"eligible":[],"order":[],"take":[],"tie_sequence":[],"valid_window":true},"passed":true},{"actual":{"above":[],"below":["a"],"budget_left":1,"defer":[],"disabled":[],"eligible":[],"order":["b","a"],"take":["a","b"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"check":"transition 7","expected":{"above":[],"below":["a"],"budget_left":1,"defer":[],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a","b"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"eligible\": [\"b\"], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [\"a\"], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [\"b\"], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [\"a\"], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": false}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": false}, \"passed\": false}, {\"check\": \"transition 2\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\", \"c\"], \"disabled\": [], \"take\": [\"a\"], \"defer\": [\"b\", \"c\"], \"above\": [], \"below\": [\"a\", \"b\", \"c\"], \"tie_sequence\": [[\"a\", 3], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\", \"c\"], \"disabled\": [], \"take\": [\"a\"], \"defer\": [\"b\", \"c\"], \"above\": [], \"below\": [\"a\", \"b\", \"c\"], \"tie_sequence\": [[\"a\", 3], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"eligible\": [], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [\"a\"], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [\"b\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [\"a\"], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [\"b\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"eligible\": [\"a\"], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [], \"defer\": [\"a\", \"b\"], \"above\": [], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [\"a\"], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [], \"defer\": [\"a\", \"b\"], \"above\": [], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"eligible\": [], \"order\": [], \"disabled\": [], \"take\": [], \"defer\": [], \"above\": [], \"below\": [], \"tie_sequence\": [], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [], \"disabled\": [], \"take\": [], \"defer\": [], \"above\": [], \"below\": [], \"tie_sequence\": [], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [], \"take\": [\"a\", \"b\"], \"defer\": [], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 1, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\", \"b\"], \"defer\": [], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 1, \"valid_window\": true}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":60.531,"exit_code":1,"observations":[{"actual":{"above":["c"],"below":[],"budget_left":0,"defer":["a","b","c"],"disabled":[],"eligible":["b"],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"check":"transition 0","expected":{"above":["c"],"below":[],"budget_left":0,"defer":["a","b","c"],"disabled":["a"],"eligible":["b"],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"passed":false},{"actual":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":[],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":false},"check":"transition 1","expected":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":false},"passed":false},{"actual":{"above":[],"below":["a","b","c"],"budget_left":0,"defer":["b","c"],"disabled":[],"eligible":[],"order":["b","a","c"],"take":["a"],"tie_sequence":[["a",3],["b",1],["c",2]],"valid_window":true},"check":"transition 2","expected":{"above":[],"below":["a","b","c"],"budget_left":0,"defer":["b","c"],"disabled":[],"eligible":[],"order":["b","a","c"],"take":["a"],"tie_sequence":[["a",3],["b",1],["c",2]],"valid_window":true},"passed":true},{"actual":{"above":["c"],"below":["b"],"budget_left":0,"defer":["a","b","c"],"disabled":[],"eligible":[],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"check":"transition 3","expected":{"above":["c"],"below":["b"],"budget_left":0,"defer":["a","b","c"],"disabled":["a"],"eligible":[],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"passed":false},{"actual":{"above":[],"below":[],"budget_left":0,"defer":["a","b"],"disabled":[],"eligible":["a"],"order":["b","a"],"take":[],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"check":"transition 4","expected":{"above":[],"below":[],"budget_left":0,"defer":["a","b"],"disabled":["b"],"eligible":["a"],"order":["b","a"],"take":[],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"passed":false},{"actual":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":[],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"check":"transition 5","expected":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"passed":false},{"actual":{"above":[],"below":[],"budget_left":0,"defer":[],"disabled":[],"eligible":[],"order":[],"take":[],"tie_sequence":[],"valid_window":true},"check":"transition 6","expected":{"above":[],"below":[],"budget_left":0,"defer":[],"disabled":[],"eligible":[],"order":[],"take":[],"tie_sequence":[],"valid_window":true},"passed":true},{"actual":{"above":[],"below":["a"],"budget_left":1,"defer":[],"disabled":[],"eligible":[],"order":["b","a"],"take":["a","b"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"check":"transition 7","expected":{"above":[],"below":["a"],"budget_left":1,"defer":[],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a","b"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"eligible\": [\"b\"], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [\"b\"], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [\"a\"], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": false}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": false}, \"passed\": false}, {\"check\": \"transition 2\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\", \"c\"], \"disabled\": [], \"take\": [\"a\"], \"defer\": [\"b\", \"c\"], \"above\": [], \"below\": [\"a\", \"b\", \"c\"], \"tie_sequence\": [[\"a\", 3], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\", \"c\"], \"disabled\": [], \"take\": [\"a\"], \"defer\": [\"b\", \"c\"], \"above\": [], \"below\": [\"a\", \"b\", \"c\"], \"tie_sequence\": [[\"a\", 3], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"eligible\": [], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [\"b\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [\"a\"], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [\"b\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"eligible\": [\"a\"], \"order\": [\"b\", \"a\"], \"disabled\": [], \"take\": [], \"defer\": [\"a\", \"b\"], \"above\": [], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [\"a\"], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [], \"defer\": [\"a\", \"b\"], \"above\": [], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"eligible\": [], \"order\": [], \"disabled\": [], \"take\": [], \"defer\": [], \"above\": [], \"below\": [], \"tie_sequence\": [], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [], \"disabled\": [], \"take\": [], \"defer\": [], \"above\": [], \"below\": [], \"tie_sequence\": [], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [], \"take\": [\"a\", \"b\"], \"defer\": [], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 1, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\", \"b\"], \"defer\": [], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 1, \"valid_window\": true}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.714,"exit_code":0,"observations":[{"actual":{"above":["c"],"below":[],"budget_left":0,"defer":["a","b","c"],"disabled":["a"],"eligible":["b"],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"check":"transition 0","expected":{"above":["c"],"below":[],"budget_left":0,"defer":["a","b","c"],"disabled":["a"],"eligible":["b"],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"passed":true},{"actual":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":false},"check":"transition 1","expected":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":false},"passed":true},{"actual":{"above":[],"below":["a","b","c"],"budget_left":0,"defer":["b","c"],"disabled":[],"eligible":[],"order":["b","a","c"],"take":["a"],"tie_sequence":[["a",3],["b",1],["c",2]],"valid_window":true},"check":"transition 2","expected":{"above":[],"below":["a","b","c"],"budget_left":0,"defer":["b","c"],"disabled":[],"eligible":[],"order":["b","a","c"],"take":["a"],"tie_sequence":[["a",3],["b",1],["c",2]],"valid_window":true},"passed":true},{"actual":{"above":["c"],"below":["b"],"budget_left":0,"defer":["a","b","c"],"disabled":["a"],"eligible":[],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"check":"transition 3","expected":{"above":["c"],"below":["b"],"budget_left":0,"defer":["a","b","c"],"disabled":["a"],"eligible":[],"order":["c","a","b"],"take":[],"tie_sequence":[["a",0],["b",1],["c",2]],"valid_window":true},"passed":true},{"actual":{"above":[],"below":[],"budget_left":0,"defer":["a","b"],"disabled":["b"],"eligible":["a"],"order":["b","a"],"take":[],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"check":"transition 4","expected":{"above":[],"below":[],"budget_left":0,"defer":["a","b"],"disabled":["b"],"eligible":["a"],"order":["b","a"],"take":[],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"passed":true},{"actual":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"check":"transition 5","expected":{"above":[],"below":["a"],"budget_left":0,"defer":["b"],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"passed":true},{"actual":{"above":[],"below":[],"budget_left":0,"defer":[],"disabled":[],"eligible":[],"order":[],"take":[],"tie_sequence":[],"valid_window":true},"check":"transition 6","expected":{"above":[],"below":[],"budget_left":0,"defer":[],"disabled":[],"eligible":[],"order":[],"take":[],"tie_sequence":[],"valid_window":true},"passed":true},{"actual":{"above":[],"below":["a"],"budget_left":1,"defer":[],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a","b"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"check":"transition 7","expected":{"above":[],"below":["a"],"budget_left":1,"defer":[],"disabled":["b"],"eligible":[],"order":["b","a"],"take":["a","b"],"tie_sequence":[["a",0],["b",1]],"valid_window":true},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"eligible\": [\"b\"], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [\"a\"], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [\"b\"], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [\"a\"], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": false}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\", \"c\"], \"disabled\": [], \"take\": [\"a\"], \"defer\": [\"b\", \"c\"], \"above\": [], \"below\": [\"a\", \"b\", \"c\"], \"tie_sequence\": [[\"a\", 3], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\", \"c\"], \"disabled\": [], \"take\": [\"a\"], \"defer\": [\"b\", \"c\"], \"above\": [], \"below\": [\"a\", \"b\", \"c\"], \"tie_sequence\": [[\"a\", 3], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"eligible\": [], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [\"a\"], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [\"b\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"c\", \"a\", \"b\"], \"disabled\": [\"a\"], \"take\": [], \"defer\": [\"a\", \"b\", \"c\"], \"above\": [\"c\"], \"below\": [\"b\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1], [\"c\", 2]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"eligible\": [\"a\"], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [], \"defer\": [\"a\", \"b\"], \"above\": [], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [\"a\"], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [], \"defer\": [\"a\", \"b\"], \"above\": [], \"below\": [], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\"], \"defer\": [\"b\"], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"eligible\": [], \"order\": [], \"disabled\": [], \"take\": [], \"defer\": [], \"above\": [], \"below\": [], \"tie_sequence\": [], \"budget_left\": 0, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [], \"disabled\": [], \"take\": [], \"defer\": [], \"above\": [], \"below\": [], \"tie_sequence\": [], \"budget_left\": 0, \"valid_window\": true}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\", \"b\"], \"defer\": [], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 1, \"valid_window\": true}, \"expected\": {\"eligible\": [], \"order\": [\"b\", \"a\"], \"disabled\": [\"b\"], \"take\": [\"a\", \"b\"], \"defer\": [], \"above\": [], \"below\": [\"a\"], \"tie_sequence\": [[\"a\", 0], [\"b\", 1]], \"budget_left\": 1, \"valid_window\": true}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}