Type Alias CanonicalPreparation 

pub type CanonicalPreparation = KernelPreparation<KernelRecord, PlannedStep>;

Aliased Type

pub enum CanonicalPreparation {
    Prepared(PreparedTransition<KernelRecord, PlannedStep>),
    Replayed(ReplayedTransition<KernelRecord, PlannedStep>),
    Rejected(RejectedTransition),
}

Variants

Prepared(PreparedTransition<KernelRecord, PlannedStep>)

A new record was built and is waiting for the host to append it and then commit the token.

Replayed(ReplayedTransition<KernelRecord, PlannedStep>)

This input maps onto a record that already exists. No new record is produced and step_seq points at the existing one.

Two triggers, one shape:

1. input-level replay — the same input_id with the same canonical payload;
2. effect-level dedup (DEC-1) — a new input_id resolving an already-completed effect with the same payload; the cancellation dedup branch behaves identically.

The second trigger is the one that used to be reported as Prepared while returning the old step_seq. A host then built a transaction whose step_seq did not increase, its CAS successor check rejected it as an integrity error, and the run died — a live dead end on the only durable host.

Rejected(RejectedTransition)

Nothing was accepted, nothing was staged, no state moved.