FA-77801 / Legal deadline computation / Open access
Per-defendant removal deadlines with a one-year diversity bar: barred test · case 01
A defendant served eleven months in is reported as barred although removal is still possible until the anniversary.
ROOT CAUSE
The bar is tested against the start of a full 30-day window.
THE FAILURE
The bar is tested against the start of a full 30-day window.
Unsuccessful approach: The partial repair `trig >= bar` treats service on the anniversary itself as barred.
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(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 base > bar - dt.timedelta(days=30):
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']]),
('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']])],
[('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']])],
[('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']])],
[('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']])],
[('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', 'barred']] | [['acme', '2024-01-10']] | Failed |
| diversity barred | [['acme', 'barred']] | [['acme', 'barred']] | Passed |
| served on anniversary | [['acme', 'barred']] | [['acme', '2024-03-15']] | Failed |
SHA-256 / 5f4759792af70a017319553825fcff0a32518d62cefe80bb4853354c740dbb5e
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(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']]),
('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']])],
[('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']])],
[('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']])],
[('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']])],
[('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 |
| served on anniversary | [['acme', 'barred']] | [['acme', '2024-03-15']] | Failed |
SHA-256 / a56ecccbfc75ee1ad5676115a4569b3bc828a6d0df642c5e9514febd1586cfec
HELD IN THE MEMBER ARCHIVE
The verified repair and its recorded checks are member-only.
This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.
Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.
Member access is invitation-based. Sign in with your invited account to inspect the repair.
Sign in to the archive ↗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.264137+00:00.
Case digest / b63c7cfc990a9577f8f1767d0b33d59016596e585138a798848eadb362dc54ce