code wiki / (root) / nx_ac_monitor_test.nx

nx_ac_monitor_test.nx

buildroot/runtime/nx_ac_monitor_test.nx

4621 B123 linesdepth 4pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic ac
docsdependenciesstructsconstsfunctions

about

nx_ac_monitor_test.nx -- gate for the unified product brain. Proves the full pipeline (reading -> trust -> FDD + drift -> alert) and, critically, that the LIAR-KILLER GATES the diagnosis: an impossible or conflicted reading yields alert=UNTRUSTED with NO fault emitted (the monitor cannot raise a false alarm from a lying sensor). expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_ac_monitor.nx nx_ac_monitor_test.nx

imports: nx_syscalls_x86_64.nxnx_ac_monitor.nx

imported by: nobody (leaf or entry point)

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

main nx_alert_is_valid mon_reset_th mon_reset_rd nx_ac_monitor nx_acv_verify nx_ac_evap_split_mC nx_psy_enthalpy_from_rh nx_psy_pw_pa nx_psy_psat_pa nx_psy_psat_node nx_psy_humratio_mg nx_psy_enthalpy_j nx_ac_delivered_cooling_w nx_ac_superheat_mC nx_ac_subcool_mC nx_ac_carnot_cop_x100 nx_ac_temp_cK nx_ac_cop_x100 nx_acv_corroborate nx_ac_fdd_analyze nx_ac_efficiency_drift_per

structs

none

consts

none

functions

15func mon_reset_rd(r: *AcReading) -> i64
called by 1: main
36func mon_reset_th(t: *FddThresh) -> i64
called by 1: main
49func main() -> i64
calls 4: nx_alert_is_validmon_reset_thmon_reset_rdnx_ac_monitor