code wiki / _hdl_build / nx_netquant_gate.nx
nx_netquant_gate.nx
buildroot/runtime/_hdl_build/nx_netquant_gate.nx
about
nx_netquant_gate.nx -- proves + MEASURES the sovereign bit-packed/delta state codec
(nx_netquant) that keeps a bad-mobile-network player smooth. Shows the real bit budget.
1) FULL keyframe round-trips EXACTLY (lossless for in-range values) -- measured 88 bits/11 B
2) BIT BUDGET: full < raw 28-byte frame (measured compression)
3) DELTA stationary -> tiny (~mask only); round-trips exact
4) DELTA small move < FULL (the low-bandwidth win) + round-trips exact
5) WALK PATH: 16 frames delta-coded -> measured avg bytes/snapshot vs full vs raw
6) anti-tautology (neg): a delta on the WRONG baseline gives a WRONG result
(proves it is genuinely baseline-relative, not secretly absolute)
Built nx_cc_sovereign -> nxasm_x86 (no gcc, no .sh). license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_netquant.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
| none |
functions
| 15 | func setf(f: *i64, x: i64, y: i64, z: i64, yaw: i64, pitch: i64, sp: i64, ct: i64, act: i64, anim: i64, fl: i64) -> i64 called by 1: main |
| 19 | func fcopy(dst: *i64, src: *i64) -> i64 { var i: i64=0; while i<10 { dst[i]=src[i]; i=i+1 } return 0 } called by 1: main |
| 21 | func feq_full(a: *i64, b: *i64) -> i64 |
| 32 | func feq_exact(a: *i64, b: *i64) -> i64 { var i: i64=0; while i<10 { if a[i]!=b[i] { return 0 } i=i+1 } return 1 } called by 1: main |
| 34 | func main() -> i64 |