nx_inflate_kat_test.nx
buildroot/runtime/nx_inflate_kat_test.nx
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
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
structs
| none |
consts
| none |
functions
| 18 | func main() -> nx_int |