FA-64236 / Medication dosing calculations / Open access
Oral liquid volume measured in a dosing syringe: syringe capacity check · case 01
A dose that exactly fills the syringe is sent for splitting.
ROOT CAUSE
The capacity check uses >= and treats a full syringe as overflowing.
VERIFIED REPAIR
Split only when the rounded volume exceeds the syringe capacity.
Unsuccessful approach: Checking the unrounded volume splits doses that round down to fit.
Case contract
Input {weight_kg, mg_per_kg, max_mg, conc_mg, conc_ml (label strength conc_mg per conc_ml), syringe_ml (1, 5 or 10)}. dose = min(mg_per_kg*weight, max_mg); volume = dose/(conc_mg/conc_ml). Graduations: 1 mL syringe 0.01 mL, 5 mL syringe 0.2 mL, 10 mL syringe 0.5 mL. Round half-up to the graduation, but if that delivers more than max_mg round down instead. A rounded volume above syringe capacity returns {status SPLIT, syringes = ceil(volume/capacity)}; otherwise {status OK, volume_ml, dose_mg delivered}.
Why this case matters
Liquid dosing converts mg to mL through a label strength and then to what a syringe can actually measure; each step has a distinct defect.
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):
dose = min(Fraction(str(x['mg_per_kg'])) * Fraction(str(x['weight_kg'])), x['max_mg'])
per_ml = Fraction(x['conc_mg'], x['conc_ml'])
vol = dose / per_ml
grad = {1: Fraction(1, 100), 5: Fraction(1, 5), 10: Fraction(1, 2)}[x['syringe_ml']]
v = math.floor(vol / grad + Fraction(1, 2)) * grad
if v * per_ml > x['max_mg']:
v = math.floor(vol / grad) * grad
if v >= x['syringe_ml']:
return {'status': 'SPLIT', 'syringes': math.ceil(v / x['syringe_ml'])}
return {'status': 'OK', 'volume_ml': float(v), 'dose_mg': float(v * per_ml)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('suspension per 5 mL label',
{'weight_kg': 13, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.0, 'dose_mg': 200.0}),
('5 mL syringe graduations',
{'weight_kg': 9, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 3.8, 'dose_mg': 91.2}),
('10 mL syringe graduations',
{'weight_kg': 21, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 7.5, 'dose_mg': 150.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 195, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.5, 'dose_mg': 180.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 39, 'mg_per_kg': 5, 'max_mg': 200, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 200.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.1', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 5, 'max_mg': 1000, 'conc_mg': 10, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 31, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2})],
[('suspension per 5 mL label',
{'weight_kg': 14, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.0, 'dose_mg': 200.0}),
('5 mL syringe graduations',
{'weight_kg': 10, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 4.2, 'dose_mg': 100.8}),
('10 mL syringe graduations',
{'weight_kg': 22, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 7.5, 'dose_mg': 150.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 215, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 200.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 43, 'mg_per_kg': 5, 'max_mg': 220, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.5, 'dose_mg': 220.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.2', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 10, 'max_mg': 1000, 'conc_mg': 20, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 32, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2})],
[('suspension per 5 mL label',
{'weight_kg': 15, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.5, 'dose_mg': 225.0}),
('5 mL syringe graduations',
{'weight_kg': 11, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 4.6, 'dose_mg': 110.4}),
('10 mL syringe graduations',
{'weight_kg': 23, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 8.0, 'dose_mg': 160.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 235, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.5, 'dose_mg': 220.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 47, 'mg_per_kg': 5, 'max_mg': 240, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.0, 'dose_mg': 240.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.05', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 30, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 34, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 3})],
[('suspension per 5 mL label',
{'weight_kg': 16, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 250.0}),
('5 mL syringe graduations',
{'weight_kg': 12, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('10 mL syringe graduations',
{'weight_kg': 24, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 8.5, 'dose_mg': 170.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 255, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.0, 'dose_mg': 240.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 51, 'mg_per_kg': 5, 'max_mg': 260, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.5, 'dose_mg': 260.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.15', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 20, 'max_mg': 1000, 'conc_mg': 40, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 36, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 3})],
[('suspension per 5 mL label',
{'weight_kg': 17, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 250.0}),
('5 mL syringe graduations',
{'weight_kg': 13, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('10 mL syringe graduations',
{'weight_kg': 25, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 9.0, 'dose_mg': 180.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 275, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.5, 'dose_mg': 260.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 55, 'mg_per_kg': 5, 'max_mg': 280, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 7.0, 'dose_mg': 280.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.12', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 25, 'max_mg': 1000, 'conc_mg': 50, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 37, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 3})]]
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 |
|---|---|---|---|
| suspension per 5 mL label | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 4.0} | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 4.0} | Passed |
| 5 mL syringe graduations | {'dose_mg': 91.2, 'status': 'OK', 'volume_ml': 3.8} | {'dose_mg': 91.2, 'status': 'OK', 'volume_ml': 3.8} | Passed |
| 10 mL syringe graduations | {'dose_mg': 150.0, 'status': 'OK', 'volume_ml': 7.5} | {'dose_mg': 150.0, 'status': 'OK', 'volume_ml': 7.5} | Passed |
| rounding up would exceed maximum | {'dose_mg': 180.0, 'status': 'OK', 'volume_ml': 4.5} | {'dose_mg': 180.0, 'status': 'OK', 'volume_ml': 4.5} | Passed |
| rounding up lands exactly on maximum | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 5.0} | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 5.0} | Passed |
| volume rounds down to capacity | {'status': 'SPLIT', 'syringes': 1} | {'dose_mg': 120.0, 'status': 'OK', 'volume_ml': 5.0} | Failed |
| exact multiple of syringe capacity | {'status': 'SPLIT', 'syringes': 2} | {'status': 'SPLIT', 'syringes': 2} | Passed |
| split across syringes | {'status': 'SPLIT', 'syringes': 2} | {'status': 'SPLIT', 'syringes': 2} | Passed |
SHA-256 / 3733a43dc4f9e1f2687d70f6deba98cbd3b860befb0a4772f94d2b2572acd17b
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):
dose = min(Fraction(str(x['mg_per_kg'])) * Fraction(str(x['weight_kg'])), x['max_mg'])
per_ml = Fraction(x['conc_mg'], x['conc_ml'])
vol = dose / per_ml
grad = {1: Fraction(1, 100), 5: Fraction(1, 5), 10: Fraction(1, 2)}[x['syringe_ml']]
v = math.floor(vol / grad + Fraction(1, 2)) * grad
if v * per_ml > x['max_mg']:
v = math.floor(vol / grad) * grad
if vol > x['syringe_ml']:
return {'status': 'SPLIT', 'syringes': math.ceil(v / x['syringe_ml'])}
return {'status': 'OK', 'volume_ml': float(v), 'dose_mg': float(v * per_ml)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('suspension per 5 mL label',
{'weight_kg': 13, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.0, 'dose_mg': 200.0}),
('5 mL syringe graduations',
{'weight_kg': 9, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 3.8, 'dose_mg': 91.2}),
('10 mL syringe graduations',
{'weight_kg': 21, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 7.5, 'dose_mg': 150.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 195, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.5, 'dose_mg': 180.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 39, 'mg_per_kg': 5, 'max_mg': 200, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 200.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.1', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 5, 'max_mg': 1000, 'conc_mg': 10, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 31, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2})],
[('suspension per 5 mL label',
{'weight_kg': 14, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.0, 'dose_mg': 200.0}),
('5 mL syringe graduations',
{'weight_kg': 10, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 4.2, 'dose_mg': 100.8}),
('10 mL syringe graduations',
{'weight_kg': 22, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 7.5, 'dose_mg': 150.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 215, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 200.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 43, 'mg_per_kg': 5, 'max_mg': 220, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.5, 'dose_mg': 220.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.2', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 10, 'max_mg': 1000, 'conc_mg': 20, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 32, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2})],
[('suspension per 5 mL label',
{'weight_kg': 15, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.5, 'dose_mg': 225.0}),
('5 mL syringe graduations',
{'weight_kg': 11, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 4.6, 'dose_mg': 110.4}),
('10 mL syringe graduations',
{'weight_kg': 23, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 8.0, 'dose_mg': 160.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 235, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.5, 'dose_mg': 220.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 47, 'mg_per_kg': 5, 'max_mg': 240, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.0, 'dose_mg': 240.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.05', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 30, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 34, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 3})],
[('suspension per 5 mL label',
{'weight_kg': 16, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 250.0}),
('5 mL syringe graduations',
{'weight_kg': 12, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('10 mL syringe graduations',
{'weight_kg': 24, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 8.5, 'dose_mg': 170.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 255, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.0, 'dose_mg': 240.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 51, 'mg_per_kg': 5, 'max_mg': 260, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.5, 'dose_mg': 260.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.15', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 20, 'max_mg': 1000, 'conc_mg': 40, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 36, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 3})],
[('suspension per 5 mL label',
{'weight_kg': 17, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 250.0}),
('5 mL syringe graduations',
{'weight_kg': 13, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('10 mL syringe graduations',
{'weight_kg': 25, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 9.0, 'dose_mg': 180.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 275, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.5, 'dose_mg': 260.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 55, 'mg_per_kg': 5, 'max_mg': 280, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 7.0, 'dose_mg': 280.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.12', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 25, 'max_mg': 1000, 'conc_mg': 50, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 37, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 3})]]
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 |
|---|---|---|---|
| suspension per 5 mL label | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 4.0} | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 4.0} | Passed |
| 5 mL syringe graduations | {'dose_mg': 91.2, 'status': 'OK', 'volume_ml': 3.8} | {'dose_mg': 91.2, 'status': 'OK', 'volume_ml': 3.8} | Passed |
| 10 mL syringe graduations | {'dose_mg': 150.0, 'status': 'OK', 'volume_ml': 7.5} | {'dose_mg': 150.0, 'status': 'OK', 'volume_ml': 7.5} | Passed |
| rounding up would exceed maximum | {'dose_mg': 180.0, 'status': 'OK', 'volume_ml': 4.5} | {'dose_mg': 180.0, 'status': 'OK', 'volume_ml': 4.5} | Passed |
| rounding up lands exactly on maximum | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 5.0} | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 5.0} | Passed |
| volume rounds down to capacity | {'status': 'SPLIT', 'syringes': 1} | {'dose_mg': 120.0, 'status': 'OK', 'volume_ml': 5.0} | Failed |
| exact multiple of syringe capacity | {'status': 'SPLIT', 'syringes': 2} | {'status': 'SPLIT', 'syringes': 2} | Passed |
| split across syringes | {'status': 'SPLIT', 'syringes': 2} | {'status': 'SPLIT', 'syringes': 2} | Passed |
SHA-256 / cb97242e65c257f27404d796709557ba877764b2ebc9978bd8837e1013dd77a6
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):
dose = min(Fraction(str(x['mg_per_kg'])) * Fraction(str(x['weight_kg'])), x['max_mg'])
per_ml = Fraction(x['conc_mg'], x['conc_ml'])
vol = dose / per_ml
grad = {1: Fraction(1, 100), 5: Fraction(1, 5), 10: Fraction(1, 2)}[x['syringe_ml']]
v = math.floor(vol / grad + Fraction(1, 2)) * grad
if v * per_ml > x['max_mg']:
v = math.floor(vol / grad) * grad
if v > x['syringe_ml']:
return {'status': 'SPLIT', 'syringes': math.ceil(v / x['syringe_ml'])}
return {'status': 'OK', 'volume_ml': float(v), 'dose_mg': float(v * per_ml)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('suspension per 5 mL label',
{'weight_kg': 13, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.0, 'dose_mg': 200.0}),
('5 mL syringe graduations',
{'weight_kg': 9, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 3.8, 'dose_mg': 91.2}),
('10 mL syringe graduations',
{'weight_kg': 21, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 7.5, 'dose_mg': 150.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 195, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.5, 'dose_mg': 180.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 39, 'mg_per_kg': 5, 'max_mg': 200, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 200.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.1', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 5, 'max_mg': 1000, 'conc_mg': 10, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 31, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2})],
[('suspension per 5 mL label',
{'weight_kg': 14, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.0, 'dose_mg': 200.0}),
('5 mL syringe graduations',
{'weight_kg': 10, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 4.2, 'dose_mg': 100.8}),
('10 mL syringe graduations',
{'weight_kg': 22, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 7.5, 'dose_mg': 150.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 215, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 200.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 43, 'mg_per_kg': 5, 'max_mg': 220, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.5, 'dose_mg': 220.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.2', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 10, 'max_mg': 1000, 'conc_mg': 20, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 32, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2})],
[('suspension per 5 mL label',
{'weight_kg': 15, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 4.5, 'dose_mg': 225.0}),
('5 mL syringe graduations',
{'weight_kg': 11, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 4.6, 'dose_mg': 110.4}),
('10 mL syringe graduations',
{'weight_kg': 23, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 8.0, 'dose_mg': 160.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 235, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.5, 'dose_mg': 220.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 47, 'mg_per_kg': 5, 'max_mg': 240, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.0, 'dose_mg': 240.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.05', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 30, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 34, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 3})],
[('suspension per 5 mL label',
{'weight_kg': 16, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 250.0}),
('5 mL syringe graduations',
{'weight_kg': 12, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('10 mL syringe graduations',
{'weight_kg': 24, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 8.5, 'dose_mg': 170.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 255, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.0, 'dose_mg': 240.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 51, 'mg_per_kg': 5, 'max_mg': 260, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.5, 'dose_mg': 260.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.15', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 20, 'max_mg': 1000, 'conc_mg': 40, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 36, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 3})],
[('suspension per 5 mL label',
{'weight_kg': 17, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 250.0}),
('5 mL syringe graduations',
{'weight_kg': 13, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('10 mL syringe graduations',
{'weight_kg': 25, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 9.0, 'dose_mg': 180.0}),
('rounding up would exceed maximum',
{'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 275, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 6.5, 'dose_mg': 260.0}),
('rounding up lands exactly on maximum',
{'weight_kg': 55, 'mg_per_kg': 5, 'max_mg': 280, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},
{'status': 'OK', 'volume_ml': 7.0, 'dose_mg': 280.0}),
('volume rounds down to capacity',
{'weight_kg': 10, 'mg_per_kg': '12.12', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),
('exact multiple of syringe capacity',
{'weight_kg': 20, 'mg_per_kg': 25, 'max_mg': 1000, 'conc_mg': 50, 'conc_ml': 1, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 2}),
('split across syringes',
{'weight_kg': 37, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},
{'status': 'SPLIT', 'syringes': 3})]]
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 |
|---|---|---|---|
| suspension per 5 mL label | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 4.0} | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 4.0} | Passed |
| 5 mL syringe graduations | {'dose_mg': 91.2, 'status': 'OK', 'volume_ml': 3.8} | {'dose_mg': 91.2, 'status': 'OK', 'volume_ml': 3.8} | Passed |
| 10 mL syringe graduations | {'dose_mg': 150.0, 'status': 'OK', 'volume_ml': 7.5} | {'dose_mg': 150.0, 'status': 'OK', 'volume_ml': 7.5} | Passed |
| rounding up would exceed maximum | {'dose_mg': 180.0, 'status': 'OK', 'volume_ml': 4.5} | {'dose_mg': 180.0, 'status': 'OK', 'volume_ml': 4.5} | Passed |
| rounding up lands exactly on maximum | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 5.0} | {'dose_mg': 200.0, 'status': 'OK', 'volume_ml': 5.0} | Passed |
| volume rounds down to capacity | {'dose_mg': 120.0, 'status': 'OK', 'volume_ml': 5.0} | {'dose_mg': 120.0, 'status': 'OK', 'volume_ml': 5.0} | Passed |
| exact multiple of syringe capacity | {'status': 'SPLIT', 'syringes': 2} | {'status': 'SPLIT', 'syringes': 2} | Passed |
| split across syringes | {'status': 'SPLIT', 'syringes': 2} | {'status': 'SPLIT', 'syringes': 2} | Passed |
SHA-256 / c26945bb8f52c5b7b0d2f85b2bdc2e9665f396fd0f1c8db1879d53bbb9b8af7d
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:22.557662+00:00.
Case digest / 6d3de41e042929adc0bd60c96f3ff0d69b0db85b06493d92a96427711fbe6e04