Module wire 

Canonical Kernel ABI — wire contract (revision 3).

One envelope, five input classes, one root entry, strict tagged unions and cross-language scalar rules. This is the only host/kernel input contract; no compatibility adapter or inferred revision exists.

Layout:

module	contract
scalar	§7.1.1 cross-language scalar and projection rules
envelope	§7.1 envelope, §7.2 five-class taxonomy, decode boundary
config	§7.3 configuration’s position in the taxonomy (fields: Task 5)
root	§7.4 root entry, execution focus, logical start payloads
command	§7.5 host control plane
syscall	§7.6 P1 syscall requests and derived causation
event	§7.7 external events
effect	§7.9 effect outcome’s position in the taxonomy (fields: Task 4)
checkpoint	§12.1 logical checkpoint + bounded tail
restore	§12.2 bounded-tail restore

Re-exports

pub use binding::CanonicalKernel;

pub use driver::CanonicalOperationDriver;

pub use driver::PlannedStep;

pub use checkpoint::*;

pub use command::*;

pub use config::*;

pub use effect::*;

pub use envelope::*;

pub use event::*;

pub use fault::*;

pub use projection::*;

pub use record::*;

pub use restore::*;

pub use root::*;

pub use scalar::*;

pub use syscall::*;

pub use terminal::*;

pub use transaction::*;

Modules

binding

Binding-safe façade for the canonical durable transition protocol.

checkpoint

The logical checkpoint and its bounded tail (spec §12).

command

Host control plane (spec §7.5).

config

Operation configuration (spec §7.3, §13.1, §13.3).

driver

The canonical operation driver — the plan function of [KernelTransaction] (spec §5.4, §6, §7.4, §10.1, §10.2).

effect

Kernel effects, their resolutions and the payload shapes both sides carry (spec §7.8, §7.9, §7.10).

envelope

Input envelope and the five-class input taxonomy (spec §7.1, §7.2).

event

External events — facts the host observed (spec §7.7).

fault

Fault taxonomy and the closed prepare result (spec §7.13).

projection

Pure projection helpers from the canonical Kernel Wire contract to host-facing facts.

record

The durable kernel record, its canonical bytes and its digest chain (spec §8.1, §8.2, §12.1, §15.2).

restore

§12.2 · bounded-tail restore.

root

Root entry, execution focus and the logical payloads a root start carries (spec §7.4).

scalar

Cross-language scalar and projection rules (spec §7.1.1).

syscall

P1 syscall requests and their causation (spec §7.6).

terminal

Operation terminals (spec §7.12).

transaction

The one durable transition protocol: prepare → CAS append → commit (spec §8.2, §8.3, §15.2).

Structs

KernelBootstrapLimits

Absolute structural boundary applied before any JSON is parsed (§7.3).

Constants

KERNEL_ABI_VERSION

The single supported wire revision. Bindings export this core-owned value so host SDKs do not maintain independent ABI constants.