{"abstract":"A new navigation inherits transient route-state notices from the previous entry.","category":"Client state","checks":6,"contract":"The stipulated navigation state policy preserves all entry-local state on pop, but push/replace carry forward only declared persistent keys including null/falsy values.","evaluation_group":"s3-client-state-route-state-ephemeral-cleanup","failed_approach":"The partial repair still violates at least one explicit regression oracle.","family":"s3-client-state-route-state-ephemeral-cleanup","id":"FA-24806","implementations":{"attempt":{"sha256":"7e0e2caa2f9c832503bebac04723aee3e7881af3d7004ff232ec84c40bd5ea3e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(state, persistent, event):\n    return {k:v for k,v in state.items() if k in persistent}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('push drops transient', solve({'notice':'saved','context':N},['context'],'push'), {'context':N})\ncheck('pop restores transient', solve({'notice':'saved','context':N},['context'],'pop'), {'notice':'saved','context':N})\ncheck('replace cleans', solve({'notice':''},[],'replace'), {})\ncheck('persistent null', solve({'context':None},['context'],'push'), {'context':None})\ncheck('unknown persistent key', solve({'notice':'x'},['missing'],'push'), {})\ncheck('empty state', solve({},['context'],'pop'), {})\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":"f717cba89af5318379f924c53e9ac84a79ca0a3126a0d01da35e0da0fa4f12b7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(state, persistent, event):\n    return dict(state)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('push drops transient', solve({'notice':'saved','context':N},['context'],'push'), {'context':N})\ncheck('pop restores transient', solve({'notice':'saved','context':N},['context'],'pop'), {'notice':'saved','context':N})\ncheck('replace cleans', solve({'notice':''},[],'replace'), {})\ncheck('persistent null', solve({'context':None},['context'],'push'), {'context':None})\ncheck('unknown persistent key', solve({'notice':'x'},['missing'],'push'), {})\ncheck('empty state', solve({},['context'],'pop'), {})\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":"b9498b43845e3ef47263651c1439247a9bc6a73deae159591cd3c27b97b76989","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(state, persistent, event):\n    return dict(state) if event=='pop' else {k:v for k,v in state.items() if k in persistent}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('push drops transient', solve({'notice':'saved','context':N},['context'],'push'), {'context':N})\ncheck('pop restores transient', solve({'notice':'saved','context':N},['context'],'pop'), {'notice':'saved','context':N})\ncheck('replace cleans', solve({'notice':''},[],'replace'), {})\ncheck('persistent null', solve({'context':None},['context'],'push'), {'context':None})\ncheck('unknown persistent key', solve({'notice':'x'},['missing'],'push'), {})\ncheck('empty state', solve({},['context'],'pop'), {})\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":"This models the stated application policy only; no browser or framework conformance is claimed. 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-client-state-route-state-ephemeral-cleanup","generated_at":"2026-09-29T14:41:00.906666+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A bounded offline client-state transition with explicit lifecycle inputs.","repair":"The stipulated navigation state policy preserves all entry-local state on pop, but push/replace carry forward only declared persistent keys including null/falsy values.","root_cause":"The faulty implementation violates The stipulated navigation state policy preserves all entry-local state on pop, but push/replace carry forward only declared persistent keys including null/falsy values.","sha256":"20078ac2832de269439999adefae2b6b71f71161b87cb70a080eb7bf002235c1","title":"A new navigation inherits transient route-state notices from the previous entry · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.91,"exit_code":1,"observations":[{"actual":{"context":1},"check":"push drops transient","expected":{"context":1},"passed":true},{"actual":{"context":1},"check":"pop restores transient","expected":{"context":1,"notice":"saved"},"passed":false},{"actual":{},"check":"replace cleans","expected":{},"passed":true},{"actual":{"context":null},"check":"persistent null","expected":{"context":null},"passed":true},{"actual":{},"check":"unknown persistent key","expected":{},"passed":true},{"actual":{},"check":"empty state","expected":{},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"push drops transient\", \"actual\": {\"context\": 1}, \"expected\": {\"context\": 1}, \"passed\": true}, {\"check\": \"pop restores transient\", \"actual\": {\"context\": 1}, \"expected\": {\"notice\": \"saved\", \"context\": 1}, \"passed\": false}, {\"check\": \"replace cleans\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"persistent null\", \"actual\": {\"context\": null}, \"expected\": {\"context\": null}, \"passed\": true}, {\"check\": \"unknown persistent key\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"empty state\", \"actual\": {}, \"expected\": {}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.622,"exit_code":1,"observations":[{"actual":{"context":1,"notice":"saved"},"check":"push drops transient","expected":{"context":1},"passed":false},{"actual":{"context":1,"notice":"saved"},"check":"pop restores transient","expected":{"context":1,"notice":"saved"},"passed":true},{"actual":{"notice":""},"check":"replace cleans","expected":{},"passed":false},{"actual":{"context":null},"check":"persistent null","expected":{"context":null},"passed":true},{"actual":{"notice":"x"},"check":"unknown persistent key","expected":{},"passed":false},{"actual":{},"check":"empty state","expected":{},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"push drops transient\", \"actual\": {\"notice\": \"saved\", \"context\": 1}, \"expected\": {\"context\": 1}, \"passed\": false}, {\"check\": \"pop restores transient\", \"actual\": {\"notice\": \"saved\", \"context\": 1}, \"expected\": {\"notice\": \"saved\", \"context\": 1}, \"passed\": true}, {\"check\": \"replace cleans\", \"actual\": {\"notice\": \"\"}, \"expected\": {}, \"passed\": false}, {\"check\": \"persistent null\", \"actual\": {\"context\": null}, \"expected\": {\"context\": null}, \"passed\": true}, {\"check\": \"unknown persistent key\", \"actual\": {\"notice\": \"x\"}, \"expected\": {}, \"passed\": false}, {\"check\": \"empty state\", \"actual\": {}, \"expected\": {}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.042,"exit_code":0,"observations":[{"actual":{"context":1},"check":"push drops transient","expected":{"context":1},"passed":true},{"actual":{"context":1,"notice":"saved"},"check":"pop restores transient","expected":{"context":1,"notice":"saved"},"passed":true},{"actual":{},"check":"replace cleans","expected":{},"passed":true},{"actual":{"context":null},"check":"persistent null","expected":{"context":null},"passed":true},{"actual":{},"check":"unknown persistent key","expected":{},"passed":true},{"actual":{},"check":"empty state","expected":{},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"push drops transient\", \"actual\": {\"context\": 1}, \"expected\": {\"context\": 1}, \"passed\": true}, {\"check\": \"pop restores transient\", \"actual\": {\"notice\": \"saved\", \"context\": 1}, \"expected\": {\"notice\": \"saved\", \"context\": 1}, \"passed\": true}, {\"check\": \"replace cleans\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"persistent null\", \"actual\": {\"context\": null}, \"expected\": {\"context\": null}, \"passed\": true}, {\"check\": \"unknown persistent key\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"empty state\", \"actual\": {}, \"expected\": {}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}