Function compile_with_limits 

pub fn compile_with_limits(
    source: &str,
    limits: CompilationLimits,
) -> Result<InterlaceModule, CompilationError>

Compile one complete source with an explicit source-byte bound. The fixed exchange rule, arity, and static TopK bounds apply to every emitted rule. Source loading and configuration remain application work, outside compilation.