Coverage status

coverage.yaml is the machine-readable source of truth for tutorial coverage.

It inventories every normative section, every actual core conformance case, and every released execution-checkpoint profile case directory at the pinned Determa State 0.2.0 revisions.

Each entry is:

• covered when an existing chapter explains or executes it;
• non-user-facing when it is specification or test-suite machinery rather than a behavior to teach.

Repository validation compares the matrix with the pinned specification headings, core case directories, and execution-checkpoint profile case directories. Missing, stale, or duplicate entries fail the build.

The current tutorial covers the first guarded foreground machine, core statechart structure and control flow, the complete portable CEL and structured-action surface, and components and owned instances, and effects, faults, inspection, and hosting. The persistence and migration tutorial adds the portable aggregate, content-addressed definition registry, SQLite inbox/state/outbox transaction, deterministic quarantine, deleted-state failure, and explicit lazy remap. The persistence reference lab executes all 108 released Python and Rust persistence vectors and teaches package transport, variable/history/component/owned-runtime transforms, exact multi-descriptor routes, terminal maintenance migration, failure completeness, resource limits, occurrence-local binding, and large decimal identities. The durable checkpoint host covers all three released profile scenarios and executes the complete profile in both engines.

There are no planned entries. Aggregate package transport is covered; portable package imports in machine definitions remain unsupported.