Struct SupportAssembly 

pub struct SupportAssembly { /* private fields */ }

The verified whole one exported carrier is rendered from.

Implementations

impl SupportAssembly

pub fn assembled( root: Identity<CapturedDeclaration>, address: Option<SupportName>, axes: SupportAxes, ) -> Result<Self, AssemblyError>

Checks and assembles one complete axis set.

Errors

Returns every independently established issue within the issue bound.

pub fn assembled_for_helper( declaration: &CapturedInput, helper: &CapturedInput, helper_position: u32, address: Option<SupportName>, axes: SupportAxes, ) -> Result<Self, AssemblyError>

Checks and assembles one complete axis set read from a helper beside a declaration.

The declaration and helper commitments are derived together from the two captures, so the assembly cannot be handed a helper identity anchored under another root.

Errors

Returns every independently established issue within the issue bound.

pub const fn root(&self) -> Identity<CapturedDeclaration>

Reads the declaration root.

pub const fn helper(&self) -> Option<Identity<CapturedHelper>>

Reads the captured helper this assembly was composed from, where it was built for one.

pub const fn expectation(&self) -> SchemaId

Reads the pinned expectation.

pub const fn address(&self) -> Option<&SupportName>

Reads the public address.

pub const fn declared(&self) -> &AxisCargo<DeclaredCargo>

Reads declaration cargo.

pub const fn deferred(&self) -> &AxisCargo<ProvedCargo>

Reads test cargo.

pub const fn bench(&self) -> &AxisCargo<ProvedCargo>

Reads benchmark cargo.

pub const fn form(&self) -> DeliveryForm

Reads the form from the occupied proved axis.

pub fn sources(&self) -> impl Iterator<Item = ClosedExpansionId>

Iterates proving terminals in axis order.

Trait Implementations

impl CanonicalContent for SupportAssembly

fn encode_content_into(&self, into: &mut Vec<u8>)

Appends the root, expectation, address, and axes, followed by one presence byte and the framed helper identity where the assembly holds one. An assembly with no helper writes nothing after its axes, so the generic assembly road retains exactly its root-through-axes encoding.

fn canonical_content_bytes(&self) -> Vec<u8>

The complete canonical bytes of this content.

impl Clone for SupportAssembly

fn clone(&self) -> SupportAssembly

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SupportAssembly

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

Formats the value using the given formatter.

impl Eq for SupportAssembly

impl Hash for SupportAssembly

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SupportAssembly

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SupportAssembly