{"abstract":"A dose that exactly fills the syringe is sent for splitting.","category":"Medication dosing calculations","checks":8,"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}.","contract_signature":"x","evaluation_group":"w2-meddose-oral-liquid-volume","failed_approach":"Checking the unrounded volume splits doses that round down to fit.","family":"w2-meddose-oral-liquid-volume-syringe-capacity-check","id":"FA-64236","implementations":{"attempt":{"sha256":"cb97242e65c257f27404d796709557ba877764b2ebc9978bd8837e1013dd77a6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    dose = min(Fraction(str(x['mg_per_kg'])) * Fraction(str(x['weight_kg'])), x['max_mg'])\n    per_ml = Fraction(x['conc_mg'], x['conc_ml'])\n    vol = dose / per_ml\n    grad = {1: Fraction(1, 100), 5: Fraction(1, 5), 10: Fraction(1, 2)}[x['syringe_ml']]\n    v = math.floor(vol / grad + Fraction(1, 2)) * grad\n    if v * per_ml > x['max_mg']:\n        v = math.floor(vol / grad) * grad\n    if vol > x['syringe_ml']:\n        return {'status': 'SPLIT', 'syringes': math.ceil(v / x['syringe_ml'])}\n    return {'status': 'OK', 'volume_ml': float(v), 'dose_mg': float(v * per_ml)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('suspension per 5 mL label',\n   {'weight_kg': 13, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 4.0, 'dose_mg': 200.0}),\n  ('5 mL syringe graduations',\n   {'weight_kg': 9, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 3.8, 'dose_mg': 91.2}),\n  ('10 mL syringe graduations',\n   {'weight_kg': 21, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 7.5, 'dose_mg': 150.0}),\n  ('rounding up would exceed maximum',\n   {'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 195, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 4.5, 'dose_mg': 180.0}),\n  ('rounding up lands exactly on maximum',\n   {'weight_kg': 39, 'mg_per_kg': 5, 'max_mg': 200, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 200.0}),\n  ('volume rounds down to capacity',\n   {'weight_kg': 10, 'mg_per_kg': '12.1', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('exact multiple of syringe capacity',\n   {'weight_kg': 20, 'mg_per_kg': 5, 'max_mg': 1000, 'conc_mg': 10, 'conc_ml': 1, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('split across syringes',\n   {'weight_kg': 31, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2})],\n [('suspension per 5 mL label',\n   {'weight_kg': 14, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 4.0, 'dose_mg': 200.0}),\n  ('5 mL syringe graduations',\n   {'weight_kg': 10, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 4.2, 'dose_mg': 100.8}),\n  ('10 mL syringe graduations',\n   {'weight_kg': 22, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 7.5, 'dose_mg': 150.0}),\n  ('rounding up would exceed maximum',\n   {'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 215, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 200.0}),\n  ('rounding up lands exactly on maximum',\n   {'weight_kg': 43, 'mg_per_kg': 5, 'max_mg': 220, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.5, 'dose_mg': 220.0}),\n  ('volume rounds down to capacity',\n   {'weight_kg': 10, 'mg_per_kg': '12.2', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('exact multiple of syringe capacity',\n   {'weight_kg': 20, 'mg_per_kg': 10, 'max_mg': 1000, 'conc_mg': 20, 'conc_ml': 1, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('split across syringes',\n   {'weight_kg': 32, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2})],\n [('suspension per 5 mL label',\n   {'weight_kg': 15, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 4.5, 'dose_mg': 225.0}),\n  ('5 mL syringe graduations',\n   {'weight_kg': 11, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 4.6, 'dose_mg': 110.4}),\n  ('10 mL syringe graduations',\n   {'weight_kg': 23, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 8.0, 'dose_mg': 160.0}),\n  ('rounding up would exceed maximum',\n   {'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 235, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.5, 'dose_mg': 220.0}),\n  ('rounding up lands exactly on maximum',\n   {'weight_kg': 47, 'mg_per_kg': 5, 'max_mg': 240, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 6.0, 'dose_mg': 240.0}),\n  ('volume rounds down to capacity',\n   {'weight_kg': 10, 'mg_per_kg': '12.05', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('exact multiple of syringe capacity',\n   {'weight_kg': 20, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 30, 'conc_ml': 1, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('split across syringes',\n   {'weight_kg': 34, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 3})],\n [('suspension per 5 mL label',\n   {'weight_kg': 16, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 250.0}),\n  ('5 mL syringe graduations',\n   {'weight_kg': 12, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('10 mL syringe graduations',\n   {'weight_kg': 24, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 8.5, 'dose_mg': 170.0}),\n  ('rounding up would exceed maximum',\n   {'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 255, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 6.0, 'dose_mg': 240.0}),\n  ('rounding up lands exactly on maximum',\n   {'weight_kg': 51, 'mg_per_kg': 5, 'max_mg': 260, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 6.5, 'dose_mg': 260.0}),\n  ('volume rounds down to capacity',\n   {'weight_kg': 10, 'mg_per_kg': '12.15', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('exact multiple of syringe capacity',\n   {'weight_kg': 20, 'mg_per_kg': 20, 'max_mg': 1000, 'conc_mg': 40, 'conc_ml': 1, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('split across syringes',\n   {'weight_kg': 36, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 3})],\n [('suspension per 5 mL label',\n   {'weight_kg': 17, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 250.0}),\n  ('5 mL syringe graduations',\n   {'weight_kg': 13, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('10 mL syringe graduations',\n   {'weight_kg': 25, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 9.0, 'dose_mg': 180.0}),\n  ('rounding up would exceed maximum',\n   {'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 275, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 6.5, 'dose_mg': 260.0}),\n  ('rounding up lands exactly on maximum',\n   {'weight_kg': 55, 'mg_per_kg': 5, 'max_mg': 280, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 7.0, 'dose_mg': 280.0}),\n  ('volume rounds down to capacity',\n   {'weight_kg': 10, 'mg_per_kg': '12.12', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('exact multiple of syringe capacity',\n   {'weight_kg': 20, 'mg_per_kg': 25, 'max_mg': 1000, 'conc_mg': 50, 'conc_ml': 1, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('split across syringes',\n   {'weight_kg': 37, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 3})]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"3733a43dc4f9e1f2687d70f6deba98cbd3b860befb0a4772f94d2b2572acd17b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    dose = min(Fraction(str(x['mg_per_kg'])) * Fraction(str(x['weight_kg'])), x['max_mg'])\n    per_ml = Fraction(x['conc_mg'], x['conc_ml'])\n    vol = dose / per_ml\n    grad = {1: Fraction(1, 100), 5: Fraction(1, 5), 10: Fraction(1, 2)}[x['syringe_ml']]\n    v = math.floor(vol / grad + Fraction(1, 2)) * grad\n    if v * per_ml > x['max_mg']:\n        v = math.floor(vol / grad) * grad\n    if v >= x['syringe_ml']:\n        return {'status': 'SPLIT', 'syringes': math.ceil(v / x['syringe_ml'])}\n    return {'status': 'OK', 'volume_ml': float(v), 'dose_mg': float(v * per_ml)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('suspension per 5 mL label',\n   {'weight_kg': 13, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 4.0, 'dose_mg': 200.0}),\n  ('5 mL syringe graduations',\n   {'weight_kg': 9, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 3.8, 'dose_mg': 91.2}),\n  ('10 mL syringe graduations',\n   {'weight_kg': 21, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 7.5, 'dose_mg': 150.0}),\n  ('rounding up would exceed maximum',\n   {'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 195, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 4.5, 'dose_mg': 180.0}),\n  ('rounding up lands exactly on maximum',\n   {'weight_kg': 39, 'mg_per_kg': 5, 'max_mg': 200, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 200.0}),\n  ('volume rounds down to capacity',\n   {'weight_kg': 10, 'mg_per_kg': '12.1', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('exact multiple of syringe capacity',\n   {'weight_kg': 20, 'mg_per_kg': 5, 'max_mg': 1000, 'conc_mg': 10, 'conc_ml': 1, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('split across syringes',\n   {'weight_kg': 31, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2})],\n [('suspension per 5 mL label',\n   {'weight_kg': 14, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 4.0, 'dose_mg': 200.0}),\n  ('5 mL syringe graduations',\n   {'weight_kg': 10, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 4.2, 'dose_mg': 100.8}),\n  ('10 mL syringe graduations',\n   {'weight_kg': 22, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 7.5, 'dose_mg': 150.0}),\n  ('rounding up would exceed maximum',\n   {'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 215, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 200.0}),\n  ('rounding up lands exactly on maximum',\n   {'weight_kg': 43, 'mg_per_kg': 5, 'max_mg': 220, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.5, 'dose_mg': 220.0}),\n  ('volume rounds down to capacity',\n   {'weight_kg': 10, 'mg_per_kg': '12.2', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('exact multiple of syringe capacity',\n   {'weight_kg': 20, 'mg_per_kg': 10, 'max_mg': 1000, 'conc_mg': 20, 'conc_ml': 1, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('split across syringes',\n   {'weight_kg': 32, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2})],\n [('suspension per 5 mL label',\n   {'weight_kg': 15, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 4.5, 'dose_mg': 225.0}),\n  ('5 mL syringe graduations',\n   {'weight_kg': 11, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 4.6, 'dose_mg': 110.4}),\n  ('10 mL syringe graduations',\n   {'weight_kg': 23, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 8.0, 'dose_mg': 160.0}),\n  ('rounding up would exceed maximum',\n   {'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 235, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.5, 'dose_mg': 220.0}),\n  ('rounding up lands exactly on maximum',\n   {'weight_kg': 47, 'mg_per_kg': 5, 'max_mg': 240, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 6.0, 'dose_mg': 240.0}),\n  ('volume rounds down to capacity',\n   {'weight_kg': 10, 'mg_per_kg': '12.05', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('exact multiple of syringe capacity',\n   {'weight_kg': 20, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 30, 'conc_ml': 1, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('split across syringes',\n   {'weight_kg': 34, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 3})],\n [('suspension per 5 mL label',\n   {'weight_kg': 16, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 250.0}),\n  ('5 mL syringe graduations',\n   {'weight_kg': 12, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('10 mL syringe graduations',\n   {'weight_kg': 24, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 8.5, 'dose_mg': 170.0}),\n  ('rounding up would exceed maximum',\n   {'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 255, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 6.0, 'dose_mg': 240.0}),\n  ('rounding up lands exactly on maximum',\n   {'weight_kg': 51, 'mg_per_kg': 5, 'max_mg': 260, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 6.5, 'dose_mg': 260.0}),\n  ('volume rounds down to capacity',\n   {'weight_kg': 10, 'mg_per_kg': '12.15', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('exact multiple of syringe capacity',\n   {'weight_kg': 20, 'mg_per_kg': 20, 'max_mg': 1000, 'conc_mg': 40, 'conc_ml': 1, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('split across syringes',\n   {'weight_kg': 36, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 3})],\n [('suspension per 5 mL label',\n   {'weight_kg': 17, 'mg_per_kg': 15, 'max_mg': 500, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 250.0}),\n  ('5 mL syringe graduations',\n   {'weight_kg': 13, 'mg_per_kg': 10, 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('10 mL syringe graduations',\n   {'weight_kg': 25, 'mg_per_kg': 7, 'max_mg': 500, 'conc_mg': 100, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 9.0, 'dose_mg': 180.0}),\n  ('rounding up would exceed maximum',\n   {'weight_kg': 40, 'mg_per_kg': 20, 'max_mg': 275, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 6.5, 'dose_mg': 260.0}),\n  ('rounding up lands exactly on maximum',\n   {'weight_kg': 55, 'mg_per_kg': 5, 'max_mg': 280, 'conc_mg': 200, 'conc_ml': 5, 'syringe_ml': 10},\n   {'status': 'OK', 'volume_ml': 7.0, 'dose_mg': 280.0}),\n  ('volume rounds down to capacity',\n   {'weight_kg': 10, 'mg_per_kg': '12.12', 'max_mg': 500, 'conc_mg': 120, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'OK', 'volume_ml': 5.0, 'dose_mg': 120.0}),\n  ('exact multiple of syringe capacity',\n   {'weight_kg': 20, 'mg_per_kg': 25, 'max_mg': 1000, 'conc_mg': 50, 'conc_ml': 1, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 2}),\n  ('split across syringes',\n   {'weight_kg': 37, 'mg_per_kg': 15, 'max_mg': 1000, 'conc_mg': 250, 'conc_ml': 5, 'syringe_ml': 5},\n   {'status': 'SPLIT', 'syringes': 3})]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-meddose-oral-liquid-volume-syringe-capacity-check","generated_at":"2026-09-29T14:47:22.566402+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"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.","root_cause":"The capacity check uses >= and treats a full syringe as overflowing.","sha256":"4b48217536d382ca0479cb9774f22485f55693d7fc601ee7172577ed9810b79c","title":"Oral liquid volume measured in a dosing syringe: syringe capacity check · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":43.383,"exit_code":1,"observations":[{"actual":{"dose_mg":200.0,"status":"OK","volume_ml":4.0},"check":"suspension per 5 mL label","expected":{"dose_mg":200.0,"status":"OK","volume_ml":4.0},"passed":true},{"actual":{"dose_mg":91.2,"status":"OK","volume_ml":3.8},"check":"5 mL syringe graduations","expected":{"dose_mg":91.2,"status":"OK","volume_ml":3.8},"passed":true},{"actual":{"dose_mg":150.0,"status":"OK","volume_ml":7.5},"check":"10 mL syringe graduations","expected":{"dose_mg":150.0,"status":"OK","volume_ml":7.5},"passed":true},{"actual":{"dose_mg":180.0,"status":"OK","volume_ml":4.5},"check":"rounding up would exceed maximum","expected":{"dose_mg":180.0,"status":"OK","volume_ml":4.5},"passed":true},{"actual":{"dose_mg":200.0,"status":"OK","volume_ml":5.0},"check":"rounding up lands exactly on maximum","expected":{"dose_mg":200.0,"status":"OK","volume_ml":5.0},"passed":true},{"actual":{"status":"SPLIT","syringes":1},"check":"volume rounds down to capacity","expected":{"dose_mg":120.0,"status":"OK","volume_ml":5.0},"passed":false},{"actual":{"status":"SPLIT","syringes":2},"check":"exact multiple of syringe capacity","expected":{"status":"SPLIT","syringes":2},"passed":true},{"actual":{"status":"SPLIT","syringes":2},"check":"split across syringes","expected":{"status":"SPLIT","syringes":2},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"suspension per 5 mL label\", \"actual\": {\"status\": \"OK\", \"volume_ml\": 4.0, \"dose_mg\": 200.0}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 4.0, \"dose_mg\": 200.0}, \"passed\": true}, {\"check\": \"5 mL syringe graduations\", \"actual\": {\"status\": \"OK\", \"volume_ml\": 3.8, \"dose_mg\": 91.2}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 3.8, \"dose_mg\": 91.2}, \"passed\": true}, {\"check\": \"10 mL syringe graduations\", \"actual\": {\"status\": \"OK\", \"volume_ml\": 7.5, \"dose_mg\": 150.0}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 7.5, \"dose_mg\": 150.0}, \"passed\": true}, {\"check\": \"rounding up would exceed maximum\", \"actual\": {\"status\": \"OK\", \"volume_ml\": 4.5, \"dose_mg\": 180.0}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 4.5, \"dose_mg\": 180.0}, \"passed\": true}, {\"check\": \"rounding up lands exactly on maximum\", \"actual\": {\"status\": \"OK\", \"volume_ml\": 5.0, \"dose_mg\": 200.0}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 5.0, \"dose_mg\": 200.0}, \"passed\": true}, {\"check\": \"volume rounds down to capacity\", \"actual\": {\"status\": \"SPLIT\", \"syringes\": 1}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 5.0, \"dose_mg\": 120.0}, \"passed\": false}, {\"check\": \"exact multiple of syringe capacity\", \"actual\": {\"status\": \"SPLIT\", \"syringes\": 2}, \"expected\": {\"status\": \"SPLIT\", \"syringes\": 2}, \"passed\": true}, {\"check\": \"split across syringes\", \"actual\": {\"status\": \"SPLIT\", \"syringes\": 2}, \"expected\": {\"status\": \"SPLIT\", \"syringes\": 2}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.84,"exit_code":1,"observations":[{"actual":{"dose_mg":200.0,"status":"OK","volume_ml":4.0},"check":"suspension per 5 mL label","expected":{"dose_mg":200.0,"status":"OK","volume_ml":4.0},"passed":true},{"actual":{"dose_mg":91.2,"status":"OK","volume_ml":3.8},"check":"5 mL syringe graduations","expected":{"dose_mg":91.2,"status":"OK","volume_ml":3.8},"passed":true},{"actual":{"dose_mg":150.0,"status":"OK","volume_ml":7.5},"check":"10 mL syringe graduations","expected":{"dose_mg":150.0,"status":"OK","volume_ml":7.5},"passed":true},{"actual":{"dose_mg":180.0,"status":"OK","volume_ml":4.5},"check":"rounding up would exceed maximum","expected":{"dose_mg":180.0,"status":"OK","volume_ml":4.5},"passed":true},{"actual":{"dose_mg":200.0,"status":"OK","volume_ml":5.0},"check":"rounding up lands exactly on maximum","expected":{"dose_mg":200.0,"status":"OK","volume_ml":5.0},"passed":true},{"actual":{"status":"SPLIT","syringes":1},"check":"volume rounds down to capacity","expected":{"dose_mg":120.0,"status":"OK","volume_ml":5.0},"passed":false},{"actual":{"status":"SPLIT","syringes":2},"check":"exact multiple of syringe capacity","expected":{"status":"SPLIT","syringes":2},"passed":true},{"actual":{"status":"SPLIT","syringes":2},"check":"split across syringes","expected":{"status":"SPLIT","syringes":2},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"suspension per 5 mL label\", \"actual\": {\"status\": \"OK\", \"volume_ml\": 4.0, \"dose_mg\": 200.0}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 4.0, \"dose_mg\": 200.0}, \"passed\": true}, {\"check\": \"5 mL syringe graduations\", \"actual\": {\"status\": \"OK\", \"volume_ml\": 3.8, \"dose_mg\": 91.2}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 3.8, \"dose_mg\": 91.2}, \"passed\": true}, {\"check\": \"10 mL syringe graduations\", \"actual\": {\"status\": \"OK\", \"volume_ml\": 7.5, \"dose_mg\": 150.0}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 7.5, \"dose_mg\": 150.0}, \"passed\": true}, {\"check\": \"rounding up would exceed maximum\", \"actual\": {\"status\": \"OK\", \"volume_ml\": 4.5, \"dose_mg\": 180.0}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 4.5, \"dose_mg\": 180.0}, \"passed\": true}, {\"check\": \"rounding up lands exactly on maximum\", \"actual\": {\"status\": \"OK\", \"volume_ml\": 5.0, \"dose_mg\": 200.0}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 5.0, \"dose_mg\": 200.0}, \"passed\": true}, {\"check\": \"volume rounds down to capacity\", \"actual\": {\"status\": \"SPLIT\", \"syringes\": 1}, \"expected\": {\"status\": \"OK\", \"volume_ml\": 5.0, \"dose_mg\": 120.0}, \"passed\": false}, {\"check\": \"exact multiple of syringe capacity\", \"actual\": {\"status\": \"SPLIT\", \"syringes\": 2}, \"expected\": {\"status\": \"SPLIT\", \"syringes\": 2}, \"passed\": true}, {\"check\": \"split across syringes\", \"actual\": {\"status\": \"SPLIT\", \"syringes\": 2}, \"expected\": {\"status\": \"SPLIT\", \"syringes\": 2}, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}