code wiki / (root) / nx_water_design_test.nx

nx_water_design_test.nx

buildroot/runtime/nx_water_design_test.nx

4094 B61 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic water
docsdependenciesstructsconstsfunctions

about

nx_water_design_test.nx -- the end-to-end water DESIGN gate for nx_water_design: the full research-to-design chain. Raw atmospheric condensate is flat AND unsafe; treatment makes it potable but still flat; remineralisation makes it delicious, healthful and safe; and the harvester recommender plus the yield model compose in from nx_water_awg. MIGRATED OFF A HAND-ROLLED VERDICT 2026-08-14 -- reasoning in nx_water_quality_test. The exit code was the failed assertion NUMBER, so no outside judge could read the outcome and the first failure masked every later one. Now inherits nx_gate_verdict; migrated per-tooth by hand because the automated D001 candidate collapses N teeth into a single boolean. THIS GATE IS THE ONE THAT EARNS THE DOMAIN'S CLAIM. It does not merely check that the designed water scores well -- it asserts the STAGES ARE DIFFERENT FROM EACH OTHER: raw is refused, treated is safe but not healthful, designed is both. An implementation that returned the same sample at every stage would fail here and pass a suite that only ever looked at the final number. license_tier: ORIGINAL expect_exit: 0

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_water_awg.nx nx_water_quality.nx nx_water_design.nx nx_water_design_test.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_water_awg.nxnx_water_quality.nxnx_water_design.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

23func main() -> i64