{"abstract":"An INR exactly at the lower target triggers a dose increase.","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":"Adding inr < high drops an INR exactly at the upper target into the increase branch.","family":"w2-meddose-weekly-anticoagulant-adjustment-in-range-lower-edge","id":"FA-64276","implementations":{"attempt":{"sha256":"ce7874c4f23f61b879a69206fa3f6715dc86e46fd217bdf5fac39f45bee1bbdd","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 and inr < hi:\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"},"broken":{"sha256":"9fc305586d995c3d93b723058412a34630b8227f2e4cc724ed3d1a149b61f054","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"},"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-in-range-lower-edge","generated_at":"2026-09-29T14:47:22.741159+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":"Continue unchanged for low <= INR <= high.","root_cause":"The continue band excludes its lower edge.","sha256":"9fd5a166e8f8e096ce918600a9113206523598995ed6cf29ec2ffb4505b4c5e5","title":"INR-guided weekly dose adjustment and daily plan: in-range lower edge · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.345,"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":"ADJUST","plan":[4.5,4.5,4.5,4.5,4.5,4.0,4.0],"weekly_mg":30.5},"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":false},{"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":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\": \"ADJUST\", \"weekly_mg\": 30.5, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.5, 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\": false}, {\"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\": false}\n"},"broken":{"elapsed_ms":45.892,"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":"ADJUST","plan":[5.0,5.0,4.5,4.5,4.5,4.5,4.5],"weekly_mg":32.5},"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":false},{"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":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\": \"ADJUST\", \"weekly_mg\": 32.5, \"plan\": [5.0, 5.0, 4.5, 4.5, 4.5, 4.5, 4.5]}, \"expected\": {\"action\": \"CONTINUE\", \"weekly_mg\": 31.0, \"plan\": [4.5, 4.5, 4.5, 4.5, 4.5, 4.5, 4.0]}, \"passed\": false}, {\"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\": false}\n"},"fixed":{"elapsed_ms":43.199,"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"}