{"abstract":"A notice received exactly at the 17:00 cutoff is deemed received that day.","category":"Legal deadline computation","checks":7,"contract":"Stipulated: a notice is sent at a local time in the sender zone (sender_offset_min east of UTC) and is received at the same instant in the recipient zone (recipient_offset_min). Received at or after the cutoff time (recipient local) it is deemed received the next day; a deemed day that is not a business day (weekday, not a listed holiday) moves to the next business day. The response window ends after n business days counted from the day after deemed receipt. Return [deemed receipt, response deadline].","contract_signature":"sent_local, sender_offset_min, recipient_offset_min, cutoff, n, holidays","evaluation_group":"w2-legal-deadline-computation-contract-notice-business-days","failed_approach":"The partial repair `local.hour > cut.hour` compares whole hours, so 17:45 counts as before a 17:00 cutoff.","family":"w2-legal-deadline-computation-contract-notice-business-days-after-cutoff","id":"FA-77636","implementations":{"attempt":{"sha256":"9cfd024336b2c9250c8acc9406c3a162a4e110d8b28048b0c55490e0538c57cd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(sent_local, sender_offset_min, recipient_offset_min, cutoff, n, holidays):\n    sent = dt.datetime.fromisoformat(sent_local)\n    local = sent + dt.timedelta(minutes=recipient_offset_min - sender_offset_min)\n    cut = dt.time.fromisoformat(cutoff)\n    hol = {dt.date.fromisoformat(x) for x in holidays}\n    def business(d):\n        return d.weekday() < 5 and d not in hol\n    deemed = local.date()\n    if local.hour > cut.hour:\n        deemed += dt.timedelta(days=1)\n    while not business(deemed):\n        deemed += dt.timedelta(days=1)\n    d = deemed\n    k = 0\n    while k < n:\n        d += dt.timedelta(days=1)\n        if business(d):\n            k += 1\n    return [deemed.isoformat(), d.isoformat()]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: cross-zone cutoff',\n   ['2024-03-05T13:30',\n    -300,\n    0,\n    '17:00',\n    5,\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-06', '2024-03-13']),\n  ('exactly at cutoff',\n   ['2024-03-05T17:00',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('late minutes after cutoff hour',\n   ['2024-03-05T17:45',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('friday evening',\n   ['2024-03-08T18:00',\n    0,\n    0,\n    '17:00',\n    2,\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', '2024-03-13']),\n  ('received on holiday',\n   ['2024-07-04T09:00',\n    0,\n    0,\n    '17:00',\n    2,\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-07-05', '2024-07-09']),\n  ('received saturday',\n   ['2024-03-09T10:00',\n    0,\n    0,\n    '17:00',\n    1,\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', '2024-03-12']),\n  ('east to west',\n   ['2024-03-06T01:00',\n    60,\n    -300,\n    '17:00',\n    2,\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-06', '2024-03-08'])],\n [('late minutes after cutoff hour',\n   ['2024-03-05T17:45',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('friday evening',\n   ['2024-03-08T18:00',\n    0,\n    0,\n    '17:00',\n    2,\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', '2024-03-13']),\n  ('received on holiday',\n   ['2024-07-04T09:00',\n    0,\n    0,\n    '17:00',\n    2,\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-07-05', '2024-07-09']),\n  ('received saturday',\n   ['2024-03-09T10:00',\n    0,\n    0,\n    '17:00',\n    1,\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', '2024-03-12']),\n  ('east to west',\n   ['2024-03-06T01:00',\n    60,\n    -300,\n    '17:00',\n    2,\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-06', '2024-03-08']),\n  ('before cutoff simple',\n   ['2024-04-02T09:00',\n    0,\n    0,\n    '17:00',\n    5,\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-04-02', '2024-04-09']),\n  ('evening before holiday',\n   ['2024-05-24T20:00',\n    0,\n    0,\n    '18:00',\n    2,\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', '2024-05-30']),\n  ('exactly at cutoff',\n   ['2024-03-05T17:00',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11'])],\n [('received on holiday',\n   ['2024-07-04T09:00',\n    0,\n    0,\n    '17:00',\n    2,\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-07-05', '2024-07-09']),\n  ('received saturday',\n   ['2024-03-09T10:00',\n    0,\n    0,\n    '17:00',\n    1,\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', '2024-03-12']),\n  ('east to west',\n   ['2024-03-06T01:00',\n    60,\n    -300,\n    '17:00',\n    2,\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-06', '2024-03-08']),\n  ('before cutoff simple',\n   ['2024-04-02T09:00',\n    0,\n    0,\n    '17:00',\n    5,\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-04-02', '2024-04-09']),\n  ('evening before holiday',\n   ['2024-05-24T20:00',\n    0,\n    0,\n    '18:00',\n    2,\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', '2024-05-30']),\n  ('west to east crosses midnight',\n   ['2024-06-18T21:00',\n    -420,\n    120,\n    '17:00',\n    1,\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', '2024-06-21']),\n  ('regression: cross-zone cutoff',\n   ['2024-03-05T13:30',\n    -300,\n    0,\n    '17:00',\n    5,\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-06', '2024-03-13']),\n  ('exactly at cutoff',\n   ['2024-03-05T17:00',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11'])],\n [('east to west',\n   ['2024-03-06T01:00',\n    60,\n    -300,\n    '17:00',\n    2,\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-06', '2024-03-08']),\n  ('before cutoff simple',\n   ['2024-04-02T09:00',\n    0,\n    0,\n    '17:00',\n    5,\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-04-02', '2024-04-09']),\n  ('evening before holiday',\n   ['2024-05-24T20:00',\n    0,\n    0,\n    '18:00',\n    2,\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', '2024-05-30']),\n  ('west to east crosses midnight',\n   ['2024-06-18T21:00',\n    -420,\n    120,\n    '17:00',\n    1,\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', '2024-06-21']),\n  ('regression: cross-zone cutoff',\n   ['2024-03-05T13:30',\n    -300,\n    0,\n    '17:00',\n    5,\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-06', '2024-03-13']),\n  ('exactly at cutoff',\n   ['2024-03-05T17:00',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('late minutes after cutoff hour',\n   ['2024-03-05T17:45',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11'])],\n [('evening before holiday',\n   ['2024-05-24T20:00',\n    0,\n    0,\n    '18:00',\n    2,\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', '2024-05-30']),\n  ('west to east crosses midnight',\n   ['2024-06-18T21:00',\n    -420,\n    120,\n    '17:00',\n    1,\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', '2024-06-21']),\n  ('regression: cross-zone cutoff',\n   ['2024-03-05T13:30',\n    -300,\n    0,\n    '17:00',\n    5,\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-06', '2024-03-13']),\n  ('exactly at cutoff',\n   ['2024-03-05T17:00',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('late minutes after cutoff hour',\n   ['2024-03-05T17:45',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('friday evening',\n   ['2024-03-08T18:00',\n    0,\n    0,\n    '17:00',\n    2,\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', '2024-03-13']),\n  ('received on holiday',\n   ['2024-07-04T09:00',\n    0,\n    0,\n    '17:00',\n    2,\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-07-05', '2024-07-09'])]]\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":"21d3ea07edb8c77fc25b415f5612d416cf639e8405e136449ba9cb865a55ee13","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(sent_local, sender_offset_min, recipient_offset_min, cutoff, n, holidays):\n    sent = dt.datetime.fromisoformat(sent_local)\n    local = sent + dt.timedelta(minutes=recipient_offset_min - sender_offset_min)\n    cut = dt.time.fromisoformat(cutoff)\n    hol = {dt.date.fromisoformat(x) for x in holidays}\n    def business(d):\n        return d.weekday() < 5 and d not in hol\n    deemed = local.date()\n    if local.time() > cut:\n        deemed += dt.timedelta(days=1)\n    while not business(deemed):\n        deemed += dt.timedelta(days=1)\n    d = deemed\n    k = 0\n    while k < n:\n        d += dt.timedelta(days=1)\n        if business(d):\n            k += 1\n    return [deemed.isoformat(), d.isoformat()]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: cross-zone cutoff',\n   ['2024-03-05T13:30',\n    -300,\n    0,\n    '17:00',\n    5,\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-06', '2024-03-13']),\n  ('exactly at cutoff',\n   ['2024-03-05T17:00',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('late minutes after cutoff hour',\n   ['2024-03-05T17:45',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('friday evening',\n   ['2024-03-08T18:00',\n    0,\n    0,\n    '17:00',\n    2,\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', '2024-03-13']),\n  ('received on holiday',\n   ['2024-07-04T09:00',\n    0,\n    0,\n    '17:00',\n    2,\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-07-05', '2024-07-09']),\n  ('received saturday',\n   ['2024-03-09T10:00',\n    0,\n    0,\n    '17:00',\n    1,\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', '2024-03-12']),\n  ('east to west',\n   ['2024-03-06T01:00',\n    60,\n    -300,\n    '17:00',\n    2,\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-06', '2024-03-08'])],\n [('late minutes after cutoff hour',\n   ['2024-03-05T17:45',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('friday evening',\n   ['2024-03-08T18:00',\n    0,\n    0,\n    '17:00',\n    2,\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', '2024-03-13']),\n  ('received on holiday',\n   ['2024-07-04T09:00',\n    0,\n    0,\n    '17:00',\n    2,\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-07-05', '2024-07-09']),\n  ('received saturday',\n   ['2024-03-09T10:00',\n    0,\n    0,\n    '17:00',\n    1,\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', '2024-03-12']),\n  ('east to west',\n   ['2024-03-06T01:00',\n    60,\n    -300,\n    '17:00',\n    2,\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-06', '2024-03-08']),\n  ('before cutoff simple',\n   ['2024-04-02T09:00',\n    0,\n    0,\n    '17:00',\n    5,\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-04-02', '2024-04-09']),\n  ('evening before holiday',\n   ['2024-05-24T20:00',\n    0,\n    0,\n    '18:00',\n    2,\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', '2024-05-30']),\n  ('exactly at cutoff',\n   ['2024-03-05T17:00',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11'])],\n [('received on holiday',\n   ['2024-07-04T09:00',\n    0,\n    0,\n    '17:00',\n    2,\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-07-05', '2024-07-09']),\n  ('received saturday',\n   ['2024-03-09T10:00',\n    0,\n    0,\n    '17:00',\n    1,\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', '2024-03-12']),\n  ('east to west',\n   ['2024-03-06T01:00',\n    60,\n    -300,\n    '17:00',\n    2,\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-06', '2024-03-08']),\n  ('before cutoff simple',\n   ['2024-04-02T09:00',\n    0,\n    0,\n    '17:00',\n    5,\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-04-02', '2024-04-09']),\n  ('evening before holiday',\n   ['2024-05-24T20:00',\n    0,\n    0,\n    '18:00',\n    2,\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', '2024-05-30']),\n  ('west to east crosses midnight',\n   ['2024-06-18T21:00',\n    -420,\n    120,\n    '17:00',\n    1,\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', '2024-06-21']),\n  ('regression: cross-zone cutoff',\n   ['2024-03-05T13:30',\n    -300,\n    0,\n    '17:00',\n    5,\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-06', '2024-03-13']),\n  ('exactly at cutoff',\n   ['2024-03-05T17:00',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11'])],\n [('east to west',\n   ['2024-03-06T01:00',\n    60,\n    -300,\n    '17:00',\n    2,\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-06', '2024-03-08']),\n  ('before cutoff simple',\n   ['2024-04-02T09:00',\n    0,\n    0,\n    '17:00',\n    5,\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-04-02', '2024-04-09']),\n  ('evening before holiday',\n   ['2024-05-24T20:00',\n    0,\n    0,\n    '18:00',\n    2,\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', '2024-05-30']),\n  ('west to east crosses midnight',\n   ['2024-06-18T21:00',\n    -420,\n    120,\n    '17:00',\n    1,\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', '2024-06-21']),\n  ('regression: cross-zone cutoff',\n   ['2024-03-05T13:30',\n    -300,\n    0,\n    '17:00',\n    5,\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-06', '2024-03-13']),\n  ('exactly at cutoff',\n   ['2024-03-05T17:00',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('late minutes after cutoff hour',\n   ['2024-03-05T17:45',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11'])],\n [('evening before holiday',\n   ['2024-05-24T20:00',\n    0,\n    0,\n    '18:00',\n    2,\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', '2024-05-30']),\n  ('west to east crosses midnight',\n   ['2024-06-18T21:00',\n    -420,\n    120,\n    '17:00',\n    1,\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', '2024-06-21']),\n  ('regression: cross-zone cutoff',\n   ['2024-03-05T13:30',\n    -300,\n    0,\n    '17:00',\n    5,\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-06', '2024-03-13']),\n  ('exactly at cutoff',\n   ['2024-03-05T17:00',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('late minutes after cutoff hour',\n   ['2024-03-05T17:45',\n    0,\n    0,\n    '17:00',\n    3,\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-06', '2024-03-11']),\n  ('friday evening',\n   ['2024-03-08T18:00',\n    0,\n    0,\n    '17:00',\n    2,\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', '2024-03-13']),\n  ('received on holiday',\n   ['2024-07-04T09:00',\n    0,\n    0,\n    '17:00',\n    2,\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-07-05', '2024-07-09'])]]\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-contract-notice-business-days-after-cutoff","generated_at":"2026-09-29T14:49:27.591325+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 cutoff comparison is exclusive.","sha256":"b0b4cd572b6382c317bf35d21035bf70f423ccab125a03458ee6907b5ee30ce5","title":"Deemed receipt of a contract notice and a business-day response window: after cutoff · 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":46.521,"exit_code":1,"observations":[{"actual":["2024-03-06","2024-03-13"],"check":"regression: cross-zone cutoff","expected":["2024-03-06","2024-03-13"],"passed":true},{"actual":["2024-03-05","2024-03-08"],"check":"exactly at cutoff","expected":["2024-03-06","2024-03-11"],"passed":false},{"actual":["2024-03-05","2024-03-08"],"check":"late minutes after cutoff hour","expected":["2024-03-06","2024-03-11"],"passed":false},{"actual":["2024-03-11","2024-03-13"],"check":"friday evening","expected":["2024-03-11","2024-03-13"],"passed":true},{"actual":["2024-07-05","2024-07-09"],"check":"received on holiday","expected":["2024-07-05","2024-07-09"],"passed":true},{"actual":["2024-03-11","2024-03-12"],"check":"received saturday","expected":["2024-03-11","2024-03-12"],"passed":true},{"actual":["2024-03-06","2024-03-08"],"check":"east to west","expected":["2024-03-06","2024-03-08"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: cross-zone cutoff\", \"actual\": [\"2024-03-06\", \"2024-03-13\"], \"expected\": [\"2024-03-06\", \"2024-03-13\"], \"passed\": true}, {\"check\": \"exactly at cutoff\", \"actual\": [\"2024-03-05\", \"2024-03-08\"], \"expected\": [\"2024-03-06\", \"2024-03-11\"], \"passed\": false}, {\"check\": \"late minutes after cutoff hour\", \"actual\": [\"2024-03-05\", \"2024-03-08\"], \"expected\": [\"2024-03-06\", \"2024-03-11\"], \"passed\": false}, {\"check\": \"friday evening\", \"actual\": [\"2024-03-11\", \"2024-03-13\"], \"expected\": [\"2024-03-11\", \"2024-03-13\"], \"passed\": true}, {\"check\": \"received on holiday\", \"actual\": [\"2024-07-05\", \"2024-07-09\"], \"expected\": [\"2024-07-05\", \"2024-07-09\"], \"passed\": true}, {\"check\": \"received saturday\", \"actual\": [\"2024-03-11\", \"2024-03-12\"], \"expected\": [\"2024-03-11\", \"2024-03-12\"], \"passed\": true}, {\"check\": \"east to west\", \"actual\": [\"2024-03-06\", \"2024-03-08\"], \"expected\": [\"2024-03-06\", \"2024-03-08\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.489,"exit_code":1,"observations":[{"actual":["2024-03-06","2024-03-13"],"check":"regression: cross-zone cutoff","expected":["2024-03-06","2024-03-13"],"passed":true},{"actual":["2024-03-05","2024-03-08"],"check":"exactly at cutoff","expected":["2024-03-06","2024-03-11"],"passed":false},{"actual":["2024-03-06","2024-03-11"],"check":"late minutes after cutoff hour","expected":["2024-03-06","2024-03-11"],"passed":true},{"actual":["2024-03-11","2024-03-13"],"check":"friday evening","expected":["2024-03-11","2024-03-13"],"passed":true},{"actual":["2024-07-05","2024-07-09"],"check":"received on holiday","expected":["2024-07-05","2024-07-09"],"passed":true},{"actual":["2024-03-11","2024-03-12"],"check":"received saturday","expected":["2024-03-11","2024-03-12"],"passed":true},{"actual":["2024-03-06","2024-03-08"],"check":"east to west","expected":["2024-03-06","2024-03-08"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: cross-zone cutoff\", \"actual\": [\"2024-03-06\", \"2024-03-13\"], \"expected\": [\"2024-03-06\", \"2024-03-13\"], \"passed\": true}, {\"check\": \"exactly at cutoff\", \"actual\": [\"2024-03-05\", \"2024-03-08\"], \"expected\": [\"2024-03-06\", \"2024-03-11\"], \"passed\": false}, {\"check\": \"late minutes after cutoff hour\", \"actual\": [\"2024-03-06\", \"2024-03-11\"], \"expected\": [\"2024-03-06\", \"2024-03-11\"], \"passed\": true}, {\"check\": \"friday evening\", \"actual\": [\"2024-03-11\", \"2024-03-13\"], \"expected\": [\"2024-03-11\", \"2024-03-13\"], \"passed\": true}, {\"check\": \"received on holiday\", \"actual\": [\"2024-07-05\", \"2024-07-09\"], \"expected\": [\"2024-07-05\", \"2024-07-09\"], \"passed\": true}, {\"check\": \"received saturday\", \"actual\": [\"2024-03-11\", \"2024-03-12\"], \"expected\": [\"2024-03-11\", \"2024-03-12\"], \"passed\": true}, {\"check\": \"east to west\", \"actual\": [\"2024-03-06\", \"2024-03-08\"], \"expected\": [\"2024-03-06\", \"2024-03-08\"], \"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."}}