FAILURE MAP
← Case archive

FA-41486 / Listener lifecycle / Open access

Completion bypasses outstanding callback work · case 01

Completion bypasses outstanding callback work; the returned lifecycle plan violates the stated transition contract.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The completion_wait decision in the terminal-observer listener model is computed as False, losing a required lifecycle condition.

VERIFIED REPAIR

Compute the completion_wait decision from the complete contract: s['complete'] and s['error'] is None and not s['cancel'] and not s['closed'] and s['inflight']>0.

Unsuccessful approach: The partial repair uses s['complete'] and s['inflight']>0; a retained regression distinguishes it from the full transition.

Case 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. Field 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

Why this case matters

Observer implementations need to preserve this state while subscriptions enter, execute, and leave their lifecycle.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(s):
    return {
        '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': False,
    }
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {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})]}
for i,(state,expected) in enumerate(fixtures[N]):
    check("transition "+str(i), solve(state), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
transition 0{'cancel_reason': 'stop', 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}{'cancel_reason': 'stop', 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}Passed
transition 1{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}Passed
transition 2{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}Passed
transition 3{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': 'boom', 'inflight': 0, 'kind': 'error', 'late_error': False, 'release': False, 'teardown': True}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': 'boom', 'inflight': 0, 'kind': 'error', 'late_error': False, 'release': False, 'teardown': True}Passed
transition 4{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 2, 'kind': 'complete', 'late_error': False, 'release': True, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': True, 'drain': [], 'error_payload': None, 'inflight': 2, 'kind': 'complete', 'late_error': False, 'release': True, 'teardown': False}Failed
transition 5{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': True, 'release': False, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': True, 'release': False, 'teardown': False}Passed
transition 6{'cancel_reason': None, 'closed': False, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}{'cancel_reason': None, 'closed': False, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}Passed
transition 7{'cancel_reason': 'stop', 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}{'cancel_reason': 'stop', 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}Passed

SHA-256 / a9bdadf420bd1c0877322b75e6944a74a8b7b0a233fa660474ec9178a8aa70a7

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(s):
    return {
        '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['inflight']>0,
    }
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {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})]}
for i,(state,expected) in enumerate(fixtures[N]):
    check("transition "+str(i), solve(state), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
transition 0{'cancel_reason': 'stop', 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}{'cancel_reason': 'stop', 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}Passed
transition 1{'cancel_reason': None, 'closed': True, 'completion_wait': True, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}Failed
transition 2{'cancel_reason': None, 'closed': True, 'completion_wait': True, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}Failed
transition 3{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': 'boom', 'inflight': 0, 'kind': 'error', 'late_error': False, 'release': False, 'teardown': True}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': 'boom', 'inflight': 0, 'kind': 'error', 'late_error': False, 'release': False, 'teardown': True}Passed
transition 4{'cancel_reason': None, 'closed': True, 'completion_wait': True, 'drain': [], 'error_payload': None, 'inflight': 2, 'kind': 'complete', 'late_error': False, 'release': True, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': True, 'drain': [], 'error_payload': None, 'inflight': 2, 'kind': 'complete', 'late_error': False, 'release': True, 'teardown': False}Passed
transition 5{'cancel_reason': None, 'closed': True, 'completion_wait': True, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': True, 'release': False, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': True, 'release': False, 'teardown': False}Failed
transition 6{'cancel_reason': None, 'closed': False, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}{'cancel_reason': None, 'closed': False, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}Passed
transition 7{'cancel_reason': 'stop', 'closed': True, 'completion_wait': True, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}{'cancel_reason': 'stop', 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}Failed

SHA-256 / 22ef8db4483b230d949babac6bdcce595802533bbd5a1017788c8b63bbc2b6b9

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(s):
    return {
        '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,
    }
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {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})]}
for i,(state,expected) in enumerate(fixtures[N]):
    check("transition "+str(i), solve(state), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
transition 0{'cancel_reason': 'stop', 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}{'cancel_reason': 'stop', 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}Passed
transition 1{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}Passed
transition 2{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': True, 'teardown': False}Passed
transition 3{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': 'boom', 'inflight': 0, 'kind': 'error', 'late_error': False, 'release': False, 'teardown': True}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': 'boom', 'inflight': 0, 'kind': 'error', 'late_error': False, 'release': False, 'teardown': True}Passed
transition 4{'cancel_reason': None, 'closed': True, 'completion_wait': True, 'drain': [], 'error_payload': None, 'inflight': 2, 'kind': 'complete', 'late_error': False, 'release': True, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': True, 'drain': [], 'error_payload': None, 'inflight': 2, 'kind': 'complete', 'late_error': False, 'release': True, 'teardown': False}Passed
transition 5{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': True, 'release': False, 'teardown': False}{'cancel_reason': None, 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': True, 'release': False, 'teardown': False}Passed
transition 6{'cancel_reason': None, 'closed': False, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}{'cancel_reason': None, 'closed': False, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}Passed
transition 7{'cancel_reason': 'stop', 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}{'cancel_reason': 'stop', 'closed': True, 'completion_wait': False, 'drain': [], 'error_payload': None, 'inflight': 0, 'kind': None, 'late_error': False, 'release': False, 'teardown': False}Passed

SHA-256 / cc6d167c1a6b3ad772c8c2ef1230b2795738f265c38a579f84be774485527455

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:43:41.636332+00:00.

Case digest / 7e5f510e0efdd15f298046998bdc363a1f3c65c66c54a7c495f422593be71895