Struct SpatialStateEnvelope
pub struct SpatialStateEnvelope { /* private fields */ }Description
Complete physical Field inventory bound to one exact current geometry.
Continuous states retain both immediate predecessor identities and any immutable remesh anchor. Coordinates are owned only by GeometryState.
Implementations§
§impl SpatialStateEnvelope
impl SpatialStateEnvelope
pub fn remesh<M>(
source: &ValidatedRemeshGeometrySource<'_, M>,
target_context: &ValidatedMovingSpatialContext<'_, M>,
target_geometry_state: &GeometryStateEnvelope,
overlap: &MeshRevisionOverlapEnvelopeV1,
receipt: &RemeshTransferReceiptEnvelopeV1,
source_snapshots: &[FieldSnapshotEnvelopeV2],
target_snapshots: &[FieldSnapshotEnvelopeV2],
) -> Result<SpatialStateEnvelope, Diagnostic>where
M: ReplayableCanonicalModelArtifact,
pub fn remesh<M>(
source: &ValidatedRemeshGeometrySource<'_, M>,
target_context: &ValidatedMovingSpatialContext<'_, M>,
target_geometry_state: &GeometryStateEnvelope,
overlap: &MeshRevisionOverlapEnvelopeV1,
receipt: &RemeshTransferReceiptEnvelopeV1,
source_snapshots: &[FieldSnapshotEnvelopeV2],
target_snapshots: &[FieldSnapshotEnvelopeV2],
) -> Result<SpatialStateEnvelope, Diagnostic>where
M: ReplayableCanonicalModelArtifact,
Signature links:remeshValidatedRemeshGeometrySourceValidatedMovingSpatialContextGeometryStateEnvelopeMeshRevisionOverlapEnvelopeV1RemeshTransferReceiptEnvelopeV1FieldSnapshotEnvelopeV2FieldSnapshotEnvelopeV2ResultSpatialStateEnvelopeDiagnosticReplayableCanonicalModelArtifact
Construct the first target state at an exact same-time remesh seam.
§Errors
Returns EQ0901 for any stale resource, incomplete Field inventory,
invalid geometry/overlap/receipt replay, or changed step/time.
pub fn validate_against_remesh<M>(
&self,
source: &ValidatedRemeshGeometrySource<'_, M>,
target_context: &ValidatedMovingSpatialContext<'_, M>,
target_geometry_state: &GeometryStateEnvelope,
overlap: &MeshRevisionOverlapEnvelopeV1,
receipt: &RemeshTransferReceiptEnvelopeV1,
source_snapshots: &[FieldSnapshotEnvelopeV2],
target_snapshots: &[FieldSnapshotEnvelopeV2],
) -> Result<(), Diagnostic>where
M: ReplayableCanonicalModelArtifact,
pub fn validate_against_remesh<M>(
&self,
source: &ValidatedRemeshGeometrySource<'_, M>,
target_context: &ValidatedMovingSpatialContext<'_, M>,
target_geometry_state: &GeometryStateEnvelope,
overlap: &MeshRevisionOverlapEnvelopeV1,
receipt: &RemeshTransferReceiptEnvelopeV1,
source_snapshots: &[FieldSnapshotEnvelopeV2],
target_snapshots: &[FieldSnapshotEnvelopeV2],
) -> Result<(), Diagnostic>where
M: ReplayableCanonicalModelArtifact,
§impl SpatialStateEnvelope
impl SpatialStateEnvelope
pub fn new<'a, M>(
context: &ValidatedMovingSpatialContext<'_, M>,
geometry: &GeometryStateEnvelope,
predecessor: Option<(&SpatialStateEnvelope, &GeometryStateEnvelope)>,
snapshots: &[FieldSnapshotEnvelopeV2],
driver_blocks: impl IntoIterator<Item = &'a DiscreteFieldEnvelopeV1>,
) -> Result<SpatialStateEnvelope, Diagnostic>where
M: ReplayableCanonicalModelArtifact,
pub fn new<'a, M>(
context: &ValidatedMovingSpatialContext<'_, M>,
geometry: &GeometryStateEnvelope,
predecessor: Option<(&SpatialStateEnvelope, &GeometryStateEnvelope)>,
snapshots: &[FieldSnapshotEnvelopeV2],
driver_blocks: impl IntoIterator<Item = &'a DiscreteFieldEnvelopeV1>,
) -> Result<SpatialStateEnvelope, Diagnostic>where
M: ReplayableCanonicalModelArtifact,
Signature links:newValidatedMovingSpatialContextGeometryStateEnvelopeOptionSpatialStateEnvelopeGeometryStateEnvelopeFieldSnapshotEnvelopeV2IntoIteratorDiscreteFieldEnvelopeV1ResultSpatialStateEnvelopeDiagnosticReplayableCanonicalModelArtifact
Capture an initial state or immediate same-topology continuation.
§Errors
Rejects stale resources, incomplete Fields, invalid driver evidence, non-adjacent states or coordinates inconsistent with the exact time step.
pub fn from_json(
bytes: &[u8],
limits: FieldDecoderLimits,
) -> Result<SpatialStateEnvelope, Diagnostic>
pub fn from_json( bytes: &[u8], limits: FieldDecoderLimits, ) -> Result<SpatialStateEnvelope, Diagnostic>
Decode the sole current wire; exact dependency replay remains required.
§Errors
Rejects retired schemas, invalid origins, noncanonical data or exceeded bounds.
pub fn canonical_json(&self) -> Result<Vec<u8>, Diagnostic>
pub fn canonical_json(&self) -> Result<Vec<u8>, Diagnostic>
pub fn digest(&self) -> Result<ArtifactDigest, Diagnostic>
pub fn digest(&self) -> Result<ArtifactDigest, Diagnostic>
pub const fn spatial_dimension(&self) -> usize
pub const fn spatial_dimension(&self) -> usize
Intrinsic dimension of the reference mesh.
pub const fn origin(&self) -> SpatialStateOriginKind
pub const fn origin(&self) -> SpatialStateOriginKind
Closed immediate origin.
pub fn predecessor(&self) -> Option<ArtifactDigest>
pub fn predecessor(&self) -> Option<ArtifactDigest>
Immediate same-topology state predecessor; absent at initial/remesh origins.
pub fn predecessor_geometry_state(&self) -> Option<ArtifactDigest>
pub fn predecessor_geometry_state(&self) -> Option<ArtifactDigest>
Immediate geometry predecessor; absent at initial/remesh origins.
pub const fn topology(&self) -> SpatialStateTopology
pub const fn topology(&self) -> SpatialStateTopology
Topology lineage derived from the state’s complete origin evidence.
pub const fn remesh_anchor(&self) -> Option<&RemeshStateAnchor>
pub const fn remesh_anchor(&self) -> Option<&RemeshStateAnchor>
Immutable representation-change evidence, retained by every continuation.
pub fn geometry_state_artifact(&self) -> ArtifactDigest
pub fn geometry_state_artifact(&self) -> ArtifactDigest
Exact current GeometryState artifact.
pub fn geometry_driver_snapshot(&self) -> ArtifactDigest
pub fn geometry_driver_snapshot(&self) -> ArtifactDigest
Exact solid-displacement snapshot driving the GeometryState.
pub fn model_artifact(&self) -> ArtifactDigest
pub fn model_artifact(&self) -> ArtifactDigest
Exact reference Model artifact.
pub const fn semantic_revision(&self) -> u64
pub const fn semantic_revision(&self) -> u64
Reference Model semantic revision.
pub fn realization_artifact(&self) -> ArtifactDigest
pub fn realization_artifact(&self) -> ArtifactDigest
Exact ALE Realization artifact.
pub fn reference_geometry_artifact(&self) -> ArtifactDigest
pub fn reference_geometry_artifact(&self) -> ArtifactDigest
Exact reference Geometry Identity artifact.
pub fn correspondence_artifact(&self) -> ArtifactDigest
pub fn correspondence_artifact(&self) -> ArtifactDigest
Exact geometry-to-mesh correspondence artifact.
pub fn reference_mesh_artifact(&self) -> ArtifactDigest
pub fn reference_mesh_artifact(&self) -> ArtifactDigest
Exact immutable reference mesh artifact.
pub fn fields(&self) -> Vec<(Id<Domain>, Id<Field>, ArtifactDigest)>
pub fn fields(&self) -> Vec<(Id<Domain>, Id<Field>, ArtifactDigest)>
Canonically ordered (Domain, Field, snapshot) references.
pub fn field_snapshot(&self, field: Id<Field>) -> Option<ArtifactDigest>
pub fn field_snapshot(&self, field: Id<Field>) -> Option<ArtifactDigest>
Look up one exact Field snapshot without loading unrelated Fields.
pub fn validate_against<'a, M>(
&self,
context: &ValidatedMovingSpatialContext<'_, M>,
geometry: &GeometryStateEnvelope,
predecessor: Option<(&SpatialStateEnvelope, &GeometryStateEnvelope)>,
snapshots: &[FieldSnapshotEnvelopeV2],
driver_blocks: impl IntoIterator<Item = &'a DiscreteFieldEnvelopeV1>,
) -> Result<(), Diagnostic>where
M: ReplayableCanonicalModelArtifact,
pub fn validate_against<'a, M>(
&self,
context: &ValidatedMovingSpatialContext<'_, M>,
geometry: &GeometryStateEnvelope,
predecessor: Option<(&SpatialStateEnvelope, &GeometryStateEnvelope)>,
snapshots: &[FieldSnapshotEnvelopeV2],
driver_blocks: impl IntoIterator<Item = &'a DiscreteFieldEnvelopeV1>,
) -> Result<(), Diagnostic>where
M: ReplayableCanonicalModelArtifact,
Signature links:validate_againstValidatedMovingSpatialContextGeometryStateEnvelopeOptionSpatialStateEnvelopeGeometryStateEnvelopeFieldSnapshotEnvelopeV2IntoIteratorDiscreteFieldEnvelopeV1Result()DiagnosticReplayableCanonicalModelArtifact
Replay an initial or continuous state from exact immediate dependencies.
§Errors
Rejects changed state, geometry, driver or predecessor evidence.
Trait Implementations§
§impl Clone for SpatialStateEnvelope
impl Clone for SpatialStateEnvelope
§impl Debug for SpatialStateEnvelope
impl Debug for SpatialStateEnvelope
§impl PartialEq for SpatialStateEnvelope
impl PartialEq for SpatialStateEnvelope
§fn eq(&self, other: &SpatialStateEnvelope) -> bool
fn eq(&self, other: &SpatialStateEnvelope) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for SpatialStateEnvelope
Auto Trait Implementations§
impl Freeze for SpatialStateEnvelope
impl RefUnwindSafe for SpatialStateEnvelope
impl Send for SpatialStateEnvelope
impl Sync for SpatialStateEnvelope
impl Unpin for SpatialStateEnvelope
impl UnsafeUnpin for SpatialStateEnvelope
impl UnwindSafe for SpatialStateEnvelope
Blanket Implementations§
Source§impl<T> Any for Twhere
T: 'static + ?Sized,
impl<T> Any for Twhere
T: 'static + ?Sized,
§impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
Signature links:§
§fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>
fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>
Convert the given value into an approximately equivalent representation.
§impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere
Dst: ApproxFrom<Src, Scheme>,
Scheme: ApproxScheme,
impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere
Dst: ApproxFrom<Src, Scheme>,
Scheme: ApproxScheme,
Signature links:§
§type Err = <Dst as ApproxFrom<Src, Scheme>>::Err
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>
fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>
Convert the subject into an approximately equivalent representation.
Source§impl<T> Borrow<T> for Twhere
T: ?Sized,
impl<T> Borrow<T> for Twhere
T: ?Sized,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T, Dst> ConvAsUtil<Dst> for T
impl<T, Dst> ConvAsUtil<Dst> for T
Signature links:§
§fn approx(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
fn approx(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
Approximate the subject with the default scheme.
§impl<T> ConvUtil for T
impl<T> ConvUtil for T
Signature links:§
§fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
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,
fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst, Scheme>,
Scheme: ApproxScheme,
Approximate the subject to a given type with a specific scheme.
§fn into_as<Dst>(self) -> Dstwhere
Self: Sized + Into<Dst>,
fn into_as<Dst>(self) -> Dstwhere
Self: Sized + Into<Dst>,
Convert the subject to a given type.
§fn try_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + TryInto<Dst>,
fn try_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + TryInto<Dst>,
Attempt to convert the subject to a given type.
§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> Twhere
Self: Distribution<T>,
Source§impl<T> From<T> for T
impl<T> From<T> for T
§impl<T> Instrument for T
impl<T> Instrument for T
Signature links:§
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Signature links:§
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Signature links:§
Source§impl<T, U> Into<U> for Twhere
U: From<T>,
impl<T, U> Into<U> for Twhere
U: From<T>,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where
F: FnOnce(&Self) -> bool,
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where
F: FnOnce(&Self) -> bool,
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
impl<T> Pointable for T
Signature links:§
Source§impl<T> Same for T
impl<T> Same for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Signature links:§
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
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
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.Source§impl<T> ToOwned for Twhere
T: Clone,
impl<T> ToOwned for Twhere
T: Clone,
§impl<Src> TryFrom<Src> for Src
impl<Src> TryFrom<Src> for Src
Signature links:§
Source§impl<T, U> TryFrom<U> for Twhere
U: Into<T>,
impl<T, U> TryFrom<U> for Twhere
U: Into<T>,
§impl<Src, Dst> TryInto<Dst> for Srcwhere
Dst: TryFrom<Src>,
impl<Src, Dst> TryInto<Dst> for Srcwhere
Dst: TryFrom<Src>,
Signature links:§
Source§impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,
impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,
§impl<Src> ValueFrom<Src> for Src
impl<Src> ValueFrom<Src> for Src
Signature links:§
§fn value_from(src: Src) -> Result<Src, <Src as ValueFrom<Src>>::Err>
fn value_from(src: Src) -> Result<Src, <Src as ValueFrom<Src>>::Err>
Convert the given value into an exactly equivalent representation.
§impl<Src, Dst> ValueInto<Dst> for Srcwhere
Dst: ValueFrom<Src>,
impl<Src, Dst> ValueInto<Dst> for Srcwhere
Dst: ValueFrom<Src>,
Signature links:§
§type Err = <Dst as ValueFrom<Src>>::Err
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>
fn value_into(self) -> Result<Dst, <Src as ValueInto<Dst>>::Err>
Convert the subject into an exactly equivalent representation.
§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Signature links:§
§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where
S: Into<Dispatch>,
§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Signature links:§