Function compile_with_limits 

pub fn compile_with_limits(
    source: &str,
    path: impl AsRef<Path>,
    limits: CompileLimits,
) -> Result<CompiledIndicator, Vec<Diagnostic>>

Parse and type-check source with explicit resource bounds.