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 the optional helper identity and declaring-binding extension. Harness-only assemblies retain their established bytes; only a required declaring binding appends its tagged extension.

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