axiolid-reference

Portable scalar reference implementation and certified predicates.

Latest release	0.3.18 (2026-11-14)
crates.io	axiolid-reference
Facade	axiolid feature portable-provider
Layer	algorithms (algorithm.reference)
API documentation	rustdoc · docs.rs
Source	crates/algorithms/reference/

Overview

The portable scalar reference implementation that every optimized backend is differentially tested against (ADR 0012): a solid boolean oracle, an exact-sign mesh plane-section oracle (in-plane faces merged on an exact arrangement, ADR 0093), triangle/triangle and segment/triangle relations, clash detection, convex hulls, polygon triangulation and tessellation. It favours readability over speed: no intrinsics, threading, feature gates or unsafe. It is also a convenience umbrella that re-exports axiolid-predicates and axiolid-evaluate unchanged (ADR 0036); a consumer that needs only certified signs or curve evaluation should depend on those directly.

Depends on

• axiolid-contracts
• axiolid-core
• axiolid-curve
• axiolid-evaluate
• axiolid-exact
• axiolid-exact-arrangement
• axiolid-guarantees
• axiolid-measure
• axiolid-mesh
• axiolid-mesh-boolean-contract
• axiolid-mesh-contracts
• axiolid-mesh-section-contract
• axiolid-predicates
• axiolid-primitive
• axiolid-spatial
• axiolid-surface

Changes

Latest release, 0.3.18 (2026-11-14):

Added

• bound::ChainPositionTable and bound::SeamSide are re-exported from axiolid-evaluate (#438): certified points, tangents and curvature vectors of an arc-length chain. bound::ElevatedPositionTable takes a chain plan and reads its tangent and second derivative (jet3_on, jet_errors).

Full history: crates/algorithms/reference/CHANGELOG.md