{"abstract":"The reentrancy depth limit is checked after entering the child; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan a nested observer emission with bounded depth. A nested event queues when serialization is enabled; otherwise it opens a child frame if below the limit. Preserve the outer event/context, unwind exactly one frame, and drain deferred events only after the outermost callback completes. A cancelled inner frame never cancels its parent. 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: queue = s['serial'] and s['depth']>0 and s['event'] is not None; enter = s['event'] is not None and not(s['serial'] and s['depth']>0) and s['depth']<s['limit']; outer_event = s['outer']; context = s['context']; unwind = s['frames'][:-1] if s['complete'] else list(s['frames']); drain = list(s['pending']) if s['complete'] and s['depth']<=1 else []; parent_cancel = False; overflow = s['event'] is not None and s['depth']>=s['limit'] and not(s['serial'] and s['depth']>0); next_depth = max(0,s['depth']-int(s['complete'])); queued_order = list(s['pending'])+([s['event']] if s['serial'] and s['depth']>0 and s['event'] is not None else [])","evaluation_group":"s3-listener-reentrant-frame","failed_approach":"The partial repair uses s['event'] is not None and s['depth']<s['limit']; a retained regression distinguishes it from the full transition.","family":"s3-listener-reentrant-frame-enter","id":"FA-41646","implementations":{"attempt":{"sha256":"905ef48a9f2aa0baa44981c5a434973953aa0ccb80046bf02cdd908e1fe2bf16","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'queue': s['serial'] and s['depth']>0 and s['event'] is not None,\n        'enter': s['event'] is not None and s['depth']<s['limit'],\n        'outer_event': s['outer'],\n        'context': s['context'],\n        'unwind': s['frames'][:-1] if s['complete'] else list(s['frames']),\n        'drain': list(s['pending']) if s['complete'] and s['depth']<=1 else [],\n        'parent_cancel': False,\n        'overflow': s['event'] is not None and s['depth']>=s['limit'] and not(s['serial'] and s['depth']>0),\n        'next_depth': max(0,s['depth']-int(s['complete'])),\n        'queued_order': list(s['pending'])+([s['event']] if s['serial'] and s['depth']>0 and s['event'] is not None else []),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 3, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 2, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 4, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': True, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 1, 'limit': 4, 'serial': True, 'pending': [], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': ['inner']}), ({'depth': 1, 'limit': 1, 'serial': True, 'pending': [], 'event': None, 'outer': 'outer', 'context': None, 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': []}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 3, 'limit': 4, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 2, 'queued_order': ['a', 'b']})], 2: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 6, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 5, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 8, 'serial': False, 'pending': [], 'event': 'inner', 'outer': None, 'context': None, 'cancel': False, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': True, 'outer_event': None, 'context': None, 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': []}), ({'depth': 1, 'limit': 8, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': True, 'complete': True, 'frames': []}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 6, 'limit': 1, 'serial': True, 'pending': [], 'event': 'inner', 'outer': None, 'context': None, 'cancel': False, 'complete': False, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 6, 'queued_order': ['inner']}), ({'depth': 1, 'limit': 0, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 1, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 6, 'limit': 8, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 5, 'queued_order': ['a', 'b']})], 3: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 9, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 8, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 1, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': True, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 1, 'limit': 12, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 9, 'limit': 1, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': 'ctx', 'cancel': False, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 8, 'queued_order': ['a', 'b']}), ({'depth': 9, 'limit': 12, 'serial': False, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 9, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 9, 'limit': 12, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 8, 'queued_order': ['a', 'b']})], 4: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 12, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 11, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 16, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 1, 'limit': 16, 'serial': True, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': False, 'complete': False, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': ['inner']}), ({'depth': 0, 'limit': 16, 'serial': False, 'pending': [], 'event': None, 'outer': 'outer', 'context': None, 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': []}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 12, 'limit': 16, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 11, 'queued_order': ['a', 'b']})], 5: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 15, 'limit': 20, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 14, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 15, 'limit': 1, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': False, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 14, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 20, 'serial': True, 'pending': [], 'event': None, 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': []}), ({'depth': 15, 'limit': 1, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 15, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 15, 'limit': 20, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 14, 'queued_order': ['a', 'b']})]}\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":"5ad5c4f7f6ab8ea4b801e6de480f712bc565de08c267e3e32dbaf3a06c54c76e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'queue': s['serial'] and s['depth']>0 and s['event'] is not None,\n        'enter': s['event'] is not None and s['depth']<=s['limit'],\n        'outer_event': s['outer'],\n        'context': s['context'],\n        'unwind': s['frames'][:-1] if s['complete'] else list(s['frames']),\n        'drain': list(s['pending']) if s['complete'] and s['depth']<=1 else [],\n        'parent_cancel': False,\n        'overflow': s['event'] is not None and s['depth']>=s['limit'] and not(s['serial'] and s['depth']>0),\n        'next_depth': max(0,s['depth']-int(s['complete'])),\n        'queued_order': list(s['pending'])+([s['event']] if s['serial'] and s['depth']>0 and s['event'] is not None else []),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 3, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 2, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 4, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': True, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 1, 'limit': 4, 'serial': True, 'pending': [], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': ['inner']}), ({'depth': 1, 'limit': 1, 'serial': True, 'pending': [], 'event': None, 'outer': 'outer', 'context': None, 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': []}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 3, 'limit': 4, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 2, 'queued_order': ['a', 'b']})], 2: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 6, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 5, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 8, 'serial': False, 'pending': [], 'event': 'inner', 'outer': None, 'context': None, 'cancel': False, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': True, 'outer_event': None, 'context': None, 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': []}), ({'depth': 1, 'limit': 8, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': True, 'complete': True, 'frames': []}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 6, 'limit': 1, 'serial': True, 'pending': [], 'event': 'inner', 'outer': None, 'context': None, 'cancel': False, 'complete': False, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 6, 'queued_order': ['inner']}), ({'depth': 1, 'limit': 0, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 1, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 6, 'limit': 8, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 5, 'queued_order': ['a', 'b']})], 3: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 9, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 8, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 1, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': True, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 1, 'limit': 12, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 9, 'limit': 1, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': 'ctx', 'cancel': False, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 8, 'queued_order': ['a', 'b']}), ({'depth': 9, 'limit': 12, 'serial': False, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 9, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 9, 'limit': 12, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 8, 'queued_order': ['a', 'b']})], 4: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 12, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 11, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 16, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 1, 'limit': 16, 'serial': True, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': False, 'complete': False, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': ['inner']}), ({'depth': 0, 'limit': 16, 'serial': False, 'pending': [], 'event': None, 'outer': 'outer', 'context': None, 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': []}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 12, 'limit': 16, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 11, 'queued_order': ['a', 'b']})], 5: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 15, 'limit': 20, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 14, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 15, 'limit': 1, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': False, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 14, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 20, 'serial': True, 'pending': [], 'event': None, 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': []}), ({'depth': 15, 'limit': 1, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 15, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 15, 'limit': 20, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 14, 'queued_order': ['a', 'b']})]}\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":"6b06cf57d9736de2502a2117aba5b84b0d4adc07bb216be4ea9ddbdfc774451e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'queue': s['serial'] and s['depth']>0 and s['event'] is not None,\n        'enter': s['event'] is not None and not(s['serial'] and s['depth']>0) and s['depth']<s['limit'],\n        'outer_event': s['outer'],\n        'context': s['context'],\n        'unwind': s['frames'][:-1] if s['complete'] else list(s['frames']),\n        'drain': list(s['pending']) if s['complete'] and s['depth']<=1 else [],\n        'parent_cancel': False,\n        'overflow': s['event'] is not None and s['depth']>=s['limit'] and not(s['serial'] and s['depth']>0),\n        'next_depth': max(0,s['depth']-int(s['complete'])),\n        'queued_order': list(s['pending'])+([s['event']] if s['serial'] and s['depth']>0 and s['event'] is not None else []),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 3, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 2, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 4, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': True, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 1, 'limit': 4, 'serial': True, 'pending': [], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': ['inner']}), ({'depth': 1, 'limit': 1, 'serial': True, 'pending': [], 'event': None, 'outer': 'outer', 'context': None, 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': []}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 3, 'limit': 4, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 2, 'queued_order': ['a', 'b']})], 2: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 6, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 5, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 8, 'serial': False, 'pending': [], 'event': 'inner', 'outer': None, 'context': None, 'cancel': False, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': True, 'outer_event': None, 'context': None, 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': []}), ({'depth': 1, 'limit': 8, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': True, 'complete': True, 'frames': []}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 6, 'limit': 1, 'serial': True, 'pending': [], 'event': 'inner', 'outer': None, 'context': None, 'cancel': False, 'complete': False, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 6, 'queued_order': ['inner']}), ({'depth': 1, 'limit': 0, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 1, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 6, 'limit': 8, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 5, 'queued_order': ['a', 'b']})], 3: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 9, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 8, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 1, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': True, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 1, 'limit': 12, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 9, 'limit': 1, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': 'ctx', 'cancel': False, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 8, 'queued_order': ['a', 'b']}), ({'depth': 9, 'limit': 12, 'serial': False, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 9, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 9, 'limit': 12, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 8, 'queued_order': ['a', 'b']})], 4: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 12, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 11, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 16, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 1, 'limit': 16, 'serial': True, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': None, 'cancel': False, 'complete': False, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 1, 'queued_order': ['inner']}), ({'depth': 0, 'limit': 16, 'serial': False, 'pending': [], 'event': None, 'outer': 'outer', 'context': None, 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': None, 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': []}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 12, 'limit': 16, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 11, 'queued_order': ['a', 'b']})], 5: [({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root', 'child'], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 15, 'limit': 20, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 14, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 0, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': 'outer', 'context': 'ctx', 'cancel': True, 'complete': True, 'frames': ['root']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': ['a', 'b'], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': ['a', 'b']}), ({'depth': 15, 'limit': 1, 'serial': True, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': False, 'complete': True, 'frames': ['root', 'child']}, {'queue': True, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 14, 'queued_order': ['a', 'b', 'inner']}), ({'depth': 0, 'limit': 20, 'serial': True, 'pending': [], 'event': None, 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 0, 'queued_order': []}), ({'depth': 15, 'limit': 1, 'serial': False, 'pending': ['a', 'b'], 'event': 'inner', 'outer': None, 'context': 'ctx', 'cancel': True, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': None, 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 15, 'queued_order': ['a', 'b']}), ({'depth': 0, 'limit': 0, 'serial': False, 'pending': [], 'event': 'inner', 'outer': 'outer', 'context': 'ctx', 'cancel': False, 'complete': False, 'frames': []}, {'queue': False, 'enter': False, 'outer_event': 'outer', 'context': 'ctx', 'unwind': [], 'drain': [], 'parent_cancel': False, 'overflow': True, 'next_depth': 0, 'queued_order': []}), ({'depth': 15, 'limit': 20, 'serial': True, 'pending': ['a', 'b'], 'event': None, 'outer': None, 'context': None, 'cancel': True, 'complete': True, 'frames': ['root', 'child']}, {'queue': False, 'enter': False, 'outer_event': None, 'context': None, 'unwind': ['root'], 'drain': [], 'parent_cancel': False, 'overflow': False, 'next_depth': 14, 'queued_order': ['a', 'b']})]}\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-reentrant-frame-enter","generated_at":"2026-09-29T14:43:43.445760+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 enter decision from the complete contract: s['event'] is not None and not(s['serial'] and s['depth']>0) and s['depth']<s['limit'].","root_cause":"The enter decision in the reentrant-frame listener model is computed as s['event'] is not None and s['depth']<=s['limit'], losing a required lifecycle condition.","sha256":"e271a3aeaaed8e5d0a694ef48b518ec2290a83d0902d8148810af16941819f08","title":"The reentrancy depth limit is checked after entering the child · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":51.491,"exit_code":1,"observations":[{"actual":{"context":"ctx","drain":[],"enter":false,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root","child"]},"check":"transition 0","expected":{"context":"ctx","drain":[],"enter":false,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root","child"]},"passed":true},{"actual":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":true,"queued_order":["a","b","inner"],"unwind":["root"]},"check":"transition 1","expected":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":true,"queued_order":["a","b","inner"],"unwind":["root"]},"passed":true},{"actual":{"context":null,"drain":["a","b"],"enter":true,"next_depth":0,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"check":"transition 2","expected":{"context":null,"drain":["a","b"],"enter":true,"next_depth":0,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"passed":true},{"actual":{"context":"ctx","drain":[],"enter":true,"next_depth":1,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":true,"queued_order":["inner"],"unwind":["root"]},"check":"transition 3","expected":{"context":"ctx","drain":[],"enter":false,"next_depth":1,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":true,"queued_order":["inner"],"unwind":["root"]},"passed":false},{"actual":{"context":null,"drain":[],"enter":false,"next_depth":1,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root"]},"check":"transition 4","expected":{"context":null,"drain":[],"enter":false,"next_depth":1,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root"]},"passed":true},{"actual":{"context":null,"drain":[],"enter":false,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root","child"]},"check":"transition 5","expected":{"context":null,"drain":[],"enter":false,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root","child"]},"passed":true},{"actual":{"context":"ctx","drain":[],"enter":false,"next_depth":0,"outer_event":"outer","overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":[]},"check":"transition 6","expected":{"context":"ctx","drain":[],"enter":false,"next_depth":0,"outer_event":"outer","overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":[]},"passed":true},{"actual":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"check":"transition 7","expected":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"queue\": true, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\", \"inner\"]}, \"expected\": {\"queue\": true, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\", \"inner\"]}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"queue\": false, \"enter\": true, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [\"a\", \"b\"], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"expected\": {\"queue\": false, \"enter\": true, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [\"a\", \"b\"], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"queue\": true, \"enter\": true, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": [\"inner\"]}, \"expected\": {\"queue\": true, \"enter\": false, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": [\"inner\"]}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": []}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": []}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": \"outer\", \"context\": \"ctx\", \"unwind\": [], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": \"outer\", \"context\": \"ctx\", \"unwind\": [], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\"]}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\"]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":49.727,"exit_code":1,"observations":[{"actual":{"context":"ctx","drain":[],"enter":true,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root","child"]},"check":"transition 0","expected":{"context":"ctx","drain":[],"enter":false,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root","child"]},"passed":false},{"actual":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":true,"queued_order":["a","b","inner"],"unwind":["root"]},"check":"transition 1","expected":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":true,"queued_order":["a","b","inner"],"unwind":["root"]},"passed":true},{"actual":{"context":null,"drain":["a","b"],"enter":true,"next_depth":0,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"check":"transition 2","expected":{"context":null,"drain":["a","b"],"enter":true,"next_depth":0,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"passed":true},{"actual":{"context":"ctx","drain":[],"enter":true,"next_depth":1,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":true,"queued_order":["inner"],"unwind":["root"]},"check":"transition 3","expected":{"context":"ctx","drain":[],"enter":false,"next_depth":1,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":true,"queued_order":["inner"],"unwind":["root"]},"passed":false},{"actual":{"context":null,"drain":[],"enter":false,"next_depth":1,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root"]},"check":"transition 4","expected":{"context":null,"drain":[],"enter":false,"next_depth":1,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root"]},"passed":true},{"actual":{"context":null,"drain":[],"enter":true,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root","child"]},"check":"transition 5","expected":{"context":null,"drain":[],"enter":false,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root","child"]},"passed":false},{"actual":{"context":"ctx","drain":[],"enter":true,"next_depth":0,"outer_event":"outer","overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":[]},"check":"transition 6","expected":{"context":"ctx","drain":[],"enter":false,"next_depth":0,"outer_event":"outer","overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":[]},"passed":false},{"actual":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"check":"transition 7","expected":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"queue\": false, \"enter\": true, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"queue\": true, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\", \"inner\"]}, \"expected\": {\"queue\": true, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\", \"inner\"]}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"queue\": false, \"enter\": true, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [\"a\", \"b\"], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"expected\": {\"queue\": false, \"enter\": true, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [\"a\", \"b\"], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"queue\": true, \"enter\": true, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": [\"inner\"]}, \"expected\": {\"queue\": true, \"enter\": false, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": [\"inner\"]}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": []}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": []}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"queue\": false, \"enter\": true, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"queue\": false, \"enter\": true, \"outer_event\": \"outer\", \"context\": \"ctx\", \"unwind\": [], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": \"outer\", \"context\": \"ctx\", \"unwind\": [], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"passed\": false}, {\"check\": \"transition 7\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\"]}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\"]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":51.613,"exit_code":0,"observations":[{"actual":{"context":"ctx","drain":[],"enter":false,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root","child"]},"check":"transition 0","expected":{"context":"ctx","drain":[],"enter":false,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root","child"]},"passed":true},{"actual":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":true,"queued_order":["a","b","inner"],"unwind":["root"]},"check":"transition 1","expected":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":true,"queued_order":["a","b","inner"],"unwind":["root"]},"passed":true},{"actual":{"context":null,"drain":["a","b"],"enter":true,"next_depth":0,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"check":"transition 2","expected":{"context":null,"drain":["a","b"],"enter":true,"next_depth":0,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"passed":true},{"actual":{"context":"ctx","drain":[],"enter":false,"next_depth":1,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":true,"queued_order":["inner"],"unwind":["root"]},"check":"transition 3","expected":{"context":"ctx","drain":[],"enter":false,"next_depth":1,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":true,"queued_order":["inner"],"unwind":["root"]},"passed":true},{"actual":{"context":null,"drain":[],"enter":false,"next_depth":1,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root"]},"check":"transition 4","expected":{"context":null,"drain":[],"enter":false,"next_depth":1,"outer_event":"outer","overflow":false,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root"]},"passed":true},{"actual":{"context":null,"drain":[],"enter":false,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root","child"]},"check":"transition 5","expected":{"context":null,"drain":[],"enter":false,"next_depth":0,"outer_event":null,"overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":["root","child"]},"passed":true},{"actual":{"context":"ctx","drain":[],"enter":false,"next_depth":0,"outer_event":"outer","overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":[]},"check":"transition 6","expected":{"context":"ctx","drain":[],"enter":false,"next_depth":0,"outer_event":"outer","overflow":true,"parent_cancel":false,"queue":false,"queued_order":[],"unwind":[]},"passed":true},{"actual":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"check":"transition 7","expected":{"context":null,"drain":[],"enter":false,"next_depth":2,"outer_event":null,"overflow":false,"parent_cancel":false,"queue":false,"queued_order":["a","b"],"unwind":["root"]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"queue\": true, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\", \"inner\"]}, \"expected\": {\"queue\": true, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\", \"inner\"]}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"queue\": false, \"enter\": true, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [\"a\", \"b\"], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"expected\": {\"queue\": false, \"enter\": true, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [\"a\", \"b\"], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 0, \"queued_order\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"queue\": true, \"enter\": false, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": [\"inner\"]}, \"expected\": {\"queue\": true, \"enter\": false, \"outer_event\": null, \"context\": \"ctx\", \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": [\"inner\"]}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": []}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": \"outer\", \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 1, \"queued_order\": []}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\", \"child\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": \"outer\", \"context\": \"ctx\", \"unwind\": [], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": \"outer\", \"context\": \"ctx\", \"unwind\": [], \"drain\": [], \"parent_cancel\": false, \"overflow\": true, \"next_depth\": 0, \"queued_order\": []}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\"]}, \"expected\": {\"queue\": false, \"enter\": false, \"outer_event\": null, \"context\": null, \"unwind\": [\"root\"], \"drain\": [], \"parent_cancel\": false, \"overflow\": false, \"next_depth\": 2, \"queued_order\": [\"a\", \"b\"]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}