FA-85506 / Ride-hailing fare and surge pricing / Open access
After-midnight part of a late-night window keyed to the new day · case 01
Friday 1 a.m. gets Thursday-night pricing and Sunday 1 a.m. gets none.
ROOT CAUSE
The post-midnight half of a wrapping window checks the current weekday.
VERIFIED REPAIR
Attribute minutes before end to the previous weekday.
Unsuccessful approach: Checking the next weekday moves the window the wrong way.
Case contract
Pick the rate card for a pickup at ts_utc seconds (Unix epoch; day 0 was a Thursday) in a city at offset_min minutes from UTC. Local day index and minute-of-day come from the local time; weekday is Monday=0. Cards are checked in order, windows are half-open [start, end) minutes; a window with start > end wraps midnight and its after-midnight part belongs to the previous weekday. Holiday cards match local day indexes in holidays. Default "standard".
Why this case matters
Ride-hailing prices are computed per trip at scale; ordering, unit and boundary slips become systematic over- or under-charging.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(ts_utc, offset_min, cards, holidays):
local = ts_utc + offset_min * 60
day = local // 86400
minute = local % 86400 // 60
wd = (day + 3) % 7
is_hol = day in holidays
for c in cards:
if c['days'] == 'holiday':
if is_hol and c['start'] <= minute < c['end']:
return c['card']
continue
if c['start'] < c['end']:
if wd in c['days'] and c['start'] <= minute < c['end']:
return c['card']
else:
if wd in c['days'] and minute >= c['start']:
return c['card']
if wd in c['days'] and minute < c['end']:
return c['card']
return 'standard'
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: wrapped window weekday',
[1728604740, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard'),
('partial repair probe: wrapped window weekday',
[1729123200, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20005]],
'standard'),
('second regression',
[1728700972, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20001]],
'late_night'),
('normal control 1',
[1728431940, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20011]],
'standard'),
('normal control 2',
[1728950340, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'standard'),
('normal control 3',
[1728021600, -480,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20005]],
'standard'),
('normal control 4',
[1729033200, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'standard')],
[('regression: wrapped window weekday',
[1728604800, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20004]],
'standard'),
('partial repair probe: wrapped window weekday',
[1728727200, -480,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'late_night'),
('second regression',
[1728687600, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'late_night'),
('normal control 1',
[1728367200, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20013]],
'standard'),
('normal control 2',
[1728194400, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20008]],
'standard'),
('normal control 3',
[1728518460, -300,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20003]],
'standard'),
('normal control 4',
[1728554400, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard')],
[('regression: wrapped window weekday',
[1728165600, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20003]],
'late_night'),
('partial repair probe: wrapped window weekday',
[1729116000, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20006]],
'standard'),
('second regression',
[1728774000, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20011]],
'late_night'),
('normal control 1',
[1728889200, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20005]],
'rush'),
('normal control 2',
[1728856800, -300,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard'),
('normal control 3',
[1729159200, 600,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'standard'),
('normal control 4',
[1728716400, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard')],
[('regression: wrapped window weekday',
[1728608400, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard'),
('partial repair probe: wrapped window weekday',
[1728663396, 600,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20000]],
'late_night'),
('second regression',
[1728777660, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'late_night'),
('normal control 1',
[1728799200, 600,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20012]],
'standard'),
('normal control 2',
[1729119600, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20009]],
'standard'),
('normal control 3',
[1728338400, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20012]],
'standard'),
('normal control 4',
[1728597600, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20004]],
'standard')],
[('regression: wrapped window weekday',
[1729209540, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20000]],
'standard'),
('partial repair probe: wrapped window weekday',
[1728082800, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20003]],
'late_night'),
('second regression',
[1728169200, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20012]],
'late_night'),
('normal control 1',
[1728021600, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'standard'),
('normal control 2',
[1728025200, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'rush'),
('normal control 3',
[1728036000, -300,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20013]],
'standard'),
('normal control 4',
[1728172740, -480,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20009]],
'standard')]]
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: wrapped window weekday | late_night | standard | Failed |
| partial repair probe: wrapped window weekday | standard | standard | Passed |
| second regression | late_night | late_night | Passed |
| normal control 1 | standard | standard | Passed |
| normal control 2 | standard | standard | Passed |
| normal control 3 | standard | standard | Passed |
| normal control 4 | standard | standard | Passed |
SHA-256 / da1f5fadff37ef694ed82aa7f3330c8220db5047dbf3897779dfa7d418f7baf5
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(ts_utc, offset_min, cards, holidays):
local = ts_utc + offset_min * 60
day = local // 86400
minute = local % 86400 // 60
wd = (day + 3) % 7
is_hol = day in holidays
for c in cards:
if c['days'] == 'holiday':
if is_hol and c['start'] <= minute < c['end']:
return c['card']
continue
if c['start'] < c['end']:
if wd in c['days'] and c['start'] <= minute < c['end']:
return c['card']
else:
if wd in c['days'] and minute >= c['start']:
return c['card']
if (wd + 1) % 7 in c['days'] and minute < c['end']:
return c['card']
return 'standard'
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: wrapped window weekday',
[1728604740, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard'),
('partial repair probe: wrapped window weekday',
[1729123200, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20005]],
'standard'),
('second regression',
[1728700972, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20001]],
'late_night'),
('normal control 1',
[1728431940, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20011]],
'standard'),
('normal control 2',
[1728950340, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'standard'),
('normal control 3',
[1728021600, -480,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20005]],
'standard'),
('normal control 4',
[1729033200, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'standard')],
[('regression: wrapped window weekday',
[1728604800, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20004]],
'standard'),
('partial repair probe: wrapped window weekday',
[1728727200, -480,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'late_night'),
('second regression',
[1728687600, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'late_night'),
('normal control 1',
[1728367200, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20013]],
'standard'),
('normal control 2',
[1728194400, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20008]],
'standard'),
('normal control 3',
[1728518460, -300,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20003]],
'standard'),
('normal control 4',
[1728554400, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard')],
[('regression: wrapped window weekday',
[1728165600, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20003]],
'late_night'),
('partial repair probe: wrapped window weekday',
[1729116000, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20006]],
'standard'),
('second regression',
[1728774000, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20011]],
'late_night'),
('normal control 1',
[1728889200, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20005]],
'rush'),
('normal control 2',
[1728856800, -300,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard'),
('normal control 3',
[1729159200, 600,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'standard'),
('normal control 4',
[1728716400, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard')],
[('regression: wrapped window weekday',
[1728608400, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard'),
('partial repair probe: wrapped window weekday',
[1728663396, 600,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20000]],
'late_night'),
('second regression',
[1728777660, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'late_night'),
('normal control 1',
[1728799200, 600,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20012]],
'standard'),
('normal control 2',
[1729119600, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20009]],
'standard'),
('normal control 3',
[1728338400, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20012]],
'standard'),
('normal control 4',
[1728597600, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20004]],
'standard')],
[('regression: wrapped window weekday',
[1729209540, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20000]],
'standard'),
('partial repair probe: wrapped window weekday',
[1728082800, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20003]],
'late_night'),
('second regression',
[1728169200, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20012]],
'late_night'),
('normal control 1',
[1728021600, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'standard'),
('normal control 2',
[1728025200, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'rush'),
('normal control 3',
[1728036000, -300,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20013]],
'standard'),
('normal control 4',
[1728172740, -480,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20009]],
'standard')]]
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: wrapped window weekday | late_night | standard | Failed |
| partial repair probe: wrapped window weekday | late_night | standard | Failed |
| second regression | standard | late_night | Failed |
| normal control 1 | standard | standard | Passed |
| normal control 2 | standard | standard | Passed |
| normal control 3 | standard | standard | Passed |
| normal control 4 | standard | standard | Passed |
SHA-256 / be3b64ae81346a0225a0ac4c053661467b36a9e8122448791b642a10bd60ad19
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(ts_utc, offset_min, cards, holidays):
local = ts_utc + offset_min * 60
day = local // 86400
minute = local % 86400 // 60
wd = (day + 3) % 7
is_hol = day in holidays
for c in cards:
if c['days'] == 'holiday':
if is_hol and c['start'] <= minute < c['end']:
return c['card']
continue
if c['start'] < c['end']:
if wd in c['days'] and c['start'] <= minute < c['end']:
return c['card']
else:
if wd in c['days'] and minute >= c['start']:
return c['card']
if (wd - 1) % 7 in c['days'] and minute < c['end']:
return c['card']
return 'standard'
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: wrapped window weekday',
[1728604740, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard'),
('partial repair probe: wrapped window weekday',
[1729123200, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20005]],
'standard'),
('second regression',
[1728700972, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20001]],
'late_night'),
('normal control 1',
[1728431940, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20011]],
'standard'),
('normal control 2',
[1728950340, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'standard'),
('normal control 3',
[1728021600, -480,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20005]],
'standard'),
('normal control 4',
[1729033200, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'standard')],
[('regression: wrapped window weekday',
[1728604800, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20004]],
'standard'),
('partial repair probe: wrapped window weekday',
[1728727200, -480,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'late_night'),
('second regression',
[1728687600, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'late_night'),
('normal control 1',
[1728367200, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20013]],
'standard'),
('normal control 2',
[1728194400, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20008]],
'standard'),
('normal control 3',
[1728518460, -300,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20003]],
'standard'),
('normal control 4',
[1728554400, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard')],
[('regression: wrapped window weekday',
[1728165600, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20003]],
'late_night'),
('partial repair probe: wrapped window weekday',
[1729116000, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20006]],
'standard'),
('second regression',
[1728774000, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20011]],
'late_night'),
('normal control 1',
[1728889200, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20005]],
'rush'),
('normal control 2',
[1728856800, -300,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard'),
('normal control 3',
[1729159200, 600,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'standard'),
('normal control 4',
[1728716400, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard')],
[('regression: wrapped window weekday',
[1728608400, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20010]],
'standard'),
('partial repair probe: wrapped window weekday',
[1728663396, 600,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20000]],
'late_night'),
('second regression',
[1728777660, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'late_night'),
('normal control 1',
[1728799200, 600,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20012]],
'standard'),
('normal control 2',
[1729119600, 330,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20009]],
'standard'),
('normal control 3',
[1728338400, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20012]],
'standard'),
('normal control 4',
[1728597600, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20004]],
'standard')],
[('regression: wrapped window weekday',
[1729209540, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20000]],
'standard'),
('partial repair probe: wrapped window weekday',
[1728082800, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20003]],
'late_night'),
('second regression',
[1728169200, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20012]],
'late_night'),
('normal control 1',
[1728021600, 0,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20007]],
'standard'),
('normal control 2',
[1728025200, 60,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20002]],
'rush'),
('normal control 3',
[1728036000, -300,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20013]],
'standard'),
('normal control 4',
[1728172740, -480,
[{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
{'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
{'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
[20009]],
'standard')]]
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: wrapped window weekday | standard | standard | Passed |
| partial repair probe: wrapped window weekday | standard | standard | Passed |
| second regression | late_night | late_night | Passed |
| normal control 1 | standard | standard | Passed |
| normal control 2 | standard | standard | Passed |
| normal control 3 | standard | standard | Passed |
| normal control 4 | standard | standard | Passed |
SHA-256 / f3e5cb6edebda09b8af3f935965df84fc6fef250d527ec2b290c5c8ded222996
Verification & scope
A deterministic toy pricing contract stipulated for this example; it does not reproduce the pricing of any real ride-hailing operator or regulator. 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:50:40.994898+00:00.
Case digest / 0512167f81968e793e21de7c6dea9ac7d61d73a766ec8c90bbed909bef799491