Module value_mesh

Module value_mesh 

Source
Expand description

§Value mesh invariants (VM-*)

  • VM-1 (completeness): Every rank in region has exactly one value. Iteration and indexing follow the region’s linearization.

Structs§

ValueMesh
A mesh of values, one per rank in region.
ValueOverlay
A sparse overlay of rank ranges and values, used to assemble or patch a [ValueMesh] without materializing per-rank data.

Enums§

BuildError
Builder error for overlays (structure only; region bounds are checked at merge time).