FAILURE MAP
← Case archive

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

Highest multiplier overrides zone priority · case 01

An event overlay with priority 2 loses to a base zone with a higher multiplier.

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

ROOT CAUSE

The selection key ranks by multiplier before priority.

VERIFIED REPAIR

Rank by priority, then multiplier, then lowest id.

Unsuccessful approach: Preferring the lowest multiplier within a priority inverts the second criterion.

Case contract

Surge zones are rectangles, half-open [x0, x1) x [y0, y1). The multiplier comes from the pickup point only. Among zones containing it choose highest priority, then highest multiplier, then lowest id. No containing zone gives [None, 10] (1.0x in tenths). Return [zone id, 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(zones, pickup, dropoff):
    best = None
    for z in zones:
        if z['x0'] <= pickup[0] < z['x1'] and z['y0'] <= pickup[1] < z['y1']:
            k = (z['mult'], z['priority'], -z['id'])
            if best is None or k > best[0]:
                best = (k, z)
    if best is None:
        return [None, 10]
    return [best[1]['id'], best[1]['mult']]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: priority before multiplier',
   [[{'id': 34, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 35, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 38, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 39, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20},
     {'id': 11, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20}],
    [20, 10], [40, 10]],
   [38, 12]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 29, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20},
     {'id': 47, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 4, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 6, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40},
     {'id': 19, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40}],
    [16, 20], [30, 0]],
   [19, 20]),
  ('second regression',
   [[{'id': 14, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 5, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 39, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 49, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 19, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 20}],
    [5, 10], [10, 30]],
   [19, 20]),
  ('normal control 1',
   [[{'id': 4, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 46, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40},
     {'id': 37, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 10},
     {'id': 29, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 30},
     {'id': 28, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20}],
    [10, 10], [40, 20]],
   [4, 15]),
  ('normal control 2',
   [[{'id': 39, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30}], [23, 12], [0, 12]],
   [None, 10]),
  ('normal control 3',
   [[{'id': 47, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 8, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 9, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 40},
     {'id': 44, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20}],
    [15, 5], [15, 0]],
   [None, 10]),
  ('normal control 4',
   [[{'id': 10, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 33, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 10},
     {'id': 42, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 10},
     {'id': 12, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30}],
    [0, 12], [13, 12]],
   [None, 10])],
 [('regression: priority before multiplier',
   [[{'id': 5, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 18, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 1, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 30},
     {'id': 42, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 20}],
    [23, 12], [0, 20]],
   [1, 15]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 39, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 9, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20},
     {'id': 33, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 40, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 19, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 30}],
    [13, 0], [18, 30]],
   [40, 15]),
  ('second regression',
   [[{'id': 39, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 10, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20},
     {'id': 29, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 40, 'mult': 12, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 10}],
    [10, 30], [0, 12]],
   [29, 20]),
  ('normal control 1',
   [[{'id': 42, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 43, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 48, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 30, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10}],
    [0, 5], [0, 10]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 17, 'mult': 12, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40}], [15, 5], [30, 1]],
   [None, 10]),
  ('normal control 3',
   [[{'id': 2, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20},
     {'id': 30, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 47, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 21, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 13, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30}],
    [5, 20], [30, 10]],
   [30, 15]),
  ('normal control 4',
   [[{'id': 44, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30},
     {'id': 28, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 9, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 38, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 20}],
    [7, 12], [10, 30]],
   [None, 10])],
 [('regression: priority before multiplier',
   [[{'id': 19, 'mult': 12, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 27, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30},
     {'id': 3, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 46, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 45, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [15, 20], [17, 10]],
   [27, 15]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 36, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 2, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 37, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 17, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30},
     {'id': 35, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20}],
    [5, 12], [30, 27]],
   [35, 15]),
  ('second regression',
   [[{'id': 34, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20},
     {'id': 19, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 31, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 21, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 32, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 10}],
    [15, 0], [5, 10]],
   [19, 20]),
  ('normal control 1',
   [[{'id': 44, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 17, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 11, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 12, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 20, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20}],
    [5, 12], [40, 5]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 32, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 36, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 30},
     {'id': 26, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 30, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 20}],
    [10, 4], [30, 20]],
   [30, 20]),
  ('normal control 3',
   [[{'id': 24, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 49, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 23, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 39, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 4, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 10}],
    [15, 5], [30, 5]],
   [49, 15]),
  ('normal control 4',
   [[{'id': 32, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 47, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 39, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 25, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10}],
    [10, 40], [30, 30]],
   [None, 10])],
 [('regression: priority before multiplier',
   [[{'id': 11, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 32, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 30},
     {'id': 14, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30},
     {'id': 43, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [10, 24], [0, 20]],
   [32, 15]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 28, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30},
     {'id': 27, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 41, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 10}],
    [0, 20], [0, 12]],
   [28, 20]),
  ('second regression',
   [[{'id': 21, 'mult': 20, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 40},
     {'id': 37, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 20},
     {'id': 26, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 18, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30}],
    [20, 20], [5, 6]],
   [21, 20]),
  ('normal control 1',
   [[{'id': 43, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20},
     {'id': 28, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40}],
    [5, 12], [15, 0]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 3, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 41, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 7, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 22, 'mult': 12, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10},
     {'id': 23, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [30, 12], [20, 30]],
   [None, 10]),
  ('normal control 3',
   [[{'id': 37, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 10},
     {'id': 6, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40}],
    [0, 20], [0, 0]],
   [None, 10]),
  ('normal control 4',
   [[{'id': 43, 'mult': 12, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 48, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 11, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 18, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 41, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40}],
    [30, 16], [15, 20]],
   [48, 15])],
 [('regression: priority before multiplier',
   [[{'id': 36, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10},
     {'id': 9, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 37, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 38, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 4, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30}],
    [20, 20], [20, 12]],
   [9, 12]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 15, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 32, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 49, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 17, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20}],
    [10, 12], [20, 12]],
   [17, 15]),
  ('second regression',
   [[{'id': 20, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 46, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 4, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 45, 'mult': 12, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [20, 12], [15, 20]],
   [20, 15]),
  ('normal control 1',
   [[{'id': 20, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 12, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30}],
    [15, 20], [20, 30]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 20, 'mult': 20, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 18, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20},
     {'id': 10, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 25, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20}],
    [20, 20], [15, 20]],
   [10, 15]),
  ('normal control 3',
   [[{'id': 23, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 20, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 16, 'mult': 20, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 10},
     {'id': 29, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30}],
    [20, 20], [30, 20]],
   [None, 10]),
  ('normal control 4',
   [[{'id': 29, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10},
     {'id': 22, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 11, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20},
     {'id': 27, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30}],
    [15, 10], [15, 30]],
   [None, 10])]]
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: priority before multiplier[35, 20][38, 12]Failed
partial repair probe: priority before multiplier[19, 20][19, 20]Passed
second regression[19, 20][19, 20]Passed
normal control 1[4, 15][4, 15]Passed
normal control 2[None, 10][None, 10]Passed
normal control 3[None, 10][None, 10]Passed
normal control 4[None, 10][None, 10]Passed

SHA-256 / 11564326fb7e9c28f82be36a0cc71a5b02c03b916e2be4f9bcecad08cd8747f6

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(zones, pickup, dropoff):
    best = None
    for z in zones:
        if z['x0'] <= pickup[0] < z['x1'] and z['y0'] <= pickup[1] < z['y1']:
            k = (z['priority'], -z['mult'], -z['id'])
            if best is None or k > best[0]:
                best = (k, z)
    if best is None:
        return [None, 10]
    return [best[1]['id'], best[1]['mult']]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: priority before multiplier',
   [[{'id': 34, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 35, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 38, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 39, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20},
     {'id': 11, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20}],
    [20, 10], [40, 10]],
   [38, 12]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 29, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20},
     {'id': 47, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 4, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 6, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40},
     {'id': 19, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40}],
    [16, 20], [30, 0]],
   [19, 20]),
  ('second regression',
   [[{'id': 14, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 5, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 39, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 49, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 19, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 20}],
    [5, 10], [10, 30]],
   [19, 20]),
  ('normal control 1',
   [[{'id': 4, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 46, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40},
     {'id': 37, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 10},
     {'id': 29, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 30},
     {'id': 28, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20}],
    [10, 10], [40, 20]],
   [4, 15]),
  ('normal control 2',
   [[{'id': 39, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30}], [23, 12], [0, 12]],
   [None, 10]),
  ('normal control 3',
   [[{'id': 47, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 8, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 9, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 40},
     {'id': 44, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20}],
    [15, 5], [15, 0]],
   [None, 10]),
  ('normal control 4',
   [[{'id': 10, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 33, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 10},
     {'id': 42, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 10},
     {'id': 12, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30}],
    [0, 12], [13, 12]],
   [None, 10])],
 [('regression: priority before multiplier',
   [[{'id': 5, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 18, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 1, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 30},
     {'id': 42, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 20}],
    [23, 12], [0, 20]],
   [1, 15]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 39, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 9, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20},
     {'id': 33, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 40, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 19, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 30}],
    [13, 0], [18, 30]],
   [40, 15]),
  ('second regression',
   [[{'id': 39, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 10, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20},
     {'id': 29, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 40, 'mult': 12, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 10}],
    [10, 30], [0, 12]],
   [29, 20]),
  ('normal control 1',
   [[{'id': 42, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 43, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 48, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 30, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10}],
    [0, 5], [0, 10]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 17, 'mult': 12, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40}], [15, 5], [30, 1]],
   [None, 10]),
  ('normal control 3',
   [[{'id': 2, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20},
     {'id': 30, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 47, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 21, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 13, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30}],
    [5, 20], [30, 10]],
   [30, 15]),
  ('normal control 4',
   [[{'id': 44, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30},
     {'id': 28, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 9, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 38, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 20}],
    [7, 12], [10, 30]],
   [None, 10])],
 [('regression: priority before multiplier',
   [[{'id': 19, 'mult': 12, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 27, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30},
     {'id': 3, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 46, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 45, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [15, 20], [17, 10]],
   [27, 15]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 36, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 2, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 37, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 17, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30},
     {'id': 35, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20}],
    [5, 12], [30, 27]],
   [35, 15]),
  ('second regression',
   [[{'id': 34, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20},
     {'id': 19, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 31, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 21, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 32, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 10}],
    [15, 0], [5, 10]],
   [19, 20]),
  ('normal control 1',
   [[{'id': 44, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 17, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 11, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 12, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 20, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20}],
    [5, 12], [40, 5]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 32, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 36, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 30},
     {'id': 26, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 30, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 20}],
    [10, 4], [30, 20]],
   [30, 20]),
  ('normal control 3',
   [[{'id': 24, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 49, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 23, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 39, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 4, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 10}],
    [15, 5], [30, 5]],
   [49, 15]),
  ('normal control 4',
   [[{'id': 32, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 47, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 39, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 25, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10}],
    [10, 40], [30, 30]],
   [None, 10])],
 [('regression: priority before multiplier',
   [[{'id': 11, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 32, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 30},
     {'id': 14, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30},
     {'id': 43, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [10, 24], [0, 20]],
   [32, 15]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 28, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30},
     {'id': 27, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 41, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 10}],
    [0, 20], [0, 12]],
   [28, 20]),
  ('second regression',
   [[{'id': 21, 'mult': 20, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 40},
     {'id': 37, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 20},
     {'id': 26, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 18, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30}],
    [20, 20], [5, 6]],
   [21, 20]),
  ('normal control 1',
   [[{'id': 43, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20},
     {'id': 28, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40}],
    [5, 12], [15, 0]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 3, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 41, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 7, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 22, 'mult': 12, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10},
     {'id': 23, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [30, 12], [20, 30]],
   [None, 10]),
  ('normal control 3',
   [[{'id': 37, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 10},
     {'id': 6, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40}],
    [0, 20], [0, 0]],
   [None, 10]),
  ('normal control 4',
   [[{'id': 43, 'mult': 12, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 48, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 11, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 18, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 41, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40}],
    [30, 16], [15, 20]],
   [48, 15])],
 [('regression: priority before multiplier',
   [[{'id': 36, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10},
     {'id': 9, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 37, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 38, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 4, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30}],
    [20, 20], [20, 12]],
   [9, 12]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 15, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 32, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 49, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 17, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20}],
    [10, 12], [20, 12]],
   [17, 15]),
  ('second regression',
   [[{'id': 20, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 46, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 4, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 45, 'mult': 12, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [20, 12], [15, 20]],
   [20, 15]),
  ('normal control 1',
   [[{'id': 20, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 12, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30}],
    [15, 20], [20, 30]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 20, 'mult': 20, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 18, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20},
     {'id': 10, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 25, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20}],
    [20, 20], [15, 20]],
   [10, 15]),
  ('normal control 3',
   [[{'id': 23, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 20, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 16, 'mult': 20, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 10},
     {'id': 29, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30}],
    [20, 20], [30, 20]],
   [None, 10]),
  ('normal control 4',
   [[{'id': 29, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10},
     {'id': 22, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 11, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20},
     {'id': 27, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30}],
    [15, 10], [15, 30]],
   [None, 10])]]
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: priority before multiplier[38, 12][38, 12]Passed
partial repair probe: priority before multiplier[4, 15][19, 20]Failed
second regression[5, 12][19, 20]Failed
normal control 1[4, 15][4, 15]Passed
normal control 2[None, 10][None, 10]Passed
normal control 3[None, 10][None, 10]Passed
normal control 4[None, 10][None, 10]Passed

SHA-256 / 7b2ea076d83ce7c9a423748555f432abff02a18b62514f4d0d268096736d2e51

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(zones, pickup, dropoff):
    best = None
    for z in zones:
        if z['x0'] <= pickup[0] < z['x1'] and z['y0'] <= pickup[1] < z['y1']:
            k = (z['priority'], z['mult'], -z['id'])
            if best is None or k > best[0]:
                best = (k, z)
    if best is None:
        return [None, 10]
    return [best[1]['id'], best[1]['mult']]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: priority before multiplier',
   [[{'id': 34, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 35, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 38, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 39, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20},
     {'id': 11, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20}],
    [20, 10], [40, 10]],
   [38, 12]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 29, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20},
     {'id': 47, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 4, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 6, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40},
     {'id': 19, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40}],
    [16, 20], [30, 0]],
   [19, 20]),
  ('second regression',
   [[{'id': 14, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 5, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 39, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 49, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 19, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 20}],
    [5, 10], [10, 30]],
   [19, 20]),
  ('normal control 1',
   [[{'id': 4, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 46, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40},
     {'id': 37, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 10},
     {'id': 29, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 30},
     {'id': 28, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20}],
    [10, 10], [40, 20]],
   [4, 15]),
  ('normal control 2',
   [[{'id': 39, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30}], [23, 12], [0, 12]],
   [None, 10]),
  ('normal control 3',
   [[{'id': 47, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 8, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 9, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 40},
     {'id': 44, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20}],
    [15, 5], [15, 0]],
   [None, 10]),
  ('normal control 4',
   [[{'id': 10, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 33, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 10},
     {'id': 42, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 10},
     {'id': 12, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30}],
    [0, 12], [13, 12]],
   [None, 10])],
 [('regression: priority before multiplier',
   [[{'id': 5, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 18, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 1, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 30},
     {'id': 42, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 20}],
    [23, 12], [0, 20]],
   [1, 15]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 39, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 9, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20},
     {'id': 33, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 40, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 19, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 30}],
    [13, 0], [18, 30]],
   [40, 15]),
  ('second regression',
   [[{'id': 39, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 10, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20},
     {'id': 29, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 40, 'mult': 12, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 10}],
    [10, 30], [0, 12]],
   [29, 20]),
  ('normal control 1',
   [[{'id': 42, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 43, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 48, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 30, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10}],
    [0, 5], [0, 10]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 17, 'mult': 12, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 40}], [15, 5], [30, 1]],
   [None, 10]),
  ('normal control 3',
   [[{'id': 2, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20},
     {'id': 30, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 47, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 21, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 13, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30}],
    [5, 20], [30, 10]],
   [30, 15]),
  ('normal control 4',
   [[{'id': 44, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30},
     {'id': 28, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 9, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 38, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 20}],
    [7, 12], [10, 30]],
   [None, 10])],
 [('regression: priority before multiplier',
   [[{'id': 19, 'mult': 12, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 27, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30},
     {'id': 3, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 46, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 45, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [15, 20], [17, 10]],
   [27, 15]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 36, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 2, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 37, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 17, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30},
     {'id': 35, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20}],
    [5, 12], [30, 27]],
   [35, 15]),
  ('second regression',
   [[{'id': 34, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 20},
     {'id': 19, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 31, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 21, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 32, 'mult': 12, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 10}],
    [15, 0], [5, 10]],
   [19, 20]),
  ('normal control 1',
   [[{'id': 44, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 17, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 11, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 12, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 20, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20}],
    [5, 12], [40, 5]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 32, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40},
     {'id': 36, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 30},
     {'id': 26, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 30, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 20}],
    [10, 4], [30, 20]],
   [30, 20]),
  ('normal control 3',
   [[{'id': 24, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 49, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 23, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 39, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 4, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 10}],
    [15, 5], [30, 5]],
   [49, 15]),
  ('normal control 4',
   [[{'id': 32, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 47, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 39, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 25, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10}],
    [10, 40], [30, 30]],
   [None, 10])],
 [('regression: priority before multiplier',
   [[{'id': 11, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 32, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 20, 'y1': 30},
     {'id': 14, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30},
     {'id': 43, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [10, 24], [0, 20]],
   [32, 15]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 28, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30},
     {'id': 27, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 41, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 10}],
    [0, 20], [0, 12]],
   [28, 20]),
  ('second regression',
   [[{'id': 21, 'mult': 20, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 40},
     {'id': 37, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 20},
     {'id': 26, 'mult': 12, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 18, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30}],
    [20, 20], [5, 6]],
   [21, 20]),
  ('normal control 1',
   [[{'id': 43, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20},
     {'id': 28, 'mult': 20, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 40}],
    [5, 12], [15, 0]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 3, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 41, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 7, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 22, 'mult': 12, 'priority': 2, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10},
     {'id': 23, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [30, 12], [20, 30]],
   [None, 10]),
  ('normal control 3',
   [[{'id': 37, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 0, 'y1': 10},
     {'id': 6, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40}],
    [0, 20], [0, 0]],
   [None, 10]),
  ('normal control 4',
   [[{'id': 43, 'mult': 12, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 40},
     {'id': 48, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 11, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 18, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 41, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 40}],
    [30, 16], [15, 20]],
   [48, 15])],
 [('regression: priority before multiplier',
   [[{'id': 36, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10},
     {'id': 9, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 37, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 0, 'y1': 20},
     {'id': 38, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 10, 'y1': 30},
     {'id': 4, 'mult': 15, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30}],
    [20, 20], [20, 12]],
   [9, 12]),
  ('partial repair probe: priority before multiplier',
   [[{'id': 15, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 32, 'mult': 20, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 49, 'mult': 20, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 17, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20}],
    [10, 12], [20, 12]],
   [17, 15]),
  ('second regression',
   [[{'id': 20, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30},
     {'id': 46, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 20},
     {'id': 4, 'mult': 15, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 10, 'y1': 30},
     {'id': 45, 'mult': 12, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 30}],
    [20, 12], [15, 20]],
   [20, 15]),
  ('normal control 1',
   [[{'id': 20, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 12, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 30, 'y0': 10, 'y1': 30}],
    [15, 20], [20, 30]],
   [None, 10]),
  ('normal control 2',
   [[{'id': 20, 'mult': 20, 'priority': 2, 'x0': 10, 'x1': 30, 'y0': 0, 'y1': 20},
     {'id': 18, 'mult': 15, 'priority': 2, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20},
     {'id': 10, 'mult': 15, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 20, 'y1': 30},
     {'id': 25, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 10, 'y1': 20}],
    [20, 20], [15, 20]],
   [10, 15]),
  ('normal control 3',
   [[{'id': 23, 'mult': 20, 'priority': 1, 'x0': 20, 'x1': 30, 'y0': 0, 'y1': 10},
     {'id': 20, 'mult': 12, 'priority': 1, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 20},
     {'id': 16, 'mult': 20, 'priority': 2, 'x0': 10, 'x1': 20, 'y0': 0, 'y1': 10},
     {'id': 29, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 20, 'y0': 20, 'y1': 30}],
    [20, 20], [30, 20]],
   [None, 10]),
  ('normal control 4',
   [[{'id': 29, 'mult': 20, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 0, 'y1': 10},
     {'id': 22, 'mult': 15, 'priority': 1, 'x0': 10, 'x1': 30, 'y0': 20, 'y1': 30},
     {'id': 11, 'mult': 12, 'priority': 2, 'x0': 20, 'x1': 40, 'y0': 10, 'y1': 20},
     {'id': 27, 'mult': 15, 'priority': 1, 'x0': 0, 'x1': 10, 'y0': 20, 'y1': 30}],
    [15, 10], [15, 30]],
   [None, 10])]]
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: priority before multiplier[38, 12][38, 12]Passed
partial repair probe: priority before multiplier[19, 20][19, 20]Passed
second regression[19, 20][19, 20]Passed
normal control 1[4, 15][4, 15]Passed
normal control 2[None, 10][None, 10]Passed
normal control 3[None, 10][None, 10]Passed
normal control 4[None, 10][None, 10]Passed

SHA-256 / 681c3b0e3c610c3d377cb4bcb98a93562a8666578acc3b50f73562854794b447

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

Case digest / 7ce0c3723b203fd7e74f8c4cb29adf7953f0c873402fdd08bdb59c5d2abebb6a