code wiki / _hdl_build / nx_autorig_gate.nx

nx_autorig_gate.nx

buildroot/runtime/_hdl_build/nx_autorig_gate.nx

8937 B168 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_autorig_gate.nx -- prove AUTO-RIG + physics-param EMIT works on every generated object (no per-object hand-authoring). T1 all 8 t2mesh objects rig: spanning tree (bones == parts-1), 0 forced joins, masses > 0. T2 rigs VARY by object (>=5 distinct bone counts). T3 person: 18 parts / 17 bones and the derived root IS the hips (largest volume = pelvis-style root, like real rigs) + every bone has positive length. T4 determinism (two builds byte-identical). T5 NXRG1 pack round-trip + corrupt-reject + person.nxrg written. T6 physical sensibility: dumbbell weights equal mass, heavier than the bar. license_tier: ORIGINAL expect_exit: 0

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_sdfrender.nx nx_t2mesh.nx nx_autorig.nx nx_autorig_gate.nx

imports: nx_syscalls.nxnx_sdfrender.nxnx_t2mesh.nxnx_autorig.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 sdf_bytes hw sys_write rg_one t2m_prompt t2m_gen t2m_set t2m_conf sdf_clear_ops sdf_body sdf_clear_ops ↻ sdf_set_floor sdf_set_mtx_amp sdf_set_kb t2m_id_of t2m_has ar_build ar_np ar_vol sys_mmap ↻ ar_gap ar_isqrt ar_support ar_isqrt ↻ hw ↻ t2m_name t2m_id_of ↻ pn sys_mmap ↻ sys_write ↻ pn ↻ t2m_prompt ↻ ar_build ↻ rg_parent ar_pack ar_unpack_ok sys_openat_wr sys_write ↻

structs

none

consts

none

functions

12func 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 2: rg_onemain calls 1: sys_write
13func pn(v: i64) -> i64
called by 2: rg_onemain calls 2: sys_mmapsys_write
25func rg_parent(bones: *i64, nb: i64, child: i64) -> i64
called by 1: main
31func rg_one(base: i64, bones: *i64, masses: *i64, soft: *i64, out: *i64, prompt: *u8, failp: *i64) -> i64
47func main() -> i64