FAILURE MAP
← Case archive

FA-63911 / Medication dosing calculations / Open access

mcg/kg/min infusion converted to pump mL/h: pump ceiling comparison · case 01

A rate of exactly 999.9 mL/h is reported as exceeding the pump.

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

ROOT CAUSE

The ceiling check uses >= against the 999.9 limit, excluding the maximum itself.

VERIFIED REPAIR

Reject only rounded rates strictly greater than 999.9 mL/h (9999 tenths).

Unsuccessful approach: Comparing tenths with 999 mixes units and rejects any rate above 99.9 mL/h.

Case contract

Input {dose (mcg/kg/min), weight_kg, drug_mg, bag_ml}. Concentration = drug_mg*1000/bag_ml mcg/mL. Rate mL/h = dose*weight*60/concentration, rounded half-up to 0.1 mL/h. Pump accepts 0.1-999.9 mL/h: a rounded rate above 999.9 returns status EXCEEDS_PUMP, a rounded rate of 0.0 returns BELOW_RESOLUTION; otherwise status OK with rate_ml_h. conc_mcg_ml is always reported.

Why this case matters

Weight-based infusion programming is a classic unit-conversion fault surface: mg vs mcg, per-minute vs per-hour, and pump resolution limits.

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):
    conc = Fraction(x['drug_mg']) * 1000 / Fraction(str(x['bag_ml']))
    rate = Fraction(str(x['dose'])) * Fraction(str(x['weight_kg'])) * 60 / conc
    tenths = math.floor(rate * 10 + Fraction(1, 2))
    if tenths >= 9999:
        return {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': float(conc)}
    if tenths == 0:
        return {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': float(conc)}
    return {'status': 'OK', 'conc_mcg_ml': float(conc), 'rate_ml_h': tenths / 10}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('standard adult infusion',
   {'dose': '5', 'weight_kg': 71, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.3}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 5, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.3}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 101, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 101},
   {'status': 'OK', 'conc_mcg_ml': 594.059405940594, 'rate_ml_h': 151.5}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 67, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 8, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 72, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.5}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 9, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.5}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 102, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 102},
   {'status': 'OK', 'conc_mcg_ml': 588.2352941176471, 'rate_ml_h': 153.0}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 68, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 9, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 73, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.7}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 13, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.7}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 103, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 103},
   {'status': 'OK', 'conc_mcg_ml': 582.5242718446602, 'rate_ml_h': 154.5}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 69, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 10, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 74, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.9}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 17, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.9}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 104, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 104},
   {'status': 'OK', 'conc_mcg_ml': 576.9230769230769, 'rate_ml_h': 156.0}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 70, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 11, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 75, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 14.1}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 21, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 1.1}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 105, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 105},
   {'status': 'OK', 'conc_mcg_ml': 571.4285714285714, 'rate_ml_h': 157.5}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 71, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 12, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.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 fixtureActualExpectedOutcome
standard adult infusion{'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.3, 'status': 'OK'}{'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.3, 'status': 'OK'}Passed
half-tenth rate rounds up{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.3, 'status': 'OK'}{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.3, 'status': 'OK'}Passed
rate exactly at pump maximum{'conc_mcg_ml': 600.0, 'status': 'EXCEEDS_PUMP'}{'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9, 'status': 'OK'}Failed
rate above pump maximum{'conc_mcg_ml': 600.0, 'status': 'EXCEEDS_PUMP'}{'conc_mcg_ml': 600.0, 'status': 'EXCEEDS_PUMP'}Passed
high but valid rate{'conc_mcg_ml': 594.059405940594, 'rate_ml_h': 151.5, 'status': 'OK'}{'conc_mcg_ml': 594.059405940594, 'rate_ml_h': 151.5, 'status': 'OK'}Passed
tiny rate that rounds to 0.1{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1, 'status': 'OK'}{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1, 'status': 'OK'}Passed
rate that rounds to zero{'conc_mcg_ml': 600.0, 'status': 'BELOW_RESOLUTION'}{'conc_mcg_ml': 600.0, 'status': 'BELOW_RESOLUTION'}Passed

SHA-256 / 1b3402423991c1d1fa86a21c3e23e1cbf7d53e807b343da9dcd2f7284691dee9

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):
    conc = Fraction(x['drug_mg']) * 1000 / Fraction(str(x['bag_ml']))
    rate = Fraction(str(x['dose'])) * Fraction(str(x['weight_kg'])) * 60 / conc
    tenths = math.floor(rate * 10 + Fraction(1, 2))
    if tenths > 999:
        return {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': float(conc)}
    if tenths == 0:
        return {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': float(conc)}
    return {'status': 'OK', 'conc_mcg_ml': float(conc), 'rate_ml_h': tenths / 10}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('standard adult infusion',
   {'dose': '5', 'weight_kg': 71, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.3}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 5, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.3}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 101, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 101},
   {'status': 'OK', 'conc_mcg_ml': 594.059405940594, 'rate_ml_h': 151.5}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 67, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 8, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 72, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.5}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 9, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.5}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 102, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 102},
   {'status': 'OK', 'conc_mcg_ml': 588.2352941176471, 'rate_ml_h': 153.0}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 68, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 9, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 73, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.7}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 13, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.7}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 103, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 103},
   {'status': 'OK', 'conc_mcg_ml': 582.5242718446602, 'rate_ml_h': 154.5}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 69, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 10, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 74, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.9}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 17, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.9}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 104, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 104},
   {'status': 'OK', 'conc_mcg_ml': 576.9230769230769, 'rate_ml_h': 156.0}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 70, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 11, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 75, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 14.1}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 21, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 1.1}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 105, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 105},
   {'status': 'OK', 'conc_mcg_ml': 571.4285714285714, 'rate_ml_h': 157.5}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 71, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 12, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.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 fixtureActualExpectedOutcome
standard adult infusion{'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.3, 'status': 'OK'}{'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.3, 'status': 'OK'}Passed
half-tenth rate rounds up{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.3, 'status': 'OK'}{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.3, 'status': 'OK'}Passed
rate exactly at pump maximum{'conc_mcg_ml': 600.0, 'status': 'EXCEEDS_PUMP'}{'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9, 'status': 'OK'}Failed
rate above pump maximum{'conc_mcg_ml': 600.0, 'status': 'EXCEEDS_PUMP'}{'conc_mcg_ml': 600.0, 'status': 'EXCEEDS_PUMP'}Passed
high but valid rate{'conc_mcg_ml': 594.059405940594, 'status': 'EXCEEDS_PUMP'}{'conc_mcg_ml': 594.059405940594, 'rate_ml_h': 151.5, 'status': 'OK'}Failed
tiny rate that rounds to 0.1{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1, 'status': 'OK'}{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1, 'status': 'OK'}Passed
rate that rounds to zero{'conc_mcg_ml': 600.0, 'status': 'BELOW_RESOLUTION'}{'conc_mcg_ml': 600.0, 'status': 'BELOW_RESOLUTION'}Passed

SHA-256 / 3d155d95a1258c12e444bd82079aa72e548b1319d4da43c3fb9b0a19bde99152

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):
    conc = Fraction(x['drug_mg']) * 1000 / Fraction(str(x['bag_ml']))
    rate = Fraction(str(x['dose'])) * Fraction(str(x['weight_kg'])) * 60 / conc
    tenths = math.floor(rate * 10 + Fraction(1, 2))
    if tenths > 9999:
        return {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': float(conc)}
    if tenths == 0:
        return {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': float(conc)}
    return {'status': 'OK', 'conc_mcg_ml': float(conc), 'rate_ml_h': tenths / 10}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('standard adult infusion',
   {'dose': '5', 'weight_kg': 71, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.3}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 5, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.3}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 101, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 101},
   {'status': 'OK', 'conc_mcg_ml': 594.059405940594, 'rate_ml_h': 151.5}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 67, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 8, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 72, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.5}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 9, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.5}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 102, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 102},
   {'status': 'OK', 'conc_mcg_ml': 588.2352941176471, 'rate_ml_h': 153.0}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 68, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 9, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 73, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.7}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 13, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.7}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 103, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 103},
   {'status': 'OK', 'conc_mcg_ml': 582.5242718446602, 'rate_ml_h': 154.5}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 69, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 10, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 74, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.9}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 17, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.9}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 104, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 104},
   {'status': 'OK', 'conc_mcg_ml': 576.9230769230769, 'rate_ml_h': 156.0}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 70, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 11, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.0})],
 [('standard adult infusion',
   {'dose': '5', 'weight_kg': 75, 'drug_mg': 400, 'bag_ml': 250},
   {'status': 'OK', 'conc_mcg_ml': 1600.0, 'rate_ml_h': 14.1}),
  ('half-tenth rate rounds up',
   {'dose': '0.5', 'weight_kg': 21, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 1.1}),
  ('rate exactly at pump maximum',
   {'dose': '99.99', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9}),
  ('rate above pump maximum',
   {'dose': '100', 'weight_kg': 105, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'EXCEEDS_PUMP', 'conc_mcg_ml': 600.0}),
  ('high but valid rate',
   {'dose': '15', 'weight_kg': 100, 'drug_mg': 60, 'bag_ml': 105},
   {'status': 'OK', 'conc_mcg_ml': 571.4285714285714, 'rate_ml_h': 157.5}),
  ('tiny rate that rounds to 0.1',
   {'dose': '0.01', 'weight_kg': 71, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'OK', 'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1}),
  ('rate that rounds to zero',
   {'dose': '0.005', 'weight_kg': 12, 'drug_mg': 60, 'bag_ml': 100},
   {'status': 'BELOW_RESOLUTION', 'conc_mcg_ml': 600.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 fixtureActualExpectedOutcome
standard adult infusion{'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.3, 'status': 'OK'}{'conc_mcg_ml': 1600.0, 'rate_ml_h': 13.3, 'status': 'OK'}Passed
half-tenth rate rounds up{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.3, 'status': 'OK'}{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.3, 'status': 'OK'}Passed
rate exactly at pump maximum{'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9, 'status': 'OK'}{'conc_mcg_ml': 600.0, 'rate_ml_h': 999.9, 'status': 'OK'}Passed
rate above pump maximum{'conc_mcg_ml': 600.0, 'status': 'EXCEEDS_PUMP'}{'conc_mcg_ml': 600.0, 'status': 'EXCEEDS_PUMP'}Passed
high but valid rate{'conc_mcg_ml': 594.059405940594, 'rate_ml_h': 151.5, 'status': 'OK'}{'conc_mcg_ml': 594.059405940594, 'rate_ml_h': 151.5, 'status': 'OK'}Passed
tiny rate that rounds to 0.1{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1, 'status': 'OK'}{'conc_mcg_ml': 600.0, 'rate_ml_h': 0.1, 'status': 'OK'}Passed
rate that rounds to zero{'conc_mcg_ml': 600.0, 'status': 'BELOW_RESOLUTION'}{'conc_mcg_ml': 600.0, 'status': 'BELOW_RESOLUTION'}Passed

SHA-256 / d166ca32b8d6ca0fa57992c3379a7d11da99af3f37478e24953351496009c95d

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

Case digest / b8a2ab585c090598dc642f67a7a2e834cdd03f461bc5cb159c256ae63f5b426a