code wiki / (root) / nx_water_quality_test.nx

nx_water_quality_test.nx

buildroot/runtime/nx_water_quality_test.nx

2343 B60 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic water
docsdependenciesstructsconstsfunctions

about

nx_water_quality_test.nx -- smoke for nx_water_quality. Proves TDS taste bands + composite taste score, health mineral thresholds, and the never- poison safety gate (lead/arsenic/nitrate/PFAS/bacteria/THM). Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_water_quality.nx nx_water_quality_test.nx

imports: nx_syscalls.nxnx_water_quality.nx

imported by: nobody (leaf or entry point)

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

main wq_tds_taste_class nx_water_sample_new sys_mmap wq_taste_score wq_tds_points wq_ca_points wq_mg_points wq_ph_points wq_is_healthful wq_is_potable wq_safety_admit wq_is_potable ↻ wq_safety_admit ↻

structs

none

consts

none

functions

9func main() -> i64
calls 6: wq_tds_taste_classnx_water_sample_newwq_taste_scorewq_is_healthfulwq_is_potablewq_safety_admit