{"abstract":"The daily plan adds up to less than the weekly total.","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":"Placing the larger doses at the end of the week violates the stipulated front-loading.","family":"w2-meddose-weekly-anticoagulant-adjustment-daily-plan-remainder-placement","id":"FA-64291","implementations":{"attempt":{"sha256":"4856c5efda5b5e472aaf5e91943edb626d3ef003f505214ec2aaf345590b4214","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 / 2] * (7 - extra) + [(base + 1) / 2] * 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":"de0bc6ee7fe7737121c1d18d4e8be75370a38ed994cb2e86b59f664cd5ab5782","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 / 2] * 7\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-daily-plan-remainder-placement","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 remainder half-milligram units are dropped from the plan.","sha256":"bf4ec35c54024e55776660a874cc5878ab173727a0745575d65f115f9892ec55","title":"INR-guided weekly dose adjustment and daily plan: daily plan remainder placement · 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":44.476,"exit_code":1,"observations":[{"actual":{"action":"HOLD","plan":[3.5,3.5,3.5,4.0,4.0,4.0,4.0],"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":false},{"actual":{"action":"HOLD","plan":[4.0,4.0,4.0,4.5,4.5,4.5,4.5],"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":false},{"actual":{"action":"CONTINUE","plan":[4.0,4.0,4.0,4.0,4.0,4.5,4.5],"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":false},{"actual":{"action":"CONTINUE","plan":[4.0,4.5,4.5,4.5,4.5,4.5,4.5],"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":false},{"actual":{"action":"ADJUST","plan":[3.0,3.0,3.0,3.5,3.5,3.5,3.5],"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":false},{"actual":{"action":"ADJUST","plan":[4.0,4.0,4.0,4.0,4.0,4.0,4.5],"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":false},{"actual":{"action":"ADJUST","plan":[3.5,3.5,3.5,4.0,4.0,4.0,4.0],"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":false},{"actual":{"action":"CONTINUE","plan":[4.5,4.5,4.5,4.5,4.5,5.0,5.0],"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":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"INR exactly 5 holds\", \"actual\": {\"action\": \"HOLD\", \"weekly_mg\": 26.5, \"plan\": [3.5, 3.5, 3.5, 4.0, 4.0, 4.0, 4.0]}, \"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\": 30.0, \"plan\": [4.0, 4.0, 4.0, 4.5, 4.5, 4.5, 4.5]}, \"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.0, 4.0, 4.0, 4.0, 4.0, 4.5, 4.5]}, \"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.0, 4.5, 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.0, 3.0, 3.0, 3.5, 3.5, 3.5, 3.5]}, \"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.0, 4.0, 4.0, 4.0, 4.0, 4.0, 4.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\": [3.5, 3.5, 3.5, 4.0, 4.0, 4.0, 4.0]}, \"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\": [4.5, 4.5, 4.5, 4.5, 4.5, 5.0, 5.0]}, \"expected\": {\"action\": \"CONTINUE\", \"weekly_mg\": 32.5, \"plan\": [5.0, 5.0, 4.5, 4.5, 4.5, 4.5, 4.5]}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.084,"exit_code":1,"observations":[{"actual":{"action":"HOLD","plan":[3.5,3.5,3.5,3.5,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":false},{"actual":{"action":"HOLD","plan":[4.0,4.0,4.0,4.0,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":false},{"actual":{"action":"CONTINUE","plan":[4.0,4.0,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":false},{"actual":{"action":"CONTINUE","plan":[4.0,4.0,4.0,4.0,4.0,4.0,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":false},{"actual":{"action":"ADJUST","plan":[3.0,3.0,3.0,3.0,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":false},{"actual":{"action":"ADJUST","plan":[4.0,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":false},{"actual":{"action":"ADJUST","plan":[3.5,3.5,3.5,3.5,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":false},{"actual":{"action":"CONTINUE","plan":[4.5,4.5,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":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"INR exactly 5 holds\", \"actual\": {\"action\": \"HOLD\", \"weekly_mg\": 26.5, \"plan\": [3.5, 3.5, 3.5, 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\": 30.0, \"plan\": [4.0, 4.0, 4.0, 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.0, 4.0, 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\": false}, {\"check\": \"INR at lower target continues\", \"actual\": {\"action\": \"CONTINUE\", \"weekly_mg\": 31.0, \"plan\": [4.0, 4.0, 4.0, 4.0, 4.0, 4.0, 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\": false}, {\"check\": \"INR exactly half below target\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 23.0, \"plan\": [3.0, 3.0, 3.0, 3.0, 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\": false}, {\"check\": \"INR well below target\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 28.5, \"plan\": [4.0, 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\": false}, {\"check\": \"weekly rounding half-up\", \"actual\": {\"action\": \"ADJUST\", \"weekly_mg\": 26.5, \"plan\": [3.5, 3.5, 3.5, 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\": [4.5, 4.5, 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\": false}], \"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."}}