{"abstract":"slot suffix matching associates the wrong parameter.","category":"Checkpoint tensor mapping","checks":6,"contract":"Return sorted [parameter,slot] pairs where slot name is exactly parameter + \".moment\" and parameter exists.","contract_signature":"parameters, slots","evaluation_group":"w3-checkpoint-tensor-mapping-slot-parent","failed_approach":"A suffix check accepts longer prefixes that happen to end with the parameter name.","family":"w3-checkpoint-tensor-mapping-slot-parent","id":"FA-99206","implementations":{"attempt":{"sha256":"68ed9c31e487f10bd80d8c843f4662605a97c99417e8f1c7773f6c00bc7b4ebf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(parameters, slots):\n    return sorted([p,s] for p in parameters for s in slots if s.endswith(p+\".moment\"))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('substring', solve(*(['a'], ['xa.moment'])), [])\ncheck('exact', solve(*(['a'], ['a.moment'])), [['a', 'a.moment']])\ncheck('prefix collision', solve(*(['a', 'ab'], ['ab.moment'])), [['ab', 'ab.moment']])\ncheck('empty', solve(*([], ['a.moment'])), [])\ncheck('no slot', solve(*(['a'], [])), [])\ncheck('many', solve(*(['w3', 'b'], ['w3.moment', 'b.moment'])), [['b', 'b.moment'], ['w3', 'w3.moment']])\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":"c5229ad24636c18d8f1f740932dfb1acf433a4f01fae024c0d5d41b632778ed4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(parameters, slots):\n    return sorted([p,s] for p in parameters for s in slots if p in s)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('substring', solve(*(['a'], ['xa.moment'])), [])\ncheck('exact', solve(*(['a'], ['a.moment'])), [['a', 'a.moment']])\ncheck('prefix collision', solve(*(['a', 'ab'], ['ab.moment'])), [['ab', 'ab.moment']])\ncheck('empty', solve(*([], ['a.moment'])), [])\ncheck('no slot', solve(*(['a'], [])), [])\ncheck('many', solve(*(['w3', 'b'], ['w3.moment', 'b.moment'])), [['b', 'b.moment'], ['w3', 'w3.moment']])\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-slot-parent","generated_at":"2026-09-30T16:48:21.700260+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":"Substring matching associates unrelated parameter names with a slot.","sha256":"9ba6081395bce906759dea1f3c98ff8f90506f093d356c6974fbe324e1fc6952","title":"Checkpoint mapping: slot suffix matching associates the wrong parameter · 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.172,"exit_code":1,"observations":[{"actual":[["a","xa.moment"]],"check":"substring","expected":[],"passed":false},{"actual":[["a","a.moment"]],"check":"exact","expected":[["a","a.moment"]],"passed":true},{"actual":[["ab","ab.moment"]],"check":"prefix collision","expected":[["ab","ab.moment"]],"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[],"check":"no slot","expected":[],"passed":true},{"actual":[["b","b.moment"],["w3","w3.moment"]],"check":"many","expected":[["b","b.moment"],["w3","w3.moment"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"substring\", \"actual\": [[\"a\", \"xa.moment\"]], \"expected\": [], \"passed\": false}, {\"check\": \"exact\", \"actual\": [[\"a\", \"a.moment\"]], \"expected\": [[\"a\", \"a.moment\"]], \"passed\": true}, {\"check\": \"prefix collision\", \"actual\": [[\"ab\", \"ab.moment\"]], \"expected\": [[\"ab\", \"ab.moment\"]], \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"no slot\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"many\", \"actual\": [[\"b\", \"b.moment\"], [\"w3\", \"w3.moment\"]], \"expected\": [[\"b\", \"b.moment\"], [\"w3\", \"w3.moment\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":29.089,"exit_code":1,"observations":[{"actual":[["a","xa.moment"]],"check":"substring","expected":[],"passed":false},{"actual":[["a","a.moment"]],"check":"exact","expected":[["a","a.moment"]],"passed":true},{"actual":[["a","ab.moment"],["ab","ab.moment"]],"check":"prefix collision","expected":[["ab","ab.moment"]],"passed":false},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[],"check":"no slot","expected":[],"passed":true},{"actual":[["b","b.moment"],["w3","w3.moment"]],"check":"many","expected":[["b","b.moment"],["w3","w3.moment"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"substring\", \"actual\": [[\"a\", \"xa.moment\"]], \"expected\": [], \"passed\": false}, {\"check\": \"exact\", \"actual\": [[\"a\", \"a.moment\"]], \"expected\": [[\"a\", \"a.moment\"]], \"passed\": true}, {\"check\": \"prefix collision\", \"actual\": [[\"a\", \"ab.moment\"], [\"ab\", \"ab.moment\"]], \"expected\": [[\"ab\", \"ab.moment\"]], \"passed\": false}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"no slot\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"many\", \"actual\": [[\"b\", \"b.moment\"], [\"w3\", \"w3.moment\"]], \"expected\": [[\"b\", \"b.moment\"], [\"w3\", \"w3.moment\"]], \"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."}}