Module runtime 

The Determa State runtime engine (SPEC §5). Run-to-completion dispatch over a resolved Machine: hierarchical states with LCA exit/entry, esvs with scope, history, defer, timers over a virtual clock, orthogonal regions + done, choice pseudostates, active objects (spawn/publish/scope), faults, and snapshot/restore.

Structs

ArmedTimer

DeadLetterRecord

Engine

InspectView

Instance

ListView

QueuedEvent

RunResult

SnapDeadLetter

SnapEvent

SnapHist

SnapTimer

Snapshot

StateView

StepRecord

A per-RTC-step observer record (SPEC §8 / §14).

Enums

EngineError

Mode

Status

Type Aliases

InstanceId