FA-95506 / Shipping rate zone lookup / Open access

Rate card: same-day corrections ignored · case 01

A corrected card republished with a higher version on the same date is not used.

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

ROOT CAUSE

The selection key omits the card version.

VERIFIED REPAIR

Break effective date ties by highest version.

Unsuccessful approach: Negating the version picks the lowest version.

Case contract

cards [[card_id, effective_from, expires or None, version]] with dates "Y-M-D" that may lack zero padding. A card applies when effective_from <= ship date < expires. Choose the latest effective_from, then highest version, then smallest card_id. None -> "NO_CARD".

Why this case matters

Carriers publish dated rate cards; each shipment must use the card in force on its ship date.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(cards, ship_date):
    def d(s):
        return tuple(int(x) for x in s.split('-'))
    ship = d(ship_date)
    best = None
    for cid, frm, exp, ver in cards:
        if d(frm) > ship:
            continue
        if exp is not None and ship >= d(exp):
            continue
        key = (d(frm), 0)
        if best is None or key > best[0] or (key == best[0] and cid < best[1]):
            best = (key, cid)
    return best[1] if best else 'NO_CARD'
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['generated mix 18', [[['R0', '2026-10-1', None, 3], ['R1', '2026-10-1', None, 2], ['R2', '2026-10-1', '2026-2-1', 1], ['R3', '2026-01-15', '2026-2-1', 2], ['R4', '2025-12-31', '2026-11-1', 3]], '2026-10-15'], 'R0'], ['unpadded month', [[['A', '2026-2-1', None, 1], ['B', '2026-10-1', None, 1]], '2026-10-15'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['generated mix 8', [[['R0', '2026-10-1', '2026-10-1', 1], ['R1', '2026-1-5', None, 3], ['R2', '2026-10-1', '2026-11-1', 3], ['R3', '2026-2-1', None, 3], ['R4', '2026-10-1', None, 3]], '2025-12-31'], 'NO_CARD']], [['generated mix 38', [[['R0', '2026-10-1', '2026-2-1', 2], ['R1', '2026-01-15', '2026-10-1', 1], ['R2', '2026-1-5', None, 1], ['R3', '2026-1-5', '2026-11-1', 3]], '2026-10-15'], 'R3'], ['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['unpadded month', [[['A', '2026-2-1', None, 1], ['B', '2026-10-1', None, 1]], '2026-10-15'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['generated mix 11', [[['R0', '2025-12-31', None, 1]], '2026-9-30'], 'R0'], ['generated mix 19', [[['R0', '2026-9-30', '2026-11-1', 3], ['R1', '2026-11-1', '2026-11-1', 1]], '2025-12-31'], 'NO_CARD']], [['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['generated mix 38', [[['R0', '2026-10-1', '2026-2-1', 2], ['R1', '2026-01-15', '2026-10-1', 1], ['R2', '2026-1-5', None, 1], ['R3', '2026-1-5', '2026-11-1', 3]], '2026-10-15'], 'R3'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['unpadded month', [[['A', '2026-2-1', None, 1], ['B', '2026-10-1', None, 1]], '2026-10-15'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['generated mix 22', [[['R0', '2026-2-1', '2026-2-1', 2], ['R1', '2026-9-30', '2026-2-1', 1], ['R2', '2026-9-30', '2026-11-1', 2], ['R3', '2026-2-1', '2026-2-1', 1], ['R4', '2026-2-1', '2026-10-1', 3]], '2026-3-15'], 'R4'], ['generated mix 30', [[['R0', '2026-1-5', '2026-2-1', 1], ['R1', '2026-11-1', '2026-2-1', 1], ['R2', '2025-12-31', '2026-2-1', 2], ['R3', '2026-10-1', '2026-11-1', 3]], '2026-01-15'], 'R0']], [['generated mix 38', [[['R0', '2026-10-1', '2026-2-1', 2], ['R1', '2026-01-15', '2026-10-1', 1], ['R2', '2026-1-5', None, 1], ['R3', '2026-1-5', '2026-11-1', 3]], '2026-10-15'], 'R3'], ['generated mix 18', [[['R0', '2026-10-1', None, 3], ['R1', '2026-10-1', None, 2], ['R2', '2026-10-1', '2026-2-1', 1], ['R3', '2026-01-15', '2026-2-1', 2], ['R4', '2025-12-31', '2026-11-1', 3]], '2026-10-15'], 'R0'], ['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['generated mix 32', [[['R0', '2026-2-1', None, 1]], '2026-10-1'], 'R0'], ['generated mix 41', [[['R0', '2026-01-15', '2026-11-1', 2], ['R1', '2026-10-1', '2026-10-1', 3], ['R2', '2026-2-1', None, 3]], '2026-11-1'], 'R2'], ['generated mix 49', [[['R0', '2026-10-1', '2026-10-1', 1], ['R1', '2026-1-5', '2026-2-1', 3], ['R2', '2026-2-1', None, 2], ['R3', '2026-9-30', None, 1], ['R4', '2026-11-1', '2026-11-1', 3]], '2026-10-1'], 'R3']], [['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['generated mix 44', [[['R0', '2026-9-30', None, 2], ['R1', '2026-1-5', '2026-11-1', 3]], '2026-9-30'], 'R0'], ['generated mix 52', [[['R0', '2026-11-1', '2026-2-1', 3], ['R1', '2026-11-1', '2026-2-1', 1], ['R2', '2026-1-5', '2026-10-1', 2], ['R3', '2026-9-30', None, 1]], '2026-2-1'], 'R2'], ['generated mix 60', [[['R0', '2025-12-31', None, 1], ['R1', '2026-1-5', None, 3], ['R2', '2026-10-1', '2026-11-1', 1], ['R3', '2026-01-15', '2026-2-1', 1], ['R4', '2026-01-15', None, 2]], '2025-12-31'], 'R0']]]
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 fixture	Actual	Expected	Outcome
version tie	`A`	`B`	Failed
generated mix 18	`R0`	`R0`	Passed
unpadded month	`B`	`B`	Passed
effective same day	`A`	`A`	Passed
future only	`NO_CARD`	`NO_CARD`	Passed
expiry exclusive	`B`	`B`	Passed
id tie	`M`	`M`	Passed
generated mix 8	`NO_CARD`	`NO_CARD`	Passed

SHA-256 / 7171a8b768f44e700f36463a294516b44217ffe825ed508a76d73000bafc63ba

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(cards, ship_date):
    def d(s):
        return tuple(int(x) for x in s.split('-'))
    ship = d(ship_date)
    best = None
    for cid, frm, exp, ver in cards:
        if d(frm) > ship:
            continue
        if exp is not None and ship >= d(exp):
            continue
        key = (d(frm), -ver)
        if best is None or key > best[0] or (key == best[0] and cid < best[1]):
            best = (key, cid)
    return best[1] if best else 'NO_CARD'
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['generated mix 18', [[['R0', '2026-10-1', None, 3], ['R1', '2026-10-1', None, 2], ['R2', '2026-10-1', '2026-2-1', 1], ['R3', '2026-01-15', '2026-2-1', 2], ['R4', '2025-12-31', '2026-11-1', 3]], '2026-10-15'], 'R0'], ['unpadded month', [[['A', '2026-2-1', None, 1], ['B', '2026-10-1', None, 1]], '2026-10-15'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['generated mix 8', [[['R0', '2026-10-1', '2026-10-1', 1], ['R1', '2026-1-5', None, 3], ['R2', '2026-10-1', '2026-11-1', 3], ['R3', '2026-2-1', None, 3], ['R4', '2026-10-1', None, 3]], '2025-12-31'], 'NO_CARD']], [['generated mix 38', [[['R0', '2026-10-1', '2026-2-1', 2], ['R1', '2026-01-15', '2026-10-1', 1], ['R2', '2026-1-5', None, 1], ['R3', '2026-1-5', '2026-11-1', 3]], '2026-10-15'], 'R3'], ['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['unpadded month', [[['A', '2026-2-1', None, 1], ['B', '2026-10-1', None, 1]], '2026-10-15'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['generated mix 11', [[['R0', '2025-12-31', None, 1]], '2026-9-30'], 'R0'], ['generated mix 19', [[['R0', '2026-9-30', '2026-11-1', 3], ['R1', '2026-11-1', '2026-11-1', 1]], '2025-12-31'], 'NO_CARD']], [['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['generated mix 38', [[['R0', '2026-10-1', '2026-2-1', 2], ['R1', '2026-01-15', '2026-10-1', 1], ['R2', '2026-1-5', None, 1], ['R3', '2026-1-5', '2026-11-1', 3]], '2026-10-15'], 'R3'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['unpadded month', [[['A', '2026-2-1', None, 1], ['B', '2026-10-1', None, 1]], '2026-10-15'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['generated mix 22', [[['R0', '2026-2-1', '2026-2-1', 2], ['R1', '2026-9-30', '2026-2-1', 1], ['R2', '2026-9-30', '2026-11-1', 2], ['R3', '2026-2-1', '2026-2-1', 1], ['R4', '2026-2-1', '2026-10-1', 3]], '2026-3-15'], 'R4'], ['generated mix 30', [[['R0', '2026-1-5', '2026-2-1', 1], ['R1', '2026-11-1', '2026-2-1', 1], ['R2', '2025-12-31', '2026-2-1', 2], ['R3', '2026-10-1', '2026-11-1', 3]], '2026-01-15'], 'R0']], [['generated mix 38', [[['R0', '2026-10-1', '2026-2-1', 2], ['R1', '2026-01-15', '2026-10-1', 1], ['R2', '2026-1-5', None, 1], ['R3', '2026-1-5', '2026-11-1', 3]], '2026-10-15'], 'R3'], ['generated mix 18', [[['R0', '2026-10-1', None, 3], ['R1', '2026-10-1', None, 2], ['R2', '2026-10-1', '2026-2-1', 1], ['R3', '2026-01-15', '2026-2-1', 2], ['R4', '2025-12-31', '2026-11-1', 3]], '2026-10-15'], 'R0'], ['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['generated mix 32', [[['R0', '2026-2-1', None, 1]], '2026-10-1'], 'R0'], ['generated mix 41', [[['R0', '2026-01-15', '2026-11-1', 2], ['R1', '2026-10-1', '2026-10-1', 3], ['R2', '2026-2-1', None, 3]], '2026-11-1'], 'R2'], ['generated mix 49', [[['R0', '2026-10-1', '2026-10-1', 1], ['R1', '2026-1-5', '2026-2-1', 3], ['R2', '2026-2-1', None, 2], ['R3', '2026-9-30', None, 1], ['R4', '2026-11-1', '2026-11-1', 3]], '2026-10-1'], 'R3']], [['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['generated mix 44', [[['R0', '2026-9-30', None, 2], ['R1', '2026-1-5', '2026-11-1', 3]], '2026-9-30'], 'R0'], ['generated mix 52', [[['R0', '2026-11-1', '2026-2-1', 3], ['R1', '2026-11-1', '2026-2-1', 1], ['R2', '2026-1-5', '2026-10-1', 2], ['R3', '2026-9-30', None, 1]], '2026-2-1'], 'R2'], ['generated mix 60', [[['R0', '2025-12-31', None, 1], ['R1', '2026-1-5', None, 3], ['R2', '2026-10-1', '2026-11-1', 1], ['R3', '2026-01-15', '2026-2-1', 1], ['R4', '2026-01-15', None, 2]], '2025-12-31'], 'R0']]]
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 fixture	Actual	Expected	Outcome
version tie	`A`	`B`	Failed
generated mix 18	`R1`	`R0`	Failed
unpadded month	`B`	`B`	Passed
effective same day	`A`	`A`	Passed
future only	`NO_CARD`	`NO_CARD`	Passed
expiry exclusive	`B`	`B`	Passed
id tie	`M`	`M`	Passed
generated mix 8	`NO_CARD`	`NO_CARD`	Passed

SHA-256 / 68cb2f9458932d66fd8a9099701e45ac130a0390504d745d4e67397d5ee2e941

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(cards, ship_date):
    def d(s):
        return tuple(int(x) for x in s.split('-'))
    ship = d(ship_date)
    best = None
    for cid, frm, exp, ver in cards:
        if d(frm) > ship:
            continue
        if exp is not None and ship >= d(exp):
            continue
        key = (d(frm), ver)
        if best is None or key > best[0] or (key == best[0] and cid < best[1]):
            best = (key, cid)
    return best[1] if best else 'NO_CARD'
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['generated mix 18', [[['R0', '2026-10-1', None, 3], ['R1', '2026-10-1', None, 2], ['R2', '2026-10-1', '2026-2-1', 1], ['R3', '2026-01-15', '2026-2-1', 2], ['R4', '2025-12-31', '2026-11-1', 3]], '2026-10-15'], 'R0'], ['unpadded month', [[['A', '2026-2-1', None, 1], ['B', '2026-10-1', None, 1]], '2026-10-15'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['generated mix 8', [[['R0', '2026-10-1', '2026-10-1', 1], ['R1', '2026-1-5', None, 3], ['R2', '2026-10-1', '2026-11-1', 3], ['R3', '2026-2-1', None, 3], ['R4', '2026-10-1', None, 3]], '2025-12-31'], 'NO_CARD']], [['generated mix 38', [[['R0', '2026-10-1', '2026-2-1', 2], ['R1', '2026-01-15', '2026-10-1', 1], ['R2', '2026-1-5', None, 1], ['R3', '2026-1-5', '2026-11-1', 3]], '2026-10-15'], 'R3'], ['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['unpadded month', [[['A', '2026-2-1', None, 1], ['B', '2026-10-1', None, 1]], '2026-10-15'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['generated mix 11', [[['R0', '2025-12-31', None, 1]], '2026-9-30'], 'R0'], ['generated mix 19', [[['R0', '2026-9-30', '2026-11-1', 3], ['R1', '2026-11-1', '2026-11-1', 1]], '2025-12-31'], 'NO_CARD']], [['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['generated mix 38', [[['R0', '2026-10-1', '2026-2-1', 2], ['R1', '2026-01-15', '2026-10-1', 1], ['R2', '2026-1-5', None, 1], ['R3', '2026-1-5', '2026-11-1', 3]], '2026-10-15'], 'R3'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['unpadded month', [[['A', '2026-2-1', None, 1], ['B', '2026-10-1', None, 1]], '2026-10-15'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['generated mix 22', [[['R0', '2026-2-1', '2026-2-1', 2], ['R1', '2026-9-30', '2026-2-1', 1], ['R2', '2026-9-30', '2026-11-1', 2], ['R3', '2026-2-1', '2026-2-1', 1], ['R4', '2026-2-1', '2026-10-1', 3]], '2026-3-15'], 'R4'], ['generated mix 30', [[['R0', '2026-1-5', '2026-2-1', 1], ['R1', '2026-11-1', '2026-2-1', 1], ['R2', '2025-12-31', '2026-2-1', 2], ['R3', '2026-10-1', '2026-11-1', 3]], '2026-01-15'], 'R0']], [['generated mix 38', [[['R0', '2026-10-1', '2026-2-1', 2], ['R1', '2026-01-15', '2026-10-1', 1], ['R2', '2026-1-5', None, 1], ['R3', '2026-1-5', '2026-11-1', 3]], '2026-10-15'], 'R3'], ['generated mix 18', [[['R0', '2026-10-1', None, 3], ['R1', '2026-10-1', None, 2], ['R2', '2026-10-1', '2026-2-1', 1], ['R3', '2026-01-15', '2026-2-1', 2], ['R4', '2025-12-31', '2026-11-1', 3]], '2026-10-15'], 'R0'], ['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['generated mix 32', [[['R0', '2026-2-1', None, 1]], '2026-10-1'], 'R0'], ['generated mix 41', [[['R0', '2026-01-15', '2026-11-1', 2], ['R1', '2026-10-1', '2026-10-1', 3], ['R2', '2026-2-1', None, 3]], '2026-11-1'], 'R2'], ['generated mix 49', [[['R0', '2026-10-1', '2026-10-1', 1], ['R1', '2026-1-5', '2026-2-1', 3], ['R2', '2026-2-1', None, 2], ['R3', '2026-9-30', None, 1], ['R4', '2026-11-1', '2026-11-1', 3]], '2026-10-1'], 'R3']], [['version tie', [[['A', '2026-1-1', None, 1], ['B', '2026-1-1', None, 2]], '2026-5-1'], 'B'], ['effective same day', [[['A', '2026-3-1', None, 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'A'], ['future only', [[['A', '2027-1-1', None, 1]], '2026-5-1'], 'NO_CARD'], ['expiry exclusive', [[['A', '2026-1-1', '2026-3-1', 1], ['B', '2025-1-1', None, 1]], '2026-3-1'], 'B'], ['id tie', [[['Z', '2026-1-1', None, 2], ['M', '2026-1-1', None, 2]], '2026-5-1'], 'M'], ['generated mix 44', [[['R0', '2026-9-30', None, 2], ['R1', '2026-1-5', '2026-11-1', 3]], '2026-9-30'], 'R0'], ['generated mix 52', [[['R0', '2026-11-1', '2026-2-1', 3], ['R1', '2026-11-1', '2026-2-1', 1], ['R2', '2026-1-5', '2026-10-1', 2], ['R3', '2026-9-30', None, 1]], '2026-2-1'], 'R2'], ['generated mix 60', [[['R0', '2025-12-31', None, 1], ['R1', '2026-1-5', None, 3], ['R2', '2026-10-1', '2026-11-1', 1], ['R3', '2026-01-15', '2026-2-1', 1], ['R4', '2026-01-15', None, 2]], '2025-12-31'], 'R0']]]
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 fixture	Actual	Expected	Outcome
version tie	`B`	`B`	Passed
generated mix 18	`R0`	`R0`	Passed
unpadded month	`B`	`B`	Passed
effective same day	`A`	`A`	Passed
future only	`NO_CARD`	`NO_CARD`	Passed
expiry exclusive	`B`	`B`	Passed
id tie	`M`	`M`	Passed
generated mix 8	`NO_CARD`	`NO_CARD`	Passed

SHA-256 / c7b64de0e21ded61688f6b15b80f34e67f1ad3d1ed9a0fa462e2b0d1ee3ce246

Verification & scope

Stipulated date format and selection policy. 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:52:14.267096+00:00.

Case digest / e494dfd81085e50030091072d49782e08cc27fd39085f7a29d4d9afa82d6dfb3