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 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).

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 (§16.2). There is no negotiation, no adapter and no inference from missing fields: anything else is a structured rejection.

KERNEL_CHECKPOINT_VERSION

Revision of the logical checkpoint format, carried on the wire as checkpoint_version.