code wiki / (root) / nx_psychrometrics_test.nx

nx_psychrometrics_test.nx

buildroot/runtime/nx_psychrometrics_test.nx

5228 B107 linesdepth 1pulls 1 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

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

nx_psychrometrics.nx nx_psychrometrics_test.nx

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

main nx_psy_psat_node nx_psy_psat_pa nx_psy_psat_node ↻ nx_psy_abs nx_psy_pw_pa nx_psy_psat_pa ↻ nx_psy_humratio_mg nx_psy_enthalpy_from_rh nx_psy_pw_pa ↻ nx_psy_humratio_mg ↻ nx_psy_enthalpy_j nx_psy_dewpoint_mC nx_psy_psat_node ↻ nx_psy_enthalpy_j ↻

structs

none

consts

none

functions

24func nx_psy_abs(x: i64) -> i64
called by 1: main
29func main() -> i64