code wiki / _hdl_build / nx_resid_entropy_gate.nx

nx_resid_entropy_gate.nx

buildroot/runtime/_hdl_build/nx_resid_entropy_gate.nx

4740 B93 linesdepth 5pulls 9 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 4 imports · 0 importers

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

imports: nx_syscalls_x86_64.nxnx_resid_entropy.nxnx_quality_metric.nxnx_gate_verdict.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 ↻ gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_verdict gv_note_bare_rate

structs

none

consts

none

functions

10func 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
11func g_pn(v: i64) -> i64
called by 1: main
21func g_check(name: *u8, cond: i64) -> i64
called by 1: main calls 1: g_puts
26func main() -> i64
calls 10: g_putsre_build_modelre_encodere_decodere_zzqm_log2_q16+4