Expand description
Fault taxonomy and the closed prepare result (spec §7.13).
Two shapes, one property. KernelPreparation is a closed union with no faults field on
any success arm, so “a step that carries both actions and faults” is not constructible — the
a historical step-level fault list made a partially-applied transition representable,
and one host then ignored the vector entirely while another turned it into a panic.
Every rejection is therefore zero-mutation by construction: KernelPreparation::Rejected
carries a fault and nothing else — no record to append, no token to commit, no step to publish.
Structs§
- Kernel
Fault - A structured rejection. Malformed JSON, unknown fields/variants and revision mismatches all arrive here too — the same shape in all four languages, rather than one language’s exception.
- Prepare
Token - Handle for a prepared-but-uncommitted transition. Handed out only by
KernelPreparation::Prepared: a replay has nothing to commit and a rejection has nothing to abort. - Prepared
Transition - Rejected
Transition - Replayed
Transition - The answer to an input this operation already accepted.
Enums§
- Kernel
Fault Code - Why the kernel refused an input.
- Kernel
Preparation - The result of preparing one input.