{"abstract":"module prefix is stripped from interior names.","category":"Checkpoint tensor mapping","checks":6,"contract":"Return each name with exactly one leading prefix removed when present; preserve interior occurrences and order.","contract_signature":"names, prefix","evaluation_group":"w3-checkpoint-tensor-mapping-prefix-strip","failed_approach":"Character-set stripping corrupts other leading names, such as a name beginning with one prefix character.","family":"w3-checkpoint-tensor-mapping-prefix-strip","id":"FA-99141","implementations":{"attempt":{"sha256":"c93fa46fa54ab6f01064910b0fb1b025c8c35b0ac9ab22bccb0b9529e336b875","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(names, prefix):\n    return [name.lstrip(prefix) for name in names]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('leading', solve(*(['module.w3', 'x.module.y'], 'module.')), ['w3', 'x.module.y'])\ncheck('repeat', solve(*(['module.module.x'], 'module.')), ['module.x'])\ncheck('none', solve(*(['weight'], 'module.')), ['weight'])\ncheck('empty', solve(*([], 'module.')), [])\ncheck('exact', solve(*(['module.'], 'module.')), [''])\ncheck('embedded char', solve(*(['mymodule.x'], 'module.')), ['mymodule.x'])\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":"4d59c639291050b101a11172f115e8e97ceea192a4d5e55ecc4293a9b38195f3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(names, prefix):\n    return [name.replace(prefix, \"\") for name in names]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('leading', solve(*(['module.w3', 'x.module.y'], 'module.')), ['w3', 'x.module.y'])\ncheck('repeat', solve(*(['module.module.x'], 'module.')), ['module.x'])\ncheck('none', solve(*(['weight'], 'module.')), ['weight'])\ncheck('empty', solve(*([], 'module.')), [])\ncheck('exact', solve(*(['module.'], 'module.')), [''])\ncheck('embedded char', solve(*(['mymodule.x'], 'module.')), ['mymodule.x'])\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-prefix-strip","generated_at":"2026-09-30T16:48:20.800376+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":"Global replacement edits interior text and may remove repeated occurrences.","sha256":"a47b37a5fd22fb3d7b9fc7635d8a023e1a11758c8f9785a2e3d0245fb1c2e229","title":"Checkpoint mapping: module prefix is stripped from interior names · 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":27.111,"exit_code":1,"observations":[{"actual":["w3","x.module.y"],"check":"leading","expected":["w3","x.module.y"],"passed":true},{"actual":["x"],"check":"repeat","expected":["module.x"],"passed":false},{"actual":["weight"],"check":"none","expected":["weight"],"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[""],"check":"exact","expected":[""],"passed":true},{"actual":["ymodule.x"],"check":"embedded char","expected":["mymodule.x"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"leading\", \"actual\": [\"w3\", \"x.module.y\"], \"expected\": [\"w3\", \"x.module.y\"], \"passed\": true}, {\"check\": \"repeat\", \"actual\": [\"x\"], \"expected\": [\"module.x\"], \"passed\": false}, {\"check\": \"none\", \"actual\": [\"weight\"], \"expected\": [\"weight\"], \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"exact\", \"actual\": [\"\"], \"expected\": [\"\"], \"passed\": true}, {\"check\": \"embedded char\", \"actual\": [\"ymodule.x\"], \"expected\": [\"mymodule.x\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":29.225,"exit_code":1,"observations":[{"actual":["w3","x.y"],"check":"leading","expected":["w3","x.module.y"],"passed":false},{"actual":["x"],"check":"repeat","expected":["module.x"],"passed":false},{"actual":["weight"],"check":"none","expected":["weight"],"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[""],"check":"exact","expected":[""],"passed":true},{"actual":["myx"],"check":"embedded char","expected":["mymodule.x"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"leading\", \"actual\": [\"w3\", \"x.y\"], \"expected\": [\"w3\", \"x.module.y\"], \"passed\": false}, {\"check\": \"repeat\", \"actual\": [\"x\"], \"expected\": [\"module.x\"], \"passed\": false}, {\"check\": \"none\", \"actual\": [\"weight\"], \"expected\": [\"weight\"], \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"exact\", \"actual\": [\"\"], \"expected\": [\"\"], \"passed\": true}, {\"check\": \"embedded char\", \"actual\": [\"myx\"], \"expected\": [\"mymodule.x\"], \"passed\": false}], \"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."}}