code wiki / _hdl_build / nx_gif_color_gate.nx

nx_gif_color_gate.nx

buildroot/runtime/_hdl_build/nx_gif_color_gate.nx

7748 B181 linesdepth 10pulls 46 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_gif_color_gate.nx -- gate for C2 of the codec-chokepoint program (debt 1785903075): GIF palette COLOR decode + DE-INTERLACE, at the decoder (gif_decode_rgb) AND through the shared chokepoint (nx_img_bytes_to_rgb). Fixtures are hand-built byte-exact GIF89a files: a 4x4 4-colour palette image stored non-interlaced (rows 0,1,2,3) and interlaced (pass order 0,2,1,3 + descriptor bit 6), whose DECODED images must be identical. The synthetic LZW uses CLEAR-before-every-literal (no dictionary growth), so T6 decodes a REAL gathered web GIF (third-party encoder, real dictionary growth) as the independent witness. Inherits nx_gate_verdict. license_tier: ORIGINAL expect_exit: 0

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_gif_decode.nx nx_img_bytes_to_rgb.nx nx_gif_color_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_gif_decode.nxnx_img_bytes_to_rgb.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap gv_head gv_puts sys_write sys_mmap ↻ gg_build_gif sys_mmap ↻ gg_putcode gif_decode_rgb gif_decode_core gif_u16le gv_check gv_puts ↻ gif_decode gif_decode_core ↻ gv_bite gv_puts ↻ nx_img_bytes_to_rgb sys_mmap ↻ nx_jpeg_decode_rgb sys_mmap ↻ nx_jpeg_dec_ctx_init sys_mmap ↻ _jpeg_ascii_probe_sof sys_mmap ↻ nx_jpeg_seg_init nx_jpeg_seg_next nx_jpeg_classify_marker nx_jpeg_marker_is_lengthle nx_jpeg_sof_parse nx_jpeg_is_progressive prog_be16 nx_jpeg_prog_decode sys_mmap ↻ prog_be16 ↻ nx_jpeg_dqt_parse nx_jpeg_dht_parse nx_jpeg_dht_build_decode_t

structs

none

consts

none

functions

14func gg_putcode(buf: *u8, bitpos: *i64, code: i64) -> i64
called by 1: gg_build_gif
28func gg_build_gif(out: *u8, pixseq: *u8, interlaced: i64) -> i64
called by 1: main calls 2: sys_mmapgg_putcode
59func main() -> i64