nx_webp_vp8l_gate.nx
buildroot/runtime/nx_webp_vp8l_gate.nx
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
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
structs
| none |
consts
| none |
functions
| 23 | func g_puts(s: *u8) -> i64 |
| 30 | func main() -> i64 |