Function to_balanced 

pub fn to_balanced(
    module: PioModule<PioValue>,
    options: MulticonductorToBalancedOptions,
) -> Result<PioModule<PioValue>, (PioModule<PioValue>, Box<MulticonductorToBalancedError>)>

Lower a multiconductor module to a balanced module: the #398 transform operation. The module’s common records carry over, the retained source is severed because its bytes describe the input value, and the pass appends its structured findings as module diagnostics and one Transform history entry stating the chosen base power, every assumption and approximation, the dropped fields, and the removed bus and switch identities.

Errors

A value of any other kind (the module comes back untouched), or the lowering’s structured refusal.

Panics

Only on a broken internal invariant: the pass’s diagnostics carry no identity and no span, the note lists are capped, and the history id is minted unused, so every record append succeeds.