Skip to main content

Module shadow

lean_ctx::core::context_kernel

Module shadow 

Source
Expand description

Shadow logging for Context Kernel plans and receipts.

Structs§

ShadowLogger
Persists kernel artifacts for debugging and observability.

Functions§

log_kernel_event
Logs a plan using the default project logger.