code wiki / _hdl_build / nx_digitalhuman_census_gate.nx

nx_digitalhuman_census_gate.nx

buildroot/runtime/_hdl_build/nx_digitalhuman_census_gate.nx

17653 B200 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_digitalhuman_census_gate.nx -- ★ADVERSARIAL CENSUS vs the DIGITAL-HUMAN FIELD (operator 2026-07-10: bank github.com/weihaox/awesome-digital-human "to tie into how infinigen does their stuff and expand on it FROM THE HARDWARE RUNG UP each rung like infinigen"). Same census doctrine as the Infinigen gate: GROUNDING each axis carries a THEIR-evidence needle that must be FOUND in the banked field bytes (knowledge/digitalhuman_field_banked.txt, fetched 2026-07-10 from their repo) -- not memory. LIAR-KILL each OUR-claim names an artifact FILE the gate opens; missing/empty -> forced GAP + LIAR flag. ADVERSARIAL every candidate HAVE must survive a measured DEPTH bar (the critic's refutation). Score: HAVE=1000 PARTIAL=400 GAP=0, mean over grounded axes. Emits knowledge/digitalhuman_census.txt (report + the HARDWARE-UP LADDER R0..R14). The being itself (nx_bodyatlas) is executed so the census is EXECUTION-grounded, not just file-grounded. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_bodyatlas.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

14	func hw(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 1: main calls 1: sys_write
15	func pn(v: i64) -> i64 { let b: u8=sys_mmap(32) as u8; var x: i64=v; var ng: i64=0; if x<0{ng=1;x=0-x} var i: i64=31; if x==0{b[i]=48 as u8;i=i-1} while x>0{b[i]=(48+x%10) as u8;x=x/10;i=i-1} if ng==1{b[i]=45 as u8;i=i-1} sys_write(1,(b as i64+i+1) as *u8,31-i); return 0 } called by 1: main calls 2: sys_mmap sys_write
16	func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } called by 2: contains axis
17	func contains(buf: u8, n: i64, needle: u8) -> i64 called by 1: axis calls 1: slen
29	func fexists(path: *u8) -> i64 called by 1: axis calls 2: sys_mmap sys_read_file
36	func ocat(o: u8, at: i64, s: u8) -> i64 { var i: i64=0; var a: i64=at; while s[i]!=(0 as u8){o[a]=s[i]; a=a+1; i=i+1} return a } called by 2: axis main
37	func ocatn(o: *u8, at: i64, v: i64) -> i64 called by 1: main calls 1: sys_mmap
50	func axis(rep: u8, ro: i64, bank: u8, bankn: i64, name: u8, them_needle: u8, our_artifact: u8, has_credit: i64, depth_ok: i64, critic: u8, ladder: u8, sums: *i64) -> i64 called by 1: main calls 4: contains ocat slen fexists
95	func main() -> i64 calls 14: hw atlas_build ba_systems_present ba_named_count pn sys_mmap+8