FA-85651 / Ride-hailing fare and surge pricing / Open access
Rider counted in every zone they requested from · case 01
A rider re-requesting after walking to another zone counts twice.
ROOT CAUSE
Deduplication is keyed by rider and zone.
VERIFIED REPAIR
Key by rider only and keep their latest zone.
Unsuccessful approach: Keying by rider and timestamp counts each repeated request.
Case contract
Surge demand counts ride requests [t, rider, zone] in the window (now - window, now]. Each rider counts once, in the zone of their latest request in the window (a later-listed request wins a timestamp tie). Return zone -> count for zones with demand.
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(requests, now, window):
latest = {}
for t, rider, zone in requests:
if now - window < t <= now:
key = (rider, zone)
if key not in latest or t >= latest[key][0]:
latest[key] = (t, zone)
out = {}
for t, zone in latest.values():
out[zone] = out.get(zone, 0) + 1
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: rider deduplication key',
[[[1001, 'u4', 'Z2'], [401, 'u2', 'Z2'], [999, 'u3', 'Z1'], [999, 'u2', 'Z1'], [999, 'u3', 'Z2'],
[500, 'u3', 'Z2'], [1001, 'u1', 'Z2'], [401, 'u4', 'Z1']],
1000, 600],
{'Z1': 2, 'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[400, 'u4', 'Z2'], [700, 'u2', 'Z1'], [400, 'u2', 'Z2'], [500, 'u4', 'Z1'], [999, 'u2', 'Z1'],
[500, 'u2', 'Z1'], [400, 'u4', 'Z2']],
1000, 600],
{'Z1': 2}),
('second regression',
[[[700, 'u2', 'Z2'], [400, 'u3', 'Z2'], [401, 'u3', 'Z2'], [1000, 'u4', 'Z1'], [700, 'u4', 'Z1'],
[400, 'u3', 'Z1'], [1001, 'u1', 'Z2']],
1000, 600],
{'Z1': 1, 'Z2': 2}),
('normal control 1', [[[400, 'u4', 'Z1'], [700, 'u1', 'Z2'], [401, 'u3', 'Z1']], 1000, 600],
{'Z1': 1, 'Z2': 1}),
('normal control 2', [[[500, 'u2', 'Z1'], [1001, 'u4', 'Z1']], 1000, 600], {'Z1': 1}),
('normal control 3',
[[[700, 'u3', 'Z2'], [999, 'u4', 'Z1'], [1001, 'u4', 'Z1'], [500, 'u2', 'Z1']], 1000, 600],
{'Z1': 2, 'Z2': 1}),
('normal control 4', [[[400, 'u4', 'Z1'], [999, 'u4', 'Z2']], 1000, 600], {'Z2': 1})],
[('regression: rider deduplication key',
[[[400, 'u1', 'Z2'], [999, 'u1', 'Z2'], [700, 'u3', 'Z1'], [401, 'u4', 'Z2'], [401, 'u4', 'Z2'],
[1000, 'u4', 'Z1'], [1001, 'u4', 'Z2']],
1000, 600],
{'Z1': 2, 'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[401, 'u2', 'Z2'], [400, 'u4', 'Z1'], [1000, 'u2', 'Z2']], 1000, 600], {'Z2': 1}),
('second regression',
[[[700, 'u3', 'Z1'], [1000, 'u3', 'Z2'], [700, 'u4', 'Z2'], [500, 'u4', 'Z2'], [401, 'u3', 'Z1'],
[700, 'u4', 'Z2'], [400, 'u2', 'Z1'], [1000, 'u1', 'Z2']],
1000, 600],
{'Z2': 3}),
('normal control 1', [[[500, 'u2', 'Z1'], [500, 'u4', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 2',
[[[999, 'u3', 'Z2'], [1000, 'u4', 'Z1'], [400, 'u4', 'Z1'], [400, 'u3', 'Z1'], [999, 'u1', 'Z1']], 1000,
600],
{'Z1': 2, 'Z2': 1}),
('normal control 3',
[[[1000, 'u2', 'Z2'], [700, 'u3', 'Z1'], [400, 'u4', 'Z1'], [400, 'u3', 'Z2'], [500, 'u4', 'Z1'],
[400, 'u2', 'Z2'], [400, 'u2', 'Z1']],
1000, 600],
{'Z1': 2, 'Z2': 1}),
('normal control 4',
[[[401, 'u2', 'Z1'], [700, 'u4', 'Z2'], [700, 'u4', 'Z2'], [999, 'u3', 'Z1'], [999, 'u1', 'Z1']], 1000,
600],
{'Z1': 3, 'Z2': 1})],
[('regression: rider deduplication key', [[[500, 'u1', 'Z2'], [401, 'u1', 'Z1']], 1000, 600], {'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[500, 'u4', 'Z2'], [999, 'u2', 'Z1'], [999, 'u1', 'Z2'], [700, 'u3', 'Z1'], [700, 'u3', 'Z2'],
[700, 'u2', 'Z2'], [1001, 'u1', 'Z1']],
1000, 600],
{'Z1': 1, 'Z2': 3}),
('second regression',
[[[1000, 'u1', 'Z2'], [500, 'u3', 'Z2'], [500, 'u1', 'Z1'], [999, 'u4', 'Z2'], [700, 'u2', 'Z2'],
[700, 'u4', 'Z2'], [400, 'u3', 'Z2']],
1000, 600],
{'Z2': 4}),
('normal control 1', [[[500, 'u1', 'Z1'], [401, 'u4', 'Z1'], [1001, 'u2', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 2',
[[[700, 'u4', 'Z1'], [999, 'u1', 'Z1'], [400, 'u1', 'Z2'], [700, 'u4', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 3',
[[[1000, 'u4', 'Z1'], [700, 'u3', 'Z1'], [400, 'u4', 'Z1'], [400, 'u2', 'Z2']], 1000, 600], {'Z1': 2}),
('normal control 4', [[[500, 'u2', 'Z2'], [1000, 'u1', 'Z2']], 1000, 600], {'Z2': 2})],
[('regression: rider deduplication key',
[[[400, 'u3', 'Z2'], [1000, 'u1', 'Z2'], [401, 'u1', 'Z1'], [1000, 'u4', 'Z2']], 1000, 600], {'Z2': 2}),
('partial repair probe: rider deduplication key',
[[[401, 'u1', 'Z1'], [1001, 'u4', 'Z1'], [1000, 'u4', 'Z2'], [1000, 'u3', 'Z2'], [700, 'u3', 'Z2']], 1000,
600],
{'Z1': 1, 'Z2': 2}),
('second regression', [[[401, 'u3', 'Z1'], [999, 'u1', 'Z1'], [500, 'u1', 'Z2']], 1000, 600], {'Z1': 2}),
('normal control 1',
[[[400, 'u1', 'Z1'], [1001, 'u1', 'Z2'], [999, 'u2', 'Z1'], [1000, 'u1', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 2',
[[[1001, 'u4', 'Z1'], [1001, 'u2', 'Z2'], [400, 'u4', 'Z2'], [700, 'u3', 'Z2'], [500, 'u4', 'Z1'],
[700, 'u1', 'Z2']],
1000, 600],
{'Z1': 1, 'Z2': 2}),
('normal control 3',
[[[401, 'u4', 'Z1'], [1000, 'u1', 'Z1'], [1000, 'u3', 'Z2'], [1001, 'u1', 'Z2'], [999, 'u2', 'Z1'],
[1001, 'u2', 'Z2']],
1000, 600],
{'Z1': 3, 'Z2': 1}),
('normal control 4',
[[[1001, 'u2', 'Z1'], [999, 'u2', 'Z2'], [401, 'u1', 'Z2'], [1001, 'u3', 'Z1']], 1000, 600], {'Z2': 2})],
[('regression: rider deduplication key',
[[[999, 'u3', 'Z1'], [999, 'u4', 'Z1'], [1000, 'u4', 'Z2']], 1000, 600], {'Z1': 1, 'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[500, 'u4', 'Z2'], [700, 'u4', 'Z2'], [1000, 'u3', 'Z2'], [999, 'u1', 'Z2'], [500, 'u2', 'Z1'],
[400, 'u1', 'Z1']],
1000, 600],
{'Z1': 1, 'Z2': 3}),
('second regression', [[[500, 'u2', 'Z2'], [1000, 'u2', 'Z2'], [999, 'u2', 'Z2']], 1000, 600], {'Z2': 1}),
('normal control 1', [[[401, 'u3', 'Z2'], [1001, 'u4', 'Z1']], 1000, 600], {'Z2': 1}),
('normal control 2', [[[401, 'u4', 'Z2'], [1000, 'u1', 'Z2']], 1000, 600], {'Z2': 2}),
('normal control 3', [[[401, 'u1', 'Z2'], [1001, 'u3', 'Z2']], 1000, 600], {'Z2': 1}),
('normal control 4',
[[[500, 'u1', 'Z1'], [400, 'u1', 'Z2'], [401, 'u4', 'Z1'], [1001, 'u3', 'Z1'], [1001, 'u1', 'Z2'],
[999, 'u3', 'Z1']],
1000, 600],
{'Z1': 3})]]
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: rider deduplication key | {'Z1': 3, 'Z2': 2} | {'Z1': 2, 'Z2': 1} | Failed |
| partial repair probe: rider deduplication key | {'Z1': 2} | {'Z1': 2} | Passed |
| second regression | {'Z1': 1, 'Z2': 2} | {'Z1': 1, 'Z2': 2} | Passed |
| normal control 1 | {'Z1': 1, 'Z2': 1} | {'Z1': 1, 'Z2': 1} | Passed |
| normal control 2 | {'Z1': 1} | {'Z1': 1} | Passed |
| normal control 3 | {'Z1': 2, 'Z2': 1} | {'Z1': 2, 'Z2': 1} | Passed |
| normal control 4 | {'Z2': 1} | {'Z2': 1} | Passed |
SHA-256 / 683d5c08b1b27214cb362ca53e148c0703fb814bb0fa45bb969c5f88518a0a43
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(requests, now, window):
latest = {}
for t, rider, zone in requests:
if now - window < t <= now:
key = (rider, t)
if key not in latest or t >= latest[key][0]:
latest[key] = (t, zone)
out = {}
for t, zone in latest.values():
out[zone] = out.get(zone, 0) + 1
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: rider deduplication key',
[[[1001, 'u4', 'Z2'], [401, 'u2', 'Z2'], [999, 'u3', 'Z1'], [999, 'u2', 'Z1'], [999, 'u3', 'Z2'],
[500, 'u3', 'Z2'], [1001, 'u1', 'Z2'], [401, 'u4', 'Z1']],
1000, 600],
{'Z1': 2, 'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[400, 'u4', 'Z2'], [700, 'u2', 'Z1'], [400, 'u2', 'Z2'], [500, 'u4', 'Z1'], [999, 'u2', 'Z1'],
[500, 'u2', 'Z1'], [400, 'u4', 'Z2']],
1000, 600],
{'Z1': 2}),
('second regression',
[[[700, 'u2', 'Z2'], [400, 'u3', 'Z2'], [401, 'u3', 'Z2'], [1000, 'u4', 'Z1'], [700, 'u4', 'Z1'],
[400, 'u3', 'Z1'], [1001, 'u1', 'Z2']],
1000, 600],
{'Z1': 1, 'Z2': 2}),
('normal control 1', [[[400, 'u4', 'Z1'], [700, 'u1', 'Z2'], [401, 'u3', 'Z1']], 1000, 600],
{'Z1': 1, 'Z2': 1}),
('normal control 2', [[[500, 'u2', 'Z1'], [1001, 'u4', 'Z1']], 1000, 600], {'Z1': 1}),
('normal control 3',
[[[700, 'u3', 'Z2'], [999, 'u4', 'Z1'], [1001, 'u4', 'Z1'], [500, 'u2', 'Z1']], 1000, 600],
{'Z1': 2, 'Z2': 1}),
('normal control 4', [[[400, 'u4', 'Z1'], [999, 'u4', 'Z2']], 1000, 600], {'Z2': 1})],
[('regression: rider deduplication key',
[[[400, 'u1', 'Z2'], [999, 'u1', 'Z2'], [700, 'u3', 'Z1'], [401, 'u4', 'Z2'], [401, 'u4', 'Z2'],
[1000, 'u4', 'Z1'], [1001, 'u4', 'Z2']],
1000, 600],
{'Z1': 2, 'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[401, 'u2', 'Z2'], [400, 'u4', 'Z1'], [1000, 'u2', 'Z2']], 1000, 600], {'Z2': 1}),
('second regression',
[[[700, 'u3', 'Z1'], [1000, 'u3', 'Z2'], [700, 'u4', 'Z2'], [500, 'u4', 'Z2'], [401, 'u3', 'Z1'],
[700, 'u4', 'Z2'], [400, 'u2', 'Z1'], [1000, 'u1', 'Z2']],
1000, 600],
{'Z2': 3}),
('normal control 1', [[[500, 'u2', 'Z1'], [500, 'u4', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 2',
[[[999, 'u3', 'Z2'], [1000, 'u4', 'Z1'], [400, 'u4', 'Z1'], [400, 'u3', 'Z1'], [999, 'u1', 'Z1']], 1000,
600],
{'Z1': 2, 'Z2': 1}),
('normal control 3',
[[[1000, 'u2', 'Z2'], [700, 'u3', 'Z1'], [400, 'u4', 'Z1'], [400, 'u3', 'Z2'], [500, 'u4', 'Z1'],
[400, 'u2', 'Z2'], [400, 'u2', 'Z1']],
1000, 600],
{'Z1': 2, 'Z2': 1}),
('normal control 4',
[[[401, 'u2', 'Z1'], [700, 'u4', 'Z2'], [700, 'u4', 'Z2'], [999, 'u3', 'Z1'], [999, 'u1', 'Z1']], 1000,
600],
{'Z1': 3, 'Z2': 1})],
[('regression: rider deduplication key', [[[500, 'u1', 'Z2'], [401, 'u1', 'Z1']], 1000, 600], {'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[500, 'u4', 'Z2'], [999, 'u2', 'Z1'], [999, 'u1', 'Z2'], [700, 'u3', 'Z1'], [700, 'u3', 'Z2'],
[700, 'u2', 'Z2'], [1001, 'u1', 'Z1']],
1000, 600],
{'Z1': 1, 'Z2': 3}),
('second regression',
[[[1000, 'u1', 'Z2'], [500, 'u3', 'Z2'], [500, 'u1', 'Z1'], [999, 'u4', 'Z2'], [700, 'u2', 'Z2'],
[700, 'u4', 'Z2'], [400, 'u3', 'Z2']],
1000, 600],
{'Z2': 4}),
('normal control 1', [[[500, 'u1', 'Z1'], [401, 'u4', 'Z1'], [1001, 'u2', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 2',
[[[700, 'u4', 'Z1'], [999, 'u1', 'Z1'], [400, 'u1', 'Z2'], [700, 'u4', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 3',
[[[1000, 'u4', 'Z1'], [700, 'u3', 'Z1'], [400, 'u4', 'Z1'], [400, 'u2', 'Z2']], 1000, 600], {'Z1': 2}),
('normal control 4', [[[500, 'u2', 'Z2'], [1000, 'u1', 'Z2']], 1000, 600], {'Z2': 2})],
[('regression: rider deduplication key',
[[[400, 'u3', 'Z2'], [1000, 'u1', 'Z2'], [401, 'u1', 'Z1'], [1000, 'u4', 'Z2']], 1000, 600], {'Z2': 2}),
('partial repair probe: rider deduplication key',
[[[401, 'u1', 'Z1'], [1001, 'u4', 'Z1'], [1000, 'u4', 'Z2'], [1000, 'u3', 'Z2'], [700, 'u3', 'Z2']], 1000,
600],
{'Z1': 1, 'Z2': 2}),
('second regression', [[[401, 'u3', 'Z1'], [999, 'u1', 'Z1'], [500, 'u1', 'Z2']], 1000, 600], {'Z1': 2}),
('normal control 1',
[[[400, 'u1', 'Z1'], [1001, 'u1', 'Z2'], [999, 'u2', 'Z1'], [1000, 'u1', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 2',
[[[1001, 'u4', 'Z1'], [1001, 'u2', 'Z2'], [400, 'u4', 'Z2'], [700, 'u3', 'Z2'], [500, 'u4', 'Z1'],
[700, 'u1', 'Z2']],
1000, 600],
{'Z1': 1, 'Z2': 2}),
('normal control 3',
[[[401, 'u4', 'Z1'], [1000, 'u1', 'Z1'], [1000, 'u3', 'Z2'], [1001, 'u1', 'Z2'], [999, 'u2', 'Z1'],
[1001, 'u2', 'Z2']],
1000, 600],
{'Z1': 3, 'Z2': 1}),
('normal control 4',
[[[1001, 'u2', 'Z1'], [999, 'u2', 'Z2'], [401, 'u1', 'Z2'], [1001, 'u3', 'Z1']], 1000, 600], {'Z2': 2})],
[('regression: rider deduplication key',
[[[999, 'u3', 'Z1'], [999, 'u4', 'Z1'], [1000, 'u4', 'Z2']], 1000, 600], {'Z1': 1, 'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[500, 'u4', 'Z2'], [700, 'u4', 'Z2'], [1000, 'u3', 'Z2'], [999, 'u1', 'Z2'], [500, 'u2', 'Z1'],
[400, 'u1', 'Z1']],
1000, 600],
{'Z1': 1, 'Z2': 3}),
('second regression', [[[500, 'u2', 'Z2'], [1000, 'u2', 'Z2'], [999, 'u2', 'Z2']], 1000, 600], {'Z2': 1}),
('normal control 1', [[[401, 'u3', 'Z2'], [1001, 'u4', 'Z1']], 1000, 600], {'Z2': 1}),
('normal control 2', [[[401, 'u4', 'Z2'], [1000, 'u1', 'Z2']], 1000, 600], {'Z2': 2}),
('normal control 3', [[[401, 'u1', 'Z2'], [1001, 'u3', 'Z2']], 1000, 600], {'Z2': 1}),
('normal control 4',
[[[500, 'u1', 'Z1'], [400, 'u1', 'Z2'], [401, 'u4', 'Z1'], [1001, 'u3', 'Z1'], [1001, 'u1', 'Z2'],
[999, 'u3', 'Z1']],
1000, 600],
{'Z1': 3})]]
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: rider deduplication key | {'Z1': 2, 'Z2': 3} | {'Z1': 2, 'Z2': 1} | Failed |
| partial repair probe: rider deduplication key | {'Z1': 4} | {'Z1': 2} | Failed |
| second regression | {'Z1': 2, 'Z2': 2} | {'Z1': 1, 'Z2': 2} | Failed |
| normal control 1 | {'Z1': 1, 'Z2': 1} | {'Z1': 1, 'Z2': 1} | Passed |
| normal control 2 | {'Z1': 1} | {'Z1': 1} | Passed |
| normal control 3 | {'Z1': 2, 'Z2': 1} | {'Z1': 2, 'Z2': 1} | Passed |
| normal control 4 | {'Z2': 1} | {'Z2': 1} | Passed |
SHA-256 / b68405ee37c5a416c491b5af758b38a3bf9a2ff13a3af67cd9483b3e4cf84534
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(requests, now, window):
latest = {}
for t, rider, zone in requests:
if now - window < t <= now:
key = rider
if key not in latest or t >= latest[key][0]:
latest[key] = (t, zone)
out = {}
for t, zone in latest.values():
out[zone] = out.get(zone, 0) + 1
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: rider deduplication key',
[[[1001, 'u4', 'Z2'], [401, 'u2', 'Z2'], [999, 'u3', 'Z1'], [999, 'u2', 'Z1'], [999, 'u3', 'Z2'],
[500, 'u3', 'Z2'], [1001, 'u1', 'Z2'], [401, 'u4', 'Z1']],
1000, 600],
{'Z1': 2, 'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[400, 'u4', 'Z2'], [700, 'u2', 'Z1'], [400, 'u2', 'Z2'], [500, 'u4', 'Z1'], [999, 'u2', 'Z1'],
[500, 'u2', 'Z1'], [400, 'u4', 'Z2']],
1000, 600],
{'Z1': 2}),
('second regression',
[[[700, 'u2', 'Z2'], [400, 'u3', 'Z2'], [401, 'u3', 'Z2'], [1000, 'u4', 'Z1'], [700, 'u4', 'Z1'],
[400, 'u3', 'Z1'], [1001, 'u1', 'Z2']],
1000, 600],
{'Z1': 1, 'Z2': 2}),
('normal control 1', [[[400, 'u4', 'Z1'], [700, 'u1', 'Z2'], [401, 'u3', 'Z1']], 1000, 600],
{'Z1': 1, 'Z2': 1}),
('normal control 2', [[[500, 'u2', 'Z1'], [1001, 'u4', 'Z1']], 1000, 600], {'Z1': 1}),
('normal control 3',
[[[700, 'u3', 'Z2'], [999, 'u4', 'Z1'], [1001, 'u4', 'Z1'], [500, 'u2', 'Z1']], 1000, 600],
{'Z1': 2, 'Z2': 1}),
('normal control 4', [[[400, 'u4', 'Z1'], [999, 'u4', 'Z2']], 1000, 600], {'Z2': 1})],
[('regression: rider deduplication key',
[[[400, 'u1', 'Z2'], [999, 'u1', 'Z2'], [700, 'u3', 'Z1'], [401, 'u4', 'Z2'], [401, 'u4', 'Z2'],
[1000, 'u4', 'Z1'], [1001, 'u4', 'Z2']],
1000, 600],
{'Z1': 2, 'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[401, 'u2', 'Z2'], [400, 'u4', 'Z1'], [1000, 'u2', 'Z2']], 1000, 600], {'Z2': 1}),
('second regression',
[[[700, 'u3', 'Z1'], [1000, 'u3', 'Z2'], [700, 'u4', 'Z2'], [500, 'u4', 'Z2'], [401, 'u3', 'Z1'],
[700, 'u4', 'Z2'], [400, 'u2', 'Z1'], [1000, 'u1', 'Z2']],
1000, 600],
{'Z2': 3}),
('normal control 1', [[[500, 'u2', 'Z1'], [500, 'u4', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 2',
[[[999, 'u3', 'Z2'], [1000, 'u4', 'Z1'], [400, 'u4', 'Z1'], [400, 'u3', 'Z1'], [999, 'u1', 'Z1']], 1000,
600],
{'Z1': 2, 'Z2': 1}),
('normal control 3',
[[[1000, 'u2', 'Z2'], [700, 'u3', 'Z1'], [400, 'u4', 'Z1'], [400, 'u3', 'Z2'], [500, 'u4', 'Z1'],
[400, 'u2', 'Z2'], [400, 'u2', 'Z1']],
1000, 600],
{'Z1': 2, 'Z2': 1}),
('normal control 4',
[[[401, 'u2', 'Z1'], [700, 'u4', 'Z2'], [700, 'u4', 'Z2'], [999, 'u3', 'Z1'], [999, 'u1', 'Z1']], 1000,
600],
{'Z1': 3, 'Z2': 1})],
[('regression: rider deduplication key', [[[500, 'u1', 'Z2'], [401, 'u1', 'Z1']], 1000, 600], {'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[500, 'u4', 'Z2'], [999, 'u2', 'Z1'], [999, 'u1', 'Z2'], [700, 'u3', 'Z1'], [700, 'u3', 'Z2'],
[700, 'u2', 'Z2'], [1001, 'u1', 'Z1']],
1000, 600],
{'Z1': 1, 'Z2': 3}),
('second regression',
[[[1000, 'u1', 'Z2'], [500, 'u3', 'Z2'], [500, 'u1', 'Z1'], [999, 'u4', 'Z2'], [700, 'u2', 'Z2'],
[700, 'u4', 'Z2'], [400, 'u3', 'Z2']],
1000, 600],
{'Z2': 4}),
('normal control 1', [[[500, 'u1', 'Z1'], [401, 'u4', 'Z1'], [1001, 'u2', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 2',
[[[700, 'u4', 'Z1'], [999, 'u1', 'Z1'], [400, 'u1', 'Z2'], [700, 'u4', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 3',
[[[1000, 'u4', 'Z1'], [700, 'u3', 'Z1'], [400, 'u4', 'Z1'], [400, 'u2', 'Z2']], 1000, 600], {'Z1': 2}),
('normal control 4', [[[500, 'u2', 'Z2'], [1000, 'u1', 'Z2']], 1000, 600], {'Z2': 2})],
[('regression: rider deduplication key',
[[[400, 'u3', 'Z2'], [1000, 'u1', 'Z2'], [401, 'u1', 'Z1'], [1000, 'u4', 'Z2']], 1000, 600], {'Z2': 2}),
('partial repair probe: rider deduplication key',
[[[401, 'u1', 'Z1'], [1001, 'u4', 'Z1'], [1000, 'u4', 'Z2'], [1000, 'u3', 'Z2'], [700, 'u3', 'Z2']], 1000,
600],
{'Z1': 1, 'Z2': 2}),
('second regression', [[[401, 'u3', 'Z1'], [999, 'u1', 'Z1'], [500, 'u1', 'Z2']], 1000, 600], {'Z1': 2}),
('normal control 1',
[[[400, 'u1', 'Z1'], [1001, 'u1', 'Z2'], [999, 'u2', 'Z1'], [1000, 'u1', 'Z1']], 1000, 600], {'Z1': 2}),
('normal control 2',
[[[1001, 'u4', 'Z1'], [1001, 'u2', 'Z2'], [400, 'u4', 'Z2'], [700, 'u3', 'Z2'], [500, 'u4', 'Z1'],
[700, 'u1', 'Z2']],
1000, 600],
{'Z1': 1, 'Z2': 2}),
('normal control 3',
[[[401, 'u4', 'Z1'], [1000, 'u1', 'Z1'], [1000, 'u3', 'Z2'], [1001, 'u1', 'Z2'], [999, 'u2', 'Z1'],
[1001, 'u2', 'Z2']],
1000, 600],
{'Z1': 3, 'Z2': 1}),
('normal control 4',
[[[1001, 'u2', 'Z1'], [999, 'u2', 'Z2'], [401, 'u1', 'Z2'], [1001, 'u3', 'Z1']], 1000, 600], {'Z2': 2})],
[('regression: rider deduplication key',
[[[999, 'u3', 'Z1'], [999, 'u4', 'Z1'], [1000, 'u4', 'Z2']], 1000, 600], {'Z1': 1, 'Z2': 1}),
('partial repair probe: rider deduplication key',
[[[500, 'u4', 'Z2'], [700, 'u4', 'Z2'], [1000, 'u3', 'Z2'], [999, 'u1', 'Z2'], [500, 'u2', 'Z1'],
[400, 'u1', 'Z1']],
1000, 600],
{'Z1': 1, 'Z2': 3}),
('second regression', [[[500, 'u2', 'Z2'], [1000, 'u2', 'Z2'], [999, 'u2', 'Z2']], 1000, 600], {'Z2': 1}),
('normal control 1', [[[401, 'u3', 'Z2'], [1001, 'u4', 'Z1']], 1000, 600], {'Z2': 1}),
('normal control 2', [[[401, 'u4', 'Z2'], [1000, 'u1', 'Z2']], 1000, 600], {'Z2': 2}),
('normal control 3', [[[401, 'u1', 'Z2'], [1001, 'u3', 'Z2']], 1000, 600], {'Z2': 1}),
('normal control 4',
[[[500, 'u1', 'Z1'], [400, 'u1', 'Z2'], [401, 'u4', 'Z1'], [1001, 'u3', 'Z1'], [1001, 'u1', 'Z2'],
[999, 'u3', 'Z1']],
1000, 600],
{'Z1': 3})]]
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: rider deduplication key | {'Z1': 2, 'Z2': 1} | {'Z1': 2, 'Z2': 1} | Passed |
| partial repair probe: rider deduplication key | {'Z1': 2} | {'Z1': 2} | Passed |
| second regression | {'Z1': 1, 'Z2': 2} | {'Z1': 1, 'Z2': 2} | Passed |
| normal control 1 | {'Z1': 1, 'Z2': 1} | {'Z1': 1, 'Z2': 1} | Passed |
| normal control 2 | {'Z1': 1} | {'Z1': 1} | Passed |
| normal control 3 | {'Z1': 2, 'Z2': 1} | {'Z1': 2, 'Z2': 1} | Passed |
| normal control 4 | {'Z2': 1} | {'Z2': 1} | Passed |
SHA-256 / 495f094a17d84677d853d4e7aed9e9afd38c5581e8167dd475ca7ffd6561e7b0
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:42.357679+00:00.
Case digest / ff7c18b4bd175c16fe21ced286e65dbe7b7d5026f52d94df78448e7ca9a490b8