{"abstract":"Asynchronous rejection diagnostics attribute an old callback to the current generation; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"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.\nField 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']","evaluation_group":"s3-listener-async-settlement","failed_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.","family":"s3-listener-async-settlement-error","id":"FA-42316","implementations":{"attempt":{"sha256":"f2b0812c279a400b40e1ce4e6c6ec5020dfca3225260b91981e4093463f47782","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'publish': s['generation']==s['settled_generation'] and not s['cancel'] and not s['duplicate'] and not s['rejected'],\n        'reject': s['rejected'] and not s['duplicate'] and s['generation']==s['settled_generation'] and not s['cancel'],\n        'outstanding': max(0,s['outstanding']-int(not s['duplicate'])),\n        'release': s['acquired'] and not s['duplicate'],\n        'value': [s['value']] if not s['rejected'] else [],\n        'error': {'generation':s['settled_generation'],'reason':s['value']} if s['rejected'] else None,\n        'unhandled': ([s['error'],s['handler_failure']] if s['handler_failure'] is not None else ([] if s['handler'] else [s['error']])) if s['rejected'] else [],\n        'finalize': s['closing'] and max(0,s['outstanding']-int(not s['duplicate']))==0,\n        'stale': s['generation']!=s['settled_generation'],\n        'consumed': not s['duplicate'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {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})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"7410f1190061d22166e8943a37b8f449a64c6b7d8fcfac4132d376ec42ffc76c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'publish': s['generation']==s['settled_generation'] and not s['cancel'] and not s['duplicate'] and not s['rejected'],\n        'reject': s['rejected'] and not s['duplicate'] and s['generation']==s['settled_generation'] and not s['cancel'],\n        'outstanding': max(0,s['outstanding']-int(not s['duplicate'])),\n        'release': s['acquired'] and not s['duplicate'],\n        'value': [s['value']] if not s['rejected'] else [],\n        'error': {'generation':s['generation'],'reason':s['error']} if s['rejected'] else None,\n        'unhandled': ([s['error'],s['handler_failure']] if s['handler_failure'] is not None else ([] if s['handler'] else [s['error']])) if s['rejected'] else [],\n        'finalize': s['closing'] and max(0,s['outstanding']-int(not s['duplicate']))==0,\n        'stale': s['generation']!=s['settled_generation'],\n        'consumed': not s['duplicate'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {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})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"7689637a1e5fc6d691e62e0181adfb3d840095ed619eb129437130bfd325b7fa","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'publish': s['generation']==s['settled_generation'] and not s['cancel'] and not s['duplicate'] and not s['rejected'],\n        'reject': s['rejected'] and not s['duplicate'] and s['generation']==s['settled_generation'] and not s['cancel'],\n        'outstanding': max(0,s['outstanding']-int(not s['duplicate'])),\n        'release': s['acquired'] and not s['duplicate'],\n        'value': [s['value']] if not s['rejected'] else [],\n        'error': {'generation':s['settled_generation'],'reason':s['error']} if s['rejected'] else None,\n        'unhandled': ([s['error'],s['handler_failure']] if s['handler_failure'] is not None else ([] if s['handler'] else [s['error']])) if s['rejected'] else [],\n        'finalize': s['closing'] and max(0,s['outstanding']-int(not s['duplicate']))==0,\n        'stale': s['generation']!=s['settled_generation'],\n        'consumed': not s['duplicate'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {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})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic, bounded, single-threaded transition planner. Returned plans model state changes; they do not implement a production event framework. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-listener-async-settlement-error","generated_at":"2026-09-29T14:43:50.457700+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Observer implementations need to preserve this state while subscriptions enter, execute, and leave their lifecycle.","repair":"Compute the error decision from the complete contract: {'generation':s['settled_generation'],'reason':s['error']} if s['rejected'] else None.","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.","sha256":"1e986ad25664686508ca45dad0fafe3d6e930da3e065b880e8d534778c1f0e66","title":"Asynchronous rejection diagnostics attribute an old callback to the current generation · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.782,"exit_code":1,"observations":[{"actual":{"consumed":true,"error":{"generation":0,"reason":0},"finalize":false,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":["error","handler-failure"],"value":[]},"check":"transition 0","expected":{"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":false},{"actual":{"consumed":false,"error":null,"finalize":false,"outstanding":1,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"check":"transition 1","expected":{"consumed":false,"error":null,"finalize":false,"outstanding":1,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"passed":true},{"actual":{"consumed":true,"error":null,"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[],"value":[0]},"check":"transition 2","expected":{"consumed":true,"error":null,"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[],"value":[0]},"passed":true},{"actual":{"consumed":false,"error":null,"finalize":false,"outstanding":3,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"check":"transition 3","expected":{"consumed":false,"error":null,"finalize":false,"outstanding":3,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"passed":true},{"actual":{"consumed":true,"error":{"generation":0,"reason":null},"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":false,"stale":true,"unhandled":["error","handler-failure"],"value":[]},"check":"transition 4","expected":{"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":false},{"actual":{"consumed":true,"error":{"generation":0,"reason":0},"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[null,"handler-failure"],"value":[]},"check":"transition 5","expected":{"consumed":true,"error":{"generation":0,"reason":null},"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[null,"handler-failure"],"value":[]},"passed":false},{"actual":{"consumed":true,"error":null,"finalize":false,"outstanding":0,"publish":true,"reject":false,"release":false,"stale":false,"unhandled":[],"value":[null]},"check":"transition 6","expected":{"consumed":true,"error":null,"finalize":false,"outstanding":0,"publish":true,"reject":false,"release":false,"stale":false,"unhandled":[],"value":[null]},"passed":true},{"actual":{"consumed":false,"error":{"generation":2,"reason":"value"},"finalize":false,"outstanding":3,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":["error","handler-failure"],"value":[]},"check":"transition 7","expected":{"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":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 0, \"reason\": 0}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 0, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": true, \"consumed\": true}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 1, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 1, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [0], \"error\": null, \"unhandled\": [], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [0], \"error\": null, \"unhandled\": [], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [], \"error\": {\"generation\": 0, \"reason\": null}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [], \"error\": {\"generation\": 0, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 0, \"reason\": 0}, \"unhandled\": [null, \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 0, \"reason\": null}, \"unhandled\": [null, \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"publish\": true, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [null], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": true}, \"expected\": {\"publish\": true, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [null], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": true}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [], \"error\": {\"generation\": 2, \"reason\": \"value\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [], \"error\": {\"generation\": 2, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.241,"exit_code":1,"observations":[{"actual":{"consumed":true,"error":{"generation":2,"reason":"error"},"finalize":false,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":["error","handler-failure"],"value":[]},"check":"transition 0","expected":{"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":false},{"actual":{"consumed":false,"error":null,"finalize":false,"outstanding":1,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"check":"transition 1","expected":{"consumed":false,"error":null,"finalize":false,"outstanding":1,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"passed":true},{"actual":{"consumed":true,"error":null,"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[],"value":[0]},"check":"transition 2","expected":{"consumed":true,"error":null,"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[],"value":[0]},"passed":true},{"actual":{"consumed":false,"error":null,"finalize":false,"outstanding":3,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"check":"transition 3","expected":{"consumed":false,"error":null,"finalize":false,"outstanding":3,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"passed":true},{"actual":{"consumed":true,"error":{"generation":2,"reason":"error"},"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":false,"stale":true,"unhandled":["error","handler-failure"],"value":[]},"check":"transition 4","expected":{"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":false},{"actual":{"consumed":true,"error":{"generation":2,"reason":null},"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[null,"handler-failure"],"value":[]},"check":"transition 5","expected":{"consumed":true,"error":{"generation":0,"reason":null},"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[null,"handler-failure"],"value":[]},"passed":false},{"actual":{"consumed":true,"error":null,"finalize":false,"outstanding":0,"publish":true,"reject":false,"release":false,"stale":false,"unhandled":[],"value":[null]},"check":"transition 6","expected":{"consumed":true,"error":null,"finalize":false,"outstanding":0,"publish":true,"reject":false,"release":false,"stale":false,"unhandled":[],"value":[null]},"passed":true},{"actual":{"consumed":false,"error":{"generation":2,"reason":"error"},"finalize":false,"outstanding":3,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":["error","handler-failure"],"value":[]},"check":"transition 7","expected":{"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":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 2, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 0, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": true, \"consumed\": true}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 1, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 1, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [0], \"error\": null, \"unhandled\": [], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [0], \"error\": null, \"unhandled\": [], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [], \"error\": {\"generation\": 2, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [], \"error\": {\"generation\": 0, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 2, \"reason\": null}, \"unhandled\": [null, \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 0, \"reason\": null}, \"unhandled\": [null, \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"publish\": true, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [null], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": true}, \"expected\": {\"publish\": true, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [null], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": true}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [], \"error\": {\"generation\": 2, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [], \"error\": {\"generation\": 2, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.442,"exit_code":0,"observations":[{"actual":{"consumed":true,"error":{"generation":0,"reason":"error"},"finalize":false,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":["error","handler-failure"],"value":[]},"check":"transition 0","expected":{"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":true},{"actual":{"consumed":false,"error":null,"finalize":false,"outstanding":1,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"check":"transition 1","expected":{"consumed":false,"error":null,"finalize":false,"outstanding":1,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"passed":true},{"actual":{"consumed":true,"error":null,"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[],"value":[0]},"check":"transition 2","expected":{"consumed":true,"error":null,"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[],"value":[0]},"passed":true},{"actual":{"consumed":false,"error":null,"finalize":false,"outstanding":3,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"check":"transition 3","expected":{"consumed":false,"error":null,"finalize":false,"outstanding":3,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":[],"value":["value"]},"passed":true},{"actual":{"consumed":true,"error":{"generation":0,"reason":"error"},"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":false,"stale":true,"unhandled":["error","handler-failure"],"value":[]},"check":"transition 4","expected":{"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":true},{"actual":{"consumed":true,"error":{"generation":0,"reason":null},"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[null,"handler-failure"],"value":[]},"check":"transition 5","expected":{"consumed":true,"error":{"generation":0,"reason":null},"finalize":true,"outstanding":0,"publish":false,"reject":false,"release":true,"stale":true,"unhandled":[null,"handler-failure"],"value":[]},"passed":true},{"actual":{"consumed":true,"error":null,"finalize":false,"outstanding":0,"publish":true,"reject":false,"release":false,"stale":false,"unhandled":[],"value":[null]},"check":"transition 6","expected":{"consumed":true,"error":null,"finalize":false,"outstanding":0,"publish":true,"reject":false,"release":false,"stale":false,"unhandled":[],"value":[null]},"passed":true},{"actual":{"consumed":false,"error":{"generation":2,"reason":"error"},"finalize":false,"outstanding":3,"publish":false,"reject":false,"release":false,"stale":false,"unhandled":["error","handler-failure"],"value":[]},"check":"transition 7","expected":{"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":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 0, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 0, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": true, \"consumed\": true}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 1, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 1, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [0], \"error\": null, \"unhandled\": [], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [0], \"error\": null, \"unhandled\": [], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [\"value\"], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [], \"error\": {\"generation\": 0, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [], \"error\": {\"generation\": 0, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 0, \"reason\": null}, \"unhandled\": [null, \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 0, \"release\": true, \"value\": [], \"error\": {\"generation\": 0, \"reason\": null}, \"unhandled\": [null, \"handler-failure\"], \"finalize\": true, \"stale\": true, \"consumed\": true}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"publish\": true, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [null], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": true}, \"expected\": {\"publish\": true, \"reject\": false, \"outstanding\": 0, \"release\": false, \"value\": [null], \"error\": null, \"unhandled\": [], \"finalize\": false, \"stale\": false, \"consumed\": true}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [], \"error\": {\"generation\": 2, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"expected\": {\"publish\": false, \"reject\": false, \"outstanding\": 3, \"release\": false, \"value\": [], \"error\": {\"generation\": 2, \"reason\": \"error\"}, \"unhandled\": [\"error\", \"handler-failure\"], \"finalize\": false, \"stale\": false, \"consumed\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}