Struct AuthorityDerivation 

pub struct AuthorityDerivation {
    pub inputs: Vec<AuthorityInput>,
    pub rules_applied: Vec<AppliedRule>,
    pub output: AuthorityOutput,
}

The complete ADG sub-object. Serializable for downstream events.

Construction does not validate; callers must invoke Self::validate (or go through one of the typed-authority try_new constructors which call validate for them).

Fields

inputs: Vec<AuthorityInput>

Inputs consumed by the derivation. Must be non-empty.

rules_applied: Vec<AppliedRule>

Rules applied to those inputs. Must be non-empty.

output: AuthorityOutput

The derivation’s output tuple.

Implementations

impl AuthorityDerivation

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

Run all six §9 invariants over this derivation. Returns Ok(()) on success or the first violation as a ValidationError.

This is a pure function — no I/O, no allocations beyond the rule-class set deduplication.

pub fn class_set(&self) -> BTreeSet<RuleClass>

Returns the deduplicated rule-class set this derivation applied. Exposed for tests and downstream consumers (e.g. taudit) that want to reason about class composition without re-walking rules_applied.

Trait Implementations

impl Clone for AuthorityDerivation

fn clone(&self) -> AuthorityDerivation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AuthorityDerivation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AuthorityDerivation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for AuthorityDerivation

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

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 AuthorityDerivation