{"abstract":"Inherited observer context overwrites callback-local values; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan an observer callback context frame. The bound receiver is independent from event sender. Explicit None receiver differs from no receiver binding. Context-local values shadow inherited values, including None. An exit restores the saved outer context even after callback failure. Nested callbacks append a trace segment without rewriting the existing path. A disposed binding rejects invocation but still permits frame restoration. A forwarded sender route collapses adjacent duplicate hops only; a later revisit after another sender is meaningful and preserved. Restore only names modified by the callback. Restore their saved values or delete them if previously absent; retain all unmodified current names. Only an exit matching the active top trace span may pop the stack; out-of-order exits are ignored until their span becomes current. A reset token is single-use and context-bound: report used before wrong-context, otherwise permit reset. Restore the nearest remaining receiver frame, scanning nested frames from inner to outer while skipping completed invocation identities. 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: receiver = next((receiver for ident,receiver in reversed(s['receiver_frames']) if ident not in s['finished_frames']),None); bound_none = s['bound']; locals = dict(s['inherited'],**s['local']); null_shadow = s['local']['x'] if 'x' in s['local'] else s['inherited'].get('x'); restore = s['saved'] if s['exited'] else s['current']; trace = s['spans'][:-1] if s['spans'] and s['spans'][-1]==s['exiting_span'] else list(s['spans']); sender = [x for i,x in enumerate(s['sender_route']) if i==0 or x!=s['sender_route'][i-1]]; invoke = not s['disposed'] and not s['exited']; restore_disposed = 'used' if s['reset_token'] in s['used_tokens'] else ('wrong-context' if s['token_context']!=s['active_context'] else 'reset'); unwind_trace = {k:(s['saved_values'][k] if k in s['modified_names'] else s['current_values'][k]) for k in dict.fromkeys(list(s['current_values'])+list(s['saved_values'])) if (k in s['modified_names'] and k in s['saved_values']) or (k not in s['modified_names'] and k in s['current_values'])}","evaluation_group":"s3-listener-callback-context","failed_approach":"The partial repair uses dict(s['local']); a retained regression distinguishes it from the full transition.","family":"s3-listener-callback-context-locals","id":"FA-42801","implementations":{"attempt":{"sha256":"c28c70f086affc86f563095d718a18280b848b027cd2832d8e24193719ac72ff","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'receiver': next((receiver for ident,receiver in reversed(s['receiver_frames']) if ident not in s['finished_frames']),None),\n        'bound_none': s['bound'],\n        'locals': dict(s['local']),\n        'null_shadow': s['local']['x'] if 'x' in s['local'] else s['inherited'].get('x'),\n        'restore': s['saved'] if s['exited'] else s['current'],\n        'trace': s['spans'][:-1] if s['spans'] and s['spans'][-1]==s['exiting_span'] else list(s['spans']),\n        'sender': [x for i,x in enumerate(s['sender_route']) if i==0 or x!=s['sender_route'][i-1]],\n        'invoke': not s['disposed'] and not s['exited'],\n        'restore_disposed': 'used' if s['reset_token'] in s['used_tokens'] else ('wrong-context' if s['token_context']!=s['active_context'] else 'reset'),\n        'unwind_trace': {k:(s['saved_values'][k] if k in s['modified_names'] else s['current_values'][k]) for k in dict.fromkeys(list(s['current_values'])+list(s['saved_values'])) if (k in s['modified_names'] and k in s['saved_values']) or (k not in s['modified_names'] and k in s['current_values'])},\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': ['a'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 0, 'b': 2}}), ({'bound': False, 'receiver': None, 'sender': 'sender', 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 1, 'b': 2}}), ({'bound': False, 'receiver': None, 'sender': 'sender', 'local': {}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': ['a'], 'spans': [], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': 'outer-context', 'trace': [], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': None, 'path': ['root'], 'segment': 'callback', 'disposed': True, 'sender_route': [], 'current_values': {}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root'], 'sender': [], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': False, 'receiver': 'receiver', 'sender': None, 'local': {'x': None}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root', 'a'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'used', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 2: [({'bound': False, 'receiver': 'receiver', 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': 'failure', 'path': [], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {}, 'modified_names': ['a'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'b': 4}}), ({'bound': False, 'receiver': 0, 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'outer-context', 'trace': ['root', 'a'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': 'sender', 'local': {'x': None}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {}, 'modified_names': ['a'], 'spans': ['root'], 'exiting_span': 'missing', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'b': 4}}), ({'bound': True, 'receiver': None, 'sender': None, 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {'a': 0, 'c': 6}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 4}}), ({'bound': False, 'receiver': 'receiver', 'sender': None, 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 4}}), ({'bound': True, 'receiver': 0, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': True, 'error': None, 'path': [], 'segment': None, 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {'a': 0, 'c': 6}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 3: [({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': None, 'path': ['root'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 6}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 6}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'outer-context', 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'used', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': ['a'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'inner-context', 'trace': ['root', 'a'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'used', 'unwind_trace': {}}), ({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': ['a', 'b'], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': None, 'trace': ['root'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}}), ({'bound': True, 'receiver': 0, 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 0, 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 6}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': [], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': [], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 6}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 4: [({'bound': True, 'receiver': None, 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 8}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'inner-context', 'trace': ['root'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': None, 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': [], 'sender': ['a', 'b'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 8}}), ({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'outer-context', 'trace': [], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {'x': None}, 'inherited': {}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': None}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': True, 'restore_disposed': 'used', 'unwind_trace': {'a': 1, 'b': 8}}), ({'bound': False, 'receiver': 0, 'sender': None, 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 0}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 5: [({'bound': True, 'receiver': None, 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 0}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root'], 'segment': 'callback', 'disposed': False, 'sender_route': [], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': ['root', 'a'], 'sender': [], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 1, 'b': 10}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': False, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {'x': 'local'}, 'inherited': {}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'local'}, 'null_shadow': 'local', 'restore': None, 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': True, 'receiver': 0, 'sender': 'sender', 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {}, 'modified_names': ['a'], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': ['a'], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {'b': 10}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': [], 'current_values': {}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root'], 'sender': [], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"56924edc1524fae101c99e85f435b80e02d5616b3beb0122259f3fe58d11b28a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'receiver': next((receiver for ident,receiver in reversed(s['receiver_frames']) if ident not in s['finished_frames']),None),\n        'bound_none': s['bound'],\n        'locals': dict(s['local'],**s['inherited']),\n        'null_shadow': s['local']['x'] if 'x' in s['local'] else s['inherited'].get('x'),\n        'restore': s['saved'] if s['exited'] else s['current'],\n        'trace': s['spans'][:-1] if s['spans'] and s['spans'][-1]==s['exiting_span'] else list(s['spans']),\n        'sender': [x for i,x in enumerate(s['sender_route']) if i==0 or x!=s['sender_route'][i-1]],\n        'invoke': not s['disposed'] and not s['exited'],\n        'restore_disposed': 'used' if s['reset_token'] in s['used_tokens'] else ('wrong-context' if s['token_context']!=s['active_context'] else 'reset'),\n        'unwind_trace': {k:(s['saved_values'][k] if k in s['modified_names'] else s['current_values'][k]) for k in dict.fromkeys(list(s['current_values'])+list(s['saved_values'])) if (k in s['modified_names'] and k in s['saved_values']) or (k not in s['modified_names'] and k in s['current_values'])},\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': ['a'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 0, 'b': 2}}), ({'bound': False, 'receiver': None, 'sender': 'sender', 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 1, 'b': 2}}), ({'bound': False, 'receiver': None, 'sender': 'sender', 'local': {}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': ['a'], 'spans': [], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': 'outer-context', 'trace': [], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': None, 'path': ['root'], 'segment': 'callback', 'disposed': True, 'sender_route': [], 'current_values': {}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root'], 'sender': [], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': False, 'receiver': 'receiver', 'sender': None, 'local': {'x': None}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root', 'a'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'used', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 2: [({'bound': False, 'receiver': 'receiver', 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': 'failure', 'path': [], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {}, 'modified_names': ['a'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'b': 4}}), ({'bound': False, 'receiver': 0, 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'outer-context', 'trace': ['root', 'a'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': 'sender', 'local': {'x': None}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {}, 'modified_names': ['a'], 'spans': ['root'], 'exiting_span': 'missing', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'b': 4}}), ({'bound': True, 'receiver': None, 'sender': None, 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {'a': 0, 'c': 6}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 4}}), ({'bound': False, 'receiver': 'receiver', 'sender': None, 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 4}}), ({'bound': True, 'receiver': 0, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': True, 'error': None, 'path': [], 'segment': None, 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {'a': 0, 'c': 6}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 3: [({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': None, 'path': ['root'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 6}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 6}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'outer-context', 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'used', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': ['a'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'inner-context', 'trace': ['root', 'a'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'used', 'unwind_trace': {}}), ({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': ['a', 'b'], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': None, 'trace': ['root'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}}), ({'bound': True, 'receiver': 0, 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 0, 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 6}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': [], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': [], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 6}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 4: [({'bound': True, 'receiver': None, 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 8}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'inner-context', 'trace': ['root'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': None, 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': [], 'sender': ['a', 'b'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 8}}), ({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'outer-context', 'trace': [], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {'x': None}, 'inherited': {}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': None}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': True, 'restore_disposed': 'used', 'unwind_trace': {'a': 1, 'b': 8}}), ({'bound': False, 'receiver': 0, 'sender': None, 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 0}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 5: [({'bound': True, 'receiver': None, 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 0}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root'], 'segment': 'callback', 'disposed': False, 'sender_route': [], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': ['root', 'a'], 'sender': [], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 1, 'b': 10}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': False, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {'x': 'local'}, 'inherited': {}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'local'}, 'null_shadow': 'local', 'restore': None, 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': True, 'receiver': 0, 'sender': 'sender', 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {}, 'modified_names': ['a'], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': ['a'], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {'b': 10}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': [], 'current_values': {}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root'], 'sender': [], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"57f0a439388a0643e1de1de15d45e02c254c17352189357b257d50c7bc52b0c7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'receiver': next((receiver for ident,receiver in reversed(s['receiver_frames']) if ident not in s['finished_frames']),None),\n        'bound_none': s['bound'],\n        'locals': dict(s['inherited'],**s['local']),\n        'null_shadow': s['local']['x'] if 'x' in s['local'] else s['inherited'].get('x'),\n        'restore': s['saved'] if s['exited'] else s['current'],\n        'trace': s['spans'][:-1] if s['spans'] and s['spans'][-1]==s['exiting_span'] else list(s['spans']),\n        'sender': [x for i,x in enumerate(s['sender_route']) if i==0 or x!=s['sender_route'][i-1]],\n        'invoke': not s['disposed'] and not s['exited'],\n        'restore_disposed': 'used' if s['reset_token'] in s['used_tokens'] else ('wrong-context' if s['token_context']!=s['active_context'] else 'reset'),\n        'unwind_trace': {k:(s['saved_values'][k] if k in s['modified_names'] else s['current_values'][k]) for k in dict.fromkeys(list(s['current_values'])+list(s['saved_values'])) if (k in s['modified_names'] and k in s['saved_values']) or (k not in s['modified_names'] and k in s['current_values'])},\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': ['a'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 0, 'b': 2}}), ({'bound': False, 'receiver': None, 'sender': 'sender', 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 1, 'b': 2}}), ({'bound': False, 'receiver': None, 'sender': 'sender', 'local': {}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': ['a'], 'spans': [], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': 'outer-context', 'trace': [], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': None, 'path': ['root'], 'segment': 'callback', 'disposed': True, 'sender_route': [], 'current_values': {}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root'], 'sender': [], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': False, 'receiver': 'receiver', 'sender': None, 'local': {'x': None}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root', 'a'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'used', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 2}, 'saved_values': {'a': 0, 'c': 3}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 2: [({'bound': False, 'receiver': 'receiver', 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': 'failure', 'path': [], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {}, 'modified_names': ['a'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'b': 4}}), ({'bound': False, 'receiver': 0, 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'outer-context', 'trace': ['root', 'a'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': 'sender', 'local': {'x': None}, 'inherited': {}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {}, 'modified_names': ['a'], 'spans': ['root'], 'exiting_span': 'missing', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'b': 4}}), ({'bound': True, 'receiver': None, 'sender': None, 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {'a': 0, 'c': 6}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 4}}), ({'bound': False, 'receiver': 'receiver', 'sender': None, 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 4}}), ({'bound': True, 'receiver': 0, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': True, 'error': None, 'path': [], 'segment': None, 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 4}, 'saved_values': {'a': 0, 'c': 6}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 3: [({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': None, 'path': ['root'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 6}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 6}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'outer-context', 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'used', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': ['a'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'inner-context', 'trace': ['root', 'a'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'used', 'unwind_trace': {}}), ({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': ['a', 'b'], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': None, 'trace': ['root'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}}), ({'bound': True, 'receiver': 0, 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 0, 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 6}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': [], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': [], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 6}, 'saved_values': {'a': 0, 'c': 9}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 4: [({'bound': True, 'receiver': None, 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 8}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a'], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': 'inner-context', 'trace': ['root'], 'sender': ['a'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': None, 'sender': 'sender', 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': [], 'sender': ['a', 'b'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 1, 'b': 8}}), ({'bound': False, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'b', 'reset_token': 't', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': 'outer-context', 'trace': [], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {'x': None}, 'inherited': {}, 'saved': None, 'current': 'inner-context', 'exited': False, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': ['t'], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': None}, 'null_shadow': None, 'restore': 'inner-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': True, 'restore_disposed': 'used', 'unwind_trace': {'a': 1, 'b': 8}}), ({'bound': False, 'receiver': 0, 'sender': None, 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': ['a', 'b', 'b'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 0}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 8}, 'saved_values': {'a': 0, 'c': 12}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})], 5: [({'bound': True, 'receiver': None, 'sender': None, 'local': {'x': None}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': False, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {'x': None, 'y': 'shared'}, 'null_shadow': None, 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b', 'a'], 'invoke': True, 'restore_disposed': 'wrong-context', 'unwind_trace': {'a': 0}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root'], 'segment': 'callback', 'disposed': False, 'sender_route': [], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {}, 'modified_names': [], 'spans': ['root', 'a', 'b'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': ['root', 'a'], 'sender': [], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 1, 'b': 10}}), ({'bound': True, 'receiver': 'receiver', 'sender': None, 'local': {}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': None, 'current': None, 'exited': False, 'error': 'failure', 'path': ['root', 'child'], 'segment': None, 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'outer', 'y': 'shared'}, 'null_shadow': 'outer', 'restore': None, 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {'x': 'local'}, 'inherited': {}, 'saved': 'outer-context', 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'a', 'b', 'a'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {}, 'modified_names': ['a', 'b'], 'spans': ['root'], 'exiting_span': 'b', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'a', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': False, 'locals': {'x': 'local'}, 'null_shadow': 'local', 'restore': None, 'trace': ['root'], 'sender': ['a', 'b', 'a'], 'invoke': False, 'restore_disposed': 'wrong-context', 'unwind_trace': {}}), ({'bound': True, 'receiver': 0, 'sender': 'sender', 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': 'failure', 'path': ['root'], 'segment': None, 'disposed': False, 'sender_route': ['a'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {}, 'modified_names': ['a'], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': []}, {'receiver': 'B', 'bound_none': True, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': ['a'], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {'b': 10}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': 'outer-context', 'current': None, 'exited': True, 'error': None, 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': [], 'current_values': {}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': [], 'spans': ['root'], 'exiting_span': 'a', 'reset_token': 'new', 'used_tokens': [], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', 'A'], ['inner', 'B']], 'finished_frames': ['inner']}, {'receiver': 'A', 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': 'outer-context', 'trace': ['root'], 'sender': [], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': False, 'receiver': None, 'sender': None, 'local': {}, 'inherited': {}, 'saved': None, 'current': None, 'exited': False, 'error': None, 'path': [], 'segment': None, 'disposed': False, 'sender_route': [], 'current_values': {}, 'saved_values': {}, 'modified_names': [], 'spans': [], 'exiting_span': 'a', 'reset_token': 't', 'used_tokens': [], 'token_context': 'a', 'active_context': 'a', 'receiver_frames': [], 'finished_frames': []}, {'receiver': None, 'bound_none': False, 'locals': {}, 'null_shadow': None, 'restore': None, 'trace': [], 'sender': [], 'invoke': True, 'restore_disposed': 'reset', 'unwind_trace': {}}), ({'bound': True, 'receiver': 'receiver', 'sender': 'sender', 'local': {'x': 'local'}, 'inherited': {'x': 'outer', 'y': 'shared'}, 'saved': 'outer-context', 'current': 'inner-context', 'exited': True, 'error': 'failure', 'path': ['root', 'child'], 'segment': 'callback', 'disposed': True, 'sender_route': ['a', 'b', 'b'], 'current_values': {'a': 1, 'b': 10}, 'saved_values': {'a': 0, 'c': 15}, 'modified_names': ['a', 'b'], 'spans': ['root', 'a', 'b'], 'exiting_span': 'missing', 'reset_token': 'new', 'used_tokens': ['t'], 'token_context': 'b', 'active_context': 'b', 'receiver_frames': [['outer', None], ['inner', 'B']], 'finished_frames': ['outer', 'inner']}, {'receiver': None, 'bound_none': True, 'locals': {'x': 'local', 'y': 'shared'}, 'null_shadow': 'local', 'restore': 'outer-context', 'trace': ['root', 'a', 'b'], 'sender': ['a', 'b'], 'invoke': False, 'restore_disposed': 'reset', 'unwind_trace': {'a': 0}})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic, bounded, single-threaded transition planner. Returned plans model state changes; they do not implement a production event framework. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-listener-callback-context-locals","generated_at":"2026-09-29T14:43:55.337261+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 locals decision from the complete contract: dict(s['inherited'],**s['local']).","root_cause":"The locals decision in the callback-context listener model is computed as dict(s['local'],**s['inherited']), losing a required lifecycle condition.","sha256":"2437b8df24a68e6a1c6f33675b5285b112cdc0eceaa970edf1d1fadc03f41647","title":"Inherited observer context overwrites callback-local values · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":47.916,"exit_code":1,"observations":[{"actual":{"bound_none":false,"invoke":false,"locals":{},"null_shadow":"outer","receiver":"B","restore":null,"restore_disposed":"wrong-context","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":0,"b":2}},"check":"transition 0","expected":{"bound_none":false,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":"outer","receiver":"B","restore":null,"restore_disposed":"wrong-context","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":0,"b":2}},"passed":false},{"actual":{"bound_none":false,"invoke":false,"locals":{"x":null},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"reset","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":1,"b":2}},"check":"transition 1","expected":{"bound_none":false,"invoke":false,"locals":{"x":null,"y":"shared"},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"reset","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":1,"b":2}},"passed":false},{"actual":{"bound_none":false,"invoke":false,"locals":{},"null_shadow":null,"receiver":"A","restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":[],"unwind_trace":{"a":0}},"check":"transition 2","expected":{"bound_none":false,"invoke":false,"locals":{},"null_shadow":null,"receiver":"A","restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":[],"unwind_trace":{"a":0}},"passed":true},{"actual":{"bound_none":true,"invoke":false,"locals":{},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"wrong-context","sender":[],"trace":["root"],"unwind_trace":{}},"check":"transition 3","expected":{"bound_none":true,"invoke":false,"locals":{},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"wrong-context","sender":[],"trace":["root"],"unwind_trace":{}},"passed":true},{"actual":{"bound_none":false,"invoke":false,"locals":{"x":null},"null_shadow":null,"receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":["root","a"],"unwind_trace":{}},"check":"transition 4","expected":{"bound_none":false,"invoke":false,"locals":{"x":null},"null_shadow":null,"receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":["root","a"],"unwind_trace":{}},"passed":true},{"actual":{"bound_none":false,"invoke":false,"locals":{},"null_shadow":"outer","receiver":"B","restore":"inner-context","restore_disposed":"used","sender":["a"],"trace":["root","a","b"],"unwind_trace":{}},"check":"transition 5","expected":{"bound_none":false,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":"outer","receiver":"B","restore":"inner-context","restore_disposed":"used","sender":["a"],"trace":["root","a","b"],"unwind_trace":{}},"passed":false},{"actual":{"bound_none":false,"invoke":true,"locals":{},"null_shadow":null,"receiver":null,"restore":null,"restore_disposed":"reset","sender":[],"trace":[],"unwind_trace":{}},"check":"transition 6","expected":{"bound_none":false,"invoke":true,"locals":{},"null_shadow":null,"receiver":null,"restore":null,"restore_disposed":"reset","sender":[],"trace":[],"unwind_trace":{}},"passed":true},{"actual":{"bound_none":true,"invoke":false,"locals":{"x":"local"},"null_shadow":"local","receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a","b"],"trace":["root","a","b"],"unwind_trace":{"a":0}},"check":"transition 7","expected":{"bound_none":true,"invoke":false,"locals":{"x":"local","y":"shared"},"null_shadow":"local","receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a","b"],"trace":["root","a","b"],"unwind_trace":{"a":0}},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {}, \"null_shadow\": \"outer\", \"restore\": null, \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {\"a\": 0, \"b\": 2}}, \"expected\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": \"outer\", \"restore\": null, \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {\"a\": 0, \"b\": 2}}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": null}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 1, \"b\": 2}}, \"expected\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": null, \"y\": \"shared\"}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 1, \"b\": 2}}, \"passed\": false}, {\"check\": \"transition 2\", \"actual\": {\"receiver\": \"A\", \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"expected\": {\"receiver\": \"A\", \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"receiver\": null, \"bound_none\": true, \"locals\": {}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\"], \"sender\": [], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": null, \"bound_none\": true, \"locals\": {}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\"], \"sender\": [], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {}}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": null}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": null}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {}, \"null_shadow\": \"outer\", \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"used\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": \"outer\", \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"used\", \"unwind_trace\": {}}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"receiver\": null, \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": null, \"trace\": [], \"sender\": [], \"invoke\": true, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": null, \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": null, \"trace\": [], \"sender\": [], \"invoke\": true, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"receiver\": null, \"bound_none\": true, \"locals\": {\"x\": \"local\"}, \"null_shadow\": \"local\", \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"expected\": {\"receiver\": null, \"bound_none\": true, \"locals\": {\"x\": \"local\", \"y\": \"shared\"}, \"null_shadow\": \"local\", \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.506,"exit_code":1,"observations":[{"actual":{"bound_none":false,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":"outer","receiver":"B","restore":null,"restore_disposed":"wrong-context","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":0,"b":2}},"check":"transition 0","expected":{"bound_none":false,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":"outer","receiver":"B","restore":null,"restore_disposed":"wrong-context","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":0,"b":2}},"passed":true},{"actual":{"bound_none":false,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"reset","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":1,"b":2}},"check":"transition 1","expected":{"bound_none":false,"invoke":false,"locals":{"x":null,"y":"shared"},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"reset","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":1,"b":2}},"passed":false},{"actual":{"bound_none":false,"invoke":false,"locals":{},"null_shadow":null,"receiver":"A","restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":[],"unwind_trace":{"a":0}},"check":"transition 2","expected":{"bound_none":false,"invoke":false,"locals":{},"null_shadow":null,"receiver":"A","restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":[],"unwind_trace":{"a":0}},"passed":true},{"actual":{"bound_none":true,"invoke":false,"locals":{},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"wrong-context","sender":[],"trace":["root"],"unwind_trace":{}},"check":"transition 3","expected":{"bound_none":true,"invoke":false,"locals":{},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"wrong-context","sender":[],"trace":["root"],"unwind_trace":{}},"passed":true},{"actual":{"bound_none":false,"invoke":false,"locals":{"x":null},"null_shadow":null,"receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":["root","a"],"unwind_trace":{}},"check":"transition 4","expected":{"bound_none":false,"invoke":false,"locals":{"x":null},"null_shadow":null,"receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":["root","a"],"unwind_trace":{}},"passed":true},{"actual":{"bound_none":false,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":"outer","receiver":"B","restore":"inner-context","restore_disposed":"used","sender":["a"],"trace":["root","a","b"],"unwind_trace":{}},"check":"transition 5","expected":{"bound_none":false,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":"outer","receiver":"B","restore":"inner-context","restore_disposed":"used","sender":["a"],"trace":["root","a","b"],"unwind_trace":{}},"passed":true},{"actual":{"bound_none":false,"invoke":true,"locals":{},"null_shadow":null,"receiver":null,"restore":null,"restore_disposed":"reset","sender":[],"trace":[],"unwind_trace":{}},"check":"transition 6","expected":{"bound_none":false,"invoke":true,"locals":{},"null_shadow":null,"receiver":null,"restore":null,"restore_disposed":"reset","sender":[],"trace":[],"unwind_trace":{}},"passed":true},{"actual":{"bound_none":true,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":"local","receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a","b"],"trace":["root","a","b"],"unwind_trace":{"a":0}},"check":"transition 7","expected":{"bound_none":true,"invoke":false,"locals":{"x":"local","y":"shared"},"null_shadow":"local","receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a","b"],"trace":["root","a","b"],"unwind_trace":{"a":0}},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": \"outer\", \"restore\": null, \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {\"a\": 0, \"b\": 2}}, \"expected\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": \"outer\", \"restore\": null, \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {\"a\": 0, \"b\": 2}}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 1, \"b\": 2}}, \"expected\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": null, \"y\": \"shared\"}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 1, \"b\": 2}}, \"passed\": false}, {\"check\": \"transition 2\", \"actual\": {\"receiver\": \"A\", \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"expected\": {\"receiver\": \"A\", \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"receiver\": null, \"bound_none\": true, \"locals\": {}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\"], \"sender\": [], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": null, \"bound_none\": true, \"locals\": {}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\"], \"sender\": [], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {}}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": null}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": null}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": \"outer\", \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"used\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": \"outer\", \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"used\", \"unwind_trace\": {}}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"receiver\": null, \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": null, \"trace\": [], \"sender\": [], \"invoke\": true, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": null, \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": null, \"trace\": [], \"sender\": [], \"invoke\": true, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"receiver\": null, \"bound_none\": true, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": \"local\", \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"expected\": {\"receiver\": null, \"bound_none\": true, \"locals\": {\"x\": \"local\", \"y\": \"shared\"}, \"null_shadow\": \"local\", \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.002,"exit_code":0,"observations":[{"actual":{"bound_none":false,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":"outer","receiver":"B","restore":null,"restore_disposed":"wrong-context","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":0,"b":2}},"check":"transition 0","expected":{"bound_none":false,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":"outer","receiver":"B","restore":null,"restore_disposed":"wrong-context","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":0,"b":2}},"passed":true},{"actual":{"bound_none":false,"invoke":false,"locals":{"x":null,"y":"shared"},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"reset","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":1,"b":2}},"check":"transition 1","expected":{"bound_none":false,"invoke":false,"locals":{"x":null,"y":"shared"},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"reset","sender":["a","b","a"],"trace":["root","a","b"],"unwind_trace":{"a":1,"b":2}},"passed":true},{"actual":{"bound_none":false,"invoke":false,"locals":{},"null_shadow":null,"receiver":"A","restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":[],"unwind_trace":{"a":0}},"check":"transition 2","expected":{"bound_none":false,"invoke":false,"locals":{},"null_shadow":null,"receiver":"A","restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":[],"unwind_trace":{"a":0}},"passed":true},{"actual":{"bound_none":true,"invoke":false,"locals":{},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"wrong-context","sender":[],"trace":["root"],"unwind_trace":{}},"check":"transition 3","expected":{"bound_none":true,"invoke":false,"locals":{},"null_shadow":null,"receiver":null,"restore":"inner-context","restore_disposed":"wrong-context","sender":[],"trace":["root"],"unwind_trace":{}},"passed":true},{"actual":{"bound_none":false,"invoke":false,"locals":{"x":null},"null_shadow":null,"receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":["root","a"],"unwind_trace":{}},"check":"transition 4","expected":{"bound_none":false,"invoke":false,"locals":{"x":null},"null_shadow":null,"receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a"],"trace":["root","a"],"unwind_trace":{}},"passed":true},{"actual":{"bound_none":false,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":"outer","receiver":"B","restore":"inner-context","restore_disposed":"used","sender":["a"],"trace":["root","a","b"],"unwind_trace":{}},"check":"transition 5","expected":{"bound_none":false,"invoke":false,"locals":{"x":"outer","y":"shared"},"null_shadow":"outer","receiver":"B","restore":"inner-context","restore_disposed":"used","sender":["a"],"trace":["root","a","b"],"unwind_trace":{}},"passed":true},{"actual":{"bound_none":false,"invoke":true,"locals":{},"null_shadow":null,"receiver":null,"restore":null,"restore_disposed":"reset","sender":[],"trace":[],"unwind_trace":{}},"check":"transition 6","expected":{"bound_none":false,"invoke":true,"locals":{},"null_shadow":null,"receiver":null,"restore":null,"restore_disposed":"reset","sender":[],"trace":[],"unwind_trace":{}},"passed":true},{"actual":{"bound_none":true,"invoke":false,"locals":{"x":"local","y":"shared"},"null_shadow":"local","receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a","b"],"trace":["root","a","b"],"unwind_trace":{"a":0}},"check":"transition 7","expected":{"bound_none":true,"invoke":false,"locals":{"x":"local","y":"shared"},"null_shadow":"local","receiver":null,"restore":"outer-context","restore_disposed":"reset","sender":["a","b"],"trace":["root","a","b"],"unwind_trace":{"a":0}},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": \"outer\", \"restore\": null, \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {\"a\": 0, \"b\": 2}}, \"expected\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": \"outer\", \"restore\": null, \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {\"a\": 0, \"b\": 2}}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": null, \"y\": \"shared\"}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 1, \"b\": 2}}, \"expected\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": null, \"y\": \"shared\"}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\", \"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 1, \"b\": 2}}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"receiver\": \"A\", \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"expected\": {\"receiver\": \"A\", \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"receiver\": null, \"bound_none\": true, \"locals\": {}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\"], \"sender\": [], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": null, \"bound_none\": true, \"locals\": {}, \"null_shadow\": null, \"restore\": \"inner-context\", \"trace\": [\"root\"], \"sender\": [], \"invoke\": false, \"restore_disposed\": \"wrong-context\", \"unwind_trace\": {}}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": null}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": null, \"bound_none\": false, \"locals\": {\"x\": null}, \"null_shadow\": null, \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": \"outer\", \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"used\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": \"B\", \"bound_none\": false, \"locals\": {\"x\": \"outer\", \"y\": \"shared\"}, \"null_shadow\": \"outer\", \"restore\": \"inner-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\"], \"invoke\": false, \"restore_disposed\": \"used\", \"unwind_trace\": {}}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"receiver\": null, \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": null, \"trace\": [], \"sender\": [], \"invoke\": true, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"expected\": {\"receiver\": null, \"bound_none\": false, \"locals\": {}, \"null_shadow\": null, \"restore\": null, \"trace\": [], \"sender\": [], \"invoke\": true, \"restore_disposed\": \"reset\", \"unwind_trace\": {}}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"receiver\": null, \"bound_none\": true, \"locals\": {\"x\": \"local\", \"y\": \"shared\"}, \"null_shadow\": \"local\", \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"expected\": {\"receiver\": null, \"bound_none\": true, \"locals\": {\"x\": \"local\", \"y\": \"shared\"}, \"null_shadow\": \"local\", \"restore\": \"outer-context\", \"trace\": [\"root\", \"a\", \"b\"], \"sender\": [\"a\", \"b\"], \"invoke\": false, \"restore_disposed\": \"reset\", \"unwind_trace\": {\"a\": 0}}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}