code wiki / (root) / nx_maint_unify_test.nx

nx_maint_unify_test.nx

buildroot/runtime/nx_maint_unify_test.nx

3765 B75 linesdepth 3pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic maint
docsdependenciesstructsconstsfunctions

about

nx_maint_unify_test.nx -- gate for R3 unify (one health language). Proves each kernel's verdicts map to the common severity scale, the UNIFORM SAFETY guarantee (overheat / ground-fault / overload / burst all -> SAFETY regardless of kernel), a dispatch liar-kill (verdict 3 -> SAFETY for electrical [OVERLOAD] but DEGRADED for thermal [DEGRADED_CAPACITY]), and the unified MaintResult row. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_maint_unify.nx nx_maint_unify_test.nx

imports: nx_syscalls_x86_64.nxnx_maint_unify.nx

imported by: nobody (leaf or entry point)

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

main nx_health_is_valid nx_health_from_thermal nx_health_from_rot nx_health_from_cons nx_health_from_fluid nx_health_from_elec nx_maint_severity nx_health_from_thermal ↻ nx_health_from_rot ↻ nx_health_from_cons ↻ nx_health_from_fluid ↻ nx_health_from_elec ↻ nx_maint_result_fill nx_maint_severity ↻

structs

none

consts

none

functions

16func main() -> i64
calls 8: nx_health_is_validnx_health_from_thermalnx_health_from_rotnx_health_from_consnx_health_from_fluidnx_health_from_elec+2