{"abstract":"A 22.75 mg weekly requirement rounds down to 22.5 mg.","category":"Medication dosing calculations","checks":8,"contract":"Input {inr, weekly_mg, low, high}. Toy table: inr >= 5 HOLD and weekly x0.85; high < inr < 5 x0.90; low <= inr <= high CONTINUE unchanged; low-0.5 <= inr < low x1.05; lower x1.10 (ADJUST otherwise). New weekly total rounds half-up to 0.5 mg; the plan spreads it over 7 days in 0.5 mg units as evenly as possible with the larger doses on the first days. Return {action, weekly_mg, plan}.","evaluation_group":"w2-meddose-weekly-anticoagulant-adjustment","failed_approach":"round() half-to-even still rounds some quarter values down.","family":"w2-meddose-weekly-anticoagulant-adjustment-weekly-total-rounding","id":"FA-64286","implementations":{"attempt":{"sha256":"664074fd30f6916811d81db4823c601f345a51833a0075686b53803eede96de7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    inr = Fraction(str(x['inr']))\n    lo, hi = Fraction(str(x['low'])), Fraction(str(x['high']))\n    w = Fraction(str(x['weekly_mg']))\n    action = 'ADJUST'\n    if inr >= 5:\n        action, w = 'HOLD', w * Fraction(85, 100)\n    elif inr > hi:\n        w = w * Fraction(90, 100)\n    elif inr >= lo:\n        action = 'CONTINUE'\n    elif inr >= lo - Fraction(1, 2):\n        w = w * Fraction(105, 100)\n    else:\n        w = w * Fraction(110, 100)\n    units = round(w * 2)\n    base, extra = divmod(units, 7)\n    plan = [(base + 1) / 2] * extra + [base / 2] * (7 - extra)\n    return {'action': action, 'weekly_mg': units / 2, 'plan': plan}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 31, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 26.5, 'plan': [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 29, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 29.0, 'plan': [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 31, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 22, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 23.0, 'plan': [3.5, 3.5, 3.5, 3.5, 3.0, 3.0, 3.0]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 26, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 28.5, 'plan': [4.5, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 25, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 26.5, 'plan': [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '32.5', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 32.5, 'plan': [5.0, 5.0, 4.5, 4.5, 4.5, 4.5, 4.5]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 32, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 27.0, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 3.5, 3.5]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 30, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 32, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 32.0, 'plan': [5.0, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 24, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 25.0, 'plan': [4.0, 3.5, 3.5, 3.5, 3.5, 3.5, 3.5]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 27, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 29.5, 'plan': [4.5, 4.5, 4.5, 4.0, 4.0, 4.0, 4.0]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 45, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 47.5, 'plan': [7.0, 7.0, 7.0, 7.0, 6.5, 6.5, 6.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '27.5', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 27.5, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 4.0, 3.5]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 33, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 28.0, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 31, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 33, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 33.0, 'plan': [5.0, 5.0, 5.0, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 26, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 27.5, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 4.0, 3.5]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 28, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 65, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 68.5, 'plan': [10.0, 10.0, 10.0, 10.0, 9.5, 9.5, 9.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '31', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 34, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 29.0, 'plan': [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 32, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 32.0, 'plan': [5.0, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 34, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 34.0, 'plan': [5.0, 5.0, 5.0, 5.0, 5.0, 4.5, 4.5]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 28, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 29.5, 'plan': [4.5, 4.5, 4.5, 4.0, 4.0, 4.0, 4.0]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 29, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 32.0, 'plan': [5.0, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 85, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 89.5, 'plan': [13.0, 13.0, 13.0, 13.0, 12.5, 12.5, 12.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '22.5', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 22.5, 'plan': [3.5, 3.5, 3.5, 3.0, 3.0, 3.0, 3.0]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 35, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 33, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 33.0, 'plan': [5.0, 5.0, 5.0, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 35, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 35.0, 'plan': [5.0, 5.0, 5.0, 5.0, 5.0, 5.0, 5.0]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 30, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 31.5, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 30, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 33.0, 'plan': [5.0, 5.0, 5.0, 4.5, 4.5, 4.5, 4.5]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 105, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 110.5, 'plan': [16.0, 16.0, 16.0, 16.0, 15.5, 15.5, 15.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '38', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 38.0, 'plan': [5.5, 5.5, 5.5, 5.5, 5.5, 5.5, 5.0]})]]\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":"818c641d19ce799ac9df831fd2bda2ab98da350b655b14d4f126ee6743471f0c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    inr = Fraction(str(x['inr']))\n    lo, hi = Fraction(str(x['low'])), Fraction(str(x['high']))\n    w = Fraction(str(x['weekly_mg']))\n    action = 'ADJUST'\n    if inr >= 5:\n        action, w = 'HOLD', w * Fraction(85, 100)\n    elif inr > hi:\n        w = w * Fraction(90, 100)\n    elif inr >= lo:\n        action = 'CONTINUE'\n    elif inr >= lo - Fraction(1, 2):\n        w = w * Fraction(105, 100)\n    else:\n        w = w * Fraction(110, 100)\n    units = math.floor(w * 2)\n    base, extra = divmod(units, 7)\n    plan = [(base + 1) / 2] * extra + [base / 2] * (7 - extra)\n    return {'action': action, 'weekly_mg': units / 2, 'plan': plan}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 31, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 26.5, 'plan': [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 29, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 29.0, 'plan': [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 31, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 22, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 23.0, 'plan': [3.5, 3.5, 3.5, 3.5, 3.0, 3.0, 3.0]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 26, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 28.5, 'plan': [4.5, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 25, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 26.5, 'plan': [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '32.5', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 32.5, 'plan': [5.0, 5.0, 4.5, 4.5, 4.5, 4.5, 4.5]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 32, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 27.0, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 3.5, 3.5]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 30, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 32, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 32.0, 'plan': [5.0, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 24, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 25.0, 'plan': [4.0, 3.5, 3.5, 3.5, 3.5, 3.5, 3.5]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 27, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 29.5, 'plan': [4.5, 4.5, 4.5, 4.0, 4.0, 4.0, 4.0]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 45, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 47.5, 'plan': [7.0, 7.0, 7.0, 7.0, 6.5, 6.5, 6.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '27.5', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 27.5, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 4.0, 3.5]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 33, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 28.0, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 31, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 33, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 33.0, 'plan': [5.0, 5.0, 5.0, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 26, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 27.5, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 4.0, 3.5]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 28, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 65, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 68.5, 'plan': [10.0, 10.0, 10.0, 10.0, 9.5, 9.5, 9.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '31', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 34, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 29.0, 'plan': [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 32, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 32.0, 'plan': [5.0, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 34, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 34.0, 'plan': [5.0, 5.0, 5.0, 5.0, 5.0, 4.5, 4.5]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 28, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 29.5, 'plan': [4.5, 4.5, 4.5, 4.0, 4.0, 4.0, 4.0]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 29, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 32.0, 'plan': [5.0, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 85, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 89.5, 'plan': [13.0, 13.0, 13.0, 13.0, 12.5, 12.5, 12.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '22.5', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 22.5, 'plan': [3.5, 3.5, 3.5, 3.0, 3.0, 3.0, 3.0]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 35, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 33, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 33.0, 'plan': [5.0, 5.0, 5.0, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 35, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 35.0, 'plan': [5.0, 5.0, 5.0, 5.0, 5.0, 5.0, 5.0]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 30, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 31.5, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 30, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 33.0, 'plan': [5.0, 5.0, 5.0, 4.5, 4.5, 4.5, 4.5]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 105, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 110.5, 'plan': [16.0, 16.0, 16.0, 16.0, 15.5, 15.5, 15.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '38', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 38.0, 'plan': [5.5, 5.5, 5.5, 5.5, 5.5, 5.5, 5.0]})]]\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"},"fixed":{"sha256":"7b53215b83f2fd582e76cd4b1019cef1a37ebde067950d817be1da8bd4fabd2a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    inr = Fraction(str(x['inr']))\n    lo, hi = Fraction(str(x['low'])), Fraction(str(x['high']))\n    w = Fraction(str(x['weekly_mg']))\n    action = 'ADJUST'\n    if inr >= 5:\n        action, w = 'HOLD', w * Fraction(85, 100)\n    elif inr > hi:\n        w = w * Fraction(90, 100)\n    elif inr >= lo:\n        action = 'CONTINUE'\n    elif inr >= lo - Fraction(1, 2):\n        w = w * Fraction(105, 100)\n    else:\n        w = w * Fraction(110, 100)\n    units = math.floor(w * 2 + Fraction(1, 2))\n    base, extra = divmod(units, 7)\n    plan = [(base + 1) / 2] * extra + [base / 2] * (7 - extra)\n    return {'action': action, 'weekly_mg': units / 2, 'plan': plan}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 31, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 26.5, 'plan': [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 29, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 29.0, 'plan': [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 31, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 22, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 23.0, 'plan': [3.5, 3.5, 3.5, 3.5, 3.0, 3.0, 3.0]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 26, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 28.5, 'plan': [4.5, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 25, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 26.5, 'plan': [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '32.5', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 32.5, 'plan': [5.0, 5.0, 4.5, 4.5, 4.5, 4.5, 4.5]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 32, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 27.0, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 3.5, 3.5]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 30, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 32, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 32.0, 'plan': [5.0, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 24, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 25.0, 'plan': [4.0, 3.5, 3.5, 3.5, 3.5, 3.5, 3.5]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 27, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 29.5, 'plan': [4.5, 4.5, 4.5, 4.0, 4.0, 4.0, 4.0]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 45, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 47.5, 'plan': [7.0, 7.0, 7.0, 7.0, 6.5, 6.5, 6.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '27.5', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 27.5, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 4.0, 3.5]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 33, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 28.0, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 31, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 33, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 33.0, 'plan': [5.0, 5.0, 5.0, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 26, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 27.5, 'plan': [4.0, 4.0, 4.0, 4.0, 4.0, 4.0, 3.5]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 28, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 65, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 68.5, 'plan': [10.0, 10.0, 10.0, 10.0, 9.5, 9.5, 9.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '31', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 31.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 34, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 29.0, 'plan': [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 32, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 32.0, 'plan': [5.0, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 34, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 34.0, 'plan': [5.0, 5.0, 5.0, 5.0, 5.0, 4.5, 4.5]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 28, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 29.5, 'plan': [4.5, 4.5, 4.5, 4.0, 4.0, 4.0, 4.0]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 29, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 32.0, 'plan': [5.0, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 85, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 89.5, 'plan': [13.0, 13.0, 13.0, 13.0, 12.5, 12.5, 12.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '22.5', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 22.5, 'plan': [3.5, 3.5, 3.5, 3.0, 3.0, 3.0, 3.0]})],\n [('INR exactly 5 holds',\n   {'inr': '5.0', 'weekly_mg': 35, 'low': 2, 'high': 3},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('high target range above 3',\n   {'inr': '5.2', 'weekly_mg': 35, 'low': '2.5', 'high': '3.5'},\n   {'action': 'HOLD', 'weekly_mg': 30.0, 'plan': [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}),\n  ('INR at upper target continues',\n   {'inr': '3.5', 'weekly_mg': 33, 'low': '2.5', 'high': '3.5'},\n   {'action': 'CONTINUE', 'weekly_mg': 33.0, 'plan': [5.0, 5.0, 5.0, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR at lower target continues',\n   {'inr': '2.0', 'weekly_mg': 35, 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 35.0, 'plan': [5.0, 5.0, 5.0, 5.0, 5.0, 5.0, 5.0]}),\n  ('INR exactly half below target',\n   {'inr': '1.5', 'weekly_mg': 30, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 31.5, 'plan': [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.5]}),\n  ('INR well below target',\n   {'inr': '1.2', 'weekly_mg': 30, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 33.0, 'plan': [5.0, 5.0, 5.0, 4.5, 4.5, 4.5, 4.5]}),\n  ('weekly rounding half-up',\n   {'inr': '1.8', 'weekly_mg': 105, 'low': 2, 'high': 3},\n   {'action': 'ADJUST', 'weekly_mg': 110.5, 'plan': [16.0, 16.0, 16.0, 16.0, 15.5, 15.5, 15.5]}),\n  ('uneven weekly split',\n   {'inr': '2.5', 'weekly_mg': '38', 'low': 2, 'high': 3},\n   {'action': 'CONTINUE', 'weekly_mg': 38.0, 'plan': [5.5, 5.5, 5.5, 5.5, 5.5, 5.5, 5.0]})]]\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-weekly-anticoagulant-adjustment-weekly-total-rounding","generated_at":"2026-09-29T14:47:23.013003+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Weekly anticoagulant adjustment combines threshold bands with a dispensing plan; band edges and the distribution rule are independent defects.","repair":"Round the weekly total half-up to 0.5 mg.","root_cause":"The half-milligram rounding truncates.","sha256":"ac3be39c54b95df0620c4ea2b0f551caae2f00a70425a701ea832b3a17ef649f","title":"INR-guided weekly dose adjustment and daily plan: weekly total rounding · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.336,"exit_code":1,"observations":[{"actual":{"action":"HOLD","plan":[4.0,4.0,4.0,4.0,3.5,3.5,3.5],"weekly_mg":26.5},"check":"INR exactly 5 holds","expected":{"action":"HOLD","plan":[4.0,4.0,4.0,4.0,3.5,3.5,3.5],"weekly_mg":26.5},"passed":true},{"actual":{"action":"HOLD","plan":[4.5,4.5,4.5,4.5,4.0,4.0,4.0],"weekly_mg":30.0},"check":"high target range above 3","expected":{"action":"HOLD","plan":[4.5,4.5,4.5,4.5,4.0,4.0,4.0],"weekly_mg":30.0},"passed":true},{"actual":{"action":"CONTINUE","plan":[4.5,4.5,4.0,4.0,4.0,4.0,4.0],"weekly_mg":29.0},"check":"INR at upper target continues","expected":{"action":"CONTINUE","plan":[4.5,4.5,4.0,4.0,4.0,4.0,4.0],"weekly_mg":29.0},"passed":true},{"actual":{"action":"CONTINUE","plan":[4.5,4.5,4.5,4.5,4.5,4.5,4.0],"weekly_mg":31.0},"check":"INR at lower target continues","expected":{"action":"CONTINUE","plan":[4.5,4.5,4.5,4.5,4.5,4.5,4.0],"weekly_mg":31.0},"passed":true},{"actual":{"action":"ADJUST","plan":[3.5,3.5,3.5,3.5,3.0,3.0,3.0],"weekly_mg":23.0},"check":"INR exactly half below target","expected":{"action":"ADJUST","plan":[3.5,3.5,3.5,3.5,3.0,3.0,3.0],"weekly_mg":23.0},"passed":true},{"actual":{"action":"ADJUST","plan":[4.5,4.0,4.0,4.0,4.0,4.0,4.0],"weekly_mg":28.5},"check":"INR well below target","expected":{"action":"ADJUST","plan":[4.5,4.0,4.0,4.0,4.0,4.0,4.0],"weekly_mg":28.5},"passed":true},{"actual":{"action":"ADJUST","plan":[4.0,4.0,4.0,3.5,3.5,3.5,3.5],"weekly_mg":26.0},"check":"weekly rounding half-up","expected":{"action":"ADJUST","plan":[4.0,4.0,4.0,4.0,3.5,3.5,3.5],"weekly_mg":26.5},"passed":false},{"actual":{"action":"CONTINUE","plan":[5.0,5.0,4.5,4.5,4.5,4.5,4.5],"weekly_mg":32.5},"check":"uneven weekly split","expected":{"action":"CONTINUE","plan":[5.0,5.0,4.5,4.5,4.5,4.5,4.5],"weekly_mg":32.5},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"INR exactly 5 holds\", \"actual\": {\"action\": \"HOLD\", \"weekly_mg\": 26.5, \"plan\": [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}, \"expected\": {\"action\": \"HOLD\", \"weekly_mg\": 26.5, \"plan\": [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}, \"passed\": true}, {\"check\": \"high target range above 3\", \"actual\": {\"action\": \"HOLD\", \"weekly_mg\": 30.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}, \"expected\": {\"action\": \"HOLD\", \"weekly_mg\": 30.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}, \"passed\": true}, {\"check\": \"INR at upper target continues\", \"actual\": {\"action\": \"CONTINUE\", \"weekly_mg\": 29.0, \"plan\": [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"expected\": {\"action\": \"CONTINUE\", \"weekly_mg\": 29.0, \"plan\": [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"passed\": true}, {\"check\": \"INR at lower target continues\", \"actual\": {\"action\": \"CONTINUE\", \"weekly_mg\": 31.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}, \"expected\": {\"action\": \"CONTINUE\", \"weekly_mg\": 31.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}, \"passed\": true}, {\"check\": \"INR exactly half below target\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 23.0, \"plan\": [3.5, 3.5, 3.5, 3.5, 3.0, 3.0, 3.0]}, \"expected\": {\"action\": \"ADJUST\", \"weekly_mg\": 23.0, \"plan\": [3.5, 3.5, 3.5, 3.5, 3.0, 3.0, 3.0]}, \"passed\": true}, {\"check\": \"INR well below target\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 28.5, \"plan\": [4.5, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"expected\": {\"action\": \"ADJUST\", \"weekly_mg\": 28.5, \"plan\": [4.5, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"passed\": true}, {\"check\": \"weekly rounding half-up\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 26.0, \"plan\": [4.0, 4.0, 4.0, 3.5, 3.5, 3.5, 3.5]}, \"expected\": {\"action\": \"ADJUST\", \"weekly_mg\": 26.5, \"plan\": [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}, \"passed\": false}, {\"check\": \"uneven weekly split\", \"actual\": {\"action\": \"CONTINUE\", \"weekly_mg\": 32.5, \"plan\": [5.0, 5.0, 4.5, 4.5, 4.5, 4.5, 4.5]}, \"expected\": {\"action\": \"CONTINUE\", \"weekly_mg\": 32.5, \"plan\": [5.0, 5.0, 4.5, 4.5, 4.5, 4.5, 4.5]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.117,"exit_code":1,"observations":[{"actual":{"action":"HOLD","plan":[4.0,4.0,4.0,3.5,3.5,3.5,3.5],"weekly_mg":26.0},"check":"INR exactly 5 holds","expected":{"action":"HOLD","plan":[4.0,4.0,4.0,4.0,3.5,3.5,3.5],"weekly_mg":26.5},"passed":false},{"actual":{"action":"HOLD","plan":[4.5,4.5,4.5,4.0,4.0,4.0,4.0],"weekly_mg":29.5},"check":"high target range above 3","expected":{"action":"HOLD","plan":[4.5,4.5,4.5,4.5,4.0,4.0,4.0],"weekly_mg":30.0},"passed":false},{"actual":{"action":"CONTINUE","plan":[4.5,4.5,4.0,4.0,4.0,4.0,4.0],"weekly_mg":29.0},"check":"INR at upper target continues","expected":{"action":"CONTINUE","plan":[4.5,4.5,4.0,4.0,4.0,4.0,4.0],"weekly_mg":29.0},"passed":true},{"actual":{"action":"CONTINUE","plan":[4.5,4.5,4.5,4.5,4.5,4.5,4.0],"weekly_mg":31.0},"check":"INR at lower target continues","expected":{"action":"CONTINUE","plan":[4.5,4.5,4.5,4.5,4.5,4.5,4.0],"weekly_mg":31.0},"passed":true},{"actual":{"action":"ADJUST","plan":[3.5,3.5,3.5,3.5,3.0,3.0,3.0],"weekly_mg":23.0},"check":"INR exactly half below target","expected":{"action":"ADJUST","plan":[3.5,3.5,3.5,3.5,3.0,3.0,3.0],"weekly_mg":23.0},"passed":true},{"actual":{"action":"ADJUST","plan":[4.5,4.0,4.0,4.0,4.0,4.0,4.0],"weekly_mg":28.5},"check":"INR well below target","expected":{"action":"ADJUST","plan":[4.5,4.0,4.0,4.0,4.0,4.0,4.0],"weekly_mg":28.5},"passed":true},{"actual":{"action":"ADJUST","plan":[4.0,4.0,4.0,3.5,3.5,3.5,3.5],"weekly_mg":26.0},"check":"weekly rounding half-up","expected":{"action":"ADJUST","plan":[4.0,4.0,4.0,4.0,3.5,3.5,3.5],"weekly_mg":26.5},"passed":false},{"actual":{"action":"CONTINUE","plan":[5.0,5.0,4.5,4.5,4.5,4.5,4.5],"weekly_mg":32.5},"check":"uneven weekly split","expected":{"action":"CONTINUE","plan":[5.0,5.0,4.5,4.5,4.5,4.5,4.5],"weekly_mg":32.5},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"INR exactly 5 holds\", \"actual\": {\"action\": \"HOLD\", \"weekly_mg\": 26.0, \"plan\": [4.0, 4.0, 4.0, 3.5, 3.5, 3.5, 3.5]}, \"expected\": {\"action\": \"HOLD\", \"weekly_mg\": 26.5, \"plan\": [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}, \"passed\": false}, {\"check\": \"high target range above 3\", \"actual\": {\"action\": \"HOLD\", \"weekly_mg\": 29.5, \"plan\": [4.5, 4.5, 4.5, 4.0, 4.0, 4.0, 4.0]}, \"expected\": {\"action\": \"HOLD\", \"weekly_mg\": 30.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}, \"passed\": false}, {\"check\": \"INR at upper target continues\", \"actual\": {\"action\": \"CONTINUE\", \"weekly_mg\": 29.0, \"plan\": [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"expected\": {\"action\": \"CONTINUE\", \"weekly_mg\": 29.0, \"plan\": [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"passed\": true}, {\"check\": \"INR at lower target continues\", \"actual\": {\"action\": \"CONTINUE\", \"weekly_mg\": 31.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}, \"expected\": {\"action\": \"CONTINUE\", \"weekly_mg\": 31.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}, \"passed\": true}, {\"check\": \"INR exactly half below target\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 23.0, \"plan\": [3.5, 3.5, 3.5, 3.5, 3.0, 3.0, 3.0]}, \"expected\": {\"action\": \"ADJUST\", \"weekly_mg\": 23.0, \"plan\": [3.5, 3.5, 3.5, 3.5, 3.0, 3.0, 3.0]}, \"passed\": true}, {\"check\": \"INR well below target\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 28.5, \"plan\": [4.5, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"expected\": {\"action\": \"ADJUST\", \"weekly_mg\": 28.5, \"plan\": [4.5, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"passed\": true}, {\"check\": \"weekly rounding half-up\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 26.0, \"plan\": [4.0, 4.0, 4.0, 3.5, 3.5, 3.5, 3.5]}, \"expected\": {\"action\": \"ADJUST\", \"weekly_mg\": 26.5, \"plan\": [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}, \"passed\": false}, {\"check\": \"uneven weekly split\", \"actual\": {\"action\": \"CONTINUE\", \"weekly_mg\": 32.5, \"plan\": [5.0, 5.0, 4.5, 4.5, 4.5, 4.5, 4.5]}, \"expected\": {\"action\": \"CONTINUE\", \"weekly_mg\": 32.5, \"plan\": [5.0, 5.0, 4.5, 4.5, 4.5, 4.5, 4.5]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.744,"exit_code":0,"observations":[{"actual":{"action":"HOLD","plan":[4.0,4.0,4.0,4.0,3.5,3.5,3.5],"weekly_mg":26.5},"check":"INR exactly 5 holds","expected":{"action":"HOLD","plan":[4.0,4.0,4.0,4.0,3.5,3.5,3.5],"weekly_mg":26.5},"passed":true},{"actual":{"action":"HOLD","plan":[4.5,4.5,4.5,4.5,4.0,4.0,4.0],"weekly_mg":30.0},"check":"high target range above 3","expected":{"action":"HOLD","plan":[4.5,4.5,4.5,4.5,4.0,4.0,4.0],"weekly_mg":30.0},"passed":true},{"actual":{"action":"CONTINUE","plan":[4.5,4.5,4.0,4.0,4.0,4.0,4.0],"weekly_mg":29.0},"check":"INR at upper target continues","expected":{"action":"CONTINUE","plan":[4.5,4.5,4.0,4.0,4.0,4.0,4.0],"weekly_mg":29.0},"passed":true},{"actual":{"action":"CONTINUE","plan":[4.5,4.5,4.5,4.5,4.5,4.5,4.0],"weekly_mg":31.0},"check":"INR at lower target continues","expected":{"action":"CONTINUE","plan":[4.5,4.5,4.5,4.5,4.5,4.5,4.0],"weekly_mg":31.0},"passed":true},{"actual":{"action":"ADJUST","plan":[3.5,3.5,3.5,3.5,3.0,3.0,3.0],"weekly_mg":23.0},"check":"INR exactly half below target","expected":{"action":"ADJUST","plan":[3.5,3.5,3.5,3.5,3.0,3.0,3.0],"weekly_mg":23.0},"passed":true},{"actual":{"action":"ADJUST","plan":[4.5,4.0,4.0,4.0,4.0,4.0,4.0],"weekly_mg":28.5},"check":"INR well below target","expected":{"action":"ADJUST","plan":[4.5,4.0,4.0,4.0,4.0,4.0,4.0],"weekly_mg":28.5},"passed":true},{"actual":{"action":"ADJUST","plan":[4.0,4.0,4.0,4.0,3.5,3.5,3.5],"weekly_mg":26.5},"check":"weekly rounding half-up","expected":{"action":"ADJUST","plan":[4.0,4.0,4.0,4.0,3.5,3.5,3.5],"weekly_mg":26.5},"passed":true},{"actual":{"action":"CONTINUE","plan":[5.0,5.0,4.5,4.5,4.5,4.5,4.5],"weekly_mg":32.5},"check":"uneven weekly split","expected":{"action":"CONTINUE","plan":[5.0,5.0,4.5,4.5,4.5,4.5,4.5],"weekly_mg":32.5},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"INR exactly 5 holds\", \"actual\": {\"action\": \"HOLD\", \"weekly_mg\": 26.5, \"plan\": [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}, \"expected\": {\"action\": \"HOLD\", \"weekly_mg\": 26.5, \"plan\": [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}, \"passed\": true}, {\"check\": \"high target range above 3\", \"actual\": {\"action\": \"HOLD\", \"weekly_mg\": 30.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}, \"expected\": {\"action\": \"HOLD\", \"weekly_mg\": 30.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.0, 4.0, 4.0]}, \"passed\": true}, {\"check\": \"INR at upper target continues\", \"actual\": {\"action\": \"CONTINUE\", \"weekly_mg\": 29.0, \"plan\": [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"expected\": {\"action\": \"CONTINUE\", \"weekly_mg\": 29.0, \"plan\": [4.5, 4.5, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"passed\": true}, {\"check\": \"INR at lower target continues\", \"actual\": {\"action\": \"CONTINUE\", \"weekly_mg\": 31.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}, \"expected\": {\"action\": \"CONTINUE\", \"weekly_mg\": 31.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}, \"passed\": true}, {\"check\": \"INR exactly half below target\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 23.0, \"plan\": [3.5, 3.5, 3.5, 3.5, 3.0, 3.0, 3.0]}, \"expected\": {\"action\": \"ADJUST\", \"weekly_mg\": 23.0, \"plan\": [3.5, 3.5, 3.5, 3.5, 3.0, 3.0, 3.0]}, \"passed\": true}, {\"check\": \"INR well below target\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 28.5, \"plan\": [4.5, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"expected\": {\"action\": \"ADJUST\", \"weekly_mg\": 28.5, \"plan\": [4.5, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"passed\": true}, {\"check\": \"weekly rounding half-up\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 26.5, \"plan\": [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}, \"expected\": {\"action\": \"ADJUST\", \"weekly_mg\": 26.5, \"plan\": [4.0, 4.0, 4.0, 4.0, 3.5, 3.5, 3.5]}, \"passed\": true}, {\"check\": \"uneven weekly split\", \"actual\": {\"action\": \"CONTINUE\", \"weekly_mg\": 32.5, \"plan\": [5.0, 5.0, 4.5, 4.5, 4.5, 4.5, 4.5]}, \"expected\": {\"action\": \"CONTINUE\", \"weekly_mg\": 32.5, \"plan\": [5.0, 5.0, 4.5, 4.5, 4.5, 4.5, 4.5]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}