{"abstract":"A 126 kg patient receives a bolus and hourly rate calculated on full body weight.","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":"Capping only patients above 150 kg leaves 120-150 kg patients uncapped.","family":"w2-meddose-heparin-nomogram-dosing-weight-cap","id":"FA-64001","implementations":{"attempt":{"sha256":"9d08a992d0cdaa67222c39835a24b8c691d1e5f66a39a828d78ddedfb0da35b7","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 = Fraction(str(x['weight_kg']))\n    wt = wt if wt < 150 else Fraction(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"},"broken":{"sha256":"957b1eb837063ed3a788b03ff343ad30451f25e9166104cbcd58aa35e26bed59","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 = Fraction(str(x['weight_kg']))\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-dosing-weight-cap","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 120 kg dosing weight cap is never applied.","sha256":"bc27ba4807395362d43e88262b93770029150206b9534e1de9d32494df69e003","title":"Weight-based anticoagulant infusion nomogram: dosing weight cap · 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":45.313,"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":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":5000,"hold_min":0,"rate_u_h":2142,"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":false},{"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\": 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\": 5000, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 2142}, \"expected\": {\"bolus_units\": 4800, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 2040}, \"passed\": false}, {\"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":42.136,"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":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":5000,"hold_min":0,"rate_u_h":2142,"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":false},{"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\": 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\": 5000, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 2142}, \"expected\": {\"bolus_units\": 4800, \"hold_min\": 0, \"rate_u_kg_h\": 17.0, \"rate_u_h\": 2040}, \"passed\": false}, {\"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."}}