Module navigate

Geometry-only traversal primitives over a layered field.

Scope

This module answers geometric questions: does a route exist under an explicit envelope, how long is it, and which geometric constraint blocked it. It must never answer regulatory or product questions. Axiolid may say “no route under this envelope”; it may not say “not wheelchair accessible”, NOT-A-VERDICT “ADA compliant”, “valid escape route”, or “rule violation”. Those are NOT-A-VERDICT consumer-owned interpretations of the numbers reported here.

Promotion status

This is behind the non-default navigation feature. The house rule is that a shared contract is promoted once at least two consumers need the same neutral shape; until a second consumer exists, this stays opt-in so it can change without breaking the default surface.

Structs

SupportNode

A candidate support location: a cell plus the layer standing on it.

TraversalEnvelope

Explicit geometric envelope for traversal. Every field is caller-supplied.

TraversalEvidence

Structured geometric facts about a graph build and route query.

TraversalGraph

Traversal graph derived from a field under one explicit envelope.

Enums

RouteOutcome

Result of a route query. Both variants are geometric statements.