axiolid-reference

Portable scalar reference implementation and certified predicates.

Latest release	0.3.2 (2026-09-28)
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, 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-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.2 (2026-09-28):

Changed

• The crates.io page is this crate's own README.md, with links to its API documentation, its reference page and the source (ADR 0078).

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