Function program_to_core_wire_bytes_two_pass 

pub fn program_to_core_wire_bytes_two_pass(program: &str) -> Option<Vec<u8>>

The TWO-PASS marshal that program_to_core_wire_bytes replaced: build the full RuntimeValue Core-IR tree ([TreeSink]) then encode_value_raw it. Kept as the correctness ORACLE and the speed BASELINE for the single-pass ([WireSink]) form — the two are byte-identical by construction (WireSink emits exactly what encode_value_raw would), and the single pass avoids the tree allocation + the second encode walk. None if a construct is uncovered.