Skip to main content

CanonicalCommit

Type Alias CanonicalCommit 

Source
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.