code wiki / _hdl_build / nx_cms_forms_gate.nx

nx_cms_forms_gate.nx

buildroot/runtime/_hdl_build/nx_cms_forms_gate.nx

13698 B275 linesdepth 5pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic cms
docsdependenciesstructsconstsfunctions

about

nx_cms_forms_gate.nx -- CMS W3 GATE (re-runnable, evidence-driven): FORMS + anti-spam (the Contact Form 7 / Akismet class). Proves: a public POST /form/<name> is stored in the ADDITIVE submissions log (never lost); a honeypot-filled submission is silently DISCARDED (bot defense); a per-IP rate cap (config DATA in form.conf) returns 429 and does NOT store; the submissions list is session-only. Appends "CMSGATE row=nx_cms_forms ... verdict=PASS|FAIL". Exit 0 iff all rows pass. license_tier: ORIGINAL

dependencies 5 imports · 0 importers

nx_cms_store.nx nx_connect.nx nx_sha256.nx nx_syscalls.nx nx_kill_portable.nx nx_cms_forms_gate.nx

imports: nx_cms_store.nxnx_connect.nxnx_sha256.nxnx_syscalls.nxnx_kill_portable.nx

imported by: nobody (leaf or entry point)

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

main fg_mkdir sys_mmap cst_copy sys_openat_rd sys_openat_wr sys_close sys_mmap ↻ sys_read sys_write sys_renameat fg_writefile sys_openat_wr ↻ sys_write ↻ sys_close ↻ fg_len sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word blk_byte sha256_final blk_set_byte ↻ sha256_compress ↻ sys_fork sys_openat_wr ↻ sys_dup3 sys_execve sys_exit sys_wait4 sys_openat_rd ↻ fg_w

structs

none

consts

13const FG_PORT: i64 = 8090
14const FG_SITE: *u8 = "/tmp/_cms_forms_site"

functions

16func fg_w(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 2: fg_rowmain calls 1: sys_write
17func fg_len(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 3: fg_indexfg_postmain
18func fg_cat(dst: *u8, off: i64, s: *u8) -> i64 { var o: i64=off; var k: i64=0; while s[k]!=(0 as u8){dst[o]=s[k];o=o+1;k=k+1} return o }
called by 2: fg_postfg_get
19func fg_catn(dst: *u8, off: i64, s: *u8, n: i64) -> i64 { var o: i64=off; var k: i64=0; while k<n{dst[o]=s[k];o=o+1;k=k+1} return o }
called by 2: fg_postfg_get
20func fg_index(hay: *u8, n: i64, needle: *u8) -> i64
called by 2: fg_hasfg_login calls 1: fg_len
32func fg_has(hay: *u8, n: i64, needle: *u8) -> i64 { if fg_index(hay, n, needle) >= 0 { return 1 } return 0 }
called by 2: fg_loginmain calls 1: fg_index
34func fg_http(req: *u8, rl: i64, resp: *u8, cap: i64) -> i64
called by 2: fg_loginmain calls 7: sys_socketsys_mmapnx_connect_boundedsys_closesys_writesys_set_socket_timeout+1
55func fg_post(req: *u8, path: *u8, cookie: *u8, body: *u8) -> i64
called by 2: fg_loginmain calls 4: fg_catfg_catnfg_lensys_mmap
73func fg_get(req: *u8, path: *u8, cookie: *u8) -> i64
called by 1: main calls 2: fg_catfg_catn
81func fg_row(id: i64, ok: i64, what: *u8) -> i64
called by 1: main calls 2: fg_wsys_mmap
90func fg_mkdir(path: *u8, mode: i64) -> i64 { let nb: *i64 = sys_mmap(8) as *i64; nb[0] = 258; return __syscall(nb[0], 0 - 100, path, mode, 0, 0, 0) }
called by 1: main calls 1: sys_mmap
91func fg_writefile(path: *u8, buf: *u8, n: i64) -> i64 { let fd: i64 = sys_openat_wr(path, 0x1a4); if fd < 0 { return 0 } sys_write(fd, buf, n); sys_close(fd); return 1 }
called by 1: main calls 3: sys_openat_wrsys_writesys_close
94func fg_login(req: *u8, resp: *u8, sess: *u8) -> i64
called by 1: main calls 5: sys_mmapfg_postfg_httpfg_hasfg_index
106func main() -> i64
calls 23: fg_mkdircst_copysys_renameatfg_writefilefg_lensys_mmap+17