Skip to main contentModule 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.
- rle
- 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.
- BuildError
- Builder error for overlays (structure only; region bounds are
checked at merge time).