code wiki / _hdl_build / nx_wolf_walk_gate.nx

nx_wolf_walk_gate.nx

buildroot/runtime/_hdl_build/nx_wolf_walk_gate.nx

10177 B211 linesdepth 6pulls 14 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_wolf_walk_gate.nx -- the ANIMAL moves: the bestiary wolf WALKS on a quadruped FK rig with a real diagonal gait, rendered on the production shader, shipped as sovereign video. Completes the operator's species span (person waves -> beastman looks around -> wolf walks). T1 valid APNG (acTL num_frames == N) T2 MOTION present (frame checksums differ) T3 FOUR-BEAT WALK: the four legs occupy FOUR DISTINCT phases, not two coincident diagonal pairs. Corrected 2026-08-25 -- this tooth used to assert FL==HR, which is the signature of a TROT, and so it enforced a trotting wolf under the name walk. A tooth that passes for both gaits is not testing the gait; this one fails for a trot by construction. T4 wolf on screen (foreground coverage >= 5%) Writes knowledge/synth_wolfwalk.png (APNG) + knowledge/synth_wolfwalk_f0.png (still). license_tier: ORIGINAL expect_exit: 0

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_quadruped.nx nx_apng.nx nx_png.nx nx_gate_verdict.nx nx_wolf_walk_gate.nx

imports: nx_syscalls.nxnx_quadruped.nxnx_apng.nxnx_png.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

52const RW: i64 = 144
53const RH: i64 = 96
54const RFOCAL: i64 = 164 // 586 * 144 / 512

functions

19func hw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
20func pn(v: i64) -> i64
31func cksum(fb: *i64, n: i64) -> i64
37func find4(buf: *u8, n: i64, a: i64, b: i64, c: i64, d: i64) -> i64
45func plcount(fb: *i64, n: i64) -> i64
56func ww_render(base: i64, fb: *i64, yaw: i64) -> i64
87func main() -> i64