code wiki / (root) / nx_maint_asset_test.nx

nx_maint_asset_test.nx

buildroot/runtime/nx_maint_asset_test.nx

4895 B112 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic maint
docsdependenciesstructsconstsfunctions

about

nx_maint_asset_test.nx -- gate for the maintenance spine. Proves the PLATFORM THESIS measurably: one verdict engine + per-asset spec DATA judges different assets correctly, and the SAME temperature trace gets DIFFERENT correct verdicts under different specs (so the envelope is data, not code). Also proves honest NOT_IMPLEMENTED for declared-but-unbuilt kernels (never a fabricated verdict). Coverage: - sealed-enum validity (class + kernel) - A HVAC efficient recovery under the HVAC spec - B KILLER: a water-heater recovery trace (120 mC/min) -> EFFICIENT under the WATER_HEATER spec (normal for a slow tank) but DEGRADED under the HVAC spec (too slow for forced air). Same bytes, two correct answers. - C sediment-fouled water heater (60 mC/min) -> DEGRADED under its OWN spec - D rotating-machine kernel (declared, unbuilt) -> NOT_IMPLEMENTED (honest) - E invalid kernel -> BAD_SPEC expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_maint_asset.nx nx_maint_asset_test.nx

imports: nx_syscalls_x86_64.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_kernel_is_valid nx_maint_class_is_valid nx_maint_analyze nx_maint_kernel_is_valid ↻ nx_hvac_analyze_core nx_hvac_abs

structs

none

consts

none

functions

26func main() -> i64