pub struct ObservedAuthority { /* private fields */ }Expand description
Authority derived from CellOS’s own observation of bytes inside the cell’s network namespace.
Permitted rule-classes: RawObservation, StructuralAlignment,
Opacity. Tier ceiling: 2 (or up to 3 via StructuralAlignment, capped
at 2 by the type-class envelope per Authority Model §14.1).
Forbidden rule-classes: CryptographicProof (no signature was
verified), ImposedInterception (no termination occurred),
GuestAgentDeclaration (reserved for DeclaredAuthority).
Type-system discipline: No From/Into impls to or from any other
authority variant. The only public constructor is Self::try_new.
Implementations§
Source§impl ObservedAuthority
impl ObservedAuthority
Sourcepub const PERMITTED_CLASSES: &'static [RuleClass]
pub const PERMITTED_CLASSES: &'static [RuleClass]
Permitted rule-classes for this variant. Public so tests and downstream consumers can introspect the envelope.
Sourcepub fn try_new(derivation: AuthorityDerivation) -> Result<Self, ValidationError>
pub fn try_new(derivation: AuthorityDerivation) -> Result<Self, ValidationError>
Construct an ObservedAuthority from a validated derivation.
Runs AuthorityDerivation::validate plus the type-class envelope
check (no CryptographicProof, no ImposedInterception, no
GuestAgentDeclaration).
§Errors
Returns the first ValidationError encountered.
Sourcepub fn derivation(&self) -> &AuthorityDerivation
pub fn derivation(&self) -> &AuthorityDerivation
Read-only access to the validated derivation.
Sourcepub fn output(&self) -> AuthorityOutput
pub fn output(&self) -> AuthorityOutput
Convenience accessor for the output tuple.
Trait Implementations§
Source§impl Clone for ObservedAuthority
impl Clone for ObservedAuthority
Source§fn clone(&self) -> ObservedAuthority
fn clone(&self) -> ObservedAuthority
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for ObservedAuthority
impl Debug for ObservedAuthority
Source§impl<'de> Deserialize<'de> for ObservedAuthority
impl<'de> Deserialize<'de> for ObservedAuthority
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Source§impl PartialEq for ObservedAuthority
impl PartialEq for ObservedAuthority
Source§fn eq(&self, other: &ObservedAuthority) -> bool
fn eq(&self, other: &ObservedAuthority) -> bool
self and other values to be equal, and is used by ==.