code wiki / (root) / nx_maint_specs_test.nx

nx_maint_specs_test.nx

buildroot/runtime/nx_maint_specs_test.nx

3965 B85 linesdepth 3pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic maint
docsdependenciesstructsconstsfunctions

about

nx_maint_specs_test.nx -- gate for the appliance/HVAC spec catalog. Proves each cataloged asset runs correctly through the SAME thermal kernel from its own spec data -- including the COOL-mode path (fridge/AC) the earlier gates never exercised -- and that real maintenance defects are caught: - fridge runs but won't get cold -> DEGRADED (food safety) - dryer heats slowly (clogged vent) -> DEGRADED (fire hazard) - water heater slow recovery (sediment) -> DEGRADED Unknown class -> load returns 0 (loud, no fabricated spec). expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls_x86_64.nx nx_maint_specs.nx nx_maint_asset.nx nx_maint_specs_test.nx

imports: nx_syscalls_x86_64.nxnx_maint_specs.nxnx_maint_asset.nx

imported by: nobody (leaf or entry point)

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

main nx_maint_spec_load nx_maint_analyze nx_maint_kernel_is_valid nx_hvac_analyze_core nx_hvac_abs

structs

none

consts

none

functions

19func main() -> i64
calls 2: nx_maint_spec_loadnx_maint_analyze