{"abstract":"Completion wins over a simultaneous observer error; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan an observer terminal notification. First completion or error closes the observer. Cancellation is silent; an error has precedence over completion. An already closed observer never receives another terminal callback. Queued values are discarded on error or cancellation but drain before normal completion. Release owned resources on first closure. 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: kind = None if s['closed'] or s['cancel'] else ('error' if s['error'] is not None else ('complete' if s['complete'] else None)); closed = s['closed'] or s['complete'] or s['error'] is not None or s['cancel']; drain = list(s['values']) if not s['closed'] and not s['cancel'] and s['error'] is None else []; error_payload = s['error'] if not s['closed'] and not s['cancel'] else None; release = s['owned'] and not s['closed'] and (s['complete'] or s['error'] is not None or s['cancel']); teardown = not s['teardown'] and not s['closed'] and (s['complete'] or s['error'] is not None or s['cancel']); inflight = 0 if s['error'] is not None or s['cancel'] else s['inflight']; late_error = s['closed'] and s['error'] is not None and not s['reported']; cancel_reason = s['reason'] if s['cancel'] else None; completion_wait = s['complete'] and s['error'] is None and not s['cancel'] and not s['closed'] and s['inflight']>0","evaluation_group":"s3-listener-terminal-observer","failed_approach":"The partial repair uses None if s['closed'] else ('error' if s['error'] is not None else ('complete' if s['complete'] else None)); a retained regression distinguishes it from the full transition.","family":"s3-listener-terminal-observer-kind","id":"FA-41441","implementations":{"attempt":{"sha256":"602e461d5c64a22ed0355a34d54c36b9af37c5cfb32f122fb3237637b7e19a49","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'kind': None if s['closed'] else ('error' if s['error'] is not None else ('complete' if s['complete'] else None)),\n        'closed': s['closed'] or s['complete'] or s['error'] is not None or s['cancel'],\n        'drain': list(s['values']) if not s['closed'] and not s['cancel'] and s['error'] is None else [],\n        'error_payload': s['error'] if not s['closed'] and not s['cancel'] else None,\n        'release': s['owned'] and not s['closed'] and (s['complete'] or s['error'] is not None or s['cancel']),\n        'teardown': not s['teardown'] and not s['closed'] and (s['complete'] or s['error'] is not None or s['cancel']),\n        'inflight': 0 if s['error'] is not None or s['cancel'] else s['inflight'],\n        'late_error': s['closed'] and s['error'] is not None and not s['reported'],\n        'cancel_reason': s['reason'] if s['cancel'] else None,\n        'completion_wait': s['complete'] and s['error'] is None and not s['cancel'] and not s['closed'] and s['inflight']>0,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 2], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [1, 2], 'owned': False, 'inflight': 2, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 2], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': True, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [1, 2], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': True, 'reason': None}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': True, 'reason': None}, {'kind': 'complete', 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 2, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 2, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 2], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 2: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 4], 'owned': True, 'inflight': 4, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': True, 'inflight': 4, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 4], 'owned': False, 'inflight': 4, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 4, 'teardown': False, 'reported': False, 'reason': None}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [1, 4], 'owned': True, 'inflight': 4, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': 'complete', 'closed': True, 'drain': [1, 4], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 4, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 4], 'owned': True, 'inflight': 4, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 3: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 6], 'owned': True, 'inflight': 6, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 6, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 6], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': True, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [1, 6], 'owned': True, 'inflight': 6, 'teardown': True, 'reported': False, 'reason': None}, {'kind': 'complete', 'closed': True, 'drain': [1, 6], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 6, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 6], 'owned': True, 'inflight': 6, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 4: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 8], 'owned': True, 'inflight': 8, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': True, 'inflight': 8, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': True, 'values': [], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': False, 'error': 'boom', 'cancel': True, 'values': [1, 8], 'owned': False, 'inflight': 8, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [1, 8], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [], 'owned': True, 'inflight': 8, 'teardown': False, 'reported': False, 'reason': None}, {'kind': 'complete', 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 8, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 8], 'owned': True, 'inflight': 8, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 5: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 10, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': False, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [1, 10], 'owned': False, 'inflight': 0, 'teardown': True, 'reported': False, 'reason': None}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': False, 'reported': True, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': False, 'reason': 'stop'}, {'kind': 'complete', 'closed': True, 'drain': [1, 10], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 10, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': 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":"8990b02c28cb49419f88a8b5c11780be10bffc3c62f18820e2ca0cf435c77480","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'kind': 'complete' if s['complete'] else ('error' if s['error'] is not None else None),\n        'closed': s['closed'] or s['complete'] or s['error'] is not None or s['cancel'],\n        'drain': list(s['values']) if not s['closed'] and not s['cancel'] and s['error'] is None else [],\n        'error_payload': s['error'] if not s['closed'] and not s['cancel'] else None,\n        'release': s['owned'] and not s['closed'] and (s['complete'] or s['error'] is not None or s['cancel']),\n        'teardown': not s['teardown'] and not s['closed'] and (s['complete'] or s['error'] is not None or s['cancel']),\n        'inflight': 0 if s['error'] is not None or s['cancel'] else s['inflight'],\n        'late_error': s['closed'] and s['error'] is not None and not s['reported'],\n        'cancel_reason': s['reason'] if s['cancel'] else None,\n        'completion_wait': s['complete'] and s['error'] is None and not s['cancel'] and not s['closed'] and s['inflight']>0,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 2], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [1, 2], 'owned': False, 'inflight': 2, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 2], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': True, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [1, 2], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': True, 'reason': None}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': True, 'reason': None}, {'kind': 'complete', 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 2, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 2, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 2], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 2: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 4], 'owned': True, 'inflight': 4, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': True, 'inflight': 4, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 4], 'owned': False, 'inflight': 4, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 4, 'teardown': False, 'reported': False, 'reason': None}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [1, 4], 'owned': True, 'inflight': 4, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': 'complete', 'closed': True, 'drain': [1, 4], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 4, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 4], 'owned': True, 'inflight': 4, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 3: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 6], 'owned': True, 'inflight': 6, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 6, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 6], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': True, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [1, 6], 'owned': True, 'inflight': 6, 'teardown': True, 'reported': False, 'reason': None}, {'kind': 'complete', 'closed': True, 'drain': [1, 6], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 6, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 6], 'owned': True, 'inflight': 6, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 4: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 8], 'owned': True, 'inflight': 8, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': True, 'inflight': 8, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': True, 'values': [], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': False, 'error': 'boom', 'cancel': True, 'values': [1, 8], 'owned': False, 'inflight': 8, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [1, 8], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [], 'owned': True, 'inflight': 8, 'teardown': False, 'reported': False, 'reason': None}, {'kind': 'complete', 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 8, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 8], 'owned': True, 'inflight': 8, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 5: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 10, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': False, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [1, 10], 'owned': False, 'inflight': 0, 'teardown': True, 'reported': False, 'reason': None}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': False, 'reported': True, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': False, 'reason': 'stop'}, {'kind': 'complete', 'closed': True, 'drain': [1, 10], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 10, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': 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":"cc6d167c1a6b3ad772c8c2ef1230b2795738f265c38a579f84be774485527455","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'kind': None if s['closed'] or s['cancel'] else ('error' if s['error'] is not None else ('complete' if s['complete'] else None)),\n        'closed': s['closed'] or s['complete'] or s['error'] is not None or s['cancel'],\n        'drain': list(s['values']) if not s['closed'] and not s['cancel'] and s['error'] is None else [],\n        'error_payload': s['error'] if not s['closed'] and not s['cancel'] else None,\n        'release': s['owned'] and not s['closed'] and (s['complete'] or s['error'] is not None or s['cancel']),\n        'teardown': not s['teardown'] and not s['closed'] and (s['complete'] or s['error'] is not None or s['cancel']),\n        'inflight': 0 if s['error'] is not None or s['cancel'] else s['inflight'],\n        'late_error': s['closed'] and s['error'] is not None and not s['reported'],\n        'cancel_reason': s['reason'] if s['cancel'] else None,\n        'completion_wait': s['complete'] and s['error'] is None and not s['cancel'] and not s['closed'] and s['inflight']>0,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 2], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [1, 2], 'owned': False, 'inflight': 2, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 2], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': True, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [1, 2], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': True, 'reason': None}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': True, 'reason': None}, {'kind': 'complete', 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 2, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 2, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 2], 'owned': True, 'inflight': 2, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 2: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 4], 'owned': True, 'inflight': 4, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': True, 'inflight': 4, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 4], 'owned': False, 'inflight': 4, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 4, 'teardown': False, 'reported': False, 'reason': None}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [1, 4], 'owned': True, 'inflight': 4, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': 'complete', 'closed': True, 'drain': [1, 4], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 4, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 4], 'owned': True, 'inflight': 4, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 3: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 6], 'owned': True, 'inflight': 6, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 6, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 6], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': True, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [1, 6], 'owned': True, 'inflight': 6, 'teardown': True, 'reported': False, 'reason': None}, {'kind': 'complete', 'closed': True, 'drain': [1, 6], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 6, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 6], 'owned': True, 'inflight': 6, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 4: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 8], 'owned': True, 'inflight': 8, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': True, 'inflight': 8, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': True, 'values': [], 'owned': True, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': False, 'error': 'boom', 'cancel': True, 'values': [1, 8], 'owned': False, 'inflight': 8, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [1, 8], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': True, 'reason': 'stop'}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': True, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [], 'owned': True, 'inflight': 8, 'teardown': False, 'reported': False, 'reason': None}, {'kind': 'complete', 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': True, 'inflight': 8, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 8], 'owned': True, 'inflight': 8, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False})], 5: [({'closed': False, 'complete': False, 'error': None, 'cancel': True, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [], 'owned': False, 'inflight': 10, 'teardown': False, 'reported': False, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': True, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': False, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': False, 'error': 'boom', 'cancel': False, 'values': [1, 10], 'owned': False, 'inflight': 0, 'teardown': True, 'reported': False, 'reason': None}, {'kind': 'error', 'closed': True, 'drain': [], 'error_payload': 'boom', 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': False, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': False, 'reported': True, 'reason': None}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': False, 'complete': True, 'error': None, 'cancel': False, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': False, 'reason': 'stop'}, {'kind': 'complete', 'closed': True, 'drain': [1, 10], 'error_payload': None, 'release': True, 'teardown': False, 'inflight': 10, 'late_error': False, 'cancel_reason': None, 'completion_wait': True}), ({'closed': False, 'complete': False, 'error': None, 'cancel': False, 'values': [], 'owned': False, 'inflight': 0, 'teardown': False, 'reported': False, 'reason': None}, {'kind': None, 'closed': False, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': None, 'completion_wait': False}), ({'closed': True, 'complete': True, 'error': 'boom', 'cancel': True, 'values': [1, 10], 'owned': True, 'inflight': 10, 'teardown': True, 'reported': True, 'reason': 'stop'}, {'kind': None, 'closed': True, 'drain': [], 'error_payload': None, 'release': False, 'teardown': False, 'inflight': 0, 'late_error': False, 'cancel_reason': 'stop', 'completion_wait': 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-terminal-observer-kind","generated_at":"2026-09-29T14:43:41.187018+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 kind decision from the complete contract: None if s['closed'] or s['cancel'] else ('error' if s['error'] is not None else ('complete' if s['complete'] else None)).","root_cause":"The kind decision in the terminal-observer listener model is computed as 'complete' if s['complete'] else ('error' if s['error'] is not None else None), losing a required lifecycle condition.","sha256":"9167dd21b0f82b89817c74ff6ede63371b7bc92873ac456cb1ebe5079b97e580","title":"Completion wins over a simultaneous observer error · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":49.94,"exit_code":1,"observations":[{"actual":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":true,"teardown":false},"check":"transition 0","expected":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":true,"teardown":false},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"check":"transition 1","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":"error","late_error":false,"release":true,"teardown":false},"check":"transition 2","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":true,"teardown":false},"passed":false},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":"boom","inflight":0,"kind":"error","late_error":false,"release":false,"teardown":true},"check":"transition 3","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":"boom","inflight":0,"kind":"error","late_error":false,"release":false,"teardown":true},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":true,"drain":[],"error_payload":null,"inflight":2,"kind":"complete","late_error":false,"release":true,"teardown":false},"check":"transition 4","expected":{"cancel_reason":null,"closed":true,"completion_wait":true,"drain":[],"error_payload":null,"inflight":2,"kind":"complete","late_error":false,"release":true,"teardown":false},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":true,"release":false,"teardown":false},"check":"transition 5","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":true,"release":false,"teardown":false},"passed":true},{"actual":{"cancel_reason":null,"closed":false,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"check":"transition 6","expected":{"cancel_reason":null,"closed":false,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"passed":true},{"actual":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"check":"transition 7","expected":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"kind\": \"error\", \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"kind\": \"error\", \"closed\": true, \"drain\": [], \"error_payload\": \"boom\", \"release\": false, \"teardown\": true, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": \"error\", \"closed\": true, \"drain\": [], \"error_payload\": \"boom\", \"release\": false, \"teardown\": true, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"kind\": \"complete\", \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 2, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": true}, \"expected\": {\"kind\": \"complete\", \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 2, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": true}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": true, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": true, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"kind\": null, \"closed\": false, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": false, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":50.986,"exit_code":1,"observations":[{"actual":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":true,"teardown":false},"check":"transition 0","expected":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":true,"teardown":false},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":"complete","late_error":false,"release":false,"teardown":false},"check":"transition 1","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"passed":false},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":"complete","late_error":false,"release":true,"teardown":false},"check":"transition 2","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":true,"teardown":false},"passed":false},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":"boom","inflight":0,"kind":"error","late_error":false,"release":false,"teardown":true},"check":"transition 3","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":"boom","inflight":0,"kind":"error","late_error":false,"release":false,"teardown":true},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":true,"drain":[],"error_payload":null,"inflight":2,"kind":"complete","late_error":false,"release":true,"teardown":false},"check":"transition 4","expected":{"cancel_reason":null,"closed":true,"completion_wait":true,"drain":[],"error_payload":null,"inflight":2,"kind":"complete","late_error":false,"release":true,"teardown":false},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":"complete","late_error":true,"release":false,"teardown":false},"check":"transition 5","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":true,"release":false,"teardown":false},"passed":false},{"actual":{"cancel_reason":null,"closed":false,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"check":"transition 6","expected":{"cancel_reason":null,"closed":false,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"passed":true},{"actual":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":"complete","late_error":false,"release":false,"teardown":false},"check":"transition 7","expected":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"kind\": \"complete\", \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": false}, {\"check\": \"transition 2\", \"actual\": {\"kind\": \"complete\", \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"kind\": \"error\", \"closed\": true, \"drain\": [], \"error_payload\": \"boom\", \"release\": false, \"teardown\": true, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": \"error\", \"closed\": true, \"drain\": [], \"error_payload\": \"boom\", \"release\": false, \"teardown\": true, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"kind\": \"complete\", \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 2, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": true}, \"expected\": {\"kind\": \"complete\", \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 2, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": true}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"kind\": \"complete\", \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": true, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": true, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"kind\": null, \"closed\": false, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": false, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"kind\": \"complete\", \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":49.681,"exit_code":0,"observations":[{"actual":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":true,"teardown":false},"check":"transition 0","expected":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":true,"teardown":false},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"check":"transition 1","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":true,"teardown":false},"check":"transition 2","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":true,"teardown":false},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":"boom","inflight":0,"kind":"error","late_error":false,"release":false,"teardown":true},"check":"transition 3","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":"boom","inflight":0,"kind":"error","late_error":false,"release":false,"teardown":true},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":true,"drain":[],"error_payload":null,"inflight":2,"kind":"complete","late_error":false,"release":true,"teardown":false},"check":"transition 4","expected":{"cancel_reason":null,"closed":true,"completion_wait":true,"drain":[],"error_payload":null,"inflight":2,"kind":"complete","late_error":false,"release":true,"teardown":false},"passed":true},{"actual":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":true,"release":false,"teardown":false},"check":"transition 5","expected":{"cancel_reason":null,"closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":true,"release":false,"teardown":false},"passed":true},{"actual":{"cancel_reason":null,"closed":false,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"check":"transition 6","expected":{"cancel_reason":null,"closed":false,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"passed":true},{"actual":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"check":"transition 7","expected":{"cancel_reason":"stop","closed":true,"completion_wait":false,"drain":[],"error_payload":null,"inflight":0,"kind":null,"late_error":false,"release":false,"teardown":false},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"kind\": \"error\", \"closed\": true, \"drain\": [], \"error_payload\": \"boom\", \"release\": false, \"teardown\": true, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": \"error\", \"closed\": true, \"drain\": [], \"error_payload\": \"boom\", \"release\": false, \"teardown\": true, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"kind\": \"complete\", \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 2, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": true}, \"expected\": {\"kind\": \"complete\", \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": true, \"teardown\": false, \"inflight\": 2, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": true}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": true, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": true, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"kind\": null, \"closed\": false, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": false, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": null, \"completion_wait\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"expected\": {\"kind\": null, \"closed\": true, \"drain\": [], \"error_payload\": null, \"release\": false, \"teardown\": false, \"inflight\": 0, \"late_error\": false, \"cancel_reason\": \"stop\", \"completion_wait\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}