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 nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ 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_munmap sys_close cu_audit_links

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
20func main() -> i64