Enum SpawnRefusal 

pub enum SpawnRefusal {
    AgentCap {
        max: u32,
    },
    DepthCap {
        max: u32,
        requested: u32,
    },
    BudgetExhausted,
}

Why a spawn was refused by the containment boundary. Returned to the requesting agent as a typed tool result it can adapt to, never a panic.

use io_harness::{Containment, Ledger, SpawnRefusal};

// Room for two agents in the whole tree, and the root is already one of them.
let ledger = Ledger::new(&Containment::new(2, 2, 1, 1_000));
ledger.register_agent(1).expect("the first child fits");

// The second child does not. The parent agent is told, in a form it can act
// on — do the work itself, or narrow what it was going to delegate.
let refusal = ledger.register_agent(1).unwrap_err();
assert_eq!(refusal, SpawnRefusal::AgentCap { max: 2 });
assert_eq!(refusal.to_string(), "agent cap reached (2 agents)");

// `cap` is the short label the trace records, so an audit can count refusals
// by which boundary produced them without parsing the English above.
assert_eq!(refusal.cap(), "agents");
assert_eq!(SpawnRefusal::DepthCap { max: 1, requested: 2 }.cap(), "depth");

Variants

AgentCap

The tree already holds max_total_agents.

Fields

max: u32

DepthCap

The child would nest past max_depth (counted from the root).

Fields

max: u32

requested: u32

BudgetExhausted

The aggregate spend ceiling is already exhausted, so a new agent has no budget to run under.

Implementations

impl SpawnRefusal

pub fn cap(&self) -> &'static str

Which cap this refusal breached, for the trace.

Trait Implementations

impl Clone for SpawnRefusal

fn clone(&self) -> SpawnRefusal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpawnRefusal

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

Formats the value using the given formatter.

impl Display for SpawnRefusal

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

Formats the value using the given formatter.

impl Eq for SpawnRefusal

impl PartialEq for SpawnRefusal

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SpawnRefusal