Skip to content

Minimal compilation closures ​

Generated by cargo xtask architecture closure docs. Do not edit by hand.

Each profile is a compatibility promise verified by cargo xtask architecture closure check, which resolves an isolated downstream fixture and then compiles it. See ADR 0036.

ProfileInternal packagesPurpose
linear-intersection-minimal5A line-query application: linear values plus certified linear intersection.
mesh-rule-checker4A rule checker over discrete meshes: mesh values, spatial acceleration, measurement.
2d-curves3A 2D plan-geometry application: curves, affine transforms, and application-owned unit conversion without solids or CSG.
parametric-curves8A parametric application: curve/surface values plus scalar evaluation, without the reference umbrella.
cad-exact14A CAD application: analytic curves/surfaces, topology, exact B-rep results, and NURBS.
rust-facade-application33Supported facade boundary with portable providers for the v0.4 reference workflows.
c-abi-profile34Versioned native boundary over the supported portable application provider bundle.
core-only1The narrowest supported consumer: core values only -- points, vectors, frames, intervals, tolerances. Proves axiolid-core is independently usable.
spatial-rule-checker2A proximity rule checker over points: spatial indexing and core values, with no discrete geometry at all.
linear-data2Linear data modelling -- alignments, centrelines, polylines -- stored and measured without any query or intersection algorithm.
full35The maximal supported closure: every facade feature at once. The upper bound the narrow profiles are measured against.

linear-intersection-minimal ​

A line-query application: linear values plus certified linear intersection.

Fixture: tests/consumers/linear-intersection-minimal/Cargo.toml

Compiles exactly these internal packages:

  • axiolid-core
  • axiolid-guarantees
  • axiolid-linear
  • axiolid-linear-intersection
  • axiolid-predicates

And must never acquire any of 19 forbidden packages, including axiolid, axiolid-backend-cpu, axiolid-backend-gpu.

mesh-rule-checker ​

A rule checker over discrete meshes: mesh values, spatial acceleration, measurement.

Fixture: tests/consumers/mesh-rule-checker/Cargo.toml

Compiles exactly these internal packages:

  • axiolid-core
  • axiolid-measure
  • axiolid-mesh
  • axiolid-spatial

And must never acquire any of 31 forbidden packages, including axiolid, axiolid-backend-cpu, axiolid-backend-gpu.

2d-curves ​

A 2D plan-geometry application: curves, affine transforms, and application-owned unit conversion without solids or CSG.

Fixture: tests/consumers/2d-curves/Cargo.toml

Compiles exactly these internal packages:

  • axiolid-core
  • axiolid-curve
  • axiolid-linear

And must never acquire any of 36 forbidden packages, including axiolid, axiolid-backend-cpu, axiolid-backend-gpu.

parametric-curves ​

A parametric application: curve/surface values plus scalar evaluation, without the reference umbrella.

Fixture: tests/consumers/parametric-curves/Cargo.toml

Compiles exactly these internal packages:

  • axiolid-contracts
  • axiolid-core
  • axiolid-curve
  • axiolid-curve-evaluate-contract
  • axiolid-evaluate
  • axiolid-guarantees
  • axiolid-linear
  • axiolid-surface

And must never acquire any of 28 forbidden packages, including axiolid, axiolid-backend-cpu, axiolid-backend-gpu.

cad-exact ​

A CAD application: analytic curves/surfaces, topology, exact B-rep results, and NURBS.

Fixture: tests/consumers/cad-exact/Cargo.toml

Compiles exactly these internal packages:

  • axiolid-brep
  • axiolid-contracts
  • axiolid-core
  • axiolid-curve
  • axiolid-curve-evaluate-contract
  • axiolid-evaluate
  • axiolid-exact
  • axiolid-guarantees
  • axiolid-linear
  • axiolid-numeric
  • axiolid-nurbs
  • axiolid-predicates
  • axiolid-surface
  • axiolid-topology

And must never acquire any of 24 forbidden packages, including axiolid, axiolid-backend-cpu, axiolid-backend-gpu.

rust-facade-application ​

Supported facade boundary with portable providers for the v0.4 reference workflows.

Fixture: tests/consumers/rust-facade-application/Cargo.toml

Compiles exactly these internal packages:

  • axiolid
  • axiolid-backend-cpu
  • axiolid-brep
  • axiolid-brep-audit
  • axiolid-construct
  • axiolid-contracts
  • axiolid-core
  • axiolid-curve
  • axiolid-curve-evaluate-contract
  • axiolid-dispatch
  • axiolid-evaluate
  • axiolid-exact
  • axiolid-guarantees
  • axiolid-linear
  • axiolid-measure
  • axiolid-mesh
  • axiolid-mesh-boolean-boolmesh
  • axiolid-mesh-boolean-contract
  • axiolid-mesh-contracts
  • axiolid-mesh-section-contract
  • axiolid-model
  • axiolid-numeric
  • axiolid-nurbs
  • axiolid-overlay
  • axiolid-predicates
  • axiolid-primitive
  • axiolid-profile
  • axiolid-ray-mesh
  • axiolid-reference
  • axiolid-spatial
  • axiolid-surface
  • axiolid-tessellation-contract
  • axiolid-topology

And must never acquire any of 0 forbidden packages, including ``.

c-abi-profile ​

Versioned native boundary over the supported portable application provider bundle.

Fixture: tests/consumers/c-abi-profile/Cargo.toml

Compiles exactly these internal packages:

  • axiolid
  • axiolid-backend-cpu
  • axiolid-brep
  • axiolid-brep-audit
  • axiolid-capi
  • axiolid-construct
  • axiolid-contracts
  • axiolid-core
  • axiolid-curve
  • axiolid-curve-evaluate-contract
  • axiolid-dispatch
  • axiolid-evaluate
  • axiolid-exact
  • axiolid-guarantees
  • axiolid-linear
  • axiolid-measure
  • axiolid-mesh
  • axiolid-mesh-boolean-boolmesh
  • axiolid-mesh-boolean-contract
  • axiolid-mesh-contracts
  • axiolid-mesh-section-contract
  • axiolid-model
  • axiolid-numeric
  • axiolid-nurbs
  • axiolid-overlay
  • axiolid-predicates
  • axiolid-primitive
  • axiolid-profile
  • axiolid-ray-mesh
  • axiolid-reference
  • axiolid-spatial
  • axiolid-surface
  • axiolid-tessellation-contract
  • axiolid-topology

And must never acquire any of 0 forbidden packages, including ``.

core-only ​

The narrowest supported consumer: core values only -- points, vectors, frames, intervals, tolerances. Proves axiolid-core is independently usable.

Fixture: tests/consumers/core-only/Cargo.toml

Compiles exactly these internal packages:

  • axiolid-core

And must never acquire any of 39 forbidden packages, including axiolid, axiolid-backend-cpu, axiolid-backend-gpu.

spatial-rule-checker ​

A proximity rule checker over points: spatial indexing and core values, with no discrete geometry at all.

Fixture: tests/consumers/spatial-rule-checker/Cargo.toml

Compiles exactly these internal packages:

  • axiolid-core
  • axiolid-spatial

And must never acquire any of 38 forbidden packages, including axiolid, axiolid-backend-cpu, axiolid-backend-gpu.

linear-data ​

Linear data modelling -- alignments, centrelines, polylines -- stored and measured without any query or intersection algorithm.

Fixture: tests/consumers/linear-data/Cargo.toml

Compiles exactly these internal packages:

  • axiolid-core
  • axiolid-linear

And must never acquire any of 38 forbidden packages, including axiolid, axiolid-backend-cpu, axiolid-backend-gpu.

full ​

The maximal supported closure: every facade feature at once. The upper bound the narrow profiles are measured against.

Fixture: tests/consumers/full/Cargo.toml

Compiles exactly these internal packages:

  • axiolid
  • axiolid-backend-cpu
  • axiolid-backend-gpu
  • axiolid-brep
  • axiolid-brep-audit
  • axiolid-construct
  • axiolid-contracts
  • axiolid-core
  • axiolid-curve
  • axiolid-curve-evaluate-contract
  • axiolid-dispatch
  • axiolid-evaluate
  • axiolid-exact
  • axiolid-guarantees
  • axiolid-heal
  • axiolid-linear
  • axiolid-measure
  • axiolid-mesh
  • axiolid-mesh-boolean-contract
  • axiolid-mesh-compile-contract
  • axiolid-mesh-contracts
  • axiolid-mesh-section-contract
  • axiolid-model
  • axiolid-numeric
  • axiolid-nurbs
  • axiolid-overlay
  • axiolid-predicates
  • axiolid-primitive
  • axiolid-profile
  • axiolid-ray-mesh
  • axiolid-reference
  • axiolid-spatial
  • axiolid-surface
  • axiolid-tessellation-contract
  • axiolid-topology

And must never acquire any of 7 forbidden packages, including axiolid-capi, axiolid-exact-compile-contract, axiolid-field.

Released under the Mozilla Public License 2.0.