code wiki / (root) / nx_maint_simpage_test.nx

nx_maint_simpage_test.nx

buildroot/runtime/nx_maint_simpage_test.nx

3344 B75 linesdepth 6pulls 17 transitivereach 0 importersview sourcekind gate/prooftopic maint
docsdependenciesstructsconstsfunctions

about

nx_maint_simpage_test.nx -- gate for the in-browser proof page (the capstone). Runs the closed + open simulation, the RUL prognosis, and the business model, renders the single proof page, and asserts: it is fail-closed clean (0 <script>, 0 http), valid HTML, and carries every proof (simulation failures, prognosis, business VIABLE + the dollar value), cross-browser by construction. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_maint_simpage.nx nx_maint_simpage_test.nx

imports: nx_syscalls_x86_64.nxnx_maint_simpage.nx

imported by: nobody (leaf or entry point)

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

main nx_twin_init nx_sim_run nx_hvac_analyze_core nx_hvac_abs nx_maint_severity nx_health_from_thermal nx_health_from_rot nx_health_from_cons nx_health_from_fluid nx_health_from_elec nx_plan_for nx_maint_severity ↻ 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_rul_estimate nx_biz_model nx_simpage_render mr_cat mr_int nx_rul_name nx_biz_name nx_maint_render_is_clean mr_contains

structs

none

consts

none

functions

15func main() -> i64
calls 6: nx_twin_initnx_sim_runnx_rul_estimatenx_biz_modelnx_simpage_rendernx_maint_render_is_clean