Function run_to_outcome_with_args 

pub fn run_to_outcome_with_args(
    stmts: &[Stmt<'_>],
    interner: &Interner,
    types: Option<&TypeRegistry>,
    policies: Option<&PolicyRegistry>,
    program_args: &[String],
    tier: Option<&dyn NativeTier>,
) -> (String, Option<String>)

run_to_outcome with the program argument vector for the args() system native (full argv; index 0 is the program name) and an optional caller-supplied native tier. A Some(tier) overrides the process-wide installed tier — differential suites use a private tier per program so its compile counters are isolated from every other test in the binary.