{"abstract":"A planned opposed-pair rotor load passes despite unmatched opposite tube masses.","category":"Scientific pipeline provenance","checks":7,"contract":"Slots are a nonempty even-length list of nonnegative integer effective tube masses, including adapters; zero means empty. Return whether every slot equals its opposite slot at half the slot count. This deliberately conservative opposed-pair acceptance rule is not a general rotor dynamics or instrument safety model.","contract_signature":"slots","evaluation_group":"model-e613bba068b5acbb","failed_approach":"Comparing total masses in the two rotor halves allows opposing pair errors to cancel.","family":"z-scientific_pipelines-rotor-manifest","id":"FA-11926","implementations":{"attempt":{"sha256":"9208468a931bd58ddb4f303c5e4b7916597fccbf9417a8cf7657e7bc938aedf8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(slots):\n    h=len(slots)//2\n    return sum(slots[:h])==sum(slots[h:])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('equal adjacent masses do not oppose', solve([N,N,2*N,2*N]), False)\ncheck('opposed pairs balanced', solve([N,2*N,N,2*N]), True)\ncheck('half sums hide pair mismatch', solve([N,2*N,2*N,N]), False)\ncheck('empty rotor positions', solve([0,0,0,0]), True)\ncheck('two slot rotor', solve([N,N]), True)\ncheck('missing counterweight', solve([N,0]), False)\ncheck('six slot opposed loading', solve([N,2*N,0,N,2*N,0]), True)\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":"eb7b5f78a03af8eaa8a4aafa67a4de1588202dd0fd3532e7e6ac51f9c702636a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(slots):\n    return all(slots[i]==slots[i+1] for i in range(0,len(slots),2))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('equal adjacent masses do not oppose', solve([N,N,2*N,2*N]), False)\ncheck('opposed pairs balanced', solve([N,2*N,N,2*N]), True)\ncheck('half sums hide pair mismatch', solve([N,2*N,2*N,N]), False)\ncheck('empty rotor positions', solve([0,0,0,0]), True)\ncheck('two slot rotor', solve([N,N]), True)\ncheck('missing counterweight', solve([N,0]), False)\ncheck('six slot opposed loading', solve([N,2*N,0,N,2*N,0]), True)\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":"Symbolic in-memory model only; not instrument safety guidance or a production scientific 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-rotor-manifest","generated_at":"2026-09-29T14:38:52.305412+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic offline model of scientific specimen processing and provenance; explicit fixtures test the stated bookkeeping or processing acceptance rule.","root_cause":"Adjacent slots or summed half-rotor mass are treated as evidence of opposed-slot balance.","sha256":"133c4e92e45b35c0e7466ecc0c56c703281ef86efe74abff92b78026e25cc354","title":"A rotor loading manifest pairs adjacent tubes as counterweights · 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":43.912,"exit_code":1,"observations":[{"actual":false,"check":"equal adjacent masses do not oppose","expected":false,"passed":true},{"actual":true,"check":"opposed pairs balanced","expected":true,"passed":true},{"actual":true,"check":"half sums hide pair mismatch","expected":false,"passed":false},{"actual":true,"check":"empty rotor positions","expected":true,"passed":true},{"actual":true,"check":"two slot rotor","expected":true,"passed":true},{"actual":false,"check":"missing counterweight","expected":false,"passed":true},{"actual":true,"check":"six slot opposed loading","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"equal adjacent masses do not oppose\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"opposed pairs balanced\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"half sums hide pair mismatch\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"empty rotor positions\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"two slot rotor\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"missing counterweight\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"six slot opposed loading\", \"actual\": true, \"expected\": true, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.208,"exit_code":1,"observations":[{"actual":true,"check":"equal adjacent masses do not oppose","expected":false,"passed":false},{"actual":false,"check":"opposed pairs balanced","expected":true,"passed":false},{"actual":false,"check":"half sums hide pair mismatch","expected":false,"passed":true},{"actual":true,"check":"empty rotor positions","expected":true,"passed":true},{"actual":true,"check":"two slot rotor","expected":true,"passed":true},{"actual":false,"check":"missing counterweight","expected":false,"passed":true},{"actual":false,"check":"six slot opposed loading","expected":true,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"equal adjacent masses do not oppose\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"opposed pairs balanced\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"half sums hide pair mismatch\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty rotor positions\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"two slot rotor\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"missing counterweight\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"six slot opposed loading\", \"actual\": false, \"expected\": true, \"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."}}