{"abstract":"Switch inner error leaves its outer subscription running; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan switch-to-latest observer ownership. A new outer value replaces the active inner and advances an inner generation. Late values from the replaced generation are suppressed. Outer completion waits for the current inner, while an inner completion alone does not close a live outer. An error closes both. Dispose the old inner before starting the replacement, even if it emitted no value. Completion considers only active inner records belonging to the current generation; stale active records and current inactive records do not block it. Inputs are finite state snapshots, including transitional and stale states; output fields are the exact independent actions/metadata defined by the corrected expression table. Numeric fixture capacities and counts vary with N.\nField definitions, each independently computed from the input snapshot: replace = s['outer_value'] and s['inner_active']; generation = s['generation']+int(s['outer_value']); accept = s['event_generation']==s['generation'] and s['inner_active'] and not s['cancel'] and s['error'] is None; outer_complete = s['outer_done'] and not any(active for generation,active in s['inner_records'] if generation==s['generation']); inner_complete = s['inner_done'] and s['outer_done']; start = s['outer_value'] and not s['outer_done'] and not s['cancel'] and s['error'] is None; transition_order = ['dispose','start'] if s['outer_value'] and s['inner_active'] else (['start'] if s['outer_value'] else []); active_after_done = s['inner_active'] and not(s['inner_done'] and s['event_generation']==s['generation']); dispose_outer = s['error'] is not None or s['cancel']; late_value = s['event_generation']!=s['generation']","evaluation_group":"s3-listener-switch-inner","failed_approach":"The partial repair uses s['error'] is not None; a retained regression distinguishes it from the full transition.","family":"s3-listener-switch-inner-dispose_outer","id":"FA-42581","implementations":{"attempt":{"sha256":"5f1e2e45de484e055e3d43f707e8eea742687583e238debeef4ded8c7df0ee7f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'replace': s['outer_value'] and s['inner_active'],\n        'generation': s['generation']+int(s['outer_value']),\n        'accept': s['event_generation']==s['generation'] and s['inner_active'] and not s['cancel'] and s['error'] is None,\n        'outer_complete': s['outer_done'] and not any(active for generation,active in s['inner_records'] if generation==s['generation']),\n        'inner_complete': s['inner_done'] and s['outer_done'],\n        'start': s['outer_value'] and not s['outer_done'] and not s['cancel'] and s['error'] is None,\n        'transition_order': ['dispose','start'] if s['outer_value'] and s['inner_active'] else (['start'] if s['outer_value'] else []),\n        'active_after_done': s['inner_active'] and not(s['inner_done'] and s['event_generation']==s['generation']),\n        'dispose_outer': s['error'] is not None,\n        'late_value': s['event_generation']!=s['generation'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 2, 'event_generation': 2, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False], [2, True]]}, {'replace': True, 'generation': 3, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 2, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, False], [2, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 2, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 2, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, True], [2, False]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': False, 'generation': 2, 'event_generation': 2, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 2, 'accept': True, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': False, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 2, 'event_generation': 2, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, True], [2, False]]}, {'replace': False, 'generation': 2, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 2, 'event_generation': 2, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 3, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 2: [({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 4, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, True], [4, False]]}, {'replace': False, 'generation': 4, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 4, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False], [4, True]]}, {'replace': False, 'generation': 5, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 0, 'event_generation': 4, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, True], [4, False]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, False], [4, True]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 4, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False], [4, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 4, 'event_generation': 4, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 5, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 3: [({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False], [6, True]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 6, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, False], [6, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': True, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False], [6, True]]}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 6, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, True], [6, False]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, True], [6, False]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, False], [6, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 6, 'event_generation': 6, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 7, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 4: [({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 8, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False], [8, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 8, 'event_generation': 8, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 8, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 8, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, True], [8, False]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 8, 'event_generation': 8, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 9, 'accept': True, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': False, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 8, 'event_generation': 8, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 9, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 5: [({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': False, 'generation': 10, 'event_generation': 10, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, True], [10, False]]}, {'replace': True, 'generation': 11, 'accept': False, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 10, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, False], [10, True]]}, {'replace': False, 'generation': 10, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': True, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, False], [10, True]]}, {'replace': True, 'generation': 1, 'accept': True, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 10, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, True], [10, False]]}, {'replace': True, 'generation': 11, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 0, 'event_generation': 10, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 10, 'event_generation': 10, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 11, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})]}\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":"77a5ad45530bb4d8f2458c72f43ed4376089a3e4ffdd97e1c4647d359f26e3b6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'replace': s['outer_value'] and s['inner_active'],\n        'generation': s['generation']+int(s['outer_value']),\n        'accept': s['event_generation']==s['generation'] and s['inner_active'] and not s['cancel'] and s['error'] is None,\n        'outer_complete': s['outer_done'] and not any(active for generation,active in s['inner_records'] if generation==s['generation']),\n        'inner_complete': s['inner_done'] and s['outer_done'],\n        'start': s['outer_value'] and not s['outer_done'] and not s['cancel'] and s['error'] is None,\n        'transition_order': ['dispose','start'] if s['outer_value'] and s['inner_active'] else (['start'] if s['outer_value'] else []),\n        'active_after_done': s['inner_active'] and not(s['inner_done'] and s['event_generation']==s['generation']),\n        'dispose_outer': s['cancel'],\n        'late_value': s['event_generation']!=s['generation'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 2, 'event_generation': 2, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False], [2, True]]}, {'replace': True, 'generation': 3, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 2, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, False], [2, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 2, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 2, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, True], [2, False]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': False, 'generation': 2, 'event_generation': 2, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 2, 'accept': True, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': False, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 2, 'event_generation': 2, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, True], [2, False]]}, {'replace': False, 'generation': 2, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 2, 'event_generation': 2, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 3, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 2: [({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 4, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, True], [4, False]]}, {'replace': False, 'generation': 4, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 4, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False], [4, True]]}, {'replace': False, 'generation': 5, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 0, 'event_generation': 4, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, True], [4, False]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, False], [4, True]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 4, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False], [4, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 4, 'event_generation': 4, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 5, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 3: [({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False], [6, True]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 6, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, False], [6, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': True, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False], [6, True]]}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 6, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, True], [6, False]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, True], [6, False]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, False], [6, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 6, 'event_generation': 6, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 7, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 4: [({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 8, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False], [8, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 8, 'event_generation': 8, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 8, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 8, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, True], [8, False]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 8, 'event_generation': 8, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 9, 'accept': True, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': False, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 8, 'event_generation': 8, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 9, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 5: [({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': False, 'generation': 10, 'event_generation': 10, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, True], [10, False]]}, {'replace': True, 'generation': 11, 'accept': False, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 10, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, False], [10, True]]}, {'replace': False, 'generation': 10, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': True, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, False], [10, True]]}, {'replace': True, 'generation': 1, 'accept': True, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 10, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, True], [10, False]]}, {'replace': True, 'generation': 11, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 0, 'event_generation': 10, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 10, 'event_generation': 10, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 11, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})]}\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":"60e215ae62bfd8699595fdd5d4dde1981917260c08f5cb4e9accf02b50f6ae51","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'replace': s['outer_value'] and s['inner_active'],\n        'generation': s['generation']+int(s['outer_value']),\n        'accept': s['event_generation']==s['generation'] and s['inner_active'] and not s['cancel'] and s['error'] is None,\n        'outer_complete': s['outer_done'] and not any(active for generation,active in s['inner_records'] if generation==s['generation']),\n        'inner_complete': s['inner_done'] and s['outer_done'],\n        'start': s['outer_value'] and not s['outer_done'] and not s['cancel'] and s['error'] is None,\n        'transition_order': ['dispose','start'] if s['outer_value'] and s['inner_active'] else (['start'] if s['outer_value'] else []),\n        'active_after_done': s['inner_active'] and not(s['inner_done'] and s['event_generation']==s['generation']),\n        'dispose_outer': s['error'] is not None or s['cancel'],\n        'late_value': s['event_generation']!=s['generation'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 2, 'event_generation': 2, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False], [2, True]]}, {'replace': True, 'generation': 3, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 2, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, False], [2, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 2, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 2, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, True], [2, False]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': False, 'generation': 2, 'event_generation': 2, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 2, 'accept': True, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': False, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 2, 'event_generation': 2, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, True], [2, False]]}, {'replace': False, 'generation': 2, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 2, 'event_generation': 2, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 3, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 2: [({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 4, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, True], [4, False]]}, {'replace': False, 'generation': 4, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 4, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False], [4, True]]}, {'replace': False, 'generation': 5, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 0, 'event_generation': 4, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, True], [4, False]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, False], [4, True]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 4, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False], [4, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 4, 'event_generation': 4, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 5, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 3: [({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, False], [6, True]]}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 6, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, False], [6, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': True, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False], [6, True]]}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 6, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, True], [6, False]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, True], [6, False]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, False], [6, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 6, 'event_generation': 6, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 7, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 4: [({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': True, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 8, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False], [8, True]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 8, 'event_generation': 8, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 8, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': True, 'inner_active': False, 'inner_done': True, 'generation': 0, 'event_generation': 8, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, True], [8, False]]}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': True, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 8, 'event_generation': 8, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 9, 'accept': True, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': False, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 8, 'event_generation': 8, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 9, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})], 5: [({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': False, 'generation': 10, 'event_generation': 10, 'error': 'bad', 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': [[0, True], [10, False]]}, {'replace': True, 'generation': 11, 'accept': False, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': True, 'late_value': False}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 10, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, False], [10, True]]}, {'replace': False, 'generation': 10, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': True, 'outer_done': True, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': 'bad', 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 1, 'accept': False, 'outer_complete': True, 'inner_complete': False, 'start': False, 'transition_order': ['start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': True, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': True, 'inner_records': [[0, False], [10, True]]}, {'replace': True, 'generation': 1, 'accept': True, 'outer_complete': False, 'inner_complete': False, 'start': True, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 10, 'event_generation': 0, 'error': None, 'cancel': True, 'inner_value': 'value', 'inner_seen': False, 'inner_records': [[0, True], [10, False]]}, {'replace': True, 'generation': 11, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': True, 'dispose_outer': True, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': True, 'inner_done': False, 'generation': 0, 'event_generation': 10, 'error': None, 'cancel': False, 'inner_value': 'value', 'inner_seen': True, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': True, 'dispose_outer': False, 'late_value': True}), ({'outer_value': False, 'outer_done': False, 'inner_active': False, 'inner_done': False, 'generation': 0, 'event_generation': 0, 'error': None, 'cancel': False, 'inner_value': None, 'inner_seen': False, 'inner_records': []}, {'replace': False, 'generation': 0, 'accept': False, 'outer_complete': False, 'inner_complete': False, 'start': False, 'transition_order': [], 'active_after_done': False, 'dispose_outer': False, 'late_value': False}), ({'outer_value': True, 'outer_done': True, 'inner_active': True, 'inner_done': True, 'generation': 10, 'event_generation': 10, 'error': 'bad', 'cancel': True, 'inner_value': 'value', 'inner_seen': True, 'inner_records': [[0, False]]}, {'replace': True, 'generation': 11, 'accept': False, 'outer_complete': True, 'inner_complete': True, 'start': False, 'transition_order': ['dispose', 'start'], 'active_after_done': False, 'dispose_outer': True, 'late_value': False})]}\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-switch-inner-dispose_outer","generated_at":"2026-09-29T14:43:53.058781+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 dispose_outer decision from the complete contract: s['error'] is not None or s['cancel'].","root_cause":"The dispose_outer decision in the switch-inner listener model is computed as s['cancel'], losing a required lifecycle condition.","sha256":"23574fa9a9bdd55b8f4e577d37e6ae955f260a0b169a1f2af36abfd12113e867","title":"Switch inner error leaves its outer subscription running · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.936,"exit_code":1,"observations":[{"actual":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":3,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":true,"start":false,"transition_order":["dispose","start"]},"check":"transition 0","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":3,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":true,"start":false,"transition_order":["dispose","start"]},"passed":true},{"actual":{"accept":false,"active_after_done":true,"dispose_outer":false,"generation":0,"inner_complete":true,"late_value":true,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"check":"transition 1","expected":{"accept":false,"active_after_done":true,"dispose_outer":true,"generation":0,"inner_complete":true,"late_value":true,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"passed":false},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":false,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":false,"start":false,"transition_order":["start"]},"check":"transition 2","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":false,"start":false,"transition_order":["start"]},"passed":false},{"actual":{"accept":false,"active_after_done":true,"dispose_outer":false,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":true,"start":true,"transition_order":["dispose","start"]},"check":"transition 3","expected":{"accept":false,"active_after_done":true,"dispose_outer":false,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":true,"start":true,"transition_order":["dispose","start"]},"passed":true},{"actual":{"accept":true,"active_after_done":true,"dispose_outer":false,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"check":"transition 4","expected":{"accept":true,"active_after_done":true,"dispose_outer":false,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"passed":true},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"check":"transition 5","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"passed":true},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":false,"generation":0,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"check":"transition 6","expected":{"accept":false,"active_after_done":false,"dispose_outer":false,"generation":0,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"passed":true},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":3,"inner_complete":true,"late_value":false,"outer_complete":true,"replace":true,"start":false,"transition_order":["dispose","start"]},"check":"transition 7","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":3,"inner_complete":true,"late_value":false,"outer_complete":true,"replace":true,"start":false,"transition_order":["dispose","start"]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"expected\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": true}, \"expected\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": true, \"late_value\": true}, \"passed\": false}, {\"check\": \"transition 2\", \"actual\": {\"replace\": false, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"start\"], \"active_after_done\": false, \"dispose_outer\": false, \"late_value\": true}, \"expected\": {\"replace\": false, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": true}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"replace\": true, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": true, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": true}, \"expected\": {\"replace\": true, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": true, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": true}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"replace\": false, \"generation\": 2, \"accept\": true, \"outer_complete\": true, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": false}, \"expected\": {\"replace\": false, \"generation\": 2, \"accept\": true, \"outer_complete\": true, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"replace\": false, \"generation\": 2, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"expected\": {\"replace\": false, \"generation\": 2, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": false, \"late_value\": false}, \"expected\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": false, \"late_value\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"expected\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.73,"exit_code":1,"observations":[{"actual":{"accept":false,"active_after_done":false,"dispose_outer":false,"generation":3,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":true,"start":false,"transition_order":["dispose","start"]},"check":"transition 0","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":3,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":true,"start":false,"transition_order":["dispose","start"]},"passed":false},{"actual":{"accept":false,"active_after_done":true,"dispose_outer":true,"generation":0,"inner_complete":true,"late_value":true,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"check":"transition 1","expected":{"accept":false,"active_after_done":true,"dispose_outer":true,"generation":0,"inner_complete":true,"late_value":true,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"passed":true},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":false,"start":false,"transition_order":["start"]},"check":"transition 2","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":false,"start":false,"transition_order":["start"]},"passed":true},{"actual":{"accept":false,"active_after_done":true,"dispose_outer":false,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":true,"start":true,"transition_order":["dispose","start"]},"check":"transition 3","expected":{"accept":false,"active_after_done":true,"dispose_outer":false,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":true,"start":true,"transition_order":["dispose","start"]},"passed":true},{"actual":{"accept":true,"active_after_done":true,"dispose_outer":false,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"check":"transition 4","expected":{"accept":true,"active_after_done":true,"dispose_outer":false,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"passed":true},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"check":"transition 5","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"passed":true},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":false,"generation":0,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"check":"transition 6","expected":{"accept":false,"active_after_done":false,"dispose_outer":false,"generation":0,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"passed":true},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":3,"inner_complete":true,"late_value":false,"outer_complete":true,"replace":true,"start":false,"transition_order":["dispose","start"]},"check":"transition 7","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":3,"inner_complete":true,"late_value":false,"outer_complete":true,"replace":true,"start":false,"transition_order":["dispose","start"]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": false, \"late_value\": false}, \"expected\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": true, \"late_value\": true}, \"expected\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": true, \"late_value\": true}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"replace\": false, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": true}, \"expected\": {\"replace\": false, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"replace\": true, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": true, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": true}, \"expected\": {\"replace\": true, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": true, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": true}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"replace\": false, \"generation\": 2, \"accept\": true, \"outer_complete\": true, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": false}, \"expected\": {\"replace\": false, \"generation\": 2, \"accept\": true, \"outer_complete\": true, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"replace\": false, \"generation\": 2, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"expected\": {\"replace\": false, \"generation\": 2, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": false, \"late_value\": false}, \"expected\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": false, \"late_value\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"expected\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.482,"exit_code":0,"observations":[{"actual":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":3,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":true,"start":false,"transition_order":["dispose","start"]},"check":"transition 0","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":3,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":true,"start":false,"transition_order":["dispose","start"]},"passed":true},{"actual":{"accept":false,"active_after_done":true,"dispose_outer":true,"generation":0,"inner_complete":true,"late_value":true,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"check":"transition 1","expected":{"accept":false,"active_after_done":true,"dispose_outer":true,"generation":0,"inner_complete":true,"late_value":true,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"passed":true},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":false,"start":false,"transition_order":["start"]},"check":"transition 2","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":false,"start":false,"transition_order":["start"]},"passed":true},{"actual":{"accept":false,"active_after_done":true,"dispose_outer":false,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":true,"start":true,"transition_order":["dispose","start"]},"check":"transition 3","expected":{"accept":false,"active_after_done":true,"dispose_outer":false,"generation":1,"inner_complete":false,"late_value":true,"outer_complete":false,"replace":true,"start":true,"transition_order":["dispose","start"]},"passed":true},{"actual":{"accept":true,"active_after_done":true,"dispose_outer":false,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"check":"transition 4","expected":{"accept":true,"active_after_done":true,"dispose_outer":false,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":true,"replace":false,"start":false,"transition_order":[]},"passed":true},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"check":"transition 5","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":2,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"passed":true},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":false,"generation":0,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"check":"transition 6","expected":{"accept":false,"active_after_done":false,"dispose_outer":false,"generation":0,"inner_complete":false,"late_value":false,"outer_complete":false,"replace":false,"start":false,"transition_order":[]},"passed":true},{"actual":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":3,"inner_complete":true,"late_value":false,"outer_complete":true,"replace":true,"start":false,"transition_order":["dispose","start"]},"check":"transition 7","expected":{"accept":false,"active_after_done":false,"dispose_outer":true,"generation":3,"inner_complete":true,"late_value":false,"outer_complete":true,"replace":true,"start":false,"transition_order":["dispose","start"]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"expected\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": true, \"late_value\": true}, \"expected\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": true, \"late_value\": true}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"replace\": false, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": true}, \"expected\": {\"replace\": false, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [\"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"replace\": true, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": true, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": true}, \"expected\": {\"replace\": true, \"generation\": 1, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": true, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": true}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"replace\": false, \"generation\": 2, \"accept\": true, \"outer_complete\": true, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": false}, \"expected\": {\"replace\": false, \"generation\": 2, \"accept\": true, \"outer_complete\": true, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": true, \"dispose_outer\": false, \"late_value\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"replace\": false, \"generation\": 2, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"expected\": {\"replace\": false, \"generation\": 2, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": false, \"late_value\": false}, \"expected\": {\"replace\": false, \"generation\": 0, \"accept\": false, \"outer_complete\": false, \"inner_complete\": false, \"start\": false, \"transition_order\": [], \"active_after_done\": false, \"dispose_outer\": false, \"late_value\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"expected\": {\"replace\": true, \"generation\": 3, \"accept\": false, \"outer_complete\": true, \"inner_complete\": true, \"start\": false, \"transition_order\": [\"dispose\", \"start\"], \"active_after_done\": false, \"dispose_outer\": true, \"late_value\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}