axiolid-construct
Solid generation from exact inputs: extrusion, revolution, sweeps, lofts,
centre-line profiles, half-space clipping proxies, offsets, fillets and
chamfers on supported families, and focused exact booleans (planar
polyhedra, coaxial column solids). Every Profile variant extrudes to an
exact B-rep, along or against its profile normal, and every one but
the ellipse along a direction leaning off it (arcs sweeping oblique
circular cylinders), and revolution -- a full turn, or a partial turn capped by
the profile at both ends -- covers any profile that lowers to a contour;
a disk swept along a segment or an arc is exact; other sweeps and lofts
produce meshes by default, a disk swept along a chain of segments and
arcs within a proven chord bound. Geometry the kernel cannot
represent exactly is refused, never tessellated in its place. The crate
takes geometry and returns geometry: it owns no operation graph, cache,
execution context or provider dispatch (ADR 0023); axiolid-mesh-compile
does those and calls in here.
- API documentation: docs.rs/axiolid-construct
- Reference page: axiolid.github.io/kernel
- Source and issues: github.com/axiolid/kernel
Design notes
Tests that check a generated mesh is accepted by a mesh Boolean provider
live in crates/execution/compile/tests/, not here. A dev-dependency on a
provider or execution crate would pull this algorithms crate's tests above
its tier; the architecture check only enforces the tier edge for normal
dependencies, so the allowlist in Cargo.toml is what keeps it out.