pub fn run_to_outcome_observed(
stmts: &[Stmt<'_>],
interner: &Interner,
types: Option<&TypeRegistry>,
policies: Option<&PolicyRegistry>,
) -> (String, Option<String>)Expand description
run_to_outcome in the OBSERVED profile (Wave 13): Note/Warn/Record/
During lower to Op::Obs, so the VM emits the SAME observation event stream
the tree-walker does (into the observe channel — separate from program
output). The dev/test differential entry; the compiled/release tiers keep the
elided profile. Program output is byte-identical to run_to_outcome.