code wiki / (root) / nx_maint_action_test.nx

nx_maint_action_test.nx

buildroot/runtime/nx_maint_action_test.nx

4028 B87 linesdepth 4pulls 12 transitivereach 0 importersview sourcekind gate/prooftopic maint
docsdependenciesstructsconstsfunctions

about

nx_maint_action_test.nx -- gate for R5 (diagnosis -> action). Proves the SAFETY override (any SAFETY verdict -> SHUTDOWN_SAFETY + pro), the per-kernel cause+action mappings, the DIY-vs-pro split, and the PREDICTIVE ESCALATION (a WORSENING trend turns monitor -> fix-now and bumps urgency). expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_maint_action.nx nx_maint_action_test.nx

imports: nx_syscalls_x86_64.nxnx_maint_action.nx

imported by: nobody (leaf or entry point)

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

main nx_action_is_valid nx_plan_for nx_maint_severity nx_health_from_thermal nx_health_from_rot nx_health_from_cons nx_health_from_fluid nx_health_from_elec nx_action_for nx_act_thermal nx_act_rot nx_act_cons nx_act_fluid nx_act_elec nx_cause_for nx_cause_thermal nx_cause_rot nx_cause_cons nx_cause_fluid nx_cause_elec nx_action_is_diy nx_action_is_diy ↻

structs

none

consts

none

functions

14func main() -> i64
calls 3: nx_action_is_validnx_plan_fornx_action_is_diy