code wiki / _hdl_build / nx_ui_checks.nx

nx_ui_checks.nx

buildroot/runtime/_hdl_build/nx_ui_checks.nx

4666 B75 linesdepth 3pulls 3 transitivereach 3 importersview sourcekind librarytopic ui
docsdependenciesstructsconstsfunctions

about

nx_ui_checks.nx -- SHARED UI-wiring checks, called by BOTH validation eyes so they apply an IDENTICAL definition of "wired + init-safe" to two DIFFERENT data sources (operator 2026-07-04: "redundancy in seeing things -- top-down user/front-end validation AND bottom-up hardware-rung-up validation"): - BOTTOM-UP (nx_ui_wiring_census): runs these on the LOCAL SOURCE we are about to ship. - TOP-DOWN (nx_ui_live_verify): runs these on the LIVE SERVED BYTES the user actually receives. Same checker, two sources -> disagreement = deploy drift (stale/truncated/edge-mangled) caught by construction. No main(): pure library. license_tier: ORIGINAL

dependencies 2 imports · 3 importers

nx_syscalls.nx nx_itoa_lib.nx nx_ui_checks.nx nx_health_eval.nx nx_ui_live_verify.nx nx_ui_wiring_census.nx

imports: nx_syscalls.nxnx_itoa_lib.nx

imported by: nx_health_eval.nxnx_ui_live_verify.nxnx_ui_wiring_census.nx

structs

none

consts

none

functions

11func uc_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
16func uc_n(v: i64) -> i64 { nxi_out(v); return 0 }
called by 1: main calls 1: nxi_out
17func uc_has(hay: *u8, n: i64, needle: *u8) -> i64
25func uc_check_buttons(html: *u8, hn: i64, js: *u8, jn: i64, tally: *i64) -> i64
called by 1: main calls 4: sys_mmapuc_hasuc_wsys_write
65func uc_check_init(js: *u8, jn: i64) -> i64
called by 1: main calls 2: uc_hasuc_w