code wiki / (root) / nx_gen_ui_gate.nx

nx_gen_ui_gate.nx

buildroot/runtime/nx_gen_ui_gate.nx

7642 B157 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic gen

docs dependencies structs consts functions

about

nx_gen_ui_gate.nx -- the REFEREE for gen G19 (nx_gen_ui_emit): the /gen companion page is EMITTED from data, deterministic, behaviourally complete, fail-closed on a missing key, and THE SERVED FILE IS THE EMITTED FILE. DONE-RULE (gen.plan G19): two emits from the live conf are byte-identical; the page carries every required behaviour marker; a conf missing a key REFUSES by name and writes nothing; the bytes at the daemon's served path equal the emitted bytes (so a hand edit to the served page is a RED, never a silent fork of the design). FIXTURE LAW: scratch under /tmp/<gate>/, cleared at SETUP; the neg-control conf is DERIVED from the live conf at run time (never a checked-in fixture a scanner could find), and a tooth asserts the fixture reached its condition. license_tier: ORIGINAL expect_exit: 0

dependencies 3 imports · 0 importers

imports: nx_syscalls.nxnx_gate_verdict.nxnx_tool_run.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

13	const UG_ELF: u8 = "/volume1/homes/elderwesto/nishihost/nx_gen_ui_emit.elf" as u8
14	const UG_CONF: u8 = "/volume1/homes/elderwesto/nishihost/knowledge/gen_ui.conf" as u8
15	const UG_SERVED: u8 = "/volume1/ai/gen/elara_ui.html" as u8
16	const UG_DIR: u8 = "/tmp/nx_gen_ui_gate" as u8
17	const UG_A: u8 = "/tmp/nx_gen_ui_gate/a.html" as u8
18	const UG_B: u8 = "/tmp/nx_gen_ui_gate/b.html" as u8
19	const UG_BAD_CONF: u8 = "/tmp/nx_gen_ui_gate/bad.conf" as u8
20	const UG_BAD_OUT: u8 = "/tmp/nx_gen_ui_gate/bad.html" as u8
21	const UG_DROP_KEY: u8 = "api_base\|" as u8
22	const UG_MODE_DIR: i64 = 511
23	const UG_MODE_FILE: i64 = 420
24	const UG_CAP: i64 = 262144
25	const UG_MIN_PAGE: i64 = 4096
26	const UG_TIMEOUT_MS: i64 = 10000
27	const UG_EXIT_REFUSED: i64 = 3
28	const UG_CH_NL: i64 = 10

functions

30	func ug_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: ug_find
31	func ug_find(buf: u8, n: i64, needle: u8) -> i64 called by 1: main calls 1: ug_len
45	func ug_starts(buf: u8, at: i64, n: i64, pre: u8) -> i64 called by 1: ug_write_bad_conf
52	func ug_run(conf: u8, outp: u8) -> i64 called by 1: main calls 2: sys_mmap tr_run_capture_to
65	func ug_same(pa: u8, pb: u8) -> i64 called by 1: main calls 2: sys_mmap sys_read_file
80	func ug_write_bad_conf() -> i64 called by 1: main calls 6: sys_mmap sys_read_file sys_openat_wr ug_starts sys_write sys_close
104	func main() -> i64 calls 12: gv_head gv_ctr sys_mkdir sys_unlinkat ug_run sys_mmap+6