Struct DeclaredAuthority 

pub struct DeclaredAuthority { /* private fields */ }

Authority asserted by a guest-side declaration (in-VM cellos-telemetry agent over the per-cell vsock channel) per ADR-0006.

Permitted rule-classes: RuleClass::GuestAgentDeclaration only — the envelope is mono-class per ADR-0006 §3. Any other class violates the type-system gate that prevents guest declarations from being silently upgraded to host-side epistemic statuses.

Tier ceiling: 1. Epistemic status: EpistemicStatus::Declared. Binding status: BindingStatus::NotApplicable for single-input derivations; multi-input declarations remain BindingStatus::Unknown because no host-side alignment/proof rule can fire alongside.

Type-system discipline: No From/Into impls to or from any other authority variant. Construction goes only through Self::try_new.

Implementations

impl DeclaredAuthority

pub const PERMITTED_CLASSES: &'static [RuleClass]

Permitted rule-classes for this variant. Mono-class envelope per ADR-0006 §3 — GuestAgentDeclaration is the only legal class.

pub fn try_new(derivation: AuthorityDerivation) -> Result<Self, ValidationError>

Construct a DeclaredAuthority.

Runs AuthorityDerivation::validate plus the mono-class envelope check (any class other than GuestAgentDeclaration is rejected with ValidationError::TypeClassIncompatible).

Errors

Returns the first ValidationError encountered.

pub fn derivation(&self) -> &AuthorityDerivation

Read-only access to the validated derivation.

pub fn output(&self) -> AuthorityOutput

Convenience accessor for the output tuple.

Trait Implementations

impl Clone for DeclaredAuthority

fn clone(&self) -> DeclaredAuthority

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeclaredAuthority

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DeclaredAuthority

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for DeclaredAuthority

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for DeclaredAuthority

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 DeclaredAuthority