{"abstract":"A dead observer target receives a temporary strong pin; 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['dispatching'] and s['alive']; a retained regression distinguishes it from the full transition.","family":"s3-listener-weak-target-pin","id":"FA-41546","implementations":{"attempt":{"sha256":"a4a6f4eed00ffd38bf4ca6e01057700004a9e587b158ccbe0898bf230eb7c38c","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'],\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":"e46c39c2567ab24a6aa44ce73ad7a0ee27b0c4b4b263cf695f6de915ce16f737","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'],\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-pin","generated_at":"2026-09-29T14:43:42.246911+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 pin decision from the complete contract: s['dispatching'] and (s['alive'] or s['strong']) and not s['finalized'].","root_cause":"The pin decision in the weak-target listener model is computed as s['dispatching'], losing a required lifecycle condition.","sha256":"0d1a5dcc6d554322487dbdc3b562e2d26b336766b1bc8d691bb6c8839af5b449","title":"A dead observer target receives a temporary strong pin · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.742,"exit_code":1,"observations":[{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":true,"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":false,"orphan":null,"pin":false,"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":false,"orphan":null,"pin":true,"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\": false, \"pin\": true, \"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\": false, \"pin\": false, \"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\": false, \"pin\": true, \"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.205,"exit_code":1,"observations":[{"actual":{"context":true,"defer":false,"invoke":false,"orphan":null,"pin":true,"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":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":true,"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\": false, \"pin\": true, \"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\": 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\": true, \"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":47.115,"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"}