Function oracle_analyze_with 

pub fn oracle_analyze_with(
    stmts: &[Stmt<'_>],
    interner: &Interner,
) -> OracleFacts

oracle_analyze with the interner, enabling declared-parameter type seeds inside function bodies. Used by every NON-AOT consumer (VM bytecode, copy-and-patch JIT, e-graph, UI) — these get NO entry-guard precondition, so the partition’s accesses stay behind a runtime RegionBoundsGuard rather than being statically elided on a precondition the bytecode never enforces.