code wiki / _hdl_build / nx_voxchunk_gate.nx
nx_voxchunk_gate.nx
buildroot/runtime/_hdl_build/nx_voxchunk_gate.nx
about
nx_voxchunk_gate.nx -- CERTIFICATION of nx_voxchunk (gamebench gap-queue rank 1: voxel-world-chunked).
The craft world is a FIXED volume; the capability's bar is Minecraft-class STREAMING: unbounded land
through a bounded resident set. Each tooth is one way real chunked engines die:
T1 DETERMINISTIC REGEN -- load->evict->reload of virgin land is bit-identical; two worlds same seed agree
T2 EDITS SURVIVE EVICTION -- a dirty chunk is flushed (nx_gamesave) before slot reuse and reloaded
from disk, not regenerated; losing edits on eviction is THE chunk-corruption class
T3 BOUNDED RESIDENCY -- a 200-chunk walk never exceeds `cap` resident chunks; memory is bounded
BY CONSTRUCTION, and evictions actually happened (the bound was exercised, not idle)
T4 SEAM + GEN CONSISTENCY -- world-coordinate access at chunk borders matches the pure height
function on both sides of the seam, resident or not
T5 WHOLE-WALK DETERMINISM -- two worlds, same seed, same 300-op edit/read script with eviction
churn -> identical probes and identical live checksum
T6 SESSION DURABILITY -- flush + whole-arena gs_save -> load into a ZEROED arena -> identical
continued behaviour; knowledge/nx_voxchunk_world.sav is the board evidence
T7 ANTI-VACUITY -- distinct chunks genuinely differ, edits genuinely change blocks, the disk
path was genuinely taken (flushes>0, disk_loads>0)
T8 BOUNDED + LOUD -- out-of-range y / block value refuse with a DISTINCT code and change nothing
license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_voxchunk.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 21 | const K_MAGIC_6364136223: i64 = 6364136223 |
| 22 | const K_MAGIC_1442695041: i64 = 1442695041 |
| 23 | const K_MAGIC_20260730: i64 = 20260730 |
| 24 | const K_MAGIC_4242: i64 = 4242 |
| 25 | const K_MAGIC_31337: i64 = 31337 |
| 26 | const K_MAGIC_60631: i64 = 60631 |
| 27 | const K_MAGIC_1785430000: i64 = 1785430000 |
functions
| 29 | func vlcg(s: *i64) -> i64 { s[0] = ((s[0]*K_MAGIC_6364136223)+K_MAGIC_1442695041) & 0x7FFFFFFFFFFF; return s[0] } called by 1: main |
| 31 | func chunksig(a: *i64, cx: i64, cz: i64) -> i64 |
| 49 | func churn(a: *i64, base: i64, n: i64) -> i64 |
| 55 | func main() -> i64 |