- A1: exhaustive 625-pair A*-vs-Dijkstra equivalence (the RESEARCH-mandated correctness gate); A2 oneway detour; A3 honest-null unreachable - A4/A5 deriveSteps: L-path turn kinds + name/distance/polyline6; depart/ arrive invariants; A6 classifyTurn pins (compass convention, documented) - A7 index.ts public surface (createHttpRoutingSource deliberately absent); A8 no-Map structural gate