nx_maint_asset_test.nx
buildroot/runtime/nx_maint_asset_test.nx
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
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
structs
| none |
consts
| none |
functions
| 26 | func main() -> i64 |