Back to Eqiora docs Skip to main content

PackagedModelDocument

eqiora::package

Struct PackagedModelDocument 

pub struct PackagedModelDocument { /* private fields */ }
Description

One admitted canonical model plus exact package compilation provenance.

Implementations§

§

impl PackagedModelDocument

Signature links:§PackagedModelDocument

pub fn compile_locked( store: &impl PackageStore, resolution: &ResolutionRecordV1, entry_model: &str, ) -> Result<PackagedModelDocument, PackageCompilationError>

Signature links:compile_lockedPackageStoreResolutionRecordV1strResultPackagedModelDocumentPackageCompilationError

Resolve a locked package graph offline, verify source semantics, and compile one package-local Model from the exact root.

Resolution has no discovery, version selection, network, environment, or fallback path. Every source unit is analyzed and compared with its release’s canonical semantic content before the selected root is elaborated or any graph transaction is committed.

§Errors

Returns the original resolver error, package contract error, complete compiler diagnostic set, or a typed semantic-content mismatch.

pub const fn model(&self) -> &ModelDocument

Signature links:modelModelDocument

Canonical model admitted through the ordinary application boundary.

pub const fn compilation(&self) -> &PackageCompilationRecordV1

Signature links:compilationPackageCompilationRecordV1

Exact resolution, package inventory, toolchain, and model digest.

pub const fn provenance(&self) -> &ProvenanceMap

Signature links:provenance

Package-qualified definition, instance, and binding source locations.

pub const fn physical_exposure_catalog( &self, ) -> Option<&PhysicalExposureCatalogEnvelopeV1>

Signature links:physical_exposure_catalogOptionPhysicalExposureCatalogEnvelopeV1

Versioned, content-addressed observation cuts for every ownerless public physical Port eliminated during exact package compilation.

pub fn validate_physical_exposure_catalog( &self, catalog: &PhysicalExposureCatalogEnvelopeV1, resolution: &ResolutionRecordV1, ) -> Result<(), PackageCompilationError>

Signature links:validate_physical_exposure_catalogPhysicalExposureCatalogEnvelopeV1ResolutionRecordV1Result()PackageCompilationError

Independently replay a decoded physical exposure catalog against the exact package compilation and compiler-derived occurrence cuts.

A flat Kernel graph alone cannot reconstruct which proper subset came from an eliminated hierarchy occurrence. Replay therefore checks the resolution and recompilation-owned sidecars, not only graph membership.

§Errors

Returns a typed resolution/package failure or EQ0901 diagnostic for any stale Model, source lineage, occurrence cut, contract, or source provenance.

pub fn bind_physical_observation_v1( &self, projection: ArtifactDigest, quantity: PhysicalExposureQuantityV1, run: &RunManifestV1, result: ArtifactDigest, ) -> Result<PhysicalExposureObservationBindingV1, PackageRunBindingError>

Signature links:bind_physical_observation_v1ArtifactDigestPhysicalExposureQuantityV1RunManifestV1ArtifactDigestResultPhysicalExposureObservationBindingV1PackageRunBindingError

Bind one cataloged physical exposure quantity to an output of an exact package-linked Run v1.

This is a value-free lineage operation. The output artifact must already be listed by the Run; numerical acceptance and payload typing remain the responsibility of the producing result adapter.

§Errors

Returns a typed package/Run linkage or artifact failure for a missing catalog, projection, exact Model/revision mismatch, or absent output.

pub fn validate_physical_observation_v1( &self, binding: &PhysicalExposureObservationBindingV1, run: &RunManifestV1, resolution: &ResolutionRecordV1, ) -> Result<(), PackageRunBindingError>

Signature links:validate_physical_observation_v1PhysicalExposureObservationBindingV1RunManifestV1ResolutionRecordV1Result()PackageRunBindingError

Independently replay one physical observation binding against the exact package resolution, sealed catalog, Run, and registered output.

§Errors

Returns a typed package/Run linkage or artifact failure for any stale source lineage, catalog, projection, Run, or output identity.

pub fn bind_run_v1( &self, run: &RunManifestV1, ) -> Result<PackageRunBindingV1, PackageRunBindingError>

Signature links:bind_run_v1RunManifestV1ResultPackageRunBindingV1PackageRunBindingError

Bind one caller-designated v1 Run manifest to this exact package compilation identity.

The Run must reference the admitted Model exactly. This constructs a content-addressed lineage edge; it does not prove that an execution occurred or that the caller accepted it. Evidence producers should invoke it only after their independent acceptance checks succeed.

§Errors

Returns a typed artifact, package-contract, or Model-linkage failure.

pub fn validate_run_v1_binding( &self, binding: &PackageRunBindingV1, run: &RunManifestV1, resolution: &ResolutionRecordV1, ) -> Result<(), PackageRunBindingError>

Signature links:validate_run_v1_bindingPackageRunBindingV1RunManifestV1ResolutionRecordV1Result()PackageRunBindingError

Independently replay an exact v1 Run lineage edge.

This revalidates the complete resolution record against the package compilation, the admitted Model against the compilation, and the Run’s Model and canonical digest against the binding.

§Errors

Returns a typed artifact, package-contract, or Model-linkage failure.

pub fn bind_execution_v2( &self, realization: &RealizationEnvelopeV1, run: &RunManifestV2, ) -> Result<PackageExecutionBindingV1, PackageExecutionBindingError>

Signature links:bind_execution_v2RealizationEnvelopeV1RunManifestV2ResultPackageExecutionBindingV1PackageExecutionBindingError

Bind one typed Realization and its validated Run v2 to this exact package compilation.

This method validates the complete Model/revision/Realization/Run chain before constructing a separate content-addressed lineage edge. The edge changes none of the linked artifacts and does not independently prove execution or numerical acceptance.

§Errors

Returns a typed artifact, package-contract, or exact-linkage failure.

pub fn validate_execution_v2_binding( &self, binding: &PackageExecutionBindingV1, realization: &RealizationEnvelopeV1, run: &RunManifestV2, resolution: &ResolutionRecordV1, ) -> Result<(), PackageExecutionBindingError>

Signature links:validate_execution_v2_bindingPackageExecutionBindingV1RealizationEnvelopeV1RunManifestV2ResolutionRecordV1Result()PackageExecutionBindingError

Independently replay exact package execution lineage against all concrete artifacts.

Resolution and compilation inventory are replayed first. The admitted Model, typed Realization, and Run v2 are then revalidated before their exact identities are compared with the lineage edge.

§Errors

Returns a typed artifact, package-contract, or exact-linkage failure.

pub fn into_model(self) -> ModelDocument

Signature links:into_modelModelDocument

Transfer the canonical model while deliberately discarding its package compilation and source-provenance sidecars.

Trait Implementations§

§

impl Clone for PackagedModelDocument

Signature links:§ClonePackagedModelDocument
§

fn clone(&self) -> PackagedModelDocument

Signature links:§clonePackagedModelDocument
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Signature links:unstableSource§clone_from
Performs copy-assignment from source. Read more
§

impl Debug for PackagedModelDocument

Signature links:§DebugPackagedModelDocument
§

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

Signature links:§fmtFormatterResult()Error
Formats the value using the given formatter. Read more
§

impl PartialEq for PackagedModelDocument

Signature links:§PartialEqPackagedModelDocument
§

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

Signature links:§eqPackagedModelDocumentbool
Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

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

Signature links:unstableSource§ne&Rhsbool
Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
§

impl StructuralPartialEq for PackagedModelDocument

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Signature links:Source§AnySized
Source§

fn type_id(&self) -> TypeId

Signature links:Source§type_idTypeId
Gets the TypeId of self. Read more
§

impl<Src, Scheme> ApproxFrom<Src, Scheme> for Src
where Scheme: ApproxScheme,

Signature links:§
§

type Err = NoError

Signature links:§
The error type produced by a failed conversion.
§

fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>

Signature links:§Result
Convert the given value into an approximately equivalent representation.
§

impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Src
where Dst: ApproxFrom<Src, Scheme>, Scheme: ApproxScheme,

Signature links:§
§

type Err = <Dst as ApproxFrom<Src, Scheme>>::Err

Signature links:§
The error type produced by a failed conversion.
§

fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>

Signature links:§Result
Convert the subject into an approximately equivalent representation.
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Signature links:Source§BorrowSized
Source§

fn borrow(&self) -> &T

Signature links:Source§borrow&T
Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Signature links:Source§BorrowMutSized
Source§

fn borrow_mut(&mut self) -> &mut T

Signature links:Source§borrow_mut&mut T
Mutably borrows from an owned value. Read more
§

impl<T> ByRef<T> for T

Signature links:§
§

fn by_ref(&self) -> &T

Source§

impl<T> CloneToUninit for T
where T: Clone,

Signature links:Source§CloneToUninitClone
Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

Signature links:Source§clone_to_uninit*mut u8
🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
§

impl<T, Dst> ConvAsUtil<Dst> for T

Signature links:§
§

fn approx(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst>,

Signature links:§ResultSized
Approximate the subject with the default scheme.
§

fn approx_by<Scheme>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

Signature links:§ResultSized
Approximate the subject with a specific scheme.
§

impl<T> ConvUtil for T

Signature links:§
§

fn approx_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst>,

Signature links:§ResultSized
Approximate the subject to a given type with the default scheme.
§

fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

Signature links:§ResultSized
Approximate the subject to a given type with a specific scheme.
§

fn into_as<Dst>(self) -> Dst
where Self: Sized + Into<Dst>,

Signature links:§SizedInto
Convert the subject to a given type.
§

fn try_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + TryInto<Dst>,

Signature links:§ResultSized
Attempt to convert the subject to a given type.
§

fn value_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + ValueInto<Dst>,

Signature links:§ResultSized
Attempt a value conversion of the subject to a given type.
§

impl<T> DistributionExt for T
where T: ?Sized,

Signature links:§Sized
§

fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> T
where Self: Distribution<T>,

Source§

impl<T> From<T> for T

Signature links:Source§From
Source§

fn from(t: T) -> T

Signature links:Source§from

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Signature links:Source§IntoFrom
Source§

fn into(self) -> U

Signature links:Source§into

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Signature links:Source§IntoEither
Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Signature links:Source§into_eitherboolEither
Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Signature links:Source§into_either_withEitherFnOncebool
Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> Pointable for T

Signature links:§
§

const ALIGN: usize

Signature links:§usize
The alignment of pointer.
§

type Init = T

Signature links:§
The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Signature links:§usize
Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Signature links:§usize&'a T
Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Signature links:§usize&'a mut T
Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Signature links:§usize
Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Signature links:Source§Same
Source§

type Output = T

Signature links:Source§Output
Should always be Self
§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Signature links:§
§

fn to_subset(&self) -> Option<SS>

Signature links:§Option
The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
§

fn is_in_subset(&self) -> bool

Signature links:§bool
Checks if self is actually part of its subset T (and can be converted to it).
§

fn to_subset_unchecked(&self) -> SS

Signature links:§
Use with care! Same as self.to_subset but without any property checks. Always succeeds.
§

fn from_subset(element: &SS) -> SP

Signature links:§&SS
The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T> ToOwned for T
where T: Clone,

Signature links:Source§ToOwnedClone
Source§

type Owned = T

Signature links:Source§Owned
The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Signature links:Source§to_owned
Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Signature links:Source§clone_into&mut T
Uses borrowed data to replace owned data, usually by cloning. Read more
§

impl<Src> TryFrom<Src> for Src

Signature links:§
§

type Err = NoError

Signature links:§
The error type produced by a failed conversion.
§

fn try_from(src: Src) -> Result<Src, <Src as TryFrom<Src>>::Err>

Signature links:§Result
Convert the given value into the subject type.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Signature links:Source§TryFromInto
Source§

type Error = Infallible

Signature links:Source§ErrorInfallible
The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Signature links:Source§try_fromResultTryFromError
Performs the conversion.
§

impl<Src, Dst> TryInto<Dst> for Src
where Dst: TryFrom<Src>,

Signature links:§
§

type Err = <Dst as TryFrom<Src>>::Err

Signature links:§
The error type produced by a failed conversion.
§

fn try_into(self) -> Result<Dst, <Src as TryInto<Dst>>::Err>

Signature links:§Result
Convert the subject into the destination type.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Signature links:Source§TryIntoTryFrom
Source§

type Error = <U as TryFrom<T>>::Error

Signature links:Source§ErrorTryFromError
The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Signature links:Source§try_intoResultTryFromError
Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Signature links:§
§

fn vzip(self) -> V

§

impl<Src> ValueFrom<Src> for Src

Signature links:§
§

type Err = NoError

Signature links:§
The error type produced by a failed conversion.
§

fn value_from(src: Src) -> Result<Src, <Src as ValueFrom<Src>>::Err>

Signature links:§Result
Convert the given value into an exactly equivalent representation.
§

impl<Src, Dst> ValueInto<Dst> for Src
where Dst: ValueFrom<Src>,

Signature links:§
§

type Err = <Dst as ValueFrom<Src>>::Err

Signature links:§
The error type produced by a failed conversion.
§

fn value_into(self) -> Result<Dst, <Src as ValueInto<Dst>>::Err>

Signature links:§Result
Convert the subject into an exactly equivalent representation.
§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<T, U> Imply<T> for U
where T: ?Sized, U: ?Sized,

§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Scalar for T
where T: 'static + Clone + PartialEq + Debug,