FA-85501 / Ride-hailing fare and surge pricing / Open access
Weekday computed with a Sunday-first convention · case 01
Friday late-night pricing shows up on Saturdays.
ROOT CAUSE
The epoch weekday offset uses Sunday=0 while the cards use Monday=0.
VERIFIED REPAIR
Day 0 was a Thursday, so Monday-based weekday is (day + 3) % 7.
Unsuccessful approach: Treating day 0 as Monday shifts every weekday by three.
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 + 4) % 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: epoch weekday',
[1728770400, 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]],
'late_night'),
('partial repair probe: epoch weekday',
[1729029600, 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]],
'rush'),
('second regression',
[1729058400, 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}],
[20007]],
'rush'),
('normal control 1',
[1729165389, 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}],
[20005]],
'standard'),
('normal control 2',
[1728518400, -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}],
[20006]],
'standard'),
('normal control 3',
[1728349200, -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}],
[20011]],
'standard'),
('normal control 4',
[1728381600, 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]],
'standard')],
[('regression: epoch weekday',
[1728165600, 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]],
'late_night'),
('partial repair probe: epoch 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}],
[20005]],
'late_night'),
('second regression',
[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}],
[20001]],
'standard'),
('normal control 1',
[1729123200, -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}],
[20009]],
'standard'),
('normal control 2',
[1728432060, 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'),
('normal control 3',
[1728802800, -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}],
[20008]],
'holiday'),
('normal control 4',
[1728111600, 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')],
[('regression: epoch weekday',
[1728194400, -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}],
[20004]],
'late_night'),
('partial repair probe: epoch weekday',
[1728367200, -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}],
[20011]],
'standard'),
('second regression',
[1728342000, 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}],
[20005]],
'rush'),
('normal control 1',
[1729126800, 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'),
('normal control 2',
[1728457200, 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}],
[20002]],
'standard'),
('normal control 3',
[1728604860, -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}],
[20004]],
'standard'),
('normal control 4',
[1728086340, 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}],
[20005]],
'standard')],
[('regression: epoch weekday',
[1728802800, 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}],
[20005]],
'standard'),
('partial repair probe: epoch weekday',
[1728950400, 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]],
'standard'),
('second regression',
[1728626400, -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]],
'standard'),
('normal control 1',
[1728086340, 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}],
[20000]],
'standard'),
('normal control 2',
[1728000060, -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}],
[20012]],
'standard'),
('normal control 3',
[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}],
[20007]],
'standard'),
('normal control 4',
[1729036740, -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}],
[20008]],
'standard')],
[('regression: epoch weekday',
[1728198000, 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'),
('partial repair probe: epoch weekday',
[1728802800, -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}],
[20001]],
'late_night'),
('second regression',
[1728597600, 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]],
'rush'),
('normal control 1',
[1728774000, 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}],
[20011]],
'standard'),
('normal control 2',
[1728338400, -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}],
[20012]],
'standard'),
('normal control 3',
[1728864000, -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}],
[20003]],
'standard'),
('normal control 4',
[1728608400, -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]],
'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: epoch weekday | standard | late_night | Failed |
| partial repair probe: epoch weekday | rush | rush | Passed |
| second regression | rush | rush | 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 / 3672e7255b1619ef36a0cc2b7ebc46067ff2b75bd4e58bc66c511a5ac6d1c4a5
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 % 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: epoch weekday',
[1728770400, 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]],
'late_night'),
('partial repair probe: epoch weekday',
[1729029600, 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]],
'rush'),
('second regression',
[1729058400, 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}],
[20007]],
'rush'),
('normal control 1',
[1729165389, 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}],
[20005]],
'standard'),
('normal control 2',
[1728518400, -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}],
[20006]],
'standard'),
('normal control 3',
[1728349200, -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}],
[20011]],
'standard'),
('normal control 4',
[1728381600, 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]],
'standard')],
[('regression: epoch weekday',
[1728165600, 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]],
'late_night'),
('partial repair probe: epoch 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}],
[20005]],
'late_night'),
('second regression',
[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}],
[20001]],
'standard'),
('normal control 1',
[1729123200, -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}],
[20009]],
'standard'),
('normal control 2',
[1728432060, 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'),
('normal control 3',
[1728802800, -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}],
[20008]],
'holiday'),
('normal control 4',
[1728111600, 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')],
[('regression: epoch weekday',
[1728194400, -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}],
[20004]],
'late_night'),
('partial repair probe: epoch weekday',
[1728367200, -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}],
[20011]],
'standard'),
('second regression',
[1728342000, 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}],
[20005]],
'rush'),
('normal control 1',
[1729126800, 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'),
('normal control 2',
[1728457200, 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}],
[20002]],
'standard'),
('normal control 3',
[1728604860, -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}],
[20004]],
'standard'),
('normal control 4',
[1728086340, 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}],
[20005]],
'standard')],
[('regression: epoch weekday',
[1728802800, 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}],
[20005]],
'standard'),
('partial repair probe: epoch weekday',
[1728950400, 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]],
'standard'),
('second regression',
[1728626400, -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]],
'standard'),
('normal control 1',
[1728086340, 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}],
[20000]],
'standard'),
('normal control 2',
[1728000060, -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}],
[20012]],
'standard'),
('normal control 3',
[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}],
[20007]],
'standard'),
('normal control 4',
[1729036740, -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}],
[20008]],
'standard')],
[('regression: epoch weekday',
[1728198000, 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'),
('partial repair probe: epoch weekday',
[1728802800, -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}],
[20001]],
'late_night'),
('second regression',
[1728597600, 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]],
'rush'),
('normal control 1',
[1728774000, 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}],
[20011]],
'standard'),
('normal control 2',
[1728338400, -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}],
[20012]],
'standard'),
('normal control 3',
[1728864000, -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}],
[20003]],
'standard'),
('normal control 4',
[1728608400, -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]],
'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: epoch weekday | standard | late_night | Failed |
| partial repair probe: epoch weekday | standard | rush | Failed |
| second regression | standard | rush | 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 / 08f1247f5089e009a401b344e12a2c42d7139b533a4f2fb802764058c4ed05f0
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: epoch weekday',
[1728770400, 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]],
'late_night'),
('partial repair probe: epoch weekday',
[1729029600, 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]],
'rush'),
('second regression',
[1729058400, 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}],
[20007]],
'rush'),
('normal control 1',
[1729165389, 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}],
[20005]],
'standard'),
('normal control 2',
[1728518400, -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}],
[20006]],
'standard'),
('normal control 3',
[1728349200, -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}],
[20011]],
'standard'),
('normal control 4',
[1728381600, 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]],
'standard')],
[('regression: epoch weekday',
[1728165600, 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]],
'late_night'),
('partial repair probe: epoch 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}],
[20005]],
'late_night'),
('second regression',
[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}],
[20001]],
'standard'),
('normal control 1',
[1729123200, -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}],
[20009]],
'standard'),
('normal control 2',
[1728432060, 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'),
('normal control 3',
[1728802800, -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}],
[20008]],
'holiday'),
('normal control 4',
[1728111600, 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')],
[('regression: epoch weekday',
[1728194400, -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}],
[20004]],
'late_night'),
('partial repair probe: epoch weekday',
[1728367200, -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}],
[20011]],
'standard'),
('second regression',
[1728342000, 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}],
[20005]],
'rush'),
('normal control 1',
[1729126800, 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'),
('normal control 2',
[1728457200, 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}],
[20002]],
'standard'),
('normal control 3',
[1728604860, -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}],
[20004]],
'standard'),
('normal control 4',
[1728086340, 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}],
[20005]],
'standard')],
[('regression: epoch weekday',
[1728802800, 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}],
[20005]],
'standard'),
('partial repair probe: epoch weekday',
[1728950400, 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]],
'standard'),
('second regression',
[1728626400, -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]],
'standard'),
('normal control 1',
[1728086340, 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}],
[20000]],
'standard'),
('normal control 2',
[1728000060, -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}],
[20012]],
'standard'),
('normal control 3',
[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}],
[20007]],
'standard'),
('normal control 4',
[1729036740, -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}],
[20008]],
'standard')],
[('regression: epoch weekday',
[1728198000, 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'),
('partial repair probe: epoch weekday',
[1728802800, -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}],
[20001]],
'late_night'),
('second regression',
[1728597600, 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]],
'rush'),
('normal control 1',
[1728774000, 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}],
[20011]],
'standard'),
('normal control 2',
[1728338400, -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}],
[20012]],
'standard'),
('normal control 3',
[1728864000, -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}],
[20003]],
'standard'),
('normal control 4',
[1728608400, -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]],
'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: epoch weekday | late_night | late_night | Passed |
| partial repair probe: epoch weekday | rush | rush | Passed |
| second regression | rush | rush | 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 / dc53c8ef39e5e878fc8ffdad90c341c586ab965ff66ac15ba339d59f84825122
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.983436+00:00.
Case digest / 8ce987c03571424273003afdb3964d984a179fd1e5bbc5ff12541840b9321345