{"abstract":"Every renewal is scheduled one month late.","category":"Subscription proration billing","checks":7,"contract":"Input {anchor [y,m,d], n, interval months}. Renewal i (1..n) falls interval*i months after the anchor month, on the anchor day clamped to that month's length (so a 31st anchor returns to the 31st whenever possible). Return the list of [y, m, d].","evaluation_group":"w2-subscription-proration-month-end-anniversary","failed_approach":"The attempt fixes the index but counts from renewal zero, repeating the anchor date as the first renewal.","family":"w2-subscription-proration-month-end-anniversary-zero-based-month-index","id":"FA-59396","implementations":{"attempt":{"sha256":"131ab85e1b53b23e5beb7d1f4ca74a43c2c0134060c8bd9080529a10860ad288","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime\nimport calendar\nN = 1\nobservations = []\ndef solve(x):\n    y, m, d = x['anchor']\n    out = []\n    for i in range(1, x['n'] + 1):\n        total = (m - 1) + (i - 1) * x['interval']\n        ny, nm = y + total // 12, total % 12 + 1\n        dim = calendar.monthrange(ny, nm)[1]\n        out.append([ny, nm, min(d, dim)])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression', {'anchor': [2024, 7, 30], 'n': 7, 'interval': 3}, [[2024, 10, 30], [2025, 1, 30], [2025, 4, 30], [2025, 7, 30], [2025, 10, 30], [2026, 1, 30], [2026, 4, 30]]), ('regression', {'anchor': [2025, 5, 31], 'n': 10, 'interval': 2}, [[2025, 7, 31], [2025, 9, 30], [2025, 11, 30], [2026, 1, 31], [2026, 3, 31], [2026, 5, 31], [2026, 7, 31], [2026, 9, 30], [2026, 11, 30], [2027, 1, 31]]), ('partial-repair probe', {'anchor': [2019, 5, 29], 'n': 11, 'interval': 2}, [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]]), ('partial-repair probe', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('additional oracle', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('additional oracle', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]])], [('regression', {'anchor': [2025, 5, 31], 'n': 10, 'interval': 2}, [[2025, 7, 31], [2025, 9, 30], [2025, 11, 30], [2026, 1, 31], [2026, 3, 31], [2026, 5, 31], [2026, 7, 31], [2026, 9, 30], [2026, 11, 30], [2027, 1, 31]]), ('regression', {'anchor': [2019, 5, 29], 'n': 11, 'interval': 2}, [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]]), ('partial-repair probe', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('partial-repair probe', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('additional oracle', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('additional oracle', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]])], [('regression', {'anchor': [2019, 5, 29], 'n': 11, 'interval': 2}, [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]]), ('regression', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('partial-repair probe', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('partial-repair probe', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('additional oracle', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]]), ('additional oracle', {'anchor': [2024, 12, 29], 'n': 10, 'interval': 1}, [[2025, 1, 29], [2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29], [2025, 10, 29]])], [('regression', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('regression', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('partial-repair probe', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('partial-repair probe', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]]), ('additional oracle', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2024, 12, 29], 'n': 10, 'interval': 1}, [[2025, 1, 29], [2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29], [2025, 10, 29]]), ('additional oracle', {'anchor': [2025, 4, 28], 'n': 8, 'interval': 12}, [[2026, 4, 28], [2027, 4, 28], [2028, 4, 28], [2029, 4, 28], [2030, 4, 28], [2031, 4, 28], [2032, 4, 28], [2033, 4, 28]])], [('regression', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('regression', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('partial-repair probe', {'anchor': [2024, 12, 29], 'n': 10, 'interval': 1}, [[2025, 1, 29], [2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29], [2025, 10, 29]]), ('partial-repair probe', {'anchor': [2025, 4, 28], 'n': 8, 'interval': 12}, [[2026, 4, 28], [2027, 4, 28], [2028, 4, 28], [2029, 4, 28], [2030, 4, 28], [2031, 4, 28], [2032, 4, 28], [2033, 4, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('additional oracle', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]]), ('additional oracle', {'anchor': [2025, 3, 31], 'n': 7, 'interval': 12}, [[2026, 3, 31], [2027, 3, 31], [2028, 3, 31], [2029, 3, 31], [2030, 3, 31], [2031, 3, 31], [2032, 3, 31]])]]\nfor i, (label, args, expected) in enumerate(fixtures[N-1]):\n    check(\"%s %d\" % (label, i), 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":"3085b69f00089e8e71b8952313e705181077b707fdebd547b5ef9e835ad60ced","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime\nimport calendar\nN = 1\nobservations = []\ndef solve(x):\n    y, m, d = x['anchor']\n    out = []\n    for i in range(1, x['n'] + 1):\n        total = m + i * x['interval']\n        ny, nm = y + total // 12, total % 12 + 1\n        dim = calendar.monthrange(ny, nm)[1]\n        out.append([ny, nm, min(d, dim)])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression', {'anchor': [2024, 7, 30], 'n': 7, 'interval': 3}, [[2024, 10, 30], [2025, 1, 30], [2025, 4, 30], [2025, 7, 30], [2025, 10, 30], [2026, 1, 30], [2026, 4, 30]]), ('regression', {'anchor': [2025, 5, 31], 'n': 10, 'interval': 2}, [[2025, 7, 31], [2025, 9, 30], [2025, 11, 30], [2026, 1, 31], [2026, 3, 31], [2026, 5, 31], [2026, 7, 31], [2026, 9, 30], [2026, 11, 30], [2027, 1, 31]]), ('partial-repair probe', {'anchor': [2019, 5, 29], 'n': 11, 'interval': 2}, [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]]), ('partial-repair probe', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('additional oracle', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('additional oracle', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]])], [('regression', {'anchor': [2025, 5, 31], 'n': 10, 'interval': 2}, [[2025, 7, 31], [2025, 9, 30], [2025, 11, 30], [2026, 1, 31], [2026, 3, 31], [2026, 5, 31], [2026, 7, 31], [2026, 9, 30], [2026, 11, 30], [2027, 1, 31]]), ('regression', {'anchor': [2019, 5, 29], 'n': 11, 'interval': 2}, [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]]), ('partial-repair probe', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('partial-repair probe', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('additional oracle', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('additional oracle', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]])], [('regression', {'anchor': [2019, 5, 29], 'n': 11, 'interval': 2}, [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]]), ('regression', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('partial-repair probe', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('partial-repair probe', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('additional oracle', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]]), ('additional oracle', {'anchor': [2024, 12, 29], 'n': 10, 'interval': 1}, [[2025, 1, 29], [2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29], [2025, 10, 29]])], [('regression', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('regression', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('partial-repair probe', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('partial-repair probe', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]]), ('additional oracle', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2024, 12, 29], 'n': 10, 'interval': 1}, [[2025, 1, 29], [2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29], [2025, 10, 29]]), ('additional oracle', {'anchor': [2025, 4, 28], 'n': 8, 'interval': 12}, [[2026, 4, 28], [2027, 4, 28], [2028, 4, 28], [2029, 4, 28], [2030, 4, 28], [2031, 4, 28], [2032, 4, 28], [2033, 4, 28]])], [('regression', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('regression', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('partial-repair probe', {'anchor': [2024, 12, 29], 'n': 10, 'interval': 1}, [[2025, 1, 29], [2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29], [2025, 10, 29]]), ('partial-repair probe', {'anchor': [2025, 4, 28], 'n': 8, 'interval': 12}, [[2026, 4, 28], [2027, 4, 28], [2028, 4, 28], [2029, 4, 28], [2030, 4, 28], [2031, 4, 28], [2032, 4, 28], [2033, 4, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('additional oracle', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]]), ('additional oracle', {'anchor': [2025, 3, 31], 'n': 7, 'interval': 12}, [[2026, 3, 31], [2027, 3, 31], [2028, 3, 31], [2029, 3, 31], [2030, 3, 31], [2031, 3, 31], [2032, 3, 31]])]]\nfor i, (label, args, expected) in enumerate(fixtures[N-1]):\n    check(\"%s %d\" % (label, i), 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":"c4dcf9b9ff945148404e1b2f2ff23f237383844917f6e21eeb9c83e74c345324","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime\nimport calendar\nN = 1\nobservations = []\ndef solve(x):\n    y, m, d = x['anchor']\n    out = []\n    for i in range(1, x['n'] + 1):\n        total = (m - 1) + i * x['interval']\n        ny, nm = y + total // 12, total % 12 + 1\n        dim = calendar.monthrange(ny, nm)[1]\n        out.append([ny, nm, min(d, dim)])\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression', {'anchor': [2024, 7, 30], 'n': 7, 'interval': 3}, [[2024, 10, 30], [2025, 1, 30], [2025, 4, 30], [2025, 7, 30], [2025, 10, 30], [2026, 1, 30], [2026, 4, 30]]), ('regression', {'anchor': [2025, 5, 31], 'n': 10, 'interval': 2}, [[2025, 7, 31], [2025, 9, 30], [2025, 11, 30], [2026, 1, 31], [2026, 3, 31], [2026, 5, 31], [2026, 7, 31], [2026, 9, 30], [2026, 11, 30], [2027, 1, 31]]), ('partial-repair probe', {'anchor': [2019, 5, 29], 'n': 11, 'interval': 2}, [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]]), ('partial-repair probe', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('additional oracle', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('additional oracle', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]])], [('regression', {'anchor': [2025, 5, 31], 'n': 10, 'interval': 2}, [[2025, 7, 31], [2025, 9, 30], [2025, 11, 30], [2026, 1, 31], [2026, 3, 31], [2026, 5, 31], [2026, 7, 31], [2026, 9, 30], [2026, 11, 30], [2027, 1, 31]]), ('regression', {'anchor': [2019, 5, 29], 'n': 11, 'interval': 2}, [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]]), ('partial-repair probe', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('partial-repair probe', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('additional oracle', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('additional oracle', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]])], [('regression', {'anchor': [2019, 5, 29], 'n': 11, 'interval': 2}, [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]]), ('regression', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('partial-repair probe', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('partial-repair probe', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('additional oracle', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]]), ('additional oracle', {'anchor': [2024, 12, 29], 'n': 10, 'interval': 1}, [[2025, 1, 29], [2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29], [2025, 10, 29]])], [('regression', {'anchor': [2023, 3, 28], 'n': 14, 'interval': 3}, [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]]), ('regression', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('partial-repair probe', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('partial-repair probe', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]]), ('additional oracle', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('additional oracle', {'anchor': [2024, 12, 29], 'n': 10, 'interval': 1}, [[2025, 1, 29], [2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29], [2025, 10, 29]]), ('additional oracle', {'anchor': [2025, 4, 28], 'n': 8, 'interval': 12}, [[2026, 4, 28], [2027, 4, 28], [2028, 4, 28], [2029, 4, 28], [2030, 4, 28], [2031, 4, 28], [2032, 4, 28], [2033, 4, 28]])], [('regression', {'anchor': [2024, 2, 29], 'n': 6, 'interval': 2}, [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]]), ('regression', {'anchor': [2025, 8, 28], 'n': 1, 'interval': 1}, [[2025, 9, 28]]), ('partial-repair probe', {'anchor': [2024, 12, 29], 'n': 10, 'interval': 1}, [[2025, 1, 29], [2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29], [2025, 10, 29]]), ('partial-repair probe', {'anchor': [2025, 4, 28], 'n': 8, 'interval': 12}, [[2026, 4, 28], [2027, 4, 28], [2028, 4, 28], [2029, 4, 28], [2030, 4, 28], [2031, 4, 28], [2032, 4, 28], [2033, 4, 28]]), ('additional oracle', {'anchor': [2023, 12, 31], 'n': 7, 'interval': 1}, [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]]), ('additional oracle', {'anchor': [2025, 1, 29], 'n': 8, 'interval': 1}, [[2025, 2, 28], [2025, 3, 29], [2025, 4, 29], [2025, 5, 29], [2025, 6, 29], [2025, 7, 29], [2025, 8, 29], [2025, 9, 29]]), ('additional oracle', {'anchor': [2025, 3, 31], 'n': 7, 'interval': 12}, [[2026, 3, 31], [2027, 3, 31], [2028, 3, 31], [2029, 3, 31], [2030, 3, 31], [2031, 3, 31], [2032, 3, 31]])]]\nfor i, (label, args, expected) in enumerate(fixtures[N-1]):\n    check(\"%s %d\" % (label, i), 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 teaching model of a stipulated billing rule. It makes no claim to reproduce any billing provider's exact behaviour and is not billing software. 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-subscription-proration-month-end-anniversary-zero-based-month-index","generated_at":"2026-09-29T14:46:35.864427+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Month-end anchors must not drift to the 28th after February, and leap years change the clamp.","repair":"Restore the contract rule at the zero-based month index step: use `total = (m - 1) + i * x['interval']`.","root_cause":"The anchor month is not converted to a zero-based index before adding intervals.","sha256":"76a0fc6fbc0ea8e1f432642e87238ec0bdcb40ae30ad145cb0cf1485b14d3880","title":"Month-end anchored renewal dates: zero-based month index · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.147,"exit_code":1,"observations":[{"actual":[[2024,7,30],[2024,10,30],[2025,1,30],[2025,4,30],[2025,7,30],[2025,10,30],[2026,1,30]],"check":"regression 0","expected":[[2024,10,30],[2025,1,30],[2025,4,30],[2025,7,30],[2025,10,30],[2026,1,30],[2026,4,30]],"passed":false},{"actual":[[2025,5,31],[2025,7,31],[2025,9,30],[2025,11,30],[2026,1,31],[2026,3,31],[2026,5,31],[2026,7,31],[2026,9,30],[2026,11,30]],"check":"regression 1","expected":[[2025,7,31],[2025,9,30],[2025,11,30],[2026,1,31],[2026,3,31],[2026,5,31],[2026,7,31],[2026,9,30],[2026,11,30],[2027,1,31]],"passed":false},{"actual":[[2019,5,29],[2019,7,29],[2019,9,29],[2019,11,29],[2020,1,29],[2020,3,29],[2020,5,29],[2020,7,29],[2020,9,29],[2020,11,29],[2021,1,29]],"check":"partial-repair probe 2","expected":[[2019,7,29],[2019,9,29],[2019,11,29],[2020,1,29],[2020,3,29],[2020,5,29],[2020,7,29],[2020,9,29],[2020,11,29],[2021,1,29],[2021,3,29]],"passed":false},{"actual":[[2023,3,28],[2023,6,28],[2023,9,28],[2023,12,28],[2024,3,28],[2024,6,28],[2024,9,28],[2024,12,28],[2025,3,28],[2025,6,28],[2025,9,28],[2025,12,28],[2026,3,28],[2026,6,28]],"check":"partial-repair probe 3","expected":[[2023,6,28],[2023,9,28],[2023,12,28],[2024,3,28],[2024,6,28],[2024,9,28],[2024,12,28],[2025,3,28],[2025,6,28],[2025,9,28],[2025,12,28],[2026,3,28],[2026,6,28],[2026,9,28]],"passed":false},{"actual":[[2024,2,29],[2024,4,29],[2024,6,29],[2024,8,29],[2024,10,29],[2024,12,29]],"check":"additional oracle 4","expected":[[2024,4,29],[2024,6,29],[2024,8,29],[2024,10,29],[2024,12,29],[2025,2,28]],"passed":false},{"actual":[[2025,8,28]],"check":"additional oracle 5","expected":[[2025,9,28]],"passed":false},{"actual":[[2023,12,31],[2024,1,31],[2024,2,29],[2024,3,31],[2024,4,30],[2024,5,31],[2024,6,30]],"check":"additional oracle 6","expected":[[2024,1,31],[2024,2,29],[2024,3,31],[2024,4,30],[2024,5,31],[2024,6,30],[2024,7,31]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [[2024, 7, 30], [2024, 10, 30], [2025, 1, 30], [2025, 4, 30], [2025, 7, 30], [2025, 10, 30], [2026, 1, 30]], \"expected\": [[2024, 10, 30], [2025, 1, 30], [2025, 4, 30], [2025, 7, 30], [2025, 10, 30], [2026, 1, 30], [2026, 4, 30]], \"passed\": false}, {\"check\": \"regression 1\", \"actual\": [[2025, 5, 31], [2025, 7, 31], [2025, 9, 30], [2025, 11, 30], [2026, 1, 31], [2026, 3, 31], [2026, 5, 31], [2026, 7, 31], [2026, 9, 30], [2026, 11, 30]], \"expected\": [[2025, 7, 31], [2025, 9, 30], [2025, 11, 30], [2026, 1, 31], [2026, 3, 31], [2026, 5, 31], [2026, 7, 31], [2026, 9, 30], [2026, 11, 30], [2027, 1, 31]], \"passed\": false}, {\"check\": \"partial-repair probe 2\", \"actual\": [[2019, 5, 29], [2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29]], \"expected\": [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]], \"passed\": false}, {\"check\": \"partial-repair probe 3\", \"actual\": [[2023, 3, 28], [2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28]], \"expected\": [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]], \"passed\": false}, {\"check\": \"additional oracle 4\", \"actual\": [[2024, 2, 29], [2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29]], \"expected\": [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]], \"passed\": false}, {\"check\": \"additional oracle 5\", \"actual\": [[2025, 8, 28]], \"expected\": [[2025, 9, 28]], \"passed\": false}, {\"check\": \"additional oracle 6\", \"actual\": [[2023, 12, 31], [2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30]], \"expected\": [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.202,"exit_code":1,"observations":[{"actual":[[2024,11,30],[2025,2,28],[2025,5,30],[2025,8,30],[2025,11,30],[2026,2,28],[2026,5,30]],"check":"regression 0","expected":[[2024,10,30],[2025,1,30],[2025,4,30],[2025,7,30],[2025,10,30],[2026,1,30],[2026,4,30]],"passed":false},{"actual":[[2025,8,31],[2025,10,31],[2025,12,31],[2026,2,28],[2026,4,30],[2026,6,30],[2026,8,31],[2026,10,31],[2026,12,31],[2027,2,28]],"check":"regression 1","expected":[[2025,7,31],[2025,9,30],[2025,11,30],[2026,1,31],[2026,3,31],[2026,5,31],[2026,7,31],[2026,9,30],[2026,11,30],[2027,1,31]],"passed":false},{"actual":[[2019,8,29],[2019,10,29],[2019,12,29],[2020,2,29],[2020,4,29],[2020,6,29],[2020,8,29],[2020,10,29],[2020,12,29],[2021,2,28],[2021,4,29]],"check":"partial-repair probe 2","expected":[[2019,7,29],[2019,9,29],[2019,11,29],[2020,1,29],[2020,3,29],[2020,5,29],[2020,7,29],[2020,9,29],[2020,11,29],[2021,1,29],[2021,3,29]],"passed":false},{"actual":[[2023,7,28],[2023,10,28],[2024,1,28],[2024,4,28],[2024,7,28],[2024,10,28],[2025,1,28],[2025,4,28],[2025,7,28],[2025,10,28],[2026,1,28],[2026,4,28],[2026,7,28],[2026,10,28]],"check":"partial-repair probe 3","expected":[[2023,6,28],[2023,9,28],[2023,12,28],[2024,3,28],[2024,6,28],[2024,9,28],[2024,12,28],[2025,3,28],[2025,6,28],[2025,9,28],[2025,12,28],[2026,3,28],[2026,6,28],[2026,9,28]],"passed":false},{"actual":[[2024,5,29],[2024,7,29],[2024,9,29],[2024,11,29],[2025,1,29],[2025,3,29]],"check":"additional oracle 4","expected":[[2024,4,29],[2024,6,29],[2024,8,29],[2024,10,29],[2024,12,29],[2025,2,28]],"passed":false},{"actual":[[2025,10,28]],"check":"additional oracle 5","expected":[[2025,9,28]],"passed":false},{"actual":[[2024,2,29],[2024,3,31],[2024,4,30],[2024,5,31],[2024,6,30],[2024,7,31],[2024,8,31]],"check":"additional oracle 6","expected":[[2024,1,31],[2024,2,29],[2024,3,31],[2024,4,30],[2024,5,31],[2024,6,30],[2024,7,31]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [[2024, 11, 30], [2025, 2, 28], [2025, 5, 30], [2025, 8, 30], [2025, 11, 30], [2026, 2, 28], [2026, 5, 30]], \"expected\": [[2024, 10, 30], [2025, 1, 30], [2025, 4, 30], [2025, 7, 30], [2025, 10, 30], [2026, 1, 30], [2026, 4, 30]], \"passed\": false}, {\"check\": \"regression 1\", \"actual\": [[2025, 8, 31], [2025, 10, 31], [2025, 12, 31], [2026, 2, 28], [2026, 4, 30], [2026, 6, 30], [2026, 8, 31], [2026, 10, 31], [2026, 12, 31], [2027, 2, 28]], \"expected\": [[2025, 7, 31], [2025, 9, 30], [2025, 11, 30], [2026, 1, 31], [2026, 3, 31], [2026, 5, 31], [2026, 7, 31], [2026, 9, 30], [2026, 11, 30], [2027, 1, 31]], \"passed\": false}, {\"check\": \"partial-repair probe 2\", \"actual\": [[2019, 8, 29], [2019, 10, 29], [2019, 12, 29], [2020, 2, 29], [2020, 4, 29], [2020, 6, 29], [2020, 8, 29], [2020, 10, 29], [2020, 12, 29], [2021, 2, 28], [2021, 4, 29]], \"expected\": [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]], \"passed\": false}, {\"check\": \"partial-repair probe 3\", \"actual\": [[2023, 7, 28], [2023, 10, 28], [2024, 1, 28], [2024, 4, 28], [2024, 7, 28], [2024, 10, 28], [2025, 1, 28], [2025, 4, 28], [2025, 7, 28], [2025, 10, 28], [2026, 1, 28], [2026, 4, 28], [2026, 7, 28], [2026, 10, 28]], \"expected\": [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]], \"passed\": false}, {\"check\": \"additional oracle 4\", \"actual\": [[2024, 5, 29], [2024, 7, 29], [2024, 9, 29], [2024, 11, 29], [2025, 1, 29], [2025, 3, 29]], \"expected\": [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]], \"passed\": false}, {\"check\": \"additional oracle 5\", \"actual\": [[2025, 10, 28]], \"expected\": [[2025, 9, 28]], \"passed\": false}, {\"check\": \"additional oracle 6\", \"actual\": [[2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31], [2024, 8, 31]], \"expected\": [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.688,"exit_code":0,"observations":[{"actual":[[2024,10,30],[2025,1,30],[2025,4,30],[2025,7,30],[2025,10,30],[2026,1,30],[2026,4,30]],"check":"regression 0","expected":[[2024,10,30],[2025,1,30],[2025,4,30],[2025,7,30],[2025,10,30],[2026,1,30],[2026,4,30]],"passed":true},{"actual":[[2025,7,31],[2025,9,30],[2025,11,30],[2026,1,31],[2026,3,31],[2026,5,31],[2026,7,31],[2026,9,30],[2026,11,30],[2027,1,31]],"check":"regression 1","expected":[[2025,7,31],[2025,9,30],[2025,11,30],[2026,1,31],[2026,3,31],[2026,5,31],[2026,7,31],[2026,9,30],[2026,11,30],[2027,1,31]],"passed":true},{"actual":[[2019,7,29],[2019,9,29],[2019,11,29],[2020,1,29],[2020,3,29],[2020,5,29],[2020,7,29],[2020,9,29],[2020,11,29],[2021,1,29],[2021,3,29]],"check":"partial-repair probe 2","expected":[[2019,7,29],[2019,9,29],[2019,11,29],[2020,1,29],[2020,3,29],[2020,5,29],[2020,7,29],[2020,9,29],[2020,11,29],[2021,1,29],[2021,3,29]],"passed":true},{"actual":[[2023,6,28],[2023,9,28],[2023,12,28],[2024,3,28],[2024,6,28],[2024,9,28],[2024,12,28],[2025,3,28],[2025,6,28],[2025,9,28],[2025,12,28],[2026,3,28],[2026,6,28],[2026,9,28]],"check":"partial-repair probe 3","expected":[[2023,6,28],[2023,9,28],[2023,12,28],[2024,3,28],[2024,6,28],[2024,9,28],[2024,12,28],[2025,3,28],[2025,6,28],[2025,9,28],[2025,12,28],[2026,3,28],[2026,6,28],[2026,9,28]],"passed":true},{"actual":[[2024,4,29],[2024,6,29],[2024,8,29],[2024,10,29],[2024,12,29],[2025,2,28]],"check":"additional oracle 4","expected":[[2024,4,29],[2024,6,29],[2024,8,29],[2024,10,29],[2024,12,29],[2025,2,28]],"passed":true},{"actual":[[2025,9,28]],"check":"additional oracle 5","expected":[[2025,9,28]],"passed":true},{"actual":[[2024,1,31],[2024,2,29],[2024,3,31],[2024,4,30],[2024,5,31],[2024,6,30],[2024,7,31]],"check":"additional oracle 6","expected":[[2024,1,31],[2024,2,29],[2024,3,31],[2024,4,30],[2024,5,31],[2024,6,30],[2024,7,31]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression 0\", \"actual\": [[2024, 10, 30], [2025, 1, 30], [2025, 4, 30], [2025, 7, 30], [2025, 10, 30], [2026, 1, 30], [2026, 4, 30]], \"expected\": [[2024, 10, 30], [2025, 1, 30], [2025, 4, 30], [2025, 7, 30], [2025, 10, 30], [2026, 1, 30], [2026, 4, 30]], \"passed\": true}, {\"check\": \"regression 1\", \"actual\": [[2025, 7, 31], [2025, 9, 30], [2025, 11, 30], [2026, 1, 31], [2026, 3, 31], [2026, 5, 31], [2026, 7, 31], [2026, 9, 30], [2026, 11, 30], [2027, 1, 31]], \"expected\": [[2025, 7, 31], [2025, 9, 30], [2025, 11, 30], [2026, 1, 31], [2026, 3, 31], [2026, 5, 31], [2026, 7, 31], [2026, 9, 30], [2026, 11, 30], [2027, 1, 31]], \"passed\": true}, {\"check\": \"partial-repair probe 2\", \"actual\": [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]], \"expected\": [[2019, 7, 29], [2019, 9, 29], [2019, 11, 29], [2020, 1, 29], [2020, 3, 29], [2020, 5, 29], [2020, 7, 29], [2020, 9, 29], [2020, 11, 29], [2021, 1, 29], [2021, 3, 29]], \"passed\": true}, {\"check\": \"partial-repair probe 3\", \"actual\": [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]], \"expected\": [[2023, 6, 28], [2023, 9, 28], [2023, 12, 28], [2024, 3, 28], [2024, 6, 28], [2024, 9, 28], [2024, 12, 28], [2025, 3, 28], [2025, 6, 28], [2025, 9, 28], [2025, 12, 28], [2026, 3, 28], [2026, 6, 28], [2026, 9, 28]], \"passed\": true}, {\"check\": \"additional oracle 4\", \"actual\": [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]], \"expected\": [[2024, 4, 29], [2024, 6, 29], [2024, 8, 29], [2024, 10, 29], [2024, 12, 29], [2025, 2, 28]], \"passed\": true}, {\"check\": \"additional oracle 5\", \"actual\": [[2025, 9, 28]], \"expected\": [[2025, 9, 28]], \"passed\": true}, {\"check\": \"additional oracle 6\", \"actual\": [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]], \"expected\": [[2024, 1, 31], [2024, 2, 29], [2024, 3, 31], [2024, 4, 30], [2024, 5, 31], [2024, 6, 30], [2024, 7, 31]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}