{"abstract":"After a spurious jump, the next genuine segment is measured from the bogus point.","category":"Ride-hailing fare and surge pricing","checks":7,"contract":"Billable distance from GPS pings [t seconds, x m, y m, accuracy m, paused]. Sort by time (stable); drop pings with accuracy worse than max_acc; among remaining pings with the same timestamp keep the first. Walk the kept pings with an anchor: segment length is the floored Euclidean distance (isqrt); if it implies a speed above max_speed m/s the ping is discarded and the anchor stays; otherwise the segment is billed unless either endpoint is paused, and the anchor moves. Return total meters.","evaluation_group":"w2-ride-hailing-fare-surge-gps-trace-distance","failed_approach":"Clearing the anchor loses the segment from the last good point.","family":"w2-ride-hailing-fare-surge-gps-trace-distance-teleport-anchor","id":"FA-85531","implementations":{"attempt":{"sha256":"4f298a2a3e4ab5502e78df9e7c2ea9ab4f9b6383dd4aa2b9cea0bb47065e1178","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(pings, max_acc, max_speed):\n    kept = []\n    seen = set()\n    for p in sorted(pings, key=lambda p: p[0]):\n        if p[3] > max_acc:\n            continue\n        if p[0] in seen:\n            continue\n        seen.add(p[0])\n        kept.append(p)\n    total = 0\n    anchor = None\n    for p in kept:\n        if anchor is None:\n            anchor = p\n            continue\n        d = math.isqrt((p[1] - anchor[1]) ** 2 + (p[2] - anchor[2]) ** 2)\n        dt = p[0] - anchor[0]\n        if d > max_speed * dt:\n            anchor = None\n            continue\n        if not (p[4] or anchor[4]):\n            total += d\n        anchor = p\n    return total\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: teleport anchor',\n   [[[5, 60, 0, 25, False], [5, 460, 20, 20, False], [10, 520, 40, 5, False], [20, 920, 40, 20, True],\n     [25, 920, 25, 60, True], [30, 965, 25, 20, False], [35, 965, 25, 25, False]],\n    20, 30],\n   508),\n  ('partial repair probe: teleport anchor',\n   [[[0, 45, -15, 10, False], [0, 445, -15, 10, False], [5, 505, 18, 20, False], [5, 550, 3, 25, False],\n     [10, 595, 23, 20, False], [15, 595, 56, 20, False], [15, 625, 56, 5, False], [20, 670, 89, 20, True]],\n    20, 30],\n   0),\n  ('second regression',\n   [[[0, 45, 0, 5, False], [5, 445, 20, 10, False], [10, 490, 20, 5, False], [10, 890, 53, 20, False],\n     [15, 1290, 86, 25, False], [20, 1320, 86, 60, False]],\n    20, 30],\n   0),\n  ('normal control 1', [[[5, 0, 33, 60, True], [10, 45, 66, 25, True], [15, 90, 86, 25, False]], 20, 30], 0),\n  ('normal control 2',\n   [[[5, 30, -15, 25, False], [5, 430, -15, 20, True], [10, 460, -30, 20, False], [15, 460, -45, 60, False],\n     [25, 460, -25, 25, False], [25, 860, -40, 20, True], [25, 920, -7, 25, False]],\n    20, 30],\n   0),\n  ('normal control 3',\n   [[[5, 0, 0, 25, False], [5, 0, -15, 20, False], [5, 30, 18, 20, False], [10, 90, 38, 20, False],\n     [15, 150, 23, 20, False], [15, 210, 56, 5, False]],\n    20, 30],\n   165),\n  ('normal control 4',\n   [[[0, 30, 20, 20, False], [10, 90, 53, 5, True], [15, 120, 53, 10, False], [15, 150, 86, 20, False]], 20,\n    30],\n   0)],\n [('regression: teleport anchor',\n   [[[35, 1335, -5, 5, False], [35, 1335, -20, 60, False], [20, 445, 5, 5, False], [30, 1290, 10, 25, True],\n     [25, 490, 5, 5, False], [25, 890, -10, 60, False], [15, 400, -15, 10, False], [10, 0, 0, 20, False]],\n    20, 30],\n   0),\n  ('partial repair probe: teleport anchor',\n   [[[5, 60, 33, 20, False], [15, 105, 33, 10, False], [20, 505, 53, 25, False], [25, 905, 38, 20, False],\n     [30, 935, 23, 60, False], [35, 935, 8, 25, False], [45, 935, -7, 5, False]],\n    20, 30],\n   875),\n  ('second regression',\n   [[[10, 30, 33, 5, False], [10, 430, 66, 20, True], [20, 430, 66, 20, False], [30, 430, 99, 10, False],\n     [30, 430, 84, 10, True], [40, 830, 84, 5, False], [45, 860, 84, 20, False], [45, 920, 69, 10, True]],\n    20, 30],\n   835),\n  ('normal control 1',\n   [[[0, 60, 33, 20, True], [5, 120, 53, 25, True], [15, 165, 38, 60, False], [15, 195, 23, 20, False],\n     [25, 195, 8, 5, False], [30, 240, 41, 60, False], [30, 270, 74, 10, False]],\n    20, 30],\n   114),\n  ('normal control 2',\n   [[[0, 30, 0, 20, True], [0, 430, 20, 25, False], [5, 830, 5, 5, True], [15, 860, 5, 20, True]], 20, 30],\n   0),\n  ('normal control 3',\n   [[[20, 860, 38, 25, False], [10, 860, 5, 25, False], [10, 460, 5, 60, False], [10, 400, 20, 25, False]],\n    20, 30],\n   0),\n  ('normal control 4', [[[5, 60, 20, 25, False], [10, 105, 53, 10, False], [15, 165, 73, 20, True]], 20, 30],\n   0)],\n [('regression: teleport anchor',\n   [[[15, 800, 40, 10, False], [5, 400, 20, 20, True], [20, 860, 40, 20, False], [25, 860, 60, 10, False]],\n    20, 30],\n   0),\n  ('partial repair probe: teleport anchor',\n   [[[25, 430, 51, 10, False], [25, 830, 71, 25, True], [10, 430, 18, 10, False], [0, 30, -15, 20, False],\n     [20, 430, 51, 60, False]],\n    20, 30],\n   405),\n  ('second regression',\n   [[[5, 60, 33, 25, True], [15, 90, 18, 25, False], [20, 150, 38, 10, False], [30, 550, 38, 20, False],\n     [35, 610, 58, 20, False], [45, 670, 91, 5, False]],\n    20, 30],\n   522),\n  ('normal control 1',\n   [[[30, 195, 23, 10, False], [30, 225, 43, 5, True], [30, 150, 38, 60, False], [15, 120, 33, 10, False],\n     [25, 120, 18, 10, True], [30, 270, 28, 10, False], [5, 60, 33, 60, False]],\n    20, 30],\n   0),\n  ('normal control 2', [[[15, 430, 5, 60, True], [10, 400, -15, 20, True], [20, 460, 25, 5, True]], 20, 30],\n   0),\n  ('normal control 3',\n   [[[5, 0, 20, 20, True], [15, 0, 5, 20, False], [20, 30, 5, 5, True], [30, 75, 5, 60, False]], 20, 30], 0),\n  ('normal control 4',\n   [[[5, 90, 53, 10, False], [20, 210, 106, 10, False], [10, 120, 73, 20, False], [0, 45, 33, 60, False],\n     [15, 150, 73, 20, False]],\n    20, 30],\n   134)],\n [('regression: teleport anchor',\n   [[[0, 30, 33, 5, False], [5, 430, 66, 20, True], [15, 830, 51, 60, True], [15, 860, 84, 25, False],\n     [25, 860, 104, 20, True], [30, 890, 89, 20, False]],\n    20, 30],\n   861),\n  ('partial repair probe: teleport anchor',\n   [[[10, 400, 0, 5, False], [15, 800, 33, 20, True], [20, 1200, 53, 10, False], [25, 1600, 38, 60, False],\n     [30, 1600, 38, 20, True], [35, 1660, 58, 20, False], [45, 1660, 58, 20, False],\n     [50, 1720, 78, 5, False]],\n    20, 30],\n   0),\n  ('second regression',\n   [[[5, 800, 25, 60, True], [20, 1200, 43, 5, False], [0, 400, 20, 5, False], [15, 1200, 58, 20, True],\n     [25, 1660, 48, 10, False], [5, 800, 5, 5, False], [25, 1600, 28, 5, False], [10, 800, 58, 20, False]],\n    20, 30],\n   0),\n  ('normal control 1',\n   [[[10, 60, 0, 5, True], [15, 60, 33, 5, False], [20, 60, 66, 20, False], [25, 60, 86, 25, True],\n     [30, 60, 86, 25, True], [35, 90, 119, 25, False]],\n    20, 30],\n   33),\n  ('normal control 2', [[[20, 460, 66, 25, True], [5, 400, 0, 20, True], [15, 460, 33, 20, False]], 20, 30],\n   0),\n  ('normal control 3', [[[0, 30, 20, 25, False], [5, 430, 5, 20, True], [5, 490, -10, 20, False]], 20, 30],\n   0),\n  ('normal control 4',\n   [[[15, 460, 53, 10, False], [5, 60, 20, 60, True], [20, 505, 106, 60, True], [20, 505, 73, 20, False]], 20,\n    30],\n   49)],\n [('regression: teleport anchor',\n   [[[30, 580, 51, 20, False], [10, 490, 66, 5, False], [10, 90, 33, 10, False], [5, 45, 33, 10, False],\n     [20, 550, 66, 20, False]],\n    20, 30],\n   535),\n  ('partial repair probe: teleport anchor',\n   [[[10, 60, 20, 10, False], [15, 105, 5, 5, False], [50, 1365, 76, 10, False], [30, 905, 25, 60, False],\n     [20, 505, 5, 20, True], [40, 1335, 91, 20, False], [5, 60, 0, 20, False], [30, 935, 58, 25, False]],\n    20, 30],\n   67),\n  ('second regression', [[[5, 0, 20, 20, False], [10, 400, 53, 5, False], [15, 445, 38, 20, False]], 20, 30],\n   0),\n  ('normal control 1',\n   [[[5, 45, 0, 10, True], [15, 75, 33, 25, False], [20, 120, 53, 5, False], [25, 120, 53, 20, False],\n     [30, 120, 73, 20, False], [30, 165, 73, 5, False], [35, 165, 106, 20, False]],\n    20, 30],\n   75),\n  ('normal control 2', [[[10, 30, 0, 20, True], [15, 90, 20, 5, False], [20, 135, 40, 20, False]], 20, 30],\n   49),\n  ('normal control 3',\n   [[[35, 210, 119, 20, False], [25, 150, 86, 20, False], [40, 240, 139, 5, False], [15, 90, 86, 20, True],\n     [10, 0, 33, 25, False], [45, 270, 172, 20, False], [10, 45, 53, 10, False]],\n    20, 30],\n   148),\n  ('normal control 4',\n   [[[35, 165, 86, 5, False], [15, 75, 66, 60, False], [25, 120, 66, 20, False], [30, 165, 66, 25, True],\n     [5, 45, 33, 20, True]],\n    20, 30],\n   49)]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"480108fc5d36b5817deb89c5dbdb8ecd09040d5f0a4bce29e7110b8f3e764a10","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(pings, max_acc, max_speed):\n    kept = []\n    seen = set()\n    for p in sorted(pings, key=lambda p: p[0]):\n        if p[3] > max_acc:\n            continue\n        if p[0] in seen:\n            continue\n        seen.add(p[0])\n        kept.append(p)\n    total = 0\n    anchor = None\n    for p in kept:\n        if anchor is None:\n            anchor = p\n            continue\n        d = math.isqrt((p[1] - anchor[1]) ** 2 + (p[2] - anchor[2]) ** 2)\n        dt = p[0] - anchor[0]\n        if d > max_speed * dt:\n            anchor = p\n            continue\n        if not (p[4] or anchor[4]):\n            total += d\n        anchor = p\n    return total\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: teleport anchor',\n   [[[5, 60, 0, 25, False], [5, 460, 20, 20, False], [10, 520, 40, 5, False], [20, 920, 40, 20, True],\n     [25, 920, 25, 60, True], [30, 965, 25, 20, False], [35, 965, 25, 25, False]],\n    20, 30],\n   508),\n  ('partial repair probe: teleport anchor',\n   [[[0, 45, -15, 10, False], [0, 445, -15, 10, False], [5, 505, 18, 20, False], [5, 550, 3, 25, False],\n     [10, 595, 23, 20, False], [15, 595, 56, 20, False], [15, 625, 56, 5, False], [20, 670, 89, 20, True]],\n    20, 30],\n   0),\n  ('second regression',\n   [[[0, 45, 0, 5, False], [5, 445, 20, 10, False], [10, 490, 20, 5, False], [10, 890, 53, 20, False],\n     [15, 1290, 86, 25, False], [20, 1320, 86, 60, False]],\n    20, 30],\n   0),\n  ('normal control 1', [[[5, 0, 33, 60, True], [10, 45, 66, 25, True], [15, 90, 86, 25, False]], 20, 30], 0),\n  ('normal control 2',\n   [[[5, 30, -15, 25, False], [5, 430, -15, 20, True], [10, 460, -30, 20, False], [15, 460, -45, 60, False],\n     [25, 460, -25, 25, False], [25, 860, -40, 20, True], [25, 920, -7, 25, False]],\n    20, 30],\n   0),\n  ('normal control 3',\n   [[[5, 0, 0, 25, False], [5, 0, -15, 20, False], [5, 30, 18, 20, False], [10, 90, 38, 20, False],\n     [15, 150, 23, 20, False], [15, 210, 56, 5, False]],\n    20, 30],\n   165),\n  ('normal control 4',\n   [[[0, 30, 20, 20, False], [10, 90, 53, 5, True], [15, 120, 53, 10, False], [15, 150, 86, 20, False]], 20,\n    30],\n   0)],\n [('regression: teleport anchor',\n   [[[35, 1335, -5, 5, False], [35, 1335, -20, 60, False], [20, 445, 5, 5, False], [30, 1290, 10, 25, True],\n     [25, 490, 5, 5, False], [25, 890, -10, 60, False], [15, 400, -15, 10, False], [10, 0, 0, 20, False]],\n    20, 30],\n   0),\n  ('partial repair probe: teleport anchor',\n   [[[5, 60, 33, 20, False], [15, 105, 33, 10, False], [20, 505, 53, 25, False], [25, 905, 38, 20, False],\n     [30, 935, 23, 60, False], [35, 935, 8, 25, False], [45, 935, -7, 5, False]],\n    20, 30],\n   875),\n  ('second regression',\n   [[[10, 30, 33, 5, False], [10, 430, 66, 20, True], [20, 430, 66, 20, False], [30, 430, 99, 10, False],\n     [30, 430, 84, 10, True], [40, 830, 84, 5, False], [45, 860, 84, 20, False], [45, 920, 69, 10, True]],\n    20, 30],\n   835),\n  ('normal control 1',\n   [[[0, 60, 33, 20, True], [5, 120, 53, 25, True], [15, 165, 38, 60, False], [15, 195, 23, 20, False],\n     [25, 195, 8, 5, False], [30, 240, 41, 60, False], [30, 270, 74, 10, False]],\n    20, 30],\n   114),\n  ('normal control 2',\n   [[[0, 30, 0, 20, True], [0, 430, 20, 25, False], [5, 830, 5, 5, True], [15, 860, 5, 20, True]], 20, 30],\n   0),\n  ('normal control 3',\n   [[[20, 860, 38, 25, False], [10, 860, 5, 25, False], [10, 460, 5, 60, False], [10, 400, 20, 25, False]],\n    20, 30],\n   0),\n  ('normal control 4', [[[5, 60, 20, 25, False], [10, 105, 53, 10, False], [15, 165, 73, 20, True]], 20, 30],\n   0)],\n [('regression: teleport anchor',\n   [[[15, 800, 40, 10, False], [5, 400, 20, 20, True], [20, 860, 40, 20, False], [25, 860, 60, 10, False]],\n    20, 30],\n   0),\n  ('partial repair probe: teleport anchor',\n   [[[25, 430, 51, 10, False], [25, 830, 71, 25, True], [10, 430, 18, 10, False], [0, 30, -15, 20, False],\n     [20, 430, 51, 60, False]],\n    20, 30],\n   405),\n  ('second regression',\n   [[[5, 60, 33, 25, True], [15, 90, 18, 25, False], [20, 150, 38, 10, False], [30, 550, 38, 20, False],\n     [35, 610, 58, 20, False], [45, 670, 91, 5, False]],\n    20, 30],\n   522),\n  ('normal control 1',\n   [[[30, 195, 23, 10, False], [30, 225, 43, 5, True], [30, 150, 38, 60, False], [15, 120, 33, 10, False],\n     [25, 120, 18, 10, True], [30, 270, 28, 10, False], [5, 60, 33, 60, False]],\n    20, 30],\n   0),\n  ('normal control 2', [[[15, 430, 5, 60, True], [10, 400, -15, 20, True], [20, 460, 25, 5, True]], 20, 30],\n   0),\n  ('normal control 3',\n   [[[5, 0, 20, 20, True], [15, 0, 5, 20, False], [20, 30, 5, 5, True], [30, 75, 5, 60, False]], 20, 30], 0),\n  ('normal control 4',\n   [[[5, 90, 53, 10, False], [20, 210, 106, 10, False], [10, 120, 73, 20, False], [0, 45, 33, 60, False],\n     [15, 150, 73, 20, False]],\n    20, 30],\n   134)],\n [('regression: teleport anchor',\n   [[[0, 30, 33, 5, False], [5, 430, 66, 20, True], [15, 830, 51, 60, True], [15, 860, 84, 25, False],\n     [25, 860, 104, 20, True], [30, 890, 89, 20, False]],\n    20, 30],\n   861),\n  ('partial repair probe: teleport anchor',\n   [[[10, 400, 0, 5, False], [15, 800, 33, 20, True], [20, 1200, 53, 10, False], [25, 1600, 38, 60, False],\n     [30, 1600, 38, 20, True], [35, 1660, 58, 20, False], [45, 1660, 58, 20, False],\n     [50, 1720, 78, 5, False]],\n    20, 30],\n   0),\n  ('second regression',\n   [[[5, 800, 25, 60, True], [20, 1200, 43, 5, False], [0, 400, 20, 5, False], [15, 1200, 58, 20, True],\n     [25, 1660, 48, 10, False], [5, 800, 5, 5, False], [25, 1600, 28, 5, False], [10, 800, 58, 20, False]],\n    20, 30],\n   0),\n  ('normal control 1',\n   [[[10, 60, 0, 5, True], [15, 60, 33, 5, False], [20, 60, 66, 20, False], [25, 60, 86, 25, True],\n     [30, 60, 86, 25, True], [35, 90, 119, 25, False]],\n    20, 30],\n   33),\n  ('normal control 2', [[[20, 460, 66, 25, True], [5, 400, 0, 20, True], [15, 460, 33, 20, False]], 20, 30],\n   0),\n  ('normal control 3', [[[0, 30, 20, 25, False], [5, 430, 5, 20, True], [5, 490, -10, 20, False]], 20, 30],\n   0),\n  ('normal control 4',\n   [[[15, 460, 53, 10, False], [5, 60, 20, 60, True], [20, 505, 106, 60, True], [20, 505, 73, 20, False]], 20,\n    30],\n   49)],\n [('regression: teleport anchor',\n   [[[30, 580, 51, 20, False], [10, 490, 66, 5, False], [10, 90, 33, 10, False], [5, 45, 33, 10, False],\n     [20, 550, 66, 20, False]],\n    20, 30],\n   535),\n  ('partial repair probe: teleport anchor',\n   [[[10, 60, 20, 10, False], [15, 105, 5, 5, False], [50, 1365, 76, 10, False], [30, 905, 25, 60, False],\n     [20, 505, 5, 20, True], [40, 1335, 91, 20, False], [5, 60, 0, 20, False], [30, 935, 58, 25, False]],\n    20, 30],\n   67),\n  ('second regression', [[[5, 0, 20, 20, False], [10, 400, 53, 5, False], [15, 445, 38, 20, False]], 20, 30],\n   0),\n  ('normal control 1',\n   [[[5, 45, 0, 10, True], [15, 75, 33, 25, False], [20, 120, 53, 5, False], [25, 120, 53, 20, False],\n     [30, 120, 73, 20, False], [30, 165, 73, 5, False], [35, 165, 106, 20, False]],\n    20, 30],\n   75),\n  ('normal control 2', [[[10, 30, 0, 20, True], [15, 90, 20, 5, False], [20, 135, 40, 20, False]], 20, 30],\n   49),\n  ('normal control 3',\n   [[[35, 210, 119, 20, False], [25, 150, 86, 20, False], [40, 240, 139, 5, False], [15, 90, 86, 20, True],\n     [10, 0, 33, 25, False], [45, 270, 172, 20, False], [10, 45, 53, 10, False]],\n    20, 30],\n   148),\n  ('normal control 4',\n   [[[35, 165, 86, 5, False], [15, 75, 66, 60, False], [25, 120, 66, 20, False], [30, 165, 66, 25, True],\n     [5, 45, 33, 20, True]],\n    20, 30],\n   49)]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"9a698ceccb479f51a4ef15418bef86c07f801cf06e21fa3a17b282ea680b050f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(pings, max_acc, max_speed):\n    kept = []\n    seen = set()\n    for p in sorted(pings, key=lambda p: p[0]):\n        if p[3] > max_acc:\n            continue\n        if p[0] in seen:\n            continue\n        seen.add(p[0])\n        kept.append(p)\n    total = 0\n    anchor = None\n    for p in kept:\n        if anchor is None:\n            anchor = p\n            continue\n        d = math.isqrt((p[1] - anchor[1]) ** 2 + (p[2] - anchor[2]) ** 2)\n        dt = p[0] - anchor[0]\n        if d > max_speed * dt:\n            continue\n        if not (p[4] or anchor[4]):\n            total += d\n        anchor = p\n    return total\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: teleport anchor',\n   [[[5, 60, 0, 25, False], [5, 460, 20, 20, False], [10, 520, 40, 5, False], [20, 920, 40, 20, True],\n     [25, 920, 25, 60, True], [30, 965, 25, 20, False], [35, 965, 25, 25, False]],\n    20, 30],\n   508),\n  ('partial repair probe: teleport anchor',\n   [[[0, 45, -15, 10, False], [0, 445, -15, 10, False], [5, 505, 18, 20, False], [5, 550, 3, 25, False],\n     [10, 595, 23, 20, False], [15, 595, 56, 20, False], [15, 625, 56, 5, False], [20, 670, 89, 20, True]],\n    20, 30],\n   0),\n  ('second regression',\n   [[[0, 45, 0, 5, False], [5, 445, 20, 10, False], [10, 490, 20, 5, False], [10, 890, 53, 20, False],\n     [15, 1290, 86, 25, False], [20, 1320, 86, 60, False]],\n    20, 30],\n   0),\n  ('normal control 1', [[[5, 0, 33, 60, True], [10, 45, 66, 25, True], [15, 90, 86, 25, False]], 20, 30], 0),\n  ('normal control 2',\n   [[[5, 30, -15, 25, False], [5, 430, -15, 20, True], [10, 460, -30, 20, False], [15, 460, -45, 60, False],\n     [25, 460, -25, 25, False], [25, 860, -40, 20, True], [25, 920, -7, 25, False]],\n    20, 30],\n   0),\n  ('normal control 3',\n   [[[5, 0, 0, 25, False], [5, 0, -15, 20, False], [5, 30, 18, 20, False], [10, 90, 38, 20, False],\n     [15, 150, 23, 20, False], [15, 210, 56, 5, False]],\n    20, 30],\n   165),\n  ('normal control 4',\n   [[[0, 30, 20, 20, False], [10, 90, 53, 5, True], [15, 120, 53, 10, False], [15, 150, 86, 20, False]], 20,\n    30],\n   0)],\n [('regression: teleport anchor',\n   [[[35, 1335, -5, 5, False], [35, 1335, -20, 60, False], [20, 445, 5, 5, False], [30, 1290, 10, 25, True],\n     [25, 490, 5, 5, False], [25, 890, -10, 60, False], [15, 400, -15, 10, False], [10, 0, 0, 20, False]],\n    20, 30],\n   0),\n  ('partial repair probe: teleport anchor',\n   [[[5, 60, 33, 20, False], [15, 105, 33, 10, False], [20, 505, 53, 25, False], [25, 905, 38, 20, False],\n     [30, 935, 23, 60, False], [35, 935, 8, 25, False], [45, 935, -7, 5, False]],\n    20, 30],\n   875),\n  ('second regression',\n   [[[10, 30, 33, 5, False], [10, 430, 66, 20, True], [20, 430, 66, 20, False], [30, 430, 99, 10, False],\n     [30, 430, 84, 10, True], [40, 830, 84, 5, False], [45, 860, 84, 20, False], [45, 920, 69, 10, True]],\n    20, 30],\n   835),\n  ('normal control 1',\n   [[[0, 60, 33, 20, True], [5, 120, 53, 25, True], [15, 165, 38, 60, False], [15, 195, 23, 20, False],\n     [25, 195, 8, 5, False], [30, 240, 41, 60, False], [30, 270, 74, 10, False]],\n    20, 30],\n   114),\n  ('normal control 2',\n   [[[0, 30, 0, 20, True], [0, 430, 20, 25, False], [5, 830, 5, 5, True], [15, 860, 5, 20, True]], 20, 30],\n   0),\n  ('normal control 3',\n   [[[20, 860, 38, 25, False], [10, 860, 5, 25, False], [10, 460, 5, 60, False], [10, 400, 20, 25, False]],\n    20, 30],\n   0),\n  ('normal control 4', [[[5, 60, 20, 25, False], [10, 105, 53, 10, False], [15, 165, 73, 20, True]], 20, 30],\n   0)],\n [('regression: teleport anchor',\n   [[[15, 800, 40, 10, False], [5, 400, 20, 20, True], [20, 860, 40, 20, False], [25, 860, 60, 10, False]],\n    20, 30],\n   0),\n  ('partial repair probe: teleport anchor',\n   [[[25, 430, 51, 10, False], [25, 830, 71, 25, True], [10, 430, 18, 10, False], [0, 30, -15, 20, False],\n     [20, 430, 51, 60, False]],\n    20, 30],\n   405),\n  ('second regression',\n   [[[5, 60, 33, 25, True], [15, 90, 18, 25, False], [20, 150, 38, 10, False], [30, 550, 38, 20, False],\n     [35, 610, 58, 20, False], [45, 670, 91, 5, False]],\n    20, 30],\n   522),\n  ('normal control 1',\n   [[[30, 195, 23, 10, False], [30, 225, 43, 5, True], [30, 150, 38, 60, False], [15, 120, 33, 10, False],\n     [25, 120, 18, 10, True], [30, 270, 28, 10, False], [5, 60, 33, 60, False]],\n    20, 30],\n   0),\n  ('normal control 2', [[[15, 430, 5, 60, True], [10, 400, -15, 20, True], [20, 460, 25, 5, True]], 20, 30],\n   0),\n  ('normal control 3',\n   [[[5, 0, 20, 20, True], [15, 0, 5, 20, False], [20, 30, 5, 5, True], [30, 75, 5, 60, False]], 20, 30], 0),\n  ('normal control 4',\n   [[[5, 90, 53, 10, False], [20, 210, 106, 10, False], [10, 120, 73, 20, False], [0, 45, 33, 60, False],\n     [15, 150, 73, 20, False]],\n    20, 30],\n   134)],\n [('regression: teleport anchor',\n   [[[0, 30, 33, 5, False], [5, 430, 66, 20, True], [15, 830, 51, 60, True], [15, 860, 84, 25, False],\n     [25, 860, 104, 20, True], [30, 890, 89, 20, False]],\n    20, 30],\n   861),\n  ('partial repair probe: teleport anchor',\n   [[[10, 400, 0, 5, False], [15, 800, 33, 20, True], [20, 1200, 53, 10, False], [25, 1600, 38, 60, False],\n     [30, 1600, 38, 20, True], [35, 1660, 58, 20, False], [45, 1660, 58, 20, False],\n     [50, 1720, 78, 5, False]],\n    20, 30],\n   0),\n  ('second regression',\n   [[[5, 800, 25, 60, True], [20, 1200, 43, 5, False], [0, 400, 20, 5, False], [15, 1200, 58, 20, True],\n     [25, 1660, 48, 10, False], [5, 800, 5, 5, False], [25, 1600, 28, 5, False], [10, 800, 58, 20, False]],\n    20, 30],\n   0),\n  ('normal control 1',\n   [[[10, 60, 0, 5, True], [15, 60, 33, 5, False], [20, 60, 66, 20, False], [25, 60, 86, 25, True],\n     [30, 60, 86, 25, True], [35, 90, 119, 25, False]],\n    20, 30],\n   33),\n  ('normal control 2', [[[20, 460, 66, 25, True], [5, 400, 0, 20, True], [15, 460, 33, 20, False]], 20, 30],\n   0),\n  ('normal control 3', [[[0, 30, 20, 25, False], [5, 430, 5, 20, True], [5, 490, -10, 20, False]], 20, 30],\n   0),\n  ('normal control 4',\n   [[[15, 460, 53, 10, False], [5, 60, 20, 60, True], [20, 505, 106, 60, True], [20, 505, 73, 20, False]], 20,\n    30],\n   49)],\n [('regression: teleport anchor',\n   [[[30, 580, 51, 20, False], [10, 490, 66, 5, False], [10, 90, 33, 10, False], [5, 45, 33, 10, False],\n     [20, 550, 66, 20, False]],\n    20, 30],\n   535),\n  ('partial repair probe: teleport anchor',\n   [[[10, 60, 20, 10, False], [15, 105, 5, 5, False], [50, 1365, 76, 10, False], [30, 905, 25, 60, False],\n     [20, 505, 5, 20, True], [40, 1335, 91, 20, False], [5, 60, 0, 20, False], [30, 935, 58, 25, False]],\n    20, 30],\n   67),\n  ('second regression', [[[5, 0, 20, 20, False], [10, 400, 53, 5, False], [15, 445, 38, 20, False]], 20, 30],\n   0),\n  ('normal control 1',\n   [[[5, 45, 0, 10, True], [15, 75, 33, 25, False], [20, 120, 53, 5, False], [25, 120, 53, 20, False],\n     [30, 120, 73, 20, False], [30, 165, 73, 5, False], [35, 165, 106, 20, False]],\n    20, 30],\n   75),\n  ('normal control 2', [[[10, 30, 0, 20, True], [15, 90, 20, 5, False], [20, 135, 40, 20, False]], 20, 30],\n   49),\n  ('normal control 3',\n   [[[35, 210, 119, 20, False], [25, 150, 86, 20, False], [40, 240, 139, 5, False], [15, 90, 86, 20, True],\n     [10, 0, 33, 25, False], [45, 270, 172, 20, False], [10, 45, 53, 10, False]],\n    20, 30],\n   148),\n  ('normal control 4',\n   [[[35, 165, 86, 5, False], [15, 75, 66, 60, False], [25, 120, 66, 20, False], [30, 165, 66, 25, True],\n     [5, 45, 33, 20, True]],\n    20, 30],\n   49)]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-ride-hailing-fare-surge-gps-trace-distance-teleport-anchor","generated_at":"2026-09-29T14:50:41.195944+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Ride-hailing prices are computed per trip at scale; ordering, unit and boundary slips become systematic over- or under-charging.","repair":"Discard the teleport ping and keep the previous anchor.","root_cause":"A rejected teleport ping still replaces the anchor.","sha256":"737a4c66e4a828c50497c275e0033e4b3660a7bb6a11e0b1315c7d32f86861e5","title":"GPS jump becomes the new anchor · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.801,"exit_code":1,"observations":[{"actual":63,"check":"regression: teleport anchor","expected":508,"passed":false},{"actual":33,"check":"partial repair probe: teleport anchor","expected":0,"passed":false},{"actual":0,"check":"second regression","expected":0,"passed":true},{"actual":0,"check":"normal control 1","expected":0,"passed":true},{"actual":0,"check":"normal control 2","expected":0,"passed":true},{"actual":165,"check":"normal control 3","expected":165,"passed":true},{"actual":0,"check":"normal control 4","expected":0,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: teleport anchor\", \"actual\": 63, \"expected\": 508, \"passed\": false}, {\"check\": \"partial repair probe: teleport anchor\", \"actual\": 33, \"expected\": 0, \"passed\": false}, {\"check\": \"second regression\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": 165, \"expected\": 165, \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.56,"exit_code":1,"observations":[{"actual":63,"check":"regression: teleport anchor","expected":508,"passed":false},{"actual":123,"check":"partial repair probe: teleport anchor","expected":0,"passed":false},{"actual":45,"check":"second regression","expected":0,"passed":false},{"actual":0,"check":"normal control 1","expected":0,"passed":true},{"actual":0,"check":"normal control 2","expected":0,"passed":true},{"actual":165,"check":"normal control 3","expected":165,"passed":true},{"actual":0,"check":"normal control 4","expected":0,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: teleport anchor\", \"actual\": 63, \"expected\": 508, \"passed\": false}, {\"check\": \"partial repair probe: teleport anchor\", \"actual\": 123, \"expected\": 0, \"passed\": false}, {\"check\": \"second regression\", \"actual\": 45, \"expected\": 0, \"passed\": false}, {\"check\": \"normal control 1\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": 165, \"expected\": 165, \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.438,"exit_code":0,"observations":[{"actual":508,"check":"regression: teleport anchor","expected":508,"passed":true},{"actual":0,"check":"partial repair probe: teleport anchor","expected":0,"passed":true},{"actual":0,"check":"second regression","expected":0,"passed":true},{"actual":0,"check":"normal control 1","expected":0,"passed":true},{"actual":0,"check":"normal control 2","expected":0,"passed":true},{"actual":165,"check":"normal control 3","expected":165,"passed":true},{"actual":0,"check":"normal control 4","expected":0,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: teleport anchor\", \"actual\": 508, \"expected\": 508, \"passed\": true}, {\"check\": \"partial repair probe: teleport anchor\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"second regression\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": 165, \"expected\": 165, \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}