{"abstract":"Sorting blinded specimen IDs changes treatment assignment.","category":"Scientific pipeline provenance","checks":6,"contract":"Return treatment labels in requested specimen order using the immutable manifest, with unassigned for missing IDs.","contract_signature":"requested, manifest","evaluation_group":"model-af6692a2ad25ba39","failed_approach":"Reusing manifest values in insertion order still misaligns reordered specimens.","family":"z-scientific_pipelines-blinded-allocation","id":"FA-11921","implementations":{"attempt":{"sha256":"ef1a67dcc266bb0c1d720e700e8f9bfd2f1bc286ee932cd8ebecf5311d29d2ee","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(requested, manifest):\n    return (list(manifest.values())+['unassigned']*len(requested))[:len(requested)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ns='blind'+str(N)\ncheck('reordered processing', solve(['b',s], {s:'control','b':'treated'}), ['treated','control'])\ncheck('subset retains assignment', solve(['b'], {s:'control','b':'treated'}), ['treated'])\ncheck('unknown specimen', solve(['x'], {s:'treated'}), ['unassigned'])\ncheck('empty request', solve([], {s:'treated'}), [])\ncheck('empty manifest', solve([s], {}), ['unassigned'])\ncheck('repeat measurement same treatment', solve([s,s], {s:'treated'}), ['treated','treated'])\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":"f1faf79da9d42de2f4ea6114fc7608be9b1f299a339d34f37ae9a543949065c2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(requested, manifest):\n    return ['control' if i%2==0 else 'treated' for i,_ in enumerate(requested)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ns='blind'+str(N)\ncheck('reordered processing', solve(['b',s], {s:'control','b':'treated'}), ['treated','control'])\ncheck('subset retains assignment', solve(['b'], {s:'control','b':'treated'}), ['treated'])\ncheck('unknown specimen', solve(['x'], {s:'treated'}), ['unassigned'])\ncheck('empty request', solve([], {s:'treated'}), [])\ncheck('empty manifest', solve([s], {}), ['unassigned'])\ncheck('repeat measurement same treatment', solve([s,s], {s:'treated'}), ['treated','treated'])\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":"In-memory symbolic records only; no instrument, assay, or production workflow validation. 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-scientific_pipelines-blinded-allocation","generated_at":"2026-09-29T14:38:52.228565+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic offline model of scientific workflow bookkeeping; the fixtures test provenance contracts without modeling instruments or biological inference.","root_cause":"Treatment is recomputed from specimen position instead of the frozen allocation manifest.","sha256":"0c630f7820f20b26bd8737146935e83b89c681bf151a49abcc6fa5375e13f5a4","title":"Sorting blinded specimen IDs changes treatment assignment · 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":41.442,"exit_code":1,"observations":[{"actual":["control","treated"],"check":"reordered processing","expected":["treated","control"],"passed":false},{"actual":["control"],"check":"subset retains assignment","expected":["treated"],"passed":false},{"actual":["treated"],"check":"unknown specimen","expected":["unassigned"],"passed":false},{"actual":[],"check":"empty request","expected":[],"passed":true},{"actual":["unassigned"],"check":"empty manifest","expected":["unassigned"],"passed":true},{"actual":["treated","unassigned"],"check":"repeat measurement same treatment","expected":["treated","treated"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"reordered processing\", \"actual\": [\"control\", \"treated\"], \"expected\": [\"treated\", \"control\"], \"passed\": false}, {\"check\": \"subset retains assignment\", \"actual\": [\"control\"], \"expected\": [\"treated\"], \"passed\": false}, {\"check\": \"unknown specimen\", \"actual\": [\"treated\"], \"expected\": [\"unassigned\"], \"passed\": false}, {\"check\": \"empty request\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"empty manifest\", \"actual\": [\"unassigned\"], \"expected\": [\"unassigned\"], \"passed\": true}, {\"check\": \"repeat measurement same treatment\", \"actual\": [\"treated\", \"unassigned\"], \"expected\": [\"treated\", \"treated\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.41,"exit_code":1,"observations":[{"actual":["control","treated"],"check":"reordered processing","expected":["treated","control"],"passed":false},{"actual":["control"],"check":"subset retains assignment","expected":["treated"],"passed":false},{"actual":["control"],"check":"unknown specimen","expected":["unassigned"],"passed":false},{"actual":[],"check":"empty request","expected":[],"passed":true},{"actual":["control"],"check":"empty manifest","expected":["unassigned"],"passed":false},{"actual":["control","treated"],"check":"repeat measurement same treatment","expected":["treated","treated"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"reordered processing\", \"actual\": [\"control\", \"treated\"], \"expected\": [\"treated\", \"control\"], \"passed\": false}, {\"check\": \"subset retains assignment\", \"actual\": [\"control\"], \"expected\": [\"treated\"], \"passed\": false}, {\"check\": \"unknown specimen\", \"actual\": [\"control\"], \"expected\": [\"unassigned\"], \"passed\": false}, {\"check\": \"empty request\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"empty manifest\", \"actual\": [\"control\"], \"expected\": [\"unassigned\"], \"passed\": false}, {\"check\": \"repeat measurement same treatment\", \"actual\": [\"control\", \"treated\"], \"expected\": [\"treated\", \"treated\"], \"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."}}