Module expander 

Structs

RingSwitchPlan

Maps the claimed virtual evals and the committed columns onto ring-switch binding units. eta^k runs once per unit (in claim order); a bit-expanded physical column is one Ring unit consuming its bits claims.

VirtualExpander

Declarative physical->virtual column expander for chiplets.

Enums

ExpansionEntry

Serializable expansion step descriptor.