code wiki / _hdl_build / nx_quad_gaits_gate.nx
nx_quad_gaits_gate.nx
buildroot/runtime/_hdl_build/nx_quad_gaits_gate.nx
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 4 imports · 0 importers
imports: nx_syscalls.nxnx_quadruped.nxnx_apng.nxnx_gate_verdict.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
| 20 | const QG_DISTINCT_MIN: i64 = 150 |
| 23 | const QG_TRIG_Q12: i64 = 4096 // MUST match it_sin4096/it_cos4096's output scale |
| 24 | const QG_Q10_ONE: i64 = 1024 // q10 one, the scale the camera distance is expressed in |
| 25 | const QG_CAM_UNITS: i64 = 5 // camera standoff, in world units |
| 31 | const QG_CKSUM_SEED: i64 = 1469598103 |
| 38 | const RW: i64 = 144 |
| 39 | const RH: i64 = 96 |
| 40 | const RFOCAL: i64 = 164 |
functions
| 33 | 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 } |
| 34 | 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 } |
| 35 | func cks(fb: *i64, n: i64) -> i64 { var s: i64=QG_CKSUM_SEED; var i: i64=0; while i<n{s=(s*31+(fb[i]&0xffffff))&0x0fffffffffffffff;i=i+1} return s } called by 1: main |
| 36 | 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 |
| 41 | func gr_render(base: i64, fb: *i64, yaw: i64) -> i64 |
| 65 | func leg_sig(sk: i64, gait: i64, foot: i64, hip: i64) -> i64 |
| 70 | func fr_sig(sk: i64, gait: i64) -> i64 { return leg_sig(sk, gait, QR_FRFOOT, QR_FRHIP) } |
| 72 | func main() -> i64 |