FA-85736 / Ride-hailing fare and surge pricing / Open access
Neighbor surge spills over without decay · case 01
Calm zones next to a hotspot publish the full hotspot multiplier.
ROOT CAUSE
The neighbor contribution is not reduced.
VERIFIED REPAIR
Subtract 5 tenths from neighbor multipliers.
Unsuccessful approach: A proportional 80% decay is a different rule and misprices strong hotspots.
Case contract
Smooth zone multipliers (tenths): each zone publishes the max of its own raw multiplier and each neighbor's raw multiplier minus 5, clamped to [10, 30]. Adjacency is symmetric even when listed once; neighbors without a raw multiplier are ignored; all reads use raw values, never already-smoothed ones. Return zone -> published multiplier.
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(mult, adj):
out = {}
for z in sorted(mult):
nbrs = set(adj.get(z, [])) | {a for a, lst in adj.items() if z in lst}
best = mult[z]
for nb in sorted(nbrs):
if nb in mult:
best = max(best, mult[nb])
out[z] = min(max(best, 10), 30)
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: neighbor decay',
[{'A': 25, 'B': 35, 'C': 12}, {'A': ['C'], 'B': [], 'C': [], 'D': ['E', 'B'], 'E': ['C']}],
{'A': 25, 'B': 30, 'C': 20}),
('partial repair probe: neighbor decay',
[{'A': 10, 'B': 25, 'C': 25, 'D': 25, 'E': 35}, {'A': ['E'], 'B': [], 'C': [], 'D': ['A'], 'E': []}],
{'A': 30, 'B': 25, 'C': 25, 'D': 25, 'E': 30}),
('second regression',
[{'A': 25, 'B': 10, 'C': 20, 'D': 25, 'E': 12}, {'A': ['C'], 'B': ['E'], 'C': ['B'], 'D': [], 'E': ['D']}],
{'A': 25, 'B': 15, 'C': 20, 'D': 25, 'E': 20}),
('normal control 1',
[{'A': 35, 'B': 15, 'C': 20, 'D': 35}, {'A': [], 'B': [], 'C': [], 'D': [], 'E': ['B']}],
{'A': 30, 'B': 15, 'C': 20, 'D': 30}),
('normal control 2', [{'A': 20, 'B': 35, 'C': 20}, {'A': [], 'B': ['D'], 'C': [], 'D': ['A'], 'E': []}],
{'A': 20, 'B': 30, 'C': 20}),
('normal control 3', [{'A': 10, 'B': 10, 'C': 10}, {'A': ['E'], 'B': ['E'], 'C': [], 'D': [], 'E': []}],
{'A': 10, 'B': 10, 'C': 10}),
('normal control 4',
[{'A': 35, 'B': 35, 'C': 35}, {'A': ['D', 'C'], 'B': ['A'], 'C': [], 'D': [], 'E': []}],
{'A': 30, 'B': 30, 'C': 30})],
[('regression: neighbor decay',
[{'A': 25, 'B': 15, 'C': 25, 'D': 35, 'E': 35}, {'A': [], 'B': [], 'C': ['B'], 'D': [], 'E': ['A']}],
{'A': 30, 'B': 20, 'C': 25, 'D': 30, 'E': 30}),
('partial repair probe: neighbor decay',
[{'A': 35, 'B': 35, 'C': 15, 'D': 12, 'E': 15}, {'A': ['B', 'D'], 'B': ['C'], 'C': [], 'D': [], 'E': []}],
{'A': 30, 'B': 30, 'C': 30, 'D': 30, 'E': 15}),
('second regression',
[{'A': 12, 'B': 12, 'C': 10, 'D': 10, 'E': 25}, {'A': [], 'B': ['D'], 'C': [], 'D': [], 'E': ['A']}],
{'A': 20, 'B': 12, 'C': 10, 'D': 10, 'E': 25}),
('normal control 1',
[{'A': 10, 'B': 15, 'C': 10, 'D': 10},
{'A': ['E', 'D'], 'B': [], 'C': [], 'D': ['A', 'C'], 'E': ['D', 'C']}],
{'A': 10, 'B': 15, 'C': 10, 'D': 10}),
('normal control 2',
[{'A': 12, 'B': 10, 'C': 25}, {'A': [], 'B': ['D'], 'C': ['E', 'D'], 'D': ['A'], 'E': ['B', 'D']}],
{'A': 12, 'B': 10, 'C': 25}),
('normal control 3',
[{'A': 25, 'B': 25, 'C': 12}, {'A': ['B'], 'B': [], 'C': ['E', 'D'], 'D': [], 'E': ['A']}],
{'A': 25, 'B': 25, 'C': 12}),
('normal control 4', [{'A': 12, 'B': 15, 'C': 10}, {'A': ['E'], 'B': [], 'C': ['E'], 'D': [], 'E': []}],
{'A': 12, 'B': 15, 'C': 10})],
[('regression: neighbor decay',
[{'A': 25, 'B': 15, 'C': 10}, {'A': [], 'B': ['C', 'E'], 'C': [], 'D': [], 'E': ['C']}],
{'A': 25, 'B': 15, 'C': 10}),
('partial repair probe: neighbor decay',
[{'A': 25, 'B': 35, 'C': 20, 'D': 12, 'E': 20},
{'A': ['B'], 'B': [], 'C': ['A', 'B'], 'D': [], 'E': ['A', 'B']}],
{'A': 30, 'B': 30, 'C': 30, 'D': 12, 'E': 30}),
('second regression', [{'A': 15, 'B': 12, 'C': 20}, {'A': [], 'B': [], 'C': ['A'], 'D': [], 'E': []}],
{'A': 15, 'B': 12, 'C': 20}),
('normal control 1',
[{'A': 12, 'B': 35, 'C': 10, 'D': 25}, {'A': ['E'], 'B': [], 'C': [], 'D': [], 'E': ['B']}],
{'A': 12, 'B': 30, 'C': 10, 'D': 25}),
('normal control 2',
[{'A': 12, 'B': 12, 'C': 20}, {'A': [], 'B': [], 'C': [], 'D': ['A', 'B'], 'E': ['B']}],
{'A': 12, 'B': 12, 'C': 20}),
('normal control 3',
[{'A': 15, 'B': 25, 'C': 12}, {'A': [], 'B': ['E', 'D'], 'C': [], 'D': ['A'], 'E': []}],
{'A': 15, 'B': 25, 'C': 12}),
('normal control 4',
[{'A': 15, 'B': 15, 'C': 15}, {'A': [], 'B': ['D'], 'C': ['D'], 'D': ['C', 'E'], 'E': []}],
{'A': 15, 'B': 15, 'C': 15})],
[('regression: neighbor decay',
[{'A': 12, 'B': 10, 'C': 12}, {'A': ['D', 'E'], 'B': [], 'C': ['B'], 'D': ['E'], 'E': []}],
{'A': 12, 'B': 10, 'C': 12}),
('partial repair probe: neighbor decay',
[{'A': 35, 'B': 15, 'C': 15}, {'A': ['B', 'C'], 'B': [], 'C': [], 'D': [], 'E': []}],
{'A': 30, 'B': 30, 'C': 30}),
('second regression',
[{'A': 35, 'B': 20, 'C': 10, 'D': 20, 'E': 12}, {'A': [], 'B': [], 'C': [], 'D': [], 'E': ['C']}],
{'A': 30, 'B': 20, 'C': 10, 'D': 20, 'E': 12}),
('normal control 1',
[{'A': 35, 'B': 20, 'C': 25, 'D': 35}, {'A': [], 'B': [], 'C': [], 'D': [], 'E': ['C']}],
{'A': 30, 'B': 20, 'C': 25, 'D': 30}),
('normal control 2',
[{'A': 35, 'B': 20, 'C': 10, 'D': 25}, {'A': [], 'B': [], 'C': [], 'D': ['E'], 'E': []}],
{'A': 30, 'B': 20, 'C': 10, 'D': 25}),
('normal control 3',
[{'A': 12, 'B': 12, 'C': 12, 'D': 20}, {'A': [], 'B': [], 'C': [], 'D': ['E'], 'E': []}],
{'A': 12, 'B': 12, 'C': 12, 'D': 20}),
('normal control 4',
[{'A': 12, 'B': 15, 'C': 10}, {'A': [], 'B': ['E'], 'C': ['D'], 'D': ['A', 'C'], 'E': []}],
{'A': 12, 'B': 15, 'C': 10})],
[('regression: neighbor decay',
[{'A': 12, 'B': 15, 'C': 15, 'D': 15}, {'A': [], 'B': [], 'C': ['A'], 'D': ['A'], 'E': ['C']}],
{'A': 12, 'B': 15, 'C': 15, 'D': 15}),
('partial repair probe: neighbor decay',
[{'A': 12, 'B': 10, 'C': 12, 'D': 15}, {'A': ['E'], 'B': [], 'C': [], 'D': ['B', 'C'], 'E': ['A']}],
{'A': 12, 'B': 10, 'C': 12, 'D': 15}),
('second regression',
[{'A': 20, 'B': 25, 'C': 15, 'D': 20}, {'A': ['E'], 'B': ['C'], 'C': ['A'], 'D': [], 'E': ['A']}],
{'A': 20, 'B': 25, 'C': 20, 'D': 20}),
('normal control 1',
[{'A': 12, 'B': 15, 'C': 25}, {'A': ['E'], 'B': [], 'C': [], 'D': ['B'], 'E': ['B', 'C']}],
{'A': 12, 'B': 15, 'C': 25}),
('normal control 2', [{'A': 25, 'B': 20, 'C': 25}, {'A': ['E'], 'B': [], 'C': [], 'D': [], 'E': []}],
{'A': 25, 'B': 20, 'C': 25}),
('normal control 3',
[{'A': 20, 'B': 20, 'C': 20}, {'A': ['C', 'D'], 'B': ['D'], 'C': [], 'D': ['A'], 'E': ['C']}],
{'A': 20, 'B': 20, 'C': 20}),
('normal control 4',
[{'A': 20, 'B': 20, 'C': 12}, {'A': [], 'B': ['E', 'D'], 'C': [], 'D': ['B'], 'E': ['D']}],
{'A': 20, 'B': 20, 'C': 12})]]
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: neighbor decay | {'A': 25, 'B': 30, 'C': 25} | {'A': 25, 'B': 30, 'C': 20} | Failed |
| partial repair probe: neighbor decay | {'A': 30, 'B': 25, 'C': 25, 'D': 25, 'E': 30} | {'A': 30, 'B': 25, 'C': 25, 'D': 25, 'E': 30} | Passed |
| second regression | {'A': 25, 'B': 20, 'C': 25, 'D': 25, 'E': 25} | {'A': 25, 'B': 15, 'C': 20, 'D': 25, 'E': 20} | Failed |
| normal control 1 | {'A': 30, 'B': 15, 'C': 20, 'D': 30} | {'A': 30, 'B': 15, 'C': 20, 'D': 30} | Passed |
| normal control 2 | {'A': 20, 'B': 30, 'C': 20} | {'A': 20, 'B': 30, 'C': 20} | Passed |
| normal control 3 | {'A': 10, 'B': 10, 'C': 10} | {'A': 10, 'B': 10, 'C': 10} | Passed |
| normal control 4 | {'A': 30, 'B': 30, 'C': 30} | {'A': 30, 'B': 30, 'C': 30} | Passed |
SHA-256 / 0fa0a71c435a94a584f04ad578d72f13bd127e134e76222c05c8b2edddeb4091
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(mult, adj):
out = {}
for z in sorted(mult):
nbrs = set(adj.get(z, [])) | {a for a, lst in adj.items() if z in lst}
best = mult[z]
for nb in sorted(nbrs):
if nb in mult:
best = max(best, mult[nb] * 8 // 10)
out[z] = min(max(best, 10), 30)
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: neighbor decay',
[{'A': 25, 'B': 35, 'C': 12}, {'A': ['C'], 'B': [], 'C': [], 'D': ['E', 'B'], 'E': ['C']}],
{'A': 25, 'B': 30, 'C': 20}),
('partial repair probe: neighbor decay',
[{'A': 10, 'B': 25, 'C': 25, 'D': 25, 'E': 35}, {'A': ['E'], 'B': [], 'C': [], 'D': ['A'], 'E': []}],
{'A': 30, 'B': 25, 'C': 25, 'D': 25, 'E': 30}),
('second regression',
[{'A': 25, 'B': 10, 'C': 20, 'D': 25, 'E': 12}, {'A': ['C'], 'B': ['E'], 'C': ['B'], 'D': [], 'E': ['D']}],
{'A': 25, 'B': 15, 'C': 20, 'D': 25, 'E': 20}),
('normal control 1',
[{'A': 35, 'B': 15, 'C': 20, 'D': 35}, {'A': [], 'B': [], 'C': [], 'D': [], 'E': ['B']}],
{'A': 30, 'B': 15, 'C': 20, 'D': 30}),
('normal control 2', [{'A': 20, 'B': 35, 'C': 20}, {'A': [], 'B': ['D'], 'C': [], 'D': ['A'], 'E': []}],
{'A': 20, 'B': 30, 'C': 20}),
('normal control 3', [{'A': 10, 'B': 10, 'C': 10}, {'A': ['E'], 'B': ['E'], 'C': [], 'D': [], 'E': []}],
{'A': 10, 'B': 10, 'C': 10}),
('normal control 4',
[{'A': 35, 'B': 35, 'C': 35}, {'A': ['D', 'C'], 'B': ['A'], 'C': [], 'D': [], 'E': []}],
{'A': 30, 'B': 30, 'C': 30})],
[('regression: neighbor decay',
[{'A': 25, 'B': 15, 'C': 25, 'D': 35, 'E': 35}, {'A': [], 'B': [], 'C': ['B'], 'D': [], 'E': ['A']}],
{'A': 30, 'B': 20, 'C': 25, 'D': 30, 'E': 30}),
('partial repair probe: neighbor decay',
[{'A': 35, 'B': 35, 'C': 15, 'D': 12, 'E': 15}, {'A': ['B', 'D'], 'B': ['C'], 'C': [], 'D': [], 'E': []}],
{'A': 30, 'B': 30, 'C': 30, 'D': 30, 'E': 15}),
('second regression',
[{'A': 12, 'B': 12, 'C': 10, 'D': 10, 'E': 25}, {'A': [], 'B': ['D'], 'C': [], 'D': [], 'E': ['A']}],
{'A': 20, 'B': 12, 'C': 10, 'D': 10, 'E': 25}),
('normal control 1',
[{'A': 10, 'B': 15, 'C': 10, 'D': 10},
{'A': ['E', 'D'], 'B': [], 'C': [], 'D': ['A', 'C'], 'E': ['D', 'C']}],
{'A': 10, 'B': 15, 'C': 10, 'D': 10}),
('normal control 2',
[{'A': 12, 'B': 10, 'C': 25}, {'A': [], 'B': ['D'], 'C': ['E', 'D'], 'D': ['A'], 'E': ['B', 'D']}],
{'A': 12, 'B': 10, 'C': 25}),
('normal control 3',
[{'A': 25, 'B': 25, 'C': 12}, {'A': ['B'], 'B': [], 'C': ['E', 'D'], 'D': [], 'E': ['A']}],
{'A': 25, 'B': 25, 'C': 12}),
('normal control 4', [{'A': 12, 'B': 15, 'C': 10}, {'A': ['E'], 'B': [], 'C': ['E'], 'D': [], 'E': []}],
{'A': 12, 'B': 15, 'C': 10})],
[('regression: neighbor decay',
[{'A': 25, 'B': 15, 'C': 10}, {'A': [], 'B': ['C', 'E'], 'C': [], 'D': [], 'E': ['C']}],
{'A': 25, 'B': 15, 'C': 10}),
('partial repair probe: neighbor decay',
[{'A': 25, 'B': 35, 'C': 20, 'D': 12, 'E': 20},
{'A': ['B'], 'B': [], 'C': ['A', 'B'], 'D': [], 'E': ['A', 'B']}],
{'A': 30, 'B': 30, 'C': 30, 'D': 12, 'E': 30}),
('second regression', [{'A': 15, 'B': 12, 'C': 20}, {'A': [], 'B': [], 'C': ['A'], 'D': [], 'E': []}],
{'A': 15, 'B': 12, 'C': 20}),
('normal control 1',
[{'A': 12, 'B': 35, 'C': 10, 'D': 25}, {'A': ['E'], 'B': [], 'C': [], 'D': [], 'E': ['B']}],
{'A': 12, 'B': 30, 'C': 10, 'D': 25}),
('normal control 2',
[{'A': 12, 'B': 12, 'C': 20}, {'A': [], 'B': [], 'C': [], 'D': ['A', 'B'], 'E': ['B']}],
{'A': 12, 'B': 12, 'C': 20}),
('normal control 3',
[{'A': 15, 'B': 25, 'C': 12}, {'A': [], 'B': ['E', 'D'], 'C': [], 'D': ['A'], 'E': []}],
{'A': 15, 'B': 25, 'C': 12}),
('normal control 4',
[{'A': 15, 'B': 15, 'C': 15}, {'A': [], 'B': ['D'], 'C': ['D'], 'D': ['C', 'E'], 'E': []}],
{'A': 15, 'B': 15, 'C': 15})],
[('regression: neighbor decay',
[{'A': 12, 'B': 10, 'C': 12}, {'A': ['D', 'E'], 'B': [], 'C': ['B'], 'D': ['E'], 'E': []}],
{'A': 12, 'B': 10, 'C': 12}),
('partial repair probe: neighbor decay',
[{'A': 35, 'B': 15, 'C': 15}, {'A': ['B', 'C'], 'B': [], 'C': [], 'D': [], 'E': []}],
{'A': 30, 'B': 30, 'C': 30}),
('second regression',
[{'A': 35, 'B': 20, 'C': 10, 'D': 20, 'E': 12}, {'A': [], 'B': [], 'C': [], 'D': [], 'E': ['C']}],
{'A': 30, 'B': 20, 'C': 10, 'D': 20, 'E': 12}),
('normal control 1',
[{'A': 35, 'B': 20, 'C': 25, 'D': 35}, {'A': [], 'B': [], 'C': [], 'D': [], 'E': ['C']}],
{'A': 30, 'B': 20, 'C': 25, 'D': 30}),
('normal control 2',
[{'A': 35, 'B': 20, 'C': 10, 'D': 25}, {'A': [], 'B': [], 'C': [], 'D': ['E'], 'E': []}],
{'A': 30, 'B': 20, 'C': 10, 'D': 25}),
('normal control 3',
[{'A': 12, 'B': 12, 'C': 12, 'D': 20}, {'A': [], 'B': [], 'C': [], 'D': ['E'], 'E': []}],
{'A': 12, 'B': 12, 'C': 12, 'D': 20}),
('normal control 4',
[{'A': 12, 'B': 15, 'C': 10}, {'A': [], 'B': ['E'], 'C': ['D'], 'D': ['A', 'C'], 'E': []}],
{'A': 12, 'B': 15, 'C': 10})],
[('regression: neighbor decay',
[{'A': 12, 'B': 15, 'C': 15, 'D': 15}, {'A': [], 'B': [], 'C': ['A'], 'D': ['A'], 'E': ['C']}],
{'A': 12, 'B': 15, 'C': 15, 'D': 15}),
('partial repair probe: neighbor decay',
[{'A': 12, 'B': 10, 'C': 12, 'D': 15}, {'A': ['E'], 'B': [], 'C': [], 'D': ['B', 'C'], 'E': ['A']}],
{'A': 12, 'B': 10, 'C': 12, 'D': 15}),
('second regression',
[{'A': 20, 'B': 25, 'C': 15, 'D': 20}, {'A': ['E'], 'B': ['C'], 'C': ['A'], 'D': [], 'E': ['A']}],
{'A': 20, 'B': 25, 'C': 20, 'D': 20}),
('normal control 1',
[{'A': 12, 'B': 15, 'C': 25}, {'A': ['E'], 'B': [], 'C': [], 'D': ['B'], 'E': ['B', 'C']}],
{'A': 12, 'B': 15, 'C': 25}),
('normal control 2', [{'A': 25, 'B': 20, 'C': 25}, {'A': ['E'], 'B': [], 'C': [], 'D': [], 'E': []}],
{'A': 25, 'B': 20, 'C': 25}),
('normal control 3',
[{'A': 20, 'B': 20, 'C': 20}, {'A': ['C', 'D'], 'B': ['D'], 'C': [], 'D': ['A'], 'E': ['C']}],
{'A': 20, 'B': 20, 'C': 20}),
('normal control 4',
[{'A': 20, 'B': 20, 'C': 12}, {'A': [], 'B': ['E', 'D'], 'C': [], 'D': ['B'], 'E': ['D']}],
{'A': 20, 'B': 20, 'C': 12})]]
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: neighbor decay | {'A': 25, 'B': 30, 'C': 20} | {'A': 25, 'B': 30, 'C': 20} | Passed |
| partial repair probe: neighbor decay | {'A': 28, 'B': 25, 'C': 25, 'D': 25, 'E': 30} | {'A': 30, 'B': 25, 'C': 25, 'D': 25, 'E': 30} | Failed |
| second regression | {'A': 25, 'B': 16, 'C': 20, 'D': 25, 'E': 20} | {'A': 25, 'B': 15, 'C': 20, 'D': 25, 'E': 20} | Failed |
| normal control 1 | {'A': 30, 'B': 15, 'C': 20, 'D': 30} | {'A': 30, 'B': 15, 'C': 20, 'D': 30} | Passed |
| normal control 2 | {'A': 20, 'B': 30, 'C': 20} | {'A': 20, 'B': 30, 'C': 20} | Passed |
| normal control 3 | {'A': 10, 'B': 10, 'C': 10} | {'A': 10, 'B': 10, 'C': 10} | Passed |
| normal control 4 | {'A': 30, 'B': 30, 'C': 30} | {'A': 30, 'B': 30, 'C': 30} | Passed |
SHA-256 / a8440456523e2c188cee55cfff3a2a82b8ea38092def21b2535091c0ff11d171
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(mult, adj):
out = {}
for z in sorted(mult):
nbrs = set(adj.get(z, [])) | {a for a, lst in adj.items() if z in lst}
best = mult[z]
for nb in sorted(nbrs):
if nb in mult:
best = max(best, mult[nb] - 5)
out[z] = min(max(best, 10), 30)
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: neighbor decay',
[{'A': 25, 'B': 35, 'C': 12}, {'A': ['C'], 'B': [], 'C': [], 'D': ['E', 'B'], 'E': ['C']}],
{'A': 25, 'B': 30, 'C': 20}),
('partial repair probe: neighbor decay',
[{'A': 10, 'B': 25, 'C': 25, 'D': 25, 'E': 35}, {'A': ['E'], 'B': [], 'C': [], 'D': ['A'], 'E': []}],
{'A': 30, 'B': 25, 'C': 25, 'D': 25, 'E': 30}),
('second regression',
[{'A': 25, 'B': 10, 'C': 20, 'D': 25, 'E': 12}, {'A': ['C'], 'B': ['E'], 'C': ['B'], 'D': [], 'E': ['D']}],
{'A': 25, 'B': 15, 'C': 20, 'D': 25, 'E': 20}),
('normal control 1',
[{'A': 35, 'B': 15, 'C': 20, 'D': 35}, {'A': [], 'B': [], 'C': [], 'D': [], 'E': ['B']}],
{'A': 30, 'B': 15, 'C': 20, 'D': 30}),
('normal control 2', [{'A': 20, 'B': 35, 'C': 20}, {'A': [], 'B': ['D'], 'C': [], 'D': ['A'], 'E': []}],
{'A': 20, 'B': 30, 'C': 20}),
('normal control 3', [{'A': 10, 'B': 10, 'C': 10}, {'A': ['E'], 'B': ['E'], 'C': [], 'D': [], 'E': []}],
{'A': 10, 'B': 10, 'C': 10}),
('normal control 4',
[{'A': 35, 'B': 35, 'C': 35}, {'A': ['D', 'C'], 'B': ['A'], 'C': [], 'D': [], 'E': []}],
{'A': 30, 'B': 30, 'C': 30})],
[('regression: neighbor decay',
[{'A': 25, 'B': 15, 'C': 25, 'D': 35, 'E': 35}, {'A': [], 'B': [], 'C': ['B'], 'D': [], 'E': ['A']}],
{'A': 30, 'B': 20, 'C': 25, 'D': 30, 'E': 30}),
('partial repair probe: neighbor decay',
[{'A': 35, 'B': 35, 'C': 15, 'D': 12, 'E': 15}, {'A': ['B', 'D'], 'B': ['C'], 'C': [], 'D': [], 'E': []}],
{'A': 30, 'B': 30, 'C': 30, 'D': 30, 'E': 15}),
('second regression',
[{'A': 12, 'B': 12, 'C': 10, 'D': 10, 'E': 25}, {'A': [], 'B': ['D'], 'C': [], 'D': [], 'E': ['A']}],
{'A': 20, 'B': 12, 'C': 10, 'D': 10, 'E': 25}),
('normal control 1',
[{'A': 10, 'B': 15, 'C': 10, 'D': 10},
{'A': ['E', 'D'], 'B': [], 'C': [], 'D': ['A', 'C'], 'E': ['D', 'C']}],
{'A': 10, 'B': 15, 'C': 10, 'D': 10}),
('normal control 2',
[{'A': 12, 'B': 10, 'C': 25}, {'A': [], 'B': ['D'], 'C': ['E', 'D'], 'D': ['A'], 'E': ['B', 'D']}],
{'A': 12, 'B': 10, 'C': 25}),
('normal control 3',
[{'A': 25, 'B': 25, 'C': 12}, {'A': ['B'], 'B': [], 'C': ['E', 'D'], 'D': [], 'E': ['A']}],
{'A': 25, 'B': 25, 'C': 12}),
('normal control 4', [{'A': 12, 'B': 15, 'C': 10}, {'A': ['E'], 'B': [], 'C': ['E'], 'D': [], 'E': []}],
{'A': 12, 'B': 15, 'C': 10})],
[('regression: neighbor decay',
[{'A': 25, 'B': 15, 'C': 10}, {'A': [], 'B': ['C', 'E'], 'C': [], 'D': [], 'E': ['C']}],
{'A': 25, 'B': 15, 'C': 10}),
('partial repair probe: neighbor decay',
[{'A': 25, 'B': 35, 'C': 20, 'D': 12, 'E': 20},
{'A': ['B'], 'B': [], 'C': ['A', 'B'], 'D': [], 'E': ['A', 'B']}],
{'A': 30, 'B': 30, 'C': 30, 'D': 12, 'E': 30}),
('second regression', [{'A': 15, 'B': 12, 'C': 20}, {'A': [], 'B': [], 'C': ['A'], 'D': [], 'E': []}],
{'A': 15, 'B': 12, 'C': 20}),
('normal control 1',
[{'A': 12, 'B': 35, 'C': 10, 'D': 25}, {'A': ['E'], 'B': [], 'C': [], 'D': [], 'E': ['B']}],
{'A': 12, 'B': 30, 'C': 10, 'D': 25}),
('normal control 2',
[{'A': 12, 'B': 12, 'C': 20}, {'A': [], 'B': [], 'C': [], 'D': ['A', 'B'], 'E': ['B']}],
{'A': 12, 'B': 12, 'C': 20}),
('normal control 3',
[{'A': 15, 'B': 25, 'C': 12}, {'A': [], 'B': ['E', 'D'], 'C': [], 'D': ['A'], 'E': []}],
{'A': 15, 'B': 25, 'C': 12}),
('normal control 4',
[{'A': 15, 'B': 15, 'C': 15}, {'A': [], 'B': ['D'], 'C': ['D'], 'D': ['C', 'E'], 'E': []}],
{'A': 15, 'B': 15, 'C': 15})],
[('regression: neighbor decay',
[{'A': 12, 'B': 10, 'C': 12}, {'A': ['D', 'E'], 'B': [], 'C': ['B'], 'D': ['E'], 'E': []}],
{'A': 12, 'B': 10, 'C': 12}),
('partial repair probe: neighbor decay',
[{'A': 35, 'B': 15, 'C': 15}, {'A': ['B', 'C'], 'B': [], 'C': [], 'D': [], 'E': []}],
{'A': 30, 'B': 30, 'C': 30}),
('second regression',
[{'A': 35, 'B': 20, 'C': 10, 'D': 20, 'E': 12}, {'A': [], 'B': [], 'C': [], 'D': [], 'E': ['C']}],
{'A': 30, 'B': 20, 'C': 10, 'D': 20, 'E': 12}),
('normal control 1',
[{'A': 35, 'B': 20, 'C': 25, 'D': 35}, {'A': [], 'B': [], 'C': [], 'D': [], 'E': ['C']}],
{'A': 30, 'B': 20, 'C': 25, 'D': 30}),
('normal control 2',
[{'A': 35, 'B': 20, 'C': 10, 'D': 25}, {'A': [], 'B': [], 'C': [], 'D': ['E'], 'E': []}],
{'A': 30, 'B': 20, 'C': 10, 'D': 25}),
('normal control 3',
[{'A': 12, 'B': 12, 'C': 12, 'D': 20}, {'A': [], 'B': [], 'C': [], 'D': ['E'], 'E': []}],
{'A': 12, 'B': 12, 'C': 12, 'D': 20}),
('normal control 4',
[{'A': 12, 'B': 15, 'C': 10}, {'A': [], 'B': ['E'], 'C': ['D'], 'D': ['A', 'C'], 'E': []}],
{'A': 12, 'B': 15, 'C': 10})],
[('regression: neighbor decay',
[{'A': 12, 'B': 15, 'C': 15, 'D': 15}, {'A': [], 'B': [], 'C': ['A'], 'D': ['A'], 'E': ['C']}],
{'A': 12, 'B': 15, 'C': 15, 'D': 15}),
('partial repair probe: neighbor decay',
[{'A': 12, 'B': 10, 'C': 12, 'D': 15}, {'A': ['E'], 'B': [], 'C': [], 'D': ['B', 'C'], 'E': ['A']}],
{'A': 12, 'B': 10, 'C': 12, 'D': 15}),
('second regression',
[{'A': 20, 'B': 25, 'C': 15, 'D': 20}, {'A': ['E'], 'B': ['C'], 'C': ['A'], 'D': [], 'E': ['A']}],
{'A': 20, 'B': 25, 'C': 20, 'D': 20}),
('normal control 1',
[{'A': 12, 'B': 15, 'C': 25}, {'A': ['E'], 'B': [], 'C': [], 'D': ['B'], 'E': ['B', 'C']}],
{'A': 12, 'B': 15, 'C': 25}),
('normal control 2', [{'A': 25, 'B': 20, 'C': 25}, {'A': ['E'], 'B': [], 'C': [], 'D': [], 'E': []}],
{'A': 25, 'B': 20, 'C': 25}),
('normal control 3',
[{'A': 20, 'B': 20, 'C': 20}, {'A': ['C', 'D'], 'B': ['D'], 'C': [], 'D': ['A'], 'E': ['C']}],
{'A': 20, 'B': 20, 'C': 20}),
('normal control 4',
[{'A': 20, 'B': 20, 'C': 12}, {'A': [], 'B': ['E', 'D'], 'C': [], 'D': ['B'], 'E': ['D']}],
{'A': 20, 'B': 20, 'C': 12})]]
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: neighbor decay | {'A': 25, 'B': 30, 'C': 20} | {'A': 25, 'B': 30, 'C': 20} | Passed |
| partial repair probe: neighbor decay | {'A': 30, 'B': 25, 'C': 25, 'D': 25, 'E': 30} | {'A': 30, 'B': 25, 'C': 25, 'D': 25, 'E': 30} | Passed |
| second regression | {'A': 25, 'B': 15, 'C': 20, 'D': 25, 'E': 20} | {'A': 25, 'B': 15, 'C': 20, 'D': 25, 'E': 20} | Passed |
| normal control 1 | {'A': 30, 'B': 15, 'C': 20, 'D': 30} | {'A': 30, 'B': 15, 'C': 20, 'D': 30} | Passed |
| normal control 2 | {'A': 20, 'B': 30, 'C': 20} | {'A': 20, 'B': 30, 'C': 20} | Passed |
| normal control 3 | {'A': 10, 'B': 10, 'C': 10} | {'A': 10, 'B': 10, 'C': 10} | Passed |
| normal control 4 | {'A': 30, 'B': 30, 'C': 30} | {'A': 30, 'B': 30, 'C': 30} | Passed |
SHA-256 / c9903126f9e615cb292a49203d9bfbbb61781a9c47f94e5d6dbb52af12383c86
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:43.136752+00:00.
Case digest / 2efce65395ba90e40961a15f70372b3c5d4056a01496a5acde2974e0651bd75a