{"abstract":"A notice received on Friday evening gets a response window counted from Friday.","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 `deemed - dt.timedelta(days=1)` starts one day before deemed receipt, counting that day.","family":"w2-legal-deadline-computation-contract-notice-business-days-count-origin","id":"FA-77646","implementations":{"attempt":{"sha256":"084369ca6666b9ceecfce25abf525395fdc4ef0a4993587af681c35a9d9e87e4","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 - dt.timedelta(days=1)\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":"e55b78b70bf49c4a0b1cce3da45b9e595430711ffe8e6907eb648cdb6acf8f4f","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 = local.date()\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-count-origin","generated_at":"2026-09-29T14:49:27.747330+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 response window is counted from actual receipt rather than deemed receipt.","sha256":"528542f7ff54d4767bc42ee28dd3b619cee50019422ebb0e22bf908f8ba7ff26","title":"Deemed receipt of a contract notice and a business-day response window: count origin · 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":45.966,"exit_code":1,"observations":[{"actual":["2024-03-06","2024-03-12"],"check":"regression: cross-zone cutoff","expected":["2024-03-06","2024-03-13"],"passed":false},{"actual":["2024-03-06","2024-03-08"],"check":"exactly at cutoff","expected":["2024-03-06","2024-03-11"],"passed":false},{"actual":["2024-03-06","2024-03-08"],"check":"late minutes after cutoff hour","expected":["2024-03-06","2024-03-11"],"passed":false},{"actual":["2024-03-11","2024-03-12"],"check":"friday evening","expected":["2024-03-11","2024-03-13"],"passed":false},{"actual":["2024-07-05","2024-07-08"],"check":"received on holiday","expected":["2024-07-05","2024-07-09"],"passed":false},{"actual":["2024-03-11","2024-03-11"],"check":"received saturday","expected":["2024-03-11","2024-03-12"],"passed":false},{"actual":["2024-03-06","2024-03-07"],"check":"east to west","expected":["2024-03-06","2024-03-08"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: cross-zone cutoff\", \"actual\": [\"2024-03-06\", \"2024-03-12\"], \"expected\": [\"2024-03-06\", \"2024-03-13\"], \"passed\": false}, {\"check\": \"exactly at cutoff\", \"actual\": [\"2024-03-06\", \"2024-03-08\"], \"expected\": [\"2024-03-06\", \"2024-03-11\"], \"passed\": false}, {\"check\": \"late minutes after cutoff hour\", \"actual\": [\"2024-03-06\", \"2024-03-08\"], \"expected\": [\"2024-03-06\", \"2024-03-11\"], \"passed\": false}, {\"check\": \"friday evening\", \"actual\": [\"2024-03-11\", \"2024-03-12\"], \"expected\": [\"2024-03-11\", \"2024-03-13\"], \"passed\": false}, {\"check\": \"received on holiday\", \"actual\": [\"2024-07-05\", \"2024-07-08\"], \"expected\": [\"2024-07-05\", \"2024-07-09\"], \"passed\": false}, {\"check\": \"received saturday\", \"actual\": [\"2024-03-11\", \"2024-03-11\"], \"expected\": [\"2024-03-11\", \"2024-03-12\"], \"passed\": false}, {\"check\": \"east to west\", \"actual\": [\"2024-03-06\", \"2024-03-07\"], \"expected\": [\"2024-03-06\", \"2024-03-08\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.029,"exit_code":1,"observations":[{"actual":["2024-03-06","2024-03-12"],"check":"regression: cross-zone cutoff","expected":["2024-03-06","2024-03-13"],"passed":false},{"actual":["2024-03-06","2024-03-08"],"check":"exactly at cutoff","expected":["2024-03-06","2024-03-11"],"passed":false},{"actual":["2024-03-06","2024-03-08"],"check":"late minutes after cutoff hour","expected":["2024-03-06","2024-03-11"],"passed":false},{"actual":["2024-03-11","2024-03-12"],"check":"friday evening","expected":["2024-03-11","2024-03-13"],"passed":false},{"actual":["2024-07-05","2024-07-08"],"check":"received on holiday","expected":["2024-07-05","2024-07-09"],"passed":false},{"actual":["2024-03-11","2024-03-11"],"check":"received saturday","expected":["2024-03-11","2024-03-12"],"passed":false},{"actual":["2024-03-06","2024-03-07"],"check":"east to west","expected":["2024-03-06","2024-03-08"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: cross-zone cutoff\", \"actual\": [\"2024-03-06\", \"2024-03-12\"], \"expected\": [\"2024-03-06\", \"2024-03-13\"], \"passed\": false}, {\"check\": \"exactly at cutoff\", \"actual\": [\"2024-03-06\", \"2024-03-08\"], \"expected\": [\"2024-03-06\", \"2024-03-11\"], \"passed\": false}, {\"check\": \"late minutes after cutoff hour\", \"actual\": [\"2024-03-06\", \"2024-03-08\"], \"expected\": [\"2024-03-06\", \"2024-03-11\"], \"passed\": false}, {\"check\": \"friday evening\", \"actual\": [\"2024-03-11\", \"2024-03-12\"], \"expected\": [\"2024-03-11\", \"2024-03-13\"], \"passed\": false}, {\"check\": \"received on holiday\", \"actual\": [\"2024-07-05\", \"2024-07-08\"], \"expected\": [\"2024-07-05\", \"2024-07-09\"], \"passed\": false}, {\"check\": \"received saturday\", \"actual\": [\"2024-03-11\", \"2024-03-11\"], \"expected\": [\"2024-03-11\", \"2024-03-12\"], \"passed\": false}, {\"check\": \"east to west\", \"actual\": [\"2024-03-06\", \"2024-03-07\"], \"expected\": [\"2024-03-06\", \"2024-03-08\"], \"passed\": false}], \"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."}}