pub fn program_outcome_scheduled(program: &CompiledProgram) -> RunOutcomeExpand description
Run an ALREADY-COMPILED (possibly HAND-AUTHORED) program through the reversible cooperative scheduler
(RevCoop) and return its main output. The scheduler-only ops that no LOGOS source emits — ChanClose,
TaskAwait, SpawnHandle — BLOCK on the plain VM (requires the scheduler driver), so their fabric
tile is proven by hand-building a raw CompiledProgram and differencing the fabric tape against THIS
oracle (the same seam codegen_sva/rtl.rs’s soft-core differential uses for those ops).