Struct PackagedModelDocument 

pub struct PackagedModelDocument { /* private fields */ }

One admitted canonical model plus exact package compilation provenance.

Implementations

§

impl PackagedModelDocument

Signature links:PackagedModelDocument

pub fn add_git_package_dependency_v1( project_root: impl Into<PathBuf>, store_root: impl Into<PathBuf>, name: &str, version: &str, repository: &str, revision: &str, ) -> Result<ResolutionRecordV1, PackagePreparationError>

Signature links:add_git_package_dependency_v1IntoPathBufIntoPathBufstrstrstrstrResultResolutionRecordV1PackagePreparationError

Add an exact package from a Git commit or explicitly named ref.

Errors

Rejects invalid requests, unavailable Linux containment, unsafe/oversized content, missing closure, preparation or atomic publication failure.

§

impl PackagedModelDocument

Signature links:PackagedModelDocument

pub fn add_bundled_package_dependency_v1( project_root: impl Into<PathBuf>, store_root: impl Into<PathBuf>, name: &str, version: &str, ) -> Result<ResolutionRecordV1, PackagePreparationError>

Signature links:add_bundled_package_dependency_v1IntoPathBufIntoPathBufstrstrResultResolutionRecordV1PackagePreparationError

Add an exact bundled dependency through the ordinary manifest/lock transaction.

Errors

Rejects unavailable releases, invalid closure or failed publication.

pub fn fetch_local_package_project_v1( project_root: impl Into<PathBuf>, store_root: impl Into<PathBuf>, ) -> Result<ResolutionRecordV1, PackagePreparationError>

Signature links:fetch_local_package_project_v1IntoPathBufIntoPathBufResultResolutionRecordV1PackagePreparationError

Fetch the existing exact lock from explicitly declared local, bundled or Git sources. Neither authored requests nor the accepted lock are changed.

Errors

Rejects missing or changed source content instead of implicitly updating the lock.

pub fn open_local_package_project_v1( project_root: impl Into<PathBuf>, store_root: impl Into<PathBuf>, ) -> Result<ResolutionRecordV1, PackagePreparationError>

Signature links:open_local_package_project_v1IntoPathBufIntoPathBufResultResolutionRecordV1PackagePreparationError

Validate the authored root and all accepted package bytes in one explicit offline store. Dependency paths and bundled availability are not consulted during reopening.

Errors

Rejects stale root sources/requests, missing closure, modified content or unsafe filesystem entries.

pub fn vendor_local_package_project_v1( project_root: impl Into<PathBuf>, store_root: impl Into<PathBuf>, destination: impl Into<PathBuf>, ) -> Result<ResolutionRecordV1, PackagePreparationError>

Signature links:vendor_local_package_project_v1IntoPathBufIntoPathBufIntoPathBufResultResolutionRecordV1PackagePreparationError

Copy the accepted exact closure to an explicit offline store without rewriting identities. The existing no-clobber content-addressed installer owns every publication.

Errors

Rejects a stale project, unavailable/modified source closure or conflicting destination entry.

§

impl PackagedModelDocument

Signature links:PackagedModelDocument

pub fn preview_local_package_project_v1( project_root: impl Into<PathBuf>, ) -> Result<ProjectUpdate, PackagePreparationError>

Signature links:preview_local_package_project_v1IntoPathBufResultProjectUpdatePackagePreparationError

Freeze explicitly configured candidates and preview a validated global update. No store installation or manifest/lock publication occurs during preview.

Errors

Rejects acquisition, request conflicts, ambiguous contents and compiler admission failures.

§

impl PackagedModelDocument

Signature links:PackagedModelDocument

pub const MAX_LOCAL_PROJECT_PACKAGES_V1: usize = MAX_LOCAL_PACKAGE_DIRECTORIES_V1

Signature links:MAX_LOCAL_PROJECT_PACKAGES_V1usize

Maximum root-plus-dependency count admitted by local exact resolution.

pub fn add_local_package_dependency_v1( project_root: impl Into<PathBuf>, store_root: impl Into<PathBuf>, name: &str, version: &str, path: &str, ) -> Result<ResolutionRecordV1, PackagePreparationError>

Signature links:add_local_package_dependency_v1IntoPathBufIntoPathBufstrstrstrResultResolutionRecordV1PackagePreparationError

Add or replace an authored local request and publish its validated exact selection.

Errors

Returns an error if the request, dependency closure, installation, or publication fails.

pub fn remove_local_package_dependency_v1( project_root: impl Into<PathBuf>, store_root: impl Into<PathBuf>, name: &str, ) -> Result<ResolutionRecordV1, PackagePreparationError>

Signature links:remove_local_package_dependency_v1IntoPathBufIntoPathBufstrResultResolutionRecordV1PackagePreparationError

Remove a direct dependency and publish the validated manifest/lock pair.

Errors

Returns an error for an absent dependency or an invalid remaining project, or if installation or publication fails. Remaining source imports must still resolve.

pub fn resolve_local_package_project_v1<R, P>( project_root: R, store_root: P, ) -> Result<ResolutionRecordV1, PackagePreparationError>

where R: Into<PathBuf>, P: Into<PathBuf>,

Signature links:resolve_local_package_project_v1ResultResolutionRecordV1PackagePreparationErrorIntoPathBufIntoPathBuf

Resolve one local package project, write its exact lock, and populate an offline store.

eqiora.toml owns the root package name, exact version, source root, entry module, and direct local dependencies. Dependency manifests use the same format. Resolution discovers bounded .eqi inventories, generates closed package manifests, validates the exact graph, and atomically replaces eqiora.lock with the current project provenance envelope.

Errors

Returns a project, directory, graph, compiler-preparation, exact-identity, installation, or lock-publication failure. The previous lock remains usable on failure.

§

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 root-local or directly imported public Model.

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. entry_model is either a root-local name or exactly alias.Model for one direct dependency declared by the root package.

Errors

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

pub fn compile_selected( store: &impl PackageStore, resolution: &ResolutionRecordV1, entry: &str, bindings: &[(&str, StaticBindingValue<'_>)], ) -> Result<PackagedModelDocument, PackageCompilationError>

Signature links:compile_selectedPackageStoreResolutionRecordV1strstrStaticBindingValueResultPackagedModelDocumentPackageCompilationError

Compile a selected locked Model or Component with exact static bindings.

Errors

Returns package, signature binding, compiler, or artifact diagnostics.

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

Signature links:modelModelDocument

Canonical model admitted through the ordinary application boundary.

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

Signature links:compilationPackageCompilationRecordV2

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 fn property_bindings(&self) -> impl ExactSizeIterator

Signature links:property_bindingsExactSizeIterator

Exact nominal property bindings used by this compilation.

Each item is (composition, contract, release, component, requirement, meaning, validity, citation, license).

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: &RealizationEnvelope, run: &RunManifestV2, ) -> Result<PackageExecutionBindingV1, PackageExecutionBindingError>

Signature links:bind_execution_v2RealizationEnvelopeRunManifestV2ResultPackageExecutionBindingV1PackageExecutionBindingError

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: &RealizationEnvelope, run: &RunManifestV2, resolution: &ResolutionRecordV1, ) -> Result<(), PackageExecutionBindingError>

Signature links:validate_execution_v2_bindingPackageExecutionBindingV1RealizationEnvelopeRunManifestV2ResolutionRecordV1Result()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.

§

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

Signature links:unstableSourceclone_from

Performs copy-assignment from source.

§

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.

§

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 ==.

§

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

Signature links:unstableSourcene&Rhsbool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for PackagedModelDocument