{"abstract":"Diluted censored reports retain an aliquot detection limit.","category":"Laboratory measurement reporting","checks":6,"contract":"For kind LT return [LT, limit*dilution]; for EQ return [EQ, value*dilution]. Numeric fields are integers, dilution positive, and LT ignores value.","contract_signature":"kind, value, limit, dilution","evaluation_group":"model-dfd0bc516f1dd398","failed_approach":"Scaling every report using its limit replaces valid quantified values.","family":"z-laboratory_units-censored-limit","id":"FA-12401","implementations":{"attempt":{"sha256":"868c274de41c6596b372e89b5200f98b80798ef8222db13c1f23b52591674e17","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(kind, value, limit, dilution):\n    return [kind, limit*dilution]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('diluted nondetect', solve('LT', 0, N, 4), ['LT',4*N])\ncheck('quantified result', solve('EQ', 7*N, N, 4), ['EQ',28*N])\ncheck('undiluted nondetect', solve('LT', 0, N, 1), ['LT',N])\ncheck('zero quantified result', solve('EQ', 0, N, 2), ['EQ',0])\ncheck('placeholder ignored', solve('LT', 999, N, 2), ['LT',2*N])\ncheck('value at limit stays quantified', solve('EQ', N, N, 3), ['EQ',3*N])\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":"93c000b079f7810af7b679f380a9570d97a47bbd4c81784a1533cb3d8d26fdc4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(kind, value, limit, dilution):\n    return [kind, limit if kind == \"LT\" else value*dilution]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('diluted nondetect', solve('LT', 0, N, 4), ['LT',4*N])\ncheck('quantified result', solve('EQ', 7*N, N, 4), ['EQ',28*N])\ncheck('undiluted nondetect', solve('LT', 0, N, 1), ['LT',N])\ncheck('zero quantified result', solve('EQ', 0, N, 2), ['EQ',0])\ncheck('placeholder ignored', solve('LT', 999, N, 2), ['LT',2*N])\ncheck('value at limit stays quantified', solve('EQ', N, N, 3), ['EQ',3*N])\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-censored-limit","generated_at":"2026-09-29T14:38:56.601139+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":"A less-than qualifier is attached to a concentration limit in the wrong sample basis.","sha256":"02e4feb6be9285c93d7055f8817ed6f8ca25bdbcefbf4af61defe3fd9b6c106d","title":"Diluted censored reports retain an aliquot detection limit · 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":42.651,"exit_code":1,"observations":[{"actual":["LT",4],"check":"diluted nondetect","expected":["LT",4],"passed":true},{"actual":["EQ",4],"check":"quantified result","expected":["EQ",28],"passed":false},{"actual":["LT",1],"check":"undiluted nondetect","expected":["LT",1],"passed":true},{"actual":["EQ",2],"check":"zero quantified result","expected":["EQ",0],"passed":false},{"actual":["LT",2],"check":"placeholder ignored","expected":["LT",2],"passed":true},{"actual":["EQ",3],"check":"value at limit stays quantified","expected":["EQ",3],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"diluted nondetect\", \"actual\": [\"LT\", 4], \"expected\": [\"LT\", 4], \"passed\": true}, {\"check\": \"quantified result\", \"actual\": [\"EQ\", 4], \"expected\": [\"EQ\", 28], \"passed\": false}, {\"check\": \"undiluted nondetect\", \"actual\": [\"LT\", 1], \"expected\": [\"LT\", 1], \"passed\": true}, {\"check\": \"zero quantified result\", \"actual\": [\"EQ\", 2], \"expected\": [\"EQ\", 0], \"passed\": false}, {\"check\": \"placeholder ignored\", \"actual\": [\"LT\", 2], \"expected\": [\"LT\", 2], \"passed\": true}, {\"check\": \"value at limit stays quantified\", \"actual\": [\"EQ\", 3], \"expected\": [\"EQ\", 3], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.293,"exit_code":1,"observations":[{"actual":["LT",1],"check":"diluted nondetect","expected":["LT",4],"passed":false},{"actual":["EQ",28],"check":"quantified result","expected":["EQ",28],"passed":true},{"actual":["LT",1],"check":"undiluted nondetect","expected":["LT",1],"passed":true},{"actual":["EQ",0],"check":"zero quantified result","expected":["EQ",0],"passed":true},{"actual":["LT",1],"check":"placeholder ignored","expected":["LT",2],"passed":false},{"actual":["EQ",3],"check":"value at limit stays quantified","expected":["EQ",3],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"diluted nondetect\", \"actual\": [\"LT\", 1], \"expected\": [\"LT\", 4], \"passed\": false}, {\"check\": \"quantified result\", \"actual\": [\"EQ\", 28], \"expected\": [\"EQ\", 28], \"passed\": true}, {\"check\": \"undiluted nondetect\", \"actual\": [\"LT\", 1], \"expected\": [\"LT\", 1], \"passed\": true}, {\"check\": \"zero quantified result\", \"actual\": [\"EQ\", 0], \"expected\": [\"EQ\", 0], \"passed\": true}, {\"check\": \"placeholder ignored\", \"actual\": [\"LT\", 1], \"expected\": [\"LT\", 2], \"passed\": false}, {\"check\": \"value at limit stays quantified\", \"actual\": [\"EQ\", 3], \"expected\": [\"EQ\", 3], \"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."}}