Struct CapabilityBudget 

pub struct CapabilityBudget {
    pub memory_bytes: Option<u64>,
    pub cpu_units: Option<u64>,
    pub io_bytes: Option<u64>,
    pub cleanup_budget: Option<Budget>,
    pub artifact_bytes: Option<u64>,
}

Explicit resource envelope carried by capability contexts and regions.

None means no explicit envelope for that dimension. Admission can still fail closed by requiring dimensions with CapabilityBudgetRequirements. Child envelopes inherit parent limits and can only tighten them.

Fields

memory_bytes: Option<u64>

Resident memory envelope in bytes.

cpu_units: Option<u64>

Abstract CPU unit envelope.

io_bytes: Option<u64>

I/O byte envelope.

cleanup_budget: Option<Budget>

Cleanup/drain budget envelope.

artifact_bytes: Option<u64>

Artifact-emission byte envelope.

Implementations

impl CapabilityBudget

pub const UNSPECIFIED: Self

No explicit resource envelopes.

pub const fn new() -> Self

Creates an empty capability budget.

pub const fn with_memory_bytes(self, bytes: u64) -> Self

Sets the memory envelope in bytes.

pub const fn with_cpu_units(self, units: u64) -> Self

Sets the CPU envelope in abstract units.

pub const fn with_io_bytes(self, bytes: u64) -> Self

Sets the I/O envelope in bytes.

pub const fn with_cleanup_budget(self, budget: Budget) -> Self

Sets the cleanup/drain budget envelope.

pub const fn with_artifact_bytes(self, bytes: u64) -> Self

Sets the artifact-emission envelope in bytes.

pub fn meet(self, child: Self) -> Self

Combines parent and child capability budgets, keeping the tightest envelope for each resource dimension.

pub fn plan_child( self, child: Self, requirements: CapabilityBudgetRequirements, ) -> Result<Self, CapabilityBudgetRefusal>

Computes the effective child envelope and rejects if required dimensions are absent or exhausted.

Use this before admitting a region/task group that needs explicit resource envelopes. On success the returned budget is the value to carry forward in the child Cx or region record.

pub fn validate( self, requirements: CapabilityBudgetRequirements, ) -> Result<(), CapabilityBudgetRefusal>

Validates this budget against required resource dimensions.

Trait Implementations

impl Clone for CapabilityBudget

fn clone(&self) -> CapabilityBudget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CapabilityBudget

impl Debug for CapabilityBudget

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

Formats the value using the given formatter.

impl Default for CapabilityBudget

fn default() -> CapabilityBudget

Returns the “default value” for a type.

impl Eq for CapabilityBudget

impl PartialEq for CapabilityBudget

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CapabilityBudget