Struct SpatialTrajectoryEnvelopeV1 

pub struct SpatialTrajectoryEnvelopeV1 { /* private fields */ }

Immutable root over a complete prefix of trajectory segments.

Extending a trajectory creates a new root whose segment list retains the prior list byte-for-byte as a prefix. Run provenance is deliberately separate so the final root can be named as a Run output without a digest cycle.

Implementations

§

impl SpatialTrajectoryEnvelopeV1

Signature links:SpatialTrajectoryEnvelopeV1

pub fn start( context: &ValidatedFixedSpatialContextV1<'_>, segment: &SpatialTrajectorySegmentEnvelopeV1, ) -> Result<SpatialTrajectoryEnvelopeV1, Diagnostic>

Signature links:startValidatedFixedSpatialContextV1SpatialTrajectorySegmentEnvelopeV1ResultSpatialTrajectoryEnvelopeV1Diagnostic

Publish the first immutable trajectory root.

Errors

Returns EQ0901 only if the segment is internally invalid.

pub fn extend( context: &ValidatedFixedSpatialContextV1<'_>, previous: &SpatialTrajectoryEnvelopeV1, segment: &SpatialTrajectorySegmentEnvelopeV1, ) -> Result<SpatialTrajectoryEnvelopeV1, Diagnostic>

Signature links:extendValidatedFixedSpatialContextV1SpatialTrajectoryEnvelopeV1SpatialTrajectorySegmentEnvelopeV1ResultSpatialTrajectoryEnvelopeV1Diagnostic

Publish a new root retaining the complete previous segment prefix.

Errors

Returns EQ0901 for resource/Field drift, duplicate/nonmonotone range, generation overflow, or any attempt to remesh without an explicit future transition contract.

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

Signature links:from_jsonu8TrajectoryDecoderLimitsResultSpatialTrajectoryEnvelopeV1Diagnostic

Decode without resolving prior roots or segments.

Errors

Returns EQ0901 for malformed, oversized, unknown, or noncanonical 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 immutable-root identity.

Errors

Returns EQ0901 if canonical serialization fails.

pub const fn generation(&self) -> u64

Signature links:generationu64

Root generation, starting at zero.

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

Signature links:previous_rootOptionArtifactDigest

Exact previous immutable root, when this is an extension.

pub fn segment_artifacts(&self) -> Vec<ArtifactDigest>

Signature links:segment_artifactsVecArtifactDigest

Ordered complete segment prefix for bounded partial retrieval.

pub fn first_step(&self) -> u64

Signature links:first_stepu64

First accepted step represented by this root.

pub fn last_step(&self) -> u64

Signature links:last_stepu64

Last accepted step represented by this root.

pub fn fields(&self) -> Vec<Id<Field>>

Signature links:fieldsVecIdField

Exact selected Semantic Field inventory.

pub fn model_artifact(&self) -> ArtifactDigest

Signature links:model_artifactArtifactDigest

Exact 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 correspondence artifact.

pub fn mesh_artifact(&self) -> ArtifactDigest

Signature links:mesh_artifactArtifactDigest

Exact mesh revision.

pub fn validate_against( &self, context: &ValidatedFixedSpatialContextV1<'_>, previous: Option<&SpatialTrajectoryEnvelopeV1>, segments: &[SpatialTrajectorySegmentEnvelopeV1], ) -> Result<(), Diagnostic>

Signature links:validate_againstValidatedFixedSpatialContextV1OptionSpatialTrajectoryEnvelopeV1SpatialTrajectorySegmentEnvelopeV1Result()Diagnostic

Validate the complete immutable segment list and optional prior root.

Errors

Returns EQ0901 for a missing/substituted segment, broken prefix, or lineage/range drift.

pub fn validate_segments( &self, context: &ValidatedFixedSpatialContextV1<'_>, segments: &[SpatialTrajectorySegmentEnvelopeV1], ) -> Result<(), Diagnostic>

Signature links:validate_segmentsValidatedFixedSpatialContextV1SpatialTrajectorySegmentEnvelopeV1Result()Diagnostic

Validate the complete ordered segment inventory without requiring the previous root object.

This is the bounded dependency check used by reference-only consumers such as Dataset views. Prefix provenance remains the responsibility of Self::validate_against.

Errors

Returns EQ0901 for a missing, substituted, reordered, or cross-lineage segment.

Trait Implementations

§

impl Clone for SpatialTrajectoryEnvelopeV1

Signature links:CloneSpatialTrajectoryEnvelopeV1

§

fn clone(&self) -> SpatialTrajectoryEnvelopeV1

Signature links:cloneSpatialTrajectoryEnvelopeV1

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 SpatialTrajectoryEnvelopeV1

Signature links:DebugSpatialTrajectoryEnvelopeV1

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.

§

impl PartialEq for SpatialTrajectoryEnvelopeV1

Signature links:PartialEqSpatialTrajectoryEnvelopeV1

§

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

Signature links:eqSpatialTrajectoryEnvelopeV1bool

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 SpatialTrajectoryEnvelopeV1