{"abstract":"tied parameter aliases load conflicting values.","category":"Checkpoint tensor mapping","checks":6,"contract":"For alias groups, return one value per group only if all supplied members agree; absent groups are omitted.","contract_signature":"aliases, incoming","evaluation_group":"w3-checkpoint-tensor-mapping-tied-weights","failed_approach":"Always reading the canonical first alias fails when only a secondary name is present.","family":"w3-checkpoint-tensor-mapping-tied-weights","id":"FA-99221","implementations":{"attempt":{"sha256":"f27d9fe67d9cfbf9fe0eb1820d21eb37ea5e2cebd8df1e4c048184c442e07682","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(aliases, incoming):\n    return [incoming.get(group[0]) for group in aliases if any(k in incoming for k in group)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('conflict', solve(*([['a', 'b']], {'a': 3, 'b': 4})), [])\ncheck('agree', solve(*([['a', 'b']], {'a': 3, 'b': 3})), [3])\ncheck('one alias', solve(*([['a', 'b']], {'b': 3})), [3])\ncheck('absent', solve(*([['a', 'b']], {})), [])\ncheck('singleton', solve(*([['x']], {'x': 2})), [2])\ncheck('two groups', solve(*([['a', 'b'], ['c', 'd']], {'a': 1, 'b': 1, 'd': 3})), [1, 3])\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":"e9f2771ba814b0abc296789c9a6f10940fe5f731aade25d61c57bfc899125281","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(aliases, incoming):\n    return [next((incoming[k] for k in group if k in incoming),None) for group in aliases if any(k in incoming for k in group)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('conflict', solve(*([['a', 'b']], {'a': 3, 'b': 4})), [])\ncheck('agree', solve(*([['a', 'b']], {'a': 3, 'b': 3})), [3])\ncheck('one alias', solve(*([['a', 'b']], {'b': 3})), [3])\ncheck('absent', solve(*([['a', 'b']], {})), [])\ncheck('singleton', solve(*([['x']], {'x': 2})), [2])\ncheck('two groups', solve(*([['a', 'b'], ['c', 'd']], {'a': 1, 'b': 1, 'd': 3})), [1, 3])\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-tied-weights","generated_at":"2026-09-30T16:48:21.700670+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":"The first present alias wins even when tied tensors disagree.","sha256":"ac9a81023dba55d2a65beaad3c74eaa5cf2d70e715d4e7078a1c21acbdbe4d6c","title":"Checkpoint mapping: tied parameter aliases load conflicting values · 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.342,"exit_code":1,"observations":[{"actual":[3],"check":"conflict","expected":[],"passed":false},{"actual":[3],"check":"agree","expected":[3],"passed":true},{"actual":[null],"check":"one alias","expected":[3],"passed":false},{"actual":[],"check":"absent","expected":[],"passed":true},{"actual":[2],"check":"singleton","expected":[2],"passed":true},{"actual":[1,null],"check":"two groups","expected":[1,3],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"conflict\", \"actual\": [3], \"expected\": [], \"passed\": false}, {\"check\": \"agree\", \"actual\": [3], \"expected\": [3], \"passed\": true}, {\"check\": \"one alias\", \"actual\": [null], \"expected\": [3], \"passed\": false}, {\"check\": \"absent\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"singleton\", \"actual\": [2], \"expected\": [2], \"passed\": true}, {\"check\": \"two groups\", \"actual\": [1, null], \"expected\": [1, 3], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":28.422,"exit_code":1,"observations":[{"actual":[3],"check":"conflict","expected":[],"passed":false},{"actual":[3],"check":"agree","expected":[3],"passed":true},{"actual":[3],"check":"one alias","expected":[3],"passed":true},{"actual":[],"check":"absent","expected":[],"passed":true},{"actual":[2],"check":"singleton","expected":[2],"passed":true},{"actual":[1,3],"check":"two groups","expected":[1,3],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"conflict\", \"actual\": [3], \"expected\": [], \"passed\": false}, {\"check\": \"agree\", \"actual\": [3], \"expected\": [3], \"passed\": true}, {\"check\": \"one alias\", \"actual\": [3], \"expected\": [3], \"passed\": true}, {\"check\": \"absent\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"singleton\", \"actual\": [2], \"expected\": [2], \"passed\": true}, {\"check\": \"two groups\", \"actual\": [1, 3], \"expected\": [1, 3], \"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."}}