Crate axiolid_field_ops 

Format-neutral algorithms over axiolid_field values.

This package reports coverage, spans, components, and route existence under caller-supplied geometric envelopes. It does not attach application verdicts to those facts.

Structs

ClearanceReport

Free span found above a reference layer coordinate.

ComponentLabels

Component identifiers for every cell of a mask.

CpuCoverageProvider

The scalar reference provider for triangle coverage.

FieldBounds

Local-frame sampling box with min strictly below max on every axis.

FieldConfig

Validated configuration for one layered field.

FieldEvidence

Structured facts about one sampling run.

FieldResourceBudget

Caller-owned allocation limits. There is no built-in cap: a library must not decide how much memory an application may spend.

LayeredCell

Ordered surface crossings plus sorted, strictly disjoint occupancy spans.

LayeredField

Deterministic row-major field of layered cells.

PlanarMask

A dense row-major boolean mask aligned with a field’s cell grid.

SurfaceHit

A zero-thickness crossing of a sampling line at local coordinate w.

Triangle3

A three-dimensional triangle.

Enums

FieldChannel

Which channel of a cell contributes to a planar mask.

LayeredFieldError

Invalid layered-field input, malformed topology, or exhausted caller budget.

SurfaceFacing

Orientation of a surface crossing relative to the field’s local z axis.

Functions

clearance_above

Distance from w upward (along local +z) to the next surface crossing.

clearance_below

Distance from w downward (against local +z) to the next surface crossing.

largest_free_span

Largest unoccupied span in a cell within an explicit search window.

sample_triangles_cpu

Deterministic scalar triangle coverage over a validated configuration.