Enum CrashPoint 

pub enum CrashPoint {
    AfterIntent(u32),
    BeforeResult(u32),
}

A deterministic crash-injection point — the §5.5 gate-2 mechanism (deterministic injection, never sleeps): the driver aborts at a precise spot in the intent→result protocol, leaving exactly the on-disk state a real crash there would leave. Production callers never set this.

Variants

AfterIntent(u32)

Abort immediately after writing the nth intent (1-based), before its dispatch: the effect never fired; the intent dangles.

BeforeResult(u32)

Abort after the nth effect COMPLETED but before its result is journaled: the effect fired in the real world; the intent dangles — the exact window §5.3’s redelivery contract exists for.

Trait Implementations

impl Clone for CrashPoint

fn clone(&self) -> CrashPoint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CrashPoint

impl Debug for CrashPoint

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

Formats the value using the given formatter.

impl Eq for CrashPoint

impl PartialEq for CrashPoint

fn eq(&self, other: &CrashPoint) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CrashPoint