{"id":"maps-astar-heuristic-admissible","text":"The A* heuristic is admissible: distance mode uses haversine (always ≤ road distance), time mode divides haversine by the global maximum speed limit (always ≤ actual travel time).","truth_value":"IN","source":"entries/2026/06/05/google-maps-map_routing.md","source_url":"","source_hash":"","justifications":[],"dependents":["routing-heuristics-prioritize-correctness-over-tightness"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"maps-astar-heuristic-admissible","truth_value":"IN","reason":"premise"}]}}