Struct CommittedTransition 

pub struct CommittedTransition<Step> {
    pub record: KernelRecord,
    pub step: Step,
    pub step_seq: WireU64,
    pub checkpoint_advice: Option<CheckpointAdvice>,
}

One durable transition, after the host’s append and this runtime’s commit.

Fields

record: KernelRecord

step: Step

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.

Implementations

impl<Step: TransitionStep> CommittedTransition<Step>

pub fn published_effects(&self) -> &[KernelEffect]

The effects this commit made visible. Before the commit there were none — §15.2’s “an effect is not visible before its record is durable” is why they are published from here rather than from prepare.

pub fn terminal(&self) -> Option<&KernelTerminal>

Trait Implementations

impl<Step: Clone> Clone for CommittedTransition<Step>

fn clone(&self) -> CommittedTransition<Step>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Step: Debug> Debug for CommittedTransition<Step>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Step: PartialEq> PartialEq for CommittedTransition<Step>

fn eq(&self, other: &CommittedTransition<Step>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<Step: PartialEq> StructuralPartialEq for CommittedTransition<Step>