code wiki / _hdl_build / nx_quad_gaits_gate.nx

nx_quad_gaits_gate.nx

buildroot/runtime/_hdl_build/nx_quad_gaits_gate.nx

6203 B122 linesdepth 6pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic quad

docs dependencies structs consts functions

about

nx_quad_gaits_gate.nx -- DIVERSIFY the animal motion: walk/trot/gallop as data on the quadruped rig, plus a HORNED creature composition (quadruped + swap slots). Proves: T1 the 3 gaits are DISTINCT (FR-foot phase differs: walk=diagonal-antiphase, gallop=rotary-near-phase) T2 each gait produces MOTION (rendered frame checksums differ) T3 horns compose (quad_add_horns adds parts on the head) T4 valid APNGs written (gallop + a horned trot) Emits knowledge/synth_gallop.png + knowledge/synth_horncreature.png. license_tier: ORIGINAL expect_exit: 0

dependencies 3 imports · 0 importers

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

17	const RW: i64 = 144
18	const RH: i64 = 96
19	const RFOCAL: i64 = 164

functions

12	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
13	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
14	func cks(fb: i64, n: i64) -> i64 { var s: i64=1469598103; var i: i64=0; while i<n{s=(s31+(fb[i]&0xffffff))&0x0fffffffffffffff;i=i+1} return s } called by 1: main
15	func find4(buf: *u8, n: i64, a: i64, b: i64, c: i64, d: i64) -> i64 { var i: i64=0; while i+4<=n{ if (buf[i]&0xff)==a{ if (buf[i+1]&0xff)==b{ if (buf[i+2]&0xff)==c{ if (buf[i+3]&0xff)==d{return i}}}} i=i+1} return 0-1 } called by 1: main
20	func gr_render(base: i64, fb: *i64, yaw: i64) -> i64 called by 1: main calls 4: it_cos4096 it_sin4096 sdf_isqrt sdf_shade_ray
43	func fr_sig(sk: i64, gait: i64) -> i64 called by 1: main calls 3: quad_gait_pose_g sk_update sk_bone
49	func main() -> i64 calls 21: hw sys_mmap sdf_bytes sk_bytes quad_build fr_sig+15