code wiki / _hdl_build / nx_weather_gate.nx

nx_weather_gate.nx

buildroot/runtime/_hdl_build/nx_weather_gate.nx

7535 B162 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

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

nx_syscalls.nx nx_weather_lib.nx nx_gate_verdict.nx nx_weather_gate.nx

imports: nx_syscalls.nxnx_weather_lib.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

12const XW_EIGHTHS: i64 = 8000 // ~1000 days per season row: binomial envelope ~ +/-3 sigma
13const XW_SEED: i64 = 424242

functions

15func xw_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v }
17func main() -> i64