{"abstract":"restoration plan ignores dependencies between aliases.","category":"Checkpoint tensor mapping","checks":6,"contract":"Steps are [name,depends_on]; return names in stable topological order, choosing lexical available names; cycle returns [].","contract_signature":"steps","evaluation_group":"w3-checkpoint-tensor-mapping-restore-order","failed_approach":"Filtering to initially-ready names omits valid downstream restoration steps.","family":"w3-checkpoint-tensor-mapping-restore-order","id":"FA-99236","implementations":{"attempt":{"sha256":"53f4d86afbeec6609ac09a0a61a31de3af3ddd7e86475c190e656e37c0b3caa3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(steps):\n    return [name for name,dep in sorted(steps) if not dep]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('chain', solve(*([['b', ['a']], ['a', []]],)), ['a', 'b'])\ncheck('independent', solve(*([['z', []], ['a', []]],)), ['a', 'z'])\ncheck('cycle', solve(*([['a', ['b']], ['b', ['a']]],)), [])\ncheck('empty', solve(*([],)), [])\ncheck('missing dependency', solve(*([['a', ['x']]],)), [])\ncheck('fanout', solve(*([['c', ['a', 'b']], ['b', []], ['a', []]],)), ['a', 'b', 'c'])\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":"51e72b7ae8d8f04940f9e8a0d9c48e240c264510bc0dc1298cf29f23e2b13e24","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(steps):\n    return sorted(name for name,dep in steps)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('chain', solve(*([['b', ['a']], ['a', []]],)), ['a', 'b'])\ncheck('independent', solve(*([['z', []], ['a', []]],)), ['a', 'z'])\ncheck('cycle', solve(*([['a', ['b']], ['b', ['a']]],)), [])\ncheck('empty', solve(*([],)), [])\ncheck('missing dependency', solve(*([['a', ['x']]],)), [])\ncheck('fanout', solve(*([['c', ['a', 'b']], ['b', []], ['a', []]],)), ['a', 'b', 'c'])\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":"Inputs are already decoded Python values; this toy contract makes no claim about a framework, file format, or production checkpoint. 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":"w3-checkpoint-tensor-mapping-restore-order","generated_at":"2026-09-30T16:48:21.700747+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A bounded offline model of checkpoint tensor bookkeeping in a training workflow.","root_cause":"Names are listed without respecting restoration dependencies.","sha256":"5dc4f32fcbd592e06044c750834fc79875f98061b879497f9ebc25d08176cda9","title":"Checkpoint mapping: restoration plan ignores dependencies between aliases · case 01","variant":1,"variant_policy":"The same explicitly authored fixtures repeat across all five numbered records; runtime N is unused. These records share one mechanism and must remain together in evaluation splits.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":28.503,"exit_code":1,"observations":[{"actual":["a"],"check":"chain","expected":["a","b"],"passed":false},{"actual":["a","z"],"check":"independent","expected":["a","z"],"passed":true},{"actual":[],"check":"cycle","expected":[],"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[],"check":"missing dependency","expected":[],"passed":true},{"actual":["a","b"],"check":"fanout","expected":["a","b","c"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"chain\", \"actual\": [\"a\"], \"expected\": [\"a\", \"b\"], \"passed\": false}, {\"check\": \"independent\", \"actual\": [\"a\", \"z\"], \"expected\": [\"a\", \"z\"], \"passed\": true}, {\"check\": \"cycle\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing dependency\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"fanout\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\", \"c\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":28.114,"exit_code":1,"observations":[{"actual":["a","b"],"check":"chain","expected":["a","b"],"passed":true},{"actual":["a","z"],"check":"independent","expected":["a","z"],"passed":true},{"actual":["a","b"],"check":"cycle","expected":[],"passed":false},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":["a"],"check":"missing dependency","expected":[],"passed":false},{"actual":["a","b","c"],"check":"fanout","expected":["a","b","c"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"chain\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"independent\", \"actual\": [\"a\", \"z\"], \"expected\": [\"a\", \"z\"], \"passed\": true}, {\"check\": \"cycle\", \"actual\": [\"a\", \"b\"], \"expected\": [], \"passed\": false}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"missing dependency\", \"actual\": [\"a\"], \"expected\": [], \"passed\": false}, {\"check\": \"fanout\", \"actual\": [\"a\", \"b\", \"c\"], \"expected\": [\"a\", \"b\", \"c\"], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}