Struct JoinOnlySpillInject 

pub struct JoinOnlySpillInject { /* private fields */ }

Test-only inject: TaskSupervisor-owned JoinOnly-style work (§22.4 / Law 23 / M5.4).

Registers a RuntimeService that parks the worker thread until JoinOnlySpillInject::release (abort cannot join a non-awaiting park — same shape as the §22.3 sacrificial). Proves wait_stopped stays Quiescing with owned_tasks > 0, then reaches Stopped after release. Production leaves RuntimeConfig::inject_join_only_spill as None.

Name retains “Spill” for API stability; ownership is TaskSupervisor, not crate::transaction::dispatcher::OrphanToolPermitSet.

Implementations

impl JoinOnlySpillInject

pub fn new() -> Self

New inject; JoinOnly wait starts blocked until Self::release.

pub fn is_entered(&self) -> bool

True once the supervised task has entered its park loop.

pub fn release(&self)

Allow the supervised JoinOnly task to finish (unblocks Stopped).

Trait Implementations

impl Debug for JoinOnlySpillInject

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

Formats the value using the given formatter.

impl Default for JoinOnlySpillInject

fn default() -> Self

Returns the “default value” for a type.