{"abstract":"Merge completion releases a slot for an unknown inner; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan a bounded-concurrency merge observer. Active inner IDs occupy slots, reserved synchronous starts also occupy slots, and pending outer items are FIFO. Fill only free slots; completion removes the matching inner ID. Outer completion waits for active, reserved and pending work. Fail-fast cancels siblings; delay-error retains them and accumulates errors until all work drains. New delayed-error entries are [failing_inner_id,error] records; preserve the supplied done identity instead of storing only the message. 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: slots = max(0,s['limit']-len(s['active'])-s['reserved']); starts = s['pending'][:max(0,s['limit']-len(s['active'])-s['reserved'])]; pending = s['pending'][max(0,s['limit']-len(s['active'])-s['reserved']):]; active = [x for x in s['active'] if x!=s['done']]; finish = s['outer_done'] and not s['active'] and not s['pending'] and s['reserved']==0; cancel_siblings = s['cancel'] or (s['error'] is not None and not s['delay_error']); errors = list(s['errors'])+([[s['done'],s['error']]] if s['error'] is not None else []); report_delayed = s['delay_error'] and bool(s['errors']) and s['outer_done'] and not s['active'] and not s['pending'] and s['reserved']==0; unknown_completion = s['done'] is not None and s['done'] not in s['active']; release_slots = int(s['done'] is not None and s['done'] in s['active'])","evaluation_group":"s3-listener-merge-slots","failed_approach":"The partial repair uses int(bool(s['active'])); a retained regression distinguishes it from the full transition.","family":"s3-listener-merge-slots-release_slots","id":"FA-42686","implementations":{"attempt":{"sha256":"31e71e5e8963d5a43f0266176f9f1306024a5dea058c2346cc94a752ae9335e3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'slots': max(0,s['limit']-len(s['active'])-s['reserved']),\n        'starts': s['pending'][:max(0,s['limit']-len(s['active'])-s['reserved'])],\n        'pending': s['pending'][max(0,s['limit']-len(s['active'])-s['reserved']):],\n        'active': [x for x in s['active'] if x!=s['done']],\n        'finish': s['outer_done'] and not s['active'] and not s['pending'] and s['reserved']==0,\n        'cancel_siblings': s['cancel'] or (s['error'] is not None and not s['delay_error']),\n        'errors': list(s['errors'])+([[s['done'],s['error']]] if s['error'] is not None else []),\n        'report_delayed': s['delay_error'] and bool(s['errors']) and s['outer_done'] and not s['active'] and not s['pending'] and s['reserved']==0,\n        'unknown_completion': s['done'] is not None and s['done'] not in s['active'],\n        'release_slots': int(bool(s['active'])),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'active': ['a', 'b'], 'reserved': 3, 'limit': 3, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 1, 'limit': 0, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 3, 'limit': 1, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 3, 'limit': 3, 'pending': ['x', 'y', 'z'], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 0, 'limit': 3, 'pending': [], 'done': None, 'outer_done': True, 'error': None, 'delay_error': False, 'errors': [], 'cancel': True}, {'slots': 2, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 1, 'limit': 3, 'pending': [], 'done': 'a', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 3, 'limit': 3, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})], 2: [({'active': ['a', 'b'], 'reserved': 6, 'limit': 6, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 6, 'limit': 6, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 6, 'limit': 1, 'pending': ['x'], 'done': None, 'outer_done': False, 'error': None, 'delay_error': True, 'errors': [], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 0, 'limit': 0, 'pending': [], 'done': 'missing', 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 1, 'limit': 6, 'pending': ['x', 'y', 'z'], 'done': 'a', 'outer_done': True, 'error': 'bad', 'delay_error': False, 'errors': ['old'], 'cancel': False}, {'slots': 3, 'starts': ['x', 'y', 'z'], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 1, 'limit': 6, 'pending': ['x'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 5, 'starts': ['x'], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 6, 'limit': 6, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})], 3: [({'active': ['a', 'b'], 'reserved': 9, 'limit': 9, 'pending': ['x'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 9, 'limit': 1, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 1, 'limit': 9, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': False, 'error': None, 'delay_error': False, 'errors': ['old'], 'cancel': True}, {'slots': 7, 'starts': ['x', 'y', 'z'], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': ['old'], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 9, 'limit': 9, 'pending': [], 'done': 'missing', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': [['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 1, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old'], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 1, 'limit': 9, 'pending': [], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': True}, {'slots': 7, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': [['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 9, 'limit': 9, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})], 4: [({'active': ['a', 'b'], 'reserved': 12, 'limit': 12, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 12, 'limit': 1, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 0, 'limit': 12, 'pending': ['x', 'y', 'z'], 'done': None, 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 10, 'starts': ['x', 'y', 'z'], 'pending': [], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 0, 'limit': 1, 'pending': ['x'], 'done': 'a', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x'], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': ['a'], 'reserved': 1, 'limit': 12, 'pending': [], 'done': None, 'outer_done': False, 'error': 'bad', 'delay_error': False, 'errors': ['old'], 'cancel': True}, {'slots': 10, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 0, 'limit': 1, 'pending': [], 'done': 'a', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': True, 'errors': [['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0})], 5: [({'active': ['a'], 'reserved': 15, 'limit': 15, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 1, 'limit': 15, 'pending': [], 'done': None, 'outer_done': True, 'error': None, 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 14, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old'], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': [], 'reserved': 1, 'limit': 0, 'pending': ['x', 'y', 'z'], 'done': 'a', 'outer_done': True, 'error': 'bad', 'delay_error': False, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 0, 'limit': 1, 'pending': [], 'done': 'a', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': False, 'errors': [['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 1, 'limit': 15, 'pending': ['x'], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 14, 'starts': ['x'], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 1, 'limit': 1, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': None, 'delay_error': True, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a'], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 15, 'limit': 15, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})]}\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":"345a8ab46a6f782cc724bb6f8940fd187e9b4716955d1fe252f0d2e3987a9c18","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'slots': max(0,s['limit']-len(s['active'])-s['reserved']),\n        'starts': s['pending'][:max(0,s['limit']-len(s['active'])-s['reserved'])],\n        'pending': s['pending'][max(0,s['limit']-len(s['active'])-s['reserved']):],\n        'active': [x for x in s['active'] if x!=s['done']],\n        'finish': s['outer_done'] and not s['active'] and not s['pending'] and s['reserved']==0,\n        'cancel_siblings': s['cancel'] or (s['error'] is not None and not s['delay_error']),\n        'errors': list(s['errors'])+([[s['done'],s['error']]] if s['error'] is not None else []),\n        'report_delayed': s['delay_error'] and bool(s['errors']) and s['outer_done'] and not s['active'] and not s['pending'] and s['reserved']==0,\n        'unknown_completion': s['done'] is not None and s['done'] not in s['active'],\n        'release_slots': int(s['done'] is not None),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'active': ['a', 'b'], 'reserved': 3, 'limit': 3, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 1, 'limit': 0, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 3, 'limit': 1, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 3, 'limit': 3, 'pending': ['x', 'y', 'z'], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 0, 'limit': 3, 'pending': [], 'done': None, 'outer_done': True, 'error': None, 'delay_error': False, 'errors': [], 'cancel': True}, {'slots': 2, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 1, 'limit': 3, 'pending': [], 'done': 'a', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 3, 'limit': 3, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})], 2: [({'active': ['a', 'b'], 'reserved': 6, 'limit': 6, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 6, 'limit': 6, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 6, 'limit': 1, 'pending': ['x'], 'done': None, 'outer_done': False, 'error': None, 'delay_error': True, 'errors': [], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 0, 'limit': 0, 'pending': [], 'done': 'missing', 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 1, 'limit': 6, 'pending': ['x', 'y', 'z'], 'done': 'a', 'outer_done': True, 'error': 'bad', 'delay_error': False, 'errors': ['old'], 'cancel': False}, {'slots': 3, 'starts': ['x', 'y', 'z'], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 1, 'limit': 6, 'pending': ['x'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 5, 'starts': ['x'], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 6, 'limit': 6, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})], 3: [({'active': ['a', 'b'], 'reserved': 9, 'limit': 9, 'pending': ['x'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 9, 'limit': 1, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 1, 'limit': 9, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': False, 'error': None, 'delay_error': False, 'errors': ['old'], 'cancel': True}, {'slots': 7, 'starts': ['x', 'y', 'z'], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': ['old'], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 9, 'limit': 9, 'pending': [], 'done': 'missing', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': [['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 1, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old'], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 1, 'limit': 9, 'pending': [], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': True}, {'slots': 7, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': [['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 9, 'limit': 9, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})], 4: [({'active': ['a', 'b'], 'reserved': 12, 'limit': 12, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 12, 'limit': 1, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 0, 'limit': 12, 'pending': ['x', 'y', 'z'], 'done': None, 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 10, 'starts': ['x', 'y', 'z'], 'pending': [], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 0, 'limit': 1, 'pending': ['x'], 'done': 'a', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x'], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': ['a'], 'reserved': 1, 'limit': 12, 'pending': [], 'done': None, 'outer_done': False, 'error': 'bad', 'delay_error': False, 'errors': ['old'], 'cancel': True}, {'slots': 10, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 0, 'limit': 1, 'pending': [], 'done': 'a', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': True, 'errors': [['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0})], 5: [({'active': ['a'], 'reserved': 15, 'limit': 15, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 1, 'limit': 15, 'pending': [], 'done': None, 'outer_done': True, 'error': None, 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 14, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old'], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': [], 'reserved': 1, 'limit': 0, 'pending': ['x', 'y', 'z'], 'done': 'a', 'outer_done': True, 'error': 'bad', 'delay_error': False, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 0, 'limit': 1, 'pending': [], 'done': 'a', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': False, 'errors': [['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 1, 'limit': 15, 'pending': ['x'], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 14, 'starts': ['x'], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 1, 'limit': 1, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': None, 'delay_error': True, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a'], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 15, 'limit': 15, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})]}\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":"534d84dcaee381de46d0be634fa6294ba4077423607bdb1e74d5d819edcbdb0b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'slots': max(0,s['limit']-len(s['active'])-s['reserved']),\n        'starts': s['pending'][:max(0,s['limit']-len(s['active'])-s['reserved'])],\n        'pending': s['pending'][max(0,s['limit']-len(s['active'])-s['reserved']):],\n        'active': [x for x in s['active'] if x!=s['done']],\n        'finish': s['outer_done'] and not s['active'] and not s['pending'] and s['reserved']==0,\n        'cancel_siblings': s['cancel'] or (s['error'] is not None and not s['delay_error']),\n        'errors': list(s['errors'])+([[s['done'],s['error']]] if s['error'] is not None else []),\n        'report_delayed': s['delay_error'] and bool(s['errors']) and s['outer_done'] and not s['active'] and not s['pending'] and s['reserved']==0,\n        'unknown_completion': s['done'] is not None and s['done'] not in s['active'],\n        'release_slots': int(s['done'] is not None and s['done'] in s['active']),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'active': ['a', 'b'], 'reserved': 3, 'limit': 3, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 1, 'limit': 0, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 3, 'limit': 1, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 3, 'limit': 3, 'pending': ['x', 'y', 'z'], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 0, 'limit': 3, 'pending': [], 'done': None, 'outer_done': True, 'error': None, 'delay_error': False, 'errors': [], 'cancel': True}, {'slots': 2, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 1, 'limit': 3, 'pending': [], 'done': 'a', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 3, 'limit': 3, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})], 2: [({'active': ['a', 'b'], 'reserved': 6, 'limit': 6, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 6, 'limit': 6, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 6, 'limit': 1, 'pending': ['x'], 'done': None, 'outer_done': False, 'error': None, 'delay_error': True, 'errors': [], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 0, 'limit': 0, 'pending': [], 'done': 'missing', 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 1, 'limit': 6, 'pending': ['x', 'y', 'z'], 'done': 'a', 'outer_done': True, 'error': 'bad', 'delay_error': False, 'errors': ['old'], 'cancel': False}, {'slots': 3, 'starts': ['x', 'y', 'z'], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 1, 'limit': 6, 'pending': ['x'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 5, 'starts': ['x'], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 6, 'limit': 6, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})], 3: [({'active': ['a', 'b'], 'reserved': 9, 'limit': 9, 'pending': ['x'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 9, 'limit': 1, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 1, 'limit': 9, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': False, 'error': None, 'delay_error': False, 'errors': ['old'], 'cancel': True}, {'slots': 7, 'starts': ['x', 'y', 'z'], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': ['old'], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 9, 'limit': 9, 'pending': [], 'done': 'missing', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': False, 'errors': [['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 1, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old'], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 1, 'limit': 9, 'pending': [], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': True}, {'slots': 7, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': [['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 9, 'limit': 9, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})], 4: [({'active': ['a', 'b'], 'reserved': 12, 'limit': 12, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 12, 'limit': 1, 'pending': [], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 0, 'limit': 12, 'pending': ['x', 'y', 'z'], 'done': None, 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 10, 'starts': ['x', 'y', 'z'], 'pending': [], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 0, 'limit': 1, 'pending': ['x'], 'done': 'a', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x'], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': ['a'], 'reserved': 1, 'limit': 12, 'pending': [], 'done': None, 'outer_done': False, 'error': 'bad', 'delay_error': False, 'errors': ['old'], 'cancel': True}, {'slots': 10, 'starts': [], 'pending': [], 'active': ['a'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 0, 'limit': 1, 'pending': [], 'done': 'a', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': True, 'errors': [['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0})], 5: [({'active': ['a'], 'reserved': 15, 'limit': 15, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a'], 'finish': False, 'cancel_siblings': False, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 1, 'limit': 15, 'pending': [], 'done': None, 'outer_done': True, 'error': None, 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 14, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old'], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': [], 'reserved': 1, 'limit': 0, 'pending': ['x', 'y', 'z'], 'done': 'a', 'outer_done': True, 'error': 'bad', 'delay_error': False, 'errors': ['old'], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['a', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 0, 'limit': 1, 'pending': [], 'done': 'a', 'outer_done': False, 'error': 'bad', 'delay_error': True, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': ['b'], 'finish': False, 'cancel_siblings': False, 'errors': [['a', 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 1}), ({'active': [], 'reserved': 1, 'limit': 15, 'pending': ['x'], 'done': None, 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 14, 'starts': ['x'], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': True, 'errors': ['old', [None, 'bad']], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a'], 'reserved': 1, 'limit': 1, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': None, 'delay_error': True, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a'], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0}), ({'active': [], 'reserved': 0, 'limit': 0, 'pending': [], 'done': None, 'outer_done': False, 'error': None, 'delay_error': False, 'errors': [], 'cancel': False}, {'slots': 0, 'starts': [], 'pending': [], 'active': [], 'finish': False, 'cancel_siblings': False, 'errors': [], 'report_delayed': False, 'unknown_completion': False, 'release_slots': 0}), ({'active': ['a', 'b'], 'reserved': 15, 'limit': 15, 'pending': ['x', 'y', 'z'], 'done': 'missing', 'outer_done': True, 'error': 'bad', 'delay_error': True, 'errors': ['old'], 'cancel': True}, {'slots': 0, 'starts': [], 'pending': ['x', 'y', 'z'], 'active': ['a', 'b'], 'finish': False, 'cancel_siblings': True, 'errors': ['old', ['missing', 'bad']], 'report_delayed': False, 'unknown_completion': True, 'release_slots': 0})]}\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-merge-slots-release_slots","generated_at":"2026-09-29T14:43:54.205693+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 release_slots decision from the complete contract: int(s['done'] is not None and s['done'] in s['active']).","root_cause":"The release_slots decision in the merge-slots listener model is computed as int(s['done'] is not None), losing a required lifecycle condition.","sha256":"a1ea40a9112dbbc52ff4153e9c40951906ddafba0f555d5c9c23f01e9bc55bf8","title":"Merge completion releases a slot for an unknown inner · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":47.258,"exit_code":1,"observations":[{"actual":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"check":"transition 0","expected":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"passed":false},{"actual":{"active":[],"cancel_siblings":true,"errors":["old",[null,"bad"]],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 1","expected":{"active":[],"cancel_siblings":true,"errors":["old",[null,"bad"]],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"check":"transition 2","expected":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"passed":false},{"actual":{"active":["a","b"],"cancel_siblings":true,"errors":[],"finish":false,"pending":["x","y","z"],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 3","expected":{"active":["a","b"],"cancel_siblings":true,"errors":[],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":false},{"actual":{"active":["a"],"cancel_siblings":true,"errors":[],"finish":false,"pending":[],"release_slots":1,"report_delayed":false,"slots":2,"starts":[],"unknown_completion":false},"check":"transition 4","expected":{"active":["a"],"cancel_siblings":true,"errors":[],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":2,"starts":[],"unknown_completion":false},"passed":false},{"actual":{"active":["b"],"cancel_siblings":true,"errors":["old",["a","bad"]],"finish":false,"pending":[],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 5","expected":{"active":["b"],"cancel_siblings":true,"errors":["old",["a","bad"]],"finish":false,"pending":[],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":[],"cancel_siblings":false,"errors":[],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 6","expected":{"active":[],"cancel_siblings":false,"errors":[],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":["a","b"],"cancel_siblings":true,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"check":"transition 7","expected":{"active":["a","b"],"cancel_siblings":true,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 1}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [null, \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [null, \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 1}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 1}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"slots\": 2, \"starts\": [], \"pending\": [], \"active\": [\"a\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 1}, \"expected\": {\"slots\": 2, \"starts\": [], \"pending\": [], \"active\": [\"a\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [\"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"a\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 1}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [\"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"a\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 1}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": false, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": false, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 1}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":48.489,"exit_code":1,"observations":[{"actual":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"check":"transition 0","expected":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"passed":false},{"actual":{"active":[],"cancel_siblings":true,"errors":["old",[null,"bad"]],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 1","expected":{"active":[],"cancel_siblings":true,"errors":["old",[null,"bad"]],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"check":"transition 2","expected":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"passed":false},{"actual":{"active":["a","b"],"cancel_siblings":true,"errors":[],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 3","expected":{"active":["a","b"],"cancel_siblings":true,"errors":[],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":["a"],"cancel_siblings":true,"errors":[],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":2,"starts":[],"unknown_completion":false},"check":"transition 4","expected":{"active":["a"],"cancel_siblings":true,"errors":[],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":2,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":["b"],"cancel_siblings":true,"errors":["old",["a","bad"]],"finish":false,"pending":[],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 5","expected":{"active":["b"],"cancel_siblings":true,"errors":["old",["a","bad"]],"finish":false,"pending":[],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":[],"cancel_siblings":false,"errors":[],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 6","expected":{"active":[],"cancel_siblings":false,"errors":[],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":["a","b"],"cancel_siblings":true,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"check":"transition 7","expected":{"active":["a","b"],"cancel_siblings":true,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 1}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [null, \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [null, \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 1}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"slots\": 2, \"starts\": [], \"pending\": [], \"active\": [\"a\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"expected\": {\"slots\": 2, \"starts\": [], \"pending\": [], \"active\": [\"a\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [\"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"a\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 1}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [\"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"a\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 1}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": false, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": false, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 1}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.694,"exit_code":0,"observations":[{"actual":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"check":"transition 0","expected":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"passed":true},{"actual":{"active":[],"cancel_siblings":true,"errors":["old",[null,"bad"]],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 1","expected":{"active":[],"cancel_siblings":true,"errors":["old",[null,"bad"]],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"check":"transition 2","expected":{"active":["a","b"],"cancel_siblings":false,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"passed":true},{"actual":{"active":["a","b"],"cancel_siblings":true,"errors":[],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 3","expected":{"active":["a","b"],"cancel_siblings":true,"errors":[],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":["a"],"cancel_siblings":true,"errors":[],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":2,"starts":[],"unknown_completion":false},"check":"transition 4","expected":{"active":["a"],"cancel_siblings":true,"errors":[],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":2,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":["b"],"cancel_siblings":true,"errors":["old",["a","bad"]],"finish":false,"pending":[],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 5","expected":{"active":["b"],"cancel_siblings":true,"errors":["old",["a","bad"]],"finish":false,"pending":[],"release_slots":1,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":[],"cancel_siblings":false,"errors":[],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"check":"transition 6","expected":{"active":[],"cancel_siblings":false,"errors":[],"finish":false,"pending":[],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":false},"passed":true},{"actual":{"active":["a","b"],"cancel_siblings":true,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"check":"transition 7","expected":{"active":["a","b"],"cancel_siblings":true,"errors":["old",["missing","bad"]],"finish":false,"pending":["x","y","z"],"release_slots":0,"report_delayed":false,"slots":0,"starts":[],"unknown_completion":true},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [null, \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [null, \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": false, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"slots\": 2, \"starts\": [], \"pending\": [], \"active\": [\"a\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"expected\": {\"slots\": 2, \"starts\": [], \"pending\": [], \"active\": [\"a\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [\"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"a\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 1}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [\"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"a\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 1}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": false, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [], \"active\": [], \"finish\": false, \"cancel_siblings\": false, \"errors\": [], \"report_delayed\": false, \"unknown_completion\": false, \"release_slots\": 0}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"expected\": {\"slots\": 0, \"starts\": [], \"pending\": [\"x\", \"y\", \"z\"], \"active\": [\"a\", \"b\"], \"finish\": false, \"cancel_siblings\": true, \"errors\": [\"old\", [\"missing\", \"bad\"]], \"report_delayed\": false, \"unknown_completion\": true, \"release_slots\": 0}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}