nx_psychrometrics_test.nx
buildroot/runtime/nx_psychrometrics_test.nx
about
nx_psychrometrics_test.nx -- KAT gate for the no-float psychrometric floor.
EXTERNAL-COMP (sensor-gap census axis-4): the saturation-pressure nodes are
checked against NIST/ASME steam-table / ASHRAE reference values, and the
derived humidity ratio + enthalpy against ASHRAE Fundamentals reference
states -- an OUTSIDE oracle, not self-grading.
Coverage:
K1 LUT nodes == NIST reference Psat (0/20/25/30 degC)
K2 interpolated Psat within band of an independent NIST point (22 degC)
K3 Pw = RH*Psat exact
K4 humidity ratio W at 25C/60%RH and 20C/50%RH (ASHRAE reference states)
K5 moist-air enthalpy h at the same two states (ASHRAE ~55.5 / ~38.5 kJ/kg)
INV monotonicity invariants: Psat up in T, W up in RH, h up in T and in W
RT dewpoint round-trip: Psat(Td(Pw)) ~= Pw (inverse-consistency liar-kill)
LK1 infeasible input is LOUD: Pw>=P -> INFEASIBLE, never a fabricated W
LK2 wrong-formula liar-kill: the latent term provably contributes to h
expect_exit: 0
license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_psychrometrics.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 24 | func nx_psy_abs(x: i64) -> i64 called by 1: main |
| 29 | func main() -> i64 |