Struct ProvenAuthority 

pub struct ProvenAuthority { /* private fields */ }

Authority derived from cryptographic verification of a claim CellOS did not author.

Permitted rule-classes: CryptographicProof (REQUIRED — at least one rule from this class must fire). StructuralAlignment and RawObservation may co-occur (e.g. SNI parsed alongside a verified JWS), but Opacity and ImposedInterception are forbidden.

Forbidden: Opacity (would invalidate the proof claim); ImposedInterception (different stack); GuestAgentDeclaration.

Constructor discipline: Self::try_new requires a ProvenAuthorityArtifact. Without the artifact, construction fails — preventing a non-cryptographic emission from minting a ProvenAuthority even if its derivation declares CryptographicProof.

Implementations

impl ProvenAuthority

pub const PERMITTED_CLASSES: &'static [RuleClass]

Permitted rule-classes for this variant.

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

Construct a ProvenAuthority.

Runs AuthorityDerivation::validate plus the type-class envelope check, and additionally requires:

1. At least one rule with class CryptographicProof (otherwise we have nothing to prove).
2. A non-trivial ProvenAuthorityArtifact.

Errors

Returns the first ValidationError encountered.

pub fn derivation(&self) -> &AuthorityDerivation

Read-only access to the derivation.

pub fn artifact(&self) -> &ProvenAuthorityArtifact

Read-only access to the verification artifact.

pub fn output(&self) -> AuthorityOutput

Convenience accessor for the output tuple.

Trait Implementations

impl Clone for ProvenAuthority

fn clone(&self) -> ProvenAuthority

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProvenAuthority

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProvenAuthority

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ProvenAuthority

fn eq(&self, other: &ProvenAuthority) -> 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 ProvenAuthority

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 ProvenAuthority