{"abstract":"Transcript coordinate lookup ignores version pinning.","category":"Genomic coordinate mapping","checks":6,"contract":"Return synthetic model offset for a versioned identifier; unversioned lookup uses greatest integer version. Missing explicit versions return None.","contract_signature":"rows, identifier","evaluation_group":"model-9cea928807d37308","failed_approach":"Lexical latest-version selection places version ten before version two.","family":"z-genetics_coordinates-transcript-version","id":"FA-12556","implementations":{"attempt":{"sha256":"b9d1bef2f1236ecc99ae19f26dbe78f9ed2b74cb01b6276309b1dc198d01124a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rows, identifier):\n    if '.' in identifier: return dict(rows).get(identifier)\n    matches=sorted((k,p) for k,p in rows if k.split('.')[0]==identifier)\n    return matches[-1][1] if matches else None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nr=[('TX.2',N),('TX.10',N+10),('TY.1',N+20)]\ncheck('explicit ten',solve(r,'TX.10'),N+10)\ncheck('numeric latest',solve(r,'TX'),N+10)\ncheck('explicit two',solve(r,'TX.2'),N)\ncheck('missing version',solve(r,'TX.3'),None)\ncheck('single model',solve(r,'TY'),N+20)\ncheck('missing base',solve(r,'TZ'),None)\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":"8db56bed0af816d968d6699a184ebe89b219064628f7e345060980b86e9ec217","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(rows, identifier):\n    base=identifier.split('.')[0]\n    return next((p for k,p in rows if k.split('.')[0]==base),None)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nr=[('TX.2',N),('TX.10',N+10),('TY.1',N+20)]\ncheck('explicit ten',solve(r,'TX.10'),N+10)\ncheck('numeric latest',solve(r,'TX'),N+10)\ncheck('explicit two',solve(r,'TX.2'),N)\ncheck('missing version',solve(r,'TX.3'),None)\ncheck('single model',solve(r,'TY'),N+20)\ncheck('missing base',solve(r,'TZ'),None)\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":"Synthetic coordinate fixtures only; not a production annotation or alignment implementation. 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":"z-genetics_coordinates-transcript-version","generated_at":"2026-09-29T14:38:58.068601+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"An abstract offline coordinate model isolates this software mapping defect; it does not model biological interpretation.","root_cause":"A version suffix is removed before looking up a coordinate model.","sha256":"341a81adb18e20faea8123fde94e044d96cb524157c59f4bff2e5ca7f07493e0","title":"Transcript coordinate lookup ignores version pinning · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":39.628,"exit_code":1,"observations":[{"actual":11,"check":"explicit ten","expected":11,"passed":true},{"actual":1,"check":"numeric latest","expected":11,"passed":false},{"actual":1,"check":"explicit two","expected":1,"passed":true},{"actual":null,"check":"missing version","expected":null,"passed":true},{"actual":21,"check":"single model","expected":21,"passed":true},{"actual":null,"check":"missing base","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit ten\", \"actual\": 11, \"expected\": 11, \"passed\": true}, {\"check\": \"numeric latest\", \"actual\": 1, \"expected\": 11, \"passed\": false}, {\"check\": \"explicit two\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"missing version\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"single model\", \"actual\": 21, \"expected\": 21, \"passed\": true}, {\"check\": \"missing base\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.869,"exit_code":1,"observations":[{"actual":1,"check":"explicit ten","expected":11,"passed":false},{"actual":1,"check":"numeric latest","expected":11,"passed":false},{"actual":1,"check":"explicit two","expected":1,"passed":true},{"actual":1,"check":"missing version","expected":null,"passed":false},{"actual":21,"check":"single model","expected":21,"passed":true},{"actual":null,"check":"missing base","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit ten\", \"actual\": 1, \"expected\": 11, \"passed\": false}, {\"check\": \"numeric latest\", \"actual\": 1, \"expected\": 11, \"passed\": false}, {\"check\": \"explicit two\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"missing version\", \"actual\": 1, \"expected\": null, \"passed\": false}, {\"check\": \"single model\", \"actual\": 21, \"expected\": 21, \"passed\": true}, {\"check\": \"missing base\", \"actual\": null, \"expected\": null, \"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."}}