{"abstract":"A destination-only road becomes a through-road shortcut in the controlled route-policy fixture.","category":"Navigation route constraints","checks":7,"contract":"For this zone model public roads always permit travel, closed roads never do, and destination roads require origin or destination in the supplied zone.","evaluation_group":"model-729a8d0bac96c892","failed_approach":"Requiring every trip to end locally incorrectly rejects trips that start inside the restricted zone.","family":"z-navigation_routes-destination-access","id":"FA-12201","implementations":{"attempt":{"sha256":"8afa1d4ed1c08a3415e3d6301fc2ef233b8fd8770e78eedda0130279c15ae7bd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(access, zone, origin, destination):\n    return access == 'public' or (access == 'destination' and destination in zone)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nz = [N,N+1]\ncheck('through traffic denied', solve('destination',z,N+9,N+10), False)\ncheck('local arrival', solve('destination',z,N+9,N), True)\ncheck('local departure', solve('destination',z,N,N+9), True)\ncheck('internal trip', solve('destination',z,N,N+1), True)\ncheck('public road', solve('public',z,N+9,N+10), True)\ncheck('closed overrides local', solve('closed',z,N,N), False)\ncheck('empty zone', solve('destination',[],N,N), False)\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":"451009bc09db9b7f4cc7f34e0e43732b612c19cabfeeace5619f3b26d7942c2a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(access, zone, origin, destination):\n    return access != 'closed'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nz = [N,N+1]\ncheck('through traffic denied', solve('destination',z,N+9,N+10), False)\ncheck('local arrival', solve('destination',z,N+9,N), True)\ncheck('local departure', solve('destination',z,N,N+9), True)\ncheck('internal trip', solve('destination',z,N,N+1), True)\ncheck('public road', solve('public',z,N+9,N+10), True)\ncheck('closed overrides local', solve('closed',z,N,N), False)\ncheck('empty zone', solve('destination',[],N,N), False)\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":"0e8c5b7644d05b7cbf4e10ae6cef736d1102f988300350197e37583cc6d2a35e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(access, zone, origin, destination):\n    return access == 'public' or (access == 'destination' and (origin in zone or destination in zone))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nz = [N,N+1]\ncheck('through traffic denied', solve('destination',z,N+9,N+10), False)\ncheck('local arrival', solve('destination',z,N+9,N), True)\ncheck('local departure', solve('destination',z,N,N+9), True)\ncheck('internal trip', solve('destination',z,N,N+1), True)\ncheck('public road', solve('public',z,N+9,N+10), True)\ncheck('closed overrides local', solve('closed',z,N,N), False)\ncheck('empty zone', solve('destination',[],N,N), False)\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-destination-access","generated_at":"2026-09-29T14:38:54.795605+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":"Permit a destination-only segment when either trip endpoint belongs to its zone.","root_cause":"Destination access is interpreted as universal permission.","sha256":"05e4a8b4ee782ea687e682bbca13a36f1077391a6e21f2f46ed13e59cd8d1c5b","title":"A destination-only road becomes a through-road shortcut · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.854,"exit_code":1,"observations":[{"actual":false,"check":"through traffic denied","expected":false,"passed":true},{"actual":true,"check":"local arrival","expected":true,"passed":true},{"actual":false,"check":"local departure","expected":true,"passed":false},{"actual":true,"check":"internal trip","expected":true,"passed":true},{"actual":true,"check":"public road","expected":true,"passed":true},{"actual":false,"check":"closed overrides local","expected":false,"passed":true},{"actual":false,"check":"empty zone","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"through traffic denied\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"local arrival\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"local departure\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"internal trip\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"public road\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"closed overrides local\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty zone\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.576,"exit_code":1,"observations":[{"actual":true,"check":"through traffic denied","expected":false,"passed":false},{"actual":true,"check":"local arrival","expected":true,"passed":true},{"actual":true,"check":"local departure","expected":true,"passed":true},{"actual":true,"check":"internal trip","expected":true,"passed":true},{"actual":true,"check":"public road","expected":true,"passed":true},{"actual":false,"check":"closed overrides local","expected":false,"passed":true},{"actual":true,"check":"empty zone","expected":false,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"through traffic denied\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"local arrival\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"local departure\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"internal trip\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"public road\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"closed overrides local\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty zone\", \"actual\": true, \"expected\": false, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.72,"exit_code":0,"observations":[{"actual":false,"check":"through traffic denied","expected":false,"passed":true},{"actual":true,"check":"local arrival","expected":true,"passed":true},{"actual":true,"check":"local departure","expected":true,"passed":true},{"actual":true,"check":"internal trip","expected":true,"passed":true},{"actual":true,"check":"public road","expected":true,"passed":true},{"actual":false,"check":"closed overrides local","expected":false,"passed":true},{"actual":false,"check":"empty zone","expected":false,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"through traffic denied\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"local arrival\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"local departure\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"internal trip\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"public road\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"closed overrides local\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty zone\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}