Module activation 

Kernel activation configuration and receipt-driven feedback wiring.

Structs

ActivationConfig

Configuration for kernel activation mode and feedback.

Enums

KernelModeConfig

Serializable kernel operating mode.

Functions

connect_feedback

Feeds a known receipt outcome into persisted feedback and provider learning.

load_config

Loads kernel activation settings from global and project-local lean-ctx config.

record_real_outcome

Returns a receipt copy carrying the observed accept/reject outcome.

should_supplement

Returns whether kernel supplementation should run in the configured mode.

should_suppress_in_mode

Returns whether the selected mode may suppress low-value context.

supplement_budget

Returns the bounded per-request token budget for kernel supplementation.