Module runtime 

Runtime event types shared across SDK bindings. I/O (append/read) lives in each language SDK — the kernel stays pure.

Re-exports

pub use kernel::KERNEL_ABI_VERSION;

pub use kernel::KernelAction;

pub use kernel::KernelInput;

pub use kernel::KernelInputEvent;

pub use kernel::KernelObservation;

pub use kernel::KernelPressureAction;

pub use kernel::KernelRuntime;

pub use kernel::KernelStep;

pub use repair::pending_tool_calls_from_messages;

pub use repair::reconstruct_messages_with_fallback;

pub use repair::repair_events;

pub use repair::repair_events_with_cap;

pub use repair::repair_llm_completed;

pub use repair::repair_llm_completed_with_cap;

pub use repair::sanitize_recovery_text;

pub use repair::sanitize_recovery_text_bounded;

pub use event_log::category_for_kind;

pub use event_log::primitive_for_kind;

pub use event_log::KernelEventCategory;

pub use event_log::Primitive;

pub use event_log::KERNEL_OBSERVATION_KINDS;

pub use replay::rebuild_os_snapshot_from_events;

pub use replay::session_log_has_required_categories;

pub use replay::BudgetExceededRecord;

pub use replay::OsSnapshot;

pub use replay::ProcessRecord;

pub use replay::SignalDisposedRecord;

pub use replay::SuspendRecord;

pub use session::ProviderReplay;

pub use session::SessionEvent;

pub use snapshot::KernelSnapshot;

pub use snapshot::ProcInfoSnapshot;

pub use snapshot::ResultSnapshot;

pub use snapshot::TcbSnapshot;

Modules

event_log

Unified kernel OS event log — category taxonomy for observations and session events.

kernel

Stable host/kernel ABI types.

repair

replay

Read-only OS audit snapshot rebuilt from append-only session events (Phase 6).

session

snapshot

W2-2: First-class KernelSnapshot — live kernel state serialization.