code wiki / (root) / nx_cloud_volume_gate.nx

nx_cloud_volume_gate.nx

buildroot/runtime/nx_cloud_volume_gate.nx

7089 B116 linesdepth 5pulls 9 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_cloud_volume_gate.nx -- PG22: DOES THE CLOUD VOLUME FOLLOW THE WEATHER FIELD, AND DOES THE SHEET STILL STAND? SUBJECT: nx_worldgen.wg_cloud_volume (in-process) driven by nx_weather_pattern's own params (in-process). The rung's done-rule in its own words: a gate proves the volume samples the weather field and the CPU tier keeps a sheet fallback. Every value is emitted with gv_kv so a second method can recompute it from the declared inputs. Fixtures are arithmetic (a sample grid over the deck), so the gate has no filesystem state to leak.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_worldgen.nx nx_weather_pattern.nx nx_cloud_volume_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_worldgen.nxnx_weather_pattern.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ sys_mmap ↻ cg_cover_for sys_mmap ↻ gv_check gv_puts ↻ cg_mean_density gv_check_eq gv_check ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_values_head gv_puts ↻ gv_kv gv_puts ↻ gv_num ↻ gv_verdict gv_note_bare_rate

structs

none

consts

11const CG_SEED: i64 = 20260906
12const CG_GRID: i64 = 8 // samples per axis over the deck (8^3 per mean)
13const CG_SPAN: i64 = 12800 // world units sampled per horizontal axis
14const CG_T0: i64 = 0
15const CG_T1: i64 = 500
16const CG_WIND_Q10: i64 = 512 // half the field's unit wind
17const CG_COLS: i64 = 64
18const CG_SHEET_CLOUD: i64 = 110 // the incumbent OVERCAST cloud param (wg_weather mode 2, W[13])
19const CG_SHEET_RANGE: i64 = 3000
20const CG_SHEET_HALF: i64 = 1500
21const CG_PRIME_A: i64 = 97
22const CG_PRIME_B: i64 = 53

functions

24func cg_mean_density(cover: i64, wdx: i64, wdz: i64, t: i64, seed: i64, cnt: *i64) -> i64
called by 1: main
48func cg_cover_for(kind: i64) -> i64
called by 1: main calls 1: sys_mmap
54func main() -> i64