code wiki / _hdl_build / nx_ac_monitor_census.nx
nx_ac_monitor_census.nx
buildroot/runtime/_hdl_build/nx_ac_monitor_census.nx
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
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
structs
| none |
consts
| 33 | const K_MAGIC_25000: i64 = 25000 |
| 34 | const K_MAGIC_3170: i64 = 3170 |
| 35 | const K_MAGIC_20000: i64 = 20000 |
| 36 | const K_MAGIC_2339: i64 = 2339 |
| 37 | const K_MAGIC_55460: i64 = 55460 |
| 38 | const K_MAGIC_10800: i64 = 10800 |
| 39 | const K_MAGIC_3000: i64 = 3000 |
| 40 | const K_MAGIC_24000: i64 = 24000 |
| 41 | const K_MAGIC_35000: i64 = 35000 |
| 42 | const K_MAGIC_2701: i64 = 2701 |
| 43 | const K_MAGIC_1228: i64 = 1228 |
| 44 | const K_MAGIC_12000: i64 = 12000 |
| 45 | const K_MAGIC_1200: i64 = 1200 |
| 46 | const K_MAGIC_1500: i64 = 1500 |
| 47 | const K_MAGIC_27000: i64 = 27000 |
| 48 | const K_MAGIC_8333: i64 = 8333 |
| 49 | const K_MAGIC_2778: i64 = 2778 |
| 50 | const K_MAGIC_5556: i64 = 5556 |
| 51 | const K_MAGIC_13889: i64 = 13889 |
| 52 | const K_MAGIC_17000: i64 = 17000 |
| 53 | const K_MAGIC_5000: i64 = 5000 |
| 54 | const K_MAGIC_11000: i64 = 11000 |
| 55 | const K_MAGIC_15000: i64 = 15000 |
| 56 | const K_MAGIC_6000: i64 = 6000 |
| 57 | const K_MAGIC_2000: i64 = 2000 |
| 58 | const K_MAGIC_9999: i64 = 9999 |
functions
| 63 | func w_psychro() -> i64 |
| 71 | func w_metrics() -> i64 |
| 79 | func w_drift() -> i64 |
| 85 | func w_liarkill() -> i64 |
| 114 | func w_independence() -> i64 |
| 141 | func w_fdd() -> i64 |
| 180 | func w_negctl() -> i64 |
| 186 | func row(status: *u8, cap: *u8, ev: *u8) -> i64 |
| 196 | func main() -> i64 |