code wiki / (root) / nx_h264_intra16plane_gate.nx

nx_h264_intra16plane_gate.nx

buildroot/runtime/nx_h264_intra16plane_gate.nx

3938 B98 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic h264

docs dependencies structs consts functions

about

nx_h264_intra16plane_gate.nx -- validate Intra_16x16 Plane (mode 3). SOVEREIGN ORACLE: if the neighbor samples lie exactly on a plane p(x,y)=base+gx*(x-7)+gy*(y-7), the H.264 plane predictor MUST reproduce p exactly over the whole 16x16 block (the transform's exact-recovery property). We synthesize neighbors from a known plane, predict, and require pred==p for all 256. Tests: 2 gradients + flat + a sensitivity control. Exit 0/1. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_h264_intra16.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

11	func gp(fd: i64, s: *u8) -> i64 called by 2: plane_recover main calls 1: sys_write
18	func gnum(fd: i64, v: i64) -> i64 called by 2: plane_recover main calls 2: sys_mmap sys_write
34	func plane_recover(fd: i64, base: i64, gx: i64, gy: i64) -> i64 called by 1: main calls 4: sys_mmap nx_intra16x16_pred_full gp gnum
62	func main() -> i64 calls 8: sys_openat_append gp plane_recover sys_mmap nx_intra16x16_pred_full gnum+2