Struct DocumentAuthorization 

pub struct DocumentAuthorization(/* private fields */);

Immutable local publication evidence. It is never serialized or minted from wire fields. Captured original guards outlive terminal invocation tracking.

Implementations

impl DocumentAuthorization

pub fn frontiers(&self) -> (&[ChangeHash], &[ChangeHash])

Inert captured frontiers for the concrete bounded body/range evaluator. These are not a substitute for its actual parsed causal-coverage proof.

pub fn check( &self, route: &RouteSpec, mutation: &DocumentMutation, ) -> Result<(), String>

This verifies body binding and current contributors, not graph coverage. The concrete owner must ALSO call validate_owner_base with the actual bounded admission/parser’s complete mutation range under its owner turn.

pub fn check_binding( &self, route: &RouteSpec, mutation: &DocumentMutation, ) -> Result<(), String>

Structural binding only: safe under the concrete owner’s existing lock. This never invokes a lifecycle callback or opens authority/storage.

pub fn validate_owner_base( &self, actual: &[ChangeHash], already_committed: impl FnMut(&ChangeHash) -> bool, ) -> Result<(), String>

actual comes from the bounded parser/admission of the exact body, not these metadata fields. Unattributed changes must already exist in the actual committed owner history. An omitted or invented range refuses.

pub fn validate_owner_contributors( &self, validate: impl FnMut(&PublishedInvocationRequest, &RouteSpec, &(dyn Any + Send + Sync + 'static)) -> Result<(), String>, ) -> Result<(), String>

The final owner validates each ORIGINAL private token against its already-held peer/ledger/time, including these exact delivery inputs and route. A successful downcast alone must never return authorization. This method invokes no ordinary lifecycle/Store-reopening callback.

Trait Implementations

impl Clone for DocumentAuthorization

fn clone(&self) -> DocumentAuthorization

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DocumentAuthorization

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

Formats the value using the given formatter.