Enum CorrectnessDimension 

pub enum CorrectnessDimension {
    Safety,
    Reclamation,
    WeakAndEphemeron,
    Finalization,
    SameScheduleDeterminism,
    ScheduleIndependenceSafety,
    BoundedWork,
    FailureAtomicity,
    WasmClosure,
}

Independent correctness dimensions maintained by the collector conformance suite.

Determinism means identical allocation and safepoint schedules produce identical receipts. Receipt order is grounded in ManagedId’s allocation-deterministic ordinals; safety does not require different legal schedules to reclaim at the same safepoint.

Variants

Safety

No rooted or transitively strong-reachable object is reclaimed.

Reclamation

Unreachable strong cycles are reclaimed.

WeakAndEphemeron

Weak edges and ephemerons follow strong-liveness semantics.

Finalization

Finalizers are admitted at most once and run outside collection.

SameScheduleDeterminism

The same allocation and safepoint schedule gives the same receipt.

ScheduleIndependenceSafety

Every legal schedule preserves safety, even when reclamation timing differs.

BoundedWork

Every collection resource class is explicitly bounded.

FailureAtomicity

Refused plans leave the arena and finalization state unchanged.

WasmClosure

Collection runs synchronously inside a wasm-compatible closure without threads.

Implementations

impl CorrectnessDimension

pub const ALL: [Self; 9]

The complete frozen correctness contract, in documentation order.

Trait Implementations

impl Clone for CorrectnessDimension

fn clone(&self) -> CorrectnessDimension

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CorrectnessDimension

impl Debug for CorrectnessDimension

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

Formats the value using the given formatter.

impl Eq for CorrectnessDimension

impl PartialEq for CorrectnessDimension

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CorrectnessDimension