code wiki / (root) / nx_forge_req_gate.nx

nx_forge_req_gate.nx

buildroot/runtime/nx_forge_req_gate.nx

9670 B288 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic forge

docs dependencies structs consts functions

about

nx_forge_req_gate.nx -- FORGE requirements dossier gate (the adversary/critic tooth). Walks knowledge/forge/forge_requirements_v1.txt: every REQ| row must carry EV= paths that exist NON-EMPTY on disk (evidence fork, census doctrine) and a non-empty ADV= adversary test. NEG-CONTROL: knowledge/forge/forge_req_negctl.txt holds a planted row whose EV file is absent; verdict GREEN only if every real row PASSES and the planted row FAILS (liar-kill: a rubber-stamp checker cannot go GREEN). CR-tolerant by field order (ADV last, EV mid-row). license_tier: ORIGINAL expect_exit: 0

dependencies 4 imports · 0 importers

imports: nx_syscalls.nxnx_lib_std.nxnx_gate_verdict.nxnx_artifact_root.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

none

functions

13	func rq_read(path: u8, buf: u8, cap: i64) -> i64 called by 1: main calls 3: sys_openat_rd sys_read sys_close
43	func rq_ev_ok(path: u8, scratch: u8) -> i64 called by 1: rq_row calls 5: sys_mmap ar_resolve sys_openat_rd sys_read sys_close
55	func rq_find_ev(buf: *u8, ls: i64, le: i64) -> i64 called by 1: rq_row
83	func rq_find_adv(buf: *u8, ls: i64, le: i64) -> i64 called by 1: rq_row
116	func rq_row(buf: u8, ls: i64, le: i64, mode: i64, pbuf: u8, scratch: *u8) -> i64 called by 1: rq_walk calls 7: std_puts sys_write rq_find_ev std_memcpy rq_ev_ok rq_find_adv+1
203	func rq_walk(buf: u8, len: i64, mode: i64, pbuf: u8, scratch: u8, nout: i64) -> i64 called by 1: main calls 1: rq_row
247	func main(argc: i64, argv: *i64) -> i64 calls 10: sys_mmap rq_read std_putln sys_exit rq_walk std_puts+4