{"abstract":"A weak listener invokes a finalized target; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Resolve a weakly owned observer target at dispatch time. A dead or finalized target is skipped, its registration becomes a tombstone, and a live target is pinned only for the callback. Sweep only tombstones outside dispatch. A strong-owner override prevents collection but does not revive a finalized target. Dead callback contexts are also excluded. A weak method binding resolves its exact method name or becomes absent; a different extant fallback method is never invoked. 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: invoke = s['registered'] and (s['alive'] or s['strong']) and not s['finalized'] and s['context_alive'] and s['callback']; pin = s['dispatching'] and (s['alive'] or s['strong']) and not s['finalized']; tombstone = s['tombstone'] or s['finalized'] or (not s['alive'] and not s['strong']); sweep = s['sweep'] and s['tombstone'] and not s['dispatching']; context = not s['context_alive']; pins = max(0,s['pins']-int(s['dispatching'])); retain = s['strong'] and not s['finalized']; resurrect = False; orphan = s['method'] if s['method'] in s['methods'] else None; defer = s['sweep'] and s['tombstone'] and s['dispatching']","evaluation_group":"s3-listener-weak-target","failed_approach":"The partial repair uses s['registered'] and (s['alive'] or s['strong']) and s['callback']; a retained regression distinguishes it from the full transition.","family":"s3-listener-weak-target-invoke","id":"FA-41541","implementations":{"attempt":{"sha256":"638e602249d1734ad125bedb858166044a06649930060eb3c0f429f3f6044779","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'invoke': s['registered'] and (s['alive'] or s['strong']) and s['callback'],\n        'pin': s['dispatching'] and (s['alive'] or s['strong']) and not s['finalized'],\n        'tombstone': s['tombstone'] or s['finalized'] or (not s['alive'] and not s['strong']),\n        'sweep': s['sweep'] and s['tombstone'] and not s['dispatching'],\n        'context': not s['context_alive'],\n        'pins': max(0,s['pins']-int(s['dispatching'])),\n        'retain': s['strong'] and not s['finalized'],\n        'resurrect': False,\n        'orphan': s['method'] if s['method'] in s['methods'] else None,\n        'defer': s['sweep'] and s['tombstone'] and s['dispatching'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 2, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 1, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': True, 'finalized': True, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 2, 'sweep': True, 'callback': True, 'registered': False, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 2, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': False, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 2, 'sweep': False, 'callback': False, 'registered': False, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': False, 'sweep': False, 'context': False, 'pins': 2, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': True, 'registered': True, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': False, 'tombstone': True, 'pins': 2, 'sweep': True, 'callback': False, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': True, 'context': True, 'pins': 2, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 2, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 1, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 2: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 4, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 3, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': True, 'finalized': True, 'strong': False, 'context_alive': True, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': False, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': False, 'strong': True, 'context_alive': True, 'dispatching': False, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': False, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': True, 'context': False, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 4, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 3, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 3: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 6, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 5, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': True}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 6, 'sweep': True, 'callback': False, 'registered': False, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': False, 'sweep': False, 'context': False, 'pins': 6, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': False, 'tombstone': True, 'pins': 0, 'sweep': False, 'callback': False, 'registered': True, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 6, 'sweep': False, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 5, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': True, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': False, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 6, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 5, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 4: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 8, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 7, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': True, 'finalized': True, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': True, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': True, 'strong': False, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 8, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 7, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 5: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 10, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 9, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': False, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': True, 'registered': False, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': False, 'finalized': False, 'strong': True, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': True, 'pin': False, 'tombstone': False, 'sweep': False, 'context': False, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': True, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 10, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 9, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': True, 'registered': False, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': False, 'sweep': False, 'context': True, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 10, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 9, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})]}\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":"c71d067e1ac554855cd9e043b3da7034949e58932a37732dd763b2fe0c8e42ca","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'invoke': s['registered'] and s['callback'],\n        'pin': s['dispatching'] and (s['alive'] or s['strong']) and not s['finalized'],\n        'tombstone': s['tombstone'] or s['finalized'] or (not s['alive'] and not s['strong']),\n        'sweep': s['sweep'] and s['tombstone'] and not s['dispatching'],\n        'context': not s['context_alive'],\n        'pins': max(0,s['pins']-int(s['dispatching'])),\n        'retain': s['strong'] and not s['finalized'],\n        'resurrect': False,\n        'orphan': s['method'] if s['method'] in s['methods'] else None,\n        'defer': s['sweep'] and s['tombstone'] and s['dispatching'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 2, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 1, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': True, 'finalized': True, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 2, 'sweep': True, 'callback': True, 'registered': False, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 2, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': False, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 2, 'sweep': False, 'callback': False, 'registered': False, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': False, 'sweep': False, 'context': False, 'pins': 2, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': True, 'registered': True, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': False, 'tombstone': True, 'pins': 2, 'sweep': True, 'callback': False, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': True, 'context': True, 'pins': 2, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 2, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 1, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 2: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 4, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 3, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': True, 'finalized': True, 'strong': False, 'context_alive': True, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': False, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': False, 'strong': True, 'context_alive': True, 'dispatching': False, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': False, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': True, 'context': False, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 4, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 3, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 3: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 6, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 5, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': True}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 6, 'sweep': True, 'callback': False, 'registered': False, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': False, 'sweep': False, 'context': False, 'pins': 6, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': False, 'tombstone': True, 'pins': 0, 'sweep': False, 'callback': False, 'registered': True, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 6, 'sweep': False, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 5, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': True, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': False, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 6, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 5, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 4: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 8, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 7, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': True, 'finalized': True, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': True, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': True, 'strong': False, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 8, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 7, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 5: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 10, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 9, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': False, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': True, 'registered': False, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': False, 'finalized': False, 'strong': True, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': True, 'pin': False, 'tombstone': False, 'sweep': False, 'context': False, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': True, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 10, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 9, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': True, 'registered': False, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': False, 'sweep': False, 'context': True, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 10, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 9, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})]}\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":"eeba5fa8bf908359e8afab29ed113c1f3ef9850125de988760951aeabc1f30b0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'invoke': s['registered'] and (s['alive'] or s['strong']) and not s['finalized'] and s['context_alive'] and s['callback'],\n        'pin': s['dispatching'] and (s['alive'] or s['strong']) and not s['finalized'],\n        'tombstone': s['tombstone'] or s['finalized'] or (not s['alive'] and not s['strong']),\n        'sweep': s['sweep'] and s['tombstone'] and not s['dispatching'],\n        'context': not s['context_alive'],\n        'pins': max(0,s['pins']-int(s['dispatching'])),\n        'retain': s['strong'] and not s['finalized'],\n        'resurrect': False,\n        'orphan': s['method'] if s['method'] in s['methods'] else None,\n        'defer': s['sweep'] and s['tombstone'] and s['dispatching'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 2, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 1, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': True, 'finalized': True, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 2, 'sweep': True, 'callback': True, 'registered': False, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 2, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': False, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 2, 'sweep': False, 'callback': False, 'registered': False, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': False, 'sweep': False, 'context': False, 'pins': 2, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': True, 'registered': True, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': False, 'tombstone': True, 'pins': 2, 'sweep': True, 'callback': False, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': True, 'context': True, 'pins': 2, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 2, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 1, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 2: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 4, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 3, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': True, 'finalized': True, 'strong': False, 'context_alive': True, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': False, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': False, 'strong': True, 'context_alive': True, 'dispatching': False, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': False, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': True, 'context': False, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 4, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 3, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 3: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 6, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 5, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': True}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 6, 'sweep': True, 'callback': False, 'registered': False, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': False, 'sweep': False, 'context': False, 'pins': 6, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': False, 'tombstone': True, 'pins': 0, 'sweep': False, 'callback': False, 'registered': True, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 6, 'sweep': False, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 5, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': True, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': False, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 6, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 5, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 4: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': True, 'pins': 8, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 7, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': True, 'finalized': True, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': True, 'strong': False, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': 'on_data', 'defer': False}), ({'alive': False, 'finalized': True, 'strong': False, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 8, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 7, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})], 5: [({'alive': True, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 10, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 9, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': False, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 0, 'sweep': True, 'callback': True, 'registered': False, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True}), ({'alive': False, 'finalized': False, 'strong': True, 'context_alive': True, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': True, 'pin': False, 'tombstone': False, 'sweep': False, 'context': False, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': True, 'callback': False, 'registered': True, 'method': 'missing', 'methods': ['on_data'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': True, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 10, 'sweep': True, 'callback': True, 'registered': True, 'method': 'on_data', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 9, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': False, 'strong': True, 'context_alive': False, 'dispatching': True, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': True, 'registered': False, 'method': 'missing', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': True, 'tombstone': False, 'sweep': False, 'context': True, 'pins': 0, 'retain': True, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': False, 'finalized': False, 'strong': False, 'context_alive': False, 'dispatching': False, 'tombstone': False, 'pins': 0, 'sweep': False, 'callback': False, 'registered': False, 'method': 'on_data', 'methods': [], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': True, 'pins': 0, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': False}), ({'alive': True, 'finalized': True, 'strong': True, 'context_alive': True, 'dispatching': True, 'tombstone': True, 'pins': 10, 'sweep': True, 'callback': True, 'registered': True, 'method': 'missing', 'methods': ['fallback'], 'fallback': 'fallback'}, {'invoke': False, 'pin': False, 'tombstone': True, 'sweep': False, 'context': False, 'pins': 9, 'retain': False, 'resurrect': False, 'orphan': None, 'defer': True})]}\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-weak-target-invoke","generated_at":"2026-09-29T14:43:42.165698+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 invoke decision from the complete contract: s['registered'] and (s['alive'] or s['strong']) and not s['finalized'] and s['context_alive'] and s['callback'].","root_cause":"The invoke decision in the weak-target listener model is computed as s['registered'] and s['callback'], losing a required lifecycle condition.","sha256":"82eb82f827e8dd0810c564fba4c2fcba91e705ae4e2f87657f1bec75025c5905","title":"A weak listener invokes a finalized target · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":51.783,"exit_code":1,"observations":[{"actual":{"context":true,"defer":false,"invoke":true,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 0","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":false},{"actual":{"context":true,"defer":true,"invoke":true,"orphan":null,"pin":true,"pins":0,"resurrect":false,"retain":true,"sweep":false,"tombstone":true},"check":"transition 1","expected":{"context":true,"defer":true,"invoke":false,"orphan":null,"pin":true,"pins":0,"resurrect":false,"retain":true,"sweep":false,"tombstone":true},"passed":false},{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 2","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":true},{"actual":{"context":false,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":false},"check":"transition 3","expected":{"context":false,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":false},"passed":true},{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 4","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":true},{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":true,"tombstone":true},"check":"transition 5","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":true,"tombstone":true},"passed":true},{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 6","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":true},{"actual":{"context":false,"defer":true,"invoke":true,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 7","expected":{"context":false,"defer":true,"invoke":false,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"invoke\": true, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"invoke\": true, \"pin\": true, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": true, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"expected\": {\"invoke\": false, \"pin\": true, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": true, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"passed\": false}, {\"check\": \"transition 2\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": false, \"sweep\": false, \"context\": false, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": false, \"sweep\": false, \"context\": false, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": true, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": true, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"invoke\": true, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": false, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": false, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":51.517,"exit_code":1,"observations":[{"actual":{"context":true,"defer":false,"invoke":true,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 0","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":false},{"actual":{"context":true,"defer":true,"invoke":true,"orphan":null,"pin":true,"pins":0,"resurrect":false,"retain":true,"sweep":false,"tombstone":true},"check":"transition 1","expected":{"context":true,"defer":true,"invoke":false,"orphan":null,"pin":true,"pins":0,"resurrect":false,"retain":true,"sweep":false,"tombstone":true},"passed":false},{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 2","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":true},{"actual":{"context":false,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":false},"check":"transition 3","expected":{"context":false,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":false},"passed":true},{"actual":{"context":true,"defer":false,"invoke":true,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 4","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":false},{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":true,"tombstone":true},"check":"transition 5","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":true,"tombstone":true},"passed":true},{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 6","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":true},{"actual":{"context":false,"defer":true,"invoke":true,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 7","expected":{"context":false,"defer":true,"invoke":false,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"invoke\": true, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"invoke\": true, \"pin\": true, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": true, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"expected\": {\"invoke\": false, \"pin\": true, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": true, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"passed\": false}, {\"check\": \"transition 2\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": false, \"sweep\": false, \"context\": false, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": false, \"sweep\": false, \"context\": false, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"invoke\": true, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": true, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": true, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"invoke\": true, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": false, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": false, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":48.962,"exit_code":0,"observations":[{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 0","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":true},{"actual":{"context":true,"defer":true,"invoke":false,"orphan":null,"pin":true,"pins":0,"resurrect":false,"retain":true,"sweep":false,"tombstone":true},"check":"transition 1","expected":{"context":true,"defer":true,"invoke":false,"orphan":null,"pin":true,"pins":0,"resurrect":false,"retain":true,"sweep":false,"tombstone":true},"passed":true},{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 2","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":true},{"actual":{"context":false,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":false},"check":"transition 3","expected":{"context":false,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":false,"tombstone":false},"passed":true},{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 4","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":true},{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":true,"tombstone":true},"check":"transition 5","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":2,"resurrect":false,"retain":false,"sweep":true,"tombstone":true},"passed":true},{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 6","expected":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":false,"pins":0,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":true},{"actual":{"context":false,"defer":true,"invoke":false,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"check":"transition 7","expected":{"context":false,"defer":true,"invoke":false,"orphan":null,"pin":false,"pins":1,"resurrect":false,"retain":false,"sweep":false,"tombstone":true},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"invoke\": false, \"pin\": true, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": true, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"expected\": {\"invoke\": false, \"pin\": true, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": true, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": false, \"sweep\": false, \"context\": false, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": false, \"sweep\": false, \"context\": false, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": true, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": true, \"context\": true, \"pins\": 2, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": true, \"pins\": 0, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": false, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"expected\": {\"invoke\": false, \"pin\": false, \"tombstone\": true, \"sweep\": false, \"context\": false, \"pins\": 1, \"retain\": false, \"resurrect\": false, \"orphan\": null, \"defer\": true}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}