Struct GeometryMeshCorrespondenceEnvelopeV1 

pub struct GeometryMeshCorrespondenceEnvelopeV1 { /* private fields */ }

Versioned proof that exact geometry entities correspond to exact cell and facet sets in one exact mesh revision.

Implementations

§

impl GeometryMeshCorrespondenceEnvelopeV1

Signature links:GeometryMeshCorrespondenceEnvelopeV1

pub fn from_affine_triangles( geometry: &CanonicalGeometryV1, policy: &AffineTriangleMeshPolicy, ) -> Result<(SimplicialMeshEnvelopeV1, GeometryMeshCorrespondenceEnvelopeV1), Diagnostic>

Signature links:from_affine_trianglesCanonicalGeometryV1AffineTriangleMeshPolicyResultSimplicialMeshEnvelopeV1GeometryMeshCorrespondenceEnvelopeV1Diagnostic

Generate a source-owned affine-triangle Mesh and its exact correspondence.

Geometry selects the supported seed construction; all consumers use this same production path. The policy explicitly supplies initial cell counts.

§

impl GeometryMeshCorrespondenceEnvelopeV1

Signature links:GeometryMeshCorrespondenceEnvelopeV1

pub fn from_polyhedra( geometry: &GeometryDefinitionV1, mesh: &SimplicialMeshEnvelopeV1, ) -> Result<GeometryMeshCorrespondenceEnvelopeV1, Diagnostic>

Signature links:from_polyhedraGeometryDefinitionV1SimplicialMeshEnvelopeV1ResultGeometryMeshCorrespondenceEnvelopeV1Diagnostic

Derive exact outer-polyhedron membership for a conforming tetrahedral Mesh.

Each positive tetrahedron belongs to one exact convex Geometry volume; cell interiors cannot overlap. Every parent-relative frontier realizes exactly one complete source facet and retains its outward incidence. Mesh subdivision vertices never become Geometry entities. Source vertices, edges, facets, and volumes all retain the Geometry owner’s canonical IDs. Classification uses exact binary-rational signs; precision cannot excuse a cell outside Geometry. Work is bounded to 4096 tetrahedra, 16384 vertices, and 262144 exact point/plane/projection predicates.

Errors

Returns EQ0901 for wrong family/dimension, incomplete or ambiguous membership, overlap, wrong incidence, or exhausted resource bounds.

pub fn validate_against_polyhedra( &self, geometry: &GeometryDefinitionV1, mesh: &SimplicialMeshEnvelopeV1, ) -> Result<(), Diagnostic>

Signature links:validate_against_polyhedraGeometryDefinitionV1SimplicialMeshEnvelopeV1Result()Diagnostic

Reconstruct all memberships and incidences from the exact referenced resources.

Errors

Returns EQ0901 for foreign/stale resources or any membership/orientation drift.

pub fn polyhedral_entity_set_entities( &self, geometry: &GeometryDefinitionV1, name: &str, ) -> Result<Vec<MeshEntity>, Diagnostic>

Signature links:polyhedral_entity_set_entitiesGeometryDefinitionV1strResultVecMeshEntityDiagnostic

Mesh entities realizing one exact named polyhedral Geometry selection. Untrusted decoded correspondence must first pass validate_against_polyhedra.

Errors

Returns EQ0901 for wrong family, foreign Geometry, or missing membership.

§

impl GeometryMeshCorrespondenceEnvelopeV1

Signature links:GeometryMeshCorrespondenceEnvelopeV1

pub fn from_cartesian_box_v1( geometry: &CanonicalGeometryV1, cells: &[usize], ) -> Result<(CartesianMeshEnvelopeV1, GeometryMeshCorrespondenceEnvelopeV1), Diagnostic>

Signature links:from_cartesian_box_v1CanonicalGeometryV1usizeResultCartesianMeshEnvelopeV1GeometryMeshCorrespondenceEnvelopeV1Diagnostic

Generate one exact uniform Cartesian Mesh and direct box correspondence.

pub fn validate_against_cartesian_box_v1( &self, geometry: &CanonicalGeometryV1, mesh: &CartesianMeshEnvelopeV1, cells: &[usize], ) -> Result<(), Diagnostic>

Signature links:validate_against_cartesian_box_v1CanonicalGeometryV1CartesianMeshEnvelopeV1usizeResult()Diagnostic

Replay the complete exact Cartesian-box production relation.

pub fn cartesian_box_v1_entity_set_entities( &self, geometry: &CanonicalGeometryV1, name: &str, ) -> Result<Vec<MeshEntity>, Diagnostic>

Signature links:cartesian_box_v1_entity_set_entitiesCanonicalGeometryV1strResultVecMeshEntityDiagnostic

Mesh entities realizing one exact Cartesian-box entity set.

§

impl GeometryMeshCorrespondenceEnvelopeV1

Signature links:GeometryMeshCorrespondenceEnvelopeV1

pub fn adjacent_rectangle_partition_entity_set_entities( &self, geometry: &CanonicalGeometryV1, name: &str, ) -> Result<Vec<MeshEntity>, Diagnostic>

Signature links:adjacent_rectangle_partition_entity_set_entitiesCanonicalGeometryV1strResultVecMeshEntityDiagnostic

Mesh entities realizing one exact named set of the adjacent partition.

pub fn from_region( geometry: &GeometryDefinitionV1, mesh: &SimplicialMeshEnvelopeV1, ) -> Result<GeometryMeshCorrespondenceEnvelopeV1, Diagnostic>

Signature links:from_regionGeometryDefinitionV1SimplicialMeshEnvelopeV1ResultGeometryMeshCorrespondenceEnvelopeV1Diagnostic

Generate the unique complete correspondence for one authored planar region and one conforming affine-triangle mesh.

Mesh labels are not inputs. Face ownership, parent-relative frontier facets, geometry vertices, and every parent-outward direction are discovered from coordinates and incidence, then replay-validated.

Errors

Returns EQ0901 unless the mesh is a conforming triangulation of the exact region, every region entity is realized, and named entity sets are unambiguous.

pub fn validate_against_region( &self, geometry: &GeometryDefinitionV1, mesh: &SimplicialMeshEnvelopeV1, ) -> Result<(), Diagnostic>

Signature links:validate_against_regionGeometryDefinitionV1SimplicialMeshEnvelopeV1Result()Diagnostic

Replay and validate an authored-region correspondence against its exact geometry and mesh resources.

Errors

Returns EQ0901 for stale digests, changed membership, missing or relabelled facets, wrong orientation, or a nonconforming mesh.

pub fn region_entity_set_entities( &self, geometry: &GeometryDefinitionV1, name: &str, ) -> Result<Vec<MeshEntity>, Diagnostic>

Signature links:region_entity_set_entitiesGeometryDefinitionV1strResultVecMeshEntityDiagnostic

Mesh entities that exactly realize one named region entity set.

The result has the set’s dimension and canonical mesh-entity order. Exact resource replay remains the caller’s admission step after decoding untrusted correspondence bytes.

Errors

Returns EQ0901 when this is not an authored-region correspondence, the geometry digest differs, or the set is absent or incomplete.

§

impl GeometryMeshCorrespondenceEnvelopeV1

Signature links:GeometryMeshCorrespondenceEnvelopeV1

pub fn from_planar_circular_hole_v2_mesh_assignments( geometry: &CanonicalGeometryV1, mesh: &SimplicialMeshEnvelopeV1, edge_facets: [Vec<usize>; 5], ) -> Result<GeometryMeshCorrespondenceEnvelopeV1, Diagnostic>

Signature links:from_planar_circular_hole_v2_mesh_assignmentsCanonicalGeometryV1SimplicialMeshEnvelopeV1Vecusize5ResultGeometryMeshCorrespondenceEnvelopeV1Diagnostic

Bind an independently generated planar circular-hole v2 Mesh to its source edges through producer-emitted facet assignments.

The five entries are source edges 0..4 in Geometry order. The assignments must uniquely partition the complete exposed Mesh frontier. Parent incidence and outward orientation are derived from Mesh topology, never from coordinates or a classification tolerance.

pub fn validate_against_planar_circular_hole_v2_mesh_assignments( &self, geometry: &CanonicalGeometryV1, mesh: &SimplicialMeshEnvelopeV1, edge_facets: [Vec<usize>; 5], ) -> Result<(), Diagnostic>

Signature links:validate_against_planar_circular_hole_v2_mesh_assignmentsCanonicalGeometryV1SimplicialMeshEnvelopeV1Vecusize5Result()Diagnostic

Revalidate producer-emitted source assignments against this persisted correspondence and the exact Geometry and Mesh identities.

pub fn planar_circular_hole_v2_entity_set_entities( &self, geometry: &CanonicalGeometryV1, name: &str, ) -> Result<Vec<MeshEntity>, Diagnostic>

Signature links:planar_circular_hole_v2_entity_set_entitiesCanonicalGeometryV1strResultVecMeshEntityDiagnostic

Mesh entities that exactly realize one named planar circular-hole v2 source entity set.

Exact resource replay remains the caller’s admission step after decoding untrusted correspondence bytes.

Errors

Returns EQ0901 when this is not the v2 source variant, the Geometry identity differs, or the named set is absent or incomplete.

pub fn planar_circular_hole_v2_source_edge_entities( &self, geometry: &CanonicalGeometryV1, source_edge: usize, ) -> Result<Vec<MeshEntity>, Diagnostic>

Signature links:planar_circular_hole_v2_source_edge_entitiesCanonicalGeometryV1usizeResultVecMeshEntityDiagnostic

Mesh facets assigned to one exact source-edge index.

§

impl GeometryMeshCorrespondenceEnvelopeV1

Signature links:GeometryMeshCorrespondenceEnvelopeV1

pub fn from_planar_rectangle_v2_cartesian( geometry: &CanonicalGeometryV1, cells: [usize; 2], ) -> Result<(CartesianMeshEnvelopeV1, GeometryMeshCorrespondenceEnvelopeV1), Diagnostic>

Signature links:from_planar_rectangle_v2_cartesianCanonicalGeometryV1usize2ResultCartesianMeshEnvelopeV1GeometryMeshCorrespondenceEnvelopeV1Diagnostic

Generate one exact uniform Cartesian Mesh and its direct source correspondence.

Source edge order is the rectangle-v2 topology order: x-lower, x-upper, y-lower, y-upper. Facet membership is derived from canonical topological multi-indices and exact incidence, never from coordinates.

pub fn validate_against_planar_rectangle_v2_cartesian( &self, geometry: &CanonicalGeometryV1, mesh: &CartesianMeshEnvelopeV1, cells: [usize; 2], ) -> Result<(), Diagnostic>

Signature links:validate_against_planar_rectangle_v2_cartesianCanonicalGeometryV1CartesianMeshEnvelopeV1usize2Result()Diagnostic

Replay the complete rectangle-v2 Cartesian production relation.

pub fn planar_rectangle_v2_entity_set_entities( &self, geometry: &CanonicalGeometryV1, name: &str, ) -> Result<Vec<MeshEntity>, Diagnostic>

Signature links:planar_rectangle_v2_entity_set_entitiesCanonicalGeometryV1strResultVecMeshEntityDiagnostic

Mesh entities realizing one exact rectangle-v2 entity set.

§

impl GeometryMeshCorrespondenceEnvelopeV1

Signature links:GeometryMeshCorrespondenceEnvelopeV1

pub fn new( geometry: &GeometryIdentityEnvelopeV1, model: &impl ReplayableCanonicalModelArtifact, mesh: &SimplicialMeshEnvelopeV1, ) -> Result<GeometryMeshCorrespondenceEnvelopeV1, Diagnostic>

Signature links:newGeometryIdentityEnvelopeV1ReplayableCanonicalModelArtifactSimplicialMeshEnvelopeV1ResultGeometryMeshCorrespondenceEnvelopeV1Diagnostic

Derive the complete correspondence for a Cartesian geometry revision.

Cell ownership and relative body frontiers are discovered from the exact coordinates and incidence of mesh; callers do not supply tags, membership arrays, or normal signs.

Errors

Returns EQ0901 unless every top-dimensional cell belongs to exactly one body, each body’s relative frontier is the exact union of its complete semantic boundaries, and every referenced artifact matches.

pub fn new_cartesian( geometry: &GeometryIdentityEnvelopeV1, model: &impl ReplayableCanonicalModelArtifact, mesh: &CartesianMeshEnvelopeV1, ) -> Result<GeometryMeshCorrespondenceEnvelopeV1, Diagnostic>

Signature links:new_cartesianGeometryIdentityEnvelopeV1ReplayableCanonicalModelArtifactCartesianMeshEnvelopeV1ResultGeometryMeshCorrespondenceEnvelopeV1Diagnostic

Derive the complete correspondence for a Cartesian geometry revision realized by one exact Cartesian mesh artifact.

Errors

Returns EQ0901 under the same closed-world membership and lineage requirements as Self::new.

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

Signature links:from_jsonu8GeometryDecoderLimitsResultGeometryMeshCorrespondenceEnvelopeV1Diagnostic

Decode bounded wire data. Exact referenced resources remain untrusted until the matching source-specific replay validator succeeds.

Errors

Returns EQ0901 for malformed, oversized, or noncanonical data.

pub fn validate_against( &self, geometry: &GeometryIdentityEnvelopeV1, model: &impl ReplayableCanonicalModelArtifact, mesh: &SimplicialMeshEnvelopeV1, ) -> Result<(), Diagnostic>

Signature links:validate_againstGeometryIdentityEnvelopeV1ReplayableCanonicalModelArtifactSimplicialMeshEnvelopeV1Result()Diagnostic

Recompute the complete correspondence from exact resources.

Errors

Returns EQ0901 for stale digests, changed identities, membership drift, or any now-invalid geometry/mesh relation.

pub fn validate_against_cartesian( &self, geometry: &GeometryIdentityEnvelopeV1, model: &impl ReplayableCanonicalModelArtifact, mesh: &CartesianMeshEnvelopeV1, ) -> Result<(), Diagnostic>

Signature links:validate_against_cartesianGeometryIdentityEnvelopeV1ReplayableCanonicalModelArtifactCartesianMeshEnvelopeV1Result()Diagnostic

Recompute this correspondence from exact Cartesian resources.

Errors

Returns EQ0901 for stale digests, changed identities, membership drift, or an invalid Cartesian geometry/mesh relation.

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 exact correspondence proof.

Errors

Returns EQ0901 if canonical serialization fails.

pub fn geometry_artifact(&self) -> ArtifactDigest

Signature links:geometry_artifactArtifactDigest

Exact referenced geometry revision.

pub fn mesh_artifact(&self) -> ArtifactDigest

Signature links:mesh_artifactArtifactDigest

Exact referenced mesh revision.

pub fn body_cells(&self, body: Id<Domain>) -> Option<Vec<usize>>

Signature links:body_cellsIdDomainOptionVecusize

Mesh cell indices owned by one exact semantic body.

pub fn body_cell_indices( &self, body: Id<Domain>, ) -> Option<impl ExactSizeIterator + Clone>

Signature links:body_cell_indicesIdDomainOptionExactSizeIteratorClone

Borrow the canonical cell-index sequence for one semantic body.

This allocation-free view supports checked work preflight before a consumer chooses to own the indices.

pub fn boundary_facets(&self, boundary: Id<Domain>) -> Option<Vec<usize>>

Signature links:boundary_facetsIdDomainOptionVecusize

Mesh facet indices realizing one exact semantic boundary.

pub fn derive_conserving_interface( &self, geometry: &GeometryIdentityEnvelopeV1, model: &impl ReplayableCanonicalModelArtifact, mesh: &SimplicialMeshEnvelopeV1, connection: Id<Connection>, ) -> Result<ConservingGeometryInterfaceV1, Diagnostic>

Signature links:derive_conserving_interfaceGeometryIdentityEnvelopeV1ReplayableCanonicalModelArtifactSimplicialMeshEnvelopeV1IdConnectionResultConservingGeometryInterfaceV1Diagnostic

Derive the exact binary shared-facet witness for one conserving Connection.

Errors

Returns EQ0901 unless the Connection joins exactly two compatible field-boundary Ports on distinct, coincident, opposite sides whose complete facet sets are identical and two-sided by parent incidence.

Trait Implementations

§

impl Clone for GeometryMeshCorrespondenceEnvelopeV1

Signature links:CloneGeometryMeshCorrespondenceEnvelopeV1

§

fn clone(&self) -> GeometryMeshCorrespondenceEnvelopeV1

Signature links:cloneGeometryMeshCorrespondenceEnvelopeV1

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 GeometryMeshCorrespondenceEnvelopeV1

Signature links:DebugGeometryMeshCorrespondenceEnvelopeV1

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.

§

impl PartialEq for GeometryMeshCorrespondenceEnvelopeV1

Signature links:PartialEqGeometryMeshCorrespondenceEnvelopeV1

§

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

Signature links:eqGeometryMeshCorrespondenceEnvelopeV1bool

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 GeometryMeshCorrespondenceEnvelopeV1