Skip to main content

compile

lean_ctx::core::context_compiler

Function compile 

Source 
pub fn compile(
    candidates: &[CompileCandidate],
    budget: TokenBudget,
    mode: CompileMode,
) -> CompileResult
Expand description

Compile a minimal context package from candidates under budget constraints.

This implements a greedy knapsack: pinned items first, then by efficiency (Phi/token), with automatic view downgrade under budget pressure.