{"abstract":"Saturated instrument output is published as a precise value.","category":"Laboratory measurement reporting","checks":6,"contract":"Return [INVALID,None] if invalid flag true; otherwise [GT, upper*dilution] if saturated; otherwise [EQ,value*dilution]. All numeric inputs integers, dilution positive.","evaluation_group":"model-7be0fe6f330c5fab","failed_approach":"Handling saturation before invalidity turns unusable saturated acquisitions into lower bounds.","family":"z-laboratory_units-saturation-precedence","id":"FA-12436","implementations":{"attempt":{"sha256":"1908e2b872f23d9a00df40d827df77d246b7952a92624dee27e1c1ac26863b5a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(value, upper, dilution, saturated, invalid):\n    if saturated:\n        return ['GT',upper*dilution]\n    return ['INVALID',None] if invalid else ['EQ',value*dilution]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('saturation reports bound', solve(999,10*N,2,True,False), ['GT',20*N])\ncheck('invalid saturation is unusable', solve(999,10*N,2,True,True), ['INVALID',None])\ncheck('ordinary valid value', solve(N,10*N,3,False,False), ['EQ',3*N])\ncheck('ordinary invalid acquisition', solve(N,10*N,3,False,True), ['INVALID',None])\ncheck('zero value valid', solve(0,10*N,1,False,False), ['EQ',0])\ncheck('undiluted saturation', solve(0,10*N,1,True,False), ['GT',10*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":"55fe9f7ca72d4f023adc91267865d79ef24933583bae276bfcb914f122fc4a1c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(value, upper, dilution, saturated, invalid):\n    return ['INVALID',None] if invalid else ['EQ',value*dilution]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('saturation reports bound', solve(999,10*N,2,True,False), ['GT',20*N])\ncheck('invalid saturation is unusable', solve(999,10*N,2,True,True), ['INVALID',None])\ncheck('ordinary valid value', solve(N,10*N,3,False,False), ['EQ',3*N])\ncheck('ordinary invalid acquisition', solve(N,10*N,3,False,True), ['INVALID',None])\ncheck('zero value valid', solve(0,10*N,1,False,False), ['EQ',0])\ncheck('undiluted saturation', solve(0,10*N,1,True,False), ['GT',10*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"},"fixed":{"sha256":"4bf80f3e06bfe06eee7a466a1a93765530c4cb40879cddf684a494520d9247d2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(value, upper, dilution, saturated, invalid):\n    if invalid:\n        return ['INVALID',None]\n    return ['GT',upper*dilution] if saturated else ['EQ',value*dilution]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('saturation reports bound', solve(999,10*N,2,True,False), ['GT',20*N])\ncheck('invalid saturation is unusable', solve(999,10*N,2,True,True), ['INVALID',None])\ncheck('ordinary valid value', solve(N,10*N,3,False,False), ['EQ',3*N])\ncheck('ordinary invalid acquisition', solve(N,10*N,3,False,True), ['INVALID',None])\ncheck('zero value valid', solve(0,10*N,1,False,False), ['EQ',0])\ncheck('undiluted saturation', solve(0,10*N,1,True,False), ['GT',10*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-saturation-precedence","generated_at":"2026-09-29T14:38:56.852634+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.","repair":"Give invalid status highest priority, then saturated lower bound, then quantified value.","root_cause":"A numeric placeholder is trusted even when detector metadata says saturated.","sha256":"25219a40e23b4398d0d491bc0a152ead9cf9c02f4e06c15f45690127c64d71e4","title":"Saturated instrument output is published as a precise value · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.807,"exit_code":1,"observations":[{"actual":["GT",20],"check":"saturation reports bound","expected":["GT",20],"passed":true},{"actual":["GT",20],"check":"invalid saturation is unusable","expected":["INVALID",null],"passed":false},{"actual":["EQ",3],"check":"ordinary valid value","expected":["EQ",3],"passed":true},{"actual":["INVALID",null],"check":"ordinary invalid acquisition","expected":["INVALID",null],"passed":true},{"actual":["EQ",0],"check":"zero value valid","expected":["EQ",0],"passed":true},{"actual":["GT",10],"check":"undiluted saturation","expected":["GT",10],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"saturation reports bound\", \"actual\": [\"GT\", 20], \"expected\": [\"GT\", 20], \"passed\": true}, {\"check\": \"invalid saturation is unusable\", \"actual\": [\"GT\", 20], \"expected\": [\"INVALID\", null], \"passed\": false}, {\"check\": \"ordinary valid value\", \"actual\": [\"EQ\", 3], \"expected\": [\"EQ\", 3], \"passed\": true}, {\"check\": \"ordinary invalid acquisition\", \"actual\": [\"INVALID\", null], \"expected\": [\"INVALID\", null], \"passed\": true}, {\"check\": \"zero value valid\", \"actual\": [\"EQ\", 0], \"expected\": [\"EQ\", 0], \"passed\": true}, {\"check\": \"undiluted saturation\", \"actual\": [\"GT\", 10], \"expected\": [\"GT\", 10], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.865,"exit_code":1,"observations":[{"actual":["EQ",1998],"check":"saturation reports bound","expected":["GT",20],"passed":false},{"actual":["INVALID",null],"check":"invalid saturation is unusable","expected":["INVALID",null],"passed":true},{"actual":["EQ",3],"check":"ordinary valid value","expected":["EQ",3],"passed":true},{"actual":["INVALID",null],"check":"ordinary invalid acquisition","expected":["INVALID",null],"passed":true},{"actual":["EQ",0],"check":"zero value valid","expected":["EQ",0],"passed":true},{"actual":["EQ",0],"check":"undiluted saturation","expected":["GT",10],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"saturation reports bound\", \"actual\": [\"EQ\", 1998], \"expected\": [\"GT\", 20], \"passed\": false}, {\"check\": \"invalid saturation is unusable\", \"actual\": [\"INVALID\", null], \"expected\": [\"INVALID\", null], \"passed\": true}, {\"check\": \"ordinary valid value\", \"actual\": [\"EQ\", 3], \"expected\": [\"EQ\", 3], \"passed\": true}, {\"check\": \"ordinary invalid acquisition\", \"actual\": [\"INVALID\", null], \"expected\": [\"INVALID\", null], \"passed\": true}, {\"check\": \"zero value valid\", \"actual\": [\"EQ\", 0], \"expected\": [\"EQ\", 0], \"passed\": true}, {\"check\": \"undiluted saturation\", \"actual\": [\"EQ\", 0], \"expected\": [\"GT\", 10], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.07,"exit_code":0,"observations":[{"actual":["GT",20],"check":"saturation reports bound","expected":["GT",20],"passed":true},{"actual":["INVALID",null],"check":"invalid saturation is unusable","expected":["INVALID",null],"passed":true},{"actual":["EQ",3],"check":"ordinary valid value","expected":["EQ",3],"passed":true},{"actual":["INVALID",null],"check":"ordinary invalid acquisition","expected":["INVALID",null],"passed":true},{"actual":["EQ",0],"check":"zero value valid","expected":["EQ",0],"passed":true},{"actual":["GT",10],"check":"undiluted saturation","expected":["GT",10],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"saturation reports bound\", \"actual\": [\"GT\", 20], \"expected\": [\"GT\", 20], \"passed\": true}, {\"check\": \"invalid saturation is unusable\", \"actual\": [\"INVALID\", null], \"expected\": [\"INVALID\", null], \"passed\": true}, {\"check\": \"ordinary valid value\", \"actual\": [\"EQ\", 3], \"expected\": [\"EQ\", 3], \"passed\": true}, {\"check\": \"ordinary invalid acquisition\", \"actual\": [\"INVALID\", null], \"expected\": [\"INVALID\", null], \"passed\": true}, {\"check\": \"zero value valid\", \"actual\": [\"EQ\", 0], \"expected\": [\"EQ\", 0], \"passed\": true}, {\"check\": \"undiluted saturation\", \"actual\": [\"GT\", 10], \"expected\": [\"GT\", 10], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}