code wiki / _hdl_build / nx_ui_checks.nx
nx_ui_checks.nx
buildroot/runtime/_hdl_build/nx_ui_checks.nx
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
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
| 11 | func 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 } |
| 16 | func uc_n(v: i64) -> i64 { nxi_out(v); return 0 } |
| 17 | func uc_has(hay: *u8, n: i64, needle: *u8) -> i64 |
| 25 | func uc_check_buttons(html: *u8, hn: i64, js: *u8, jn: i64, tally: *i64) -> i64 |
| 65 | func uc_check_init(js: *u8, jn: i64) -> i64 |