nx_validation.nx
buildroot/runtime/nx_validation.nx
about
nx_validation.nx -- GO-TO-MARKET / VERIFICATION & VALIDATION. Turns a
gated DESIGN into a falsifiable TEST PLAN: for each design claim it names
the measurement, pulls the model's PREDICTION straight from the organs,
sets an acceptance rule (a tolerance band, a safety ceiling, or a quality
floor), and decides pass/fail against a real measured value. When every
test passes on a built prototype, the technology is VALIDATED (TRL 3 ->
TRL 4) -- the physical proof the model was right.
Composes nx_water_awg + nx_water_quality + nx_water_design so the test
targets are the ACTUAL predictions (not hand-typed): predicted yield =
wa_daily_yield_ml(...), predicted remineralized TDS = the designed
sample's TDS, etc. INTEGER-EXACT. Safety tests are zero-slack ceilings.
THE exceed: the acceptance test is DERIVED from the model, so building
the prototype either confirms the design or falsifies a specific claim --
a real V&V protocol, not a vague "see if it works".
grounded: verification_and_validation + technology_readiness_level_4
genealogy_id: design_verification_validation + nishi_go_to_market
dependencies 4 imports · 1 importers
imports: nx_syscalls.nxnx_water_awg.nxnx_water_quality.nxnx_water_design.nx
imported by: nx_validation_test.nx
structs
| 44 | struct NxTestCase |
consts
| 28 | const VAL_BAND: i64 = 0 // |actual - predicted| within tolerance percent |
| 29 | const VAL_CEIL: i64 = 1 // actual <= predicted (safety / max limit) |
| 30 | const VAL_FLOOR: i64 = 2 // actual >= predicted (a minimum quality) |
| 34 | const VM_YIELD: i64 = 0 |
| 35 | const VM_ENERGY: i64 = 1 |
| 36 | const VM_COND_TDS: i64 = 2 |
| 37 | const VM_REMIN_TDS: i64 = 3 |
| 38 | const VM_TASTE: i64 = 4 |
| 39 | const VM_BACTERIA: i64 = 5 |
| 40 | const VM_LEAD: i64 = 6 |
functions
| 55 | func val_water_count() -> i64 |
| 59 | func val_water_case(i: i64) -> *NxTestCase |
| 114 | func val_pass(tc: *NxTestCase, actual: i64) -> i64 |
| 133 | func val_run(measured: *i64) -> i64 |
| 145 | func val_critical_pass(measured: *i64) -> i64 |
| 158 | func val_validated(measured: *i64) -> i64 |