Module events 

Structs

LeanCtxEvent

Enums

EventKind

Functions

emit

emit_agent_action

emit_anomaly

emit_budget_exhausted

emit_budget_warning

emit_cache_hit

emit_policy_violation

emit_profile_changed

emit_role_changed

emit_slo_violation

emit_threshold_adapted

emit_tool_call

emit_verification_warning

events_since

latest_events

load_events_from_file

File-backed event load with a process-local cache keyed on (path, mtime, len). The dashboard polls this every 3 s; without the cache each poll re-read and re-parsed the entire JSONL (up to 10k lines) even when nothing changed.