FA-85511 / Ride-hailing fare and surge pricing / Open access
Rush window includes its end minute · case 01
Pickups at exactly 10:00 still pay rush pricing.
ROOT CAUSE
The window end is compared inclusively.
VERIFIED REPAIR
Treat windows as [start, end).
Unsuccessful approach: Making both ends exclusive drops the first rush minute.
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 - 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: window end exclusive',
[1728950400, 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}],
[20006]],
'standard'),
('partial repair probe: window end exclusive',
[1728885600, 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}],
[20001]],
'rush'),
('second regression',
[1729148400, 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]],
'rush'),
('normal control 1',
[1729123200, 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}],
[20013]],
'holiday'),
('normal control 2',
[1728381600, -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}],
[20001]],
'standard'),
('normal control 3',
[1728208800, -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}],
[20010]],
'late_night'),
('normal control 4',
[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}],
[20006]],
'late_night')],
[('regression: window end exclusive',
[1728432000, 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}],
[20001]],
'standard'),
('partial repair probe: window end exclusive',
[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}],
[20000]],
'rush'),
('second regression',
[1728864000, 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}],
[20008]],
'standard'),
('normal control 1',
[1728082800, -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}],
[20013]],
'standard'),
('normal control 2',
[1728608400, 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',
[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}],
[20013]],
'late_night'),
('normal control 4',
[1728864060, -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')],
[('regression: window end exclusive',
[1728432000, 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}],
[20013]],
'standard'),
('partial repair probe: window end exclusive',
[1729062000, 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}],
[20006]],
'rush'),
('second regression',
[1729062000, 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}],
[20013]],
'rush'),
('normal control 1',
[1728511200, 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',
[1729058400, 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}],
[20008]],
'standard'),
('normal control 3',
[1728259140, -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 4',
[1729116000, -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')],
[('regression: window end exclusive',
[1728950400, 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}],
[20001]],
'standard'),
('partial repair probe: window end exclusive',
[1728284400, 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}],
[20006]],
'rush'),
('second regression',
[1729159200, 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}],
[20009]],
'standard'),
('normal control 1',
[1728345660, -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}],
[20004]],
'standard'),
('normal control 2',
[1728338400, 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'),
('normal control 3',
[1728691200, 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}],
[20003]],
'late_night'),
('normal control 4',
[1728198000, -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}],
[20010]],
'late_night')],
[('regression: window end exclusive',
[1728432000, 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}],
[20008]],
'standard'),
('partial repair probe: window end exclusive',
[1728457200, 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]],
'rush'),
('second regression',
[1728885600, 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]],
'rush'),
('normal control 1',
[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}],
[20001]],
'standard'),
('normal control 2',
[1728198000, 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}],
[20002]],
'holiday'),
('normal control 3',
[1728863940, 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'),
('normal control 4',
[1729072800, 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}],
[20003]],
'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: window end exclusive | rush | standard | Failed |
| partial repair probe: window end exclusive | rush | rush | Passed |
| second regression | rush | rush | Passed |
| normal control 1 | holiday | holiday | Passed |
| normal control 2 | standard | standard | Passed |
| normal control 3 | late_night | late_night | Passed |
| normal control 4 | late_night | late_night | Passed |
SHA-256 / 32e4bd690da1e1d4dbe8aff06fbbce664e5952a4cebcbba2b9e30293ffa84678
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: window end exclusive',
[1728950400, 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}],
[20006]],
'standard'),
('partial repair probe: window end exclusive',
[1728885600, 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}],
[20001]],
'rush'),
('second regression',
[1729148400, 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]],
'rush'),
('normal control 1',
[1729123200, 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}],
[20013]],
'holiday'),
('normal control 2',
[1728381600, -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}],
[20001]],
'standard'),
('normal control 3',
[1728208800, -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}],
[20010]],
'late_night'),
('normal control 4',
[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}],
[20006]],
'late_night')],
[('regression: window end exclusive',
[1728432000, 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}],
[20001]],
'standard'),
('partial repair probe: window end exclusive',
[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}],
[20000]],
'rush'),
('second regression',
[1728864000, 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}],
[20008]],
'standard'),
('normal control 1',
[1728082800, -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}],
[20013]],
'standard'),
('normal control 2',
[1728608400, 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',
[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}],
[20013]],
'late_night'),
('normal control 4',
[1728864060, -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')],
[('regression: window end exclusive',
[1728432000, 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}],
[20013]],
'standard'),
('partial repair probe: window end exclusive',
[1729062000, 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}],
[20006]],
'rush'),
('second regression',
[1729062000, 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}],
[20013]],
'rush'),
('normal control 1',
[1728511200, 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',
[1729058400, 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}],
[20008]],
'standard'),
('normal control 3',
[1728259140, -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 4',
[1729116000, -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')],
[('regression: window end exclusive',
[1728950400, 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}],
[20001]],
'standard'),
('partial repair probe: window end exclusive',
[1728284400, 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}],
[20006]],
'rush'),
('second regression',
[1729159200, 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}],
[20009]],
'standard'),
('normal control 1',
[1728345660, -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}],
[20004]],
'standard'),
('normal control 2',
[1728338400, 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'),
('normal control 3',
[1728691200, 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}],
[20003]],
'late_night'),
('normal control 4',
[1728198000, -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}],
[20010]],
'late_night')],
[('regression: window end exclusive',
[1728432000, 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}],
[20008]],
'standard'),
('partial repair probe: window end exclusive',
[1728457200, 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]],
'rush'),
('second regression',
[1728885600, 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]],
'rush'),
('normal control 1',
[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}],
[20001]],
'standard'),
('normal control 2',
[1728198000, 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}],
[20002]],
'holiday'),
('normal control 3',
[1728863940, 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'),
('normal control 4',
[1729072800, 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}],
[20003]],
'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: window end exclusive | standard | standard | Passed |
| partial repair probe: window end exclusive | standard | rush | Failed |
| second regression | standard | rush | Failed |
| normal control 1 | holiday | holiday | Passed |
| normal control 2 | standard | standard | Passed |
| normal control 3 | late_night | late_night | Passed |
| normal control 4 | late_night | late_night | Passed |
SHA-256 / b261b18cb86867d5ceb90db680bf1669d70b4823f6aa02e08c505bdfb8b3ff3f
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: window end exclusive',
[1728950400, 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}],
[20006]],
'standard'),
('partial repair probe: window end exclusive',
[1728885600, 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}],
[20001]],
'rush'),
('second regression',
[1729148400, 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]],
'rush'),
('normal control 1',
[1729123200, 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}],
[20013]],
'holiday'),
('normal control 2',
[1728381600, -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}],
[20001]],
'standard'),
('normal control 3',
[1728208800, -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}],
[20010]],
'late_night'),
('normal control 4',
[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}],
[20006]],
'late_night')],
[('regression: window end exclusive',
[1728432000, 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}],
[20001]],
'standard'),
('partial repair probe: window end exclusive',
[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}],
[20000]],
'rush'),
('second regression',
[1728864000, 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}],
[20008]],
'standard'),
('normal control 1',
[1728082800, -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}],
[20013]],
'standard'),
('normal control 2',
[1728608400, 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',
[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}],
[20013]],
'late_night'),
('normal control 4',
[1728864060, -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')],
[('regression: window end exclusive',
[1728432000, 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}],
[20013]],
'standard'),
('partial repair probe: window end exclusive',
[1729062000, 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}],
[20006]],
'rush'),
('second regression',
[1729062000, 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}],
[20013]],
'rush'),
('normal control 1',
[1728511200, 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',
[1729058400, 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}],
[20008]],
'standard'),
('normal control 3',
[1728259140, -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 4',
[1729116000, -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')],
[('regression: window end exclusive',
[1728950400, 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}],
[20001]],
'standard'),
('partial repair probe: window end exclusive',
[1728284400, 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}],
[20006]],
'rush'),
('second regression',
[1729159200, 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}],
[20009]],
'standard'),
('normal control 1',
[1728345660, -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}],
[20004]],
'standard'),
('normal control 2',
[1728338400, 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'),
('normal control 3',
[1728691200, 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}],
[20003]],
'late_night'),
('normal control 4',
[1728198000, -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}],
[20010]],
'late_night')],
[('regression: window end exclusive',
[1728432000, 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}],
[20008]],
'standard'),
('partial repair probe: window end exclusive',
[1728457200, 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]],
'rush'),
('second regression',
[1728885600, 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]],
'rush'),
('normal control 1',
[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}],
[20001]],
'standard'),
('normal control 2',
[1728198000, 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}],
[20002]],
'holiday'),
('normal control 3',
[1728863940, 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'),
('normal control 4',
[1729072800, 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}],
[20003]],
'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: window end exclusive | standard | standard | Passed |
| partial repair probe: window end exclusive | rush | rush | Passed |
| second regression | rush | rush | Passed |
| normal control 1 | holiday | holiday | Passed |
| normal control 2 | standard | standard | Passed |
| normal control 3 | late_night | late_night | Passed |
| normal control 4 | late_night | late_night | Passed |
SHA-256 / 0b4bcf71f48728d954810602cb3972c194b93ab584e5f75a9f17600b429e62fa
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:41.081719+00:00.
Case digest / b79aec9e254b36e1ece5330e14807307183c74d1d5d8d92ad8e383952a95888c