Back to Eqiora docs Skip to main content

GeometryStateEnvelopeV2

eqiora::artifact

Struct GeometryStateEnvelopeV2 

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

One accepted current geometry whose origin is explicit and closed.

A continuous state derives mesh velocity from a same-topology predecessor. A remesh state retains the source state and semantic-association identities at the same exact model coordinate and contains no mesh velocity.

Implementations§

§

impl GeometryStateEnvelopeV2

Signature links:§GeometryStateEnvelopeV2

pub fn continuous( model: &impl ReplayableCanonicalModelArtifact, geometry: &GeometryIdentityEnvelopeV1, correspondence: &GeometryMeshCorrespondenceEnvelopeV1, reference_mesh: &SimplicialMeshEnvelopeV1, realization: &(impl CanonicalRealizationArtifact + ?Sized), step: u64, time_s: f64, predecessor: &GeometryStateEnvelopeV2, solid_displacement: &FieldSnapshotEnvelopeV1, current_coordinates_m: Vec<Vec<f64>>, ) -> Result<GeometryStateEnvelopeV2, Diagnostic>

Signature links:continuousReplayableCanonicalModelArtifactGeometryIdentityEnvelopeV1GeometryMeshCorrespondenceEnvelopeV1SimplicialMeshEnvelopeV1CanonicalRealizationArtifactSizedu64f64GeometryStateEnvelopeV2FieldSnapshotEnvelopeV1VecVecf64ResultGeometryStateEnvelopeV2Diagnostic

Construct a positive-duration continuation on one reference topology.

§Errors

Returns EQ0901 for stale resources, a non-adjacent predecessor, invalid geometry, driver drift, or failed path-quality replay.

pub fn remesh<M>( source: &ValidatedRemeshGeometrySourceV2<'_, M>, target_model: &impl ReplayableCanonicalModelArtifact, target_geometry: &GeometryIdentityEnvelopeV1, target_correspondence: &GeometryMeshCorrespondenceEnvelopeV1, target_reference_mesh: &SimplicialMeshEnvelopeV1, target_realization: &(impl CanonicalRealizationArtifact + ?Sized), target_solid_displacement: &FieldSnapshotEnvelopeV1, target_current_coordinates_m: Vec<Vec<f64>>, ) -> Result<GeometryStateEnvelopeV2, Diagnostic>
where M: ReplayableCanonicalModelArtifact,

Signature links:remeshValidatedRemeshGeometrySourceV2ReplayableCanonicalModelArtifactGeometryIdentityEnvelopeV1GeometryMeshCorrespondenceEnvelopeV1SimplicialMeshEnvelopeV1CanonicalRealizationArtifactSizedFieldSnapshotEnvelopeV1VecVecf64ResultGeometryStateEnvelopeV2DiagnosticReplayableCanonicalModelArtifact

Construct a zero-duration remesh origin at the source state coordinate.

The target reference mesh must differ from the source mesh. Semantic retention is independently replayed, and no mesh velocity is created.

§Errors

Returns EQ0901 for stale/crossed resources, changed model time, identical mesh revisions, invalid target geometry, or a non-bijective semantic association. Typed association failures are flattened only at this artifact boundary.

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

Signature links:from_jsonu8MeshDecoderLimitsResultGeometryStateEnvelopeV2Diagnostic

Decode bounded wire data without resolving referenced artifacts.

§Errors

Returns EQ0901 for malformed, oversized, unknown, or noncanonical data, including any origin outside the closed grammar.

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 identity of the complete state and origin evidence.

§Errors

Returns EQ0901 if canonical serialization fails.

pub const fn origin(&self) -> GeometryStateOriginKindV2

Signature links:originGeometryStateOriginKindV2

Closed origin kind.

pub const fn step(&self) -> u64

Signature links:stepu64

Accepted step ordinal.

pub const fn time_s(&self) -> f64

Signature links:time_sf64

Accepted coherent-SI model time.

pub fn model_artifact(&self) -> ArtifactDigest

Signature links:model_artifactArtifactDigest

Exact Model artifact.

pub const fn semantic_revision(&self) -> u64

Signature links:semantic_revisionu64

Exact semantic revision.

pub fn reference_geometry_artifact(&self) -> ArtifactDigest

Signature links:reference_geometry_artifactArtifactDigest

Exact target Geometry Identity.

pub fn reference_correspondence_artifact(&self) -> ArtifactDigest

Signature links:reference_correspondence_artifactArtifactDigest

Exact target geometry-to-mesh correspondence.

pub fn reference_mesh_artifact(&self) -> ArtifactDigest

Signature links:reference_mesh_artifactArtifactDigest

Exact target reference mesh.

pub fn realization_artifact(&self) -> ArtifactDigest

Signature links:realization_artifactArtifactDigest

Exact target Realization.

pub fn solid_displacement_snapshot(&self) -> ArtifactDigest

Signature links:solid_displacement_snapshotArtifactDigest

Exact target solid-displacement snapshot.

pub fn current_coordinates_m(&self) -> &[Vec<f64>]

Signature links:current_coordinates_mVecf64

Current coordinates in target reference-vertex order.

pub fn mesh_velocity_m_per_s(&self) -> Option<&[Vec<f64>]>

Signature links:mesh_velocity_m_per_sOptionVecf64

Derived mesh velocity, present only for continuous origins.

pub fn predecessor(&self) -> Option<ArtifactDigest>

Signature links:predecessorOptionArtifactDigest

Same-topology predecessor, when this is a continuous origin.

pub fn remesh_source_spatial_state(&self) -> Option<ArtifactDigest>

Signature links:remesh_source_spatial_stateOptionArtifactDigest

Source moving state, when this is a remesh origin.

pub fn remesh_source_geometry_state(&self) -> Option<ArtifactDigest>

Signature links:remesh_source_geometry_stateOptionArtifactDigest

Source geometry state, when this is a remesh origin.

pub fn remesh_semantic_association(&self) -> Option<ArtifactDigest>

Signature links:remesh_semantic_associationOptionArtifactDigest

Semantic association, when this is a remesh origin.

pub const fn minimum_mean_ratio(&self) -> f64

Signature links:minimum_mean_ratiof64

Minimum current-cell mean-ratio quality.

pub const fn minimum_signed_measure_scale(&self) -> f64

Signature links:minimum_signed_measure_scalef64

Minimum current signed measure scale.

pub fn validate_against_continuous( &self, model: &impl ReplayableCanonicalModelArtifact, geometry: &GeometryIdentityEnvelopeV1, correspondence: &GeometryMeshCorrespondenceEnvelopeV1, reference_mesh: &SimplicialMeshEnvelopeV1, realization: &(impl CanonicalRealizationArtifact + ?Sized), predecessor: &GeometryStateEnvelopeV2, solid_displacement: &FieldSnapshotEnvelopeV1, ) -> Result<(), Diagnostic>

Signature links:validate_against_continuousReplayableCanonicalModelArtifactGeometryIdentityEnvelopeV1GeometryMeshCorrespondenceEnvelopeV1SimplicialMeshEnvelopeV1CanonicalRealizationArtifactSizedGeometryStateEnvelopeV2FieldSnapshotEnvelopeV1Result()Diagnostic

Rebuild and compare a continuous-origin state.

§Errors

Returns EQ0901 for any dependency or replay drift.

pub fn validate_against_remesh<M>( &self, source: &ValidatedRemeshGeometrySourceV2<'_, M>, target_model: &impl ReplayableCanonicalModelArtifact, target_geometry: &GeometryIdentityEnvelopeV1, target_correspondence: &GeometryMeshCorrespondenceEnvelopeV1, target_reference_mesh: &SimplicialMeshEnvelopeV1, target_realization: &(impl CanonicalRealizationArtifact + ?Sized), target_solid_displacement: &FieldSnapshotEnvelopeV1, ) -> Result<(), Diagnostic>
where M: ReplayableCanonicalModelArtifact,

Signature links:validate_against_remeshValidatedRemeshGeometrySourceV2ReplayableCanonicalModelArtifactGeometryIdentityEnvelopeV1GeometryMeshCorrespondenceEnvelopeV1SimplicialMeshEnvelopeV1CanonicalRealizationArtifactSizedFieldSnapshotEnvelopeV1Result()DiagnosticReplayableCanonicalModelArtifact

Rebuild and compare a remesh-origin state.

§Errors

Returns EQ0901 for any dependency or replay drift.

Trait Implementations§

§

impl Clone for GeometryStateEnvelopeV2

Signature links:§CloneGeometryStateEnvelopeV2
§

fn clone(&self) -> GeometryStateEnvelopeV2

Signature links:§cloneGeometryStateEnvelopeV2
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 GeometryStateEnvelopeV2

Signature links:§DebugGeometryStateEnvelopeV2
§

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

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

impl PartialEq for GeometryStateEnvelopeV2

Signature links:§PartialEqGeometryStateEnvelopeV2
§

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

Signature links:§eqGeometryStateEnvelopeV2bool
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 GeometryStateEnvelopeV2

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,