{"abstract":"A 6 km pickup is charged for all 6 km instead of the 1.2 km beyond the threshold.","category":"Ride-hailing fare and surge pricing","checks":7,"contract":"A long-pickup fee compensates drivers for pickups beyond thr_m meters and thr_s seconds. The distance part is per_km on meters beyond thr_m (prorated, half up); the time part is per_min on each started minute beyond thr_s; each part uses only its own positive excess. The total is capped at cap cents.","contract_signature":"pickup_m, pickup_s, policy","evaluation_group":"w2-ride-hailing-fare-surge-long-pickup-fee","failed_approach":"Requiring the time threshold as well drops the distance part on fast long pickups.","family":"w2-ride-hailing-fare-surge-long-pickup-fee-excess-distance-only","id":"FA-85666","implementations":{"attempt":{"sha256":"2591712d5a3d7bb0c2d007bb2ca651390313083525ca38ff108d05c7e30d8b8b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(pickup_m, pickup_s, policy):\n    ex_m = max(0, pickup_m - policy['thr_m']) if pickup_s > policy['thr_s'] else 0\n    ex_s = max(0, pickup_s - policy['thr_s'])\n    fee = (ex_m * policy['per_km'] * 2 + 1000) // 2000 + -(-ex_s // 60) * policy['per_min']\n    return min(fee, policy['cap'])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: excess distance only',\n   [6000, 660, {'cap': 900, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 153),\n  ('partial repair probe: excess distance only',\n   [12000, 300, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 600),\n  ('second regression', [4801, 900, {'cap': 900, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 1', [4800, 900, {'cap': 900, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 2', [3000, 660, {'cap': 600, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30),\n  ('normal control 3', [2000, 900, {'cap': 900, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 4', [3000, 300, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   0)],\n [('regression: excess distance only',\n   [4801, 400, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 0),\n  ('partial repair probe: excess distance only',\n   [12000, 300, {'cap': 600, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}], 600),\n  ('second regression', [6000, 601, {'cap': 900, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   138),\n  ('normal control 1', [3000, 601, {'cap': 600, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30),\n  ('normal control 2', [4800, 900, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 3', [4800, 900, {'cap': 900, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 4', [4800, 400, {'cap': 900, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   0)],\n [('regression: excess distance only',\n   [12000, 900, {'cap': 600, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}], 582),\n  ('partial repair probe: excess distance only',\n   [12000, 300, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 432),\n  ('second regression', [4801, 400, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 1', [3000, 300, {'cap': 600, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 2', [3000, 660, {'cap': 600, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30),\n  ('normal control 3', [2000, 601, {'cap': 600, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30),\n  ('normal control 4', [4800, 660, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   45)],\n [('regression: excess distance only',\n   [6000, 900, {'cap': 900, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 333),\n  ('partial repair probe: excess distance only',\n   [6000, 300, {'cap': 900, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 72),\n  ('second regression', [4801, 300, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 1', [2000, 601, {'cap': 900, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30),\n  ('normal control 2', [2000, 300, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 3', [2000, 400, {'cap': 900, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 4', [4800, 601, {'cap': 900, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30)],\n [('regression: excess distance only',\n   [4801, 601, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 45),\n  ('partial repair probe: excess distance only',\n   [12000, 600, {'cap': 900, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}], 648),\n  ('second regression', [12000, 601, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   477),\n  ('normal control 1', [2000, 600, {'cap': 900, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 2', [3000, 300, {'cap': 900, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 3', [4800, 900, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 4', [2000, 601, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   45)]]\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":"345b12ea78bcf2660d6fa471ffc1e12f8112cd0736a64729f3b2bb0298688a6c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(pickup_m, pickup_s, policy):\n    ex_m = pickup_m if pickup_m > policy['thr_m'] else 0\n    ex_s = max(0, pickup_s - policy['thr_s'])\n    fee = (ex_m * policy['per_km'] * 2 + 1000) // 2000 + -(-ex_s // 60) * policy['per_min']\n    return min(fee, policy['cap'])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: excess distance only',\n   [6000, 660, {'cap': 900, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 153),\n  ('partial repair probe: excess distance only',\n   [12000, 300, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 600),\n  ('second regression', [4801, 900, {'cap': 900, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 1', [4800, 900, {'cap': 900, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 2', [3000, 660, {'cap': 600, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30),\n  ('normal control 3', [2000, 900, {'cap': 900, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 4', [3000, 300, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   0)],\n [('regression: excess distance only',\n   [4801, 400, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 0),\n  ('partial repair probe: excess distance only',\n   [12000, 300, {'cap': 600, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}], 600),\n  ('second regression', [6000, 601, {'cap': 900, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   138),\n  ('normal control 1', [3000, 601, {'cap': 600, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30),\n  ('normal control 2', [4800, 900, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 3', [4800, 900, {'cap': 900, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 4', [4800, 400, {'cap': 900, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   0)],\n [('regression: excess distance only',\n   [12000, 900, {'cap': 600, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}], 582),\n  ('partial repair probe: excess distance only',\n   [12000, 300, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 432),\n  ('second regression', [4801, 400, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 1', [3000, 300, {'cap': 600, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 2', [3000, 660, {'cap': 600, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30),\n  ('normal control 3', [2000, 601, {'cap': 600, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30),\n  ('normal control 4', [4800, 660, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   45)],\n [('regression: excess distance only',\n   [6000, 900, {'cap': 900, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 333),\n  ('partial repair probe: excess distance only',\n   [6000, 300, {'cap': 900, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 72),\n  ('second regression', [4801, 300, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 1', [2000, 601, {'cap': 900, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30),\n  ('normal control 2', [2000, 300, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 3', [2000, 400, {'cap': 900, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 4', [4800, 601, {'cap': 900, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   30)],\n [('regression: excess distance only',\n   [4801, 601, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}], 45),\n  ('partial repair probe: excess distance only',\n   [12000, 600, {'cap': 900, 'per_km': 90, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}], 648),\n  ('second regression', [12000, 601, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   477),\n  ('normal control 1', [2000, 600, {'cap': 900, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 2', [3000, 300, {'cap': 900, 'per_km': 60, 'per_min': 30, 'thr_m': 4800, 'thr_s': 600}],\n   0),\n  ('normal control 3', [4800, 900, {'cap': 600, 'per_km': 90, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   225),\n  ('normal control 4', [2000, 601, {'cap': 600, 'per_km': 60, 'per_min': 45, 'thr_m': 4800, 'thr_s': 600}],\n   45)]]\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-long-pickup-fee-excess-distance-only","generated_at":"2026-09-29T14:50:42.474445+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":"The distance part uses total pickup meters once the threshold is exceeded.","sha256":"2d417624365f61fa1949827663a6c3452c15961f2a5ca15ce67d3ed15e3b1e9c","title":"Whole pickup distance billed once past the threshold · 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.403,"exit_code":1,"observations":[{"actual":153,"check":"regression: excess distance only","expected":153,"passed":true},{"actual":0,"check":"partial repair probe: excess distance only","expected":600,"passed":false},{"actual":225,"check":"second regression","expected":225,"passed":true},{"actual":225,"check":"normal control 1","expected":225,"passed":true},{"actual":30,"check":"normal control 2","expected":30,"passed":true},{"actual":225,"check":"normal control 3","expected":225,"passed":true},{"actual":0,"check":"normal control 4","expected":0,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: excess distance only\", \"actual\": 153, \"expected\": 153, \"passed\": true}, {\"check\": \"partial repair probe: excess distance only\", \"actual\": 0, \"expected\": 600, \"passed\": false}, {\"check\": \"second regression\", \"actual\": 225, \"expected\": 225, \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": 225, \"expected\": 225, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": 30, \"expected\": 30, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": 225, \"expected\": 225, \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.371,"exit_code":1,"observations":[{"actual":585,"check":"regression: excess distance only","expected":153,"passed":false},{"actual":600,"check":"partial repair probe: excess distance only","expected":600,"passed":true},{"actual":513,"check":"second regression","expected":225,"passed":false},{"actual":225,"check":"normal control 1","expected":225,"passed":true},{"actual":30,"check":"normal control 2","expected":30,"passed":true},{"actual":225,"check":"normal control 3","expected":225,"passed":true},{"actual":0,"check":"normal control 4","expected":0,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: excess distance only\", \"actual\": 585, \"expected\": 153, \"passed\": false}, {\"check\": \"partial repair probe: excess distance only\", \"actual\": 600, \"expected\": 600, \"passed\": true}, {\"check\": \"second regression\", \"actual\": 513, \"expected\": 225, \"passed\": false}, {\"check\": \"normal control 1\", \"actual\": 225, \"expected\": 225, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": 30, \"expected\": 30, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": 225, \"expected\": 225, \"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."}}