{"abstract":"Reference counting disposes a borrowed upstream; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"A reference-counted observer connection transitions from before subscribers to after subscribers. Connect on zero-to-positive, disconnect on positive-to-zero unless keepalive; a failed connection is retried only when requested. A generation advances only on a fresh successful connection. Ownership controls upstream disposal, not subscriber accounting. 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: connect = s['after']>0 and not s['connected'] and (not s['failed'] or s['retry']); disconnect = s['before']>0 and s['after']==0 and s['connected'] and not s['keep']; delta = s['after']-s['before']; generation = s['generation']+int(not s['connected'] and s['after']>0 and s['successful']); dispose = s['owned'] and s['connected'] and s['after']==0 and not s['keep']; retry = s['retry'] and s['failed'] and s['after']>0 and not s['connected']; idle = s['after']==0 and s['connected'] and s['keep']; pending = s['pending'] if s['after']>0 else 0; first = s['before']==0 and s['after']>0; last = s['before']>0 and s['after']==0","evaluation_group":"s3-listener-refcount-connect","failed_approach":"The partial repair uses s['owned'] and s['after']==0; a retained regression distinguishes it from the full transition.","family":"s3-listener-refcount-connect-dispose","id":"FA-41511","implementations":{"attempt":{"sha256":"5475b50ee1f991a37b46c775a7aa858950eabcb1d455a26aefb32b18d1dc4df2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'connect': s['after']>0 and not s['connected'] and (not s['failed'] or s['retry']),\n        'disconnect': s['before']>0 and s['after']==0 and s['connected'] and not s['keep'],\n        'delta': s['after']-s['before'],\n        'generation': s['generation']+int(not s['connected'] and s['after']>0 and s['successful']),\n        'dispose': s['owned'] and s['after']==0,\n        'retry': s['retry'] and s['failed'] and s['after']>0 and not s['connected'],\n        'idle': s['after']==0 and s['connected'] and s['keep'],\n        'pending': s['pending'] if s['after']>0 else 0,\n        'first': s['before']==0 and s['after']>0,\n        'last': s['before']>0 and s['after']==0,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'before': 3, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': False, 'pending': 2}, {'connect': False, 'disconnect': False, 'delta': -3, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 3, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': False, 'generation': 2, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 2, 'generation': 2, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': True, 'connected': False, 'failed': False, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 3, 'after': 1, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 0, 'successful': True, 'pending': 2}, {'connect': False, 'disconnect': False, 'delta': -2, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 2, 'first': False, 'last': False}), ({'before': 1, 'after': 3, 'keep': True, 'connected': False, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': True, 'disconnect': False, 'delta': 2, 'generation': 0, 'dispose': False, 'retry': True, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 1, 'keep': True, 'connected': True, 'failed': False, 'retry': True, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 3, 'after': 3, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 2, 'successful': True, 'pending': 2}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 2, 'dispose': False, 'retry': False, 'idle': False, 'pending': 2, 'first': False, 'last': False})], 2: [({'before': 1, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': -1, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 6, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': 5, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 4, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': False, 'generation': 4, 'successful': False, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 6, 'after': 1, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 4, 'successful': False, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': -5, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 4, 'first': False, 'last': False}), ({'before': 1, 'after': 6, 'keep': True, 'connected': True, 'failed': True, 'retry': False, 'owned': False, 'generation': 4, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 5, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 6, 'keep': True, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 4, 'successful': False, 'pending': 0}, {'connect': True, 'disconnect': False, 'delta': 6, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': True, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 6, 'after': 6, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 4, 'successful': True, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 4, 'first': False, 'last': False})], 3: [({'before': 9, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': -9, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 9, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 6, 'successful': False, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': 8, 'generation': 6, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': True, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 9, 'after': 1, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 6, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': -8, 'generation': 6, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False}), ({'before': 1, 'after': 1, 'keep': False, 'connected': True, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 1, 'keep': False, 'connected': True, 'failed': False, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 9, 'after': 9, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 6, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 6, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False})], 4: [({'before': 12, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': -12, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 12, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 11, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 8, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 8, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 8, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 12, 'after': 1, 'keep': False, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 8, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': -11, 'generation': 8, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 12, 'keep': True, 'connected': True, 'failed': False, 'retry': False, 'owned': True, 'generation': 0, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 11, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 8, 'first': False, 'last': False}), ({'before': 0, 'after': 12, 'keep': False, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 0, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 12, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': True, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 12, 'after': 12, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 8, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 8, 'dispose': False, 'retry': False, 'idle': False, 'pending': 8, 'first': False, 'last': False})], 5: [({'before': 1, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 10, 'successful': False, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': -1, 'generation': 10, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 15, 'after': 1, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 10, 'successful': False, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': -14, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 10, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': True, 'generation': 10, 'successful': True, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 15, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 10, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 14, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 15, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 15, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': True, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 15, 'after': 15, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 10, 'successful': True, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 10, 'first': False, 'last': False})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"2ccb77770825d95c993ed5b3811e84ab138a694c7fb880074e610dba2ebf4f86","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'connect': s['after']>0 and not s['connected'] and (not s['failed'] or s['retry']),\n        'disconnect': s['before']>0 and s['after']==0 and s['connected'] and not s['keep'],\n        'delta': s['after']-s['before'],\n        'generation': s['generation']+int(not s['connected'] and s['after']>0 and s['successful']),\n        'dispose': s['connected'] and s['after']==0,\n        'retry': s['retry'] and s['failed'] and s['after']>0 and not s['connected'],\n        'idle': s['after']==0 and s['connected'] and s['keep'],\n        'pending': s['pending'] if s['after']>0 else 0,\n        'first': s['before']==0 and s['after']>0,\n        'last': s['before']>0 and s['after']==0,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'before': 3, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': False, 'pending': 2}, {'connect': False, 'disconnect': False, 'delta': -3, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 3, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': False, 'generation': 2, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 2, 'generation': 2, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': True, 'connected': False, 'failed': False, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 3, 'after': 1, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 0, 'successful': True, 'pending': 2}, {'connect': False, 'disconnect': False, 'delta': -2, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 2, 'first': False, 'last': False}), ({'before': 1, 'after': 3, 'keep': True, 'connected': False, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': True, 'disconnect': False, 'delta': 2, 'generation': 0, 'dispose': False, 'retry': True, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 1, 'keep': True, 'connected': True, 'failed': False, 'retry': True, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 3, 'after': 3, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 2, 'successful': True, 'pending': 2}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 2, 'dispose': False, 'retry': False, 'idle': False, 'pending': 2, 'first': False, 'last': False})], 2: [({'before': 1, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': -1, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 6, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': 5, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 4, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': False, 'generation': 4, 'successful': False, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 6, 'after': 1, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 4, 'successful': False, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': -5, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 4, 'first': False, 'last': False}), ({'before': 1, 'after': 6, 'keep': True, 'connected': True, 'failed': True, 'retry': False, 'owned': False, 'generation': 4, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 5, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 6, 'keep': True, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 4, 'successful': False, 'pending': 0}, {'connect': True, 'disconnect': False, 'delta': 6, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': True, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 6, 'after': 6, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 4, 'successful': True, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 4, 'first': False, 'last': False})], 3: [({'before': 9, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': -9, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 9, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 6, 'successful': False, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': 8, 'generation': 6, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': True, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 9, 'after': 1, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 6, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': -8, 'generation': 6, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False}), ({'before': 1, 'after': 1, 'keep': False, 'connected': True, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 1, 'keep': False, 'connected': True, 'failed': False, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 9, 'after': 9, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 6, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 6, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False})], 4: [({'before': 12, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': -12, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 12, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 11, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 8, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 8, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 8, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 12, 'after': 1, 'keep': False, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 8, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': -11, 'generation': 8, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 12, 'keep': True, 'connected': True, 'failed': False, 'retry': False, 'owned': True, 'generation': 0, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 11, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 8, 'first': False, 'last': False}), ({'before': 0, 'after': 12, 'keep': False, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 0, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 12, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': True, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 12, 'after': 12, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 8, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 8, 'dispose': False, 'retry': False, 'idle': False, 'pending': 8, 'first': False, 'last': False})], 5: [({'before': 1, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 10, 'successful': False, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': -1, 'generation': 10, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 15, 'after': 1, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 10, 'successful': False, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': -14, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 10, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': True, 'generation': 10, 'successful': True, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 15, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 10, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 14, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 15, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 15, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': True, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 15, 'after': 15, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 10, 'successful': True, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 10, 'first': False, 'last': False})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"3e5c3770a4a3041b41e02df89d3c0bdb1a2f63d0948987bfe90ece04e3263694","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'connect': s['after']>0 and not s['connected'] and (not s['failed'] or s['retry']),\n        'disconnect': s['before']>0 and s['after']==0 and s['connected'] and not s['keep'],\n        'delta': s['after']-s['before'],\n        'generation': s['generation']+int(not s['connected'] and s['after']>0 and s['successful']),\n        'dispose': s['owned'] and s['connected'] and s['after']==0 and not s['keep'],\n        'retry': s['retry'] and s['failed'] and s['after']>0 and not s['connected'],\n        'idle': s['after']==0 and s['connected'] and s['keep'],\n        'pending': s['pending'] if s['after']>0 else 0,\n        'first': s['before']==0 and s['after']>0,\n        'last': s['before']>0 and s['after']==0,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'before': 3, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': False, 'pending': 2}, {'connect': False, 'disconnect': False, 'delta': -3, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 3, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': False, 'generation': 2, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 2, 'generation': 2, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': True, 'connected': False, 'failed': False, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 3, 'after': 1, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 0, 'successful': True, 'pending': 2}, {'connect': False, 'disconnect': False, 'delta': -2, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 2, 'first': False, 'last': False}), ({'before': 1, 'after': 3, 'keep': True, 'connected': False, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': True, 'disconnect': False, 'delta': 2, 'generation': 0, 'dispose': False, 'retry': True, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 1, 'keep': True, 'connected': True, 'failed': False, 'retry': True, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 3, 'after': 3, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 2, 'successful': True, 'pending': 2}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 2, 'dispose': False, 'retry': False, 'idle': False, 'pending': 2, 'first': False, 'last': False})], 2: [({'before': 1, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': -1, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 6, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': 5, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 4, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': False, 'generation': 4, 'successful': False, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 6, 'after': 1, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 4, 'successful': False, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': -5, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 4, 'first': False, 'last': False}), ({'before': 1, 'after': 6, 'keep': True, 'connected': True, 'failed': True, 'retry': False, 'owned': False, 'generation': 4, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 5, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 6, 'keep': True, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 4, 'successful': False, 'pending': 0}, {'connect': True, 'disconnect': False, 'delta': 6, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': True, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 6, 'after': 6, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 4, 'successful': True, 'pending': 4}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 4, 'dispose': False, 'retry': False, 'idle': False, 'pending': 4, 'first': False, 'last': False})], 3: [({'before': 9, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': -9, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 9, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 6, 'successful': False, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': 8, 'generation': 6, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': True, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 9, 'after': 1, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 6, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': -8, 'generation': 6, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False}), ({'before': 1, 'after': 1, 'keep': False, 'connected': True, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 1, 'keep': False, 'connected': True, 'failed': False, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 9, 'after': 9, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 6, 'successful': True, 'pending': 6}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 6, 'dispose': False, 'retry': False, 'idle': False, 'pending': 6, 'first': False, 'last': False})], 4: [({'before': 12, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': -12, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 1, 'after': 12, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 11, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 8, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 8, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 8, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 12, 'after': 1, 'keep': False, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 8, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': -11, 'generation': 8, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 12, 'keep': True, 'connected': True, 'failed': False, 'retry': False, 'owned': True, 'generation': 0, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 11, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 8, 'first': False, 'last': False}), ({'before': 0, 'after': 12, 'keep': False, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 0, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 12, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': True, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 12, 'after': 12, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 8, 'successful': True, 'pending': 8}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 8, 'dispose': False, 'retry': False, 'idle': False, 'pending': 8, 'first': False, 'last': False})], 5: [({'before': 1, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 10, 'successful': False, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': -1, 'generation': 10, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': True}), ({'before': 15, 'after': 1, 'keep': True, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 10, 'successful': False, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': -14, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 10, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': True, 'generation': 10, 'successful': True, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 1, 'after': 15, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': False, 'generation': 10, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 14, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 0, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 0, 'successful': True, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': True, 'pending': 0, 'first': False, 'last': False}), ({'before': 0, 'after': 15, 'keep': False, 'connected': False, 'failed': True, 'retry': False, 'owned': True, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 15, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': True, 'last': False}), ({'before': 0, 'after': 0, 'keep': False, 'connected': False, 'failed': False, 'retry': False, 'owned': False, 'generation': 0, 'successful': False, 'pending': 0}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 0, 'dispose': False, 'retry': False, 'idle': False, 'pending': 0, 'first': False, 'last': False}), ({'before': 15, 'after': 15, 'keep': True, 'connected': True, 'failed': True, 'retry': True, 'owned': True, 'generation': 10, 'successful': True, 'pending': 10}, {'connect': False, 'disconnect': False, 'delta': 0, 'generation': 10, 'dispose': False, 'retry': False, 'idle': False, 'pending': 10, 'first': False, 'last': False})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic, bounded, single-threaded transition planner. Returned plans model state changes; they do not implement a production event framework. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-listener-refcount-connect-dispose","generated_at":"2026-09-29T14:43:41.935884+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 dispose decision from the complete contract: s['owned'] and s['connected'] and s['after']==0 and not s['keep'].","root_cause":"The dispose decision in the refcount-connect listener model is computed as s['connected'] and s['after']==0, losing a required lifecycle condition.","sha256":"30d38d19e3146c16297a8b5af2f3933cb4867800b83a6099e58dd2a8984fa56c","title":"Reference counting disposes a borrowed upstream · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.074,"exit_code":1,"observations":[{"actual":{"connect":false,"delta":-3,"disconnect":false,"dispose":true,"first":false,"generation":0,"idle":true,"last":true,"pending":0,"retry":false},"check":"transition 0","expected":{"connect":false,"delta":-3,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":true,"last":true,"pending":0,"retry":false},"passed":false},{"actual":{"connect":false,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 1","expected":{"connect":false,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":true,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 2","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"passed":false},{"actual":{"connect":false,"delta":-2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":2,"retry":false},"check":"transition 3","expected":{"connect":false,"delta":-2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":2,"retry":false},"passed":true},{"actual":{"connect":true,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":true},"check":"transition 4","expected":{"connect":true,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":true},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 5","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 6","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":2,"retry":false},"check":"transition 7","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":2,"retry":false},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": -3, \"generation\": 0, \"dispose\": true, \"retry\": false, \"idle\": true, \"pending\": 0, \"first\": false, \"last\": true}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": -3, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": true, \"pending\": 0, \"first\": false, \"last\": true}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 2, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 2, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": true, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": -2, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": -2, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"connect\": true, \"disconnect\": false, \"delta\": 2, \"generation\": 0, \"dispose\": false, \"retry\": true, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": true, \"disconnect\": false, \"delta\": 2, \"generation\": 0, \"dispose\": false, \"retry\": true, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.892,"exit_code":1,"observations":[{"actual":{"connect":false,"delta":-3,"disconnect":false,"dispose":true,"first":false,"generation":0,"idle":true,"last":true,"pending":0,"retry":false},"check":"transition 0","expected":{"connect":false,"delta":-3,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":true,"last":true,"pending":0,"retry":false},"passed":false},{"actual":{"connect":false,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 1","expected":{"connect":false,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 2","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":-2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":2,"retry":false},"check":"transition 3","expected":{"connect":false,"delta":-2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":2,"retry":false},"passed":true},{"actual":{"connect":true,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":true},"check":"transition 4","expected":{"connect":true,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":true},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 5","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 6","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":2,"retry":false},"check":"transition 7","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":2,"retry":false},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": -3, \"generation\": 0, \"dispose\": true, \"retry\": false, \"idle\": true, \"pending\": 0, \"first\": false, \"last\": true}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": -3, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": true, \"pending\": 0, \"first\": false, \"last\": true}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 2, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 2, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": -2, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": -2, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"connect\": true, \"disconnect\": false, \"delta\": 2, \"generation\": 0, \"dispose\": false, \"retry\": true, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": true, \"disconnect\": false, \"delta\": 2, \"generation\": 0, \"dispose\": false, \"retry\": true, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":55.777,"exit_code":0,"observations":[{"actual":{"connect":false,"delta":-3,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":true,"last":true,"pending":0,"retry":false},"check":"transition 0","expected":{"connect":false,"delta":-3,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":true,"last":true,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 1","expected":{"connect":false,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 2","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":-2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":2,"retry":false},"check":"transition 3","expected":{"connect":false,"delta":-2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":2,"retry":false},"passed":true},{"actual":{"connect":true,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":true},"check":"transition 4","expected":{"connect":true,"delta":2,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":true},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 5","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"check":"transition 6","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":0,"idle":false,"last":false,"pending":0,"retry":false},"passed":true},{"actual":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":2,"retry":false},"check":"transition 7","expected":{"connect":false,"delta":0,"disconnect":false,"dispose":false,"first":false,"generation":2,"idle":false,"last":false,"pending":2,"retry":false},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": -3, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": true, \"pending\": 0, \"first\": false, \"last\": true}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": -3, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": true, \"pending\": 0, \"first\": false, \"last\": true}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 2, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 2, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": -2, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": -2, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"connect\": true, \"disconnect\": false, \"delta\": 2, \"generation\": 0, \"dispose\": false, \"retry\": true, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": true, \"disconnect\": false, \"delta\": 2, \"generation\": 0, \"dispose\": false, \"retry\": true, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 0, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 0, \"first\": false, \"last\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"expected\": {\"connect\": false, \"disconnect\": false, \"delta\": 0, \"generation\": 2, \"dispose\": false, \"retry\": false, \"idle\": false, \"pending\": 2, \"first\": false, \"last\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}