FAILURE MAP
← Case archive

FA-64151 / Medication dosing calculations / Open access

Percentage taper schedule rounded to tablets: reduction day selection · case 01

The first reduction happens on day 0, so the starting dose is never given.

Verified by executionVariant 1 · 6 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The step condition omits the day > 0 guard.

VERIFIED REPAIR

Reduce only on days d > 0 with d % every_days == 0.

Unsuccessful approach: Shifting to (day+1) avoids day 0 but reduces one day early in every cycle.

Case contract

Input {start_mg, step_pct, every_days, min_mg, tablet_mg, days}. Day 0 uses start_mg. On each day d > 0 with d % every_days == 0 (while the dose is non-zero), the dose becomes current*(100-step_pct)/100 rounded half-up to a tablet_mg multiple; if that does not lower the dose, it is lowered by one tablet_mg instead; a result below min_mg stops the taper (0). Return the list of daily doses for days days.

Why this case matters

Tapers compound percentage reductions with dispensing granularity; stepping day, rounding and stop rules are distinct decisions.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
    dose = Fraction(str(x['start_mg']))
    t = Fraction(str(x['tablet_mg']))
    out = []
    for day in range(x['days']):
        if day % x['every_days'] == 0 and dose > 0:
            new = dose * (100 - x['step_pct']) / 100
            new = math.floor(new / t + Fraction(1, 2)) * t
            if new >= dose:
                new = dose - t
            dose = new if new >= Fraction(str(x['min_mg'])) else Fraction(0)
        out.append(float(dose))
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 11},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 4},
   [50.0, 50.0, 45.0, 45.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 2, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 6},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 10, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 0.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 8},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 12},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 5},
   [50.0, 50.0, 45.0, 45.0, 40.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 1, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 7.5, 5.0, 2.5, 0.0, 0.0, 0.0, 0.0]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 7},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 5, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 5.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 9},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 13},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0, 20.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 6},
   [50.0, 50.0, 45.0, 45.0, 40.0, 40.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 2, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 8},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 10, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 0.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 10},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0, 8.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 14},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0, 20.0, 20.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 7},
   [50.0, 50.0, 45.0, 45.0, 40.0, 40.0, 35.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 1, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 7.5, 5.0, 2.5, 0.0, 0.0, 0.0, 0.0]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 9},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 5, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 5.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 11},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0, 8.0, 6.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 15},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0, 20.0, 20.0, 20.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 8},
   [50.0, 50.0, 45.0, 45.0, 40.0, 40.0, 35.0, 35.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 2, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 10},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 10, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 0.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 12},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0, 8.0, 6.0, 6.0])]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
weekly 25 percent taper[45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0, 20.0, 20.0][60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0]Failed
half-tablet boundary rounds up[45.0, 45.0, 40.0, 40.0][50.0, 50.0, 45.0, 45.0]Failed
rounding stall forces one tablet step[7.5, 7.5, 5.0, 5.0, 2.5, 2.5, 0.0, 0.0][10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]Failed
stops below minimum[10.0, 10.0, 0.0, 0.0, 0.0, 0.0][20.0, 20.0, 10.0, 10.0, 0.0, 0.0]Failed
dose equal to minimum continues[20.0, 10.0, 0.0, 0.0, 0.0][40.0, 20.0, 10.0, 0.0, 0.0]Failed
fractional tablet percentages[21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0, 8.0][30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0]Failed

SHA-256 / 85171391e5f6f24997e3f2182445496788cf159861f7a422f972aee66996ba0f

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
    dose = Fraction(str(x['start_mg']))
    t = Fraction(str(x['tablet_mg']))
    out = []
    for day in range(x['days']):
        if (day + 1) % x['every_days'] == 0 and dose > 0:
            new = dose * (100 - x['step_pct']) / 100
            new = math.floor(new / t + Fraction(1, 2)) * t
            if new >= dose:
                new = dose - t
            dose = new if new >= Fraction(str(x['min_mg'])) else Fraction(0)
        out.append(float(dose))
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 11},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 4},
   [50.0, 50.0, 45.0, 45.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 2, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 6},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 10, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 0.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 8},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 12},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 5},
   [50.0, 50.0, 45.0, 45.0, 40.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 1, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 7.5, 5.0, 2.5, 0.0, 0.0, 0.0, 0.0]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 7},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 5, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 5.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 9},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 13},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0, 20.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 6},
   [50.0, 50.0, 45.0, 45.0, 40.0, 40.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 2, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 8},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 10, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 0.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 10},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0, 8.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 14},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0, 20.0, 20.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 7},
   [50.0, 50.0, 45.0, 45.0, 40.0, 40.0, 35.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 1, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 7.5, 5.0, 2.5, 0.0, 0.0, 0.0, 0.0]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 9},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 5, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 5.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 11},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0, 8.0, 6.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 15},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0, 20.0, 20.0, 20.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 8},
   [50.0, 50.0, 45.0, 45.0, 40.0, 40.0, 35.0, 35.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 2, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 10},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 10, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 0.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 12},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0, 8.0, 6.0, 6.0])]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
weekly 25 percent taper[60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0][60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0]Failed
half-tablet boundary rounds up[50.0, 45.0, 45.0, 40.0][50.0, 50.0, 45.0, 45.0]Failed
rounding stall forces one tablet step[10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5, 0.0][10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]Failed
stops below minimum[20.0, 10.0, 10.0, 0.0, 0.0, 0.0][20.0, 20.0, 10.0, 10.0, 0.0, 0.0]Failed
dose equal to minimum continues[20.0, 10.0, 0.0, 0.0, 0.0][40.0, 20.0, 10.0, 0.0, 0.0]Failed
fractional tablet percentages[30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0][30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0]Failed

SHA-256 / 0913f061ea85a1665b918b2b3c0529a2bfcdba926237726bbd2785d3959b2b94

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
    dose = Fraction(str(x['start_mg']))
    t = Fraction(str(x['tablet_mg']))
    out = []
    for day in range(x['days']):
        if day > 0 and day % x['every_days'] == 0 and dose > 0:
            new = dose * (100 - x['step_pct']) / 100
            new = math.floor(new / t + Fraction(1, 2)) * t
            if new >= dose:
                new = dose - t
            dose = new if new >= Fraction(str(x['min_mg'])) else Fraction(0)
        out.append(float(dose))
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 11},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 4},
   [50.0, 50.0, 45.0, 45.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 2, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 6},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 10, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 0.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 8},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 12},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 5},
   [50.0, 50.0, 45.0, 45.0, 40.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 1, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 7.5, 5.0, 2.5, 0.0, 0.0, 0.0, 0.0]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 7},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 5, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 5.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 9},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 13},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0, 20.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 6},
   [50.0, 50.0, 45.0, 45.0, 40.0, 40.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 2, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 8},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 10, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 0.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 10},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0, 8.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 14},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0, 20.0, 20.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 7},
   [50.0, 50.0, 45.0, 45.0, 40.0, 40.0, 35.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 1, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 7.5, 5.0, 2.5, 0.0, 0.0, 0.0, 0.0]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 9},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 5, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 5.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 11},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0, 8.0, 6.0])],
 [('weekly 25 percent taper',
   {'start_mg': 60, 'step_pct': 25, 'every_days': 3, 'min_mg': 5, 'tablet_mg': 5, 'days': 15},
   [60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0, 25.0, 20.0, 20.0, 20.0]),
  ('half-tablet boundary rounds up',
   {'start_mg': 50, 'step_pct': 15, 'every_days': 2, 'min_mg': 5, 'tablet_mg': 5, 'days': 8},
   [50.0, 50.0, 45.0, 45.0, 40.0, 40.0, 35.0, 35.0]),
  ('rounding stall forces one tablet step',
   {'start_mg': 10, 'step_pct': 10, 'every_days': 2, 'min_mg': '2.5', 'tablet_mg': '2.5', 'days': 8},
   [10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]),
  ('stops below minimum',
   {'start_mg': 20, 'step_pct': 50, 'every_days': 2, 'min_mg': 10, 'tablet_mg': 5, 'days': 10},
   [20.0, 20.0, 10.0, 10.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0]),
  ('dose equal to minimum continues',
   {'start_mg': 40, 'step_pct': 50, 'every_days': 1, 'min_mg': 10, 'tablet_mg': 5, 'days': 5},
   [40.0, 20.0, 10.0, 0.0, 0.0]),
  ('fractional tablet percentages',
   {'start_mg': 30, 'step_pct': 30, 'every_days': 2, 'min_mg': 1, 'tablet_mg': 1, 'days': 12},
   [30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0, 8.0, 8.0, 6.0, 6.0])]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
weekly 25 percent taper[60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0][60.0, 60.0, 60.0, 45.0, 45.0, 45.0, 35.0, 35.0, 35.0, 25.0, 25.0]Passed
half-tablet boundary rounds up[50.0, 50.0, 45.0, 45.0][50.0, 50.0, 45.0, 45.0]Passed
rounding stall forces one tablet step[10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5][10.0, 10.0, 7.5, 7.5, 5.0, 5.0, 2.5, 2.5]Passed
stops below minimum[20.0, 20.0, 10.0, 10.0, 0.0, 0.0][20.0, 20.0, 10.0, 10.0, 0.0, 0.0]Passed
dose equal to minimum continues[40.0, 20.0, 10.0, 0.0, 0.0][40.0, 20.0, 10.0, 0.0, 0.0]Passed
fractional tablet percentages[30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0][30.0, 30.0, 21.0, 21.0, 15.0, 15.0, 11.0, 11.0]Passed

SHA-256 / 0255bd4022b2d660efaf1d803e7a2f28240979cf27268e4975ea59ee413fd554

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:47:21.707161+00:00.

Case digest / 08046d9859b83a4e0650458947ec225b5c69a9712bfb5ab6e58a068b2ecea8a4