FA-77636 / Legal deadline computation / Open access
Deemed receipt of a contract notice and a business-day response window: after cutoff · case 01
A notice received exactly at the 17:00 cutoff is deemed received that day.
ROOT CAUSE
The cutoff comparison is exclusive.
VERIFIED REPAIR
At the after cutoff decision use `local.time() >= cut`, leaving the other decision sites of the model unchanged.
Unsuccessful approach: The partial repair `local.hour > cut.hour` compares whole hours, so 17:45 counts as before a 17:00 cutoff.
Case contract
Stipulated: a notice is sent at a local time in the sender zone (sender_offset_min east of UTC) and is received at the same instant in the recipient zone (recipient_offset_min). Received at or after the cutoff time (recipient local) it is deemed received the next day; a deemed day that is not a business day (weekday, not a listed holiday) moves to the next business day. The response window ends after n business days counted from the day after deemed receipt. Return [deemed receipt, response deadline].
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(sent_local, sender_offset_min, recipient_offset_min, cutoff, n, holidays):
sent = dt.datetime.fromisoformat(sent_local)
local = sent + dt.timedelta(minutes=recipient_offset_min - sender_offset_min)
cut = dt.time.fromisoformat(cutoff)
hol = {dt.date.fromisoformat(x) for x in holidays}
def business(d):
return d.weekday() < 5 and d not in hol
deemed = local.date()
if local.time() > cut:
deemed += dt.timedelta(days=1)
while not business(deemed):
deemed += dt.timedelta(days=1)
d = deemed
k = 0
while k < n:
d += dt.timedelta(days=1)
if business(d):
k += 1
return [deemed.isoformat(), d.isoformat()]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('friday evening',
['2024-03-08T18:00',
0,
0,
'17:00',
2,
['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']],
['2024-03-11', '2024-03-13']),
('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09']),
('received saturday',
['2024-03-09T10:00',
0,
0,
'17:00',
1,
['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']],
['2024-03-11', '2024-03-12']),
('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08'])],
[('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('friday evening',
['2024-03-08T18:00',
0,
0,
'17:00',
2,
['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']],
['2024-03-11', '2024-03-13']),
('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09']),
('received saturday',
['2024-03-09T10:00',
0,
0,
'17:00',
1,
['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']],
['2024-03-11', '2024-03-12']),
('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08']),
('before cutoff simple',
['2024-04-02T09:00',
0,
0,
'17:00',
5,
['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']],
['2024-04-02', '2024-04-09']),
('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11'])],
[('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09']),
('received saturday',
['2024-03-09T10:00',
0,
0,
'17:00',
1,
['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']],
['2024-03-11', '2024-03-12']),
('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08']),
('before cutoff simple',
['2024-04-02T09:00',
0,
0,
'17:00',
5,
['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']],
['2024-04-02', '2024-04-09']),
('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('west to east crosses midnight',
['2024-06-18T21:00',
-420,
120,
'17:00',
1,
['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']],
['2024-06-20', '2024-06-21']),
('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11'])],
[('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08']),
('before cutoff simple',
['2024-04-02T09:00',
0,
0,
'17:00',
5,
['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']],
['2024-04-02', '2024-04-09']),
('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('west to east crosses midnight',
['2024-06-18T21:00',
-420,
120,
'17:00',
1,
['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']],
['2024-06-20', '2024-06-21']),
('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11'])],
[('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('west to east crosses midnight',
['2024-06-18T21:00',
-420,
120,
'17:00',
1,
['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']],
['2024-06-20', '2024-06-21']),
('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('friday evening',
['2024-03-08T18:00',
0,
0,
'17:00',
2,
['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']],
['2024-03-11', '2024-03-13']),
('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09'])]]
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: cross-zone cutoff | ['2024-03-06', '2024-03-13'] | ['2024-03-06', '2024-03-13'] | Passed |
| exactly at cutoff | ['2024-03-05', '2024-03-08'] | ['2024-03-06', '2024-03-11'] | Failed |
| late minutes after cutoff hour | ['2024-03-06', '2024-03-11'] | ['2024-03-06', '2024-03-11'] | Passed |
| friday evening | ['2024-03-11', '2024-03-13'] | ['2024-03-11', '2024-03-13'] | Passed |
| received on holiday | ['2024-07-05', '2024-07-09'] | ['2024-07-05', '2024-07-09'] | Passed |
| received saturday | ['2024-03-11', '2024-03-12'] | ['2024-03-11', '2024-03-12'] | Passed |
| east to west | ['2024-03-06', '2024-03-08'] | ['2024-03-06', '2024-03-08'] | Passed |
SHA-256 / 21d3ea07edb8c77fc25b415f5612d416cf639e8405e136449ba9cb865a55ee13
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(sent_local, sender_offset_min, recipient_offset_min, cutoff, n, holidays):
sent = dt.datetime.fromisoformat(sent_local)
local = sent + dt.timedelta(minutes=recipient_offset_min - sender_offset_min)
cut = dt.time.fromisoformat(cutoff)
hol = {dt.date.fromisoformat(x) for x in holidays}
def business(d):
return d.weekday() < 5 and d not in hol
deemed = local.date()
if local.hour > cut.hour:
deemed += dt.timedelta(days=1)
while not business(deemed):
deemed += dt.timedelta(days=1)
d = deemed
k = 0
while k < n:
d += dt.timedelta(days=1)
if business(d):
k += 1
return [deemed.isoformat(), d.isoformat()]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('friday evening',
['2024-03-08T18:00',
0,
0,
'17:00',
2,
['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']],
['2024-03-11', '2024-03-13']),
('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09']),
('received saturday',
['2024-03-09T10:00',
0,
0,
'17:00',
1,
['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']],
['2024-03-11', '2024-03-12']),
('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08'])],
[('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('friday evening',
['2024-03-08T18:00',
0,
0,
'17:00',
2,
['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']],
['2024-03-11', '2024-03-13']),
('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09']),
('received saturday',
['2024-03-09T10:00',
0,
0,
'17:00',
1,
['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']],
['2024-03-11', '2024-03-12']),
('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08']),
('before cutoff simple',
['2024-04-02T09:00',
0,
0,
'17:00',
5,
['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']],
['2024-04-02', '2024-04-09']),
('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11'])],
[('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09']),
('received saturday',
['2024-03-09T10:00',
0,
0,
'17:00',
1,
['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']],
['2024-03-11', '2024-03-12']),
('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08']),
('before cutoff simple',
['2024-04-02T09:00',
0,
0,
'17:00',
5,
['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']],
['2024-04-02', '2024-04-09']),
('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('west to east crosses midnight',
['2024-06-18T21:00',
-420,
120,
'17:00',
1,
['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']],
['2024-06-20', '2024-06-21']),
('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11'])],
[('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08']),
('before cutoff simple',
['2024-04-02T09:00',
0,
0,
'17:00',
5,
['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']],
['2024-04-02', '2024-04-09']),
('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('west to east crosses midnight',
['2024-06-18T21:00',
-420,
120,
'17:00',
1,
['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']],
['2024-06-20', '2024-06-21']),
('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11'])],
[('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('west to east crosses midnight',
['2024-06-18T21:00',
-420,
120,
'17:00',
1,
['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']],
['2024-06-20', '2024-06-21']),
('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('friday evening',
['2024-03-08T18:00',
0,
0,
'17:00',
2,
['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']],
['2024-03-11', '2024-03-13']),
('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09'])]]
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: cross-zone cutoff | ['2024-03-06', '2024-03-13'] | ['2024-03-06', '2024-03-13'] | Passed |
| exactly at cutoff | ['2024-03-05', '2024-03-08'] | ['2024-03-06', '2024-03-11'] | Failed |
| late minutes after cutoff hour | ['2024-03-05', '2024-03-08'] | ['2024-03-06', '2024-03-11'] | Failed |
| friday evening | ['2024-03-11', '2024-03-13'] | ['2024-03-11', '2024-03-13'] | Passed |
| received on holiday | ['2024-07-05', '2024-07-09'] | ['2024-07-05', '2024-07-09'] | Passed |
| received saturday | ['2024-03-11', '2024-03-12'] | ['2024-03-11', '2024-03-12'] | Passed |
| east to west | ['2024-03-06', '2024-03-08'] | ['2024-03-06', '2024-03-08'] | Passed |
SHA-256 / 9cfd024336b2c9250c8acc9406c3a162a4e110d8b28048b0c55490e0538c57cd
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(sent_local, sender_offset_min, recipient_offset_min, cutoff, n, holidays):
sent = dt.datetime.fromisoformat(sent_local)
local = sent + dt.timedelta(minutes=recipient_offset_min - sender_offset_min)
cut = dt.time.fromisoformat(cutoff)
hol = {dt.date.fromisoformat(x) for x in holidays}
def business(d):
return d.weekday() < 5 and d not in hol
deemed = local.date()
if local.time() >= cut:
deemed += dt.timedelta(days=1)
while not business(deemed):
deemed += dt.timedelta(days=1)
d = deemed
k = 0
while k < n:
d += dt.timedelta(days=1)
if business(d):
k += 1
return [deemed.isoformat(), d.isoformat()]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('friday evening',
['2024-03-08T18:00',
0,
0,
'17:00',
2,
['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']],
['2024-03-11', '2024-03-13']),
('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09']),
('received saturday',
['2024-03-09T10:00',
0,
0,
'17:00',
1,
['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']],
['2024-03-11', '2024-03-12']),
('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08'])],
[('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('friday evening',
['2024-03-08T18:00',
0,
0,
'17:00',
2,
['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']],
['2024-03-11', '2024-03-13']),
('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09']),
('received saturday',
['2024-03-09T10:00',
0,
0,
'17:00',
1,
['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']],
['2024-03-11', '2024-03-12']),
('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08']),
('before cutoff simple',
['2024-04-02T09:00',
0,
0,
'17:00',
5,
['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']],
['2024-04-02', '2024-04-09']),
('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11'])],
[('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09']),
('received saturday',
['2024-03-09T10:00',
0,
0,
'17:00',
1,
['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']],
['2024-03-11', '2024-03-12']),
('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08']),
('before cutoff simple',
['2024-04-02T09:00',
0,
0,
'17:00',
5,
['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']],
['2024-04-02', '2024-04-09']),
('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('west to east crosses midnight',
['2024-06-18T21:00',
-420,
120,
'17:00',
1,
['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']],
['2024-06-20', '2024-06-21']),
('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11'])],
[('east to west',
['2024-03-06T01:00',
60,
-300,
'17:00',
2,
['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']],
['2024-03-06', '2024-03-08']),
('before cutoff simple',
['2024-04-02T09:00',
0,
0,
'17:00',
5,
['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']],
['2024-04-02', '2024-04-09']),
('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('west to east crosses midnight',
['2024-06-18T21:00',
-420,
120,
'17:00',
1,
['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']],
['2024-06-20', '2024-06-21']),
('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11'])],
[('evening before holiday',
['2024-05-24T20:00',
0,
0,
'18:00',
2,
['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']],
['2024-05-28', '2024-05-30']),
('west to east crosses midnight',
['2024-06-18T21:00',
-420,
120,
'17:00',
1,
['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']],
['2024-06-20', '2024-06-21']),
('regression: cross-zone cutoff',
['2024-03-05T13:30',
-300,
0,
'17:00',
5,
['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']],
['2024-03-06', '2024-03-13']),
('exactly at cutoff',
['2024-03-05T17:00',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('late minutes after cutoff hour',
['2024-03-05T17:45',
0,
0,
'17:00',
3,
['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']],
['2024-03-06', '2024-03-11']),
('friday evening',
['2024-03-08T18:00',
0,
0,
'17:00',
2,
['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']],
['2024-03-11', '2024-03-13']),
('received on holiday',
['2024-07-04T09:00',
0,
0,
'17:00',
2,
['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']],
['2024-07-05', '2024-07-09'])]]
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: cross-zone cutoff | ['2024-03-06', '2024-03-13'] | ['2024-03-06', '2024-03-13'] | Passed |
| exactly at cutoff | ['2024-03-06', '2024-03-11'] | ['2024-03-06', '2024-03-11'] | Passed |
| late minutes after cutoff hour | ['2024-03-06', '2024-03-11'] | ['2024-03-06', '2024-03-11'] | Passed |
| friday evening | ['2024-03-11', '2024-03-13'] | ['2024-03-11', '2024-03-13'] | Passed |
| received on holiday | ['2024-07-05', '2024-07-09'] | ['2024-07-05', '2024-07-09'] | Passed |
| received saturday | ['2024-03-11', '2024-03-12'] | ['2024-03-11', '2024-03-12'] | Passed |
| east to west | ['2024-03-06', '2024-03-08'] | ['2024-03-06', '2024-03-08'] | Passed |
SHA-256 / e1ae56ef832912da396614f481692184f47a045d37f39e76debde506f2e85433
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:27.591325+00:00.
Case digest / cf04b17f4f943a85181eda1a44e431d10f8bda7750e5501872796554fbc15d0b