code wiki / _hdl_build / nx_ui_exec_gate.nx

nx_ui_exec_gate.nx

buildroot/runtime/_hdl_build/nx_ui_exec_gate.nx

5378 B66 linesdepth 7pulls 22 transitivereach 0 importersview sourcekind gate/prooftopic ui
docsdependenciesstructsconstsfunctions

about

nx_ui_exec_gate.nx -- EXECUTION verification (task #35, operator 2026-07-04: "the Nishi team should SEE everything ... i shouldnt have to find bugs"). The static eyes prove a button is WIRED; this proves a button WORKS: the sovereign JS engine now models DOM events (addEventListener + element.click()), so a gate can WIRE a handler, FIRE it like a user tap, and assert the DOM actually CHANGED. This is the rung that turns "wired" into "works" -- the difference that let the dead-buttons bug ship past serving+static checks. Drives js_render_page (parse -> tree -> run scripts -> serialize) on the engine's real path. NEG-CONTROLS prove the mutation is CAUSED by the fired click, not spurious. 0=GREEN / 1=RED.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_js_eval.nx nx_ui_exec_gate.nx

imports: nx_syscalls.nxnx_js_eval.nx

imported by: nobody (leaf or entry point)

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

main r_p sys_write sys_mmap r_clen chk r_p ↻ r_contains r_clen ↻ r_pn r_p ↻ sys_mmap ↻ sys_write ↻

structs

none

consts

none

functions

11func r_p(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 3: r_pnchkmain calls 1: sys_write
12func r_pn(v: i64) -> i64
called by 1: main calls 3: r_psys_mmapsys_write
18func r_clen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 2: r_containsmain
19func r_contains(buf: *u8, blen: i64, needle: *u8) -> i64
called by 1: main calls 1: r_clen
24func chk(cond: i64, name: *u8, pp: *i64, tp: *i64) -> i64
called by 1: main calls 1: r_p
29func main() -> i64