nx_vp8_kf_gate.nx
buildroot/runtime/nx_vp8_kf_gate.nx
about
nx_vp8_kf_gate.nx -- gate for C3 of the codec-chokepoint program: the lossy
VP8 KEYFRAME decoder + its chokepoint wiring. Anchored to an INDEPENDENT
ORACLE: libwebp (via PIL, laptop-side) decoded two REAL web-gathered
witnesses from knowledge/media/julia_kyoka; their 8x8 Y-tile means and RGB
means are baked here. Tolerance is +-2 per tile (loop filter is absent by
design in v1); a wrong decode diverges by 30-100 per tile, so the band is
tight AND non-vacuous. The bool-decoder KAT values come from an exact
independent port of RFC 6386 sec 7.3 -- NOT the (false) raw-bit identity
the old header comment claimed. Inherits nx_gate_verdict.
license_tier: ORIGINAL expect_exit: 0
dependencies 6 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_vp8.nxnx_vp8_pred.nxnx_vp8_kf.nxnx_img_bytes_to_rgb.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| none |
functions
| 18 | func vg_cc(b: *u8, off: i64, a: i64, c: i64, d: i64, e: i64) -> i64 |
| 25 | func vg_u32(b: *u8, off: i64) -> i64 |
| 30 | func vg_find(raw: *u8, n: i64, box: *i64) -> i64 |
| 58 | func vg_tiles(py: *u8, ys: i64, w: i64, h: i64, outv: *i64) -> i64 |
| 86 | func vg_witness(path: *u8, ew: i64, eh: i64, oracle: *i64) -> i64 |
| 109 | func vg_fill_ta(t: *i64) -> i64 |
| 121 | func vg_fill_tb(t: *i64) -> i64 |
| 133 | func main() -> i64 |