Struct CanonicalGeometryV1 

pub struct CanonicalGeometryV1 { /* private fields */ }

Opaque canonical content and identity of one geometry revision.

This value can only be derived from one admitted exact kind or from its kind-specific bounded canonical replay. It has no public kind catalogue and no constructor accepting a caller-provided digest or entity-set facts.

Implementations

§

impl CanonicalGeometryV1

Signature links:CanonicalGeometryV1

pub fn cartesian_region_bounds( &self, region: &NamedEntitySet, ) -> Option<Vec<[f64; 2]>>

Signature links:cartesian_region_boundsNamedEntitySetOptionVecf642

Exact Cartesian bounds of one selected full-dimensional region.

Recognizes canonical boxes and individual axis-aligned rectangular faces, including subdivided straight sides. Curved, nonrectangular, grouped, and foreign selections have no admitted Cartesian product interpretation.

§

impl CanonicalGeometryV1

Signature links:CanonicalGeometryV1

pub fn from_convex_polyhedra( vertices_m: Vec<[f64; 3]>, outward_shells: Vec<Vec<Vec<usize>>>, entity_sets: Vec<NamedEntitySet>, tolerance_m: f64, ) -> Result<CanonicalGeometryV1, Diagnostic>

Signature links:from_convex_polyhedraVecf643VecVecVecusizeVecNamedEntitySetf64ResultCanonicalGeometryV1Diagnostic

Admit finite, closed convex polyhedral volumes with disjoint interiors.

Coordinates and positive classification precision are metres. Each shell contains its parent’s outward-oriented polygon vertex loops. Shell and vertex order and loop rotation are canonicalized; reversed outward orientation is rejected. Facets shared by parents have one exact identity and opposite incidences. Curved, nonconvex, open, degenerate, and overlapping volumes are outside this family. No numerical tessellation is retained.

As with PlanarRegion::new, named members address the resulting canonical enumerations, never input-relative indices: sorted vertices, sorted undirected edge pairs, sorted undirected facet loops, and sorted shells. Facet loops start at their least vertex; the lexicographically smaller direction orders global facets. Shells sort their outward loops. Dimensions 0, 1, 2, and 3 name vertices, edges, facets, and volumes.

Errors

Returns EQ0901 for invalid topology, geometry, precision, membership, or resource excess. Default canonical limits and a fixed 16,777,216 geometric floating predicate and 262,144 exact binary-rational predicate budgets also bound construction. Precision conditions edge lengths and interior clearance; it never excuses nonplanarity, nonconvexity, or overlap.

pub fn polyhedral_vertices(&self) -> Option<&[[f64; 3]]>

Signature links:polyhedral_verticesOptionf643

Canonical exact polyhedral vertices in metres, without mesh vertices.

pub fn polyhedral_volume_facets(&self, volume: usize) -> Option<&[usize]>

Signature links:polyhedral_volume_facetsusizeOptionusize

Canonically ordered exact facets incident to one canonical volume.

pub fn polyhedral_outward_facet( &self, facet: usize, volume: usize, ) -> Option<&[usize]>

Signature links:polyhedral_outward_facetusizeusizeOptionusize

Exact facet vertex loop oriented outward relative to its selected parent. Returns None for a foreign facet/volume incidence or another family.

§

impl CanonicalGeometryV1

Signature links:CanonicalGeometryV1

pub fn replay_canonical( bytes: &[u8], limits: CanonicalGeometryLimits, ) -> Result<CanonicalGeometryV1, Diagnostic>

Signature links:replay_canonicalu8CanonicalGeometryLimitsResultCanonicalGeometryV1Diagnostic

Decode any current canonical Geometry family through its owning decoder.

The explicit child schema selects only among concurrently admitted Geometry families; it does not infer or migrate historical generations.

Errors

Returns EQ0901 for malformed, oversized, unknown, or noncanonical bytes.

pub fn ambient_dimension(&self) -> usize

Signature links:ambient_dimensionusize

Dimension of the physical coordinate embedding.

pub fn topological_dimension(&self) -> usize

Signature links:topological_dimensionusize

Highest topological dimension represented by the geometry.

pub fn entity_set_dimension(&self, name: &str) -> Option<usize>

Signature links:entity_set_dimensionstrOptionusize

Topological dimension of one exact entity-set name.

pub fn cartesian_boundary_embedding( &self, boundary: &NamedEntitySet, parent: &NamedEntitySet, ) -> Option<CartesianBoundaryEmbedding>

Signature links:cartesian_boundary_embeddingNamedEntitySetNamedEntitySetOptionCartesianBoundaryEmbedding

Exact Cartesian embedding of one complete box side and its parent.

Primitive topology or exact authored rectangle coordinates supply the axis and outward side. Grouped, incomplete, curved, nonrectangular, foreign, or stale selections return None.

pub fn constant_parent_outward_normal(&self, name: &str) -> Option<[f64; 2]>

Signature links:constant_parent_outward_normalstrOptionf642

Exact constant parent-outward normal of one supported boundary set.

A classification-free rectangle derives all four axis normals from its canonical boundary topology. The curved families expose a normal only for exact single-edge x-lower and x-upper sets. A circular member, multi-side group, and unsupported geometry return None. Authored planar rectangles derive normals only for complete exact parent-relative sides; callers must not infer a catalogue from entity indices.

pub fn from_region( region: &PlanarRegion, ) -> Result<CanonicalGeometryV1, Diagnostic>

Signature links:from_regionPlanarRegionResultCanonicalGeometryV1Diagnostic

Derive canonical bytes and identity from one validated region.

Errors

Returns EQ0901 if canonical JSON serialization unexpectedly fails.

pub fn decode_canonical( bytes: &[u8], limits: CanonicalGeometryLimits, ) -> Result<CanonicalGeometryV1, Diagnostic>

Signature links:decode_canonicalu8CanonicalGeometryLimitsResultCanonicalGeometryV1Diagnostic

Decode one bounded, byte-for-byte canonical geometry definition.

The input is not retained. It is parsed, resource-checked, revalidated through PlanarRegion::new, reconstructed from that region, and accepted only when the reconstructed bytes equal the input exactly.

Errors

Returns EQ0901 for malformed or unknown wire data, resource excess, invalid geometry, or any noncanonical encoding.

pub fn from_circular_hole( bounds: [[f64; 2]; 2], circle_center: [f64; 2], circle_radius_m: f64, entity_sets: Vec<NamedEntitySet>, ) -> Result<CanonicalGeometryV1, Diagnostic>

Signature links:from_circular_holef6422f642f64VecNamedEntitySetResultCanonicalGeometryV1Diagnostic

Construct one exact axis-aligned rectangle-minus-circle geometry.

The current content identity has strict positive clearance and complete named edge/face membership, with no approximation tolerance or provenance.

Errors

Returns EQ0901 for invalid exact geometry or entity-set meaning.

pub fn from_circular_hole_named_roles( bounds: [[f64; 2]; 2], circle_center: [f64; 2], circle_radius_m: f64, region: &str, x_lower: &str, x_upper: &str, y_lower: &str, y_upper: &str, hole: &str, ) -> Result<CanonicalGeometryV1, Diagnostic>

Signature links:from_circular_hole_named_rolesf6422f642f64strstrstrstrstrstrResultCanonicalGeometryV1Diagnostic

Construct one exact rectangle-minus-circle geometry from semantic roles.

Equal boundary names group their fixed roles into one entity set.

Errors

Returns EQ0901 for invalid exact geometry or role meaning.

pub fn decode_circular_hole_canonical( bytes: &[u8], limits: CanonicalGeometryLimits, ) -> Result<CanonicalGeometryV1, Diagnostic>

Signature links:decode_circular_hole_canonicalu8CanonicalGeometryLimitsResultCanonicalGeometryV1Diagnostic

Decode the accepted circular-hole wire without widening the straight decoder.

Errors

Returns EQ0901 for malformed, unknown, excessive, invalid, or noncanonical circular-hole bytes.

pub const fn region(&self) -> Option<&PlanarRegion>

Signature links:regionOptionPlanarRegion

Validated straight-edged region content, if this kind has one.

An exact curved geometry never fabricates its numerical chordal realization as exact region meaning.

pub const fn planar_rectangle_bounds(&self) -> Option<&[[f64; 2]; 2]>

Signature links:planar_rectangle_boundsOptionf6422

Exact Cartesian bounds for the classification-free rectangle kind.

pub fn cartesian_box_bounds(&self) -> Option<&[[f64; 2]]>

Signature links:cartesian_box_boundsOptionf642

Exact bounds for the classification-free Cartesian box kind.

pub const fn circular_hole_bounds(&self) -> Option<&[[f64; 2]; 2]>

Signature links:circular_hole_boundsOptionf6422

Exact axis-aligned bounds for the admitted circular-hole kind.

pub const fn circular_hole_center(&self) -> Option<[f64; 2]>

Signature links:circular_hole_centerOptionf642

Exact circle centre for the admitted circular-hole kind.

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

Signature links:circular_hole_radius_mOptionf64

Exact circle radius for the admitted circular-hole kind.

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

Signature links:classification_tolerance_mOptionf64

Producer classification precision in metres, when this kind owns one.

Straight-edged planar and convex-polyhedral kinds retain their classification precision. Analytic kinds, including circular holes, carry no classification policy and return None.

pub fn entity_sets(&self) -> &[NamedEntitySet]

Signature links:entity_setsNamedEntitySet

Canonically ordered named exact entity sets.

pub fn entity_set(&self, name: &str) -> Option<&NamedEntitySet>

Signature links:entity_setstrOptionNamedEntitySet

One exact named entity set.

pub fn canonical_bytes(&self) -> &[u8]

Signature links:canonical_bytesu8

Exact compact canonical JSON bytes.

pub const fn digest_bytes(&self) -> [u8; 32]

Signature links:digest_bytesu832

Complete domain-separated SHA-256 identity bytes.

pub fn decode_cartesian_box_v1_canonical( bytes: &[u8], limits: CanonicalGeometryLimits, ) -> Result<CanonicalGeometryV1, Diagnostic>

Signature links:decode_cartesian_box_v1_canonicalu8CanonicalGeometryLimitsResultCanonicalGeometryV1Diagnostic

Decode the exact Cartesian interval/rectangle/box wire.

pub const fn planar_adjacent_rectangle_partition( &self, ) -> Option<(&[[f64; 2]; 2], f64)>

Signature links:planar_adjacent_rectangle_partitionOptionf6422f64

Exact bounds and interface coordinate for the adjacent partition kind.

pub fn decode_planar_adjacent_rectangle_partition_v1_canonical( bytes: &[u8], limits: CanonicalGeometryLimits, ) -> Result<CanonicalGeometryV1, Diagnostic>

Signature links:decode_planar_adjacent_rectangle_partition_v1_canonicalu8CanonicalGeometryLimitsResultCanonicalGeometryV1Diagnostic

Decode the tolerance-free adjacent rectangle partition wire.

pub fn decode_planar_rectangle_v2_canonical( bytes: &[u8], limits: CanonicalGeometryLimits, ) -> Result<CanonicalGeometryV1, Diagnostic>

Signature links:decode_planar_rectangle_v2_canonicalu8CanonicalGeometryLimitsResultCanonicalGeometryV1Diagnostic

Decode the classification-free planar rectangle wire.

Trait Implementations

§

impl Clone for CanonicalGeometryV1

Signature links:CloneCanonicalGeometryV1

§

fn clone(&self) -> CanonicalGeometryV1

Signature links:cloneCanonicalGeometryV1

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 CanonicalGeometryV1

Signature links:DebugCanonicalGeometryV1

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.

§

impl PartialEq for CanonicalGeometryV1

Signature links:PartialEqCanonicalGeometryV1

§

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

Signature links:eqCanonicalGeometryV1bool

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 CanonicalGeometryV1