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)

structs

none

consts

none

functions

23func g_puts(s: *u8) -> i64
30func main() -> i64