Struct RunCapabilityBindingV1 

pub struct RunCapabilityBindingV1 { /* private fields */ }

Serializable identity of the complete immutable capability generation and authority ceiling admitted for one Agent Run.

Runtime values, package paths, credentials, and leases are intentionally absent. A recovery host reconstructs those values, then Code verifies this identity before the target Run is created.

Implementations

impl RunCapabilityBindingV1

pub fn from_set_and_ceiling( set: &CapabilitySet, ceiling: &CapabilityCeiling, ) -> Result<Self, RunCapabilityBindingError>

pub fn validate(&self) -> Result<(), RunCapabilityBindingError>

pub fn ensure_matches( &self, set: &CapabilitySet, ceiling: &CapabilityCeiling, ) -> Result<(), RunCapabilityBindingError>

pub fn schema(&self) -> &str

pub fn capability_set_schema(&self) -> &str

pub const fn code_catalog_generation(&self) -> u64

pub fn catalog_digest(&self) -> &str

pub fn capability_ceiling_schema(&self) -> &str

pub fn capability_ceiling_digest(&self) -> &str

pub fn use_generation(&self) -> Option<&RunUseCapabilityGenerationV1>

Trait Implementations

impl Clone for RunCapabilityBindingV1

fn clone(&self) -> RunCapabilityBindingV1

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RunCapabilityBindingV1

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RunCapabilityBindingV1

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RunCapabilityBindingV1

impl PartialEq for RunCapabilityBindingV1

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RunCapabilityBindingV1

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 RunCapabilityBindingV1