Module kernel 

Deterministic protocol-machine kernel API.

This module provides the canonical instruction-step entrypoints for the cooperative protocol-machine state machine. Driver layers (native single-thread, wasm, and adapter backends) should call this API instead of re-implementing stepping logic.

Structs

ProtocolMachineKernel

Canonical cooperative kernel entrypoints.

Traits

KernelMachine

Runtime machine that can execute one kernel scheduler round.