{"abstract":"A notice received on a public holiday 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].","evaluation_group":"w2-legal-deadline-computation-contract-notice-business-days","failed_approach":"The partial repair `deemed in hol` moves holidays but not weekends.","family":"w2-legal-deadline-computation-contract-notice-business-days-deemed-roll","id":"FA-77641","implementations":{"attempt":{"sha256":"7e6b3553a8fc69386b1e25d0268355bda7f05e91a9a9525dfedda62cbdb6c9e8","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 deemed in hol:\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 [('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 [('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":"65ca127d200f10d619245ff953b1b95fb7e1562fb6bf31ce28968263dbddbabc","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 deemed.weekday() >= 5:\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 [('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 [('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"},"fixed":{"sha256":"2485a3ec2588c78ed1f0b0d3554c01b1084d68495c5af4e6b51f20a265a60446","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 [('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 [('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-deemed-roll","generated_at":"2026-09-29T14:49:27.600066+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.","repair":"At the deemed roll decision use `not business(deemed)`, leaving the other decision sites of the model unchanged.","root_cause":"Only weekends move the deemed receipt date.","sha256":"33e68b582373d249b3e0ef92f26b50da48e90124278b93d549ce3ebce0fac118","title":"Deemed receipt of a contract notice and a business-day response window: deemed roll · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":45.098,"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-06","2024-03-11"],"check":"exactly at cutoff","expected":["2024-03-06","2024-03-11"],"passed":true},{"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-09","2024-03-12"],"check":"friday evening","expected":["2024-03-11","2024-03-13"],"passed":false},{"actual":["2024-07-05","2024-07-09"],"check":"received on holiday","expected":["2024-07-05","2024-07-09"],"passed":true},{"actual":["2024-03-09","2024-03-11"],"check":"received saturday","expected":["2024-03-11","2024-03-12"],"passed":false},{"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-06\", \"2024-03-11\"], \"expected\": [\"2024-03-06\", \"2024-03-11\"], \"passed\": true}, {\"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-09\", \"2024-03-12\"], \"expected\": [\"2024-03-11\", \"2024-03-13\"], \"passed\": false}, {\"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-09\", \"2024-03-11\"], \"expected\": [\"2024-03-11\", \"2024-03-12\"], \"passed\": false}, {\"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":45.249,"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-06","2024-03-11"],"check":"exactly at cutoff","expected":["2024-03-06","2024-03-11"],"passed":true},{"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-04","2024-07-08"],"check":"received on holiday","expected":["2024-07-05","2024-07-09"],"passed":false},{"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-06\", \"2024-03-11\"], \"expected\": [\"2024-03-06\", \"2024-03-11\"], \"passed\": true}, {\"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-04\", \"2024-07-08\"], \"expected\": [\"2024-07-05\", \"2024-07-09\"], \"passed\": false}, {\"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"},"fixed":{"elapsed_ms":47.893,"exit_code":0,"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-06","2024-03-11"],"check":"exactly at cutoff","expected":["2024-03-06","2024-03-11"],"passed":true},{"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":true,"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-06\", \"2024-03-11\"], \"expected\": [\"2024-03-06\", \"2024-03-11\"], \"passed\": true}, {\"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\": true}\n"}},"verified":true,"visibility":"public"}