code wiki / _hdl_build / nx_js_render_gate.nx

nx_js_render_gate.nx

buildroot/runtime/_hdl_build/nx_js_render_gate.nx

4961 B78 linesdepth 7pulls 22 transitivereach 0 importersview sourcekind gate/prooftopic js
docsdependenciesstructsconstsfunctions

about

nx_js_render_gate.nx -- gate for R-JS-DOMWRITE: the sovereign JS engine now BUILDS rendered content. Drives js_render_page (parse->tree, run inline scripts in tree mode, serialize). Proves DOM-write (getElementById().innerHTML= / .textContent=) actually mutates what renders. 0=GREEN/1=RED.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_js_eval.nx nx_js_render_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 sys_mmap r_clen chk r_p sys_write r_contains r_clen ↻ r_p ↻ r_pn r_p ↻ sys_mmap ↻ sys_write ↻

structs

none

consts

none

functions

7func 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
8func r_pn(v: i64) -> i64
called by 1: main calls 3: r_psys_mmapsys_write
17func 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
18func r_contains(buf: *u8, blen: i64, needle: *u8) -> i64
called by 1: main calls 1: r_clen
30func chk(cond: i64, name: *u8, pp: *i64, tp: *i64) -> i64
called by 1: main calls 1: r_p
36func main() -> i64