Enum RevClass 

pub enum RevClass {
    Bijection(InverseSpec),
    Journaled(JournalKind),
    Effectful(EffectKind),
    Control,
    NonReversible(&'static str),
}

How an op participates in reversible execution. Four working strategies plus a census bucket that MUST stay empty. Copy so a lock can classify every variant without allocation.

Variants

Bijection(InverseSpec)

Injective on machine state with a named inverse — reverses with ZERO garbage (the abelian / involution core; the adiabatic charge-recovery path). The zero-erasure ideal.

Journaled(JournalKind)

Information-losing — reversed by a minimal Bennett delta appended to the history tape (JournalKind names WHAT the delta records). Correct, but pays garbage until uncomputed.

Effectful(EffectKind)

An observable side effect — reversed via the effect-log and, where the world cannot be recalled, a NAMED irreversibility barrier (EffectKind names the effect family).

Control

Control flow or a value-preserving instruction — reversed on the recorded execution trace (branch/loop/call decisions), with no data inverse and no journal entry.

NonReversible(&'static str)

GENUINE census of ops with no reversibility story yet. This MUST stay ∅ — see the lock.

Trait Implementations

impl Clone for RevClass

fn clone(&self) -> RevClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RevClass

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

Formats the value using the given formatter.

impl PartialEq for RevClass

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for RevClass

impl Eq for RevClass

impl StructuralPartialEq for RevClass