Skip to main content

kernel_integrate

lean_ctx::core::context_kernel::hotpath_wiring

Function kernel_integrate 

Source 
pub fn kernel_integrate(
    query: &str,
    project_root: &str,
    original_tokens: usize,
    compressed_tokens: usize,
) -> KernelIntegration
Expand description

Unified kernel integration for all hot-paths.

Call this instead of manually orchestrating kernel enrichment, activation, and accounting. The returned supplement is already bounded by the active kernel budget.