FA-64331 / Medication dosing calculations / Open access
Single-level extended-interval nomogram: time remaining on nomogram · case 01
Early levels are compared against the lowest part of each line.
ROOT CAUSE
The line offset is measured from the start of the window instead of from 14 hours.
VERIFIED REPAIR
Use rem = 14 - hours for every line.
Unsuccessful approach: Truncating hours to whole numbers shifts fractional-hour readings onto a higher line position.
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'])
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 = hrs - 6
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': 'q36h'} | {'hours': 7.0, 'interval': 'q24h'} | Failed |
| exactly 6 hours | {'hours': 6.0, 'interval': 'q48h'} | {'hours': 6.0, 'interval': 'q24h'} | Failed |
| 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': 'q24h'} | {'hours': 10.25, 'interval': 'q36h'} | Failed |
| on the q24 line | {'hours': 9.0, 'interval': 'q36h'} | {'hours': 9.0, 'interval': 'q24h'} | Failed |
| late draw mid-band | {'hours': 10.0, 'interval': 'q24h'} | {'hours': 10.0, 'interval': 'q24h'} | Passed |
SHA-256 / 483048b1969aef55342f7e8674b5bdc579e4ef9c7636616dc7a89c8e755e5d3c
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 += 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 - math.floor(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': 'q24h'} | {'hours': 10.25, 'interval': 'q36h'} | Failed |
| 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 / 578c0510e6643e2ef4324942b02f4c5822ff996232ff42e5aa6921f867864df6
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.304137+00:00.
Case digest / ab99814f4f6ad4084c6950261f75a3e02b4ef3269826d5d1b3c7a42bd7c77147