Function compile_to_c_traced 

pub fn compile_to_c_traced(
    source: &str,
) -> Result<(String, BackendOptimizationTrace), ParseError>

Direct AST→C compilation with stage-separated optimization evidence. The refusal probe runs before tracing so VM-only probe work cannot be misreported as a C optimization.