{"abstract":"A corrected card republished with a higher version on the same date is not used.","category":"Shipping rate zone lookup","checks":8,"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\".","evaluation_group":"w2-shipping-zone-card-dating","failed_approach":"Negating the version picks the lowest version.","family":"w2-shipping-zone-card-dating-version-tiebreak","id":"FA-95506","implementations":{"attempt":{"sha256":"68cb2f9458932d66fd8a9099701e45ac130a0390504d745d4e67397d5ee2e941","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cards, ship_date):\n    def d(s):\n        return tuple(int(x) for x in s.split('-'))\n    ship = d(ship_date)\n    best = None\n    for cid, frm, exp, ver in cards:\n        if d(frm) > ship:\n            continue\n        if exp is not None and ship >= d(exp):\n            continue\n        key = (d(frm), -ver)\n        if best is None or key > best[0] or (key == best[0] and cid < best[1]):\n            best = (key, cid)\n    return best[1] if best else 'NO_CARD'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['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']]]\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":"7171a8b768f44e700f36463a294516b44217ffe825ed508a76d73000bafc63ba","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cards, ship_date):\n    def d(s):\n        return tuple(int(x) for x in s.split('-'))\n    ship = d(ship_date)\n    best = None\n    for cid, frm, exp, ver in cards:\n        if d(frm) > ship:\n            continue\n        if exp is not None and ship >= d(exp):\n            continue\n        key = (d(frm), 0)\n        if best is None or key > best[0] or (key == best[0] and cid < best[1]):\n            best = (key, cid)\n    return best[1] if best else 'NO_CARD'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['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']]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"c7b64de0e21ded61688f6b15b80f34e67f1ad3d1ed9a0fa462e2b0d1ee3ce246","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cards, ship_date):\n    def d(s):\n        return tuple(int(x) for x in s.split('-'))\n    ship = d(ship_date)\n    best = None\n    for cid, frm, exp, ver in cards:\n        if d(frm) > ship:\n            continue\n        if exp is not None and ship >= d(exp):\n            continue\n        key = (d(frm), ver)\n        if best is None or key > best[0] or (key == best[0] and cid < best[1]):\n            best = (key, cid)\n    return best[1] if best else 'NO_CARD'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['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']]]\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":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-shipping-zone-card-dating-version-tiebreak","generated_at":"2026-09-29T14:52:14.267096+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Carriers publish dated rate cards; each shipment must use the card in force on its ship date.","repair":"Break effective date ties by highest version.","root_cause":"The selection key omits the card version.","sha256":"e494dfd81085e50030091072d49782e08cc27fd39085f7a29d4d9afa82d6dfb3","title":"Rate card: same-day corrections ignored · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.467,"exit_code":1,"observations":[{"actual":"A","check":"version tie","expected":"B","passed":false},{"actual":"R1","check":"generated mix 18","expected":"R0","passed":false},{"actual":"B","check":"unpadded month","expected":"B","passed":true},{"actual":"A","check":"effective same day","expected":"A","passed":true},{"actual":"NO_CARD","check":"future only","expected":"NO_CARD","passed":true},{"actual":"B","check":"expiry exclusive","expected":"B","passed":true},{"actual":"M","check":"id tie","expected":"M","passed":true},{"actual":"NO_CARD","check":"generated mix 8","expected":"NO_CARD","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"version tie\", \"actual\": \"A\", \"expected\": \"B\", \"passed\": false}, {\"check\": \"generated mix 18\", \"actual\": \"R1\", \"expected\": \"R0\", \"passed\": false}, {\"check\": \"unpadded month\", \"actual\": \"B\", \"expected\": \"B\", \"passed\": true}, {\"check\": \"effective same day\", \"actual\": \"A\", \"expected\": \"A\", \"passed\": true}, {\"check\": \"future only\", \"actual\": \"NO_CARD\", \"expected\": \"NO_CARD\", \"passed\": true}, {\"check\": \"expiry exclusive\", \"actual\": \"B\", \"expected\": \"B\", \"passed\": true}, {\"check\": \"id tie\", \"actual\": \"M\", \"expected\": \"M\", \"passed\": true}, {\"check\": \"generated mix 8\", \"actual\": \"NO_CARD\", \"expected\": \"NO_CARD\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.635,"exit_code":1,"observations":[{"actual":"A","check":"version tie","expected":"B","passed":false},{"actual":"R0","check":"generated mix 18","expected":"R0","passed":true},{"actual":"B","check":"unpadded month","expected":"B","passed":true},{"actual":"A","check":"effective same day","expected":"A","passed":true},{"actual":"NO_CARD","check":"future only","expected":"NO_CARD","passed":true},{"actual":"B","check":"expiry exclusive","expected":"B","passed":true},{"actual":"M","check":"id tie","expected":"M","passed":true},{"actual":"NO_CARD","check":"generated mix 8","expected":"NO_CARD","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"version tie\", \"actual\": \"A\", \"expected\": \"B\", \"passed\": false}, {\"check\": \"generated mix 18\", \"actual\": \"R0\", \"expected\": \"R0\", \"passed\": true}, {\"check\": \"unpadded month\", \"actual\": \"B\", \"expected\": \"B\", \"passed\": true}, {\"check\": \"effective same day\", \"actual\": \"A\", \"expected\": \"A\", \"passed\": true}, {\"check\": \"future only\", \"actual\": \"NO_CARD\", \"expected\": \"NO_CARD\", \"passed\": true}, {\"check\": \"expiry exclusive\", \"actual\": \"B\", \"expected\": \"B\", \"passed\": true}, {\"check\": \"id tie\", \"actual\": \"M\", \"expected\": \"M\", \"passed\": true}, {\"check\": \"generated mix 8\", \"actual\": \"NO_CARD\", \"expected\": \"NO_CARD\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.838,"exit_code":0,"observations":[{"actual":"B","check":"version tie","expected":"B","passed":true},{"actual":"R0","check":"generated mix 18","expected":"R0","passed":true},{"actual":"B","check":"unpadded month","expected":"B","passed":true},{"actual":"A","check":"effective same day","expected":"A","passed":true},{"actual":"NO_CARD","check":"future only","expected":"NO_CARD","passed":true},{"actual":"B","check":"expiry exclusive","expected":"B","passed":true},{"actual":"M","check":"id tie","expected":"M","passed":true},{"actual":"NO_CARD","check":"generated mix 8","expected":"NO_CARD","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"version tie\", \"actual\": \"B\", \"expected\": \"B\", \"passed\": true}, {\"check\": \"generated mix 18\", \"actual\": \"R0\", \"expected\": \"R0\", \"passed\": true}, {\"check\": \"unpadded month\", \"actual\": \"B\", \"expected\": \"B\", \"passed\": true}, {\"check\": \"effective same day\", \"actual\": \"A\", \"expected\": \"A\", \"passed\": true}, {\"check\": \"future only\", \"actual\": \"NO_CARD\", \"expected\": \"NO_CARD\", \"passed\": true}, {\"check\": \"expiry exclusive\", \"actual\": \"B\", \"expected\": \"B\", \"passed\": true}, {\"check\": \"id tie\", \"actual\": \"M\", \"expected\": \"M\", \"passed\": true}, {\"check\": \"generated mix 8\", \"actual\": \"NO_CARD\", \"expected\": \"NO_CARD\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}