Skip to main content

Module hotpath_wiring

lean_ctx::core::context_kernel

Module hotpath_wiring 

Source
Expand description

Unified Context Kernel integration for tool hot-paths.

Structs§

KernelIntegration
Result of the unified kernel integration for a single hot-path call.

Functions§

format_integration_header
Returns the stable delimiter placed before appended kernel context.
integrate_for_mcp
Bridge: integrate kernel context for an MCP tool call.
integration_overhead
Returns the kernel token overhead recorded for an integration.
kernel_integrate
Unified kernel integration for all hot-paths.
mcp_kernel_budget
Returns the coverage-aware kernel budget for an MCP request.