code wiki / (root) / nx_inflate_kat_test.nx

nx_inflate_kat_test.nx

buildroot/runtime/nx_inflate_kat_test.nx

17618 B572 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic inflate
docsdependenciesstructsconstsfunctions

about

nx_inflate_kat_test.nx -- R4-CMP-001: consolidated DEFLATE inflate KAT (RFC1951). Proves nx_deflate_inflate decodes all THREE block types head-on against python-zlib gold-standard raw-DEFLATE vectors: stored (BTYPE=00) / fixed-huffman (01) / dynamic-huffman (10). Composes the proven inflate engine (nx_deflate.nx) -- not reinvented; this is the named 'inflate-KATs-green' gate the row asks for. The browser keystone (Content-Encoding: gzip/deflate) + e-reader (EPUB=zip) both ride this. Discrimination: three DISTINCT originals via three DISTINCT decode paths, each matched exact length + exact bytes -- a broken/no-op inflate cannot reproduce all three. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_runtime.nx nx_deflate.nx nx_inflate_kat_test.nx

imports: nx_syscalls.nxnx_runtime.nxnx_deflate.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap nx_deflate_inflate sys_mmap ↻ nx_bitstream_alloc sys_mmap ↻ _deflate_inflate_block nx_bitstream_read_lsb nx_bitstream_bits_remainin _bs_peek_byte nx_bitstream_byte_align nx_bitstream_read_byte_ali nx_bitstream_byte_align ↻ _deflate_build_static_litl sys_mmap ↻ nx_huffman_build sys_mmap ↻ _deflate_build_static_dist sys_mmap ↻ nx_huffman_build ↻ _deflate_decode_huffman_bl nx_huffman_decode_lsb nx_bitstream_read_lsb ↻ _deflate_length_base _deflate_length_extra nx_bitstream_read_lsb ↻ _deflate_distance_base _deflate_distance_extra _deflate_copy_overlap sys_mmap ↻ _deflate_build_dynamic_tre nx_bitstream_read_lsb ↻ sys_mmap ↻ _deflate_cl_order nx_huffman_build ↻ nx_huffman_decode_lsb ↻ _deflate_bytes_consumed

structs

none

consts

none

functions

18func main() -> nx_int