{"abstract":"An INR exactly 0.5 below target gets the larger 10% 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}.","contract_signature":"x","evaluation_group":"w2-meddose-weekly-anticoagulant-adjustment","failed_approach":"Using half of the lower target instead of low - 0.5 widens the band far too much.","family":"w2-meddose-weekly-anticoagulant-adjustment-slightly-low-band-edge","id":"FA-64281","implementations":{"attempt":{"sha256":"c4bbdb8aca6827f835ac718063772685e9501f842cfcbb949e90d5f4c6693328","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"},"broken":{"sha256":"bf21d6d063782841de0002918cce85f72b243a993a1a6f8b7d2f50f828be94a3","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-slightly-low-band-edge","generated_at":"2026-09-29T14:47:23.108235+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.","root_cause":"The 5% band excludes its inclusive lower edge.","sha256":"8f36f7b5cfe5aaa923b5cb34bcb7279739abcb3d492136306fce621756de6c9b","title":"INR-guided weekly dose adjustment and daily plan: slightly-low band edge · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":45.669,"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.0,4.0,4.0,4.0,4.0,4.0,3.5],"weekly_mg":27.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":false},{"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\": \"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\": 27.5, \"plan\": [4.0, 4.0, 4.0, 4.0, 4.0, 4.0, 3.5]}, \"expected\": {\"action\": \"ADJUST\", \"weekly_mg\": 28.5, \"plan\": [4.5, 4.0, 4.0, 4.0, 4.0, 4.0, 4.0]}, \"passed\": false}, {\"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":43.139,"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.5,3.5,3.0],"weekly_mg":24.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":false},{"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\": \"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\": 24.0, \"plan\": [3.5, 3.5, 3.5, 3.5, 3.5, 3.5, 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\": false}, {\"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"}},"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."}}