code wiki / (root) / nx_h264_intra4_gate.nx

nx_h264_intra4_gate.nx

buildroot/runtime/nx_h264_intra4_gate.nx

4888 B130 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic h264
docsdependenciesstructsconstsfunctions

about

nx_h264_intra4_gate.nx -- validate Intra_4x4 (9 modes). Sovereign oracles (no 3rd party): (a) FLAT: all neighbours == C => every mode outputs C everywhere (catches out-of-bounds neighbour reads + tap coefficients that don't sum to 1). (b) mode 0 Vertical: pred[y][x]==top[x] ; mode 1 Horizontal: pred[y][x]==left[y]. (c) DDL(3): top ramp top[k]=o+s*k => non-corner pred==o+s*(x+y+1) (linear 3-tap recovery). (d) DDR(4): neighbours from g(x-y)=o+s*(x-y) => pred==o+s*(x-y) for all 16 (proven exact). Modes 5,6,7,8 (VR/HD/VL/HU) get the FLAT check here; their per-value proof is the real-frame reconstruction vs ffmpeg (capstone oracle). HONEST: stated, not hidden. Exit 0/1. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_h264_intra.nx nx_h264_intra4_gate.nx

imports: nx_syscalls.nxnx_h264_intra.nx

imported by: nobody (leaf or entry point)

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

main sys_openat_append gp sys_write sys_mmap nx_intra4x4_pred_full nx_intra4x4_pred p4_topx p4_left gnum sys_mmap ↻ sys_write ↻ sys_close sys_exit

structs

none

consts

none

functions

14func gp(fd: i64, s: *u8) -> i64
called by 1: main calls 1: sys_write
20func gnum(fd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
33func main() -> i64