code wiki / (root) / nx_vp8_kf_gate.nx

nx_vp8_kf_gate.nx

buildroot/runtime/nx_vp8_kf_gate.nx

9525 B228 linesdepth 10pulls 46 transitivereach 0 importersview sourcekind gate/prooftopic vp8
docsdependenciesstructsconstsfunctions

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

nx_syscalls.nx nx_gate_verdict.nx nx_vp8.nx nx_vp8_pred.nx nx_vp8_kf.nx nx_img_bytes_to_rgb.nx nx_vp8_kf_gate.nx

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)

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 ↻ nx_vp8_bool_init sys_mmap ↻ nx_vp8_at nx_vp8_bool_literal nx_vp8_bool_bit nx_vp8_bool_get nx_vp8_at ↻ gv_check gv_puts ↻ vp8p_sr16 vp8p_sr3 vg_fill_ta vg_witness sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close vg_find vg_cc vg_u32 nx_vp8_kf_decode sys_mmap ↻ nx_vp8_frame_parse nx_vp8_at ↻ nx_vp8_bool_init ↻ nx_vp8_bool_literal ↻ nx_vp8_bool_bit ↻ nx_vp8_bool_maybe_signed nx_vp8_bool_bit ↻ nx_vp8_bool_signed

structs

none

consts

none

functions

18func vg_cc(b: *u8, off: i64, a: i64, c: i64, d: i64, e: i64) -> i64
called by 1: vg_find
25func vg_u32(b: *u8, off: i64) -> i64
called by 1: vg_find
30func vg_find(raw: *u8, n: i64, box: *i64) -> i64
called by 2: vg_witnessmain calls 2: vg_ccvg_u32
58func vg_tiles(py: *u8, ys: i64, w: i64, h: i64, outv: *i64) -> i64
called by 1: vg_witness
86func vg_witness(path: *u8, ew: i64, eh: i64, oracle: *i64) -> i64
called by 1: main calls 5: sys_mmapsys_read_filevg_findnx_vp8_kf_decodevg_tiles
109func vg_fill_ta(t: *i64) -> i64
called by 1: main
121func vg_fill_tb(t: *i64) -> i64
called by 1: main
133func main() -> i64
calls 18: gv_ctrgv_headsys_mmapnx_vp8_bool_initnx_vp8_bool_literalgv_check+12