FAILURE MAP
← Case archive

FA-85516 / Ride-hailing fare and surge pricing / Open access

Holiday matched on the UTC date · case 01

In a city ahead of UTC the first hours of the holiday are priced normally.

Verified by executionVariant 1 · 7 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Holiday lookup uses the UTC day index instead of the local day.

THE FAILURE

Holiday lookup uses the UTC day index instead of the local day.

Unsuccessful approach: Accepting either day index also marks the evening before as holiday.

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 = ts_utc // 86400 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: holiday calendar day',
   [1729182230, 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: holiday calendar day',
   [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}],
    [20010]],
   'standard'),
  ('second regression',
   [1728345540, 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]],
   'rush'),
  ('normal control 1',
   [1728604860, 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}],
    [20009]],
   'standard'),
  ('normal control 2',
   [1728424800, 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 3',
   [1728543600, 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]],
   'rush'),
  ('normal control 4',
   [1728295200, 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')],
 [('regression: holiday calendar day',
   [1728252000, 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]],
   'rush'),
  ('partial repair probe: holiday calendar day',
   [1728432000, -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}],
    [20005]],
   'standard'),
  ('second regression',
   [1728172800, -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]],
   'holiday'),
  ('normal control 1',
   [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}],
    [20004]],
   'late_night'),
  ('normal control 2',
   [1728687600, -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 3',
   [1728090000, 0,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20004]],
   'late_night'),
  ('normal control 4',
   [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}],
    [20001]],
   'standard')],
 [('regression: holiday calendar day',
   [1728950340, 60,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20010]],
   'standard'),
  ('partial repair probe: holiday calendar day',
   [1728777600, -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'),
  ('second regression',
   [1728086400, -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 1',
   [1728856800, 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 2',
   [1728537326, 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'),
  ('normal control 3',
   [1728172800, 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 4',
   [1728194400, 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')],
 [('regression: holiday calendar day',
   [1728604740, 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]],
   'holiday'),
  ('partial repair probe: holiday calendar day',
   [1728079200, 600,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20000]],
   'standard'),
  ('second regression',
   [1728777660, -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 1',
   [1728604860, 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',
   [1728604740, 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]],
   'rush'),
  ('normal control 3',
   [1728208800, 60,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20003]],
   'standard'),
  ('normal control 4',
   [1728252000, -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')],
 [('regression: holiday calendar day',
   [1728860400, 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]],
   'holiday'),
  ('partial repair probe: holiday calendar day',
   [1728777660, -480,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20009]],
   'standard'),
  ('second regression',
   [1728855612, 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]],
   'holiday'),
  ('normal control 1',
   [1729036740, 60,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20003]],
   'standard'),
  ('normal control 2',
   [1729058400, -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 3',
   [1728946800, 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 4',
   [1728950460, -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')]]
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 fixtureActualExpectedOutcome
regression: holiday calendar dayholidaystandardFailed
partial repair probe: holiday calendar dayholidaystandardFailed
second regressionholidayrushFailed
normal control 1standardstandardPassed
normal control 2standardstandardPassed
normal control 3rushrushPassed
normal control 4standardstandardPassed

SHA-256 / 372b285f57993e92b060bd298ce2a2ad2a857eb967baef509ddf4962072edd55

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 or ts_utc // 86400 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: holiday calendar day',
   [1729182230, 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: holiday calendar day',
   [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}],
    [20010]],
   'standard'),
  ('second regression',
   [1728345540, 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]],
   'rush'),
  ('normal control 1',
   [1728604860, 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}],
    [20009]],
   'standard'),
  ('normal control 2',
   [1728424800, 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 3',
   [1728543600, 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]],
   'rush'),
  ('normal control 4',
   [1728295200, 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')],
 [('regression: holiday calendar day',
   [1728252000, 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]],
   'rush'),
  ('partial repair probe: holiday calendar day',
   [1728432000, -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}],
    [20005]],
   'standard'),
  ('second regression',
   [1728172800, -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]],
   'holiday'),
  ('normal control 1',
   [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}],
    [20004]],
   'late_night'),
  ('normal control 2',
   [1728687600, -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 3',
   [1728090000, 0,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20004]],
   'late_night'),
  ('normal control 4',
   [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}],
    [20001]],
   'standard')],
 [('regression: holiday calendar day',
   [1728950340, 60,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20010]],
   'standard'),
  ('partial repair probe: holiday calendar day',
   [1728777600, -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'),
  ('second regression',
   [1728086400, -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 1',
   [1728856800, 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 2',
   [1728537326, 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'),
  ('normal control 3',
   [1728172800, 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 4',
   [1728194400, 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')],
 [('regression: holiday calendar day',
   [1728604740, 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]],
   'holiday'),
  ('partial repair probe: holiday calendar day',
   [1728079200, 600,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20000]],
   'standard'),
  ('second regression',
   [1728777660, -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 1',
   [1728604860, 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',
   [1728604740, 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]],
   'rush'),
  ('normal control 3',
   [1728208800, 60,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20003]],
   'standard'),
  ('normal control 4',
   [1728252000, -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')],
 [('regression: holiday calendar day',
   [1728860400, 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]],
   'holiday'),
  ('partial repair probe: holiday calendar day',
   [1728777660, -480,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20009]],
   'standard'),
  ('second regression',
   [1728855612, 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]],
   'holiday'),
  ('normal control 1',
   [1729036740, 60,
    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},
     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},
     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],
    [20003]],
   'standard'),
  ('normal control 2',
   [1729058400, -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 3',
   [1728946800, 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 4',
   [1728950460, -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')]]
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 fixtureActualExpectedOutcome
regression: holiday calendar dayholidaystandardFailed
partial repair probe: holiday calendar dayholidaystandardFailed
second regressionholidayrushFailed
normal control 1standardstandardPassed
normal control 2standardstandardPassed
normal control 3rushrushPassed
normal control 4standardstandardPassed

SHA-256 / 9215c7773490a3d288ce103db065739c9270a348f75fc59b6e8b17e09b53ec38

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 7 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

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.141370+00:00.

Case digest / 319d43c906352f41e0da52fa27cd846165e844d447fc8e7a0ecd2e55c32bc84d