code wiki / _hdl_build / nx_nv1_lpc_gate.nx
nx_nv1_lpc_gate.nx
buildroot/runtime/_hdl_build/nx_nv1_lpc_gate.nx
about
nx_nv1_lpc_gate.nx -- ENGINEER gate for the NV1 LPC rung (nx_nv1_lpc.nx).
Evidence-driven, re-runnable, no network. Proves:
1. BIT-EXACT round-trip (decode(encode(x)) == x byte-for-byte) on every
signal class: silence, DC, ramp, triangle, full-range LCG noise,
speech-ish (triangle + dither), alternating extremes, tiny blocks.
2. FLAC-CLASS compression measured in permil of raw bytes (asserted
ceilings per class; printed so the ratio is ON the log).
3. The verbatim escape: noise NEVER expands past 6 + 2n.
4. Container integration: an 'L' chunk validates under nv1_validate
and its samples are counted.
5. Every decoder rejection class fires its named negative.
license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_nv1_lpc.nxnx_g_check_lib.nxnx_g_puts_lib.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
| 18 | func g_dec(v: i64) -> i64 |
| 33 | func g_rt(pcm: *u8, n: i64, pay: *u8, dec: *u8) -> i64 |
| 47 | func g_wr_i16(b: *u8, idx: i64, v: i64) -> i64 called by 1: main |
| 56 | func g_tri(i: i64) -> i64 called by 1: main |
| 62 | func g_ratio_line(name: *u8, paylen: i64, rawlen: i64) -> i64 |
| 71 | func main() -> i64 |