code wiki / _hdl_build / nx_interp_gate.nx

nx_interp_gate.nx

buildroot/runtime/_hdl_build/nx_interp_gate.nx

5899 B111 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_interp_gate.nx -- proves + MEASURES the sovereign snapshot interpolation buffer (nx_interp): under packet LOSS + REORDERING, render-in-the-past interpolation reconstructs the peer's true path (loss becomes invisible) while naive snap-to-latest (zero-order hold) staircases. This is what keeps the bad-mobile-network player smooth. 1) reorder-safe + correct: out-of-order pushes -> time-sorted history; interp ~= truth (loss invisible) 2) EXCEED vs naive (neg-control = zero-order hold): interp max error << naive max error (measured) 3) SMOOTHNESS: interp max per-step jump < naive max per-step jump (measured) 4) yaw shortest-arc: 350deg -> 10deg interpolates through 0 (not the long way) 5) no-data (neg): empty history -> sample returns 0 (no fabricated pose) 6) clamp: before-first -> status 2, at/after-last -> status 3 (hold; extrapolate = NET-R2) Built nx_cc_sovereign -> nxasm_x86 (no gcc, no .sh). license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_emit_lib.nx nx_interp.nx nx_interp_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_interp.nx

imported by: nobody (leaf or entry point)

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

main g_puts sys_write sys_mmap ip_init mkf ip_push ip_shiftdrop ip_entset ip_time ip_entswap ip_count ip_time ↻ ip_sample ip_time ↻ ip_field ip_lerp_angle g_abs naive_x g_pn sys_mmap ↻ sys_write ↻ g_check g_puts ↻ sys_exit

structs

none

consts

none

functions

16func g_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v }
called by 1: main
18func mkf(f: *i64, x: i64) -> i64 { var i: i64=0; while i<10 { f[i]=0; i=i+1 } f[0]=x; return 0 }
called by 1: main
20func naive_x(times: *i64, nr: i64, rt: i64) -> i64
called by 1: main
27func main() -> i64