FAILURE MAP
← Case archive

FA-63846 / Medication dosing calculations / Open access

Weight-based dose with ideal and adjusted dosing weight: short stature ideal weight floor · case 01

Patients shorter than 60 inches get an ideal weight below the sex base and are pushed into the adjusted band.

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

ROOT CAUSE

The height increment is not clamped at zero, so heights under 60 inches subtract from the base IBW.

THE FAILURE

The height increment is not clamped at zero, so heights under 60 inches subtract from the base IBW.

Unsuccessful approach: Taking abs() of the height difference makes short patients look taller, raising IBW above the base instead of holding it there.

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) * (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 fixtureActualExpectedOutcome
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': 'adjusted', 'dose_mg': 45, 'dosing_weight_kg': 43.6}{'basis': 'ideal', 'dose_mg': 45, 'dosing_weight_kg': 45.5}Failed
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 / f3e2e83ada201338ef8050f6adea6a0cc189ef346626c519f9be430a50412d9b

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) * abs(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 fixtureActualExpectedOutcome
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': 'actual', 'dose_mg': 50, 'dosing_weight_kg': 51.0}{'basis': 'ideal', 'dose_mg': 45, 'dosing_weight_kg': 45.5}Failed
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 / 3400f0d5d6250614c2cebe680a147c00a437bf358a5c6c690a5001af08a906b4

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 9 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

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.875999+00:00.

Case digest / 7fc2dd05c6443d402cb8fab15c3b63b199f48feaeb2ae1ed0b900724c0918a88