Struct FinalProcess 

pub struct FinalProcess {
    pub proc: ProcessId,
    pub registration_order: u64,
}

One registered final block candidate (scheduler.md §8; SC-077, SC-078). registration_order is the same crate-wide, monotonic, stable ordering space ProcessDescriptor::registration_order uses (Task 11) — SC-078’s “one logical order, everywhere” invariant, not a second, final-local numbering.

Fields

proc: ProcessId

registration_order: u64

Trait Implementations

impl Clone for FinalProcess

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FinalProcess

impl Debug for FinalProcess

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

Formats the value using the given formatter.