{"abstract":"Synchronous inner completion leaves the exhaust startup reservation occupied; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan an exhaust-style observer: accept a new outer value only while no inner is active; otherwise drop it, never queue or replace. An accepted inner occupies its slot before synchronous subscription side effects. Releasing the current inner allows the next outer value. Outer completion waits for the accepted inner. An error is terminal and rejected outer values consume no inner generation. For one accepted inner, report the earliest trace index at which both outer and inner completion have occurred, independent of later trace records. Suppressed outer values are never queued; their [resource_id,owned] resources are released only when owned by the operator. For recorded [outer_value,inner_active_at_arrival] observations, invoke the inner factory only for arrivals that found the slot idle. For one inner startup, reservation is occupied from reserve until complete, even if completion is synchronous before subscribe returns; return alone does not release it. 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: accept = s['outer_value'] and not s['active'] and not s['subscribing'] and not s['outer_done'] and not s['cancel'] and s['error'] is None; drop = s['outer_value'] and (s['active'] or s['subscribing']); queue = [r[0] for r in s['discarded_resources'] if r[1]]; replace = [r[0] for r in s['outer_arrivals'] if not r[1]]; reserved = [sum(op=='reserve' for op in s['reservation_trace'][:i+1])>sum(op=='complete' for op in s['reservation_trace'][:i+1]) for i in range(len(s['reservation_trace']))]; release = s['inner_done'] and s['done_generation']==s['generation']; finish = max(s['finish_trace'].index('outer-done'),s['finish_trace'].index('inner-done')) if 'outer-done' in s['finish_trace'] and 'inner-done' in s['finish_trace'] else None; generation = s['generation']+int(s['outer_value'] and not s['active'] and not s['subscribing']); drops = s['drops']+int(s['outer_value'] and (s['active'] or s['subscribing'])); detach_inner = (s['active'] or s['subscribing']) and (s['cancel'] or s['error'] is not None)","evaluation_group":"s3-listener-exhaust-inner","failed_approach":"The partial repair uses ['reserve' in s['reservation_trace'][:i+1] for i in range(len(s['reservation_trace']))]; a retained regression distinguishes it from the full transition.","family":"s3-listener-exhaust-inner-reserved","id":"FA-42611","implementations":{"attempt":{"sha256":"78f9af41de15d2cce09de4bca8004c1fcaffa4306d937b6252a3152ee8c004a4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'accept': s['outer_value'] and not s['active'] and not s['subscribing'] and not s['outer_done'] and not s['cancel'] and s['error'] is None,\n        'drop': s['outer_value'] and (s['active'] or s['subscribing']),\n        'queue': [r[0] for r in s['discarded_resources'] if r[1]],\n        'replace': [r[0] for r in s['outer_arrivals'] if not r[1]],\n        'reserved': ['reserve' in s['reservation_trace'][:i+1] for i in range(len(s['reservation_trace']))],\n        'release': s['inner_done'] and s['done_generation']==s['generation'],\n        'finish': max(s['finish_trace'].index('outer-done'),s['finish_trace'].index('inner-done')) if 'outer-done' in s['finish_trace'] and 'inner-done' in s['finish_trace'] else None,\n        'generation': s['generation']+int(s['outer_value'] and not s['active'] and not s['subscribing']),\n        'drops': s['drops']+int(s['outer_value'] and (s['active'] or s['subscribing'])),\n        'detach_inner': (s['active'] or s['subscribing']) and (s['cancel'] or s['error'] is not None),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 2, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, False, False], 'release': False, 'finish': 1, 'generation': 2, 'drops': 1, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 2, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 2, 'generation': 3, 'drops': 0, 'detach_inner': False}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 3, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 2, 'generation': 0, 'drops': 4, 'detach_inner': True}), ({'active': True, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 2, 'done_generation': 2, 'drops': 0, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': [], 'reserved': [], 'release': False, 'finish': 1, 'generation': 2, 'drops': 0, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 2, 'drops': 3, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True], 'release': False, 'finish': None, 'generation': 0, 'drops': 3, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done'], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 2, 'done_generation': 2, 'drops': 3, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 2, 'drops': 4, 'detach_inner': True})], 2: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 4, 'done_generation': 0, 'drops': 6, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': 1, 'generation': 4, 'drops': 7, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 4, 'drops': 6, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [True, True, False], 'release': False, 'finish': 1, 'generation': 1, 'drops': 6, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 6, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 6, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, True], 'release': True, 'finish': 1, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': True}), ({'active': True, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 4, 'drops': 6, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': [], 'replace': [], 'reserved': [True, False, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 7, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 4, 'done_generation': 4, 'drops': 6, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 4, 'drops': 7, 'detach_inner': True})], 3: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 9, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, False, False], 'release': True, 'finish': 1, 'generation': 6, 'drops': 10, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 6, 'done_generation': 0, 'drops': 9, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 2, 'generation': 7, 'drops': 9, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': True, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [True, True, False], 'release': False, 'finish': 2, 'generation': 6, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': False, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 0, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 1, 'generation': 6, 'drops': 1, 'detach_inner': True}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 6, 'drops': 0, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['b'], 'reserved': [True, True], 'release': False, 'finish': None, 'generation': 0, 'drops': 1, 'detach_inner': True}), ({'active': True, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 9, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, False, False], 'release': False, 'finish': 2, 'generation': 6, 'drops': 9, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 9, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 6, 'drops': 10, 'detach_inner': True})], 4: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 8, 'done_generation': 0, 'drops': 12, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, False, False], 'release': False, 'finish': 1, 'generation': 8, 'drops': 13, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 8, 'done_generation': 0, 'drops': 12, 'subscribing': False, 'finish_trace': ['outer-done'], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 9, 'drops': 12, 'detach_inner': False}), ({'active': True, 'outer_value': False, 'outer_done': True, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 8, 'drops': 12, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 12, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [True, False, False], 'release': False, 'finish': 2, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': False, 'generation': 0, 'done_generation': 8, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': 2, 'generation': 0, 'drops': 1, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 8, 'done_generation': 8, 'drops': 12, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': [], 'reserved': [True, True, False], 'release': True, 'finish': None, 'generation': 8, 'drops': 13, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 8, 'done_generation': 8, 'drops': 12, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 8, 'drops': 13, 'detach_inner': True})], 5: [({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 10, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True, False], 'release': False, 'finish': 2, 'generation': 10, 'drops': 1, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 15, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True, False], 'release': True, 'finish': 1, 'generation': 1, 'drops': 15, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': False, 'generation': 10, 'done_generation': 10, 'drops': 15, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, False, False], 'release': True, 'finish': 1, 'generation': 10, 'drops': 16, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [True, False, False], 'release': True, 'finish': 1, 'generation': 0, 'drops': 0, 'detach_inner': True}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 10, 'drops': 15, 'subscribing': True, 'finish_trace': ['outer-done'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 16, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 10, 'done_generation': 0, 'drops': 15, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [True, True], 'release': False, 'finish': 1, 'generation': 10, 'drops': 15, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 10, 'done_generation': 10, 'drops': 15, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 10, 'drops': 16, 'detach_inner': 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":"dcd7a719da1d85f7d0989142b987201cd13d2bb02cb9c036660d5d4b1d86d491","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'accept': s['outer_value'] and not s['active'] and not s['subscribing'] and not s['outer_done'] and not s['cancel'] and s['error'] is None,\n        'drop': s['outer_value'] and (s['active'] or s['subscribing']),\n        'queue': [r[0] for r in s['discarded_resources'] if r[1]],\n        'replace': [r[0] for r in s['outer_arrivals'] if not r[1]],\n        'reserved': ['reserve' in s['reservation_trace'][:i+1] and 'return' not in s['reservation_trace'][:i+1] for i in range(len(s['reservation_trace']))],\n        'release': s['inner_done'] and s['done_generation']==s['generation'],\n        'finish': max(s['finish_trace'].index('outer-done'),s['finish_trace'].index('inner-done')) if 'outer-done' in s['finish_trace'] and 'inner-done' in s['finish_trace'] else None,\n        'generation': s['generation']+int(s['outer_value'] and not s['active'] and not s['subscribing']),\n        'drops': s['drops']+int(s['outer_value'] and (s['active'] or s['subscribing'])),\n        'detach_inner': (s['active'] or s['subscribing']) and (s['cancel'] or s['error'] is not None),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 2, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, False, False], 'release': False, 'finish': 1, 'generation': 2, 'drops': 1, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 2, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 2, 'generation': 3, 'drops': 0, 'detach_inner': False}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 3, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 2, 'generation': 0, 'drops': 4, 'detach_inner': True}), ({'active': True, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 2, 'done_generation': 2, 'drops': 0, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': [], 'reserved': [], 'release': False, 'finish': 1, 'generation': 2, 'drops': 0, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 2, 'drops': 3, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True], 'release': False, 'finish': None, 'generation': 0, 'drops': 3, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done'], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 2, 'done_generation': 2, 'drops': 3, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 2, 'drops': 4, 'detach_inner': True})], 2: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 4, 'done_generation': 0, 'drops': 6, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': 1, 'generation': 4, 'drops': 7, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 4, 'drops': 6, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [True, True, False], 'release': False, 'finish': 1, 'generation': 1, 'drops': 6, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 6, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 6, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, True], 'release': True, 'finish': 1, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': True}), ({'active': True, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 4, 'drops': 6, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': [], 'replace': [], 'reserved': [True, False, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 7, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 4, 'done_generation': 4, 'drops': 6, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 4, 'drops': 7, 'detach_inner': True})], 3: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 9, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, False, False], 'release': True, 'finish': 1, 'generation': 6, 'drops': 10, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 6, 'done_generation': 0, 'drops': 9, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 2, 'generation': 7, 'drops': 9, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': True, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [True, True, False], 'release': False, 'finish': 2, 'generation': 6, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': False, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 0, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 1, 'generation': 6, 'drops': 1, 'detach_inner': True}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 6, 'drops': 0, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['b'], 'reserved': [True, True], 'release': False, 'finish': None, 'generation': 0, 'drops': 1, 'detach_inner': True}), ({'active': True, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 9, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, False, False], 'release': False, 'finish': 2, 'generation': 6, 'drops': 9, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 9, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 6, 'drops': 10, 'detach_inner': True})], 4: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 8, 'done_generation': 0, 'drops': 12, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, False, False], 'release': False, 'finish': 1, 'generation': 8, 'drops': 13, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 8, 'done_generation': 0, 'drops': 12, 'subscribing': False, 'finish_trace': ['outer-done'], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 9, 'drops': 12, 'detach_inner': False}), ({'active': True, 'outer_value': False, 'outer_done': True, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 8, 'drops': 12, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 12, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [True, False, False], 'release': False, 'finish': 2, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': False, 'generation': 0, 'done_generation': 8, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': 2, 'generation': 0, 'drops': 1, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 8, 'done_generation': 8, 'drops': 12, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': [], 'reserved': [True, True, False], 'release': True, 'finish': None, 'generation': 8, 'drops': 13, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 8, 'done_generation': 8, 'drops': 12, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 8, 'drops': 13, 'detach_inner': True})], 5: [({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 10, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True, False], 'release': False, 'finish': 2, 'generation': 10, 'drops': 1, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 15, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True, False], 'release': True, 'finish': 1, 'generation': 1, 'drops': 15, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': False, 'generation': 10, 'done_generation': 10, 'drops': 15, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, False, False], 'release': True, 'finish': 1, 'generation': 10, 'drops': 16, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [True, False, False], 'release': True, 'finish': 1, 'generation': 0, 'drops': 0, 'detach_inner': True}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 10, 'drops': 15, 'subscribing': True, 'finish_trace': ['outer-done'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 16, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 10, 'done_generation': 0, 'drops': 15, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [True, True], 'release': False, 'finish': 1, 'generation': 10, 'drops': 15, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 10, 'done_generation': 10, 'drops': 15, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 10, 'drops': 16, 'detach_inner': 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":"19abb3e5f30b24d325a1d0029e57aa4dc312941a66ff163bca5a9f4742ed668e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'accept': s['outer_value'] and not s['active'] and not s['subscribing'] and not s['outer_done'] and not s['cancel'] and s['error'] is None,\n        'drop': s['outer_value'] and (s['active'] or s['subscribing']),\n        'queue': [r[0] for r in s['discarded_resources'] if r[1]],\n        'replace': [r[0] for r in s['outer_arrivals'] if not r[1]],\n        'reserved': [sum(op=='reserve' for op in s['reservation_trace'][:i+1])>sum(op=='complete' for op in s['reservation_trace'][:i+1]) for i in range(len(s['reservation_trace']))],\n        'release': s['inner_done'] and s['done_generation']==s['generation'],\n        'finish': max(s['finish_trace'].index('outer-done'),s['finish_trace'].index('inner-done')) if 'outer-done' in s['finish_trace'] and 'inner-done' in s['finish_trace'] else None,\n        'generation': s['generation']+int(s['outer_value'] and not s['active'] and not s['subscribing']),\n        'drops': s['drops']+int(s['outer_value'] and (s['active'] or s['subscribing'])),\n        'detach_inner': (s['active'] or s['subscribing']) and (s['cancel'] or s['error'] is not None),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 2, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, False, False], 'release': False, 'finish': 1, 'generation': 2, 'drops': 1, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 2, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 2, 'generation': 3, 'drops': 0, 'detach_inner': False}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 3, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 2, 'generation': 0, 'drops': 4, 'detach_inner': True}), ({'active': True, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 2, 'done_generation': 2, 'drops': 0, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': [], 'reserved': [], 'release': False, 'finish': 1, 'generation': 2, 'drops': 0, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 2, 'drops': 3, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True], 'release': False, 'finish': None, 'generation': 0, 'drops': 3, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done'], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 2, 'done_generation': 2, 'drops': 3, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 2, 'drops': 4, 'detach_inner': True})], 2: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 4, 'done_generation': 0, 'drops': 6, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': 1, 'generation': 4, 'drops': 7, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 4, 'drops': 6, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [True, True, False], 'release': False, 'finish': 1, 'generation': 1, 'drops': 6, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 6, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 6, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, True], 'release': True, 'finish': 1, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': True}), ({'active': True, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 4, 'drops': 6, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': [], 'replace': [], 'reserved': [True, False, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 7, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 4, 'done_generation': 4, 'drops': 6, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 4, 'drops': 7, 'detach_inner': True})], 3: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 9, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['a', 'c'], 'reserved': [True, False, False], 'release': True, 'finish': 1, 'generation': 6, 'drops': 10, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 6, 'done_generation': 0, 'drops': 9, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 2, 'generation': 7, 'drops': 9, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': True, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [True, True, False], 'release': False, 'finish': 2, 'generation': 6, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': False, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 0, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': []}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['b'], 'reserved': [], 'release': False, 'finish': 1, 'generation': 6, 'drops': 1, 'detach_inner': True}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 6, 'drops': 0, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['b'], 'reserved': [True, True], 'release': False, 'finish': None, 'generation': 0, 'drops': 1, 'detach_inner': True}), ({'active': True, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 9, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, False, False], 'release': False, 'finish': 2, 'generation': 6, 'drops': 9, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 6, 'done_generation': 6, 'drops': 9, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 6, 'drops': 10, 'detach_inner': True})], 4: [({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 8, 'done_generation': 0, 'drops': 12, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, False, False], 'release': False, 'finish': 1, 'generation': 8, 'drops': 13, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 8, 'done_generation': 0, 'drops': 12, 'subscribing': False, 'finish_trace': ['outer-done'], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 9, 'drops': 12, 'detach_inner': False}), ({'active': True, 'outer_value': False, 'outer_done': True, 'inner_done': False, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 8, 'drops': 12, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 12, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [True, False, False], 'release': False, 'finish': 2, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': False, 'generation': 0, 'done_generation': 8, 'drops': 0, 'subscribing': False, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': 2, 'generation': 0, 'drops': 1, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 8, 'done_generation': 8, 'drops': 12, 'subscribing': True, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': [], 'reserved': [True, True, False], 'release': True, 'finish': None, 'generation': 8, 'drops': 13, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 8, 'done_generation': 8, 'drops': 12, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 8, 'drops': 13, 'detach_inner': True})], 5: [({'active': False, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': None, 'cancel': True, 'generation': 10, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True, False], 'release': False, 'finish': 2, 'generation': 10, 'drops': 1, 'detach_inner': True}), ({'active': False, 'outer_value': True, 'outer_done': False, 'inner_done': True, 'error': 'error', 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 15, 'subscribing': False, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['a', True], ['b', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': False, 'queue': ['a'], 'replace': ['b'], 'reserved': [True, True, False], 'release': True, 'finish': 1, 'generation': 1, 'drops': 15, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': False, 'generation': 10, 'done_generation': 10, 'drops': 15, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, False, False], 'release': True, 'finish': 1, 'generation': 10, 'drops': 16, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'complete', 'return']}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [True, False, False], 'release': True, 'finish': 1, 'generation': 0, 'drops': 0, 'detach_inner': True}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 0, 'done_generation': 10, 'drops': 15, 'subscribing': True, 'finish_trace': ['outer-done'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': False, 'finish': None, 'generation': 0, 'drops': 16, 'detach_inner': True}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 10, 'done_generation': 0, 'drops': 15, 'subscribing': True, 'finish_trace': ['outer-done', 'inner-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', True], ['b', False]], 'reservation_trace': ['reserve', 'return']}, {'accept': False, 'drop': False, 'queue': [], 'replace': ['b'], 'reserved': [True, True], 'release': False, 'finish': 1, 'generation': 10, 'drops': 15, 'detach_inner': False}), ({'active': False, 'outer_value': False, 'outer_done': False, 'inner_done': False, 'error': None, 'cancel': False, 'generation': 0, 'done_generation': 0, 'drops': 0, 'subscribing': False, 'finish_trace': [], 'discarded_resources': [], 'outer_arrivals': [], 'reservation_trace': []}, {'accept': False, 'drop': False, 'queue': [], 'replace': [], 'reserved': [], 'release': False, 'finish': None, 'generation': 0, 'drops': 0, 'detach_inner': False}), ({'active': True, 'outer_value': True, 'outer_done': True, 'inner_done': True, 'error': 'error', 'cancel': True, 'generation': 10, 'done_generation': 10, 'drops': 15, 'subscribing': True, 'finish_trace': ['inner-done', 'tick', 'outer-done', 'late'], 'discarded_resources': [['c', False]], 'outer_arrivals': [['a', False], ['b', True], ['c', False]], 'reservation_trace': ['reserve', 'return', 'complete']}, {'accept': False, 'drop': True, 'queue': [], 'replace': ['a', 'c'], 'reserved': [True, True, False], 'release': True, 'finish': 2, 'generation': 10, 'drops': 16, 'detach_inner': 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-exhaust-inner-reserved","generated_at":"2026-09-29T14:43:53.413643+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 reserved decision from the complete contract: [sum(op=='reserve' for op in s['reservation_trace'][:i+1])>sum(op=='complete' for op in s['reservation_trace'][:i+1]) for i in range(len(s['reservation_trace']))].","root_cause":"The reserved decision in the exhaust-inner listener model is computed as ['reserve' in s['reservation_trace'][:i+1] and 'return' not in s['reservation_trace'][:i+1] for i in range(len(s['reservation_trace']))], losing a required lifecycle condition.","sha256":"dfe3ceb60f5c365b367b4e5903904d5b16ac53380b87df97c7f21e9292b50e16","title":"Synchronous inner completion leaves the exhaust startup reservation occupied · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.877,"exit_code":1,"observations":[{"actual":{"accept":false,"detach_inner":true,"drop":true,"drops":1,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":["a","c"],"reserved":[true,true,true]},"check":"transition 0","expected":{"accept":false,"detach_inner":true,"drop":true,"drops":1,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":["a","c"],"reserved":[true,false,false]},"passed":false},{"actual":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":2,"generation":3,"queue":[],"release":false,"replace":["b"],"reserved":[]},"check":"transition 1","expected":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":2,"generation":3,"queue":[],"release":false,"replace":["b"],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":0,"queue":[],"release":false,"replace":["b"],"reserved":[]},"check":"transition 2","expected":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":0,"queue":[],"release":false,"replace":["b"],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":[],"reserved":[]},"check":"transition 3","expected":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":[],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":false,"drops":3,"finish":null,"generation":0,"queue":["a"],"release":false,"replace":["b"],"reserved":[true,true]},"check":"transition 4","expected":{"accept":false,"detach_inner":true,"drop":false,"drops":3,"finish":null,"generation":0,"queue":["a"],"release":false,"replace":["b"],"reserved":[true,true]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"check":"transition 5","expected":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"check":"transition 6","expected":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":2,"queue":[],"release":true,"replace":["a","c"],"reserved":[true,true,true]},"check":"transition 7","expected":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":2,"queue":[],"release":true,"replace":["a","c"],"reserved":[true,true,false]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"accept\": false, \"drop\": true, \"queue\": [\"a\"], \"replace\": [\"a\", \"c\"], \"reserved\": [true, true, true], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 1, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": true, \"queue\": [\"a\"], \"replace\": [\"a\", \"c\"], \"reserved\": [true, false, false], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 1, \"detach_inner\": true}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 3, \"drops\": 0, \"detach_inner\": false}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 3, \"drops\": 0, \"detach_inner\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 0, \"drops\": 4, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 0, \"drops\": 4, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 0, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 0, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [\"b\"], \"reserved\": [true, true], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 3, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [\"b\"], \"reserved\": [true, true], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 3, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": false}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"a\", \"c\"], \"reserved\": [true, true, true], \"release\": true, \"finish\": 2, \"generation\": 2, \"drops\": 4, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"a\", \"c\"], \"reserved\": [true, true, false], \"release\": true, \"finish\": 2, \"generation\": 2, \"drops\": 4, \"detach_inner\": true}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.712,"exit_code":1,"observations":[{"actual":{"accept":false,"detach_inner":true,"drop":true,"drops":1,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":["a","c"],"reserved":[true,true,false]},"check":"transition 0","expected":{"accept":false,"detach_inner":true,"drop":true,"drops":1,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":["a","c"],"reserved":[true,false,false]},"passed":false},{"actual":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":2,"generation":3,"queue":[],"release":false,"replace":["b"],"reserved":[]},"check":"transition 1","expected":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":2,"generation":3,"queue":[],"release":false,"replace":["b"],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":0,"queue":[],"release":false,"replace":["b"],"reserved":[]},"check":"transition 2","expected":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":0,"queue":[],"release":false,"replace":["b"],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":[],"reserved":[]},"check":"transition 3","expected":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":[],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":false,"drops":3,"finish":null,"generation":0,"queue":["a"],"release":false,"replace":["b"],"reserved":[true,false]},"check":"transition 4","expected":{"accept":false,"detach_inner":true,"drop":false,"drops":3,"finish":null,"generation":0,"queue":["a"],"release":false,"replace":["b"],"reserved":[true,true]},"passed":false},{"actual":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"check":"transition 5","expected":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"check":"transition 6","expected":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":2,"queue":[],"release":true,"replace":["a","c"],"reserved":[true,false,false]},"check":"transition 7","expected":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":2,"queue":[],"release":true,"replace":["a","c"],"reserved":[true,true,false]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"accept\": false, \"drop\": true, \"queue\": [\"a\"], \"replace\": [\"a\", \"c\"], \"reserved\": [true, true, false], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 1, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": true, \"queue\": [\"a\"], \"replace\": [\"a\", \"c\"], \"reserved\": [true, false, false], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 1, \"detach_inner\": true}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 3, \"drops\": 0, \"detach_inner\": false}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 3, \"drops\": 0, \"detach_inner\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 0, \"drops\": 4, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 0, \"drops\": 4, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 0, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 0, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [\"b\"], \"reserved\": [true, false], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 3, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [\"b\"], \"reserved\": [true, true], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 3, \"detach_inner\": true}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": false}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"a\", \"c\"], \"reserved\": [true, false, false], \"release\": true, \"finish\": 2, \"generation\": 2, \"drops\": 4, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"a\", \"c\"], \"reserved\": [true, true, false], \"release\": true, \"finish\": 2, \"generation\": 2, \"drops\": 4, \"detach_inner\": true}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.525,"exit_code":0,"observations":[{"actual":{"accept":false,"detach_inner":true,"drop":true,"drops":1,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":["a","c"],"reserved":[true,false,false]},"check":"transition 0","expected":{"accept":false,"detach_inner":true,"drop":true,"drops":1,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":["a","c"],"reserved":[true,false,false]},"passed":true},{"actual":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":2,"generation":3,"queue":[],"release":false,"replace":["b"],"reserved":[]},"check":"transition 1","expected":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":2,"generation":3,"queue":[],"release":false,"replace":["b"],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":0,"queue":[],"release":false,"replace":["b"],"reserved":[]},"check":"transition 2","expected":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":0,"queue":[],"release":false,"replace":["b"],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":[],"reserved":[]},"check":"transition 3","expected":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":1,"generation":2,"queue":["a"],"release":false,"replace":[],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":false,"drops":3,"finish":null,"generation":0,"queue":["a"],"release":false,"replace":["b"],"reserved":[true,true]},"check":"transition 4","expected":{"accept":false,"detach_inner":true,"drop":false,"drops":3,"finish":null,"generation":0,"queue":["a"],"release":false,"replace":["b"],"reserved":[true,true]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"check":"transition 5","expected":{"accept":false,"detach_inner":true,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"check":"transition 6","expected":{"accept":false,"detach_inner":false,"drop":false,"drops":0,"finish":null,"generation":0,"queue":[],"release":false,"replace":[],"reserved":[]},"passed":true},{"actual":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":2,"queue":[],"release":true,"replace":["a","c"],"reserved":[true,true,false]},"check":"transition 7","expected":{"accept":false,"detach_inner":true,"drop":true,"drops":4,"finish":2,"generation":2,"queue":[],"release":true,"replace":["a","c"],"reserved":[true,true,false]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"accept\": false, \"drop\": true, \"queue\": [\"a\"], \"replace\": [\"a\", \"c\"], \"reserved\": [true, false, false], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 1, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": true, \"queue\": [\"a\"], \"replace\": [\"a\", \"c\"], \"reserved\": [true, false, false], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 1, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 3, \"drops\": 0, \"detach_inner\": false}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 3, \"drops\": 0, \"detach_inner\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 0, \"drops\": 4, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"b\"], \"reserved\": [], \"release\": false, \"finish\": 2, \"generation\": 0, \"drops\": 4, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 0, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": 1, \"generation\": 2, \"drops\": 0, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [\"b\"], \"reserved\": [true, true], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 3, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [\"a\"], \"replace\": [\"b\"], \"reserved\": [true, true], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 3, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": true}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": false}, \"expected\": {\"accept\": false, \"drop\": false, \"queue\": [], \"replace\": [], \"reserved\": [], \"release\": false, \"finish\": null, \"generation\": 0, \"drops\": 0, \"detach_inner\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"a\", \"c\"], \"reserved\": [true, true, false], \"release\": true, \"finish\": 2, \"generation\": 2, \"drops\": 4, \"detach_inner\": true}, \"expected\": {\"accept\": false, \"drop\": true, \"queue\": [], \"replace\": [\"a\", \"c\"], \"reserved\": [true, true, false], \"release\": true, \"finish\": 2, \"generation\": 2, \"drops\": 4, \"detach_inner\": true}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}