code wiki / _hdl_build / nx_clean_url_gate.nx

nx_clean_url_gate.nx

buildroot/runtime/_hdl_build/nx_clean_url_gate.nx

3369 B60 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic clean
docsdependenciesstructsconstsfunctions

about

nx_clean_url_gate.nx -- gate for the clean-URL layer: the general extensionless resolve rule + traversal safety + a clean-link audit run on the REAL andelin_branded.html. 100% sovereign. expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_sitegate_emit_lib.nx nx_clean_url.nx nx_clean_url_gate.nx

imports: nx_syscalls.nxnx_sitegate_emit_lib.nxnx_clean_url.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 gw sys_write t_row gw ↻ chk sys_mmap ↻ cu_resolve cu_has_traversal cu_app cu_seg_has_dot g_len gw ↻ g_streq cu_resolve ↻ g_len ↻ inbandc sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close cu_audit_links cu_match_at cu_find_sub cu_match_at ↻ gn sys_mmap ↻ sys_write ↻ cu_link_is_clean cu_find_sub ↻

structs

none

consts

none

functions

8func g_len(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 2: chkmain
9func g_streq(a: *u8, b: *u8) -> i64 { var i: i64=0; while a[i]!=(0 as u8){ if a[i]!=b[i] { return 0 } i=i+1 } if b[i]!=(0 as u8){ return 0 } return 1 }
called by 1: chk
10func inbandc(v: i64, lo: i64, hi: i64) -> i64 { if v < lo { return 0 } if v > hi { return 0 } return 1 }
called by 1: main
12func chk(req: *u8, want: *u8) -> i64
called by 1: main calls 5: sys_mmapcu_resolveg_lengwg_streq
20func main() -> i64
calls 11: sys_mmapgwt_rowchkcu_resolveg_len+5