Enum AttemptWorkspace 

pub enum AttemptWorkspace {
    Ephemeral,
    PersistentSlot {
        slot: NonZeroU16,
    },
}

The immutable allocation fact journalled with one runner attempt.

02-target-architecture.md: “runtime_path remains the exact path used by the attempt. The workspace kind and slot number tell recovery which cleanup algorithm is legal. Neither may change after allocation.” There is therefore no mutator here and none on RunnerAttempt — the value is set by the allocating constructor and read thereafter.

A persistent variant is also a durable slot lease: every attempt whose state is not cleaned, including a terminal one whose cleanup failed, holds its slot. That is why the slot lives on the attempt rather than in a slot table — the journal is already the authority on which leases exist.

Variants

Ephemeral

A unique directory under the effective host runner root, removed whole.

PersistentSlot

The sN slot leased from the policy’s persistent root.

Fields

slot: NonZeroU16

Implementations

impl AttemptWorkspace

pub const fn persistent_slot(slot: NonZeroU16) -> Self

Lease slot slot.

pub fn from_persisted( kind: WorkspaceKind, slot: Option<u16>, ) -> Result<Self, WorkspaceError>

Rebuild a journalled allocation from its two columns.

The raw slot is a u16 rather than a NonZeroU16 precisely so that 0 — a value SQLite will happily hold and this crate will never write — is a refusal here rather than a panic or a silent s0.

Errors

WorkspaceError::PersistentWithoutSlot, WorkspaceError::EphemeralWithSlot, or WorkspaceError::SlotNotPositive.

pub const fn kind(&self) -> WorkspaceKind

pub const fn slot(&self) -> Option<NonZeroU16>

The leased slot, for a2’s uncleaned-lease index and c2’s allocator.

pub const fn slot_number(&self) -> Option<u16>

The stored slot column: None for an ephemeral attempt.

pub const fn is_persistent(&self) -> bool

pub fn slot_directory_name(&self) -> Option<String>

The slot’s directory name under the persistent root.

02-target-architecture.md: “Names are s1, s2, and so on to minimize path length.” It is derived here, once, so no caller builds the string a second way — the whole change exists because a path grew too long.

Trait Implementations

impl Clone for AttemptWorkspace

fn clone(&self) -> AttemptWorkspace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AttemptWorkspace

impl Debug for AttemptWorkspace

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AttemptWorkspace

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for AttemptWorkspace

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

Formats the value using the given formatter.

impl Eq for AttemptWorkspace

impl Hash for AttemptWorkspace

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for AttemptWorkspace

fn cmp(&self, other: &AttemptWorkspace) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for AttemptWorkspace

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for AttemptWorkspace

fn partial_cmp(&self, other: &AttemptWorkspace) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for AttemptWorkspace

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AttemptWorkspace