{"abstract":"The first segment after resuming a paused trip is charged.","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.","contract_signature":"pings, max_acc, max_speed","evaluation_group":"w2-ride-hailing-fare-surge-gps-trace-distance","failed_approach":"Checking only the anchor bills segments that end in a pause.","family":"w2-ride-hailing-fare-surge-gps-trace-distance-paused-endpoints","id":"FA-85536","implementations":{"attempt":{"sha256":"ff7796c1b48731ef2057eed0629f5af869301c191ecae77ca1b762eb525a341a","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 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: paused endpoints',\n   [[[0, 30, -15, 20, True], [0, 30, -30, 60, False], [0, 30, -45, 25, False], [0, 90, -45, 20, False],\n     [5, 120, -60, 10, False], [15, 520, -40, 20, False], [20, 550, -40, 20, True],\n     [30, 610, -55, 20, False]],\n    20, 30],\n   0),\n  ('partial repair probe: paused endpoints',\n   [[[20, 505, 3, 5, False], [40, 550, 76, 20, True], [30, 550, 23, 25, False], [35, 550, 43, 5, False],\n     [35, 550, 23, 20, False], [10, 45, -15, 20, False], [15, 105, -30, 20, False]],\n    20, 30],\n   511),\n  ('second regression',\n   [[[10, 60, 20, 10, False], [10, 90, 53, 20, False], [15, 135, 53, 25, False], [15, 135, 53, 5, False],\n     [25, 165, 53, 20, True]],\n    20, 30],\n   81),\n  ('normal control 1',\n   [[[5, 120, 60, 20, False], [5, 520, 80, 5, False], [15, 565, 80, 25, False], [5, 120, 40, 20, False],\n     [5, 60, 20, 20, False]],\n    20, 30],\n   0),\n  ('normal control 2',\n   [[[15, 860, 36, 10, False], [5, 800, 3, 5, False], [5, 800, -30, 25, False], [0, 400, -15, 60, False]], 20,\n    30],\n   68),\n  ('normal control 3', [[[10, 45, 33, 20, False], [15, 90, 33, 5, False], [15, 120, 66, 5, False]], 20, 30],\n   45),\n  ('normal control 4',\n   [[[5, 60, 33, 60, False], [15, 460, 33, 60, False], [15, 860, 66, 25, False], [20, 905, 66, 25, False],\n     [20, 1305, 86, 10, True]],\n    20, 30],\n   0)],\n [('regression: paused endpoints',\n   [[[10, 45, 20, 20, True], [15, 90, 20, 60, False], [15, 120, 53, 5, False], [20, 520, 38, 5, False]], 20,\n    30],\n   0),\n  ('partial repair probe: paused endpoints',\n   [[[0, 60, -15, 5, False], [0, 105, 18, 10, False], [5, 505, 38, 20, False], [15, 505, 38, 20, False],\n     [25, 505, 58, 20, True]],\n    20, 30],\n   448),\n  ('second regression',\n   [[[10, 30, 0, 60, True], [10, 75, 20, 10, False], [5, 30, 0, 25, False], [15, 135, 53, 20, True]], 20, 30],\n   0),\n  ('normal control 1',\n   [[[5, 430, -30, 10, False], [5, 460, -30, 5, False], [10, 505, 3, 5, False], [5, 30, -15, 25, False]], 20,\n    30],\n   81),\n  ('normal control 2',\n   [[[0, 45, 0, 25, False], [0, 75, 20, 60, False], [0, 475, 40, 5, False], [0, 875, 73, 20, False],\n     [10, 935, 58, 5, False], [15, 965, 91, 60, True], [20, 995, 76, 10, False], [30, 1040, 76, 5, False]],\n    20, 30],\n   566),\n  ('normal control 3',\n   [[[5, 30, 0, 25, True], [10, 90, -15, 20, True], [15, 490, -30, 5, True], [25, 490, -30, 20, True]], 20,\n    30],\n   0),\n  ('normal control 4',\n   [[[5, 30, -15, 10, False], [10, 90, 5, 25, False], [15, 490, -10, 20, False], [20, 490, -25, 20, False],\n     [25, 550, -5, 25, False], [30, 595, 15, 60, False], [40, 655, 15, 5, False], [45, 685, 48, 20, False]],\n    20, 30],\n   669)],\n [('regression: paused endpoints',\n   [[[10, 520, 33, 20, True], [25, 580, 33, 20, False], [15, 550, 33, 60, False], [30, 640, 66, 10, True],\n     [30, 685, 86, 5, False], [10, 120, 33, 25, False], [5, 60, 33, 5, True]],\n    20, 30],\n   0),\n  ('partial repair probe: paused endpoints',\n   [[[5, 150, 38, 10, False], [5, 60, 20, 10, False], [5, 90, 5, 20, False], [10, 195, 23, 20, False],\n     [20, 625, 28, 25, False], [15, 225, 8, 20, True]],\n    20, 30],\n   47),\n  ('second regression',\n   [[[35, 135, 71, 20, False], [10, 30, 33, 25, False], [15, 30, 66, 5, True], [35, 165, 91, 20, True],\n     [25, 90, 51, 25, False], [40, 195, 111, 10, False]],\n    20, 30],\n   72),\n  ('normal control 1',\n   [[[0, 60, -15, 25, False], [0, 460, 5, 20, False], [5, 860, -10, 60, False], [15, 1260, 23, 20, False],\n     [20, 1305, 43, 25, True], [25, 1350, 43, 60, False], [25, 1380, 63, 60, False],\n     [30, 1780, 48, 5, False]],\n    20, 30],\n   0),\n  ('normal control 2', [[[10, 45, 33, 10, False], [10, 105, 33, 60, True], [15, 150, 66, 20, False]], 20, 30],\n   110),\n  ('normal control 3', [[[5, 0, -15, 20, False], [15, 60, -30, 5, False], [25, 105, -30, 25, False]], 20, 30],\n   61),\n  ('normal control 4',\n   [[[0, 30, 33, 20, False], [25, 610, 119, 20, False], [20, 550, 119, 20, False], [30, 640, 139, 20, False],\n     [10, 90, 66, 10, False], [20, 490, 86, 5, True]],\n    20, 30],\n   622)],\n [('regression: paused endpoints',\n   [[[0, 45, -15, 20, True], [5, 90, -15, 60, True], [15, 150, 18, 20, False], [25, 180, 18, 5, True]], 20,\n    30],\n   0),\n  ('partial repair probe: paused endpoints',\n   [[[5, 45, 0, 25, False], [10, 90, 20, 60, True], [20, 135, 5, 10, False], [20, 135, 25, 25, False],\n     [25, 135, 45, 60, False], [30, 180, 45, 20, True], [35, 225, 45, 5, False]],\n    20, 30],\n   0),\n  ('second regression',\n   [[[10, 400, 3, 20, True], [25, 505, 8, 20, False], [20, 460, 23, 20, False], [35, 565, 28, 5, False],\n     [0, 400, 33, 20, False], [5, 400, 18, 25, True], [40, 965, 48, 20, False], [45, 1365, 68, 60, False]],\n    20, 30],\n   110),\n  ('normal control 1', [[[5, 30, 20, 60, False], [5, 430, 53, 25, False], [10, 830, 38, 5, True]], 20, 30],\n   0),\n  ('normal control 2', [[[10, 0, 0, 60, False], [10, 45, 0, 20, False], [10, 90, 33, 20, True]], 20, 30], 0),\n  ('normal control 3',\n   [[[10, 45, 33, 60, False], [15, 445, 33, 60, False], [25, 490, 18, 20, False], [30, 520, 18, 60, True],\n     [40, 565, 3, 25, True], [45, 595, 36, 10, False], [50, 595, 21, 20, False], [55, 655, 54, 20, False]],\n    20, 30],\n   189),\n  ('normal control 4',\n   [[[10, 90, 53, 60, True], [5, 60, 20, 20, False], [35, 950, 113, 20, True], [30, 890, 73, 60, False],\n     [35, 920, 93, 5, False], [20, 490, 53, 20, False]],\n    20, 30],\n   431)],\n [('regression: paused endpoints',\n   [[[45, 965, 139, 5, False], [5, 400, 0, 10, True], [15, 430, 33, 10, True], [60, 1040, 172, 5, False],\n     [45, 920, 106, 5, False], [50, 995, 172, 20, False], [25, 490, 53, 5, False], [35, 890, 73, 5, False]],\n    20, 30],\n   571),\n  ('partial repair probe: paused endpoints',\n   [[[20, 105, 33, 20, True], [10, 75, 0, 20, False], [5, 45, 0, 10, False], [25, 150, 53, 10, False]], 20,\n    30],\n   30),\n  ('second regression',\n   [[[25, 475, 73, 60, False], [5, 0, 0, 5, False], [15, 400, 33, 10, False], [35, 520, 93, 60, False],\n     [20, 445, 53, 10, True]],\n    20, 30],\n   0),\n  ('normal control 1',\n   [[[20, 830, 53, 60, False], [15, 800, 53, 5, False], [10, 400, 20, 10, False], [30, 890, 119, 5, False],\n     [25, 860, 86, 60, False], [15, 400, 53, 20, True]],\n    20, 30],\n   499),\n  ('normal control 2',\n   [[[20, 90, 86, 5, False], [10, 30, 33, 25, False], [30, 890, 71, 10, False], [15, 60, 66, 20, False],\n     [30, 490, 71, 60, False]],\n    20, 30],\n   36),\n  ('normal control 3',\n   [[[5, 30, -15, 25, False], [10, 90, -15, 25, False], [15, 120, 18, 25, True], [25, 520, 3, 20, True],\n     [30, 580, 36, 60, False], [35, 980, 69, 5, False], [35, 1040, 102, 60, False]],\n    20, 30],\n   0),\n  ('normal control 4', [[[5, 45, 33, 20, False], [20, 165, 33, 60, False], [10, 105, 33, 20, False]], 20, 30],\n   60)]]\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":"f3d85b1e52e1cda73070a2b4b0ad7b92f3ab0fee8e67d67a8aa1271bd8887ce2","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]:\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: paused endpoints',\n   [[[0, 30, -15, 20, True], [0, 30, -30, 60, False], [0, 30, -45, 25, False], [0, 90, -45, 20, False],\n     [5, 120, -60, 10, False], [15, 520, -40, 20, False], [20, 550, -40, 20, True],\n     [30, 610, -55, 20, False]],\n    20, 30],\n   0),\n  ('partial repair probe: paused endpoints',\n   [[[20, 505, 3, 5, False], [40, 550, 76, 20, True], [30, 550, 23, 25, False], [35, 550, 43, 5, False],\n     [35, 550, 23, 20, False], [10, 45, -15, 20, False], [15, 105, -30, 20, False]],\n    20, 30],\n   511),\n  ('second regression',\n   [[[10, 60, 20, 10, False], [10, 90, 53, 20, False], [15, 135, 53, 25, False], [15, 135, 53, 5, False],\n     [25, 165, 53, 20, True]],\n    20, 30],\n   81),\n  ('normal control 1',\n   [[[5, 120, 60, 20, False], [5, 520, 80, 5, False], [15, 565, 80, 25, False], [5, 120, 40, 20, False],\n     [5, 60, 20, 20, False]],\n    20, 30],\n   0),\n  ('normal control 2',\n   [[[15, 860, 36, 10, False], [5, 800, 3, 5, False], [5, 800, -30, 25, False], [0, 400, -15, 60, False]], 20,\n    30],\n   68),\n  ('normal control 3', [[[10, 45, 33, 20, False], [15, 90, 33, 5, False], [15, 120, 66, 5, False]], 20, 30],\n   45),\n  ('normal control 4',\n   [[[5, 60, 33, 60, False], [15, 460, 33, 60, False], [15, 860, 66, 25, False], [20, 905, 66, 25, False],\n     [20, 1305, 86, 10, True]],\n    20, 30],\n   0)],\n [('regression: paused endpoints',\n   [[[10, 45, 20, 20, True], [15, 90, 20, 60, False], [15, 120, 53, 5, False], [20, 520, 38, 5, False]], 20,\n    30],\n   0),\n  ('partial repair probe: paused endpoints',\n   [[[0, 60, -15, 5, False], [0, 105, 18, 10, False], [5, 505, 38, 20, False], [15, 505, 38, 20, False],\n     [25, 505, 58, 20, True]],\n    20, 30],\n   448),\n  ('second regression',\n   [[[10, 30, 0, 60, True], [10, 75, 20, 10, False], [5, 30, 0, 25, False], [15, 135, 53, 20, True]], 20, 30],\n   0),\n  ('normal control 1',\n   [[[5, 430, -30, 10, False], [5, 460, -30, 5, False], [10, 505, 3, 5, False], [5, 30, -15, 25, False]], 20,\n    30],\n   81),\n  ('normal control 2',\n   [[[0, 45, 0, 25, False], [0, 75, 20, 60, False], [0, 475, 40, 5, False], [0, 875, 73, 20, False],\n     [10, 935, 58, 5, False], [15, 965, 91, 60, True], [20, 995, 76, 10, False], [30, 1040, 76, 5, False]],\n    20, 30],\n   566),\n  ('normal control 3',\n   [[[5, 30, 0, 25, True], [10, 90, -15, 20, True], [15, 490, -30, 5, True], [25, 490, -30, 20, True]], 20,\n    30],\n   0),\n  ('normal control 4',\n   [[[5, 30, -15, 10, False], [10, 90, 5, 25, False], [15, 490, -10, 20, False], [20, 490, -25, 20, False],\n     [25, 550, -5, 25, False], [30, 595, 15, 60, False], [40, 655, 15, 5, False], [45, 685, 48, 20, False]],\n    20, 30],\n   669)],\n [('regression: paused endpoints',\n   [[[10, 520, 33, 20, True], [25, 580, 33, 20, False], [15, 550, 33, 60, False], [30, 640, 66, 10, True],\n     [30, 685, 86, 5, False], [10, 120, 33, 25, False], [5, 60, 33, 5, True]],\n    20, 30],\n   0),\n  ('partial repair probe: paused endpoints',\n   [[[5, 150, 38, 10, False], [5, 60, 20, 10, False], [5, 90, 5, 20, False], [10, 195, 23, 20, False],\n     [20, 625, 28, 25, False], [15, 225, 8, 20, True]],\n    20, 30],\n   47),\n  ('second regression',\n   [[[35, 135, 71, 20, False], [10, 30, 33, 25, False], [15, 30, 66, 5, True], [35, 165, 91, 20, True],\n     [25, 90, 51, 25, False], [40, 195, 111, 10, False]],\n    20, 30],\n   72),\n  ('normal control 1',\n   [[[0, 60, -15, 25, False], [0, 460, 5, 20, False], [5, 860, -10, 60, False], [15, 1260, 23, 20, False],\n     [20, 1305, 43, 25, True], [25, 1350, 43, 60, False], [25, 1380, 63, 60, False],\n     [30, 1780, 48, 5, False]],\n    20, 30],\n   0),\n  ('normal control 2', [[[10, 45, 33, 10, False], [10, 105, 33, 60, True], [15, 150, 66, 20, False]], 20, 30],\n   110),\n  ('normal control 3', [[[5, 0, -15, 20, False], [15, 60, -30, 5, False], [25, 105, -30, 25, False]], 20, 30],\n   61),\n  ('normal control 4',\n   [[[0, 30, 33, 20, False], [25, 610, 119, 20, False], [20, 550, 119, 20, False], [30, 640, 139, 20, False],\n     [10, 90, 66, 10, False], [20, 490, 86, 5, True]],\n    20, 30],\n   622)],\n [('regression: paused endpoints',\n   [[[0, 45, -15, 20, True], [5, 90, -15, 60, True], [15, 150, 18, 20, False], [25, 180, 18, 5, True]], 20,\n    30],\n   0),\n  ('partial repair probe: paused endpoints',\n   [[[5, 45, 0, 25, False], [10, 90, 20, 60, True], [20, 135, 5, 10, False], [20, 135, 25, 25, False],\n     [25, 135, 45, 60, False], [30, 180, 45, 20, True], [35, 225, 45, 5, False]],\n    20, 30],\n   0),\n  ('second regression',\n   [[[10, 400, 3, 20, True], [25, 505, 8, 20, False], [20, 460, 23, 20, False], [35, 565, 28, 5, False],\n     [0, 400, 33, 20, False], [5, 400, 18, 25, True], [40, 965, 48, 20, False], [45, 1365, 68, 60, False]],\n    20, 30],\n   110),\n  ('normal control 1', [[[5, 30, 20, 60, False], [5, 430, 53, 25, False], [10, 830, 38, 5, True]], 20, 30],\n   0),\n  ('normal control 2', [[[10, 0, 0, 60, False], [10, 45, 0, 20, False], [10, 90, 33, 20, True]], 20, 30], 0),\n  ('normal control 3',\n   [[[10, 45, 33, 60, False], [15, 445, 33, 60, False], [25, 490, 18, 20, False], [30, 520, 18, 60, True],\n     [40, 565, 3, 25, True], [45, 595, 36, 10, False], [50, 595, 21, 20, False], [55, 655, 54, 20, False]],\n    20, 30],\n   189),\n  ('normal control 4',\n   [[[10, 90, 53, 60, True], [5, 60, 20, 20, False], [35, 950, 113, 20, True], [30, 890, 73, 60, False],\n     [35, 920, 93, 5, False], [20, 490, 53, 20, False]],\n    20, 30],\n   431)],\n [('regression: paused endpoints',\n   [[[45, 965, 139, 5, False], [5, 400, 0, 10, True], [15, 430, 33, 10, True], [60, 1040, 172, 5, False],\n     [45, 920, 106, 5, False], [50, 995, 172, 20, False], [25, 490, 53, 5, False], [35, 890, 73, 5, False]],\n    20, 30],\n   571),\n  ('partial repair probe: paused endpoints',\n   [[[20, 105, 33, 20, True], [10, 75, 0, 20, False], [5, 45, 0, 10, False], [25, 150, 53, 10, False]], 20,\n    30],\n   30),\n  ('second regression',\n   [[[25, 475, 73, 60, False], [5, 0, 0, 5, False], [15, 400, 33, 10, False], [35, 520, 93, 60, False],\n     [20, 445, 53, 10, True]],\n    20, 30],\n   0),\n  ('normal control 1',\n   [[[20, 830, 53, 60, False], [15, 800, 53, 5, False], [10, 400, 20, 10, False], [30, 890, 119, 5, False],\n     [25, 860, 86, 60, False], [15, 400, 53, 20, True]],\n    20, 30],\n   499),\n  ('normal control 2',\n   [[[20, 90, 86, 5, False], [10, 30, 33, 25, False], [30, 890, 71, 10, False], [15, 60, 66, 20, False],\n     [30, 490, 71, 60, False]],\n    20, 30],\n   36),\n  ('normal control 3',\n   [[[5, 30, -15, 25, False], [10, 90, -15, 25, False], [15, 120, 18, 25, True], [25, 520, 3, 20, True],\n     [30, 580, 36, 60, False], [35, 980, 69, 5, False], [35, 1040, 102, 60, False]],\n    20, 30],\n   0),\n  ('normal control 4', [[[5, 45, 33, 20, False], [20, 165, 33, 60, False], [10, 105, 33, 20, False]], 20, 30],\n   60)]]\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-paused-endpoints","generated_at":"2026-09-29T14:50:41.232444+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.","root_cause":"Only the segment end ping's pause flag is checked.","sha256":"a5c5ffd0815d88908bacd91d9917196a998dcba87b46ad1358a64aa5c55e3baa","title":"Segment leaving a paused point billed · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":40.922,"exit_code":1,"observations":[{"actual":430,"check":"regression: paused endpoints","expected":0,"passed":false},{"actual":544,"check":"partial repair probe: paused endpoints","expected":511,"passed":false},{"actual":111,"check":"second regression","expected":81,"passed":false},{"actual":0,"check":"normal control 1","expected":0,"passed":true},{"actual":68,"check":"normal control 2","expected":68,"passed":true},{"actual":45,"check":"normal control 3","expected":45,"passed":true},{"actual":0,"check":"normal control 4","expected":0,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: paused endpoints\", \"actual\": 430, \"expected\": 0, \"passed\": false}, {\"check\": \"partial repair probe: paused endpoints\", \"actual\": 544, \"expected\": 511, \"passed\": false}, {\"check\": \"second regression\", \"actual\": 111, \"expected\": 81, \"passed\": false}, {\"check\": \"normal control 1\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": 68, \"expected\": 68, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": 45, \"expected\": 45, \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.156,"exit_code":1,"observations":[{"actual":161,"check":"regression: paused endpoints","expected":0,"passed":false},{"actual":511,"check":"partial repair probe: paused endpoints","expected":511,"passed":true},{"actual":81,"check":"second regression","expected":81,"passed":true},{"actual":0,"check":"normal control 1","expected":0,"passed":true},{"actual":68,"check":"normal control 2","expected":68,"passed":true},{"actual":45,"check":"normal control 3","expected":45,"passed":true},{"actual":0,"check":"normal control 4","expected":0,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: paused endpoints\", \"actual\": 161, \"expected\": 0, \"passed\": false}, {\"check\": \"partial repair probe: paused endpoints\", \"actual\": 511, \"expected\": 511, \"passed\": true}, {\"check\": \"second regression\", \"actual\": 81, \"expected\": 81, \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": 68, \"expected\": 68, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": 45, \"expected\": 45, \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}