{"abstract":"An aPTT of exactly 45 s gets no bolus or rate increase.","category":"Medication dosing calculations","checks":8,"contract":"Input {weight_kg, aptt (integer seconds), rate (units/kg/h)}. Toy nomogram with dosing weight capped at 120 kg: aptt < 35 bolus 80 u/kg and rate +4; 35-45 bolus 40 u/kg and rate +2; 46-70 no change; 71-90 rate -2; > 90 hold 60 minutes and rate -3. Rate is never below 0. Bolus units = bolus u/kg * weight rounded half-up to the nearest 100 units. Return {bolus_units, hold_min, rate_u_kg_h, rate_u_h (half-up integer of rate*weight)}.","contract_signature":"x","evaluation_group":"w2-meddose-heparin-nomogram","failed_approach":"Rewriting the band as 35 < a <= 45 fixes 45 s but drops exactly 35 s into the no-change band.","family":"w2-meddose-heparin-nomogram-lower-bolus-band-inclusive-edge","id":"FA-64006","implementations":{"attempt":{"sha256":"545358b4d579eded1a0a2cf7253196588835aafee52947ccb46fa6d287047316","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    wt = min(Fraction(str(x['weight_kg'])), 120)\n    a = x['aptt']\n    r = Fraction(str(x['rate']))\n    bolus, hold = 0, 0\n    if a < 35:\n        bolus, r = 80, r + 4\n    elif 35 < a <= 45:\n        bolus, r = 40, r + 2\n    elif a <= 70:\n        pass\n    elif a <= 90:\n        r = r - 2\n    else:\n        hold, r = 60, r - 3\n    r = max(r, Fraction(0))\n    bolus_units = math.floor(bolus * wt / 100 + Fraction(1, 2)) * 100\n    return {'bolus_units': bolus_units, 'hold_min': hold, 'rate_u_kg_h': float(r), 'rate_u_h': math.floor(r * wt + Fraction(1, 2))}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('very low aptt bolus',\n   {'weight_kg': 71, 'aptt': 30, 'rate': 18},\n   {'bolus_units': 5700, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1562}),\n  ('aptt exactly 35',\n   {'weight_kg': 61, 'aptt': 35, 'rate': 18},\n   {'bolus_units': 2400, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1220}),\n  ('aptt exactly 45',\n   {'weight_kg': 80, 'aptt': 45, 'rate': 17},\n   {'bolus_units': 3200, 'hold_min': 0, 'rate_u_kg_h': 19.0, 'rate_u_h': 1520}),\n  ('therapeutic control',\n   {'weight_kg': 75, 'aptt': 56, 'rate': 18},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 18.0, 'rate_u_h': 1350}),\n  ('reduction clamps at zero',\n   {'weight_kg': 70, 'aptt': 81, 'rate': 1},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 0.0, 'rate_u_h': 0}),\n  ('supratherapeutic hold',\n   {'weight_kg': 90, 'aptt': 96, 'rate': 12},\n   {'bolus_units': 0, 'hold_min': 60, 'rate_u_kg_h': 9.0, 'rate_u_h': 810}),\n  ('weight above cap',\n   {'weight_kg': 126, 'aptt': 40, 'rate': 15},\n   {'bolus_units': 4800, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 2040}),\n  ('half-hundred bolus rounds up',\n   {'weight_kg': '81.25', 'aptt': 40, 'rate': 15},\n   {'bolus_units': 3300, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 1381})],\n [('very low aptt bolus',\n   {'weight_kg': 72, 'aptt': 30, 'rate': 18},\n   {'bolus_units': 5800, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1584}),\n  ('aptt exactly 35',\n   {'weight_kg': 62, 'aptt': 35, 'rate': 18},\n   {'bolus_units': 2500, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1240}),\n  ('aptt exactly 45',\n   {'weight_kg': 80, 'aptt': 45, 'rate': 18},\n   {'bolus_units': 3200, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1600}),\n  ('therapeutic control',\n   {'weight_kg': 75, 'aptt': 57, 'rate': 18},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 18.0, 'rate_u_h': 1350}),\n  ('reduction clamps at zero',\n   {'weight_kg': 70, 'aptt': 82, 'rate': 1},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 0.0, 'rate_u_h': 0}),\n  ('supratherapeutic hold',\n   {'weight_kg': 90, 'aptt': 97, 'rate': 12},\n   {'bolus_units': 0, 'hold_min': 60, 'rate_u_kg_h': 9.0, 'rate_u_h': 810}),\n  ('weight above cap',\n   {'weight_kg': 127, 'aptt': 40, 'rate': 15},\n   {'bolus_units': 4800, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 2040}),\n  ('half-hundred bolus rounds up',\n   {'weight_kg': '86.25', 'aptt': 40, 'rate': 15},\n   {'bolus_units': 3500, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 1466})],\n [('very low aptt bolus',\n   {'weight_kg': 73, 'aptt': 30, 'rate': 18},\n   {'bolus_units': 5800, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1606}),\n  ('aptt exactly 35',\n   {'weight_kg': 63, 'aptt': 35, 'rate': 18},\n   {'bolus_units': 2500, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1260}),\n  ('aptt exactly 45',\n   {'weight_kg': 80, 'aptt': 45, 'rate': 19},\n   {'bolus_units': 3200, 'hold_min': 0, 'rate_u_kg_h': 21.0, 'rate_u_h': 1680}),\n  ('therapeutic control',\n   {'weight_kg': 75, 'aptt': 58, 'rate': 18},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 18.0, 'rate_u_h': 1350}),\n  ('reduction clamps at zero',\n   {'weight_kg': 70, 'aptt': 83, 'rate': 1},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 0.0, 'rate_u_h': 0}),\n  ('supratherapeutic hold',\n   {'weight_kg': 90, 'aptt': 98, 'rate': 12},\n   {'bolus_units': 0, 'hold_min': 60, 'rate_u_kg_h': 9.0, 'rate_u_h': 810}),\n  ('weight above cap',\n   {'weight_kg': 128, 'aptt': 40, 'rate': 15},\n   {'bolus_units': 4800, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 2040}),\n  ('half-hundred bolus rounds up',\n   {'weight_kg': '91.25', 'aptt': 40, 'rate': 15},\n   {'bolus_units': 3700, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 1551})],\n [('very low aptt bolus',\n   {'weight_kg': 74, 'aptt': 30, 'rate': 18},\n   {'bolus_units': 5900, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1628}),\n  ('aptt exactly 35',\n   {'weight_kg': 64, 'aptt': 35, 'rate': 18},\n   {'bolus_units': 2600, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1280}),\n  ('aptt exactly 45',\n   {'weight_kg': 80, 'aptt': 45, 'rate': 20},\n   {'bolus_units': 3200, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1760}),\n  ('therapeutic control',\n   {'weight_kg': 75, 'aptt': 59, 'rate': 18},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 18.0, 'rate_u_h': 1350}),\n  ('reduction clamps at zero',\n   {'weight_kg': 70, 'aptt': 84, 'rate': 1},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 0.0, 'rate_u_h': 0}),\n  ('supratherapeutic hold',\n   {'weight_kg': 90, 'aptt': 99, 'rate': 12},\n   {'bolus_units': 0, 'hold_min': 60, 'rate_u_kg_h': 9.0, 'rate_u_h': 810}),\n  ('weight above cap',\n   {'weight_kg': 129, 'aptt': 40, 'rate': 15},\n   {'bolus_units': 4800, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 2040}),\n  ('half-hundred bolus rounds up',\n   {'weight_kg': '76.25', 'aptt': 40, 'rate': 15},\n   {'bolus_units': 3100, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 1296})],\n [('very low aptt bolus',\n   {'weight_kg': 75, 'aptt': 30, 'rate': 18},\n   {'bolus_units': 6000, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1650}),\n  ('aptt exactly 35',\n   {'weight_kg': 65, 'aptt': 35, 'rate': 18},\n   {'bolus_units': 2600, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1300}),\n  ('aptt exactly 45',\n   {'weight_kg': 80, 'aptt': 45, 'rate': 21},\n   {'bolus_units': 3200, 'hold_min': 0, 'rate_u_kg_h': 23.0, 'rate_u_h': 1840}),\n  ('therapeutic control',\n   {'weight_kg': 75, 'aptt': 60, 'rate': 18},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 18.0, 'rate_u_h': 1350}),\n  ('reduction clamps at zero',\n   {'weight_kg': 70, 'aptt': 85, 'rate': 1},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 0.0, 'rate_u_h': 0}),\n  ('supratherapeutic hold',\n   {'weight_kg': 90, 'aptt': 100, 'rate': 12},\n   {'bolus_units': 0, 'hold_min': 60, 'rate_u_kg_h': 9.0, 'rate_u_h': 810}),\n  ('weight above cap',\n   {'weight_kg': 130, 'aptt': 40, 'rate': 15},\n   {'bolus_units': 4800, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 2040}),\n  ('half-hundred bolus rounds up',\n   {'weight_kg': '71.25', 'aptt': 40, 'rate': 15},\n   {'bolus_units': 2900, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 1211})]]\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":"72131806c003c5b46592672766249f633af2e8a90a3da1bc8ef380bee1c519b3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    wt = min(Fraction(str(x['weight_kg'])), 120)\n    a = x['aptt']\n    r = Fraction(str(x['rate']))\n    bolus, hold = 0, 0\n    if a < 35:\n        bolus, r = 80, r + 4\n    elif a < 45:\n        bolus, r = 40, r + 2\n    elif a <= 70:\n        pass\n    elif a <= 90:\n        r = r - 2\n    else:\n        hold, r = 60, r - 3\n    r = max(r, Fraction(0))\n    bolus_units = math.floor(bolus * wt / 100 + Fraction(1, 2)) * 100\n    return {'bolus_units': bolus_units, 'hold_min': hold, 'rate_u_kg_h': float(r), 'rate_u_h': math.floor(r * wt + Fraction(1, 2))}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('very low aptt bolus',\n   {'weight_kg': 71, 'aptt': 30, 'rate': 18},\n   {'bolus_units': 5700, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1562}),\n  ('aptt exactly 35',\n   {'weight_kg': 61, 'aptt': 35, 'rate': 18},\n   {'bolus_units': 2400, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1220}),\n  ('aptt exactly 45',\n   {'weight_kg': 80, 'aptt': 45, 'rate': 17},\n   {'bolus_units': 3200, 'hold_min': 0, 'rate_u_kg_h': 19.0, 'rate_u_h': 1520}),\n  ('therapeutic control',\n   {'weight_kg': 75, 'aptt': 56, 'rate': 18},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 18.0, 'rate_u_h': 1350}),\n  ('reduction clamps at zero',\n   {'weight_kg': 70, 'aptt': 81, 'rate': 1},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 0.0, 'rate_u_h': 0}),\n  ('supratherapeutic hold',\n   {'weight_kg': 90, 'aptt': 96, 'rate': 12},\n   {'bolus_units': 0, 'hold_min': 60, 'rate_u_kg_h': 9.0, 'rate_u_h': 810}),\n  ('weight above cap',\n   {'weight_kg': 126, 'aptt': 40, 'rate': 15},\n   {'bolus_units': 4800, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 2040}),\n  ('half-hundred bolus rounds up',\n   {'weight_kg': '81.25', 'aptt': 40, 'rate': 15},\n   {'bolus_units': 3300, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 1381})],\n [('very low aptt bolus',\n   {'weight_kg': 72, 'aptt': 30, 'rate': 18},\n   {'bolus_units': 5800, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1584}),\n  ('aptt exactly 35',\n   {'weight_kg': 62, 'aptt': 35, 'rate': 18},\n   {'bolus_units': 2500, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1240}),\n  ('aptt exactly 45',\n   {'weight_kg': 80, 'aptt': 45, 'rate': 18},\n   {'bolus_units': 3200, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1600}),\n  ('therapeutic control',\n   {'weight_kg': 75, 'aptt': 57, 'rate': 18},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 18.0, 'rate_u_h': 1350}),\n  ('reduction clamps at zero',\n   {'weight_kg': 70, 'aptt': 82, 'rate': 1},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 0.0, 'rate_u_h': 0}),\n  ('supratherapeutic hold',\n   {'weight_kg': 90, 'aptt': 97, 'rate': 12},\n   {'bolus_units': 0, 'hold_min': 60, 'rate_u_kg_h': 9.0, 'rate_u_h': 810}),\n  ('weight above cap',\n   {'weight_kg': 127, 'aptt': 40, 'rate': 15},\n   {'bolus_units': 4800, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 2040}),\n  ('half-hundred bolus rounds up',\n   {'weight_kg': '86.25', 'aptt': 40, 'rate': 15},\n   {'bolus_units': 3500, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 1466})],\n [('very low aptt bolus',\n   {'weight_kg': 73, 'aptt': 30, 'rate': 18},\n   {'bolus_units': 5800, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1606}),\n  ('aptt exactly 35',\n   {'weight_kg': 63, 'aptt': 35, 'rate': 18},\n   {'bolus_units': 2500, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1260}),\n  ('aptt exactly 45',\n   {'weight_kg': 80, 'aptt': 45, 'rate': 19},\n   {'bolus_units': 3200, 'hold_min': 0, 'rate_u_kg_h': 21.0, 'rate_u_h': 1680}),\n  ('therapeutic control',\n   {'weight_kg': 75, 'aptt': 58, 'rate': 18},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 18.0, 'rate_u_h': 1350}),\n  ('reduction clamps at zero',\n   {'weight_kg': 70, 'aptt': 83, 'rate': 1},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 0.0, 'rate_u_h': 0}),\n  ('supratherapeutic hold',\n   {'weight_kg': 90, 'aptt': 98, 'rate': 12},\n   {'bolus_units': 0, 'hold_min': 60, 'rate_u_kg_h': 9.0, 'rate_u_h': 810}),\n  ('weight above cap',\n   {'weight_kg': 128, 'aptt': 40, 'rate': 15},\n   {'bolus_units': 4800, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 2040}),\n  ('half-hundred bolus rounds up',\n   {'weight_kg': '91.25', 'aptt': 40, 'rate': 15},\n   {'bolus_units': 3700, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 1551})],\n [('very low aptt bolus',\n   {'weight_kg': 74, 'aptt': 30, 'rate': 18},\n   {'bolus_units': 5900, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1628}),\n  ('aptt exactly 35',\n   {'weight_kg': 64, 'aptt': 35, 'rate': 18},\n   {'bolus_units': 2600, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1280}),\n  ('aptt exactly 45',\n   {'weight_kg': 80, 'aptt': 45, 'rate': 20},\n   {'bolus_units': 3200, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1760}),\n  ('therapeutic control',\n   {'weight_kg': 75, 'aptt': 59, 'rate': 18},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 18.0, 'rate_u_h': 1350}),\n  ('reduction clamps at zero',\n   {'weight_kg': 70, 'aptt': 84, 'rate': 1},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 0.0, 'rate_u_h': 0}),\n  ('supratherapeutic hold',\n   {'weight_kg': 90, 'aptt': 99, 'rate': 12},\n   {'bolus_units': 0, 'hold_min': 60, 'rate_u_kg_h': 9.0, 'rate_u_h': 810}),\n  ('weight above cap',\n   {'weight_kg': 129, 'aptt': 40, 'rate': 15},\n   {'bolus_units': 4800, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 2040}),\n  ('half-hundred bolus rounds up',\n   {'weight_kg': '76.25', 'aptt': 40, 'rate': 15},\n   {'bolus_units': 3100, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 1296})],\n [('very low aptt bolus',\n   {'weight_kg': 75, 'aptt': 30, 'rate': 18},\n   {'bolus_units': 6000, 'hold_min': 0, 'rate_u_kg_h': 22.0, 'rate_u_h': 1650}),\n  ('aptt exactly 35',\n   {'weight_kg': 65, 'aptt': 35, 'rate': 18},\n   {'bolus_units': 2600, 'hold_min': 0, 'rate_u_kg_h': 20.0, 'rate_u_h': 1300}),\n  ('aptt exactly 45',\n   {'weight_kg': 80, 'aptt': 45, 'rate': 21},\n   {'bolus_units': 3200, 'hold_min': 0, 'rate_u_kg_h': 23.0, 'rate_u_h': 1840}),\n  ('therapeutic control',\n   {'weight_kg': 75, 'aptt': 60, 'rate': 18},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 18.0, 'rate_u_h': 1350}),\n  ('reduction clamps at zero',\n   {'weight_kg': 70, 'aptt': 85, 'rate': 1},\n   {'bolus_units': 0, 'hold_min': 0, 'rate_u_kg_h': 0.0, 'rate_u_h': 0}),\n  ('supratherapeutic hold',\n   {'weight_kg': 90, 'aptt': 100, 'rate': 12},\n   {'bolus_units': 0, 'hold_min': 60, 'rate_u_kg_h': 9.0, 'rate_u_h': 810}),\n  ('weight above cap',\n   {'weight_kg': 130, 'aptt': 40, 'rate': 15},\n   {'bolus_units': 4800, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 2040}),\n  ('half-hundred bolus rounds up',\n   {'weight_kg': '71.25', 'aptt': 40, 'rate': 15},\n   {'bolus_units': 2900, 'hold_min': 0, 'rate_u_kg_h': 17.0, 'rate_u_h': 1211})]]\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-heparin-nomogram-lower-bolus-band-inclusive-edge","generated_at":"2026-09-29T14:47:20.485710+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Nomogram-driven infusion adjustments combine band lookup, weight caps and pump rounding; each is a separate failure point.","root_cause":"The 35-45 band upper edge is written as a strict comparison.","sha256":"e5df8a19ea1ab69a7755b56439f6e9d3b9a059f78a435501b84b2b77bc0aad1b","title":"Weight-based anticoagulant infusion nomogram: lower-bolus band inclusive edge · 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":41.08,"exit_code":1,"observations":[{"actual":{"bolus_units":5700,"hold_min":0,"rate_u_h":1562,"rate_u_kg_h":22.0},"check":"very low aptt bolus","expected":{"bolus_units":5700,"hold_min":0,"rate_u_h":1562,"rate_u_kg_h":22.0},"passed":true},{"actual":{"bolus_units":0,"hold_min":0,"rate_u_h":1098,"rate_u_kg_h":18.0},"check":"aptt exactly 35","expected":{"bolus_units":2400,"hold_min":0,"rate_u_h":1220,"rate_u_kg_h":20.0},"passed":false},{"actual":{"bolus_units":3200,"hold_min":0,"rate_u_h":1520,"rate_u_kg_h":19.0},"check":"aptt exactly 45","expected":{"bolus_units":3200,"hold_min":0,"rate_u_h":1520,"rate_u_kg_h":19.0},"passed":true},{"actual":{"bolus_units":0,"hold_min":0,"rate_u_h":1350,"rate_u_kg_h":18.0},"check":"therapeutic control","expected":{"bolus_units":0,"hold_min":0,"rate_u_h":1350,"rate_u_kg_h":18.0},"passed":true},{"actual":{"bolus_units":0,"hold_min":0,"rate_u_h":0,"rate_u_kg_h":0.0},"check":"reduction clamps at zero","expected":{"bolus_units":0,"hold_min":0,"rate_u_h":0,"rate_u_kg_h":0.0},"passed":true},{"actual":{"bolus_units":0,"hold_min":60,"rate_u_h":810,"rate_u_kg_h":9.0},"check":"supratherapeutic hold","expected":{"bolus_units":0,"hold_min":60,"rate_u_h":810,"rate_u_kg_h":9.0},"passed":true},{"actual":{"bolus_units":4800,"hold_min":0,"rate_u_h":2040,"rate_u_kg_h":17.0},"check":"weight above cap","expected":{"bolus_units":4800,"hold_min":0,"rate_u_h":2040,"rate_u_kg_h":17.0},"passed":true},{"actual":{"bolus_units":3300,"hold_min":0,"rate_u_h":1381,"rate_u_kg_h":17.0},"check":"half-hundred bolus rounds up","expected":{"bolus_units":3300,"hold_min":0,"rate_u_h":1381,"rate_u_kg_h":17.0},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"very low aptt bolus\", \"actual\": {\"bolus_units\": 5700, \"hold_min\": 0, \"rate_u_kg_h\": 22.0, \"rate_u_h\": 1562}, \"expected\": {\"bolus_units\": 5700, \"hold_min\": 0, \"rate_u_kg_h\": 22.0, \"rate_u_h\": 1562}, \"passed\": true}, {\"check\": \"aptt exactly 35\", \"actual\": {\"bolus_units\": 0, \"hold_min\": 0, \"rate_u_kg_h\": 18.0, \"rate_u_h\": 1098}, \"expected\": {\"bolus_units\": 2400, \"hold_min\": 0, \"rate_u_kg_h\": 20.0, \"rate_u_h\": 1220}, \"passed\": false}, {\"check\": \"aptt exactly 45\", \"actual\": {\"bolus_units\": 3200, \"hold_min\": 0, \"rate_u_kg_h\": 19.0, \"rate_u_h\": 1520}, \"expected\": {\"bolus_units\": 3200, \"hold_min\": 0, \"rate_u_kg_h\": 19.0, \"rate_u_h\": 1520}, \"passed\": true}, {\"check\": \"therapeutic control\", \"actual\": {\"bolus_units\": 0, \"hold_min\": 0, \"rate_u_kg_h\": 18.0, \"rate_u_h\": 1350}, \"expected\": {\"bolus_units\": 0, \"hold_min\": 0, \"rate_u_kg_h\": 18.0, \"rate_u_h\": 1350}, \"passed\": true}, {\"check\": \"reduction clamps at zero\", \"actual\": {\"bolus_units\": 0, \"hold_min\": 0, \"rate_u_kg_h\": 0.0, \"rate_u_h\": 0}, \"expected\": {\"bolus_units\": 0, \"hold_min\": 0, \"rate_u_kg_h\": 0.0, \"rate_u_h\": 0}, \"passed\": true}, {\"check\": \"supratherapeutic hold\", \"actual\": {\"bolus_units\": 0, \"hold_min\": 60, \"rate_u_kg_h\": 9.0, \"rate_u_h\": 810}, \"expected\": {\"bolus_units\": 0, \"hold_min\": 60, \"rate_u_kg_h\": 9.0, \"rate_u_h\": 810}, \"passed\": true}, {\"check\": \"weight above cap\", \"actual\": {\"bolus_units\": 4800, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 2040}, \"expected\": {\"bolus_units\": 4800, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 2040}, \"passed\": true}, {\"check\": \"half-hundred bolus rounds up\", \"actual\": {\"bolus_units\": 3300, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 1381}, \"expected\": {\"bolus_units\": 3300, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 1381}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.558,"exit_code":1,"observations":[{"actual":{"bolus_units":5700,"hold_min":0,"rate_u_h":1562,"rate_u_kg_h":22.0},"check":"very low aptt bolus","expected":{"bolus_units":5700,"hold_min":0,"rate_u_h":1562,"rate_u_kg_h":22.0},"passed":true},{"actual":{"bolus_units":2400,"hold_min":0,"rate_u_h":1220,"rate_u_kg_h":20.0},"check":"aptt exactly 35","expected":{"bolus_units":2400,"hold_min":0,"rate_u_h":1220,"rate_u_kg_h":20.0},"passed":true},{"actual":{"bolus_units":0,"hold_min":0,"rate_u_h":1360,"rate_u_kg_h":17.0},"check":"aptt exactly 45","expected":{"bolus_units":3200,"hold_min":0,"rate_u_h":1520,"rate_u_kg_h":19.0},"passed":false},{"actual":{"bolus_units":0,"hold_min":0,"rate_u_h":1350,"rate_u_kg_h":18.0},"check":"therapeutic control","expected":{"bolus_units":0,"hold_min":0,"rate_u_h":1350,"rate_u_kg_h":18.0},"passed":true},{"actual":{"bolus_units":0,"hold_min":0,"rate_u_h":0,"rate_u_kg_h":0.0},"check":"reduction clamps at zero","expected":{"bolus_units":0,"hold_min":0,"rate_u_h":0,"rate_u_kg_h":0.0},"passed":true},{"actual":{"bolus_units":0,"hold_min":60,"rate_u_h":810,"rate_u_kg_h":9.0},"check":"supratherapeutic hold","expected":{"bolus_units":0,"hold_min":60,"rate_u_h":810,"rate_u_kg_h":9.0},"passed":true},{"actual":{"bolus_units":4800,"hold_min":0,"rate_u_h":2040,"rate_u_kg_h":17.0},"check":"weight above cap","expected":{"bolus_units":4800,"hold_min":0,"rate_u_h":2040,"rate_u_kg_h":17.0},"passed":true},{"actual":{"bolus_units":3300,"hold_min":0,"rate_u_h":1381,"rate_u_kg_h":17.0},"check":"half-hundred bolus rounds up","expected":{"bolus_units":3300,"hold_min":0,"rate_u_h":1381,"rate_u_kg_h":17.0},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"very low aptt bolus\", \"actual\": {\"bolus_units\": 5700, \"hold_min\": 0, \"rate_u_kg_h\": 22.0, \"rate_u_h\": 1562}, \"expected\": {\"bolus_units\": 5700, \"hold_min\": 0, \"rate_u_kg_h\": 22.0, \"rate_u_h\": 1562}, \"passed\": true}, {\"check\": \"aptt exactly 35\", \"actual\": {\"bolus_units\": 2400, \"hold_min\": 0, \"rate_u_kg_h\": 20.0, \"rate_u_h\": 1220}, \"expected\": {\"bolus_units\": 2400, \"hold_min\": 0, \"rate_u_kg_h\": 20.0, \"rate_u_h\": 1220}, \"passed\": true}, {\"check\": \"aptt exactly 45\", \"actual\": {\"bolus_units\": 0, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 1360}, \"expected\": {\"bolus_units\": 3200, \"hold_min\": 0, \"rate_u_kg_h\": 19.0, \"rate_u_h\": 1520}, \"passed\": false}, {\"check\": \"therapeutic control\", \"actual\": {\"bolus_units\": 0, \"hold_min\": 0, \"rate_u_kg_h\": 18.0, \"rate_u_h\": 1350}, \"expected\": {\"bolus_units\": 0, \"hold_min\": 0, \"rate_u_kg_h\": 18.0, \"rate_u_h\": 1350}, \"passed\": true}, {\"check\": \"reduction clamps at zero\", \"actual\": {\"bolus_units\": 0, \"hold_min\": 0, \"rate_u_kg_h\": 0.0, \"rate_u_h\": 0}, \"expected\": {\"bolus_units\": 0, \"hold_min\": 0, \"rate_u_kg_h\": 0.0, \"rate_u_h\": 0}, \"passed\": true}, {\"check\": \"supratherapeutic hold\", \"actual\": {\"bolus_units\": 0, \"hold_min\": 60, \"rate_u_kg_h\": 9.0, \"rate_u_h\": 810}, \"expected\": {\"bolus_units\": 0, \"hold_min\": 60, \"rate_u_kg_h\": 9.0, \"rate_u_h\": 810}, \"passed\": true}, {\"check\": \"weight above cap\", \"actual\": {\"bolus_units\": 4800, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 2040}, \"expected\": {\"bolus_units\": 4800, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 2040}, \"passed\": true}, {\"check\": \"half-hundred bolus rounds up\", \"actual\": {\"bolus_units\": 3300, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 1381}, \"expected\": {\"bolus_units\": 3300, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 1381}, \"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."}}