Back to Eqiora docs Skip to main content

FieldSnapshotEnvelopeV1

eqiora::artifact

Struct FieldSnapshotEnvelopeV1 

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

Logical snapshot of one exact Semantic Field in one exact spatial Realization.

Numerical values remain normalized DiscreteFieldEnvelopeV1 leaves. A P1 Field has one vertex block; a simplex P1-bubble Field has a vertex block and a top-cell bubble block. Values outside the exact Domain closure are canonical positive zero, so every block retains the canonical mesh entity order while the Domain support remains exact.

Implementations§

§

impl FieldSnapshotEnvelopeV1

Signature links:§FieldSnapshotEnvelopeV1

pub fn new_authored_fieldwise( model: &ModelEnvelope, realization: &RealizationEnvelopeV2, accepted: &AcceptedCircularHoleChordalRealizationV1, field: Id<Field>, blocks: &[DiscreteFieldEnvelopeV1], ) -> Result<FieldSnapshotEnvelopeV1, Diagnostic>

Signature links:new_authored_fieldwiseModelEnvelopeRealizationEnvelopeV2AcceptedCircularHoleChordalRealizationV1IdFieldDiscreteFieldEnvelopeV1ResultFieldSnapshotEnvelopeV1Diagnostic

Bind one exact circular-hole authored-region P1 snapshot.

The unchanged V1 wire is admitted only after replaying the Model, source-owned chordal mesh, authored correspondence, and field-wise V2 Realization as one in-process lineage.

§Errors

Returns EQ0901 for any Model, exact-source, owner, geometry, correspondence, mesh, Realization, Field, support, or block drift.

pub fn validate_against_authored_fieldwise( &self, model: &ModelEnvelope, realization: &RealizationEnvelopeV2, accepted: &AcceptedCircularHoleChordalRealizationV1, blocks: &[DiscreteFieldEnvelopeV1], ) -> Result<(), Diagnostic>

Signature links:validate_against_authored_fieldwiseModelEnvelopeRealizationEnvelopeV2AcceptedCircularHoleChordalRealizationV1DiscreteFieldEnvelopeV1Result()Diagnostic

Rebuild and compare this snapshot through the exact circular-hole authored field-wise lineage.

§Errors

Returns EQ0901 for any semantic, source-owner, V2 Realization, geometry, mesh, correspondence, block, or content drift.

§

impl FieldSnapshotEnvelopeV1

Signature links:§FieldSnapshotEnvelopeV1

pub fn new( context: &ValidatedFixedSpatialContextV1<'_>, field: Id<Field>, blocks: &[DiscreteFieldEnvelopeV1], ) -> Result<FieldSnapshotEnvelopeV1, Diagnostic>

Signature links:newValidatedFixedSpatialContextV1IdFieldDiscreteFieldEnvelopeV1ResultFieldSnapshotEnvelopeV1Diagnostic

Bind normalized mesh-wide coefficient blocks to exact Field meaning.

Metadata is derived from the supplied Model and Realization; callers cannot independently assert units, shape, frame, support, or basis.

§Errors

Returns EQ0901 for stale resources, a Field outside the selected Realization, an unsupported space/shape, wrong or duplicate blocks, or any nonzero coefficient outside the exact Domain closure.

pub fn new_moving<M, R>( context: &ValidatedMovingSpatialContextV2<'_, M, R>, field: Id<Field>, blocks: &[DiscreteFieldEnvelopeV1], ) -> Result<FieldSnapshotEnvelopeV1, Diagnostic>
where M: ReplayableCanonicalModelArtifact, R: ReplayableFixedTopologyAleRealizationArtifact,

Signature links:new_movingValidatedMovingSpatialContextV2IdFieldDiscreteFieldEnvelopeV1ResultFieldSnapshotEnvelopeV1DiagnosticReplayableCanonicalModelArtifactReplayableFixedTopologyAleRealizationArtifact

Bind normalized coefficient blocks in a fixed-topology moving context.

The wire remains field-snapshot-envelope/v1: geometry motion changes the enclosing state lineage, not the reference-mesh coefficient representation or the snapshot’s semantic meaning.

§Errors

Returns EQ0901 under the same closed-world conditions as Self::new, using the exact ALE Realization and immutable reference topology.

pub fn new_prescribed_dynamic_solid( model: &impl ReplayableCanonicalModelArtifact, realization: &PrescribedDynamicSolidRealizationEnvelopeV1, geometry: &GeometryIdentityEnvelopeV1, correspondence: &GeometryMeshCorrespondenceEnvelopeV1, mesh: &SimplicialMeshEnvelopeV1, field: Id<Field>, blocks: &[DiscreteFieldEnvelopeV1], ) -> Result<FieldSnapshotEnvelopeV1, Diagnostic>

Signature links:new_prescribed_dynamic_solidReplayableCanonicalModelArtifactPrescribedDynamicSolidRealizationEnvelopeV1GeometryIdentityEnvelopeV1GeometryMeshCorrespondenceEnvelopeV1SimplicialMeshEnvelopeV1IdFieldDiscreteFieldEnvelopeV1ResultFieldSnapshotEnvelopeV1Diagnostic

Bind one exact prescribed dynamic-solid displacement or velocity snapshot.

§Errors

Returns EQ0901 for any semantic role, lineage, support, block, or content drift.

pub fn from_json( bytes: &[u8], limits: FieldDecoderLimits, ) -> Result<FieldSnapshotEnvelopeV1, Diagnostic>

Signature links:from_jsonu8FieldDecoderLimitsResultFieldSnapshotEnvelopeV1Diagnostic

Decode the closed logical manifest without resolving referenced blocks.

§Errors

Returns EQ0901 for malformed, oversized, noncanonical, or unsupported wire data.

pub fn canonical_json(&self) -> Result<Vec<u8>, Diagnostic>

Signature links:canonical_jsonResultVecu8Diagnostic

Deterministic canonical JSON bytes.

§Errors

Returns EQ0901 if serialization unexpectedly fails.

pub fn digest(&self) -> Result<ArtifactDigest, Diagnostic>

Signature links:digestResultArtifactDigestDiagnostic

Domain-separated logical identity of meaning and normalized block content.

§Errors

Returns EQ0901 if canonical serialization fails.

pub fn model_artifact(&self) -> ArtifactDigest

Signature links:model_artifactArtifactDigest

Exact Semantic Model artifact.

pub fn realization_artifact(&self) -> ArtifactDigest

Signature links:realization_artifactArtifactDigest

Exact Realization artifact.

pub fn geometry_artifact(&self) -> ArtifactDigest

Signature links:geometry_artifactArtifactDigest

Exact geometry revision.

pub fn correspondence_artifact(&self) -> ArtifactDigest

Signature links:correspondence_artifactArtifactDigest

Exact geometry-to-mesh correspondence.

pub fn mesh_artifact(&self) -> ArtifactDigest

Signature links:mesh_artifactArtifactDigest

Exact mesh revision.

pub fn field(&self) -> Id<Field>

Signature links:fieldIdField

Exact Semantic Field identity.

pub fn support_domain(&self) -> Id<Domain>

Signature links:support_domainIdDomain

Exact volume Domain support.

pub const fn dimension(&self) -> DimExponents

Signature links:dimensionDimExponents

Physical dimension in coherent SI base units.

pub fn value_shape(&self) -> ValueShape

Signature links:value_shapeValueShape

Exact mathematical value shape.

pub const fn frame(&self) -> ValueFrame

Signature links:frameValueFrame

Coordinate-frame meaning of components.

pub fn block_artifacts(&self) -> Vec<(DiscreteFieldAssociation, ArtifactDigest)>

Signature links:block_artifactsVecDiscreteFieldAssociationArtifactDigest

Canonically ordered normalized coefficient-block identities.

pub fn validate_against( &self, context: &ValidatedFixedSpatialContextV1<'_>, blocks: &[DiscreteFieldEnvelopeV1], ) -> Result<(), Diagnostic>

Signature links:validate_againstValidatedFixedSpatialContextV1DiscreteFieldEnvelopeV1Result()Diagnostic

Rebuild and compare the complete logical snapshot from exact dependencies.

§Errors

Returns EQ0901 for any semantic, resource, block, or content drift.

pub fn validate_against_prescribed_dynamic_solid( &self, model: &impl ReplayableCanonicalModelArtifact, realization: &PrescribedDynamicSolidRealizationEnvelopeV1, geometry: &GeometryIdentityEnvelopeV1, correspondence: &GeometryMeshCorrespondenceEnvelopeV1, mesh: &SimplicialMeshEnvelopeV1, blocks: &[DiscreteFieldEnvelopeV1], ) -> Result<(), Diagnostic>

Signature links:validate_against_prescribed_dynamic_solidReplayableCanonicalModelArtifactPrescribedDynamicSolidRealizationEnvelopeV1GeometryIdentityEnvelopeV1GeometryMeshCorrespondenceEnvelopeV1SimplicialMeshEnvelopeV1DiscreteFieldEnvelopeV1Result()Diagnostic

Rebuild and compare one exact prescribed dynamic-solid snapshot.

§Errors

Returns EQ0901 for any semantic, resource, block, or content drift.

pub fn validate_against_moving<'a, M, R>( &self, context: &ValidatedMovingSpatialContextV2<'_, M, R>, blocks: impl IntoIterator<Item = &'a DiscreteFieldEnvelopeV1>, ) -> Result<(), Diagnostic>
where M: ReplayableCanonicalModelArtifact, R: ReplayableFixedTopologyAleRealizationArtifact,

Signature links:validate_against_movingValidatedMovingSpatialContextV2IntoIteratorDiscreteFieldEnvelopeV1Result()DiagnosticReplayableCanonicalModelArtifactReplayableFixedTopologyAleRealizationArtifact

Rebuild and compare this logical snapshot in an exact moving context.

§Errors

Returns EQ0901 for any semantic, ALE resource, block, or content drift.

pub fn active_entities_against<'a>( &self, context: &ValidatedFixedSpatialContextV1<'_>, blocks: impl IntoIterator<Item = &'a DiscreteFieldEnvelopeV1>, association: DiscreteFieldAssociation, ) -> Result<Vec<usize>, Diagnostic>

Signature links:active_entities_againstValidatedFixedSpatialContextV1IntoIteratorDiscreteFieldEnvelopeV1DiscreteFieldAssociationResultVecusizeDiagnostic

Derive exact active mesh entities in one fixed-spatial context.

The complete snapshot is first rebuilt from its exact semantic and numerical dependencies. Returned indices are global, sorted canonical mesh indices and are never inferred from coefficient values.

§Errors

Returns EQ0901 for stale snapshot lineage, an association absent from the snapshot, or invalid support incidence.

pub fn active_entities_against_moving<M, R>( &self, context: &ValidatedMovingSpatialContextV2<'_, M, R>, association: DiscreteFieldAssociation, ) -> Result<Vec<usize>, Diagnostic>
where M: ReplayableCanonicalModelArtifact, R: ReplayableFixedTopologyAleRealizationArtifact,

Signature links:active_entities_against_movingValidatedMovingSpatialContextV2DiscreteFieldAssociationResultVecusizeDiagnosticReplayableCanonicalModelArtifactReplayableFixedTopologyAleRealizationArtifact

Derive the exact active mesh entities for one coefficient association.

This operation revalidates the snapshot’s semantic and moving-spatial lineage. Returned indices are sorted in canonical reference-mesh order; they never imply identity across mesh revisions.

§Errors

Returns EQ0901 for stale snapshot lineage, an association absent from the snapshot, or invalid support incidence.

pub fn active_entity_count_against_moving<M, R>( &self, context: &ValidatedMovingSpatialContextV2<'_, M, R>, association: DiscreteFieldAssociation, ) -> Result<usize, Diagnostic>
where M: ReplayableCanonicalModelArtifact, R: ReplayableFixedTopologyAleRealizationArtifact,

Signature links:active_entity_count_against_movingValidatedMovingSpatialContextV2DiscreteFieldAssociationResultusizeDiagnosticReplayableCanonicalModelArtifactReplayableFixedTopologyAleRealizationArtifact

Count active entities without allocating their materialized usize index list.

This is the preflight counterpart of Self::active_entities_against_moving.

§Errors

Returns EQ0901 under the same lineage and support conditions as the materializing operation.

Trait Implementations§

§

impl Clone for FieldSnapshotEnvelopeV1

Signature links:§CloneFieldSnapshotEnvelopeV1
§

fn clone(&self) -> FieldSnapshotEnvelopeV1

Signature links:§cloneFieldSnapshotEnvelopeV1
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 FieldSnapshotEnvelopeV1

Signature links:§DebugFieldSnapshotEnvelopeV1
§

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

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

impl PartialEq for FieldSnapshotEnvelopeV1

Signature links:§PartialEqFieldSnapshotEnvelopeV1
§

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

Signature links:§eqFieldSnapshotEnvelopeV1bool
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 Eq for FieldSnapshotEnvelopeV1

§

impl StructuralPartialEq for FieldSnapshotEnvelopeV1

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>,

§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Signature links:§EqSizedBorrowSized
§

fn equivalent(&self, key: &K) -> bool

Signature links:§&Kbool
Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Signature links:§EqSizedBorrowSized
§

fn equivalent(&self, key: &K) -> bool

Signature links:§&Kbool
Compare self to key and return true if they are equal.
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Signature links:§EqSizedBorrowSized
§

fn equivalent(&self, key: &K) -> bool

Signature links:§&Kbool
Checks if this value is equivalent to the given key. Read more
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,