code wiki / _hdl_build / nx_weather_gate.nx
nx_weather_gate.nx
buildroot/runtime/_hdl_build/nx_weather_gate.nx
about
nx_weather_gate.nx -- GATE for nx_weather_lib (2026-08-26). The accept rule, PRE-DECLARED:
the continuous weather system may ship only if (1) it PRESERVES the banked seasonal rain rates
(P_RAINS rows) within the binomial envelope -- adopting it cannot silently change any world's
climate; (2) it exhibits the PERSISTENCE the old coin structurally lacked, measured, not
asserted; (3) every field is replay-deterministic; (4) precipitation typing obeys the freezing
bound; (5) wind spikes on pressure fronts. Neg-controls prove the teeth can fail.
license_tier: ORIGINAL No hw writes (Rule 26).
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_weather_lib.nxnx_gate_verdict.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| 12 | const XW_EIGHTHS: i64 = 8000 // ~1000 days per season row: binomial envelope ~ +/-3 sigma |
| 13 | const XW_SEED: i64 = 424242 |
functions
| 15 | func xw_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v } |
| 17 | func main() -> i64 |