Crate axiolid_pointcloud_reconstruction_contract 

Portable pointcloud-to-surface reconstruction contract, evidence, and conformance suite.

Why a contract before an implementation

Reconstruction has no single right answer: Poisson, ball pivoting, and alpha shapes all produce different surfaces from identical input, and each is correct for different data. Fixing the seam — request, result, evidence, typed refusal — before any provider lands is what lets those methods be swapped without every consumer rewriting itself.

The honesty requirement

A reconstruction is an estimate. The contract therefore refuses to let a provider present a guess as a measurement:

• An absent surface is a typed ReconstructionRefusal, never an empty mesh a caller might read as “the object is not there”.
• Surface invented across gaps in the capture is counted in ReconstructionEvidence::interpolated_triangles.
• The sample spacing the data actually resolves is reported, so a caller can tell measured detail from interpolated detail.
• require_closed is honoured or refused, never satisfied by fabricating unmeasured surface.

Modules

conformance

Conformance suite every PointcloudReconstruction provider must pass.

Structs

BackendDescriptor

Provider identity only. It deliberately contains no operation booleans.

BackendId

Stable provider identifier for logs and explicit selection.

ExecutionOptions

Operation policy with explicit tolerance, precision, and cancellation.

ReconstructionEvidence

Counters describing one reconstruction.

ReconstructionOutcome

A reconstruction and the evidence that produced it.

ReconstructionRequest

What the caller wants reconstructed.

Enums

CancellationGranularity

How finely a provider polls its cancellation token.

Determinism

Reproducibility requirement.

ExecutionTarget

Broad execution target. Specific ISA/device features stay in provider crates.

GeomError

Why a backend-neutral geometry operation failed.

Operation

Operation name used for diagnostics only. Implementing an operation trait is the capability proof; this enum never drives capability discovery.

Reconstruction

Either a reconstruction or a typed reason there is none.

ReconstructionRefusal

Why a reconstruction could not be performed.

Resolution

How densely the surface should be reconstructed.

ScratchRequirement

Scratch memory an operation needs beyond its inputs and outputs.

Constants

CAPABILITY_ID

Capability this contract describes.

Traits

Backend

Runtime geometry backend metadata.

PointcloudReconstruction

Pointcloud-to-surface reconstruction provider.

Type Aliases

GeomResult

Result alias for geometry operations.