{"abstract":"unlisted numeric conversions are accepted.","category":"Checkpoint tensor mapping","checks":6,"contract":"This toy policy accepts identical dtype labels and the directed pairs f16-to-f32 and i8-to-f16; all other conversions are rejected.","contract_signature":"source_dtype, target_dtype","evaluation_group":"w3-checkpoint-tensor-mapping-dtype-policy","failed_approach":"Treating every float-to-float cast as safe admits an unlisted conversion.","family":"w3-checkpoint-tensor-mapping-dtype-policy","id":"FA-99216","implementations":{"attempt":{"sha256":"34ce177ead5c52523462624bd4245c690042cddfb3bc6fa27c942efeaba1daeb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(source_dtype, target_dtype):\n    return source_dtype==target_dtype or source_dtype.startswith(\"f\") and target_dtype.startswith(\"f\")\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('allowed float', solve(*('f16', 'f32')), True)\ncheck('allowed integer route', solve(*('i8', 'f16')), True)\ncheck('disallowed float', solve(*('f32', 'f16')), False)\ncheck('same', solve(*('i8', 'i8')), True)\ncheck('unknown', solve(*('x', 'x')), True)\ncheck('reverse', solve(*('f16', 'i8')), False)\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":"e1e1e0a25a870f0ed2e2cd7bee77639ca9152f7693f37e260f99e584d3c372b0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(source_dtype, target_dtype):\n    return source_dtype in (\"i8\",\"f32\",\"f16\") and target_dtype in (\"i8\",\"f32\",\"f16\")\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('allowed float', solve(*('f16', 'f32')), True)\ncheck('allowed integer route', solve(*('i8', 'f16')), True)\ncheck('disallowed float', solve(*('f32', 'f16')), False)\ncheck('same', solve(*('i8', 'i8')), True)\ncheck('unknown', solve(*('x', 'x')), True)\ncheck('reverse', solve(*('f16', 'i8')), False)\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-dtype-policy","generated_at":"2026-09-30T16:48:21.699890+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":"General numeric membership ignores the explicit conversion policy.","sha256":"6aa3dca3d0c3c32f7cc4c474da6b0c81511c22f9a9a33ce91c3aadcfe1b21b1a","title":"Checkpoint mapping: unlisted numeric conversions are accepted · 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":29.224,"exit_code":1,"observations":[{"actual":true,"check":"allowed float","expected":true,"passed":true},{"actual":false,"check":"allowed integer route","expected":true,"passed":false},{"actual":true,"check":"disallowed float","expected":false,"passed":false},{"actual":true,"check":"same","expected":true,"passed":true},{"actual":true,"check":"unknown","expected":true,"passed":true},{"actual":false,"check":"reverse","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"allowed float\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"allowed integer route\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"disallowed float\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"same\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unknown\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"reverse\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":28.755,"exit_code":1,"observations":[{"actual":true,"check":"allowed float","expected":true,"passed":true},{"actual":true,"check":"allowed integer route","expected":true,"passed":true},{"actual":true,"check":"disallowed float","expected":false,"passed":false},{"actual":true,"check":"same","expected":true,"passed":true},{"actual":false,"check":"unknown","expected":true,"passed":false},{"actual":true,"check":"reverse","expected":false,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"allowed float\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"allowed integer route\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"disallowed float\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"same\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unknown\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"reverse\", \"actual\": true, \"expected\": false, \"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."}}