Skip to main content

Module kernel

Module kernel 

Source
Expand description

Kernel — top-level orchestrator.

Step path: pop_due → deserialize → compute → authorize → dispatch → apply_stage → digest → observer.deliver → signal router. Per-instance step ordering is InstanceId ascending (A23).

Under the Canonical Input Log model the kernel emits exactly two record kinds: a Submit when an external action is admitted (Kernel::submit) and one Step per pop (Kernel::step). Every deterministic effect — child schedules, cross-instance signal routing, internal ids — is left unlogged and re-derived on replay by re-executing compute().

Structs§

Kernel
Top-level kernel orchestrator.
Stats
Cross-instance aggregate observability returned by Kernel::stats.
StepReport
Aggregated counters returned by Kernel::step.