P1 · [Design not formed] Route navigation rules are still held by UI Runtime

Design defect · acknowledged

Evidence

nearest_route_distance_m andupdate_route_deviation_state are located in gps_page_runtime.cpp; route storage is located at the platform/ui boundary.

Missing vocabulary

Route, RouteLeg, NavigationSession, RouteProgress, DeviationPolicy and navigation events.

flowchart LR
RouteStorage --> Route
ValidFix --> NavigationSession
Route --> NavigationSession
DeviationPolicy --> NavigationSession
NavigationSession --> RouteProgress
NavigationSession --> Events

These are target languages, not the current source code entities, so empty shells cannot be created in Model Explorer.