{"abstract":"The earliest hearing is scheduled on a court holiday.","category":"Legal deadline computation","checks":7,"contract":"Stipulated: a motion must be served at least notice_days court days before the hearing. Excluding the service day, count notice_days court days (not Saturday, Sunday or a listed holiday); then add calendar days for the service method (mail 5, mail-out-of-state 10, express 2, otherwise 0). If that day is not a court day, the earliest hearing is the next court day.","contract_signature":"served, notice_days, method, holidays","evaluation_group":"w2-legal-deadline-computation-hearing-notice-court-days","failed_approach":"The partial repair `if closed(d):;     d += dt.timedelta(days=1)` moves at most one day, which can still land on a weekend.","family":"w2-legal-deadline-computation-hearing-notice-court-days-final-roll","id":"FA-77566","implementations":{"attempt":{"sha256":"64f9aee0bc1ae0aa7d649d92a117837329aa29c12eb62b0a37ec6583fe74990e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(served, notice_days, method, holidays):\n    s = dt.date.fromisoformat(served)\n    hol = {dt.date.fromisoformat(x) for x in holidays}\n    def closed(d):\n        return d.weekday() >= 5 or d in hol\n    d = s\n    n = 0\n    while n < notice_days:\n        d += dt.timedelta(days=1)\n        if not closed(d):\n            n += 1\n    d += dt.timedelta(days={'mail': 5, 'mail-out-of-state': 10, 'express': 2}.get(method, 0))\n    if closed(d):\n        d += dt.timedelta(days=1)\n    return d.isoformat()\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: mail lands on holiday',\n   ['2024-06-21',\n    1,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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'),\n  ('friday holiday then weekend', ['2024-06-24', 1, 'mail-out-of-state', ['2024-07-05']], '2024-07-08'),\n  ('sixteen court days across holiday',\n   ['2024-05-15',\n    16,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-07'),\n  ('out of state mail',\n   ['2024-03-01',\n    16,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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-04'),\n  ('express',\n   ['2024-03-01',\n    16,\n    'express',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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-27'),\n  ('served on a saturday',\n   ['2024-03-02',\n    3,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-06'),\n  ('mail lands on weekend',\n   ['2024-03-04',\n    3,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-12')],\n [('sixteen court days across holiday',\n   ['2024-05-15',\n    16,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-07'),\n  ('out of state mail',\n   ['2024-03-01',\n    16,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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-04'),\n  ('express',\n   ['2024-03-01',\n    16,\n    'express',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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-27'),\n  ('served on a saturday',\n   ['2024-03-02',\n    3,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-06'),\n  ('mail lands on weekend',\n   ['2024-03-04',\n    3,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-12'),\n  ('thanksgiving notice',\n   ['2024-11-18',\n    9,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-09'),\n  ('mail then saturday then monday holiday',\n   ['2024-08-21',\n    2,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-08-28'),\n  ('friday holiday then weekend', ['2024-06-24', 1, 'mail-out-of-state', ['2024-07-05']], '2024-07-08')],\n [('express',\n   ['2024-03-01',\n    16,\n    'express',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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-27'),\n  ('served on a saturday',\n   ['2024-03-02',\n    3,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-06'),\n  ('mail lands on weekend',\n   ['2024-03-04',\n    3,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-12'),\n  ('thanksgiving notice',\n   ['2024-11-18',\n    9,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-09'),\n  ('mail then saturday then monday holiday',\n   ['2024-08-21',\n    2,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-08-28'),\n  ('zero notice',\n   ['2024-04-05',\n    0,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-04-10'),\n  ('hand across july 4',\n   ['2024-06-28',\n    5,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-07-08'),\n  ('regression: mail lands on holiday',\n   ['2024-06-21',\n    1,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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')],\n [('mail lands on weekend',\n   ['2024-03-04',\n    3,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-12'),\n  ('thanksgiving notice',\n   ['2024-11-18',\n    9,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-09'),\n  ('mail then saturday then monday holiday',\n   ['2024-08-21',\n    2,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-08-28'),\n  ('zero notice',\n   ['2024-04-05',\n    0,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-04-10'),\n  ('hand across july 4',\n   ['2024-06-28',\n    5,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-07-08'),\n  ('express to sunday',\n   ['2024-10-02',\n    1,\n    'express',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-10-07'),\n  ('regression: mail lands on holiday',\n   ['2024-06-21',\n    1,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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')],\n [('mail then saturday then monday holiday',\n   ['2024-08-21',\n    2,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-08-28'),\n  ('zero notice',\n   ['2024-04-05',\n    0,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-04-10'),\n  ('hand across july 4',\n   ['2024-06-28',\n    5,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-07-08'),\n  ('express to sunday',\n   ['2024-10-02',\n    1,\n    'express',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-10-07'),\n  ('regression: mail lands on holiday',\n   ['2024-06-21',\n    1,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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'),\n  ('friday holiday then weekend', ['2024-06-24', 1, 'mail-out-of-state', ['2024-07-05']], '2024-07-08'),\n  ('sixteen court days across holiday',\n   ['2024-05-15',\n    16,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-07')]]\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":"8434cd91a3faa2d5f0b628b1c26f0180fe648fabed404ad056bd12d5f0194bd7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(served, notice_days, method, holidays):\n    s = dt.date.fromisoformat(served)\n    hol = {dt.date.fromisoformat(x) for x in holidays}\n    def closed(d):\n        return d.weekday() >= 5 or d in hol\n    d = s\n    n = 0\n    while n < notice_days:\n        d += dt.timedelta(days=1)\n        if not closed(d):\n            n += 1\n    d += dt.timedelta(days={'mail': 5, 'mail-out-of-state': 10, 'express': 2}.get(method, 0))\n    while d.weekday() >= 5:\n        d += dt.timedelta(days=1)\n    return d.isoformat()\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: mail lands on holiday',\n   ['2024-06-21',\n    1,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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'),\n  ('friday holiday then weekend', ['2024-06-24', 1, 'mail-out-of-state', ['2024-07-05']], '2024-07-08'),\n  ('sixteen court days across holiday',\n   ['2024-05-15',\n    16,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-07'),\n  ('out of state mail',\n   ['2024-03-01',\n    16,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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-04'),\n  ('express',\n   ['2024-03-01',\n    16,\n    'express',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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-27'),\n  ('served on a saturday',\n   ['2024-03-02',\n    3,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-06'),\n  ('mail lands on weekend',\n   ['2024-03-04',\n    3,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-12')],\n [('sixteen court days across holiday',\n   ['2024-05-15',\n    16,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-07'),\n  ('out of state mail',\n   ['2024-03-01',\n    16,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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-04'),\n  ('express',\n   ['2024-03-01',\n    16,\n    'express',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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-27'),\n  ('served on a saturday',\n   ['2024-03-02',\n    3,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-06'),\n  ('mail lands on weekend',\n   ['2024-03-04',\n    3,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-12'),\n  ('thanksgiving notice',\n   ['2024-11-18',\n    9,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-09'),\n  ('mail then saturday then monday holiday',\n   ['2024-08-21',\n    2,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-08-28'),\n  ('friday holiday then weekend', ['2024-06-24', 1, 'mail-out-of-state', ['2024-07-05']], '2024-07-08')],\n [('express',\n   ['2024-03-01',\n    16,\n    'express',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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-27'),\n  ('served on a saturday',\n   ['2024-03-02',\n    3,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-06'),\n  ('mail lands on weekend',\n   ['2024-03-04',\n    3,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-12'),\n  ('thanksgiving notice',\n   ['2024-11-18',\n    9,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-09'),\n  ('mail then saturday then monday holiday',\n   ['2024-08-21',\n    2,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-08-28'),\n  ('zero notice',\n   ['2024-04-05',\n    0,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-04-10'),\n  ('hand across july 4',\n   ['2024-06-28',\n    5,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-07-08'),\n  ('regression: mail lands on holiday',\n   ['2024-06-21',\n    1,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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')],\n [('mail lands on weekend',\n   ['2024-03-04',\n    3,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-03-12'),\n  ('thanksgiving notice',\n   ['2024-11-18',\n    9,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-12-09'),\n  ('mail then saturday then monday holiday',\n   ['2024-08-21',\n    2,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-08-28'),\n  ('zero notice',\n   ['2024-04-05',\n    0,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-04-10'),\n  ('hand across july 4',\n   ['2024-06-28',\n    5,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-07-08'),\n  ('express to sunday',\n   ['2024-10-02',\n    1,\n    'express',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-10-07'),\n  ('regression: mail lands on holiday',\n   ['2024-06-21',\n    1,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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')],\n [('mail then saturday then monday holiday',\n   ['2024-08-21',\n    2,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-08-28'),\n  ('zero notice',\n   ['2024-04-05',\n    0,\n    'mail',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-04-10'),\n  ('hand across july 4',\n   ['2024-06-28',\n    5,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-07-08'),\n  ('express to sunday',\n   ['2024-10-02',\n    1,\n    'express',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-10-07'),\n  ('regression: mail lands on holiday',\n   ['2024-06-21',\n    1,\n    'mail-out-of-state',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-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'),\n  ('friday holiday then weekend', ['2024-06-24', 1, 'mail-out-of-state', ['2024-07-05']], '2024-07-08'),\n  ('sixteen court days across holiday',\n   ['2024-05-15',\n    16,\n    'hand',\n    ['2024-01-01',\n     '2024-01-15',\n     '2024-02-19',\n     '2024-05-27',\n     '2024-06-19',\n     '2024-07-04',\n     '2024-09-02',\n     '2024-10-14',\n     '2024-11-11',\n     '2024-11-28',\n     '2024-12-25']],\n   '2024-06-07')]]\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-hearing-notice-court-days-final-roll","generated_at":"2026-09-29T14:49:26.888423+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 final adjustment only skips weekends.","sha256":"ec8dbcd2060ad04e47398327407416f859e3e3d3ac2fa4a48643ec34d420815e","title":"Earliest hearing date after court-day notice plus mailing days: final roll · 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":42.99,"exit_code":1,"observations":[{"actual":"2024-07-05","check":"regression: mail lands on holiday","expected":"2024-07-05","passed":true},{"actual":"2024-07-06","check":"friday holiday then weekend","expected":"2024-07-08","passed":false},{"actual":"2024-06-07","check":"sixteen court days across holiday","expected":"2024-06-07","passed":true},{"actual":"2024-04-04","check":"out of state mail","expected":"2024-04-04","passed":true},{"actual":"2024-03-27","check":"express","expected":"2024-03-27","passed":true},{"actual":"2024-03-06","check":"served on a saturday","expected":"2024-03-06","passed":true},{"actual":"2024-03-12","check":"mail lands on weekend","expected":"2024-03-12","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: mail lands on holiday\", \"actual\": \"2024-07-05\", \"expected\": \"2024-07-05\", \"passed\": true}, {\"check\": \"friday holiday then weekend\", \"actual\": \"2024-07-06\", \"expected\": \"2024-07-08\", \"passed\": false}, {\"check\": \"sixteen court days across holiday\", \"actual\": \"2024-06-07\", \"expected\": \"2024-06-07\", \"passed\": true}, {\"check\": \"out of state mail\", \"actual\": \"2024-04-04\", \"expected\": \"2024-04-04\", \"passed\": true}, {\"check\": \"express\", \"actual\": \"2024-03-27\", \"expected\": \"2024-03-27\", \"passed\": true}, {\"check\": \"served on a saturday\", \"actual\": \"2024-03-06\", \"expected\": \"2024-03-06\", \"passed\": true}, {\"check\": \"mail lands on weekend\", \"actual\": \"2024-03-12\", \"expected\": \"2024-03-12\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.894,"exit_code":1,"observations":[{"actual":"2024-07-04","check":"regression: mail lands on holiday","expected":"2024-07-05","passed":false},{"actual":"2024-07-05","check":"friday holiday then weekend","expected":"2024-07-08","passed":false},{"actual":"2024-06-07","check":"sixteen court days across holiday","expected":"2024-06-07","passed":true},{"actual":"2024-04-04","check":"out of state mail","expected":"2024-04-04","passed":true},{"actual":"2024-03-27","check":"express","expected":"2024-03-27","passed":true},{"actual":"2024-03-06","check":"served on a saturday","expected":"2024-03-06","passed":true},{"actual":"2024-03-12","check":"mail lands on weekend","expected":"2024-03-12","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: mail lands on holiday\", \"actual\": \"2024-07-04\", \"expected\": \"2024-07-05\", \"passed\": false}, {\"check\": \"friday holiday then weekend\", \"actual\": \"2024-07-05\", \"expected\": \"2024-07-08\", \"passed\": false}, {\"check\": \"sixteen court days across holiday\", \"actual\": \"2024-06-07\", \"expected\": \"2024-06-07\", \"passed\": true}, {\"check\": \"out of state mail\", \"actual\": \"2024-04-04\", \"expected\": \"2024-04-04\", \"passed\": true}, {\"check\": \"express\", \"actual\": \"2024-03-27\", \"expected\": \"2024-03-27\", \"passed\": true}, {\"check\": \"served on a saturday\", \"actual\": \"2024-03-06\", \"expected\": \"2024-03-06\", \"passed\": true}, {\"check\": \"mail lands on weekend\", \"actual\": \"2024-03-12\", \"expected\": \"2024-03-12\", \"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."}}