code wiki / (root) / nx_h264_hadamard_gate.nx

nx_h264_hadamard_gate.nx

buildroot/runtime/nx_h264_hadamard_gate.nx

3370 B88 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic h264

docs dependencies structs consts functions

about

nx_h264_hadamard_gate.nx -- REFEREE for the Intra_16x16 luma DC Hadamard. Hand-computed (f = H c H): DC only c[0]=16 -> all 16 samples = 16 AC c[1]=4 -> every row = [4,4,-4,-4] zero -> all 0 involution-scale: applying Hadamard twice scales by 16 (H^2 = 4I -> (HcH then HcH) = 16c) so hadamard(hadamard(c)) == 16*c (a strong self-check, no external ref). Every value PRINTED. stdout + knowledge/status/h264_hadamard_gate.log. Exit 0/1. Sovereign: nx_syscalls + nx_h264_hadamard. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

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

13	func gp(logfd: i64, s: *u8) -> i64 called by 1: main calls 1: sys_write
20	func gn(logfd: i64, v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
34	func zero16(d: *i64) -> i64 { var i: i64 = 0; while i < 16 { d[i] = 0; i = i + 1 } return 0 } called by 1: main
36	func main() -> i64 calls 8: sys_openat_append gp sys_mmap zero16 nx_h264_hadamard4x4 gn+2