{"abstract":"Toll avoidance checks only the route endpoints in the controlled route-policy fixture.","category":"Navigation route constraints","checks":7,"contract":"Segments are (kind, charge_in_cents), with kind road_toll, ferry, or free. Return whether a route satisfies avoidance of positive road tolls; an empty route satisfies it.","evaluation_group":"model-7f693686d82dc634","failed_approach":"Rejecting all charged segments also excludes ferry fares, although this policy explicitly avoids road tolls only.","family":"z-navigation_routes-toll-coverage","id":"FA-12221","implementations":{"attempt":{"sha256":"40c813d6af6517a0741f3305de6e77bd66abdc36a113436386f5acad5227a23d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(segments):\n    return all(fee == 0 for kind,fee in segments)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('interior toll', solve([('free',0),('road_toll',N),('free',0)]), False)\ncheck('ferry fare is distinct', solve([('ferry',N)]), True)\ncheck('zero toll', solve([('road_toll',0)]), True)\ncheck('first segment toll', solve([('road_toll',N),('free',0)]), False)\ncheck('last segment toll', solve([('free',0),('road_toll',N)]), False)\ncheck('empty route', solve([]), True)\ncheck('all free', solve([('free',0)]*N), True)\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":"e1f2d2f38a63aabfc7cf5715c0a2cf6ced637e0992bd0fc3654150f73bd5fcd2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(segments):\n    return not segments or all(kind != 'road_toll' or fee == 0 for kind,fee in [segments[0],segments[-1]])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('interior toll', solve([('free',0),('road_toll',N),('free',0)]), False)\ncheck('ferry fare is distinct', solve([('ferry',N)]), True)\ncheck('zero toll', solve([('road_toll',0)]), True)\ncheck('first segment toll', solve([('road_toll',N),('free',0)]), False)\ncheck('last segment toll', solve([('free',0),('road_toll',N)]), False)\ncheck('empty route', solve([]), True)\ncheck('all free', solve([('free',0)]*N), True)\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":"d4c7e51b48a6b360fb2ecf0f967938ec3f11e6006856281555cab61ef8c0a8e4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(segments):\n    return all(kind != 'road_toll' or fee == 0 for kind,fee in segments)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('interior toll', solve([('free',0),('road_toll',N),('free',0)]), False)\ncheck('ferry fare is distinct', solve([('ferry',N)]), True)\ncheck('zero toll', solve([('road_toll',0)]), True)\ncheck('first segment toll', solve([('road_toll',N),('free',0)]), False)\ncheck('last segment toll', solve([('free',0),('road_toll',N)]), False)\ncheck('empty route', solve([]), True)\ncheck('all free', solve([('free',0)]*N), True)\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":"Simplified deterministic offline policy model; not a production router or authoritative road guidance. 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":"z-navigation_routes-toll-coverage","generated_at":"2026-09-29T14:38:54.964095+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Navigation policies depend on road context that a shortest-path cost alone does not encode.","repair":"Inspect every segment and reject only charged road-toll segments.","root_cause":"Interior toll segments are ignored when evaluating a completed route.","sha256":"8502d47ef1b5c1462287691dd45aa51592fe1a97862b73d1f27edd79ab5f6919","title":"Toll avoidance checks only the route endpoints · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.5,"exit_code":1,"observations":[{"actual":false,"check":"interior toll","expected":false,"passed":true},{"actual":false,"check":"ferry fare is distinct","expected":true,"passed":false},{"actual":true,"check":"zero toll","expected":true,"passed":true},{"actual":false,"check":"first segment toll","expected":false,"passed":true},{"actual":false,"check":"last segment toll","expected":false,"passed":true},{"actual":true,"check":"empty route","expected":true,"passed":true},{"actual":true,"check":"all free","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"interior toll\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"ferry fare is distinct\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"zero toll\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"first segment toll\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last segment toll\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty route\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"all free\", \"actual\": true, \"expected\": true, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.337,"exit_code":1,"observations":[{"actual":true,"check":"interior toll","expected":false,"passed":false},{"actual":true,"check":"ferry fare is distinct","expected":true,"passed":true},{"actual":true,"check":"zero toll","expected":true,"passed":true},{"actual":false,"check":"first segment toll","expected":false,"passed":true},{"actual":false,"check":"last segment toll","expected":false,"passed":true},{"actual":true,"check":"empty route","expected":true,"passed":true},{"actual":true,"check":"all free","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"interior toll\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"ferry fare is distinct\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"zero toll\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"first segment toll\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last segment toll\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty route\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"all free\", \"actual\": true, \"expected\": true, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.736,"exit_code":0,"observations":[{"actual":false,"check":"interior toll","expected":false,"passed":true},{"actual":true,"check":"ferry fare is distinct","expected":true,"passed":true},{"actual":true,"check":"zero toll","expected":true,"passed":true},{"actual":false,"check":"first segment toll","expected":false,"passed":true},{"actual":false,"check":"last segment toll","expected":false,"passed":true},{"actual":true,"check":"empty route","expected":true,"passed":true},{"actual":true,"check":"all free","expected":true,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"interior toll\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"ferry fare is distinct\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"zero toll\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"first segment toll\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last segment toll\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty route\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"all free\", \"actual\": true, \"expected\": true, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}