FA-77786 / Legal deadline computation / Open access
Per-defendant removal deadlines with a one-year diversity bar: trigger choice · case 01
A courtesy copy emailed before formal service starts the 30-day clock early.
ROOT CAUSE
The earlier of receipt and service is used as the trigger.
VERIFIED REPAIR
At the trigger choice decision use `max(s, r) if r else s`, leaving the other decision sites of the model unchanged.
Unsuccessful approach: The partial repair `r if r else s` always uses receipt when present, including a courtesy copy received before service.
Case contract
Stipulated: each defendant [name, served, received] has 30 days from its own trigger, where the trigger is formal service, or later receipt of the pleading when received (not None) after service; a courtesy copy received before service does not start the clock. A deadline on a weekend or listed holiday moves to the next open day. In diversity cases removal is additionally barred after one year from commencement (anniversary, never moved): the deadline is capped there, and a defendant whose trigger is after the bar gets "barred". Return [[name, deadline or "barred"]].
Why this case matters
Docketing systems compute filing and response deadlines from trigger events; a wrong date can forfeit a right.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import datetime as dt
import calendar
N = 1
observations = []
def solve(commenced, diversity, defendants, holidays):
c = dt.date.fromisoformat(commenced)
hol = {dt.date.fromisoformat(x) for x in holidays}
bar = dt.date(c.year + 1, c.month, min(c.day, calendar.monthrange(c.year + 1, c.month)[1]))
triggers = []
for name, served, received in defendants:
s = dt.date.fromisoformat(served)
r = dt.date.fromisoformat(received) if received else None
triggers.append(min(s, r) if r else s)
first = min(triggers)
out = []
for (name, served, received), trig in zip(defendants, triggers):
base = trig
d = base + dt.timedelta(days=30)
while d.weekday() >= 5 or d in hol:
d += dt.timedelta(days=1)
if diversity:
if trig > bar:
out.append([name, 'barred'])
continue
d = min(d, bar)
out.append([name, d.isoformat()])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']]),
('later receipt via agent',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-03-06']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-05']]),
('later served defendant',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-06-03', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-07-03']]),
('later served within 30',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-03-21']]),
('federal question late',
['2023-01-10',
False,
[['acme', '2024-01-05', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-02-05']]),
('diversity capped',
['2023-01-10',
True,
[['acme', '2023-12-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-01-10']]),
('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']])],
[('later served defendant',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-06-03', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-07-03']]),
('later served within 30',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-03-21']]),
('federal question late',
['2023-01-10',
False,
[['acme', '2024-01-05', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-02-05']]),
('diversity capped',
['2023-01-10',
True,
[['acme', '2023-12-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-01-10']]),
('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']]),
('diversity served eleven months',
['2023-03-15',
True,
[['acme', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']]),
('later receipt via agent',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-03-06']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-05']])],
[('federal question late',
['2023-01-10',
False,
[['acme', '2024-01-05', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-02-05']]),
('diversity capped',
['2023-01-10',
True,
[['acme', '2023-12-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-01-10']]),
('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']]),
('diversity served eleven months',
['2023-03-15',
True,
[['acme', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('two defendants diversity',
['2023-06-01',
True,
[['acme', '2023-07-03', None], ['beta', '2024-05-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-08-02'], ['beta', '2024-06-01']]),
('deadline lands on holiday',
['2024-01-10',
False,
[['acme', '2024-05-28', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-06-27']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']])],
[('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']]),
('diversity served eleven months',
['2023-03-15',
True,
[['acme', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('two defendants diversity',
['2023-06-01',
True,
[['acme', '2023-07-03', None], ['beta', '2024-05-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-08-02'], ['beta', '2024-06-01']]),
('deadline lands on holiday',
['2024-01-10',
False,
[['acme', '2024-05-28', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-06-27']]),
('federal question two defendants late',
['2023-01-10',
False,
[['acme', '2023-02-01', None], ['beta', '2024-01-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-03-03'], ['beta', '2024-02-20']]),
('diversity before leap day',
['2023-03-01',
True,
[['acme', '2024-02-10', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-01']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']]),
('later receipt via agent',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-03-06']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-05']])],
[('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('two defendants diversity',
['2023-06-01',
True,
[['acme', '2023-07-03', None], ['beta', '2024-05-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-08-02'], ['beta', '2024-06-01']]),
('deadline lands on holiday',
['2024-01-10',
False,
[['acme', '2024-05-28', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-06-27']]),
('federal question two defendants late',
['2023-01-10',
False,
[['acme', '2023-02-01', None], ['beta', '2024-01-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-03-03'], ['beta', '2024-02-20']]),
('diversity before leap day',
['2023-03-01',
True,
[['acme', '2024-02-10', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-01']]),
('diversity commenced leap day',
['2024-02-29',
True,
[['acme', '2025-02-10', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2025-02-28']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']])]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: courtesy copy before service | [['acme', '2024-03-21']] | [['acme', '2024-04-01']] | Failed |
| later receipt via agent | [['acme', '2024-04-01']] | [['acme', '2024-04-05']] | Failed |
| later served defendant | [['acme', '2024-03-04'], ['beta', '2024-07-03']] | [['acme', '2024-03-04'], ['beta', '2024-07-03']] | Passed |
| later served within 30 | [['acme', '2024-03-04'], ['beta', '2024-03-21']] | [['acme', '2024-03-04'], ['beta', '2024-03-21']] | Passed |
| federal question late | [['acme', '2024-02-05']] | [['acme', '2024-02-05']] | Passed |
| diversity capped | [['acme', '2024-01-10']] | [['acme', '2024-01-10']] | Passed |
| diversity barred | [['acme', 'barred']] | [['acme', 'barred']] | Passed |
SHA-256 / 224f16aba35835dfedafad0fc94a2fdc6dc7dcff02e739d76c28a536336e6a55
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import datetime as dt
import calendar
N = 1
observations = []
def solve(commenced, diversity, defendants, holidays):
c = dt.date.fromisoformat(commenced)
hol = {dt.date.fromisoformat(x) for x in holidays}
bar = dt.date(c.year + 1, c.month, min(c.day, calendar.monthrange(c.year + 1, c.month)[1]))
triggers = []
for name, served, received in defendants:
s = dt.date.fromisoformat(served)
r = dt.date.fromisoformat(received) if received else None
triggers.append(r if r else s)
first = min(triggers)
out = []
for (name, served, received), trig in zip(defendants, triggers):
base = trig
d = base + dt.timedelta(days=30)
while d.weekday() >= 5 or d in hol:
d += dt.timedelta(days=1)
if diversity:
if trig > bar:
out.append([name, 'barred'])
continue
d = min(d, bar)
out.append([name, d.isoformat()])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']]),
('later receipt via agent',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-03-06']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-05']]),
('later served defendant',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-06-03', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-07-03']]),
('later served within 30',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-03-21']]),
('federal question late',
['2023-01-10',
False,
[['acme', '2024-01-05', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-02-05']]),
('diversity capped',
['2023-01-10',
True,
[['acme', '2023-12-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-01-10']]),
('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']])],
[('later served defendant',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-06-03', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-07-03']]),
('later served within 30',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-03-21']]),
('federal question late',
['2023-01-10',
False,
[['acme', '2024-01-05', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-02-05']]),
('diversity capped',
['2023-01-10',
True,
[['acme', '2023-12-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-01-10']]),
('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']]),
('diversity served eleven months',
['2023-03-15',
True,
[['acme', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']]),
('later receipt via agent',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-03-06']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-05']])],
[('federal question late',
['2023-01-10',
False,
[['acme', '2024-01-05', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-02-05']]),
('diversity capped',
['2023-01-10',
True,
[['acme', '2023-12-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-01-10']]),
('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']]),
('diversity served eleven months',
['2023-03-15',
True,
[['acme', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('two defendants diversity',
['2023-06-01',
True,
[['acme', '2023-07-03', None], ['beta', '2024-05-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-08-02'], ['beta', '2024-06-01']]),
('deadline lands on holiday',
['2024-01-10',
False,
[['acme', '2024-05-28', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-06-27']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']])],
[('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']]),
('diversity served eleven months',
['2023-03-15',
True,
[['acme', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('two defendants diversity',
['2023-06-01',
True,
[['acme', '2023-07-03', None], ['beta', '2024-05-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-08-02'], ['beta', '2024-06-01']]),
('deadline lands on holiday',
['2024-01-10',
False,
[['acme', '2024-05-28', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-06-27']]),
('federal question two defendants late',
['2023-01-10',
False,
[['acme', '2023-02-01', None], ['beta', '2024-01-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-03-03'], ['beta', '2024-02-20']]),
('diversity before leap day',
['2023-03-01',
True,
[['acme', '2024-02-10', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-01']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']]),
('later receipt via agent',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-03-06']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-05']])],
[('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('two defendants diversity',
['2023-06-01',
True,
[['acme', '2023-07-03', None], ['beta', '2024-05-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-08-02'], ['beta', '2024-06-01']]),
('deadline lands on holiday',
['2024-01-10',
False,
[['acme', '2024-05-28', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-06-27']]),
('federal question two defendants late',
['2023-01-10',
False,
[['acme', '2023-02-01', None], ['beta', '2024-01-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-03-03'], ['beta', '2024-02-20']]),
('diversity before leap day',
['2023-03-01',
True,
[['acme', '2024-02-10', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-01']]),
('diversity commenced leap day',
['2024-02-29',
True,
[['acme', '2025-02-10', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2025-02-28']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']])]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: courtesy copy before service | [['acme', '2024-03-21']] | [['acme', '2024-04-01']] | Failed |
| later receipt via agent | [['acme', '2024-04-05']] | [['acme', '2024-04-05']] | Passed |
| later served defendant | [['acme', '2024-03-04'], ['beta', '2024-07-03']] | [['acme', '2024-03-04'], ['beta', '2024-07-03']] | Passed |
| later served within 30 | [['acme', '2024-03-04'], ['beta', '2024-03-21']] | [['acme', '2024-03-04'], ['beta', '2024-03-21']] | Passed |
| federal question late | [['acme', '2024-02-05']] | [['acme', '2024-02-05']] | Passed |
| diversity capped | [['acme', '2024-01-10']] | [['acme', '2024-01-10']] | Passed |
| diversity barred | [['acme', 'barred']] | [['acme', 'barred']] | Passed |
SHA-256 / f1b2f7a6c9d88f5322c54ab57fbf70360532911f398c11b8a76d68060654d51f
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
import datetime as dt
import calendar
N = 1
observations = []
def solve(commenced, diversity, defendants, holidays):
c = dt.date.fromisoformat(commenced)
hol = {dt.date.fromisoformat(x) for x in holidays}
bar = dt.date(c.year + 1, c.month, min(c.day, calendar.monthrange(c.year + 1, c.month)[1]))
triggers = []
for name, served, received in defendants:
s = dt.date.fromisoformat(served)
r = dt.date.fromisoformat(received) if received else None
triggers.append(max(s, r) if r else s)
first = min(triggers)
out = []
for (name, served, received), trig in zip(defendants, triggers):
base = trig
d = base + dt.timedelta(days=30)
while d.weekday() >= 5 or d in hol:
d += dt.timedelta(days=1)
if diversity:
if trig > bar:
out.append([name, 'barred'])
continue
d = min(d, bar)
out.append([name, d.isoformat()])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']]),
('later receipt via agent',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-03-06']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-05']]),
('later served defendant',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-06-03', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-07-03']]),
('later served within 30',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-03-21']]),
('federal question late',
['2023-01-10',
False,
[['acme', '2024-01-05', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-02-05']]),
('diversity capped',
['2023-01-10',
True,
[['acme', '2023-12-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-01-10']]),
('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']])],
[('later served defendant',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-06-03', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-07-03']]),
('later served within 30',
['2024-01-10',
False,
[['acme', '2024-02-01', None], ['beta', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-04'], ['beta', '2024-03-21']]),
('federal question late',
['2023-01-10',
False,
[['acme', '2024-01-05', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-02-05']]),
('diversity capped',
['2023-01-10',
True,
[['acme', '2023-12-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-01-10']]),
('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']]),
('diversity served eleven months',
['2023-03-15',
True,
[['acme', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']]),
('later receipt via agent',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-03-06']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-05']])],
[('federal question late',
['2023-01-10',
False,
[['acme', '2024-01-05', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-02-05']]),
('diversity capped',
['2023-01-10',
True,
[['acme', '2023-12-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-01-10']]),
('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']]),
('diversity served eleven months',
['2023-03-15',
True,
[['acme', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('two defendants diversity',
['2023-06-01',
True,
[['acme', '2023-07-03', None], ['beta', '2024-05-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-08-02'], ['beta', '2024-06-01']]),
('deadline lands on holiday',
['2024-01-10',
False,
[['acme', '2024-05-28', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-06-27']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']])],
[('diversity barred',
['2023-01-10',
True,
[['acme', '2024-01-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', 'barred']]),
('diversity served eleven months',
['2023-03-15',
True,
[['acme', '2024-02-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('two defendants diversity',
['2023-06-01',
True,
[['acme', '2023-07-03', None], ['beta', '2024-05-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-08-02'], ['beta', '2024-06-01']]),
('deadline lands on holiday',
['2024-01-10',
False,
[['acme', '2024-05-28', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-06-27']]),
('federal question two defendants late',
['2023-01-10',
False,
[['acme', '2023-02-01', None], ['beta', '2024-01-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-03-03'], ['beta', '2024-02-20']]),
('diversity before leap day',
['2023-03-01',
True,
[['acme', '2024-02-10', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-01']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']]),
('later receipt via agent',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-03-06']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-05']])],
[('served on anniversary',
['2023-03-15',
True,
[['acme', '2024-03-15', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-15']]),
('two defendants diversity',
['2023-06-01',
True,
[['acme', '2023-07-03', None], ['beta', '2024-05-20', None]],
['2023-01-02',
'2023-01-16',
'2023-02-20',
'2023-05-29',
'2023-06-19',
'2023-07-04',
'2023-09-04',
'2023-10-09',
'2023-11-10',
'2023-11-23',
'2023-12-25',
'2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-08-02'], ['beta', '2024-06-01']]),
('deadline lands on holiday',
['2024-01-10',
False,
[['acme', '2024-05-28', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-06-27']]),
('federal question two defendants late',
['2023-01-10',
False,
[['acme', '2023-02-01', None], ['beta', '2024-01-20', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2023-03-03'], ['beta', '2024-02-20']]),
('diversity before leap day',
['2023-03-01',
True,
[['acme', '2024-02-10', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-03-01']]),
('diversity commenced leap day',
['2024-02-29',
True,
[['acme', '2025-02-10', None]],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2025-02-28']]),
('regression: courtesy copy before service',
['2024-01-10',
False,
[['acme', '2024-03-01', '2024-02-20']],
['2024-01-01',
'2024-01-15',
'2024-02-19',
'2024-05-27',
'2024-06-19',
'2024-07-04',
'2024-09-02',
'2024-10-14',
'2024-11-11',
'2024-11-28',
'2024-12-25']],
[['acme', '2024-04-01']])]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: courtesy copy before service | [['acme', '2024-04-01']] | [['acme', '2024-04-01']] | Passed |
| later receipt via agent | [['acme', '2024-04-05']] | [['acme', '2024-04-05']] | Passed |
| later served defendant | [['acme', '2024-03-04'], ['beta', '2024-07-03']] | [['acme', '2024-03-04'], ['beta', '2024-07-03']] | Passed |
| later served within 30 | [['acme', '2024-03-04'], ['beta', '2024-03-21']] | [['acme', '2024-03-04'], ['beta', '2024-03-21']] | Passed |
| federal question late | [['acme', '2024-02-05']] | [['acme', '2024-02-05']] | Passed |
| diversity capped | [['acme', '2024-01-10']] | [['acme', '2024-01-10']] | Passed |
| diversity barred | [['acme', 'barred']] | [['acme', 'barred']] | Passed |
SHA-256 / b34c237ac35d604b8d974947e6cddc09555f9b3b5a46d3e7b7453980e1830528
Verification & scope
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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:49:29.218789+00:00.
Case digest / 7fbe9e9d9a7ac53a7ac74aa39c804cd3fa0e566621faedbebfb0fc6e0dd84f93