{"abstract":"Rejected replicate values enter a report average.","category":"Laboratory measurement reporting","checks":6,"contract":"Return exact Fraction mean of [integer value, accepted boolean] replicates that are accepted, or None if none qualify.","contract_signature":"replicates","evaluation_group":"model-02bde3d5ab5b9722","failed_approach":"Filtering by truthy values discards accepted zeros.","family":"z-laboratory_units-replicate-eligibility","id":"FA-12416","implementations":{"attempt":{"sha256":"f301dff2e636464b8355e626d3b33665c918fdea03f926410ec8b90875e91cf5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(replicates):\n    values=[v for v,ok in replicates if ok and v]\n    return str(Fraction(sum(values),len(values))) if values else None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('rejected replicate excluded', solve([(N,True),(9*N,False)]), str(N))\ncheck('accepted zero retained', solve([(0,True),(2*N,True)]), str(N))\ncheck('all rejected', solve([(N,False)]), None)\ncheck('only zero accepted', solve([(0,True)]), '0')\ncheck('empty replicate set', solve([]), None)\ncheck('signed accepted replicates', solve([(-N,True),(N,True),(8*N,False)]), '0')\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":"071ea3a83f8c365eed7f316825506bc7651752c92d0f60ab32ee53c7e079e0a1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(replicates):\n    return str(Fraction(sum(v for v, ok in replicates),len(replicates))) if replicates else None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('rejected replicate excluded', solve([(N,True),(9*N,False)]), str(N))\ncheck('accepted zero retained', solve([(0,True),(2*N,True)]), str(N))\ncheck('all rejected', solve([(N,False)]), None)\ncheck('only zero accepted', solve([(0,True)]), '0')\ncheck('empty replicate set', solve([]), None)\ncheck('signed accepted replicates', solve([(-N,True),(N,True),(8*N,False)]), '0')\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 integer/rational fixtures only; no instrument validation or clinical interpretation. 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-laboratory_units-replicate-eligibility","generated_at":"2026-09-29T14:38:56.776723+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic synthetic laboratory reporting model isolates a software metadata contract; it is not a clinical procedure.","root_cause":"Replicate quality flags are ignored.","sha256":"05681c4072edd0597c206ad9f9b14634be7f72d424120e1b6662de11ddc3c1cb","title":"Rejected replicate values enter a report average · 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.331,"exit_code":1,"observations":[{"actual":"1","check":"rejected replicate excluded","expected":"1","passed":true},{"actual":"2","check":"accepted zero retained","expected":"1","passed":false},{"actual":null,"check":"all rejected","expected":null,"passed":true},{"actual":null,"check":"only zero accepted","expected":"0","passed":false},{"actual":null,"check":"empty replicate set","expected":null,"passed":true},{"actual":"0","check":"signed accepted replicates","expected":"0","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"rejected replicate excluded\", \"actual\": \"1\", \"expected\": \"1\", \"passed\": true}, {\"check\": \"accepted zero retained\", \"actual\": \"2\", \"expected\": \"1\", \"passed\": false}, {\"check\": \"all rejected\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"only zero accepted\", \"actual\": null, \"expected\": \"0\", \"passed\": false}, {\"check\": \"empty replicate set\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"signed accepted replicates\", \"actual\": \"0\", \"expected\": \"0\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.957,"exit_code":1,"observations":[{"actual":"5","check":"rejected replicate excluded","expected":"1","passed":false},{"actual":"1","check":"accepted zero retained","expected":"1","passed":true},{"actual":"1","check":"all rejected","expected":null,"passed":false},{"actual":"0","check":"only zero accepted","expected":"0","passed":true},{"actual":null,"check":"empty replicate set","expected":null,"passed":true},{"actual":"8/3","check":"signed accepted replicates","expected":"0","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"rejected replicate excluded\", \"actual\": \"5\", \"expected\": \"1\", \"passed\": false}, {\"check\": \"accepted zero retained\", \"actual\": \"1\", \"expected\": \"1\", \"passed\": true}, {\"check\": \"all rejected\", \"actual\": \"1\", \"expected\": null, \"passed\": false}, {\"check\": \"only zero accepted\", \"actual\": \"0\", \"expected\": \"0\", \"passed\": true}, {\"check\": \"empty replicate set\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"signed accepted replicates\", \"actual\": \"8/3\", \"expected\": \"0\", \"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."}}