code wiki / bounds
topic: bounds
4 modules sharing the bounds name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_bounds_bad_r.nx | OOB constant READ on a fixed array -> must be a COMPILE ERROR (fixed-array index >= size). | 8 | 1 |
| nx_bounds_bad_w.nx | OOB constant WRITE on a fixed array -> must be a COMPILE ERROR (fixed-array index >= size). | 8 | 1 |
| nx_bounds_ok.nx | in-bounds fixed-array access + runtime index must still build+run. Expect BOUNDS_OK. | 14 | 1 |
| nx_bounds_perf.nx | the COST side of the spatial-safety rung. | 40 | 1 |