Module conformance

Conformance suite every PointcloudReconstruction provider must pass.

Why this is library code, not a test file

A test bound to a concrete provider tests that provider, not the contract: a second provider would inherit no obligations at all. This suite is generic over impl PointcloudReconstruction and exported, so an out-of-tree provider runs the identical checks.

What it does and does not prove

It checks contract obligations: refusals are typed, evidence is populated and self-consistent, empty results are explained, and repeated calls agree when the provider claims determinism. It does not check that the reconstructed surface is geometrically faithful — no contract can, because a point set does not determine a unique surface. A provider passing this suite is well-behaved, not necessarily accurate.

Skips are not passes

A provider may legitimately refuse work. Such a case is recorded as Outcome::Skipped with its reason and reported separately, so a provider cannot reach “conformant” by refusing everything: a caller can see exactly what was actually exercised.

Structs

Check

One named check and how it went.

ConformanceReport

Everything the suite found.

Enums

Outcome

Result of one conformance check.

Functions

run

Run every contract obligation against a provider.