FAILURE MAP
← Case archive

FA-12436 / Laboratory measurement reporting / Open access

Saturated instrument output is published as a precise value · case 01

Saturated instrument output is published as a precise value.

Verified by executionVariant 1 · 6 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

A numeric placeholder is trusted even when detector metadata says saturated.

VERIFIED REPAIR

Give invalid status highest priority, then saturated lower bound, then quantified value.

Unsuccessful approach: Handling saturation before invalidity turns unusable saturated acquisitions into lower bounds.

Case contract

Return [INVALID,None] if invalid flag true; otherwise [GT, upper*dilution] if saturated; otherwise [EQ,value*dilution]. All numeric inputs integers, dilution positive.

Why this case matters

A deterministic synthetic laboratory reporting model isolates a software metadata contract; it is not a clinical procedure.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(value, upper, dilution, saturated, invalid):
    return ['INVALID',None] if invalid else ['EQ',value*dilution]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('saturation reports bound', solve(999,10*N,2,True,False), ['GT',20*N])
check('invalid saturation is unusable', solve(999,10*N,2,True,True), ['INVALID',None])
check('ordinary valid value', solve(N,10*N,3,False,False), ['EQ',3*N])
check('ordinary invalid acquisition', solve(N,10*N,3,False,True), ['INVALID',None])
check('zero value valid', solve(0,10*N,1,False,False), ['EQ',0])
check('undiluted saturation', solve(0,10*N,1,True,False), ['GT',10*N])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
saturation reports bound['EQ', 1998]['GT', 20]Failed
invalid saturation is unusable['INVALID', None]['INVALID', None]Passed
ordinary valid value['EQ', 3]['EQ', 3]Passed
ordinary invalid acquisition['INVALID', None]['INVALID', None]Passed
zero value valid['EQ', 0]['EQ', 0]Passed
undiluted saturation['EQ', 0]['GT', 10]Failed

SHA-256 / 55fe9f7ca72d4f023adc91267865d79ef24933583bae276bfcb914f122fc4a1c

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(value, upper, dilution, saturated, invalid):
    if saturated:
        return ['GT',upper*dilution]
    return ['INVALID',None] if invalid else ['EQ',value*dilution]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('saturation reports bound', solve(999,10*N,2,True,False), ['GT',20*N])
check('invalid saturation is unusable', solve(999,10*N,2,True,True), ['INVALID',None])
check('ordinary valid value', solve(N,10*N,3,False,False), ['EQ',3*N])
check('ordinary invalid acquisition', solve(N,10*N,3,False,True), ['INVALID',None])
check('zero value valid', solve(0,10*N,1,False,False), ['EQ',0])
check('undiluted saturation', solve(0,10*N,1,True,False), ['GT',10*N])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
saturation reports bound['GT', 20]['GT', 20]Passed
invalid saturation is unusable['GT', 20]['INVALID', None]Failed
ordinary valid value['EQ', 3]['EQ', 3]Passed
ordinary invalid acquisition['INVALID', None]['INVALID', None]Passed
zero value valid['EQ', 0]['EQ', 0]Passed
undiluted saturation['GT', 10]['GT', 10]Passed

SHA-256 / 1908e2b872f23d9a00df40d827df77d246b7952a92624dee27e1c1ac26863b5a

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(value, upper, dilution, saturated, invalid):
    if invalid:
        return ['INVALID',None]
    return ['GT',upper*dilution] if saturated else ['EQ',value*dilution]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('saturation reports bound', solve(999,10*N,2,True,False), ['GT',20*N])
check('invalid saturation is unusable', solve(999,10*N,2,True,True), ['INVALID',None])
check('ordinary valid value', solve(N,10*N,3,False,False), ['EQ',3*N])
check('ordinary invalid acquisition', solve(N,10*N,3,False,True), ['INVALID',None])
check('zero value valid', solve(0,10*N,1,False,False), ['EQ',0])
check('undiluted saturation', solve(0,10*N,1,True,False), ['GT',10*N])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
saturation reports bound['GT', 20]['GT', 20]Passed
invalid saturation is unusable['INVALID', None]['INVALID', None]Passed
ordinary valid value['EQ', 3]['EQ', 3]Passed
ordinary invalid acquisition['INVALID', None]['INVALID', None]Passed
zero value valid['EQ', 0]['EQ', 0]Passed
undiluted saturation['GT', 10]['GT', 10]Passed

SHA-256 / 4bf80f3e06bfe06eee7a466a1a93765530c4cb40879cddf684a494520d9247d2

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:38:56.852634+00:00.

Case digest / 25219a40e23b4398d0d491bc0a152ead9cf9c02f4e06c15f45690127c64d71e4