Module proximity

Deterministic metric proximity queries for 3D primitives.

These routines construct floating-point witnesses only. Certified topological classification belongs in axiolid-reference; callers that need an exact contact decision must perform that classification separately.

Structs

ClosestPoints3

Two witnesses, ordered to match the first and second inputs.

Enums

ProximityError

Metric-input failure for primitive proximity queries.

Functions

closest_point_on_triangle

Closest point on a non-degenerate triangle.

closest_points_on_segments

Closest witnesses on two finite segments.

closest_points_on_triangles

Deterministic metric witnesses on two non-degenerate triangles.