Ark Navigation 1.0 stabilizes a typed navigation runtime without code generation
The stable release defines contracts for destinations, graphs, redirects, guards, URI codecs, restoration, nested scopes, and multiple sessions.
A route name is not a navigation model
ark_navigation 1.0.0 establishes handwritten typed destinations, route results, URI codecs, stack and branch operations, modular graphs, nested Navigator scopes, redirects, guards, restoration, and multiple runtime sessions. The package keeps code generation optional by making the public contracts directly expressible in Dart.
The stable release strengthens runtime boundaries as well. Pop results are checked against their declared type, canonical URI codecs are validated completely, graph updates are atomic across sessions, and active entries survive removal of their previous scope. The runtime defines navigation mechanics; feature access rules and product-specific routing policy still belong to the application.
The package is available on pub.dev, with focused examples and source in GitLab.