code wiki / _hdl_build / nx_motion_neural_gate.nx

nx_motion_neural_gate.nx

buildroot/runtime/_hdl_build/nx_motion_neural_gate.nx

7371 B146 linesdepth 6pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic motion
docsdependenciesstructsconstsfunctions

about

nx_motion_neural_gate.nx -- prove the neural-motion foundation is LEARNED + GENERATIVE (not the parametric keyword lookup): a codebook trained by VQ/k-means on a real motion corpus, and an n-gram token-LM that GENERATES a novel motion sequence, decoded back to drive the rig -> sovereign video. T1 the codebook LEARNS: trained distortion < initial distortion (k-means reduced quantization error) T2 tokens DISCRIMINATE: different moves -> different token sentences (Hamming > 0 across pairs) T3 round-trip PRESERVES motion: decode(encode(move)) per-frame error bounded (codec keeps the motion) T4 GENERATES novel motion: an LM sample is valid tokens, produces motion (decoded poses vary), and is NOT byte-identical to any single training move (real composition, not playback) Emits knowledge/synth_neuralmove.png (APNG of the GENERATED motion, rendered on the FK figure). license_tier: ORIGINAL expect_exit: 0

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_skeleton.nx nx_figure_render.nx nx_motion_neural.nx nx_apng.nx nx_motion_neural_gate.nx

imports: nx_syscalls.nxnx_skeleton.nxnx_figure_render.nxnx_motion_neural.nxnx_apng.nx

imported by: nobody (leaf or entry point)

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

main hw sys_write sys_mmap sk_bytes rig_build sk_init sk_hdr sk_add_bone sk_hdr ↻ sk_bone mn_build_corpus sys_mmap ↻ move_bytes move_gen mv_times mv_hdr mv_time mv_zero mv_pose mv_set mv_pose ↻ md_deg mv_hdr ↻ move_pose_at mv_hdr ↻ mv_time ↻ mv_pose ↻ sk_pose sk_bone ↻ pose_read sk_bone ↻ mn_init_cb mn_distortion mn_encode mn_dist mn_dist ↻ mn_train sys_mmap ↻ mn_encode ↻

structs

none

consts

35const GW: i64 = 128
36const GH: i64 = 96

functions

17func 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
18func pn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
29func cksum(fb: *i64, n: i64) -> i64 { var s: i64 = 1469598103; var i: i64 = 0; while i < n { s = (s * 31 + (fb[i] & 0xffffff)) & 0x0fffffffffffffff; i = i + 1 } return s }
30func find4(buf: *u8, n: i64, a: i64, b: i64, c: i64, d: i64) -> i64
called by 1: main
38func main() -> i64