Module routing 

Shared, bounded execution-cost analysis for regular and structured compilation.

Structs

CostEstimate

Bounded construction and memory estimate for one execution strategy.

NodeRoute

One immutable route-table entry.

RouteTable

The immutable per-node route analysis computed once for a frozen IR.

Enums

Bound

A bounded estimate that never wraps attacker-controlled arithmetic.

ExecutionKind

Runtime shape selected for one IR node.

RouteReason

Stable primary reason for a node’s selected route.

Constants

ROUTE_POLICY_VERSION

Increment when a routing rule or cost model changes executable selection.

Functions

add_bound

Adds two bounded values, short-circuiting on overflow or cap violation.

mul_bound

Multiplies two bounded values, short-circuiting on overflow or cap violation.

pow2_bound

Computes 2^n under a cap without an overflowing shift.