Enum FilesystemState 

pub enum FilesystemState {
    Unmounted,
    Mounted,
    Populated,
    Pivoted,
    UnmountedFinal,
}

Filesystem lifecycle state machine matching Nucleus_Filesystem_FilesystemLifecycle.tla

State transitions: unmounted -> mounted -> populated -> pivoted -> unmounted_final

Properties verified by TLA+ model:

• context_isolation: Once pivoted, can only move to pivoted or unmounted_final
• ephemeral_guarantee: unmounted_final is terminal and stable
• mount_ordering: populated can only transition to pivoted or unmounted_final

Variants

Unmounted

Initial state - no filesystem mounted

Mounted

tmpfs mounted

Populated

Context files populated

Pivoted

Root switched via pivot_root

UnmountedFinal

Final cleanup - terminal state

Trait Implementations

impl Clone for FilesystemState

fn clone(&self) -> FilesystemState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FilesystemState

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

Formats the value using the given formatter.

impl PartialEq for FilesystemState

fn eq(&self, other: &FilesystemState) -> 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 StateTransition for FilesystemState

fn can_transition_to(&self, next: &FilesystemState) -> bool

Return true if moving from self to next is a valid transition.

fn is_terminal(&self) -> bool

Return true if this state is terminal (no forward transitions).

fn transition(self, next: Self) -> Result<Self>

Attempt to transition, returning Err(InvalidStateTransition) on failure.

impl Copy for FilesystemState

impl Eq for FilesystemState

impl StructuralPartialEq for FilesystemState