code wiki / (root) / nx_dequant_iter_test.nx

nx_dequant_iter_test.nx

buildroot/runtime/nx_dequant_iter_test.nx

5916 B148 linesdepth 7pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic dequant
docsdependenciesstructsconstsfunctions

about

nx_dequant_iter_test.nx -- smoke for nx_dequant_iter.nx. Builds a synthetic Q4_K super-block in memory with known scales, mins, and nibble values. Tests: A) Verdict gate B) Iter init reads d/dmin/scales/mins correctly C) nx_q4k_iter_value at known indices matches expected formula D) nx_q4k_iter_subblock_dequant matches nx_gguf_dequant_q4_k bit-exactly for all 256 values E) Out-of-range index returns 0 (no crash)

dependencies 6 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_le.nx nx_gguf.nx nx_gguf_load.nx nx_dequant_iter.nx nx_dequant_iter_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_le.nxnx_gguf.nxnx_gguf_load.nxnx_dequant_iter.nx

imported by: nobody (leaf or entry point)

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

main nx_q4ki_verdict_is_valid sys_mmap nx_le_write_u16 nx_q4k_iter_alloc sys_mmap ↻ nx_q4k_iter_init nx_le_read_u16 _gguf_f16_to_q24 nx_le_read_u8 nx_q4k_iter_value nx_le_read_u8 ↻ _q4k_iter_scale_at _q4k_iter_min_at nx_q4k_iter_subblock_dequa _q4k_iter_scale_at ↻ _q4k_iter_min_at ↻ nx_le_read_u8 ↻ nx_gguf_dequant_q4_k nx_le_read_u16 ↻ _gguf_f16_to_q24 ↻ nx_le_read_u8 ↻

structs

none

consts

none

functions

19func main() -> i64