Module routes

Module routes 

Source
Expand description

2026-09-30: The runtime routes the executor runs. A FUSIONS.toml [[runtime]] route (metrale_circuit::runtime) is compiled into its own program beside the primary one, at every mode and row count it applies to. Each step evaluates the route’s condition exactly as the legacy dispatch does and runs the matching program.

Owner: model-layers circuit executor. Invariants:

  • Every route id has an evaluator here; a rule set naming another is refused at build, never run on its primary arm alone.
  • gdn_state_slots_fragmented holds when some row’s GDN state is not at row 0’s plus i slots, the check ssm_batched_recurrent.rs makes per layer. Layers that disagree are an error: the pools share one slot index per sequence, so they cannot.

Structs§

RoutedProgram
2026-09-30: A route’s arm, compiled.

Constants§

KNOWN
2026-09-30: The routes this executor can evaluate.

Functions§

check_known
2026-09-30: Refuse a rule set with a route no evaluator here serves.
holds
2026-09-30: Whether route holds for a step whose rows read gdn (per layer, per row). pitch is each layer’s (h, conv) slot pitch, None for a layer without GDN state.