Struct DependencyClosureV1 

pub struct DependencyClosureV1 { /* private fields */ }

Immutable V1 closure bound to one primary input.

Implementations

impl DependencyClosureV1

pub fn unavailable(primary_input: InputIdentity) -> Self

Safe fail-closed value for a loader that has no resource projection.

pub const fn contract_id(&self) -> &'static str

Semantic identity of this value contract.

pub const fn budget(&self) -> ResourceClosureBudgetV1

Immutable V1 budget recorded with the closure.

pub const fn primary_input(&self) -> &InputIdentity

Exact primary input identity.

pub const fn coverage(&self) -> &DependencyClosureCoverageV1

Closure coverage.

pub const fn identity(&self) -> Option<&DependencyClosureIdentityV1>

Exact canonical closure identity, present only for complete coverage.

pub fn references(&self) -> &[DependencyClosureReferenceV1]

Source-order declaration mappings retained before any terminal stop.

pub fn external_resources(&self) -> &[ExternalResourceIdentityV1]

Distinct external identities in normalized-key order.

pub const fn work(&self) -> DependencyClosureWorkV1

Explicit bounded capture work counters.

pub fn record_identity(&self) -> InputIdentity

Canonical fingerprint of the complete serialized closure record.

Unlike Self::identity, this is available for partial and unavailable records and therefore does not prove closure completeness. It exists so another versioned contract can commit to the exact bounded evidence record without depending on JSON encoder details.

Trait Implementations

impl Clone for DependencyClosureV1

fn clone(&self) -> DependencyClosureV1

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DependencyClosureV1

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DependencyClosureV1

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for DependencyClosureV1

impl PartialEq for DependencyClosureV1

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for DependencyClosureV1

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 DependencyClosureV1