Packages

Common backend-neutral execution and diagnostic contracts

Geometry data types and tolerance policy. No algorithms, no backends.

Exact, format-neutral curve values: lines, conics, B-splines, natural-equation and elevated curves.

Portable curve evaluation capability contract: point, tangent and oriented frame at a distance

Edge-collapse mesh decimation with a bounded, reported deviation

Convex decomposition of a solid, exact or approximate and always labelled

Provider registration, ordering, fallback, and execution policy

Analytic and spline curve/surface evaluation, jets, and inversion

Filtered exact arithmetic: interval filter, dyadic big integers, a + b*sqrt(c)

Portable graph-to-exact-B-rep compilation contract

Frame-neutral layered spatial-field values and validated sampling configuration.

Sampling, morphology, clearance, and navigation over Axiolid layered fields.

Shared adversarial and degenerate geometry fixtures with provenance

Certified-value and escalation vocabulary for geometry contracts

Explicit diagnosis and opt-in repair contracts for dirty geometry

Mesh queries: clearance, containment, ray casting, and genus

Level-set extraction: a closed manifold mesh from a sampled scalar field

Format-neutral line, ray, segment, and polyline representations

Portable, deterministic intersections for linear geometry

Metric properties: area, volume, centroid, moments of inertia.

Triangle meshes: the discrete representation every backend consumes.

boolmesh-backed MeshBoolean provider

Portable mesh boolean request, result, evidence, and conformance contract

Scalar reference MeshCompiler: profiles, extrusion, transforms, boolean dispatch.

Portable graph-to-mesh compilation contract

Shared mesh admissibility contracts

Portable mesh plane-section request, result, and evidence contract

Minkowski sum and difference of planar-faced solids

Format-neutral geometry item tree. The currency between a format reader and a kernel.

General polynomial and rational B-spline analysis and transformation algorithms

Deterministic validated planar overlay contract

Portable point-sampled geometry values with optional per-point channels.

Portable pointcloud-to-surface reconstruction contract, evidence, and conformance suite.

Reference pointcloud reconstruction: signed-distance field from samples, extracted as a level set.

Certified exact-arithmetic geometric predicates

Exact parametric primitive solids used as CSG leaves

Exact 2D profile representations for sweeps and sectioned solids

Projection of triangle meshes onto a plane, and prism intersection

Narrow-phase ray/triangle-mesh nearest-hit intersection

Portable scalar reference implementation and certified predicates

Mesh refinement and smoothing with bounded, reported deviation

Exact planar shortest path over a visibility graph

Acceleration structures: BVH and uniform point grid, and their queries; barycentric and mean-value coordinates.

Exact, format-neutral surface values: planes, quadrics, tori, and B-spline patches.

Curves, surfaces and B-reps to triangles under an explicit tolerance.

Typed-handle B-rep topology independent of curve and surface implementations

Constrained Delaunay triangulation with bounded quality refinement

Implements a highly-scalable and ergonomic actor system for Rust based on the best of Erlang / Elixir and Akka.

Agent framework with tools, memory, and execution planning

Core abstractions and traits for Axiom