Module state_ops 

2026-09-30: The state programs of a circuit (M5, LIFECYCLE-DESIGN.md section 3.5): the small programs that move recurrent state between its places around a speculative verify, and reset a slot, as nodes over the circuit’s declared states. Legacy runs them as host code that sizes each copy itself (verify_a_ssm.rs, async_chkpt.rs, ssm_pool_slots.rs), with the GatedDeltaNet conv formula, which is 0 bytes for a Mamba2 layer; here every node is sized from its state’s declaration, so a Mamba2 layer’s copies are its own.

Owner: metrale-circuit. Invariants:

• The programs are generic over recurrent state kinds: every recurrent state of the target (Section::Main) gets one node in each program, in state order.
• A node’s bytes are one unit of its state (StatePlan at one slot), so a program’s bytes are what one sequence’s copies move.

Structs

StateOpNode

2026-09-30: One node of a state program.

StateProgram

2026-09-30: One state program.

Enums

StateOp

2026-09-30: What a state-program node does.

StatePlace

2026-09-30: Where one sequence’s unit of a recurrent state lives.

StateProgramId

2026-09-30: The state programs.

Functions

state_programs

2026-09-30: Every state program of circuit, one node per recurrent target state.