FA-85496 / Ride-hailing fare and surge pricing / Open access
UTC offset applied in the wrong direction · case 01
A city behind UTC gets its evening rush card in the early afternoon.
ROOT CAUSE
The offset is subtracted from UTC instead of added.
VERIFIED REPAIR
Local time = UTC + offset minutes x 60.
Unsuccessful approach: Adding the offset without converting minutes to seconds barely moves the clock.
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: utc offset sign',
[1728863940, -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}],
[20002]],
'standard'),
('partial repair probe: utc offset sign',
[1728082800, 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'),
('second regression',
[1728601200, -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}],
[20000]],
'standard'),
('normal control 1',
[1728000000, 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}],
[20012]],
'standard'),
('normal control 2',
[1728972000, -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 3',
[1728864060, 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 4',
[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}],
[20004]],
'standard')],
[('regression: utc offset sign',
[1728856800, 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}],
[20004]],
'rush'),
('partial repair probe: utc offset sign',
[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}],
[20008]],
'rush'),
('second regression',
[1728518400, -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}],
[20002]],
'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}],
[20000]],
'standard'),
('normal control 2',
[1728863940, 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'),
('normal control 3',
[1728000000, 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}],
[20012]],
'standard'),
('normal control 4',
[1728946800, -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')],
[('regression: utc offset sign',
[1728468000, 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]],
'standard'),
('partial repair probe: utc offset sign',
[1729005186, 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}],
[20011]],
'standard'),
('second regression',
[1728457200, 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]],
'rush'),
('normal control 1',
[1728108000, 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 2',
[1729033200, 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 3',
[1729058400, -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}],
[20006]],
'standard'),
('normal control 4',
[1728712800, 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: utc offset sign',
[1728198000, 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'),
('partial repair probe: utc offset sign',
[1728783376, 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'),
('second regression',
[1728640800, -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 1',
[1729159200, 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'),
('normal control 2',
[1728511200, 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'),
('normal control 3',
[1729206000, 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'),
('normal control 4',
[1728543600, 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')],
[('regression: utc offset sign',
[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}],
[20005]],
'late_night'),
('partial repair probe: utc offset sign',
[1728169200, 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]],
'holiday'),
('second regression',
[1728370800, 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'),
('normal control 1',
[1728331831, 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'),
('normal control 2',
[1728710003, 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]],
'standard'),
('normal control 3',
[1728867600, -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'),
('normal control 4',
[1728194400, 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}],
[20011]],
'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: utc offset sign | rush | standard | Failed |
| partial repair probe: utc offset sign | standard | standard | Passed |
| second regression | rush | standard | 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 / 216df2c37b7f75d3f55fab4b8cb72b747197ba04bac1c23b6e5b2c9cf450d8b6
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
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: utc offset sign',
[1728863940, -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}],
[20002]],
'standard'),
('partial repair probe: utc offset sign',
[1728082800, 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'),
('second regression',
[1728601200, -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}],
[20000]],
'standard'),
('normal control 1',
[1728000000, 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}],
[20012]],
'standard'),
('normal control 2',
[1728972000, -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 3',
[1728864060, 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 4',
[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}],
[20004]],
'standard')],
[('regression: utc offset sign',
[1728856800, 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}],
[20004]],
'rush'),
('partial repair probe: utc offset sign',
[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}],
[20008]],
'rush'),
('second regression',
[1728518400, -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}],
[20002]],
'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}],
[20000]],
'standard'),
('normal control 2',
[1728863940, 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'),
('normal control 3',
[1728000000, 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}],
[20012]],
'standard'),
('normal control 4',
[1728946800, -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')],
[('regression: utc offset sign',
[1728468000, 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]],
'standard'),
('partial repair probe: utc offset sign',
[1729005186, 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}],
[20011]],
'standard'),
('second regression',
[1728457200, 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]],
'rush'),
('normal control 1',
[1728108000, 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 2',
[1729033200, 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 3',
[1729058400, -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}],
[20006]],
'standard'),
('normal control 4',
[1728712800, 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: utc offset sign',
[1728198000, 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'),
('partial repair probe: utc offset sign',
[1728783376, 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'),
('second regression',
[1728640800, -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 1',
[1729159200, 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'),
('normal control 2',
[1728511200, 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'),
('normal control 3',
[1729206000, 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'),
('normal control 4',
[1728543600, 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')],
[('regression: utc offset sign',
[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}],
[20005]],
'late_night'),
('partial repair probe: utc offset sign',
[1728169200, 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]],
'holiday'),
('second regression',
[1728370800, 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'),
('normal control 1',
[1728331831, 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'),
('normal control 2',
[1728710003, 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]],
'standard'),
('normal control 3',
[1728867600, -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'),
('normal control 4',
[1728194400, 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}],
[20011]],
'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: utc offset sign | standard | standard | Passed |
| partial repair probe: utc offset sign | late_night | standard | Failed |
| second regression | standard | standard | 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 / ac3baf4da5d778eca6e9ae8f6b041ae7361c42b1c42269774208df12bd21ebe9
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: utc offset sign',
[1728863940, -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}],
[20002]],
'standard'),
('partial repair probe: utc offset sign',
[1728082800, 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'),
('second regression',
[1728601200, -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}],
[20000]],
'standard'),
('normal control 1',
[1728000000, 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}],
[20012]],
'standard'),
('normal control 2',
[1728972000, -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 3',
[1728864060, 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 4',
[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}],
[20004]],
'standard')],
[('regression: utc offset sign',
[1728856800, 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}],
[20004]],
'rush'),
('partial repair probe: utc offset sign',
[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}],
[20008]],
'rush'),
('second regression',
[1728518400, -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}],
[20002]],
'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}],
[20000]],
'standard'),
('normal control 2',
[1728863940, 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'),
('normal control 3',
[1728000000, 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}],
[20012]],
'standard'),
('normal control 4',
[1728946800, -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')],
[('regression: utc offset sign',
[1728468000, 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]],
'standard'),
('partial repair probe: utc offset sign',
[1729005186, 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}],
[20011]],
'standard'),
('second regression',
[1728457200, 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]],
'rush'),
('normal control 1',
[1728108000, 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 2',
[1729033200, 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 3',
[1729058400, -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}],
[20006]],
'standard'),
('normal control 4',
[1728712800, 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: utc offset sign',
[1728198000, 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'),
('partial repair probe: utc offset sign',
[1728783376, 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'),
('second regression',
[1728640800, -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 1',
[1729159200, 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'),
('normal control 2',
[1728511200, 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'),
('normal control 3',
[1729206000, 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'),
('normal control 4',
[1728543600, 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')],
[('regression: utc offset sign',
[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}],
[20005]],
'late_night'),
('partial repair probe: utc offset sign',
[1728169200, 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]],
'holiday'),
('second regression',
[1728370800, 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'),
('normal control 1',
[1728331831, 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'),
('normal control 2',
[1728710003, 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]],
'standard'),
('normal control 3',
[1728867600, -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'),
('normal control 4',
[1728194400, 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}],
[20011]],
'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: utc offset sign | standard | standard | Passed |
| partial repair probe: utc offset sign | standard | standard | Passed |
| second regression | standard | standard | 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 / 82b3e5afc545d5b214ee27abc5b0d601d2c628a730a4fe9a570f32bbd953221b
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.928345+00:00.
Case digest / 38d0a5c50b1db67ec375a278c9ae3d25d0501a47e8c9725c5433f52570b99343