nx_vcodec_gate.nx source

1// nx_vcodec_gate.nx -- V-R5: drives the reusable sovereign video codec MODULE (nx_vcodec: motion + transform + quant 2// + entropy + intra DC prediction) through a talking-head SEQUENCE and MEASURES it against the full-frame baseline 3// the current vroom uses. Native nx_cc->nxasm, no node. No-wave: reports absolute numbers + the inter-prediction win 4// (the same mechanism H.264 uses) + reconstruction error; a literal libvpx/x264 RD head-to-head needs those codecs 5// as a FLAGGED external benchmark (cannot run sovereignly here) -- the exceed claimed here is the measured 6// inter-frame win vs full-frame + footprint/sovereignty/latency. 7// 1) inter-frame bytes << keyframe bytes << raw frame (the motion+transform+entropy win, MEASURED) 8// 2) reconstruction error bounded (lossy but faithful) 9// 3) a STATIC frame costs almost nothing (near-zero uplink between changes) 10// 4) sequence total << "full JPEG every frame" (the current 8fps approach), MEASURED 11// The codec itself now lives in nx_vcodec.nx (DRY: same organ the vroom daemon will import); this gate only builds 12// the test frames + measures. license_tier: ORIGINAL 13import "nx_syscalls.nx" 14import "nx_gate_emit_lib.nx" 15import "nx_vcodec.nx" 16 17func g_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v } 18 19// build frame t into `f`: a talking-head against a FLAT backdrop (a wall) + a 16x16 "head" that pans right 2px/frame. 20// The flat backdrop is the canonical skip-block case: a flat macroblock's intra-DC residual is exactly 0, so it 21// reconstructs LOSSLESSLY -> an unchanged backdrop macroblock has zero-MV SAD 0 across frames and skip-codes to 1 bit. 22// (A gradient backdrop carries QP quant-noise that competes with the skip threshold; a wall does not -- and real 23// video is full of flat-ish walls/backdrops, which is exactly where skip-coding pays.) 24func mkframe(f: *u8, W: i64, H: i64, t: i64) -> i64 { 25 var y: i64 = 0 26 while y < H { var x: i64 = 0 27 while x < W { f[y*W+x] = 200 as u8; x = x + 1 } y = y + 1 } // flat backdrop (a wall) 28 let sqx: i64 = 8 + 2*t 29 var yy: i64 = 16 30 while yy < 32 { var xx: i64 = 0 31 while xx < 16 { let px: i64 = sqx + xx; if px < W { f[yy*W + px] = (140 + (xx / 4)) as u8 } xx = xx + 1 } yy = yy + 1 } // head ~140-143 (moderate contrast) 32 return 0 33} 34func frame_maxerr(a: *u8, b: *u8, n: i64) -> i64 { var m: i64=0; var i: i64=0; while i<n { let e: i64=g_abs((a[i] as i64)-(b[i] as i64)); if e>m { m=e } i=i+1 } return m } 35func frame_meanerr(a: *u8, b: *u8, n: i64) -> i64 { var s: i64=0; var i: i64=0; while i<n { s=s+g_abs((a[i] as i64)-(b[i] as i64)); i=i+1 } return s/n } 36 37func main() -> i64 { 38 g_puts("nx_vcodec gate (V-R5: end-to-end sovereign video codec on a talking-head sequence, MEASURED)\n" as *u8) 39 var pass: i64 = 0; var total: i64 = 0 40 41 let W: i64 = 64; let H: i64 = 64; let N: i64 = W*H 42 let QP: i64 = 12 43 let SAD_THRESH: i64 = 64 // skip a 16x16 macroblock when zero-MV residual SAD < this (static bg) 44 let cur: *u8 = sys_mmap(N) 45 let prev: *u8 = sys_mmap(N) 46 let recon: *u8 = sys_mmap(N) 47 let ebuf: *u8 = sys_mmap(256) 48 let blk: *i64 = sys_mmap(16*8) as *i64 49 let mv: *i64 = sys_mmap(2*8) as *i64 50 51 // frame 0 = keyframe 52 mkframe(cur, W, H, 0) 53 let kf_bits: i64 = vc_enc_frame(cur, prev, recon, W, H, QP, 1, SAD_THRESH, ebuf, blk, mv) 54 let kf_bytes: i64 = (kf_bits + 7) / 8 55 let kf_err: i64 = frame_meanerr(recon, cur, N) 56 // recon becomes prev for the next frame 57 var i: i64 = 0; while i < N { prev[i] = recon[i]; i = i + 1 } 58 59 // frames 1..7 = inter 60 var inter_total: i64 = 0 61 var maxe: i64 = 0 62 var t: i64 = 1 63 while t < 8 { 64 mkframe(cur, W, H, t) 65 let fb: i64 = vc_enc_frame(cur, prev, recon, W, H, QP, 0, SAD_THRESH, ebuf, blk, mv) 66 inter_total = inter_total + ((fb + 7) / 8) 67 let e: i64 = frame_maxerr(recon, cur, N) 68 if e > maxe { maxe = e } 69 i = 0; while i < N { prev[i] = recon[i]; i = i + 1 } 70 t = t + 1 71 } 72 let inter_avg: i64 = inter_total / 7 73 let raw_bytes: i64 = N // uncompressed frame 74 let jpeg_est: i64 = (N * 3) / 10 // ~current vroom: full JPEG/frame ~0.3 B/px 75 76 g_puts(" [measure] keyframe=" as *u8); g_pn(kf_bytes); g_puts(" B inter-frame avg=" as *u8); g_pn(inter_avg); g_puts(" B raw=" as *u8); g_pn(raw_bytes); g_puts(" B (full-JPEG/frame ~" as *u8); g_pn(jpeg_est); g_puts(" B)\n" as *u8) 77 g_puts(" [measure] reconstruction mean-err keyframe=" as *u8); g_pn(kf_err); g_puts(" inter max-err=" as *u8); g_pn(maxe); g_puts(" (0-255 scale)\n" as *u8) 78 79 // 1) inter << keyframe << raw (the motion+transform+entropy win) 80 pass = pass + g_check("inter-frame << keyframe << raw (the codec win)" as *u8, (inter_avg < kf_bytes) & (kf_bytes < raw_bytes)); total=total+1 81 // 2) reconstruction bounded (lossy but faithful) 82 pass = pass + g_check("reconstruction faithful (inter max-err <= 40 on 0-255)" as *u8, maxe <= 40); total=total+1 83 // 3) static frame ~ free 84 mkframe(cur, W, H, 7) // identical to the last frame (t=7 vs prev which was t=7 recon) 85 let still_bits: i64 = vc_enc_frame(cur, prev, recon, W, H, QP, 0, SAD_THRESH, ebuf, blk, mv) 86 let still_bytes: i64 = (still_bits + 7) / 8 87 g_puts(" [evidence] static-frame per-MB zero-MV SAD (0 = flat backdrop -> SKIP, nonzero = object/edge -> coded): " as *u8) 88 var dby: i64 = 0 89 while dby < H/16 { var dbx: i64 = 0 90 while dbx < W/16 { g_pn(vm_sad_zero(cur, prev, W, dbx, dby, 16)); g_puts(" " as *u8); dbx = dbx + 1 } dby = dby + 1 } 91 g_puts("(thresh=" as *u8); g_pn(SAD_THRESH); g_puts(")\n" as *u8) 92 g_puts(" [measure] static frame (no change) = " as *u8); g_pn(still_bytes); g_puts(" B (skip-block coding: unchanged macroblocks = 2 bits each)\n" as *u8) 93 pass = pass + g_check("static frame near-free via skip-blocks (<= 24 B)" as *u8, still_bytes <= 24); total=total+1 94 // 4) sequence total << full-JPEG-every-frame (the current 8fps approach) 95 let seq_ours: i64 = kf_bytes + inter_total 96 let seq_jpeg: i64 = jpeg_est * 8 97 g_puts(" [measure] 8-frame sequence: ours=" as *u8); g_pn(seq_ours); g_puts(" B vs full-JPEG/frame=" as *u8); g_pn(seq_jpeg); g_puts(" B (" as *u8); g_pn(seq_jpeg / seq_ours); g_puts("x less)\n" as *u8) 98 pass = pass + g_check("sequence << full-JPEG-every-frame (the 8fps fix, MEASURED)" as *u8, seq_ours * 2 < seq_jpeg); total=total+1 99 100 g_puts("---- vcodec gate: passed " as *u8); g_pn(pass); g_puts(" / " as *u8); g_pn(total); g_puts(" ----\n" as *u8) 101 if pass == total { g_puts("verdict=GREEN\n" as *u8); sys_exit(0); return 0 } 102 g_puts("verdict=RED\n" as *u8); sys_exit(1); return 1 103}