{"abstract":"Lane guidance invents a connection to an exit lane in the controlled route-policy fixture.","category":"Navigation route constraints","checks":6,"contract":"Return whether a directed lane transition exists; identity transitions are allowed only if explicitly present.","evaluation_group":"model-4399c423c002370c","failed_approach":"Treating lane links as undirected invents reverse connectivity.","family":"z-navigation_routes-lane-connectivity","id":"FA-12211","implementations":{"attempt":{"sha256":"a59d9e62af795609f9cb86c8dda1f73a14a1774b9a593c899a966e316692bd96","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(current, target, links):\n    return (current,target) in links or (target,current) in links\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\na,b,c = N,N+10,N+20\nlinks = [(a,b),(c,c)]\ncheck('listed transition', solve(a,b,links), True)\ncheck('wrong source lane', solve(c,b,links), False)\ncheck('reverse link absent', solve(b,a,links), False)\ncheck('explicit self link', solve(c,c,links), True)\ncheck('implicit self link denied', solve(a,a,links), False)\ncheck('empty connectivity', solve(a,b,[]), 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":"20e1b3c4e6ff0f702c7a08925c34721664d4d97f623a35f1b269dbd7176bfab0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(current, target, links):\n    return any(b == target for a,b in links)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\na,b,c = N,N+10,N+20\nlinks = [(a,b),(c,c)]\ncheck('listed transition', solve(a,b,links), True)\ncheck('wrong source lane', solve(c,b,links), False)\ncheck('reverse link absent', solve(b,a,links), False)\ncheck('explicit self link', solve(c,c,links), True)\ncheck('implicit self link denied', solve(a,a,links), False)\ncheck('empty connectivity', solve(a,b,[]), 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":"6d43c0c484a9818fa2017b0dd2354204dbf9573a9c0caab23c96f0255b211eb1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(current, target, links):\n    return (current,target) in links\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\na,b,c = N,N+10,N+20\nlinks = [(a,b),(c,c)]\ncheck('listed transition', solve(a,b,links), True)\ncheck('wrong source lane', solve(c,b,links), False)\ncheck('reverse link absent', solve(b,a,links), False)\ncheck('explicit self link', solve(c,c,links), True)\ncheck('implicit self link denied', solve(a,a,links), False)\ncheck('empty connectivity', solve(a,b,[]), 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-lane-connectivity","generated_at":"2026-09-29T14:38:54.923378+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":"Check the ordered current-to-target lane pair in the explicit connectivity table.","root_cause":"The target lane is checked without conditioning on the current lane.","sha256":"ba3739a0eed73283bf7369c41c41c679e2adea9d266ebec245a1e9a5ad5ae3f9","title":"Lane guidance invents a connection to an exit lane · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":37.863,"exit_code":1,"observations":[{"actual":true,"check":"listed transition","expected":true,"passed":true},{"actual":false,"check":"wrong source lane","expected":false,"passed":true},{"actual":true,"check":"reverse link absent","expected":false,"passed":false},{"actual":true,"check":"explicit self link","expected":true,"passed":true},{"actual":false,"check":"implicit self link denied","expected":false,"passed":true},{"actual":false,"check":"empty connectivity","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"listed transition\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"wrong source lane\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"reverse link absent\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"explicit self link\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"implicit self link denied\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty connectivity\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.297,"exit_code":1,"observations":[{"actual":true,"check":"listed transition","expected":true,"passed":true},{"actual":true,"check":"wrong source lane","expected":false,"passed":false},{"actual":false,"check":"reverse link absent","expected":false,"passed":true},{"actual":true,"check":"explicit self link","expected":true,"passed":true},{"actual":false,"check":"implicit self link denied","expected":false,"passed":true},{"actual":false,"check":"empty connectivity","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"listed transition\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"wrong source lane\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"reverse link absent\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"explicit self link\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"implicit self link denied\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty connectivity\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.453,"exit_code":0,"observations":[{"actual":true,"check":"listed transition","expected":true,"passed":true},{"actual":false,"check":"wrong source lane","expected":false,"passed":true},{"actual":false,"check":"reverse link absent","expected":false,"passed":true},{"actual":true,"check":"explicit self link","expected":true,"passed":true},{"actual":false,"check":"implicit self link denied","expected":false,"passed":true},{"actual":false,"check":"empty connectivity","expected":false,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"listed transition\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"wrong source lane\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"reverse link absent\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"explicit self link\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"implicit self link denied\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty connectivity\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}