Skip to main content

compile_to_program

Function compile_to_program 

Source
pub fn compile_to_program(source: &str) -> Result<CompiledProgram, ParseError>
Expand description

★ THE CANONICAL source → CompiledProgram PATH ★ — the single bytecode-IR entry every backend and every invariant lock reuses (no drift). This is the RAW-AST lowering (Oracle-analyzed, but WITHOUT the AOT optimize_program lattice) — identical to what vm_outcome/compile_to_riscv/compile_to_wasm compile today, so program_outcome(compile_to_program(src)) == vm_outcome(src) by construction. The optimized variant (optimize_program applied → the finalized source-of-truth IR every backend will lower) is added with the optimizer-soundness lock; see the refactor plan.