Module config_bridge 

Bridge between the main lean-ctx configuration and Context Kernel features.

Structs

ConfigReport

Effective Context Kernel configuration and its source details.

Enums

ConfigSource

Origin of the effective Context Kernel configuration.

Functions

apply_config

Loads the main configuration and applies its kernel feature values globally.

config_report

Returns a serializable report of effective kernel configuration.

effective_config

Returns the effective kernel features and their detected source.

from_config

Builds kernel features from the main configuration.

reset

Restores kernel configuration state for tests and runtime reinitialization.