Method kernel

leanr-eval-lite/src/lib.rs:117–127

Create config optimized for kernel verification

()

    /// Create config optimized for kernel verification
    pub fn kernel() -> Self {
        Self {
            max_steps: 50_000,
            enable_cache: true,
            cache_size: 20_000,
            delta_reduction: true,
            zeta_reduction: true,
            iota_reduction: true,
            track_stats: false,
        }
    }

    /// Create minimal config for testing
    pub fn minimal() -> Self {