code wiki / _hdl_build / nx_ac_monitor_census.nx

nx_ac_monitor_census.nx

buildroot/runtime/_hdl_build/nx_ac_monitor_census.nx

14553 B318 linesdepth 4pulls 10 transitivereach 0 importersview sourcekind tooltopic ac
docsdependenciesstructsconstsfunctions

about

nx_ac_monitor_census.nx -- EVIDENCE-BACKED SOTA gap map for the sovereign AC/HVAC monitoring product ("Flume for AC", data-center-grade, hubless, browser-first). The "census" leg of the operator's research/census/critic/ adversary product. DISCIPLINE (per project-nishi-sensor-gap-census + feedback-census-evidence- backed-not-symbol-presence): a capability is credited HAVE only with EVIDENCE. This census goes beyond symbol-presence -- for the organs built in this workstream it EXECUTES a live witness (runs the organ, checks a known output); crediting a capability whose witness fails turns the census RED. Existing-stack capabilities proven by a sibling gate are HAVE-CITED (named gate, not re-run here). Unbuilt capabilities are GAP with their SOTA source. It is ITSELF liar-killed: a negative-control witness (an asserted-false output) MUST fail -- if the witness harness "passes" a false claim, RED. Prints the honest map + coverage permille + a verdict every run. GREEN = the witness harness is trustworthy (all HAVE witnesses pass, neg-control fails, coverage floor held) -- NOT "coverage is complete"; the GAP rows ARE the remaining work. Sovereign nx_cc->nxasm (no gcc). CWD = nxc2 root. expect_exit: 0 license_tier: ORIGINAL genealogy_id: project-hvac-efficiency-sclass-2026-06-23 + project-nishi-sensor-gap-census-2026-07-14 (census discipline)

dependencies 7 imports · 0 importers

syscalls.nx runtime.nx nx_axioms.nx nx_psychrometrics.nx nx_ac_enthalpy_metrics.nx nx_ac_sensor_verify.nx nx_ac_fdd.nx nx_ac_monitor_census.nx

imports: syscalls.nxruntime.nxnx_axioms.nxnx_psychrometrics.nxnx_ac_enthalpy_metrics.nxnx_ac_sensor_verify.nxnx_ac_fdd.nx

imported by: nobody (leaf or entry point)

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

main w_psychro nx_psy_psat_pa nx_psy_psat_node nx_psy_enthalpy_from_rh nx_psy_pw_pa nx_psy_psat_pa ↻ nx_psy_humratio_mg nx_psy_enthalpy_j w_metrics nx_ac_cop_x100 nx_ac_carnot_cop_x100 nx_ac_temp_cK nx_ac_eer_x100 w_drift nx_ac_efficiency_drift_per w_liarkill nx_acv_verify nx_ac_evap_split_mC nx_psy_enthalpy_from_rh ↻ nx_ac_delivered_cooling_w nx_ac_superheat_mC nx_ac_subcool_mC nx_ac_carnot_cop_x100 ↻ nx_ac_cop_x100 ↻ nx_acv_corroborate w_independence nx_acv_verify ↻ w_fdd nx_ac_fdd_analyze w_negctl nx_psy_psat_pa ↻ print strlen row print ↻ print_i64 itoa

structs

none

consts

33const K_MAGIC_25000: i64 = 25000
34const K_MAGIC_3170: i64 = 3170
35const K_MAGIC_20000: i64 = 20000
36const K_MAGIC_2339: i64 = 2339
37const K_MAGIC_55460: i64 = 55460
38const K_MAGIC_10800: i64 = 10800
39const K_MAGIC_3000: i64 = 3000
40const K_MAGIC_24000: i64 = 24000
41const K_MAGIC_35000: i64 = 35000
42const K_MAGIC_2701: i64 = 2701
43const K_MAGIC_1228: i64 = 1228
44const K_MAGIC_12000: i64 = 12000
45const K_MAGIC_1200: i64 = 1200
46const K_MAGIC_1500: i64 = 1500
47const K_MAGIC_27000: i64 = 27000
48const K_MAGIC_8333: i64 = 8333
49const K_MAGIC_2778: i64 = 2778
50const K_MAGIC_5556: i64 = 5556
51const K_MAGIC_13889: i64 = 13889
52const K_MAGIC_17000: i64 = 17000
53const K_MAGIC_5000: i64 = 5000
54const K_MAGIC_11000: i64 = 11000
55const K_MAGIC_15000: i64 = 15000
56const K_MAGIC_6000: i64 = 6000
57const K_MAGIC_2000: i64 = 2000
58const K_MAGIC_9999: i64 = 9999

functions

63func w_psychro() -> i64
71func w_metrics() -> i64
79func w_drift() -> i64
85func w_liarkill() -> i64
called by 1: main calls 1: nx_acv_verify
114func w_independence() -> i64
called by 1: main calls 1: nx_acv_verify
141func w_fdd() -> i64
called by 1: main calls 1: nx_ac_fdd_analyze
180func w_negctl() -> i64
called by 1: main calls 1: nx_psy_psat_pa
186func row(status: *u8, cap: *u8, ev: *u8) -> i64
called by 1: main calls 1: print
196func main() -> i64