{"abstract":"Transferring one disposer removes every disposer from the composite; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan a subscription composite teardown stack. Disposers are [id,already_run] entries and run in reverse acquisition order. Duplicate disposer IDs run at most once, keeping the latest acquisition position. Disposers added after closure run immediately. Teardown failures accumulate without suppressing later cleanup. Ownership transfer removes the transferred disposer from this stack without executing it. The current disposal wave finishes in its existing order; disposers added reentrantly form a subsequent wave in reverse acquisition order. Relinquishing a scope severs only capture references to that exact owner; unrelated receiver captures survive. The already-run projection groups aliases by disposer identity: any completed alias marks the identity completed, preserving first identity order. 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: order = list(dict.fromkeys(r[0] for r in reversed(s['stack']) if not r[1] and r[0]!=s['transfer'])); immediate = [s['added']] if s['closed'] and s['added'] is not None else []; store_added = [s['added']] if not s['closed'] and s['added'] is not None else []; transferred = [r[0] for r in s['stack'] if r[0]==s['transfer']]; retained = [r for r in s['stack'] if r[0]!=s['transfer']]; already_run = [k for k in dict.fromkeys(r[0] for r in s['stack']) if any(r[0]==k and r[1] for r in s['stack'])]; errors = list(s['errors']); reentrant = list(s['wave_remaining'])+list(reversed(s['added_during'])); owner = s['new_owner'] if s['transfer'] is not None else s['owner']; pending = [[r[0],None if r[1]==s['relinquished_owner'] else r[1]] for r in s['captures']]","evaluation_group":"s3-listener-teardown-stack","failed_approach":"The partial repair uses list(s['stack']); a retained regression distinguishes it from the full transition.","family":"s3-listener-teardown-stack-retained","id":"FA-42761","implementations":{"attempt":{"sha256":"4c232faa81ce9096ddc1afe888b525055859a849d2d60c2425087f17d0c3a189","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'order': list(dict.fromkeys(r[0] for r in reversed(s['stack']) if not r[1] and r[0]!=s['transfer'])),\n        'immediate': [s['added']] if s['closed'] and s['added'] is not None else [],\n        'store_added': [s['added']] if not s['closed'] and s['added'] is not None else [],\n        'transferred': [r[0] for r in s['stack'] if r[0]==s['transfer']],\n        'retained': list(s['stack']),\n        'already_run': [k for k in dict.fromkeys(r[0] for r in s['stack']) if any(r[0]==k and r[1] for r in s['stack'])],\n        'errors': list(s['errors']),\n        'reentrant': list(s['wave_remaining'])+list(reversed(s['added_during'])),\n        'owner': s['new_owner'] if s['transfer'] is not None else s['owner'],\n        'pending': [[r[0],None if r[1]==s['relinquished_owner'] else r[1]] for r in s['captures']],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': ['new'], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': 'scope', 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': 'scope', 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': None, 'pending': 2, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one'], 'reentrant': ['a', 'y', 'x'], 'owner': None, 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [], 'closed': False, 'added': 'new', 'transfer': 'a', 'errors': [], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 2, 'wave_remaining': [], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': False, 'added': None, 'transfer': 'missing', 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': [], 'reentrant': ['a', 'b', 'x'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': True, 'added': None, 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one'], 'reentrant': ['a', 'b', 'x'], 'owner': 'scope', 'pending': [['c', None]]}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 2: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': ['new'], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one', 'two'], 'disposing': False, 'completed': False, 'owner': 'scope', 'new_owner': None, 'pending': 4, 'wave_remaining': [], 'added_during': ['x'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': ['c', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': ['one', 'two'], 'reentrant': ['x'], 'owner': 'scope', 'pending': []}), ({'stack': [], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': [], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 4, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': ['a', 'b', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': None, 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 4, 'wave_remaining': [], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': [], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['y', 'x'], 'owner': 'other', 'pending': [['c', None]]}), ({'stack': [['a', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': [], 'added_during': ['x'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one'], 'reentrant': ['x'], 'owner': None, 'pending': [['c', None]]}), ({'stack': [], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': [], 'owner': 'other', 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 4, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 3: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 6, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': [], 'store_added': ['new'], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': True, 'added': 'new', 'transfer': None, 'errors': [], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 6, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 6, 'wave_remaining': ['a'], 'added_during': [], 'captures': [], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one'], 'reentrant': ['a'], 'owner': None, 'pending': []}), ({'stack': [['a', False]], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one'], 'disposing': True, 'completed': False, 'owner': 'scope', 'new_owner': 'other', 'pending': 6, 'wave_remaining': [], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': ['a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one'], 'reentrant': ['y', 'x'], 'owner': 'other', 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': [], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': ['a'], 'retained': [], 'already_run': [], 'errors': ['one'], 'reentrant': ['y', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [], 'closed': True, 'added': 'new', 'transfer': None, 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': None, 'pending': []}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 6, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 4: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': 'scope', 'new_owner': None, 'pending': 0, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': ['new'], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': False, 'owner': 'scope', 'new_owner': 'other', 'pending': 8, 'wave_remaining': ['a'], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': ['one'], 'reentrant': ['a'], 'owner': 'scope', 'pending': []}), ({'stack': [['a', False]], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': [], 'reentrant': ['a', 'b'], 'owner': None, 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 8, 'wave_remaining': [], 'added_during': ['x'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': [], 'reentrant': ['x'], 'owner': None, 'pending': [['c', None]]}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': [], 'disposing': False, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': [], 'reentrant': ['a', 'b'], 'owner': 'scope', 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': ['a'], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 8, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 5: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': [], 'store_added': ['new'], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': 'other', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': True, 'added': 'new', 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': 'scope', 'new_owner': None, 'pending': 0, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': [], 'reentrant': ['a', 'y', 'x'], 'owner': 'scope', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [], 'closed': True, 'added': None, 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 10, 'wave_remaining': ['a', 'b'], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'x'], 'owner': 'other', 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': True, 'added': None, 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 10, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})]}\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":"5d9b26d043d528542e7a8eb8f171891bde40f015c108cc585e329e220aa59b0c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'order': list(dict.fromkeys(r[0] for r in reversed(s['stack']) if not r[1] and r[0]!=s['transfer'])),\n        'immediate': [s['added']] if s['closed'] and s['added'] is not None else [],\n        'store_added': [s['added']] if not s['closed'] and s['added'] is not None else [],\n        'transferred': [r[0] for r in s['stack'] if r[0]==s['transfer']],\n        'retained': [] if s['transfer'] is not None else list(s['stack']),\n        'already_run': [k for k in dict.fromkeys(r[0] for r in s['stack']) if any(r[0]==k and r[1] for r in s['stack'])],\n        'errors': list(s['errors']),\n        'reentrant': list(s['wave_remaining'])+list(reversed(s['added_during'])),\n        'owner': s['new_owner'] if s['transfer'] is not None else s['owner'],\n        'pending': [[r[0],None if r[1]==s['relinquished_owner'] else r[1]] for r in s['captures']],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': ['new'], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': 'scope', 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': 'scope', 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': None, 'pending': 2, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one'], 'reentrant': ['a', 'y', 'x'], 'owner': None, 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [], 'closed': False, 'added': 'new', 'transfer': 'a', 'errors': [], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 2, 'wave_remaining': [], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': False, 'added': None, 'transfer': 'missing', 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': [], 'reentrant': ['a', 'b', 'x'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': True, 'added': None, 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one'], 'reentrant': ['a', 'b', 'x'], 'owner': 'scope', 'pending': [['c', None]]}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 2: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': ['new'], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one', 'two'], 'disposing': False, 'completed': False, 'owner': 'scope', 'new_owner': None, 'pending': 4, 'wave_remaining': [], 'added_during': ['x'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': ['c', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': ['one', 'two'], 'reentrant': ['x'], 'owner': 'scope', 'pending': []}), ({'stack': [], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': [], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 4, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': ['a', 'b', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': None, 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 4, 'wave_remaining': [], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': [], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['y', 'x'], 'owner': 'other', 'pending': [['c', None]]}), ({'stack': [['a', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': [], 'added_during': ['x'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one'], 'reentrant': ['x'], 'owner': None, 'pending': [['c', None]]}), ({'stack': [], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': [], 'owner': 'other', 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 4, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 3: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 6, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': [], 'store_added': ['new'], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': True, 'added': 'new', 'transfer': None, 'errors': [], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 6, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 6, 'wave_remaining': ['a'], 'added_during': [], 'captures': [], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one'], 'reentrant': ['a'], 'owner': None, 'pending': []}), ({'stack': [['a', False]], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one'], 'disposing': True, 'completed': False, 'owner': 'scope', 'new_owner': 'other', 'pending': 6, 'wave_remaining': [], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': ['a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one'], 'reentrant': ['y', 'x'], 'owner': 'other', 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': [], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': ['a'], 'retained': [], 'already_run': [], 'errors': ['one'], 'reentrant': ['y', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [], 'closed': True, 'added': 'new', 'transfer': None, 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': None, 'pending': []}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 6, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 4: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': 'scope', 'new_owner': None, 'pending': 0, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': ['new'], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': False, 'owner': 'scope', 'new_owner': 'other', 'pending': 8, 'wave_remaining': ['a'], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': ['one'], 'reentrant': ['a'], 'owner': 'scope', 'pending': []}), ({'stack': [['a', False]], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': [], 'reentrant': ['a', 'b'], 'owner': None, 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 8, 'wave_remaining': [], 'added_during': ['x'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': [], 'reentrant': ['x'], 'owner': None, 'pending': [['c', None]]}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': [], 'disposing': False, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': [], 'reentrant': ['a', 'b'], 'owner': 'scope', 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': ['a'], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 8, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 5: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': [], 'store_added': ['new'], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': 'other', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': True, 'added': 'new', 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': 'scope', 'new_owner': None, 'pending': 0, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': [], 'reentrant': ['a', 'y', 'x'], 'owner': 'scope', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [], 'closed': True, 'added': None, 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 10, 'wave_remaining': ['a', 'b'], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'x'], 'owner': 'other', 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': True, 'added': None, 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 10, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})]}\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":"110986e6a586ee85f7a0864ca251a5176ece729a2ea2598cadb8696b0495a015","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'order': list(dict.fromkeys(r[0] for r in reversed(s['stack']) if not r[1] and r[0]!=s['transfer'])),\n        'immediate': [s['added']] if s['closed'] and s['added'] is not None else [],\n        'store_added': [s['added']] if not s['closed'] and s['added'] is not None else [],\n        'transferred': [r[0] for r in s['stack'] if r[0]==s['transfer']],\n        'retained': [r for r in s['stack'] if r[0]!=s['transfer']],\n        'already_run': [k for k in dict.fromkeys(r[0] for r in s['stack']) if any(r[0]==k and r[1] for r in s['stack'])],\n        'errors': list(s['errors']),\n        'reentrant': list(s['wave_remaining'])+list(reversed(s['added_during'])),\n        'owner': s['new_owner'] if s['transfer'] is not None else s['owner'],\n        'pending': [[r[0],None if r[1]==s['relinquished_owner'] else r[1]] for r in s['captures']],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': ['new'], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': 'scope', 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': 'scope', 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': None, 'pending': 2, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one'], 'reentrant': ['a', 'y', 'x'], 'owner': None, 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [], 'closed': False, 'added': 'new', 'transfer': 'a', 'errors': [], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 2, 'wave_remaining': [], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': False, 'added': None, 'transfer': 'missing', 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': [], 'reentrant': ['a', 'b', 'x'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': True, 'added': None, 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one'], 'reentrant': ['a', 'b', 'x'], 'owner': 'scope', 'pending': [['c', None]]}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 2, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 2: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': ['new'], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one', 'two'], 'disposing': False, 'completed': False, 'owner': 'scope', 'new_owner': None, 'pending': 4, 'wave_remaining': [], 'added_during': ['x'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': ['c', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': ['one', 'two'], 'reentrant': ['x'], 'owner': 'scope', 'pending': []}), ({'stack': [], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': [], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 4, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': ['a', 'b', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': None, 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 4, 'wave_remaining': [], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': [], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['y', 'x'], 'owner': 'other', 'pending': [['c', None]]}), ({'stack': [['a', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': [], 'added_during': ['x'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one'], 'reentrant': ['x'], 'owner': None, 'pending': [['c', None]]}), ({'stack': [], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': [], 'owner': 'other', 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 4, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 3: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 6, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': [], 'store_added': ['new'], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': True, 'added': 'new', 'transfer': None, 'errors': [], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 6, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 6, 'wave_remaining': ['a'], 'added_during': [], 'captures': [], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one'], 'reentrant': ['a'], 'owner': None, 'pending': []}), ({'stack': [['a', False]], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one'], 'disposing': True, 'completed': False, 'owner': 'scope', 'new_owner': 'other', 'pending': 6, 'wave_remaining': [], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': ['a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one'], 'reentrant': ['y', 'x'], 'owner': 'other', 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': [], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': ['a'], 'retained': [], 'already_run': [], 'errors': ['one'], 'reentrant': ['y', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [], 'closed': True, 'added': 'new', 'transfer': None, 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': None, 'pending': []}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 6, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 4: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': 'scope', 'new_owner': None, 'pending': 0, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': ['new'], 'store_added': [], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': ['one'], 'disposing': False, 'completed': False, 'owner': 'scope', 'new_owner': 'other', 'pending': 8, 'wave_remaining': ['a'], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': ['one'], 'reentrant': ['a'], 'owner': 'scope', 'pending': []}), ({'stack': [['a', False]], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': [], 'reentrant': ['a', 'b'], 'owner': None, 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 8, 'wave_remaining': [], 'added_during': ['x'], 'captures': [['c', None]], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': [], 'reentrant': ['x'], 'owner': None, 'pending': [['c', None]]}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': None, 'errors': [], 'disposing': False, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': [], 'reentrant': ['a', 'b'], 'owner': 'scope', 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': ['a'], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 8, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})], 5: [({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': False, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['b'], 'immediate': [], 'store_added': ['new'], 'transferred': ['a', 'a'], 'retained': [['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'y', 'x'], 'owner': 'other', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', False], ['b', True], ['a', False], ['c', False]], 'closed': True, 'added': 'new', 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': 'scope', 'new_owner': None, 'pending': 0, 'wave_remaining': ['a'], 'added_during': ['x', 'y'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': ['c', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', False], ['b', True], ['a', False], ['c', False]], 'already_run': ['b'], 'errors': [], 'reentrant': ['a', 'y', 'x'], 'owner': 'scope', 'pending': [['a', None], ['b', 'other']]}), ({'stack': [], 'closed': True, 'added': None, 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': None, 'pending': 10, 'wave_remaining': ['a', 'b'], 'added_during': [], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b'], 'owner': None, 'pending': [['a', None], ['b', 'other']]}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': False, 'added': 'new', 'transfer': 'missing', 'errors': ['one'], 'disposing': True, 'completed': False, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'old'}, {'order': ['b', 'a'], 'immediate': [], 'store_added': ['new'], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [], 'closed': True, 'added': 'new', 'transfer': 'a', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x'], 'captures': [['a', 'old'], ['b', 'other']], 'relinquished_owner': 'missing'}, {'order': [], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'x'], 'owner': 'other', 'pending': [['a', 'old'], ['b', 'other']]}), ({'stack': [['a', False]], 'closed': True, 'added': None, 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': None, 'new_owner': 'other', 'pending': 0, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [], 'relinquished_owner': 'missing'}, {'order': ['a'], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [['a', False]], 'already_run': [], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': []}), ({'stack': [], 'closed': False, 'added': None, 'transfer': None, 'errors': [], 'disposing': False, 'completed': False, 'owner': None, 'new_owner': None, 'pending': 0, 'wave_remaining': [], 'added_during': [], 'captures': [], 'relinquished_owner': 'old'}, {'order': [], 'immediate': [], 'store_added': [], 'transferred': [], 'retained': [], 'already_run': [], 'errors': [], 'reentrant': [], 'owner': None, 'pending': []}), ({'stack': [['a', True], ['a', False], ['b', False], ['b', True]], 'closed': True, 'added': 'new', 'transfer': 'missing', 'errors': ['one', 'two'], 'disposing': True, 'completed': True, 'owner': 'scope', 'new_owner': 'other', 'pending': 10, 'wave_remaining': ['a', 'b'], 'added_during': ['x', 'y'], 'captures': [['c', None]], 'relinquished_owner': 'missing'}, {'order': ['b', 'a'], 'immediate': ['new'], 'store_added': [], 'transferred': [], 'retained': [['a', True], ['a', False], ['b', False], ['b', True]], 'already_run': ['a', 'b'], 'errors': ['one', 'two'], 'reentrant': ['a', 'b', 'y', 'x'], 'owner': 'other', 'pending': [['c', None]]})]}\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-teardown-stack-retained","generated_at":"2026-09-29T14:43:55.098971+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 retained decision from the complete contract: [r for r in s['stack'] if r[0]!=s['transfer']].","root_cause":"The retained decision in the teardown-stack listener model is computed as [] if s['transfer'] is not None else list(s['stack']), losing a required lifecycle condition.","sha256":"98e28ec1969526e8d81a5fe1343df342803cbaeefb851ddd06736a8d05eab71d","title":"Transferring one disposer removes every disposer from the composite · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.566,"exit_code":1,"observations":[{"actual":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b"],"owner":"other","pending":[["a",null],["b","other"]],"reentrant":["a","b","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":[],"transferred":["a","a"]},"check":"transition 0","expected":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b"],"owner":"other","pending":[["a",null],["b","other"]],"reentrant":["a","b","y","x"],"retained":[["b",false],["b",true]],"store_added":[],"transferred":["a","a"]},"passed":false},{"actual":{"already_run":["b"],"errors":["one","two"],"immediate":[],"order":["c","a"],"owner":"scope","pending":[],"reentrant":["a","y","x"],"retained":[["a",false],["b",true],["a",false],["c",false]],"store_added":["new"],"transferred":[]},"check":"transition 1","expected":{"already_run":["b"],"errors":["one","two"],"immediate":[],"order":["c","a"],"owner":"scope","pending":[],"reentrant":["a","y","x"],"retained":[["a",false],["b",true],["a",false],["c",false]],"store_added":["new"],"transferred":[]},"passed":true},{"actual":{"already_run":["a","b"],"errors":["one"],"immediate":[],"order":["b","a"],"owner":null,"pending":[["a","old"],["b","other"]],"reentrant":["a","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":["new"],"transferred":[]},"check":"transition 2","expected":{"already_run":["a","b"],"errors":["one"],"immediate":[],"order":["b","a"],"owner":null,"pending":[["a","old"],["b","other"]],"reentrant":["a","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":["new"],"transferred":[]},"passed":true},{"actual":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":[],"retained":[],"store_added":["new"],"transferred":[]},"check":"transition 3","expected":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":[],"retained":[],"store_added":["new"],"transferred":[]},"passed":true},{"actual":{"already_run":[],"errors":[],"immediate":[],"order":["a"],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":["a","b","x"],"retained":[["a",false]],"store_added":[],"transferred":[]},"check":"transition 4","expected":{"already_run":[],"errors":[],"immediate":[],"order":["a"],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":["a","b","x"],"retained":[["a",false]],"store_added":[],"transferred":[]},"passed":true},{"actual":{"already_run":[],"errors":["one"],"immediate":[],"order":["a"],"owner":"scope","pending":[["c",null]],"reentrant":["a","b","x"],"retained":[["a",false]],"store_added":[],"transferred":[]},"check":"transition 5","expected":{"already_run":[],"errors":["one"],"immediate":[],"order":["a"],"owner":"scope","pending":[["c",null]],"reentrant":["a","b","x"],"retained":[["a",false]],"store_added":[],"transferred":[]},"passed":true},{"actual":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[],"reentrant":[],"retained":[],"store_added":[],"transferred":[]},"check":"transition 6","expected":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[],"reentrant":[],"retained":[],"store_added":[],"transferred":[]},"passed":true},{"actual":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b","a"],"owner":"other","pending":[["c",null]],"reentrant":["a","b","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":[],"transferred":[]},"check":"transition 7","expected":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b","a"],"owner":"other","pending":[["c",null]],"reentrant":["a","b","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":[],"transferred":[]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"order\": [\"b\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [\"a\", \"a\"], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"expected\": {\"order\": [\"b\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [\"a\", \"a\"], \"retained\": [[\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"order\": [\"c\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", false], [\"b\", true], [\"a\", false], [\"c\", false]], \"already_run\": [\"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": \"scope\", \"pending\": []}, \"expected\": {\"order\": [\"c\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", false], [\"b\", true], [\"a\", false], [\"c\", false]], \"already_run\": [\"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": \"scope\", \"pending\": []}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"order\": [\"b\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": null, \"pending\": [[\"a\", \"old\"], [\"b\", \"other\"]]}, \"expected\": {\"order\": [\"b\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": null, \"pending\": [[\"a\", \"old\"], [\"b\", \"other\"]]}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"order\": [], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"expected\": {\"order\": [], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", false]], \"already_run\": [], \"errors\": [], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"expected\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", false]], \"already_run\": [], \"errors\": [], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", false]], \"already_run\": [], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": \"scope\", \"pending\": [[\"c\", null]]}, \"expected\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", false]], \"already_run\": [], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": \"scope\", \"pending\": [[\"c\", null]]}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"order\": [], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": []}, \"expected\": {\"order\": [], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": []}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"order\": [\"b\", \"a\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"c\", null]]}, \"expected\": {\"order\": [\"b\", \"a\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"c\", null]]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.074,"exit_code":1,"observations":[{"actual":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b"],"owner":"other","pending":[["a",null],["b","other"]],"reentrant":["a","b","y","x"],"retained":[],"store_added":[],"transferred":["a","a"]},"check":"transition 0","expected":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b"],"owner":"other","pending":[["a",null],["b","other"]],"reentrant":["a","b","y","x"],"retained":[["b",false],["b",true]],"store_added":[],"transferred":["a","a"]},"passed":false},{"actual":{"already_run":["b"],"errors":["one","two"],"immediate":[],"order":["c","a"],"owner":"scope","pending":[],"reentrant":["a","y","x"],"retained":[["a",false],["b",true],["a",false],["c",false]],"store_added":["new"],"transferred":[]},"check":"transition 1","expected":{"already_run":["b"],"errors":["one","two"],"immediate":[],"order":["c","a"],"owner":"scope","pending":[],"reentrant":["a","y","x"],"retained":[["a",false],["b",true],["a",false],["c",false]],"store_added":["new"],"transferred":[]},"passed":true},{"actual":{"already_run":["a","b"],"errors":["one"],"immediate":[],"order":["b","a"],"owner":null,"pending":[["a","old"],["b","other"]],"reentrant":["a","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":["new"],"transferred":[]},"check":"transition 2","expected":{"already_run":["a","b"],"errors":["one"],"immediate":[],"order":["b","a"],"owner":null,"pending":[["a","old"],["b","other"]],"reentrant":["a","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":["new"],"transferred":[]},"passed":true},{"actual":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":[],"retained":[],"store_added":["new"],"transferred":[]},"check":"transition 3","expected":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":[],"retained":[],"store_added":["new"],"transferred":[]},"passed":true},{"actual":{"already_run":[],"errors":[],"immediate":[],"order":["a"],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":["a","b","x"],"retained":[],"store_added":[],"transferred":[]},"check":"transition 4","expected":{"already_run":[],"errors":[],"immediate":[],"order":["a"],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":["a","b","x"],"retained":[["a",false]],"store_added":[],"transferred":[]},"passed":false},{"actual":{"already_run":[],"errors":["one"],"immediate":[],"order":["a"],"owner":"scope","pending":[["c",null]],"reentrant":["a","b","x"],"retained":[["a",false]],"store_added":[],"transferred":[]},"check":"transition 5","expected":{"already_run":[],"errors":["one"],"immediate":[],"order":["a"],"owner":"scope","pending":[["c",null]],"reentrant":["a","b","x"],"retained":[["a",false]],"store_added":[],"transferred":[]},"passed":true},{"actual":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[],"reentrant":[],"retained":[],"store_added":[],"transferred":[]},"check":"transition 6","expected":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[],"reentrant":[],"retained":[],"store_added":[],"transferred":[]},"passed":true},{"actual":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b","a"],"owner":"other","pending":[["c",null]],"reentrant":["a","b","y","x"],"retained":[],"store_added":[],"transferred":[]},"check":"transition 7","expected":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b","a"],"owner":"other","pending":[["c",null]],"reentrant":["a","b","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":[],"transferred":[]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"order\": [\"b\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [\"a\", \"a\"], \"retained\": [], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"expected\": {\"order\": [\"b\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [\"a\", \"a\"], \"retained\": [[\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"order\": [\"c\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", false], [\"b\", true], [\"a\", false], [\"c\", false]], \"already_run\": [\"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": \"scope\", \"pending\": []}, \"expected\": {\"order\": [\"c\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", false], [\"b\", true], [\"a\", false], [\"c\", false]], \"already_run\": [\"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": \"scope\", \"pending\": []}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"order\": [\"b\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": null, \"pending\": [[\"a\", \"old\"], [\"b\", \"other\"]]}, \"expected\": {\"order\": [\"b\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": null, \"pending\": [[\"a\", \"old\"], [\"b\", \"other\"]]}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"order\": [], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"expected\": {\"order\": [], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"expected\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", false]], \"already_run\": [], \"errors\": [], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", false]], \"already_run\": [], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": \"scope\", \"pending\": [[\"c\", null]]}, \"expected\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", false]], \"already_run\": [], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": \"scope\", \"pending\": [[\"c\", null]]}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"order\": [], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": []}, \"expected\": {\"order\": [], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": []}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"order\": [\"b\", \"a\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [], \"retained\": [], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"c\", null]]}, \"expected\": {\"order\": [\"b\", \"a\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"c\", null]]}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.902,"exit_code":0,"observations":[{"actual":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b"],"owner":"other","pending":[["a",null],["b","other"]],"reentrant":["a","b","y","x"],"retained":[["b",false],["b",true]],"store_added":[],"transferred":["a","a"]},"check":"transition 0","expected":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b"],"owner":"other","pending":[["a",null],["b","other"]],"reentrant":["a","b","y","x"],"retained":[["b",false],["b",true]],"store_added":[],"transferred":["a","a"]},"passed":true},{"actual":{"already_run":["b"],"errors":["one","two"],"immediate":[],"order":["c","a"],"owner":"scope","pending":[],"reentrant":["a","y","x"],"retained":[["a",false],["b",true],["a",false],["c",false]],"store_added":["new"],"transferred":[]},"check":"transition 1","expected":{"already_run":["b"],"errors":["one","two"],"immediate":[],"order":["c","a"],"owner":"scope","pending":[],"reentrant":["a","y","x"],"retained":[["a",false],["b",true],["a",false],["c",false]],"store_added":["new"],"transferred":[]},"passed":true},{"actual":{"already_run":["a","b"],"errors":["one"],"immediate":[],"order":["b","a"],"owner":null,"pending":[["a","old"],["b","other"]],"reentrant":["a","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":["new"],"transferred":[]},"check":"transition 2","expected":{"already_run":["a","b"],"errors":["one"],"immediate":[],"order":["b","a"],"owner":null,"pending":[["a","old"],["b","other"]],"reentrant":["a","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":["new"],"transferred":[]},"passed":true},{"actual":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":[],"retained":[],"store_added":["new"],"transferred":[]},"check":"transition 3","expected":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":[],"retained":[],"store_added":["new"],"transferred":[]},"passed":true},{"actual":{"already_run":[],"errors":[],"immediate":[],"order":["a"],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":["a","b","x"],"retained":[["a",false]],"store_added":[],"transferred":[]},"check":"transition 4","expected":{"already_run":[],"errors":[],"immediate":[],"order":["a"],"owner":null,"pending":[["a",null],["b","other"]],"reentrant":["a","b","x"],"retained":[["a",false]],"store_added":[],"transferred":[]},"passed":true},{"actual":{"already_run":[],"errors":["one"],"immediate":[],"order":["a"],"owner":"scope","pending":[["c",null]],"reentrant":["a","b","x"],"retained":[["a",false]],"store_added":[],"transferred":[]},"check":"transition 5","expected":{"already_run":[],"errors":["one"],"immediate":[],"order":["a"],"owner":"scope","pending":[["c",null]],"reentrant":["a","b","x"],"retained":[["a",false]],"store_added":[],"transferred":[]},"passed":true},{"actual":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[],"reentrant":[],"retained":[],"store_added":[],"transferred":[]},"check":"transition 6","expected":{"already_run":[],"errors":[],"immediate":[],"order":[],"owner":null,"pending":[],"reentrant":[],"retained":[],"store_added":[],"transferred":[]},"passed":true},{"actual":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b","a"],"owner":"other","pending":[["c",null]],"reentrant":["a","b","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":[],"transferred":[]},"check":"transition 7","expected":{"already_run":["a","b"],"errors":["one","two"],"immediate":["new"],"order":["b","a"],"owner":"other","pending":[["c",null]],"reentrant":["a","b","y","x"],"retained":[["a",true],["a",false],["b",false],["b",true]],"store_added":[],"transferred":[]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"order\": [\"b\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [\"a\", \"a\"], \"retained\": [[\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"expected\": {\"order\": [\"b\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [\"a\", \"a\"], \"retained\": [[\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"order\": [\"c\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", false], [\"b\", true], [\"a\", false], [\"c\", false]], \"already_run\": [\"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": \"scope\", \"pending\": []}, \"expected\": {\"order\": [\"c\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", false], [\"b\", true], [\"a\", false], [\"c\", false]], \"already_run\": [\"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": \"scope\", \"pending\": []}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"order\": [\"b\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": null, \"pending\": [[\"a\", \"old\"], [\"b\", \"other\"]]}, \"expected\": {\"order\": [\"b\", \"a\"], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"y\", \"x\"], \"owner\": null, \"pending\": [[\"a\", \"old\"], [\"b\", \"other\"]]}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"order\": [], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"expected\": {\"order\": [], \"immediate\": [], \"store_added\": [\"new\"], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", false]], \"already_run\": [], \"errors\": [], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"expected\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", false]], \"already_run\": [], \"errors\": [], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": null, \"pending\": [[\"a\", null], [\"b\", \"other\"]]}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", false]], \"already_run\": [], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": \"scope\", \"pending\": [[\"c\", null]]}, \"expected\": {\"order\": [\"a\"], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", false]], \"already_run\": [], \"errors\": [\"one\"], \"reentrant\": [\"a\", \"b\", \"x\"], \"owner\": \"scope\", \"pending\": [[\"c\", null]]}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"order\": [], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": []}, \"expected\": {\"order\": [], \"immediate\": [], \"store_added\": [], \"transferred\": [], \"retained\": [], \"already_run\": [], \"errors\": [], \"reentrant\": [], \"owner\": null, \"pending\": []}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"order\": [\"b\", \"a\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"c\", null]]}, \"expected\": {\"order\": [\"b\", \"a\"], \"immediate\": [\"new\"], \"store_added\": [], \"transferred\": [], \"retained\": [[\"a\", true], [\"a\", false], [\"b\", false], [\"b\", true]], \"already_run\": [\"a\", \"b\"], \"errors\": [\"one\", \"two\"], \"reentrant\": [\"a\", \"b\", \"y\", \"x\"], \"owner\": \"other\", \"pending\": [[\"c\", null]]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}