code wiki / _hdl_build / nx_asr_frontend_gate.nx

nx_asr_frontend_gate.nx

buildroot/runtime/_hdl_build/nx_asr_frontend_gate.nx

6716 B123 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_asr_frontend_gate.nx -- proves THE DEEP rung 1 (ASR acoustic front-end), NO fake green. Synthesizes EXACT integer tones from the nx_fft twiddle table (a tone at bin k = cos(2*pi*k*i/N)); the front-end must (1) recover the right peak bin for two different tones, (2) place two well-separated tones in DIFFERENT filterbank bands, and NEG-CONTROL (3) report ~zero energy for silence and (4) clearly non-zero energy for a tone (VAD seed). Honest: this is the FRONT-END only, not recognition. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_asr_frontend.nx nx_gate_verdict.nx nx_asr_frontend_gate.nx

imports: nx_syscalls.nxnx_asr_frontend.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 ag sys_write sys_mmap af_tw syn cos_lut nx_asr_power sys_mmap ↻ af_fwd af_log2 sys_mmap ↻ af_tw ↻ af_bitrev nx_asr_peak_bin agn sys_write ↻ sys_mmap ↻ nx_asr_filterbank nx_asr_dom_band nx_asr_total_energy af_fwd ↻ gv_ctr sys_mmap ↻ gv_verdict gv_puts sys_write ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻ sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real

structs

none

consts

none

functions

10func ag(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 1: main calls 1: sys_write
11func agn(v: i64) -> i64
called by 1: main calls 2: sys_writesys_mmap
21func cos_lut(twr: *i64, m: i64) -> i64
called by 1: syn
28func syn(twr: *i64, k: i64, pcm: *i64, n: i64) -> i64
called by 1: main calls 1: cos_lut
34func main() -> i64
calls 14: agsys_mmapaf_twsynnx_asr_powernx_asr_peak_bin+8