Function program_outcome 

pub fn program_outcome(program: &CompiledProgram) -> RunOutcome

Run an ALREADY-COMPILED CompiledProgram straight-line on the VM and return its outcome — the plain- sequential counterpart to program_outcome_scheduled/program_outcome_concurrent. This is the missing primitive that lets the source-of-truth invariants be expressed against the SAME bytecode IR every backend lowers: VM(opt P) is program_outcome(&optimized_program), so a backend’s output can be differenced against the exact IR it consumed. Partial output on error is preserved (matching the VM).