{"abstract":"Rounding moves an unquantifiable result above the reporting threshold.","category":"Laboratory measurement reporting","checks":8,"contract":"Return [Q or BELOW, value rounded to one decimal using ROUND_HALF_UP]. Q means exact value >= limit. Inputs are ordinary unsigned base-ten decimal strings without exponent notation, at most six fractional digits, and numeric values from zero through 1000000000000 inclusive. Inputs outside this bounded synthetic model are not supported.","contract_signature":"value, limit","evaluation_group":"model-371701cfbe3a24d6","failed_approach":"Using a strict greater-than comparison misclassifies values exactly at the limit.","family":"z-laboratory_units-qualifier-before-round","id":"FA-12431","implementations":{"attempt":{"sha256":"d8ff6486cf83eb4ee88706f6334fbc2a4dcccf2e12288a18ee121b2cdcee87c5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom decimal import Decimal, ROUND_HALF_UP\nN = 1\nobservations = []\ndef solve(value, limit):\n    v=Decimal(value)\n    display=v.quantize(Decimal('0.1'),rounding=ROUND_HALF_UP)\n    return ['Q' if v > Decimal(limit) else 'BELOW',str(display)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('rounds up to limit but remains below', solve(f'{N}.96',str(N+1)), ['BELOW',f'{N+1}.0'])\ncheck('exact limit qualifies', solve(str(N),str(N)), ['Q',f'{N}.0'])\ncheck('above limit qualifies', solve(f'{N}.04',str(N)), ['Q',f'{N}.0'])\ncheck('well below limit', solve('0.1',str(N)), ['BELOW','0.1'])\ncheck('zero at zero threshold', solve('0','0'), ['Q','0.0'])\ncheck('rounding tie formatting', solve(f'{N}.05',str(N)), ['Q',f'{N}.1'])\ncheck('supported upper value boundary', solve('1000000000000','1000000000000'), ['Q','1000000000000.0'])\ncheck('six-place rounding across upper display boundary', solve('999999999999.999999','1000000000000'), ['BELOW','1000000000000.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":"ec6b52418c8dd618f47bb70d15010bd2cf82937fe5f96f69495f6384c57187d2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom decimal import Decimal, ROUND_HALF_UP\nN = 1\nobservations = []\ndef solve(value, limit):\n    v=Decimal(value)\n    display=v.quantize(Decimal('0.1'),rounding=ROUND_HALF_UP)\n    return ['Q' if display >= Decimal(limit) else 'BELOW',str(display)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('rounds up to limit but remains below', solve(f'{N}.96',str(N+1)), ['BELOW',f'{N+1}.0'])\ncheck('exact limit qualifies', solve(str(N),str(N)), ['Q',f'{N}.0'])\ncheck('above limit qualifies', solve(f'{N}.04',str(N)), ['Q',f'{N}.0'])\ncheck('well below limit', solve('0.1',str(N)), ['BELOW','0.1'])\ncheck('zero at zero threshold', solve('0','0'), ['Q','0.0'])\ncheck('rounding tie formatting', solve(f'{N}.05',str(N)), ['Q',f'{N}.1'])\ncheck('supported upper value boundary', solve('1000000000000','1000000000000'), ['Q','1000000000000.0'])\ncheck('six-place rounding across upper display boundary', solve('999999999999.999999','1000000000000'), ['BELOW','1000000000000.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":"Bounded decimal reporting model, zero through 10^12 with at most six fractional digits; 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-qualifier-before-round","generated_at":"2026-09-29T14:38:56.855286+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":"Qualification compares rounded displayed concentration instead of original concentration.","sha256":"62108e7ea7fb7f1bd8c074419ecb606dbe6bb525ba00e2c727210c4f25d8dc04","title":"Rounding moves an unquantifiable result above the reporting threshold · 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":44.941,"exit_code":1,"observations":[{"actual":["BELOW","2.0"],"check":"rounds up to limit but remains below","expected":["BELOW","2.0"],"passed":true},{"actual":["BELOW","1.0"],"check":"exact limit qualifies","expected":["Q","1.0"],"passed":false},{"actual":["Q","1.0"],"check":"above limit qualifies","expected":["Q","1.0"],"passed":true},{"actual":["BELOW","0.1"],"check":"well below limit","expected":["BELOW","0.1"],"passed":true},{"actual":["BELOW","0.0"],"check":"zero at zero threshold","expected":["Q","0.0"],"passed":false},{"actual":["Q","1.1"],"check":"rounding tie formatting","expected":["Q","1.1"],"passed":true},{"actual":["BELOW","1000000000000.0"],"check":"supported upper value boundary","expected":["Q","1000000000000.0"],"passed":false},{"actual":["BELOW","1000000000000.0"],"check":"six-place rounding across upper display boundary","expected":["BELOW","1000000000000.0"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"rounds up to limit but remains below\", \"actual\": [\"BELOW\", \"2.0\"], \"expected\": [\"BELOW\", \"2.0\"], \"passed\": true}, {\"check\": \"exact limit qualifies\", \"actual\": [\"BELOW\", \"1.0\"], \"expected\": [\"Q\", \"1.0\"], \"passed\": false}, {\"check\": \"above limit qualifies\", \"actual\": [\"Q\", \"1.0\"], \"expected\": [\"Q\", \"1.0\"], \"passed\": true}, {\"check\": \"well below limit\", \"actual\": [\"BELOW\", \"0.1\"], \"expected\": [\"BELOW\", \"0.1\"], \"passed\": true}, {\"check\": \"zero at zero threshold\", \"actual\": [\"BELOW\", \"0.0\"], \"expected\": [\"Q\", \"0.0\"], \"passed\": false}, {\"check\": \"rounding tie formatting\", \"actual\": [\"Q\", \"1.1\"], \"expected\": [\"Q\", \"1.1\"], \"passed\": true}, {\"check\": \"supported upper value boundary\", \"actual\": [\"BELOW\", \"1000000000000.0\"], \"expected\": [\"Q\", \"1000000000000.0\"], \"passed\": false}, {\"check\": \"six-place rounding across upper display boundary\", \"actual\": [\"BELOW\", \"1000000000000.0\"], \"expected\": [\"BELOW\", \"1000000000000.0\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.801,"exit_code":1,"observations":[{"actual":["Q","2.0"],"check":"rounds up to limit but remains below","expected":["BELOW","2.0"],"passed":false},{"actual":["Q","1.0"],"check":"exact limit qualifies","expected":["Q","1.0"],"passed":true},{"actual":["Q","1.0"],"check":"above limit qualifies","expected":["Q","1.0"],"passed":true},{"actual":["BELOW","0.1"],"check":"well below limit","expected":["BELOW","0.1"],"passed":true},{"actual":["Q","0.0"],"check":"zero at zero threshold","expected":["Q","0.0"],"passed":true},{"actual":["Q","1.1"],"check":"rounding tie formatting","expected":["Q","1.1"],"passed":true},{"actual":["Q","1000000000000.0"],"check":"supported upper value boundary","expected":["Q","1000000000000.0"],"passed":true},{"actual":["Q","1000000000000.0"],"check":"six-place rounding across upper display boundary","expected":["BELOW","1000000000000.0"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"rounds up to limit but remains below\", \"actual\": [\"Q\", \"2.0\"], \"expected\": [\"BELOW\", \"2.0\"], \"passed\": false}, {\"check\": \"exact limit qualifies\", \"actual\": [\"Q\", \"1.0\"], \"expected\": [\"Q\", \"1.0\"], \"passed\": true}, {\"check\": \"above limit qualifies\", \"actual\": [\"Q\", \"1.0\"], \"expected\": [\"Q\", \"1.0\"], \"passed\": true}, {\"check\": \"well below limit\", \"actual\": [\"BELOW\", \"0.1\"], \"expected\": [\"BELOW\", \"0.1\"], \"passed\": true}, {\"check\": \"zero at zero threshold\", \"actual\": [\"Q\", \"0.0\"], \"expected\": [\"Q\", \"0.0\"], \"passed\": true}, {\"check\": \"rounding tie formatting\", \"actual\": [\"Q\", \"1.1\"], \"expected\": [\"Q\", \"1.1\"], \"passed\": true}, {\"check\": \"supported upper value boundary\", \"actual\": [\"Q\", \"1000000000000.0\"], \"expected\": [\"Q\", \"1000000000000.0\"], \"passed\": true}, {\"check\": \"six-place rounding across upper display boundary\", \"actual\": [\"Q\", \"1000000000000.0\"], \"expected\": [\"BELOW\", \"1000000000000.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."}}