Axiolid crate map

Architecture metadata describes ownership, not runtime capability support. Capability claims require a trait implementation plus conformance evidence.

Package	Path	Layer	Role	Domain	Visibility	Allowed internal dependencies
axiolid	crates/facade/axiolid	facade	facade	public	public	axiolid-backend-cpu, axiolid-backend-gpu, axiolid-brep, axiolid-construct, axiolid-contracts, axiolid-core, axiolid-curve, axiolid-dispatch, axiolid-evaluate, axiolid-field, axiolid-field-ops, axiolid-heal, axiolid-linear, axiolid-linear-intersection, axiolid-measure, axiolid-mesh, axiolid-mesh-boolean-boolmesh, axiolid-mesh-boolean-contract, axiolid-mesh-compile-contract, axiolid-mesh-contracts, axiolid-mesh-section-contract, axiolid-model, axiolid-nurbs, axiolid-overlay, axiolid-pointcloud, axiolid-pointcloud-reconstruction-contract, axiolid-pointcloud-reconstruction-sdf, axiolid-predicates, axiolid-primitive, axiolid-profile, axiolid-project, axiolid-ray-mesh, axiolid-reference, axiolid-route, axiolid-spatial, axiolid-surface, axiolid-tessellation-contract, axiolid-topology
axiolid-arrangement	crates/algorithms/planar/arrangement	algorithms	algorithm.planar	planar.arrangement	public	axiolid-core, axiolid-guarantees, axiolid-predicates
axiolid-backend-cpu	crates/execution/cpu	execution	execution.context	cpu	public	—
axiolid-backend-gpu	crates/execution/gpu	execution	execution.context	gpu	public	axiolid-contracts, axiolid-core, axiolid-mesh, axiolid-mesh-compile-contract, axiolid-model
axiolid-benchmark	tools/benchmark	tools	tool.benchmark	workspace	internal	axiolid, axiolid-contracts, axiolid-core, axiolid-curve, axiolid-exact-compile-contract, axiolid-guarantees, axiolid-measure, axiolid-mesh, axiolid-mesh-compile, axiolid-model, axiolid-predicates, axiolid-profile, axiolid-spatial
axiolid-brep	crates/representations/brep	representations	representation.composed	brep	public	axiolid-core, axiolid-curve, axiolid-surface, axiolid-topology
axiolid-brep-audit	crates/algorithms/repair/brep-audit	algorithms	algorithm.repair	repair.brep	public	axiolid-brep, axiolid-contracts, axiolid-core, axiolid-curve, axiolid-evaluate, axiolid-surface, axiolid-topology
axiolid-brep-boolean	crates/algorithms/construction/brep-boolean	algorithms	algorithm.construction	construction.brep-boolean	public	axiolid-brep, axiolid-brep-audit, axiolid-construct, axiolid-core, axiolid-curve, axiolid-evaluate, axiolid-exact, axiolid-measure, axiolid-nurbs, axiolid-overlay, axiolid-primitive, axiolid-profile, axiolid-surface, axiolid-topology
axiolid-capi	crates/facade/axiolid-capi	facade	facade.native-c	integration	public	axiolid
axiolid-collide	crates/algorithms/query/collide	algorithms	algorithm.query	query.collide	public	axiolid-core
axiolid-constraint2d	crates/algorithms/planar/constraint2d	algorithms	algorithm.planar	planar.constraint2d	public	axiolid-core, axiolid-curve, axiolid-linear
axiolid-construct	crates/algorithms/construction/construct	algorithms	algorithm.construction	construction	public	axiolid-brep, axiolid-brep-audit, axiolid-contracts, axiolid-core, axiolid-curve, axiolid-evaluate, axiolid-exact, axiolid-guarantees, axiolid-heal, axiolid-measure, axiolid-mesh, axiolid-mesh-boolean-contract, axiolid-mesh-contracts, axiolid-nurbs, axiolid-overlay, axiolid-predicates, axiolid-primitive, axiolid-profile, axiolid-reference, axiolid-surface, axiolid-tessellation-contract, axiolid-topology
axiolid-contracts	crates/contracts/common/base	contracts	contract.common	common	public	axiolid-core, axiolid-guarantees
axiolid-core	crates/foundation/core	foundation	foundation.values	numeric	public	—
axiolid-curve	crates/representations/analytic/curve	representations	representation.atomic	analytic.curve	public	axiolid-core, axiolid-linear
axiolid-curve-evaluate-contract	crates/contracts/operations/curve-evaluate	contracts	contract.operation	curve.evaluate	public	axiolid-contracts, axiolid-core, axiolid-curve
axiolid-decimate	crates/algorithms/discrete/decimate	algorithms	algorithm.discrete	discrete.decimate	public	axiolid-core, axiolid-heal, axiolid-measure, axiolid-mesh
axiolid-decompose	crates/algorithms/discrete/decompose	algorithms	algorithm.discrete	discrete.decompose	public	axiolid-construct, axiolid-contracts, axiolid-core, axiolid-measure, axiolid-mesh, axiolid-mesh-boolean-boolmesh, axiolid-mesh-boolean-contract, axiolid-reference
axiolid-dispatch	crates/execution/dispatch	execution	execution.dispatch	providers	public	axiolid-backend-cpu, axiolid-contracts, axiolid-core, axiolid-mesh, axiolid-mesh-boolean-contract, axiolid-mesh-contracts, axiolid-mesh-section-contract, axiolid-pointcloud, axiolid-pointcloud-reconstruction-contract, axiolid-pointcloud-reconstruction-sdf
axiolid-evaluate	crates/algorithms/parametric/evaluate	algorithms	algorithm.parametric	evaluate	public	axiolid-contracts, axiolid-core, axiolid-curve, axiolid-curve-evaluate-contract, axiolid-surface
axiolid-exact	crates/algorithms/exact	algorithms	algorithm.reference	reference.exact	public	axiolid-core, axiolid-guarantees
axiolid-exact-compile-contract	crates/contracts/operations/exact-compile	contracts	contract.operation	brep.compile	public	axiolid-brep, axiolid-contracts, axiolid-model
axiolid-field	crates/representations/sampled/field	representations	representation.sampled	sampled.field	public	axiolid-core
axiolid-field-ops	crates/algorithms/sampled/field	algorithms	algorithm.sampled	sampled.field	public	axiolid-core, axiolid-field
axiolid-fixtures	crates/representations/fixtures	representations	representation.fixtures	testing.fixtures	public	axiolid-core, axiolid-mesh
axiolid-guarantees	crates/contracts/guarantees	contracts	contract.guarantees	proof	public	—
axiolid-heal	crates/algorithms/repair/heal	algorithms	algorithm.repair	repair.mesh	public	axiolid-core, axiolid-guarantees, axiolid-measure, axiolid-mesh, axiolid-predicates, axiolid-spatial
axiolid-inspect	crates/algorithms/query/inspect	algorithms	algorithm.query	query.inspect	public	axiolid-core, axiolid-exact, axiolid-guarantees, axiolid-heal, axiolid-mesh, axiolid-predicates, axiolid-spatial
axiolid-levelset	crates/algorithms/sampled/levelset	algorithms	algorithm.sampled	sampled.levelset	public	axiolid-core, axiolid-measure, axiolid-mesh
axiolid-linear	crates/representations/analytic/linear	representations	representation.atomic	analytic.linear	public	axiolid-core
axiolid-linear-intersection	crates/algorithms/query/intersection/linear	algorithms	algorithm.query	query.intersection.linear	public	axiolid-core, axiolid-guarantees, axiolid-linear, axiolid-predicates
axiolid-measure	crates/algorithms/query/measure	algorithms	algorithm.query	query.measure	public	axiolid-brep, axiolid-core, axiolid-curve, axiolid-evaluate, axiolid-mesh, axiolid-overlay, axiolid-surface, axiolid-topology
axiolid-mesh	crates/representations/discrete/mesh	representations	representation.discrete	discrete.mesh	public	axiolid-core
axiolid-mesh-boolean-boolmesh	crates/providers/mesh/boolmesh	providers	provider.mesh	mesh.boolean	public	axiolid-contracts, axiolid-core, axiolid-dispatch, axiolid-fixtures, axiolid-guarantees, axiolid-measure, axiolid-mesh, axiolid-mesh-boolean-contract, axiolid-mesh-contracts, axiolid-predicates, axiolid-reference
axiolid-mesh-boolean-contract	crates/contracts/operations/mesh-boolean	contracts	contract.operation	mesh.boolean	public	axiolid-contracts, axiolid-core, axiolid-mesh, axiolid-mesh-contracts
axiolid-mesh-compile	crates/execution/compile	execution	execution.orchestration	graph.compile	public	axiolid-brep, axiolid-brep-audit, axiolid-brep-boolean, axiolid-construct, axiolid-contracts, axiolid-core, axiolid-curve, axiolid-dispatch, axiolid-exact-compile-contract, axiolid-guarantees, axiolid-measure, axiolid-mesh, axiolid-mesh-boolean-boolmesh, axiolid-mesh-boolean-contract, axiolid-mesh-compile-contract, axiolid-mesh-contracts, axiolid-mesh-section-contract, axiolid-model, axiolid-primitive, axiolid-profile, axiolid-reference, axiolid-surface, axiolid-topology
axiolid-mesh-compile-contract	crates/contracts/operations/compile	contracts	contract.operation	mesh.compile	public	axiolid-contracts, axiolid-mesh, axiolid-model
axiolid-mesh-contracts	crates/contracts/common/mesh	contracts	contract.common.mesh	mesh.admissibility	public	axiolid-contracts, axiolid-core, axiolid-mesh
axiolid-mesh-section-contract	crates/contracts/operations/mesh-section	contracts	contract.operation	mesh.section	public	axiolid-contracts, axiolid-core, axiolid-mesh, axiolid-mesh-contracts
axiolid-minkowski	crates/algorithms/discrete/minkowski	algorithms	algorithm.discrete	discrete.minkowski	public	axiolid-construct, axiolid-contracts, axiolid-core, axiolid-decompose, axiolid-measure, axiolid-mesh, axiolid-mesh-boolean-boolmesh, axiolid-mesh-boolean-contract
axiolid-model	crates/representations/modeling/graph	representations	representation.graph	modeling.graph	public	axiolid-core, axiolid-curve, axiolid-mesh, axiolid-primitive, axiolid-profile, axiolid-surface, axiolid-topology
axiolid-numeric	crates/algorithms/numeric	algorithms	algorithm.numeric	numeric.substrate	public	—
axiolid-nurbs	crates/algorithms/parametric/nurbs	algorithms	algorithm.parametric	parametric.nurbs	public	axiolid-contracts, axiolid-core, axiolid-curve, axiolid-evaluate, axiolid-exact, axiolid-guarantees, axiolid-numeric, axiolid-oracle, axiolid-predicates, axiolid-surface
axiolid-oracle	tools/oracle	tools	tool.oracle	verification.oracle	internal	axiolid-contracts, axiolid-core, axiolid-curve, axiolid-evaluate, axiolid-surface
axiolid-overlay	crates/algorithms/planar/overlay	algorithms	algorithm.planar	planar.overlay	public	axiolid-core, axiolid-exact, axiolid-guarantees
axiolid-pointcloud	crates/representations/discrete/pointcloud	representations	representation.discrete	discrete.pointcloud	public	axiolid-core
axiolid-pointcloud-reconstruction-contract	crates/contracts/operations/pointcloud-reconstruction	contracts	contract.operation	pointcloud.reconstruction	public	axiolid-contracts, axiolid-core, axiolid-mesh, axiolid-pointcloud
axiolid-pointcloud-reconstruction-sdf	crates/providers/pointcloud/sdf	providers	provider.pointcloud	pointcloud.reconstruction	public	axiolid-contracts, axiolid-core, axiolid-levelset, axiolid-mesh, axiolid-pointcloud, axiolid-pointcloud-reconstruction-contract, axiolid-spatial
axiolid-predicates	crates/algorithms/predicates	algorithms	algorithm.reference	reference.predicates	public	axiolid-core, axiolid-exact, axiolid-guarantees
axiolid-primitive	crates/representations/analytic/primitive	representations	representation.atomic	analytic.primitive	public	axiolid-core
axiolid-profile	crates/representations/region/profile	representations	representation.region	region.profile	public	axiolid-core, axiolid-curve
axiolid-project	crates/algorithms/planar/project	algorithms	algorithm.planar	planar.project	public	axiolid-core, axiolid-mesh, axiolid-overlay
axiolid-ray-mesh	crates/algorithms/query/intersection/ray-mesh	algorithms	algorithm.query	query.intersection.ray-mesh	public	axiolid-core, axiolid-guarantees, axiolid-mesh, axiolid-predicates, axiolid-spatial
axiolid-reference	crates/algorithms/reference	algorithms	algorithm.reference	reference	public	axiolid-contracts, axiolid-core, axiolid-curve, axiolid-dispatch, 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
axiolid-refine	crates/algorithms/discrete/refine	algorithms	algorithm.discrete	discrete.refine	public	axiolid-contracts, axiolid-core, axiolid-evaluate, axiolid-heal, axiolid-measure, axiolid-mesh, axiolid-numeric, axiolid-predicates, axiolid-surface
axiolid-route	crates/algorithms/planar/route	algorithms	algorithm.planar	planar.route	public	axiolid-contracts, axiolid-core, axiolid-exact, axiolid-guarantees, axiolid-overlay, axiolid-predicates, axiolid-triangulate
axiolid-spatial	crates/algorithms/query/spatial	algorithms	algorithm.query	query.spatial	public	axiolid-core
axiolid-surface	crates/representations/analytic/surface	representations	representation.atomic	analytic.surface	public	axiolid-core, axiolid-curve
axiolid-tessellation-contract	crates/contracts/operations/tessellate	contracts	contract.operation	tessellate	public	axiolid-contracts, axiolid-core, axiolid-mesh, axiolid-model
axiolid-tetrahedralize	crates/algorithms/discrete/tetrahedralize	algorithms	algorithm.discrete	discrete.tetrahedralize	public	axiolid-core, axiolid-guarantees, axiolid-predicates
axiolid-topology	crates/representations/topology	representations	representation.topology	topology	public	axiolid-core
axiolid-triangulate	crates/algorithms/planar/triangulate	algorithms	algorithm.planar	planar.triangulate	public	axiolid-core, axiolid-guarantees, axiolid-predicates
xtask	tools/xtask	tools	tool.architecture	workspace	internal	—

Temporary domains are explicit migration debt and must disappear when their responsibility split lands.