code wiki / (root) / nx_h264_dequant_gate.nx

nx_h264_dequant_gate.nx

buildroot/runtime/nx_h264_dequant_gate.nx

3508 B86 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic h264

docs dependencies structs consts functions

about

nx_h264_dequant_gate.nx -- REFEREE for H.264 dequant (rung 5 scaling) + the levels->dequant->idct chain. Hand-computed exact vectors: QP0 level1 @ (0,0) posClass0 -> (160+8)>>4 = 10 QP0 level1 @ (0,1) posClass2 -> (208+8)>>4 = 13 QP0 level1 @ (1,1) posClass1 -> (256+8)>>4 = 16 QP6 level1 @ (0,0) -> (160+4)>>3 = 20 QP24 level1 @ (0,0) -> 160<<0 = 160 CHAIN: QP0 level16 @ DC -> dequant 160 -> idct -> all samples (160+32)>>6 = 3 Every value PRINTED. stdout + knowledge/status/h264_dequant_gate.log. Exit 0/1. Sovereign: nx_syscalls + nx_h264_dequant + nx_h264_idct. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

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

15	func gp(logfd: i64, s: *u8) -> i64 called by 1: main calls 1: sys_write
22	func gn(logfd: i64, v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
36	func zero16(d: *i64) -> i64 { var i: i64 = 0; while i < 16 { d[i] = 0; i = i + 1 } return 0 } called by 1: main
38	func main() -> i64 calls 9: sys_openat_append gp sys_mmap zero16 nx_h264_dequant4x4 gn+3