code wiki / _hdl_build / nx_resid_entropy_gate.nx

nx_resid_entropy_gate.nx

buildroot/runtime/_hdl_build/nx_resid_entropy_gate.nx

4293 B85 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_resid_entropy_gate.nx -- proves + MEASURES the wired residual entropy coder (nx_resid_entropy): a realistic Laplacian LPC residual is range-coded LOSSLESSLY, far below a fixed N-bit/sample representation and near the Shannon entropy bound. This is the voice codec's v2 q/bit lever, MEASURED (a real bitrate cut at identical quality), not a vs-Opus claim.

dependencies 3 imports · 0 importers

nx_syscalls_x86_64.nx nx_resid_entropy.nx nx_quality_metric.nx nx_resid_entropy_gate.nx

imports: nx_syscalls_x86_64.nxnx_resid_entropy.nxnx_quality_metric.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 re_build_model re_encode nx_rc_enc_init re_zz nx_rc_enc_symbol _rc_enc_renorm _rc_enc_put_byte nx_rc_enc_done _rc_enc_put_byte ↻ re_decode nx_rc_dec_init nx_rc_dec_get_target nx_rc_dec_update _rc_dec_renorm re_unzz re_zz ↻ qm_log2_q16 g_pn g_check g_puts ↻

structs

none

consts

none

functions

9func g_puts(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 2: g_checkmain
10func g_pn(v: i64) -> i64
called by 1: main
20func g_check(name: *u8, cond: i64) -> i64
called by 1: main calls 1: g_puts
25func main() -> i64
calls 8: g_putsre_build_modelre_encodere_decodere_zzqm_log2_q16+2