Struct GeometryStateEnvelope 

pub struct GeometryStateEnvelope { /* private fields */ }

One accepted coordinate state over an exact immutable reference simplex mesh.

Dimensions two and three share the same wire and validation. Fixed-topology states replay their graph-selected harmonic action from exact driver leaves. A remesh origin retains its source and semantic association; overlap and transfer receipts separately prove the representation change. No connectivity or independently authored mesh velocity is admitted.

Implementations

§

impl GeometryStateEnvelope

Signature links:GeometryStateEnvelope

pub fn remesh<M>( source: &ValidatedRemeshGeometrySource<'_, M>, target: &ValidatedMovingSpatialContext<'_, M>, driver_snapshot: &FieldSnapshotEnvelopeV2, coordinates: Vec<Vec<f64>>, ) -> Result<GeometryStateEnvelope, Diagnostic>

where M: ReplayableCanonicalModelArtifact,

Signature links:remeshValidatedRemeshGeometrySourceValidatedMovingSpatialContextFieldSnapshotEnvelopeV2VecVecf64ResultGeometryStateEnvelopeDiagnosticReplayableCanonicalModelArtifact

Construct the same-time origin of a distinct two-dimensional mesh revision.

This verifies semantic retention and target coordinate quality. Material and current-spatial overlap and transfer correctness belong to their receipts. No same-topology path or velocity is fabricated for a representation change.

Errors

Rejects changed Model/time, identical meshes, incomplete association, wrong driver lineage or unsupported dimensions.

pub fn validate_against_remesh<M>( &self, source: &ValidatedRemeshGeometrySource<'_, M>, target: &ValidatedMovingSpatialContext<'_, M>, driver_snapshot: &FieldSnapshotEnvelopeV2, ) -> Result<(), Diagnostic>

where M: ReplayableCanonicalModelArtifact,

Signature links:validate_against_remeshValidatedRemeshGeometrySourceValidatedMovingSpatialContextFieldSnapshotEnvelopeV2Result()DiagnosticReplayableCanonicalModelArtifact

Replay a remesh origin from its exact dependencies.

Errors

Rejects changed source, target or derived geometry evidence.

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

Signature links:remesh_source_spatial_stateOptionArtifactDigest

Exact source state of a remesh origin; absent for fixed-topology origins.

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

Signature links:remesh_source_geometry_stateOptionArtifactDigest

Exact source geometry at a remesh origin.

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

Signature links:remesh_semantic_associationOptionArtifactDigest

Semantic association at a remesh origin.

§

impl GeometryStateEnvelope

Signature links:GeometryStateEnvelope

pub fn new<'a, M>( context: &ValidatedMovingSpatialContext<'_, M>, step: u64, time_s: f64, predecessor: Option<&GeometryStateEnvelope>, driver_snapshot: &FieldSnapshotEnvelopeV2, driver_blocks: impl IntoIterator<Item = &'a DiscreteFieldEnvelopeV1>, coordinates: Vec<Vec<f64>>, ) -> Result<GeometryStateEnvelope, Diagnostic>

where M: ReplayableCanonicalModelArtifact,

Signature links:newValidatedMovingSpatialContextu64f64OptionGeometryStateEnvelopeFieldSnapshotEnvelopeV2IntoIteratorDiscreteFieldEnvelopeV1VecVecf64ResultGeometryStateEnvelopeDiagnosticReplayableCanonicalModelArtifact

Capture an initial state or immediate positive-duration continuation.

Errors

Returns EQ0901 for stale dependencies, invalid driver leaves or coordinates, non-adjacent step/time, or failed endpoint/path quality replay.

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

Signature links:from_jsonu8MeshDecoderLimitsResultGeometryStateEnvelopeDiagnostic

Decode the sole current wire; dependency replay remains required.

Errors

Rejects retired schemas, unknown fields, malformed origins or exceeded budgets.

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

Signature links:canonical_jsonResultVecu8Diagnostic

Deterministic canonical bytes.

Errors

Returns EQ0901 if serialization unexpectedly fails.

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

Signature links:digestResultArtifactDigestDiagnostic

Schema-domain-separated identity.

Errors

Preserves canonical encoding failures.

pub const fn spatial_dimension(&self) -> usize

Signature links:spatial_dimensionusize

Intrinsic reference dimension.

pub const fn origin(&self) -> GeometryStateOriginKind

Signature links:originGeometryStateOriginKind

Closed origin of these coordinates.

pub fn model_artifact(&self) -> ArtifactDigest

Signature links:model_artifactArtifactDigest

Reference Model artifact.

pub const fn semantic_revision(&self) -> u64

Signature links:semantic_revisionu64

Reference Model semantic revision.

pub fn reference_geometry_artifact(&self) -> ArtifactDigest

Signature links:reference_geometry_artifactArtifactDigest

Reference Geometry Identity artifact.

pub fn reference_correspondence_artifact(&self) -> ArtifactDigest

Signature links:reference_correspondence_artifactArtifactDigest

Reference geometry-to-mesh correspondence artifact.

pub fn reference_mesh_artifact(&self) -> ArtifactDigest

Signature links:reference_mesh_artifactArtifactDigest

Immutable reference simplex mesh artifact.

pub fn realization_artifact(&self) -> ArtifactDigest

Signature links:realization_artifactArtifactDigest

Fixed-topology ALE Realization artifact.

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 time in seconds.

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

Signature links:predecessorOptionArtifactDigest

Same-topology predecessor; absent at an initial or remesh origin.

pub fn driver_snapshot(&self) -> ArtifactDigest

Signature links:driver_snapshotArtifactDigest

Exact Field snapshot selected as the geometry driver.

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

Signature links:current_coordinates_mVecf64

Absolute coherent-SI coordinates in immutable reference-vertex order.

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

Signature links:mesh_velocity_m_per_sOptionVecf64

Derived velocity; absent at initial and zero-duration remesh origins.

pub const fn reference_minimum_mean_ratio(&self) -> f64

Signature links:reference_minimum_mean_ratiof64

Replayed minimum mean ratio of the immutable reference mesh.

pub const fn reference_minimum_signed_measure_scale(&self) -> f64

Signature links:reference_minimum_signed_measure_scalef64

Replayed minimum signed measure scale of the immutable reference mesh.

pub const fn current_minimum_mean_ratio(&self) -> f64

Signature links:current_minimum_mean_ratiof64

Replayed minimum mean ratio of the accepted current coordinates.

pub const fn current_minimum_signed_measure_scale(&self) -> f64

Signature links:current_minimum_signed_measure_scalef64

Replayed minimum signed measure scale of the accepted current coordinates.

pub const fn minimum_path_signed_measure_scale(&self) -> Option<f64>

Signature links:minimum_path_signed_measure_scaleOptionf64

Replayed path quality; a zero-duration remesh has no same-topology path.

pub fn validate_against<'a, M>( &self, context: &ValidatedMovingSpatialContext<'_, M>, predecessor: Option<&GeometryStateEnvelope>, driver_snapshot: &FieldSnapshotEnvelopeV2, driver_blocks: impl IntoIterator<Item = &'a DiscreteFieldEnvelopeV1>, ) -> Result<(), Diagnostic>

where M: ReplayableCanonicalModelArtifact,

Signature links:validate_againstValidatedMovingSpatialContextOptionGeometryStateEnvelopeFieldSnapshotEnvelopeV2IntoIteratorDiscreteFieldEnvelopeV1Result()DiagnosticReplayableCanonicalModelArtifact

Replay an initial or continuous state from its exact dependencies.

Errors

Rejects dependency, driver, predecessor or derived-evidence drift.

Trait Implementations

§

impl Clone for GeometryStateEnvelope

Signature links:CloneGeometryStateEnvelope

§

fn clone(&self) -> GeometryStateEnvelope

Signature links:cloneGeometryStateEnvelope

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 GeometryStateEnvelope

Signature links:DebugGeometryStateEnvelope

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.

§

impl PartialEq for GeometryStateEnvelope

Signature links:PartialEqGeometryStateEnvelope

§

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

Signature links:eqGeometryStateEnvelopebool

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 GeometryStateEnvelope