pub type CanonicalCommit = CommittedTransition<PlannedStep>;Aliased Type§
pub struct CanonicalCommit {
pub record: KernelRecord,
pub step: PlannedStep,
pub step_seq: WireU64,
pub checkpoint_advice: Option<CheckpointAdvice>,
}Fields§
§record: KernelRecord§step: PlannedStep§step_seq: WireU64§checkpoint_advice: Option<CheckpointAdvice>§12.3 · set on exactly the commit that carries the tail past its soft watermark.
Edge-triggered, not level-triggered. A level-triggered flag would be set on every commit between the watermark and the hard limit, which is precisely the window in which the host is already taking a checkpoint — so it would arrive as noise at the moment it stopped being news. Fired once per crossing, it is a fact: “the tail just went over”.
The host projects it into a §7.11 observation (Phase 6). The kernel does not push it, because a transition publishes effects or a terminal (§7.12) and advice is neither.