01
Destination
A handwritten Dart type carries validated parameters and its result type. Application code passes neither maps nor string route names.
ARKTELOS / PRODUCTS / ARK NAVIGATION
A Destination states intent; an operation changes the stack exactly.
Ark Navigation provides typed, modular navigation directly on Flutter Router and Navigator—without generated routes, untyped extra values, or hidden transition semantics.
01 / MODEL
A typed request follows a visible path to Navigator.
A Destination resolves through the Graph and a Mount, then passes Redirects and Guards as separate policy phases. An exact NavigationOperation atomically changes one Scope while Router renders the snapshot and synchronizes the URI.
02 / BOUNDARIES
Each contract owns one navigation decision.
02
Graph and policy
Modules, Mounts, and Scopes compose at the application root; a Redirect chooses another target while a Guard only allows or denies.
03
Session and Router
One NavigationSession owns one Flutter View stack, exposes RouterConfig, and is disposed by the same view owner.
03 / DOCUMENTATION
Follow a Destination into a restorable stack.
Start with the model and first route, then study operations, policies, URIs, nested Scopes, dynamic Graph updates, and migration from popular routers.