{"abstract":"When the base period ends on a weekend, mail service yields a deadline one or two days early.","category":"Legal deadline computation","checks":8,"contract":"Stipulated rule: exclude the trigger day, count every calendar day, and if the last day is a Saturday, Sunday or listed holiday continue to the next day that is none of these. When service was by mail or by leaving with the clerk, 3 days are added after the period would otherwise expire, and the last-day extension is applied again. Electronic and hand service add nothing.","contract_signature":"trigger, days, service, holidays","evaluation_group":"w2-legal-deadline-computation-forward-day-period-service","failed_approach":"The partial repair `d = d + dt.timedelta(days=3)` adds the days after the extension but does not re-apply the extension to the new last day.","family":"w2-legal-deadline-computation-forward-day-period-service-service-addon-order","id":"FA-77361","implementations":{"attempt":{"sha256":"cab71518f2832e473abe833279ee0e5ed1f41afcbe1890d49abded4b9ae92021","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(trigger, days, service, holidays):\n    t = dt.date.fromisoformat(trigger)\n    hol = {dt.date.fromisoformat(h) for h in holidays}\n    def closed(d):\n        return d.weekday() >= 5 or d in hol\n    def roll(d):\n        while closed(d):\n            d += dt.timedelta(days=1)\n        return d\n    d = roll(t + dt.timedelta(days=days))\n    if service in ('mail', 'clerk'):\n        d = d + dt.timedelta(days=3)\n    return d.isoformat()\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: base ends saturday, mail',\n   ['2024-01-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-25'),\n  ('plain 14 days',\n   ['2024-01-05',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-19'),\n  ('ends saturday hand',\n   ['2024-01-06',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-22'),\n  ('ends on monday holiday',\n   ['2024-05-13',\n    14,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-05-28'),\n  ('mail near juneteenth',\n   ['2024-06-02',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-20'),\n  ('clerk service',\n   ['2024-03-01',\n    7,\n    'clerk',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-11'),\n  ('electronic service',\n   ['2024-03-01',\n    7,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-08'),\n  ('mail add-on lands saturday',\n   ['2024-03-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-25')],\n [('ends saturday hand',\n   ['2024-01-06',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-22'),\n  ('ends on monday holiday',\n   ['2024-05-13',\n    14,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-05-28'),\n  ('mail near juneteenth',\n   ['2024-06-02',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-20'),\n  ('clerk service',\n   ['2024-03-01',\n    7,\n    'clerk',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-11'),\n  ('electronic service',\n   ['2024-03-01',\n    7,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-08'),\n  ('weekend then holiday',\n   ['2024-08-17',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-09-03'),\n  ('thanksgiving run',\n   ['2024-11-14',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-02'),\n  ('mail add-on lands saturday',\n   ['2024-03-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-25'),\n  ('regression: base ends saturday, mail',\n   ['2024-01-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-25')],\n [('mail near juneteenth',\n   ['2024-06-02',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-20'),\n  ('clerk service',\n   ['2024-03-01',\n    7,\n    'clerk',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-11'),\n  ('electronic service',\n   ['2024-03-01',\n    7,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-08'),\n  ('weekend then holiday',\n   ['2024-08-17',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-09-03'),\n  ('thanksgiving run',\n   ['2024-11-14',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-02'),\n  ('zero day period on sunday',\n   ['2024-03-03',\n    0,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-04'),\n  ('ends friday',\n   ['2024-02-02',\n    21,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-02-23'),\n  ('mail add-on lands saturday',\n   ['2024-03-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-25'),\n  ('regression: base ends saturday, mail',\n   ['2024-01-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-25')],\n [('electronic service',\n   ['2024-03-01',\n    7,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-08'),\n  ('weekend then holiday',\n   ['2024-08-17',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-09-03'),\n  ('thanksgiving run',\n   ['2024-11-14',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-02'),\n  ('zero day period on sunday',\n   ['2024-03-03',\n    0,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-04'),\n  ('ends friday',\n   ['2024-02-02',\n    21,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-02-23'),\n  ('christmas mail',\n   ['2024-12-08',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-26'),\n  ('mail add-on lands saturday',\n   ['2024-03-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-25'),\n  ('regression: base ends saturday, mail',\n   ['2024-01-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-25')],\n [('thanksgiving run',\n   ['2024-11-14',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-02'),\n  ('zero day period on sunday',\n   ['2024-03-03',\n    0,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-04'),\n  ('ends friday',\n   ['2024-02-02',\n    21,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-02-23'),\n  ('christmas mail',\n   ['2024-12-08',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-26'),\n  ('mail add-on lands saturday',\n   ['2024-03-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-25'),\n  ('regression: base ends saturday, mail',\n   ['2024-01-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-25'),\n  ('plain 14 days',\n   ['2024-01-05',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-19')]]\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":"6636eaa1bf2b65b858ae6e12a697c14ac0107edf369d5c5392244eb7a0b74793","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(trigger, days, service, holidays):\n    t = dt.date.fromisoformat(trigger)\n    hol = {dt.date.fromisoformat(h) for h in holidays}\n    def closed(d):\n        return d.weekday() >= 5 or d in hol\n    def roll(d):\n        while closed(d):\n            d += dt.timedelta(days=1)\n        return d\n    d = roll(t + dt.timedelta(days=days))\n    if service in ('mail', 'clerk'):\n        d = roll(t + dt.timedelta(days=days + 3))\n    return d.isoformat()\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: base ends saturday, mail',\n   ['2024-01-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-25'),\n  ('plain 14 days',\n   ['2024-01-05',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-19'),\n  ('ends saturday hand',\n   ['2024-01-06',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-22'),\n  ('ends on monday holiday',\n   ['2024-05-13',\n    14,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-05-28'),\n  ('mail near juneteenth',\n   ['2024-06-02',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-20'),\n  ('clerk service',\n   ['2024-03-01',\n    7,\n    'clerk',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-11'),\n  ('electronic service',\n   ['2024-03-01',\n    7,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-08'),\n  ('mail add-on lands saturday',\n   ['2024-03-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-25')],\n [('ends saturday hand',\n   ['2024-01-06',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-22'),\n  ('ends on monday holiday',\n   ['2024-05-13',\n    14,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-05-28'),\n  ('mail near juneteenth',\n   ['2024-06-02',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-20'),\n  ('clerk service',\n   ['2024-03-01',\n    7,\n    'clerk',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-11'),\n  ('electronic service',\n   ['2024-03-01',\n    7,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-08'),\n  ('weekend then holiday',\n   ['2024-08-17',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-09-03'),\n  ('thanksgiving run',\n   ['2024-11-14',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-02'),\n  ('mail add-on lands saturday',\n   ['2024-03-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-25'),\n  ('regression: base ends saturday, mail',\n   ['2024-01-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-25')],\n [('mail near juneteenth',\n   ['2024-06-02',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-20'),\n  ('clerk service',\n   ['2024-03-01',\n    7,\n    'clerk',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-11'),\n  ('electronic service',\n   ['2024-03-01',\n    7,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-08'),\n  ('weekend then holiday',\n   ['2024-08-17',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-09-03'),\n  ('thanksgiving run',\n   ['2024-11-14',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-02'),\n  ('zero day period on sunday',\n   ['2024-03-03',\n    0,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-04'),\n  ('ends friday',\n   ['2024-02-02',\n    21,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-02-23'),\n  ('mail add-on lands saturday',\n   ['2024-03-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-25'),\n  ('regression: base ends saturday, mail',\n   ['2024-01-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-25')],\n [('electronic service',\n   ['2024-03-01',\n    7,\n    'electronic',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-08'),\n  ('weekend then holiday',\n   ['2024-08-17',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-09-03'),\n  ('thanksgiving run',\n   ['2024-11-14',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-02'),\n  ('zero day period on sunday',\n   ['2024-03-03',\n    0,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-04'),\n  ('ends friday',\n   ['2024-02-02',\n    21,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-02-23'),\n  ('christmas mail',\n   ['2024-12-08',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-26'),\n  ('mail add-on lands saturday',\n   ['2024-03-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-25'),\n  ('regression: base ends saturday, mail',\n   ['2024-01-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-25')],\n [('thanksgiving run',\n   ['2024-11-14',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-02'),\n  ('zero day period on sunday',\n   ['2024-03-03',\n    0,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-04'),\n  ('ends friday',\n   ['2024-02-02',\n    21,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-02-23'),\n  ('christmas mail',\n   ['2024-12-08',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-26'),\n  ('mail add-on lands saturday',\n   ['2024-03-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-25'),\n  ('regression: base ends saturday, mail',\n   ['2024-01-06',\n    14,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-25'),\n  ('plain 14 days',\n   ['2024-01-05',\n    14,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-01-19')]]\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 toy deadline rules evaluated offline on explicit fixtures. The contract is inspired by common court-rule structures but is not legal advice and makes no claim to reproduce any jurisdiction's rules. 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-legal-deadline-computation-forward-day-period-service-service-addon-order","generated_at":"2026-09-29T14:49:24.884870+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Docketing systems compute filing and response deadlines from trigger events; a wrong date can forfeit a right.","root_cause":"The three days are folded into the period before the last-day extension instead of after it.","sha256":"c1011dc9c5c7ec6071cb97b6702601ec9c98abf72aaf22bdc99fb542dfcc1bb7","title":"Forward day-count period with last-day extension and service add-on: service addon order · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":38.819,"exit_code":1,"observations":[{"actual":"2024-01-25","check":"regression: base ends saturday, mail","expected":"2024-01-25","passed":true},{"actual":"2024-01-19","check":"plain 14 days","expected":"2024-01-19","passed":true},{"actual":"2024-01-22","check":"ends saturday hand","expected":"2024-01-22","passed":true},{"actual":"2024-05-28","check":"ends on monday holiday","expected":"2024-05-28","passed":true},{"actual":"2024-06-20","check":"mail near juneteenth","expected":"2024-06-20","passed":true},{"actual":"2024-03-11","check":"clerk service","expected":"2024-03-11","passed":true},{"actual":"2024-03-08","check":"electronic service","expected":"2024-03-08","passed":true},{"actual":"2024-03-23","check":"mail add-on lands saturday","expected":"2024-03-25","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: base ends saturday, mail\", \"actual\": \"2024-01-25\", \"expected\": \"2024-01-25\", \"passed\": true}, {\"check\": \"plain 14 days\", \"actual\": \"2024-01-19\", \"expected\": \"2024-01-19\", \"passed\": true}, {\"check\": \"ends saturday hand\", \"actual\": \"2024-01-22\", \"expected\": \"2024-01-22\", \"passed\": true}, {\"check\": \"ends on monday holiday\", \"actual\": \"2024-05-28\", \"expected\": \"2024-05-28\", \"passed\": true}, {\"check\": \"mail near juneteenth\", \"actual\": \"2024-06-20\", \"expected\": \"2024-06-20\", \"passed\": true}, {\"check\": \"clerk service\", \"actual\": \"2024-03-11\", \"expected\": \"2024-03-11\", \"passed\": true}, {\"check\": \"electronic service\", \"actual\": \"2024-03-08\", \"expected\": \"2024-03-08\", \"passed\": true}, {\"check\": \"mail add-on lands saturday\", \"actual\": \"2024-03-23\", \"expected\": \"2024-03-25\", \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.18,"exit_code":1,"observations":[{"actual":"2024-01-23","check":"regression: base ends saturday, mail","expected":"2024-01-25","passed":false},{"actual":"2024-01-19","check":"plain 14 days","expected":"2024-01-19","passed":true},{"actual":"2024-01-22","check":"ends saturday hand","expected":"2024-01-22","passed":true},{"actual":"2024-05-28","check":"ends on monday holiday","expected":"2024-05-28","passed":true},{"actual":"2024-06-20","check":"mail near juneteenth","expected":"2024-06-20","passed":true},{"actual":"2024-03-11","check":"clerk service","expected":"2024-03-11","passed":true},{"actual":"2024-03-08","check":"electronic service","expected":"2024-03-08","passed":true},{"actual":"2024-03-25","check":"mail add-on lands saturday","expected":"2024-03-25","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: base ends saturday, mail\", \"actual\": \"2024-01-23\", \"expected\": \"2024-01-25\", \"passed\": false}, {\"check\": \"plain 14 days\", \"actual\": \"2024-01-19\", \"expected\": \"2024-01-19\", \"passed\": true}, {\"check\": \"ends saturday hand\", \"actual\": \"2024-01-22\", \"expected\": \"2024-01-22\", \"passed\": true}, {\"check\": \"ends on monday holiday\", \"actual\": \"2024-05-28\", \"expected\": \"2024-05-28\", \"passed\": true}, {\"check\": \"mail near juneteenth\", \"actual\": \"2024-06-20\", \"expected\": \"2024-06-20\", \"passed\": true}, {\"check\": \"clerk service\", \"actual\": \"2024-03-11\", \"expected\": \"2024-03-11\", \"passed\": true}, {\"check\": \"electronic service\", \"actual\": \"2024-03-08\", \"expected\": \"2024-03-08\", \"passed\": true}, {\"check\": \"mail add-on lands saturday\", \"actual\": \"2024-03-25\", \"expected\": \"2024-03-25\", \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}