axiolid_exact_compile_contract/lib.rs
1#![forbid(unsafe_code)]
2//! Explicit graph-to-exact-B-rep compilation contract.
3//!
4//! The sibling `axiolid-mesh-compile-contract` lowers a graph to triangles and
5//! says so. This contract is its exact counterpart: an implementation either
6//! preserves analytic supports and trims, or refuses. There is deliberately no
7//! variant that returns a mesh, so a caller asking for exactness cannot be
8//! silently handed an approximation.
9
10mod contract;
11
12pub use contract::ExactCompiler;
13
14/// Capability advertised by a graph-to-exact-B-rep implementation.
15pub const CAPABILITY_ID: axiolid_contracts::CapabilityId =
16 axiolid_contracts::capability_ids::GRAPH_TO_EXACT_BREP;