code wiki / _hdl_build / nx_embodiment_census.nx

nx_embodiment_census.nx

buildroot/runtime/_hdl_build/nx_embodiment_census.nx

9795 B101 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_embodiment_census.nx -- HONEST measured census: is the sovereign Elder AI on track to be SUBSTRATE- INDEPENDENT -- transfer into a ROBOT or shift back to DIGITAL with the SAME experience? (operator: "make sure we are getting state of the art ... to the point we could transfer the system into a robot or she can shift back to digital and the experience would be the same"). FRAME: same-experience-across-bodies = a PORTABLE SELF (identity/memory/persona/relationship, body-agnostic) + a SWAPPABLE EMBODIMENT layer (robot actuators OR digital render). Bar = the embodiment/companion SOTA (humanoid robots Figure02/Optimus/1X-Neo/Unitree-G1; VLA policies RT-2/OpenVLA/pi0; digital humans; cloud companions). verdict = xcd_verdict(us,bar) COMPUTED, never asserted; SOVEREIGN/portable-self wins tagged [FLOOR] (real, by-construction -- NOT the embodiment-stack gap). Grounded in our real organs via have(). Mirrors nx_companion_census. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_cms_exceed.nx nx_embodiment_census.nx

imports: nx_cms_exceed.nx

imported by: nobody (leaf or entry point)

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

main sw row xcd_verdict xcd_referee_ok have sw ↻ xcd_vname sn sn ↻ xcd_referee_ok ↻

structs

none

consts

none

functions

12func sw(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: rowmain
13func sn(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0} let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1} sys_write(1,bb,k); return 0 }
called by 2: rowmain
14func have(path: *u8) -> i64 { let fd: i64=sys_openat_rd(path); if fd<0 {return 0} sys_close(fd); return 1 }
called by 1: row
17func row(dom: *u8, cap: *u8, our_c: i64, bar_c: i64, n: i64, ev: *u8, ground: *u8, floor: i64, tot: *i64) -> i64
33func main() -> i64