{"abstract":"requested axis permutation is ignored.","category":"Checkpoint tensor mapping","checks":6,"contract":"Return shape with dimensions reordered by a valid permutation; invalid permutations return [].","contract_signature":"shape, permutation","evaluation_group":"w3-checkpoint-tensor-mapping-transpose-name","failed_approach":"Sorting the permutation discards its requested axis order.","family":"w3-checkpoint-tensor-mapping-transpose-name","id":"FA-99201","implementations":{"attempt":{"sha256":"19e414a99882983c1e7ca46b5229f5529d026fe8a714c9cce2b77f465ce8b84d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shape, permutation):\n    return [shape[i] for i in sorted(permutation)] if sorted(permutation)==list(range(len(shape))) else []\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('swap', solve(*([3, 2, 3], [1, 0, 2])), [2, 3, 3])\ncheck('identity', solve(*([3, 2], [0, 1])), [3, 2])\ncheck('reverse', solve(*([1, 2, 3], [2, 1, 0])), [3, 2, 1])\ncheck('empty', solve(*([], [])), [])\ncheck('duplicate', solve(*([3, 2], [0, 0])), [])\ncheck('out of range', solve(*([3], [1])), [])\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":"2351956513038277607d280a888644a3b3683a2d3e8fa71ff1b8ade1b762652d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shape, permutation):\n    return list(reversed(shape)) if sorted(permutation)==list(range(len(shape))) else []\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('swap', solve(*([3, 2, 3], [1, 0, 2])), [2, 3, 3])\ncheck('identity', solve(*([3, 2], [0, 1])), [3, 2])\ncheck('reverse', solve(*([1, 2, 3], [2, 1, 0])), [3, 2, 1])\ncheck('empty', solve(*([], [])), [])\ncheck('duplicate', solve(*([3, 2], [0, 0])), [])\ncheck('out of range', solve(*([3], [1])), [])\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-transpose-name","generated_at":"2026-09-30T16:48:21.700866+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":"A valid permutation is checked but ignored when producing the mapped shape.","sha256":"900fc6307285cf6bb5d441093e33f6665c5eb2acc4be2ad06dedf2733ee28904","title":"Checkpoint mapping: requested axis permutation is ignored · 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.613,"exit_code":1,"observations":[{"actual":[3,2,3],"check":"swap","expected":[2,3,3],"passed":false},{"actual":[3,2],"check":"identity","expected":[3,2],"passed":true},{"actual":[1,2,3],"check":"reverse","expected":[3,2,1],"passed":false},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[],"check":"duplicate","expected":[],"passed":true},{"actual":[],"check":"out of range","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"swap\", \"actual\": [3, 2, 3], \"expected\": [2, 3, 3], \"passed\": false}, {\"check\": \"identity\", \"actual\": [3, 2], \"expected\": [3, 2], \"passed\": true}, {\"check\": \"reverse\", \"actual\": [1, 2, 3], \"expected\": [3, 2, 1], \"passed\": false}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"duplicate\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"out of range\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":29.939,"exit_code":1,"observations":[{"actual":[3,2,3],"check":"swap","expected":[2,3,3],"passed":false},{"actual":[2,3],"check":"identity","expected":[3,2],"passed":false},{"actual":[3,2,1],"check":"reverse","expected":[3,2,1],"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[],"check":"duplicate","expected":[],"passed":true},{"actual":[],"check":"out of range","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"swap\", \"actual\": [3, 2, 3], \"expected\": [2, 3, 3], \"passed\": false}, {\"check\": \"identity\", \"actual\": [2, 3], \"expected\": [3, 2], \"passed\": false}, {\"check\": \"reverse\", \"actual\": [3, 2, 1], \"expected\": [3, 2, 1], \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"duplicate\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"out of range\", \"actual\": [], \"expected\": [], \"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."}}