FA-63856 / Medication dosing calculations / Open access
Weight-based dose with ideal and adjusted dosing weight: adjusted weight excess fraction · case 01
Obese patients receive a dosing weight larger than their actual weight.
ROOT CAUSE
The 0.4 correction factor is applied to total weight instead of to the excess above IBW.
VERIFIED REPAIR
Add 0.4 x (actual - IBW) to IBW.
Unsuccessful approach: Subtracting 0.4 of the excess from actual weight keeps 60% of the excess instead of 40%.
Case contract
Input {sex, height_in, weight, unit ("kg" or "lb", 1 kg = 2.2 lb), mg_per_kg, max_mg}. Toy rule: IBW = 50 kg (sex "M") or 45.5 kg (otherwise) + 2.3 kg per inch above 60 in (never below the base). Dosing weight is actual weight when below IBW, IBW when actual is within 100-120% of IBW inclusive, and IBW + 0.4*(actual-IBW) when actual exceeds 120% of IBW. Dose = mg_per_kg * dosing weight rounded half-up to the nearest 5 mg, then capped at max_mg. Return {basis, dosing_weight_kg (1 decimal), dose_mg}.
Why this case matters
Weight-based ordering tools must choose the stipulated dosing weight band, convert units exactly, and apply the ceiling after the final rounding step.
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):
w = Fraction(str(x['weight']))
wt = w / Fraction(11, 5) if x['unit'] == 'lb' else w
hin = x['height_in']
base = Fraction(50) if x['sex'] == 'M' else Fraction(91, 2)
ibw = base + Fraction(23, 10) * max(0, hin - 60)
if wt < ibw:
dw, basis = wt, 'actual'
elif wt > Fraction(6, 5) * ibw:
dw, basis = ibw + Fraction(2, 5) * wt, 'adjusted'
else:
dw, basis = ibw, 'ideal'
raw = Fraction(str(x['mg_per_kg'])) * dw
dose = math.floor(raw / 5 + Fraction(1, 2)) * 5
dose = min(dose, x['max_mg'])
return {'basis': basis, 'dosing_weight_kg': round(float(dw), 1), 'dose_mg': dose}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 154, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 70.0, 'dose_mg': 70}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 57, 'weight': 51, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 60, 'weight': '60', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 105, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 85.8, 'dose_mg': 170}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 59, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 61, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 61.0, 'dose_mg': 60}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.25', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 15}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1003},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1003})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 176, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 73.0, 'dose_mg': 75}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 58, 'weight': 52, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 65, 'weight': '73.8', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 61.5, 'dose_mg': 125}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 110, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 87.8, 'dose_mg': 175}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 60, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 62, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 62.0, 'dose_mg': 60}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.45', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 25}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1004},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1004})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 198, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 79.8, 'dose_mg': 80}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 56, 'weight': 53, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 70, 'weight': '87.6', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 73.0, 'dose_mg': 145}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 115, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 89.8, 'dose_mg': 180}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 61, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 63, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 63.0, 'dose_mg': 65}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.65', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 35}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1008},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1008})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 220, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 83.8, 'dose_mg': 85}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 57, 'weight': 54, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 75, 'weight': '101.4', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 84.5, 'dose_mg': 170}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 120, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 91.8, 'dose_mg': 185}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 62, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 64, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 64.0, 'dose_mg': 65}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.85', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 45}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1009},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1009})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 242, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 87.8, 'dose_mg': 90}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 58, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 49.3, 'dose_mg': 50}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 80, 'weight': '115.2', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 96.0, 'dose_mg': 190}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 125, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 93.8, 'dose_mg': 190}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 63, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 65, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 65.0, 'dose_mg': 65}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '1.05', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 55}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1013},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1013})]]
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 |
|---|---|---|---|
| pound entry converted to kilograms | {'basis': 'actual', 'dose_mg': 70, 'dosing_weight_kg': 70.0} | {'basis': 'actual', 'dose_mg': 70, 'dosing_weight_kg': 70.0} | Passed |
| pound entry below ideal weight | {'basis': 'actual', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | {'basis': 'actual', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | Passed |
| short stature keeps base ideal weight | {'basis': 'ideal', 'dose_mg': 45, 'dosing_weight_kg': 45.5} | {'basis': 'ideal', 'dose_mg': 45, 'dosing_weight_kg': 45.5} | Passed |
| exactly 120 percent of ideal stays ideal | {'basis': 'ideal', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | {'basis': 'ideal', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | Passed |
| obese patient uses adjusted weight | {'basis': 'adjusted', 'dose_mg': 230, 'dosing_weight_kg': 115.0} | {'basis': 'adjusted', 'dose_mg': 170, 'dosing_weight_kg': 85.8} | Failed |
| within ideal band control | {'basis': 'ideal', 'dose_mg': 165, 'dosing_weight_kg': 54.7} | {'basis': 'ideal', 'dose_mg': 165, 'dosing_weight_kg': 54.7} | Passed |
| underweight uses actual weight | {'basis': 'actual', 'dose_mg': 60, 'dosing_weight_kg': 61.0} | {'basis': 'actual', 'dose_mg': 60, 'dosing_weight_kg': 61.0} | Passed |
| half-way dose rounds up to next 5 mg | {'basis': 'ideal', 'dose_mg': 15, 'dosing_weight_kg': 50.0} | {'basis': 'ideal', 'dose_mg': 15, 'dosing_weight_kg': 50.0} | Passed |
| ceiling applied after rounding | {'basis': 'ideal', 'dose_mg': 1003, 'dosing_weight_kg': 50.0} | {'basis': 'ideal', 'dose_mg': 1003, 'dosing_weight_kg': 50.0} | Passed |
SHA-256 / 5647a3f843761d4b568836832b1f05e36729529c25242247cc8acecf33c2eefa
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):
w = Fraction(str(x['weight']))
wt = w / Fraction(11, 5) if x['unit'] == 'lb' else w
hin = x['height_in']
base = Fraction(50) if x['sex'] == 'M' else Fraction(91, 2)
ibw = base + Fraction(23, 10) * max(0, hin - 60)
if wt < ibw:
dw, basis = wt, 'actual'
elif wt > Fraction(6, 5) * ibw:
dw, basis = wt - Fraction(2, 5) * (wt - ibw), 'adjusted'
else:
dw, basis = ibw, 'ideal'
raw = Fraction(str(x['mg_per_kg'])) * dw
dose = math.floor(raw / 5 + Fraction(1, 2)) * 5
dose = min(dose, x['max_mg'])
return {'basis': basis, 'dosing_weight_kg': round(float(dw), 1), 'dose_mg': dose}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 154, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 70.0, 'dose_mg': 70}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 57, 'weight': 51, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 60, 'weight': '60', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 105, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 85.8, 'dose_mg': 170}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 59, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 61, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 61.0, 'dose_mg': 60}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.25', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 15}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1003},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1003})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 176, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 73.0, 'dose_mg': 75}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 58, 'weight': 52, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 65, 'weight': '73.8', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 61.5, 'dose_mg': 125}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 110, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 87.8, 'dose_mg': 175}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 60, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 62, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 62.0, 'dose_mg': 60}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.45', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 25}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1004},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1004})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 198, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 79.8, 'dose_mg': 80}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 56, 'weight': 53, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 70, 'weight': '87.6', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 73.0, 'dose_mg': 145}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 115, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 89.8, 'dose_mg': 180}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 61, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 63, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 63.0, 'dose_mg': 65}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.65', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 35}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1008},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1008})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 220, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 83.8, 'dose_mg': 85}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 57, 'weight': 54, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 75, 'weight': '101.4', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 84.5, 'dose_mg': 170}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 120, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 91.8, 'dose_mg': 185}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 62, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 64, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 64.0, 'dose_mg': 65}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.85', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 45}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1009},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1009})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 242, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 87.8, 'dose_mg': 90}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 58, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 49.3, 'dose_mg': 50}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 80, 'weight': '115.2', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 96.0, 'dose_mg': 190}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 125, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 93.8, 'dose_mg': 190}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 63, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 65, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 65.0, 'dose_mg': 65}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '1.05', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 55}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1013},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1013})]]
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 |
|---|---|---|---|
| pound entry converted to kilograms | {'basis': 'actual', 'dose_mg': 70, 'dosing_weight_kg': 70.0} | {'basis': 'actual', 'dose_mg': 70, 'dosing_weight_kg': 70.0} | Passed |
| pound entry below ideal weight | {'basis': 'actual', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | {'basis': 'actual', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | Passed |
| short stature keeps base ideal weight | {'basis': 'ideal', 'dose_mg': 45, 'dosing_weight_kg': 45.5} | {'basis': 'ideal', 'dose_mg': 45, 'dosing_weight_kg': 45.5} | Passed |
| exactly 120 percent of ideal stays ideal | {'basis': 'ideal', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | {'basis': 'ideal', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | Passed |
| obese patient uses adjusted weight | {'basis': 'adjusted', 'dose_mg': 185, 'dosing_weight_kg': 92.2} | {'basis': 'adjusted', 'dose_mg': 170, 'dosing_weight_kg': 85.8} | Failed |
| within ideal band control | {'basis': 'ideal', 'dose_mg': 165, 'dosing_weight_kg': 54.7} | {'basis': 'ideal', 'dose_mg': 165, 'dosing_weight_kg': 54.7} | Passed |
| underweight uses actual weight | {'basis': 'actual', 'dose_mg': 60, 'dosing_weight_kg': 61.0} | {'basis': 'actual', 'dose_mg': 60, 'dosing_weight_kg': 61.0} | Passed |
| half-way dose rounds up to next 5 mg | {'basis': 'ideal', 'dose_mg': 15, 'dosing_weight_kg': 50.0} | {'basis': 'ideal', 'dose_mg': 15, 'dosing_weight_kg': 50.0} | Passed |
| ceiling applied after rounding | {'basis': 'ideal', 'dose_mg': 1003, 'dosing_weight_kg': 50.0} | {'basis': 'ideal', 'dose_mg': 1003, 'dosing_weight_kg': 50.0} | Passed |
SHA-256 / bf748bc3a0a9af54ff3c48fa4394721a0d43328483d597a0462ee867bd8dae54
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):
w = Fraction(str(x['weight']))
wt = w / Fraction(11, 5) if x['unit'] == 'lb' else w
hin = x['height_in']
base = Fraction(50) if x['sex'] == 'M' else Fraction(91, 2)
ibw = base + Fraction(23, 10) * max(0, hin - 60)
if wt < ibw:
dw, basis = wt, 'actual'
elif wt > Fraction(6, 5) * ibw:
dw, basis = ibw + Fraction(2, 5) * (wt - ibw), 'adjusted'
else:
dw, basis = ibw, 'ideal'
raw = Fraction(str(x['mg_per_kg'])) * dw
dose = math.floor(raw / 5 + Fraction(1, 2)) * 5
dose = min(dose, x['max_mg'])
return {'basis': basis, 'dosing_weight_kg': round(float(dw), 1), 'dose_mg': dose}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 154, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 70.0, 'dose_mg': 70}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 57, 'weight': 51, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 60, 'weight': '60', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 105, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 85.8, 'dose_mg': 170}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 59, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 61, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 61.0, 'dose_mg': 60}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.25', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 15}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1003},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1003})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 176, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 73.0, 'dose_mg': 75}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 58, 'weight': 52, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 65, 'weight': '73.8', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 61.5, 'dose_mg': 125}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 110, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 87.8, 'dose_mg': 175}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 60, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 62, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 62.0, 'dose_mg': 60}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.45', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 25}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1004},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1004})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 198, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 79.8, 'dose_mg': 80}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 56, 'weight': 53, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 70, 'weight': '87.6', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 73.0, 'dose_mg': 145}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 115, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 89.8, 'dose_mg': 180}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 61, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 63, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 63.0, 'dose_mg': 65}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.65', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 35}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1008},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1008})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 220, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 83.8, 'dose_mg': 85}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 57, 'weight': 54, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'ideal', 'dosing_weight_kg': 45.5, 'dose_mg': 45}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 75, 'weight': '101.4', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 84.5, 'dose_mg': 170}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 120, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 91.8, 'dose_mg': 185}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 62, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 64, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 64.0, 'dose_mg': 65}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '0.85', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 45}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1009},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1009})],
[('pound entry converted to kilograms',
{'sex': 'M', 'height_in': 70, 'weight': 242, 'unit': 'lb', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 87.8, 'dose_mg': 90}),
('pound entry below ideal weight',
{'sex': 'F', 'height_in': 64, 'weight': 110, 'unit': 'lb', 'mg_per_kg': 2, 'max_mg': 2000},
{'basis': 'actual', 'dosing_weight_kg': 50.0, 'dose_mg': 100}),
('short stature keeps base ideal weight',
{'sex': 'F', 'height_in': 58, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 2000},
{'basis': 'adjusted', 'dosing_weight_kg': 49.3, 'dose_mg': 50}),
('exactly 120 percent of ideal stays ideal',
{'sex': 'M', 'height_in': 80, 'weight': '115.2', 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 96.0, 'dose_mg': 190}),
('obese patient uses adjusted weight',
{'sex': 'M', 'height_in': 70, 'weight': 125, 'unit': 'kg', 'mg_per_kg': 2, 'max_mg': 5000},
{'basis': 'adjusted', 'dosing_weight_kg': 93.8, 'dose_mg': 190}),
('within ideal band control',
{'sex': 'F', 'height_in': 64, 'weight': 63, 'unit': 'kg', 'mg_per_kg': 3, 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 54.7, 'dose_mg': 165}),
('underweight uses actual weight',
{'sex': 'M', 'height_in': 72, 'weight': 65, 'unit': 'kg', 'mg_per_kg': 1, 'max_mg': 5000},
{'basis': 'actual', 'dosing_weight_kg': 65.0, 'dose_mg': 65}),
('half-way dose rounds up to next 5 mg',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': '1.05', 'max_mg': 5000},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 55}),
('ceiling applied after rounding',
{'sex': 'M', 'height_in': 60, 'weight': 55, 'unit': 'kg', 'mg_per_kg': 22, 'max_mg': 1013},
{'basis': 'ideal', 'dosing_weight_kg': 50.0, 'dose_mg': 1013})]]
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 |
|---|---|---|---|
| pound entry converted to kilograms | {'basis': 'actual', 'dose_mg': 70, 'dosing_weight_kg': 70.0} | {'basis': 'actual', 'dose_mg': 70, 'dosing_weight_kg': 70.0} | Passed |
| pound entry below ideal weight | {'basis': 'actual', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | {'basis': 'actual', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | Passed |
| short stature keeps base ideal weight | {'basis': 'ideal', 'dose_mg': 45, 'dosing_weight_kg': 45.5} | {'basis': 'ideal', 'dose_mg': 45, 'dosing_weight_kg': 45.5} | Passed |
| exactly 120 percent of ideal stays ideal | {'basis': 'ideal', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | {'basis': 'ideal', 'dose_mg': 100, 'dosing_weight_kg': 50.0} | Passed |
| obese patient uses adjusted weight | {'basis': 'adjusted', 'dose_mg': 170, 'dosing_weight_kg': 85.8} | {'basis': 'adjusted', 'dose_mg': 170, 'dosing_weight_kg': 85.8} | Passed |
| within ideal band control | {'basis': 'ideal', 'dose_mg': 165, 'dosing_weight_kg': 54.7} | {'basis': 'ideal', 'dose_mg': 165, 'dosing_weight_kg': 54.7} | Passed |
| underweight uses actual weight | {'basis': 'actual', 'dose_mg': 60, 'dosing_weight_kg': 61.0} | {'basis': 'actual', 'dose_mg': 60, 'dosing_weight_kg': 61.0} | Passed |
| half-way dose rounds up to next 5 mg | {'basis': 'ideal', 'dose_mg': 15, 'dosing_weight_kg': 50.0} | {'basis': 'ideal', 'dose_mg': 15, 'dosing_weight_kg': 50.0} | Passed |
| ceiling applied after rounding | {'basis': 'ideal', 'dose_mg': 1003, 'dosing_weight_kg': 50.0} | {'basis': 'ideal', 'dose_mg': 1003, 'dosing_weight_kg': 50.0} | Passed |
SHA-256 / 800a21bcf59e7062b5fb034249ffb48ae949c37890bbe9e4f4cf181299fa329f
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:18.477318+00:00.
Case digest / 9662e43dfbabadeb706bba77952e510c527e916d2ce563e21cf3866b41441f55