Struct OrphanToolPermitSet 

pub struct OrphanToolPermitSet { /* private fields */ }

Runtime-scoped orphaned tool permits (§22.4 capacity honesty / M5.4).

Shared across dispatchers of one runtime (Law 8 — not process-global). Not a join vault: TaskSupervisor owns joins. This set only holds ToolPermits (and optional ProcessIsolated leases) after cooperative non-ack / missing-kill / mid-drop ProcessIsolated paths. Quiesce releases all orphans so Stopped is not permanently blocked.

Implementations

impl OrphanToolPermitSet

Deprecated name for OrphanToolPermitSet (M5.4 delete-vaults).

This is not a join vault. Prefer OrphanToolPermitSet.

pub fn new() -> Self

Create an empty orphan-permit set.

pub fn shutdown_progress(&self) -> usize

Quiesce step: release all orphan permits (capacity + process leases).

Returns 0 — orphans never block Stopped after quiesce (M5.4).

pub fn pending_permits(&self) -> usize

Number of orphan permits still held.

pub fn is_empty(&self) -> bool

True when no orphan permits remain.

pub fn pending_count(&self) -> usize

Number of orphan permit entries.

Trait Implementations

impl Default for OrphanToolPermitSet

fn default() -> Self

Returns the “default value” for a type.

impl Drop for OrphanToolPermitSet

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

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

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.