FAILURE MAP
← Case archive

FA-42316 / Listener lifecycle / Open access

Asynchronous rejection diagnostics attribute an old callback to the current generation · case 01

Asynchronous rejection diagnostics attribute an old callback to the current generation; the returned lifecycle plan violates the stated transition contract.

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

ROOT CAUSE

The error decision in the async-settlement listener model is computed as {'generation':s['generation'],'reason':s['error']} if s['rejected'] else None, losing a required lifecycle condition.

VERIFIED REPAIR

Compute the error decision from the complete contract: {'generation':s['settled_generation'],'reason':s['error']} if s['rejected'] else None.

Unsuccessful approach: The partial repair uses {'generation':s['settled_generation'],'reason':s['value']} if s['rejected'] else None; a retained regression distinguishes it from the full transition.

Case contract

Plan settlement of one asynchronous observer callback. Only the current generation may publish a result. Cancellation suppresses publication but still releases acquired resources. Settled callback IDs are ignored on duplicate completion. Outstanding count decreases once and never below zero. Rejections route to the error observer, not the value observer; an absent successful value is a legitimate None payload. If the error observer itself fails, report the original rejection followed by its handler failure, preserving both causes; successful handlers consume the original. Rejection diagnostics retain the actual completing generation and error reason even when the current subscription generation has advanced. 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: publish = s['generation']==s['settled_generation'] and not s['cancel'] and not s['duplicate'] and not s['rejected']; reject = s['rejected'] and not s['duplicate'] and s['generation']==s['settled_generation'] and not s['cancel']; outstanding = max(0,s['outstanding']-int(not s['duplicate'])); release = s['acquired'] and not s['duplicate']; value = [s['value']] if not s['rejected'] else []; error = {'generation':s['settled_generation'],'reason':s['error']} if s['rejected'] else None; unhandled = ([s['error'],s['handler_failure']] if s['handler_failure'] is not None else ([] if s['handler'] else [s['error']])) if s['rejected'] else []; finalize = s['closing'] and max(0,s['outstanding']-int(not s['duplicate']))==0; stale = s['generation']!=s['settled_generation']; consumed = not s['duplicate']

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 {
        'publish': s['generation']==s['settled_generation'] and not s['cancel'] and not s['duplicate'] and not s['rejected'],
        'reject': s['rejected'] and not s['duplicate'] and s['generation']==s['settled_generation'] and not s['cancel'],
        'outstanding': max(0,s['outstanding']-int(not s['duplicate'])),
        'release': s['acquired'] and not s['duplicate'],
        'value': [s['value']] if not s['rejected'] else [],
        'error': {'generation':s['generation'],'reason':s['error']} if s['rejected'] else None,
        'unhandled': ([s['error'],s['handler_failure']] if s['handler_failure'] is not None else ([] if s['handler'] else [s['error']])) if s['rejected'] else [],
        'finalize': s['closing'] and max(0,s['outstanding']-int(not s['duplicate']))==0,
        'stale': s['generation']!=s['settled_generation'],
        'consumed': not s['duplicate'],
    }
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'generation': 2, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': 'error', 'outstanding': 0, 'acquired': True, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 2, 'settled_generation': 2, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 'value', 'error': None, 'outstanding': 1, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': ['value'], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 2, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [0], 'error': None, 'unhandled': [], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 'value', 'error': None, 'outstanding': 3, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 3, 'release': False, 'value': ['value'], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 2, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': True, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 2, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 2, 'settled_generation': 2, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 3, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 3, 'release': False, 'value': [], 'error': {'generation': 2, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 2: [({'generation': 0, 'settled_generation': 4, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': 'error', 'outstanding': 6, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 5, 'release': True, 'value': [], 'error': {'generation': 4, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 4, 'settled_generation': 0, 'cancel': True, 'duplicate': True, 'rejected': False, 'value': 0, 'error': 'error', 'outstanding': 1, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 4, 'settled_generation': 4, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': None, 'error': 'error', 'outstanding': 6, 'acquired': False, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 6, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 4, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': [], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 4, 'settled_generation': 4, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 4, 'reason': None}, 'unhandled': [None], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': None, 'outstanding': 0, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None], 'finalize': True, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 4, 'settled_generation': 4, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 6, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 6, 'release': False, 'value': [], 'error': {'generation': 4, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 3: [({'generation': 6, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': None, 'outstanding': 9, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 8, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 6, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 6, 'reason': None}, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 6, 'settled_generation': 6, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [], 'error': {'generation': 6, 'reason': 'error'}, 'unhandled': ['error'], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 6, 'settled_generation': 6, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': 'error', 'outstanding': 1, 'acquired': False, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': True, 'stale': False, 'consumed': True}), ({'generation': 6, 'settled_generation': 6, 'cancel': False, 'duplicate': False, 'rejected': True, 'value': None, 'error': None, 'outstanding': 9, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': True, 'outstanding': 8, 'release': True, 'value': [], 'error': {'generation': 6, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 6, 'settled_generation': 6, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 9, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 9, 'release': False, 'value': [], 'error': {'generation': 6, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 4: [({'generation': 8, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': None, 'outstanding': 0, 'acquired': True, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 8, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 1, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 8, 'settled_generation': 0, 'cancel': True, 'duplicate': True, 'rejected': False, 'value': 0, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 8, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': 0, 'error': 'error', 'outstanding': 0, 'acquired': True, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 8, 'settled_generation': 8, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 12, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 12, 'release': False, 'value': [], 'error': {'generation': 8, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 5: [({'generation': 0, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 10, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 10, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 'value', 'error': 'error', 'outstanding': 15, 'acquired': True, 'handler': False, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 15, 'release': False, 'value': ['value'], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error'], 'finalize': True, 'stale': True, 'consumed': False}), ({'generation': 10, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': True, 'stale': False, 'consumed': False}), ({'generation': 10, 'settled_generation': 10, 'cancel': True, 'duplicate': True, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 15, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 15, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 10, 'settled_generation': 10, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 15, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 15, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': 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{'consumed': True, 'error': {'generation': 2, 'reason': 'error'}, 'finalize': False, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}{'consumed': True, 'error': {'generation': 0, 'reason': 'error'}, 'finalize': False, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}Failed
transition 1{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 1, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 1, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}Passed
transition 2{'consumed': True, 'error': None, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [], 'value': [0]}{'consumed': True, 'error': None, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [], 'value': [0]}Passed
transition 3{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}Passed
transition 4{'consumed': True, 'error': {'generation': 2, 'reason': 'error'}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': False, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}{'consumed': True, 'error': {'generation': 0, 'reason': 'error'}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': False, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}Failed
transition 5{'consumed': True, 'error': {'generation': 2, 'reason': None}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [None, 'handler-failure'], 'value': []}{'consumed': True, 'error': {'generation': 0, 'reason': None}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [None, 'handler-failure'], 'value': []}Failed
transition 6{'consumed': True, 'error': None, 'finalize': False, 'outstanding': 0, 'publish': True, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': [None]}{'consumed': True, 'error': None, 'finalize': False, 'outstanding': 0, 'publish': True, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': [None]}Passed
transition 7{'consumed': False, 'error': {'generation': 2, 'reason': 'error'}, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': ['error', 'handler-failure'], 'value': []}{'consumed': False, 'error': {'generation': 2, 'reason': 'error'}, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': ['error', 'handler-failure'], 'value': []}Passed

SHA-256 / 7410f1190061d22166e8943a37b8f449a64c6b7d8fcfac4132d376ec42ffc76c

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(s):
    return {
        'publish': s['generation']==s['settled_generation'] and not s['cancel'] and not s['duplicate'] and not s['rejected'],
        'reject': s['rejected'] and not s['duplicate'] and s['generation']==s['settled_generation'] and not s['cancel'],
        'outstanding': max(0,s['outstanding']-int(not s['duplicate'])),
        'release': s['acquired'] and not s['duplicate'],
        'value': [s['value']] if not s['rejected'] else [],
        'error': {'generation':s['settled_generation'],'reason':s['value']} if s['rejected'] else None,
        'unhandled': ([s['error'],s['handler_failure']] if s['handler_failure'] is not None else ([] if s['handler'] else [s['error']])) if s['rejected'] else [],
        'finalize': s['closing'] and max(0,s['outstanding']-int(not s['duplicate']))==0,
        'stale': s['generation']!=s['settled_generation'],
        'consumed': not s['duplicate'],
    }
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'generation': 2, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': 'error', 'outstanding': 0, 'acquired': True, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 2, 'settled_generation': 2, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 'value', 'error': None, 'outstanding': 1, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': ['value'], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 2, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [0], 'error': None, 'unhandled': [], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 'value', 'error': None, 'outstanding': 3, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 3, 'release': False, 'value': ['value'], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 2, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': True, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 2, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 2, 'settled_generation': 2, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 3, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 3, 'release': False, 'value': [], 'error': {'generation': 2, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 2: [({'generation': 0, 'settled_generation': 4, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': 'error', 'outstanding': 6, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 5, 'release': True, 'value': [], 'error': {'generation': 4, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 4, 'settled_generation': 0, 'cancel': True, 'duplicate': True, 'rejected': False, 'value': 0, 'error': 'error', 'outstanding': 1, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 4, 'settled_generation': 4, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': None, 'error': 'error', 'outstanding': 6, 'acquired': False, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 6, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 4, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': [], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 4, 'settled_generation': 4, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 4, 'reason': None}, 'unhandled': [None], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': None, 'outstanding': 0, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None], 'finalize': True, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 4, 'settled_generation': 4, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 6, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 6, 'release': False, 'value': [], 'error': {'generation': 4, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 3: [({'generation': 6, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': None, 'outstanding': 9, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 8, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 6, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 6, 'reason': None}, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 6, 'settled_generation': 6, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [], 'error': {'generation': 6, 'reason': 'error'}, 'unhandled': ['error'], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 6, 'settled_generation': 6, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': 'error', 'outstanding': 1, 'acquired': False, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': True, 'stale': False, 'consumed': True}), ({'generation': 6, 'settled_generation': 6, 'cancel': False, 'duplicate': False, 'rejected': True, 'value': None, 'error': None, 'outstanding': 9, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': True, 'outstanding': 8, 'release': True, 'value': [], 'error': {'generation': 6, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 6, 'settled_generation': 6, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 9, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 9, 'release': False, 'value': [], 'error': {'generation': 6, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 4: [({'generation': 8, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': None, 'outstanding': 0, 'acquired': True, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 8, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 1, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 8, 'settled_generation': 0, 'cancel': True, 'duplicate': True, 'rejected': False, 'value': 0, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 8, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': 0, 'error': 'error', 'outstanding': 0, 'acquired': True, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 8, 'settled_generation': 8, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 12, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 12, 'release': False, 'value': [], 'error': {'generation': 8, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 5: [({'generation': 0, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 10, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 10, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 'value', 'error': 'error', 'outstanding': 15, 'acquired': True, 'handler': False, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 15, 'release': False, 'value': ['value'], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error'], 'finalize': True, 'stale': True, 'consumed': False}), ({'generation': 10, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': True, 'stale': False, 'consumed': False}), ({'generation': 10, 'settled_generation': 10, 'cancel': True, 'duplicate': True, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 15, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 15, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 10, 'settled_generation': 10, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 15, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 15, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': 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{'consumed': True, 'error': {'generation': 0, 'reason': 0}, 'finalize': False, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}{'consumed': True, 'error': {'generation': 0, 'reason': 'error'}, 'finalize': False, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}Failed
transition 1{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 1, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 1, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}Passed
transition 2{'consumed': True, 'error': None, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [], 'value': [0]}{'consumed': True, 'error': None, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [], 'value': [0]}Passed
transition 3{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}Passed
transition 4{'consumed': True, 'error': {'generation': 0, 'reason': None}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': False, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}{'consumed': True, 'error': {'generation': 0, 'reason': 'error'}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': False, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}Failed
transition 5{'consumed': True, 'error': {'generation': 0, 'reason': 0}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [None, 'handler-failure'], 'value': []}{'consumed': True, 'error': {'generation': 0, 'reason': None}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [None, 'handler-failure'], 'value': []}Failed
transition 6{'consumed': True, 'error': None, 'finalize': False, 'outstanding': 0, 'publish': True, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': [None]}{'consumed': True, 'error': None, 'finalize': False, 'outstanding': 0, 'publish': True, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': [None]}Passed
transition 7{'consumed': False, 'error': {'generation': 2, 'reason': 'value'}, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': ['error', 'handler-failure'], 'value': []}{'consumed': False, 'error': {'generation': 2, 'reason': 'error'}, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': ['error', 'handler-failure'], 'value': []}Failed

SHA-256 / f2b0812c279a400b40e1ce4e6c6ec5020dfca3225260b91981e4093463f47782

3 / The verified repair

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

N = 1
observations = []
def solve(s):
    return {
        'publish': s['generation']==s['settled_generation'] and not s['cancel'] and not s['duplicate'] and not s['rejected'],
        'reject': s['rejected'] and not s['duplicate'] and s['generation']==s['settled_generation'] and not s['cancel'],
        'outstanding': max(0,s['outstanding']-int(not s['duplicate'])),
        'release': s['acquired'] and not s['duplicate'],
        'value': [s['value']] if not s['rejected'] else [],
        'error': {'generation':s['settled_generation'],'reason':s['error']} if s['rejected'] else None,
        'unhandled': ([s['error'],s['handler_failure']] if s['handler_failure'] is not None else ([] if s['handler'] else [s['error']])) if s['rejected'] else [],
        'finalize': s['closing'] and max(0,s['outstanding']-int(not s['duplicate']))==0,
        'stale': s['generation']!=s['settled_generation'],
        'consumed': not s['duplicate'],
    }
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'generation': 2, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': 'error', 'outstanding': 0, 'acquired': True, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 2, 'settled_generation': 2, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 'value', 'error': None, 'outstanding': 1, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': ['value'], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 2, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [0], 'error': None, 'unhandled': [], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 'value', 'error': None, 'outstanding': 3, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 3, 'release': False, 'value': ['value'], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 2, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': True, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 2, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 2, 'settled_generation': 2, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 3, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 3, 'release': False, 'value': [], 'error': {'generation': 2, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 2: [({'generation': 0, 'settled_generation': 4, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': 'error', 'outstanding': 6, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 5, 'release': True, 'value': [], 'error': {'generation': 4, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 4, 'settled_generation': 0, 'cancel': True, 'duplicate': True, 'rejected': False, 'value': 0, 'error': 'error', 'outstanding': 1, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 4, 'settled_generation': 4, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': None, 'error': 'error', 'outstanding': 6, 'acquired': False, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 6, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 4, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': [], 'finalize': True, 'stale': True, 'consumed': True}), ({'generation': 4, 'settled_generation': 4, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 4, 'reason': None}, 'unhandled': [None], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': None, 'outstanding': 0, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None], 'finalize': True, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 4, 'settled_generation': 4, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 6, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 6, 'release': False, 'value': [], 'error': {'generation': 4, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 3: [({'generation': 6, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': None, 'outstanding': 9, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 8, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 6, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 6, 'reason': None}, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 6, 'settled_generation': 6, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [], 'error': {'generation': 6, 'reason': 'error'}, 'unhandled': ['error'], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 6, 'settled_generation': 6, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': 'error', 'outstanding': 1, 'acquired': False, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': True, 'stale': False, 'consumed': True}), ({'generation': 6, 'settled_generation': 6, 'cancel': False, 'duplicate': False, 'rejected': True, 'value': None, 'error': None, 'outstanding': 9, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': True, 'outstanding': 8, 'release': True, 'value': [], 'error': {'generation': 6, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 6, 'settled_generation': 6, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 9, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 9, 'release': False, 'value': [], 'error': {'generation': 6, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 4: [({'generation': 8, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': None, 'outstanding': 0, 'acquired': True, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [None, 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 8, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 1, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 8, 'settled_generation': 0, 'cancel': True, 'duplicate': True, 'rejected': False, 'value': 0, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 8, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': 0, 'error': 'error', 'outstanding': 0, 'acquired': True, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': True, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 8, 'settled_generation': 8, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 12, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 12, 'release': False, 'value': [], 'error': {'generation': 8, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': False})], 5: [({'generation': 0, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 1, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 1, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': True, 'consumed': False}), ({'generation': 10, 'settled_generation': 0, 'cancel': True, 'duplicate': False, 'rejected': True, 'value': 0, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': True, 'closing': False, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 0, 'reason': None}, 'unhandled': [], 'finalize': False, 'stale': True, 'consumed': True}), ({'generation': 10, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': False, 'value': 'value', 'error': 'error', 'outstanding': 15, 'acquired': True, 'handler': False, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 15, 'release': False, 'value': ['value'], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': True, 'handler_failure': None}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error'], 'finalize': True, 'stale': True, 'consumed': False}), ({'generation': 10, 'settled_generation': 10, 'cancel': False, 'duplicate': True, 'rejected': True, 'value': None, 'error': 'error', 'outstanding': 0, 'acquired': True, 'handler': False, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 0, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': True, 'stale': False, 'consumed': False}), ({'generation': 10, 'settled_generation': 10, 'cancel': True, 'duplicate': True, 'rejected': False, 'value': 0, 'error': None, 'outstanding': 15, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 15, 'release': False, 'value': [0], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': False}), ({'generation': 0, 'settled_generation': 0, 'cancel': False, 'duplicate': False, 'rejected': False, 'value': None, 'error': None, 'outstanding': 0, 'acquired': False, 'handler': False, 'closing': False, 'handler_failure': None}, {'publish': True, 'reject': False, 'outstanding': 0, 'release': False, 'value': [None], 'error': None, 'unhandled': [], 'finalize': False, 'stale': False, 'consumed': True}), ({'generation': 10, 'settled_generation': 10, 'cancel': True, 'duplicate': True, 'rejected': True, 'value': 'value', 'error': 'error', 'outstanding': 15, 'acquired': True, 'handler': True, 'closing': True, 'handler_failure': 'handler-failure'}, {'publish': False, 'reject': False, 'outstanding': 15, 'release': False, 'value': [], 'error': {'generation': 10, 'reason': 'error'}, 'unhandled': ['error', 'handler-failure'], 'finalize': False, 'stale': False, 'consumed': 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{'consumed': True, 'error': {'generation': 0, 'reason': 'error'}, 'finalize': False, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}{'consumed': True, 'error': {'generation': 0, 'reason': 'error'}, 'finalize': False, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}Passed
transition 1{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 1, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 1, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}Passed
transition 2{'consumed': True, 'error': None, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [], 'value': [0]}{'consumed': True, 'error': None, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [], 'value': [0]}Passed
transition 3{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}{'consumed': False, 'error': None, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': ['value']}Passed
transition 4{'consumed': True, 'error': {'generation': 0, 'reason': 'error'}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': False, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}{'consumed': True, 'error': {'generation': 0, 'reason': 'error'}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': False, 'stale': True, 'unhandled': ['error', 'handler-failure'], 'value': []}Passed
transition 5{'consumed': True, 'error': {'generation': 0, 'reason': None}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [None, 'handler-failure'], 'value': []}{'consumed': True, 'error': {'generation': 0, 'reason': None}, 'finalize': True, 'outstanding': 0, 'publish': False, 'reject': False, 'release': True, 'stale': True, 'unhandled': [None, 'handler-failure'], 'value': []}Passed
transition 6{'consumed': True, 'error': None, 'finalize': False, 'outstanding': 0, 'publish': True, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': [None]}{'consumed': True, 'error': None, 'finalize': False, 'outstanding': 0, 'publish': True, 'reject': False, 'release': False, 'stale': False, 'unhandled': [], 'value': [None]}Passed
transition 7{'consumed': False, 'error': {'generation': 2, 'reason': 'error'}, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': ['error', 'handler-failure'], 'value': []}{'consumed': False, 'error': {'generation': 2, 'reason': 'error'}, 'finalize': False, 'outstanding': 3, 'publish': False, 'reject': False, 'release': False, 'stale': False, 'unhandled': ['error', 'handler-failure'], 'value': []}Passed

SHA-256 / 7689637a1e5fc6d691e62e0181adfb3d840095ed619eb129437130bfd325b7fa

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:50.457700+00:00.

Case digest / 1e986ad25664686508ca45dad0fafe3d6e930da3e065b880e8d534778c1f0e66