FA-64321 / Medication dosing calculations / Open access
Single-level extended-interval nomogram: midnight crossing · case 01
A 02:00 level after a 20:00 dose is read as 18 hours and rejected.
ROOT CAUSE
Negative clock differences are made positive instead of wrapped to the next day.
VERIFIED REPAIR
Add 1440 minutes when the draw clock time is earlier than the dose time.
Unsuccessful approach: Wrapping by 720 minutes assumes a 12-hour clock.
Case contract
Input {dose "HH:MM", draw "HH:MM" (a draw clock time earlier than the dose means the next day), level mg/L}. Hours after dose must be within 6-14 inclusive, else OUT_OF_RANGE. With rem = 14 - hours: level <= 2 + rem/2 gives q24h; <= 4 + 0.75*rem gives q36h; <= 6 + rem gives q48h; otherwise HOLD_RECHECK. Return {interval, hours (2 dp)}.
Why this case matters
Interval nomograms read a timed level against sloped lines; clock arithmetic and line edges are separate defect sites.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
def mins(s):
h, m = map(int, s.split(':'))
return h * 60 + m
dt = mins(x['draw']) - mins(x['dose'])
dt = abs(dt)
hrs = Fraction(dt, 60)
if hrs < 6 or hrs > 14:
return {'interval': 'OUT_OF_RANGE', 'hours': round(float(hrs), 2)}
lv = Fraction(str(x['level']))
rem = 14 - hrs
if lv <= 2 + rem / 2:
iv = 'q24h'
elif lv <= 4 + rem * Fraction(3, 4):
iv = 'q36h'
elif lv <= 6 + rem:
iv = 'q48h'
else:
iv = 'HOLD_RECHECK'
return {'interval': iv, 'hours': round(float(hrs), 2)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('draw after midnight',
{'dose': '20:00', 'draw': '03:00', 'level': '4'},
{'interval': 'q24h', 'hours': 7.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 6}, {'interval': 'q24h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '2'}, {'interval': 'q24h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:10', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.17}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:15', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.25}),
('on the q24 line', {'dose': '08:00', 'draw': '17:00', 'level': '4.5'}, {'interval': 'q24h', 'hours': 9.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 4},
{'interval': 'q24h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '04:00', 'level': '4'},
{'interval': 'q24h', 'hours': 8.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 7}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '3'}, {'interval': 'q36h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:20', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.33}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:20', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.33}),
('on the q24 line', {'dose': '08:00', 'draw': '15:00', 'level': '5.5'}, {'interval': 'q24h', 'hours': 7.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 5},
{'interval': 'q36h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '05:00', 'level': '4'},
{'interval': 'q24h', 'hours': 9.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 8}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '4'}, {'interval': 'q36h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:30', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.5}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:25', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.42}),
('on the q24 line',
{'dose': '08:00', 'draw': '19:00', 'level': '3.5'},
{'interval': 'q24h', 'hours': 11.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 6},
{'interval': 'q36h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '06:00', 'level': '4'},
{'interval': 'q24h', 'hours': 10.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 9}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '6'}, {'interval': 'q48h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:40', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.67}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:30', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.5}),
('on the q24 line',
{'dose': '08:00', 'draw': '21:00', 'level': '2.5'},
{'interval': 'q24h', 'hours': 13.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 7},
{'interval': 'q36h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '07:00', 'level': '4'},
{'interval': 'q36h', 'hours': 11.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 10}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours',
{'dose': '06:30', 'draw': '20:30', 'level': '7'},
{'interval': 'HOLD_RECHECK', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:50', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.83}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:35', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.58}),
('on the q24 line', {'dose': '08:00', 'draw': '17:00', 'level': '4.5'}, {'interval': 'q24h', 'hours': 9.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 8},
{'interval': 'q48h', 'hours': 10.0})]]
for label, args, expected in fixtures[N-1]:
check(label, solve(args), expected)
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| draw after midnight | {'hours': 17.0, 'interval': 'OUT_OF_RANGE'} | {'hours': 7.0, 'interval': 'q24h'} | Failed |
| exactly 6 hours | {'hours': 6.0, 'interval': 'q24h'} | {'hours': 6.0, 'interval': 'q24h'} | Passed |
| exactly 14 hours | {'hours': 14.0, 'interval': 'q24h'} | {'hours': 14.0, 'interval': 'q24h'} | Passed |
| beyond 14 hours | {'hours': 14.17, 'interval': 'OUT_OF_RANGE'} | {'hours': 14.17, 'interval': 'OUT_OF_RANGE'} | Passed |
| fractional hour reading | {'hours': 10.25, 'interval': 'q36h'} | {'hours': 10.25, 'interval': 'q36h'} | Passed |
| on the q24 line | {'hours': 9.0, 'interval': 'q24h'} | {'hours': 9.0, 'interval': 'q24h'} | Passed |
| late draw mid-band | {'hours': 10.0, 'interval': 'q24h'} | {'hours': 10.0, 'interval': 'q24h'} | Passed |
SHA-256 / d635d7f33a3c8c82bea40c0133efda243fddf1759b2f306a3a0c70c70b125b58
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
def mins(s):
h, m = map(int, s.split(':'))
return h * 60 + m
dt = mins(x['draw']) - mins(x['dose'])
if dt < 0:
dt += 720
hrs = Fraction(dt, 60)
if hrs < 6 or hrs > 14:
return {'interval': 'OUT_OF_RANGE', 'hours': round(float(hrs), 2)}
lv = Fraction(str(x['level']))
rem = 14 - hrs
if lv <= 2 + rem / 2:
iv = 'q24h'
elif lv <= 4 + rem * Fraction(3, 4):
iv = 'q36h'
elif lv <= 6 + rem:
iv = 'q48h'
else:
iv = 'HOLD_RECHECK'
return {'interval': iv, 'hours': round(float(hrs), 2)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('draw after midnight',
{'dose': '20:00', 'draw': '03:00', 'level': '4'},
{'interval': 'q24h', 'hours': 7.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 6}, {'interval': 'q24h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '2'}, {'interval': 'q24h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:10', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.17}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:15', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.25}),
('on the q24 line', {'dose': '08:00', 'draw': '17:00', 'level': '4.5'}, {'interval': 'q24h', 'hours': 9.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 4},
{'interval': 'q24h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '04:00', 'level': '4'},
{'interval': 'q24h', 'hours': 8.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 7}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '3'}, {'interval': 'q36h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:20', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.33}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:20', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.33}),
('on the q24 line', {'dose': '08:00', 'draw': '15:00', 'level': '5.5'}, {'interval': 'q24h', 'hours': 7.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 5},
{'interval': 'q36h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '05:00', 'level': '4'},
{'interval': 'q24h', 'hours': 9.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 8}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '4'}, {'interval': 'q36h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:30', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.5}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:25', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.42}),
('on the q24 line',
{'dose': '08:00', 'draw': '19:00', 'level': '3.5'},
{'interval': 'q24h', 'hours': 11.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 6},
{'interval': 'q36h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '06:00', 'level': '4'},
{'interval': 'q24h', 'hours': 10.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 9}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '6'}, {'interval': 'q48h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:40', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.67}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:30', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.5}),
('on the q24 line',
{'dose': '08:00', 'draw': '21:00', 'level': '2.5'},
{'interval': 'q24h', 'hours': 13.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 7},
{'interval': 'q36h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '07:00', 'level': '4'},
{'interval': 'q36h', 'hours': 11.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 10}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours',
{'dose': '06:30', 'draw': '20:30', 'level': '7'},
{'interval': 'HOLD_RECHECK', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:50', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.83}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:35', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.58}),
('on the q24 line', {'dose': '08:00', 'draw': '17:00', 'level': '4.5'}, {'interval': 'q24h', 'hours': 9.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 8},
{'interval': 'q48h', 'hours': 10.0})]]
for label, args, expected in fixtures[N-1]:
check(label, solve(args), expected)
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| draw after midnight | {'hours': -5.0, 'interval': 'OUT_OF_RANGE'} | {'hours': 7.0, 'interval': 'q24h'} | Failed |
| exactly 6 hours | {'hours': 6.0, 'interval': 'q24h'} | {'hours': 6.0, 'interval': 'q24h'} | Passed |
| exactly 14 hours | {'hours': 14.0, 'interval': 'q24h'} | {'hours': 14.0, 'interval': 'q24h'} | Passed |
| beyond 14 hours | {'hours': 14.17, 'interval': 'OUT_OF_RANGE'} | {'hours': 14.17, 'interval': 'OUT_OF_RANGE'} | Passed |
| fractional hour reading | {'hours': 10.25, 'interval': 'q36h'} | {'hours': 10.25, 'interval': 'q36h'} | Passed |
| on the q24 line | {'hours': 9.0, 'interval': 'q24h'} | {'hours': 9.0, 'interval': 'q24h'} | Passed |
| late draw mid-band | {'hours': 10.0, 'interval': 'q24h'} | {'hours': 10.0, 'interval': 'q24h'} | Passed |
SHA-256 / 6903999f33a6e4ad1ebc7969dccf8e302cae3efda683942619f4d57ac69935cf
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
def mins(s):
h, m = map(int, s.split(':'))
return h * 60 + m
dt = mins(x['draw']) - mins(x['dose'])
if dt < 0:
dt += 1440
hrs = Fraction(dt, 60)
if hrs < 6 or hrs > 14:
return {'interval': 'OUT_OF_RANGE', 'hours': round(float(hrs), 2)}
lv = Fraction(str(x['level']))
rem = 14 - hrs
if lv <= 2 + rem / 2:
iv = 'q24h'
elif lv <= 4 + rem * Fraction(3, 4):
iv = 'q36h'
elif lv <= 6 + rem:
iv = 'q48h'
else:
iv = 'HOLD_RECHECK'
return {'interval': iv, 'hours': round(float(hrs), 2)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('draw after midnight',
{'dose': '20:00', 'draw': '03:00', 'level': '4'},
{'interval': 'q24h', 'hours': 7.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 6}, {'interval': 'q24h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '2'}, {'interval': 'q24h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:10', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.17}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:15', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.25}),
('on the q24 line', {'dose': '08:00', 'draw': '17:00', 'level': '4.5'}, {'interval': 'q24h', 'hours': 9.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 4},
{'interval': 'q24h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '04:00', 'level': '4'},
{'interval': 'q24h', 'hours': 8.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 7}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '3'}, {'interval': 'q36h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:20', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.33}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:20', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.33}),
('on the q24 line', {'dose': '08:00', 'draw': '15:00', 'level': '5.5'}, {'interval': 'q24h', 'hours': 7.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 5},
{'interval': 'q36h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '05:00', 'level': '4'},
{'interval': 'q24h', 'hours': 9.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 8}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '4'}, {'interval': 'q36h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:30', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.5}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:25', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.42}),
('on the q24 line',
{'dose': '08:00', 'draw': '19:00', 'level': '3.5'},
{'interval': 'q24h', 'hours': 11.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 6},
{'interval': 'q36h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '06:00', 'level': '4'},
{'interval': 'q24h', 'hours': 10.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 9}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours', {'dose': '06:30', 'draw': '20:30', 'level': '6'}, {'interval': 'q48h', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:40', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.67}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:30', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.5}),
('on the q24 line',
{'dose': '08:00', 'draw': '21:00', 'level': '2.5'},
{'interval': 'q24h', 'hours': 13.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 7},
{'interval': 'q36h', 'hours': 10.0})],
[('draw after midnight',
{'dose': '20:00', 'draw': '07:00', 'level': '4'},
{'interval': 'q36h', 'hours': 11.0}),
('exactly 6 hours', {'dose': '08:00', 'draw': '14:00', 'level': 10}, {'interval': 'q36h', 'hours': 6.0}),
('exactly 14 hours',
{'dose': '06:30', 'draw': '20:30', 'level': '7'},
{'interval': 'HOLD_RECHECK', 'hours': 14.0}),
('beyond 14 hours',
{'dose': '06:00', 'draw': '20:50', 'level': '1'},
{'interval': 'OUT_OF_RANGE', 'hours': 14.83}),
('fractional hour reading',
{'dose': '08:00', 'draw': '18:35', 'level': '3.95'},
{'interval': 'q36h', 'hours': 10.58}),
('on the q24 line', {'dose': '08:00', 'draw': '17:00', 'level': '4.5'}, {'interval': 'q24h', 'hours': 9.0}),
('late draw mid-band',
{'dose': '07:00', 'draw': '17:00', 'level': 8},
{'interval': 'q48h', 'hours': 10.0})]]
for label, args, expected in fixtures[N-1]:
check(label, solve(args), expected)
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| draw after midnight | {'hours': 7.0, 'interval': 'q24h'} | {'hours': 7.0, 'interval': 'q24h'} | Passed |
| exactly 6 hours | {'hours': 6.0, 'interval': 'q24h'} | {'hours': 6.0, 'interval': 'q24h'} | Passed |
| exactly 14 hours | {'hours': 14.0, 'interval': 'q24h'} | {'hours': 14.0, 'interval': 'q24h'} | Passed |
| beyond 14 hours | {'hours': 14.17, 'interval': 'OUT_OF_RANGE'} | {'hours': 14.17, 'interval': 'OUT_OF_RANGE'} | Passed |
| fractional hour reading | {'hours': 10.25, 'interval': 'q36h'} | {'hours': 10.25, 'interval': 'q36h'} | Passed |
| on the q24 line | {'hours': 9.0, 'interval': 'q24h'} | {'hours': 9.0, 'interval': 'q24h'} | Passed |
| late draw mid-band | {'hours': 10.0, 'interval': 'q24h'} | {'hours': 10.0, 'interval': 'q24h'} | Passed |
SHA-256 / 2610dc4977328a57b6caa48161e37300278a250a846162b1167135ce78a4416c
Verification & scope
A deterministic toy software model with explicitly stipulated thresholds and formulas; it is not clinical guidance, not a validated medical calculator, and makes no claim of conformance to any published protocol. Numbered variants vary patient and order inputs. 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:47:23.302837+00:00.
Case digest / 9d5f1b031d1ee4365a9d56bb6957406c223d64ba0ec732416415ba8c65de9869