code wiki / _hdl_build / _galx_ui_gate.nx

_galx_ui_gate.nx

buildroot/runtime/_hdl_build/_galx_ui_gate.nx

5835 B108 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic galx
docsdependenciesstructsconstsfunctions

about

_galx_ui_gate.nx -- NO-FAKE-GREEN gate for the SERVED rich-UI features the daemon already ships but no gate proved yet (so the GALX census honestly marked them ABSENT). READ-ONLY: it GETs / from the ALREADY-RUNNING production daemon (127.0.0.1:18090) and proves each feature is SHIPPED-IN-THE-SERVED-PAGE by finding TWO feature-specific markers; on success it appends that feature's census probe substring to knowledge/status/galx_serve.log so nx_galx_census re_has flips it ABSENT->PRESENT (measured, never asserted). lightbox -> GALXLIGHTBOX (markers: id=lb + lbi) keyboard-nav -> GALXKEYNAV (markers: ArrowLeft + ArrowRight) css-styling -> GALXCSS (markers: <style + .cell) Honest scope: this proves the feature CODE is served (the gallery ships it), NOT browser behaviour -- the same bar as "Hydrus/Eagle HAVE a lightbox" (their app ships it). NO daemon is spawned (only the live one is read), so this cannot destabilize the VM. NO-FAKE-GREEN: a POS control (.cell must be present = real gallery page) + a NEG control (an impossible marker MUST be absent) + per-feature TAMPER (the real marker found AND a corrupted form NOT found). A probe is written ONLY if its two markers both verify. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_connect.nx _galx_ui_gate.nx

imports: nx_syscalls.nxnx_connect.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 u_get u_connect sys_socket nx_connect_bounded nx_fcntl sys_connect sys_mmap ↻ sys_poll u_addr sys_mmap ↻ sys_close sys_write sys_read sys_close ↻ up sys_write ↻ sys_exit u_find u_slen sys_openat_append u_app sys_write ↻ u_slen ↻ sys_close ↻

structs

none

consts

none

functions

18func up(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 1: main calls 1: sys_write
20func u_addr(port: i64) -> *u8
called by 1: u_connect calls 1: sys_mmap
28func u_connect(port: i64) -> i64
called by 1: u_get calls 4: sys_socketnx_connect_boundedu_addrsys_close
35func u_get(port: i64, out: *u8, cap: i64) -> i64
called by 1: main calls 4: u_connectsys_writesys_readsys_close
50func u_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 2: u_findu_app
52func u_find(buf: *u8, n: i64, pat: *u8) -> i64
called by 1: main calls 1: u_slen
63func u_app(fd: i64, s: *u8) -> i64 { sys_write(fd, s, u_slen(s)); return 0 }
called by 1: main calls 2: sys_writeu_slen
65func main() -> i64
calls 8: sys_mmapu_getupsys_exitu_findsys_openat_append+2