code wiki / (root) / nx_webp_vp8l_gate.nx

nx_webp_vp8l_gate.nx

buildroot/runtime/nx_webp_vp8l_gate.nx

8483 B175 linesdepth 8pulls 12 transitivereach 0 importersview sourcekind gate/prooftopic webp
docsdependenciesstructsconstsfunctions

about

nx_webp_vp8l_gate.nx -- proves the VP8L pixel-decoder math and the WebP container walk. These are the pieces that decide whether a decoded image is CORRECT rather than merely produced: the 14 predictors, the per-channel average, the distance-plane mapping (VP8L's 2-D neighbourhood addressing, where an off-by-one silently shifts every back-reference), the prefix-code value rule, and the 5-byte header. NON-VACUITY: T10/T11/T12 are negative controls -- a non-RIFF buffer, a RIFF that is not WEBP, and a bad VP8L signature must each be REFUSED. A decoder that returns a plausible buffer for garbage is worse than one that returns nothing. license_tier: ORIGINAL

dependencies 6 imports · 0 importers

nx_syscalls.nx nx_bitstream.nx nx_huffman.nx nx_webp_huff.nx nx_webp_vp8l.nx nx_webp.nx nx_webp_vp8l_gate.nx

imports: nx_syscalls.nxnx_bitstream.nxnx_huffman.nxnx_webp_huff.nxnx_webp_vp8l.nxnx_webp.nx

imported by: nobody (leaf or entry point)

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

main vl_subsample_size vl_average2 vl_predict vl_average2 ↻ vl_select vl_sub3 vl_abs vl_chan vl_clamp_add_sub_full vl_clip255 vl_chan ↻ vl_argb vl_clamp_add_sub_half vl_average2 ↻ vl_add_sub_half vl_clip255 ↻ vl_chan ↻ vl_argb ↻ vl_clamp_add_sub_full ↻ vl_select ↻ sys_mmap vl_plane_table vl_dist_map nx_bitstream_alloc sys_mmap ↻ vl_prefix_value nx_bitstream_read_lsb nx_bitstream_bits_remainin _bs_peek_byte wb_palette_bits vp8l_read_header nx_bitstream_read_lsb ↻ webp_decode wb_fourcc_is wb_u32le sys_mmap ↻ nx_vp8_kf_decode sys_mmap ↻ nx_vp8_frame_parse

structs

none

consts

none

functions

23func g_puts(s: *u8) -> i64
called by 1: main calls 1: sys_write
30func main() -> i64