Enum AtpBudget 

pub enum AtpBudget {
    Limited(f64),
    Unbounded,
}

role:Scope — the MRH horizon the role reads and acts within. role:atpBudget — the ATP ceiling a role may spend per period, enforced by the Treasurer at act time. Unbounded MUST be an explicit choice ON the record, never an omission: absence deserializes to Limited(0.0) (no budget = fail-closed), so an attributed-but-unbounded role is a deliberate Unbounded, not a silent gap.

Variants

Limited(f64)

A finite per-period ceiling.

Unbounded

Explicitly unbounded — a choice on the record, subject to audit.

Trait Implementations

impl Clone for AtpBudget

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AtpBudget

impl Debug for AtpBudget

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

Formats the value using the given formatter.

impl Default for AtpBudget

fn default() -> Self

Fail-closed: an unspecified budget grants nothing, not everything.

impl<'de> Deserialize<'de> for AtpBudget

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for AtpBudget

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AtpBudget

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 AtpBudget