FA-85456 / Ride-hailing fare and surge pricing / Open access
No-show fee withheld at exactly the waiting limit · case 01
A driver who waited exactly five minutes receives only the regular fee.
ROOT CAUSE
The no-show test requires strictly more than the waiting limit.
VERIFIED REPAIR
Charge the no-show fee once the wait reaches the limit.
Unsuccessful approach: Adding an extra minute of grace moves the threshold further away.
Case contract
Decide a cancellation charge [cents, reason]. Driver cancellations are free. A rider cancelling at or after driver arrival pays the no-show fee if at least noshow_wait seconds passed since arrival, else the regular fee. Before arrival, cancelling within free_window seconds of acceptance is free; it is also free if the ETA grew by more than late_margin since acceptance, or if the driver is more than late_margin past the ETA promised at acceptance; otherwise the regular fee applies.
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(ev, policy):
if ev['cancel_by'] == 'driver':
return [0, 'driver']
if ev['arrived_t'] is not None and ev['cancel_t'] >= ev['arrived_t']:
if ev['cancel_t'] - ev['arrived_t'] > policy['noshow_wait']:
return [policy['noshow_fee'], 'no_show']
return [policy['fee'], 'after_arrival']
if ev['cancel_t'] - ev['accept_t'] <= policy['free_window']:
return [0, 'free_window']
if ev['eta_latest'] - ev['eta_at_accept'] > policy['late_margin']:
return [0, 'driver_late']
if ev['cancel_t'] > ev['accept_t'] + ev['eta_at_accept'] + policy['late_margin']:
return [0, 'driver_late']
return [policy['fee'], 'late_cancel']
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 2100,
'cancel_by': 'rider',
'cancel_t': 2400,
'eta_at_accept': 900,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2201,
'eta_at_accept': 900,
'eta_latest': 500},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1300,
'cancel_by': 'rider',
'cancel_t': 1600,
'eta_at_accept': 300,
'eta_latest': 601},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1121,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': 1240,
'cancel_by': 'rider',
'cancel_t': 1900,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'driver',
'cancel_t': 1121,
'eta_at_accept': 480,
'eta_latest': 780},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2081,
'eta_at_accept': 900,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1300,
'cancel_by': 'rider',
'cancel_t': 1600,
'eta_at_accept': 300,
'eta_latest': 600},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1680,
'cancel_by': 'rider',
'cancel_t': 1981,
'eta_at_accept': 480,
'eta_latest': 781},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 2100,
'cancel_by': 'rider',
'cancel_t': 2401,
'eta_at_accept': 900,
'eta_latest': 500},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'driver',
'cancel_t': 1121,
'eta_at_accept': 240,
'eta_latest': -160},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1120,
'eta_at_accept': 900,
'eta_latest': 1201},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'free_window']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'driver',
'cancel_t': 1120,
'eta_at_accept': 480,
'eta_latest': 780},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 780},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1740,
'eta_at_accept': 240,
'eta_latest': 540},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1740,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1300,
'cancel_by': 'rider',
'cancel_t': 1601,
'eta_at_accept': 300,
'eta_latest': 300},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1900,
'eta_at_accept': 300,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver_late']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': 1240,
'cancel_by': 'rider',
'cancel_t': 1962,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'driver',
'cancel_t': 1540,
'eta_at_accept': 240,
'eta_latest': 840},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 1300,
'eta_at_accept': 900,
'eta_latest': 1200},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1740,
'eta_at_accept': 240,
'eta_latest': 541},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1741,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 1201},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': 1240,
'cancel_by': 'rider',
'cancel_t': 1480,
'eta_at_accept': 240,
'eta_latest': 840},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'after_arrival']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': 1480,
'cancel_by': 'rider',
'cancel_t': 1480,
'eta_at_accept': 480,
'eta_latest': 1080},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'after_arrival']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 300,
'eta_latest': 300},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver_late']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1354,
'eta_at_accept': 300,
'eta_latest': 300},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1480,
'cancel_by': 'rider',
'cancel_t': 1780,
'eta_at_accept': 480,
'eta_latest': 360},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 500},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 1201},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 240,
'eta_latest': 120},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver_late']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1121,
'eta_at_accept': 480,
'eta_latest': 480},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1300,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])]]
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: no-show threshold | [500, 'after_arrival'] | [700, 'no_show'] | Failed |
| partial repair probe: no-show threshold | [700, 'no_show'] | [700, 'no_show'] | Passed |
| second regression | [500, 'after_arrival'] | [700, 'no_show'] | Failed |
| normal control 1 | [500, 'late_cancel'] | [500, 'late_cancel'] | Passed |
| normal control 2 | [700, 'no_show'] | [700, 'no_show'] | Passed |
| normal control 3 | [0, 'driver'] | [0, 'driver'] | Passed |
| normal control 4 | [500, 'late_cancel'] | [500, 'late_cancel'] | Passed |
SHA-256 / 9de2658254b290c0081451d696d8161d202c9d9a3ffbbd5254b844f6abe31c1c
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(ev, policy):
if ev['cancel_by'] == 'driver':
return [0, 'driver']
if ev['arrived_t'] is not None and ev['cancel_t'] >= ev['arrived_t']:
if ev['cancel_t'] - ev['arrived_t'] >= policy['noshow_wait'] + 60:
return [policy['noshow_fee'], 'no_show']
return [policy['fee'], 'after_arrival']
if ev['cancel_t'] - ev['accept_t'] <= policy['free_window']:
return [0, 'free_window']
if ev['eta_latest'] - ev['eta_at_accept'] > policy['late_margin']:
return [0, 'driver_late']
if ev['cancel_t'] > ev['accept_t'] + ev['eta_at_accept'] + policy['late_margin']:
return [0, 'driver_late']
return [policy['fee'], 'late_cancel']
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 2100,
'cancel_by': 'rider',
'cancel_t': 2400,
'eta_at_accept': 900,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2201,
'eta_at_accept': 900,
'eta_latest': 500},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1300,
'cancel_by': 'rider',
'cancel_t': 1600,
'eta_at_accept': 300,
'eta_latest': 601},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1121,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': 1240,
'cancel_by': 'rider',
'cancel_t': 1900,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'driver',
'cancel_t': 1121,
'eta_at_accept': 480,
'eta_latest': 780},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2081,
'eta_at_accept': 900,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1300,
'cancel_by': 'rider',
'cancel_t': 1600,
'eta_at_accept': 300,
'eta_latest': 600},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1680,
'cancel_by': 'rider',
'cancel_t': 1981,
'eta_at_accept': 480,
'eta_latest': 781},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 2100,
'cancel_by': 'rider',
'cancel_t': 2401,
'eta_at_accept': 900,
'eta_latest': 500},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'driver',
'cancel_t': 1121,
'eta_at_accept': 240,
'eta_latest': -160},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1120,
'eta_at_accept': 900,
'eta_latest': 1201},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'free_window']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'driver',
'cancel_t': 1120,
'eta_at_accept': 480,
'eta_latest': 780},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 780},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1740,
'eta_at_accept': 240,
'eta_latest': 540},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1740,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1300,
'cancel_by': 'rider',
'cancel_t': 1601,
'eta_at_accept': 300,
'eta_latest': 300},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1900,
'eta_at_accept': 300,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver_late']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': 1240,
'cancel_by': 'rider',
'cancel_t': 1962,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'driver',
'cancel_t': 1540,
'eta_at_accept': 240,
'eta_latest': 840},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 1300,
'eta_at_accept': 900,
'eta_latest': 1200},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1740,
'eta_at_accept': 240,
'eta_latest': 541},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1741,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 1201},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': 1240,
'cancel_by': 'rider',
'cancel_t': 1480,
'eta_at_accept': 240,
'eta_latest': 840},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'after_arrival']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': 1480,
'cancel_by': 'rider',
'cancel_t': 1480,
'eta_at_accept': 480,
'eta_latest': 1080},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'after_arrival']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 300,
'eta_latest': 300},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver_late']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1354,
'eta_at_accept': 300,
'eta_latest': 300},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1480,
'cancel_by': 'rider',
'cancel_t': 1780,
'eta_at_accept': 480,
'eta_latest': 360},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 500},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 1201},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 240,
'eta_latest': 120},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver_late']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1121,
'eta_at_accept': 480,
'eta_latest': 480},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1300,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])]]
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: no-show threshold | [500, 'after_arrival'] | [700, 'no_show'] | Failed |
| partial repair probe: no-show threshold | [500, 'after_arrival'] | [700, 'no_show'] | Failed |
| second regression | [500, 'after_arrival'] | [700, 'no_show'] | Failed |
| normal control 1 | [500, 'late_cancel'] | [500, 'late_cancel'] | Passed |
| normal control 2 | [700, 'no_show'] | [700, 'no_show'] | Passed |
| normal control 3 | [0, 'driver'] | [0, 'driver'] | Passed |
| normal control 4 | [500, 'late_cancel'] | [500, 'late_cancel'] | Passed |
SHA-256 / 80637c7a276ab917d5e50e1e0795bdadf93ed074c5614c29a104df203c611baa
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(ev, policy):
if ev['cancel_by'] == 'driver':
return [0, 'driver']
if ev['arrived_t'] is not None and ev['cancel_t'] >= ev['arrived_t']:
if ev['cancel_t'] - ev['arrived_t'] >= policy['noshow_wait']:
return [policy['noshow_fee'], 'no_show']
return [policy['fee'], 'after_arrival']
if ev['cancel_t'] - ev['accept_t'] <= policy['free_window']:
return [0, 'free_window']
if ev['eta_latest'] - ev['eta_at_accept'] > policy['late_margin']:
return [0, 'driver_late']
if ev['cancel_t'] > ev['accept_t'] + ev['eta_at_accept'] + policy['late_margin']:
return [0, 'driver_late']
return [policy['fee'], 'late_cancel']
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 2100,
'cancel_by': 'rider',
'cancel_t': 2400,
'eta_at_accept': 900,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2201,
'eta_at_accept': 900,
'eta_latest': 500},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1300,
'cancel_by': 'rider',
'cancel_t': 1600,
'eta_at_accept': 300,
'eta_latest': 601},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1121,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': 1240,
'cancel_by': 'rider',
'cancel_t': 1900,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'driver',
'cancel_t': 1121,
'eta_at_accept': 480,
'eta_latest': 780},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2081,
'eta_at_accept': 900,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1300,
'cancel_by': 'rider',
'cancel_t': 1600,
'eta_at_accept': 300,
'eta_latest': 600},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1680,
'cancel_by': 'rider',
'cancel_t': 1981,
'eta_at_accept': 480,
'eta_latest': 781},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 2100,
'cancel_by': 'rider',
'cancel_t': 2401,
'eta_at_accept': 900,
'eta_latest': 500},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'driver',
'cancel_t': 1121,
'eta_at_accept': 240,
'eta_latest': -160},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1120,
'eta_at_accept': 900,
'eta_latest': 1201},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'free_window']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'driver',
'cancel_t': 1120,
'eta_at_accept': 480,
'eta_latest': 780},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 780},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1740,
'eta_at_accept': 240,
'eta_latest': 540},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1740,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1300,
'cancel_by': 'rider',
'cancel_t': 1601,
'eta_at_accept': 300,
'eta_latest': 300},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1900,
'eta_at_accept': 300,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver_late']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': 1240,
'cancel_by': 'rider',
'cancel_t': 1962,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'driver',
'cancel_t': 1540,
'eta_at_accept': 240,
'eta_latest': 840},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 1300,
'eta_at_accept': 900,
'eta_latest': 1200},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1740,
'eta_at_accept': 240,
'eta_latest': 541},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1440,
'cancel_by': 'rider',
'cancel_t': 1741,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 1201},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': 1240,
'cancel_by': 'rider',
'cancel_t': 1480,
'eta_at_accept': 240,
'eta_latest': 840},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'after_arrival']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': 1480,
'cancel_by': 'rider',
'cancel_t': 1480,
'eta_at_accept': 480,
'eta_latest': 1080},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'after_arrival']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 300,
'eta_latest': 300},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver_late']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1354,
'eta_at_accept': 300,
'eta_latest': 300},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])],
[('regression: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1480,
'cancel_by': 'rider',
'cancel_t': 1780,
'eta_at_accept': 480,
'eta_latest': 360},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('partial repair probe: no-show threshold',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 500},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('second regression',
[{'accept_t': 1000,
'arrived_t': 1900,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 1201},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[700, 'no_show']),
('normal control 1',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 240,
'eta_latest': 120},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[0, 'driver_late']),
('normal control 2',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1121,
'eta_at_accept': 480,
'eta_latest': 480},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel']),
('normal control 3',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 2200,
'eta_at_accept': 900,
'eta_latest': 900},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel']),
('normal control 4',
[{'accept_t': 1000,
'arrived_t': None,
'cancel_by': 'rider',
'cancel_t': 1300,
'eta_at_accept': 240,
'eta_latest': 240},
{'fee': 500, 'free_window': 120, 'late_margin': 300, 'noshow_fee': 700, 'noshow_wait': 300}],
[500, 'late_cancel'])]]
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: no-show threshold | [700, 'no_show'] | [700, 'no_show'] | Passed |
| partial repair probe: no-show threshold | [700, 'no_show'] | [700, 'no_show'] | Passed |
| second regression | [700, 'no_show'] | [700, 'no_show'] | Passed |
| normal control 1 | [500, 'late_cancel'] | [500, 'late_cancel'] | Passed |
| normal control 2 | [700, 'no_show'] | [700, 'no_show'] | Passed |
| normal control 3 | [0, 'driver'] | [0, 'driver'] | Passed |
| normal control 4 | [500, 'late_cancel'] | [500, 'late_cancel'] | Passed |
SHA-256 / f2e83685c1245371920adab747c9aaf85c58a35ec89ee039b15f9346d2fb4c55
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.539611+00:00.
Case digest / 69c68f0d6eb4f3fd324dccb1bae26b24fbb5357bf31d2f6d0f37b64c39f04033