code wiki / _hdl_build / nx_vtransform_dct_gate.nx

nx_vtransform_dct_gate.nx

buildroot/runtime/_hdl_build/nx_vtransform_dct_gate.nx

6363 B117 linesdepth 3pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic vtransform
docsdependenciesstructsconstsfunctions

about

nx_vtransform_dct_gate.nx -- verifies the sovereign H.264 integer DCT (nx_vtransform_dct) IN ISOLATION before it touches the codec: (1) the full pipeline fwd->quant->dequant->inv->inv_scale reconstructs real 4x4 blocks faithfully (a wrong table/shift would blow this up), and (2) the DCT compacts natural-image energy into the low-frequency coefficients BETTER than the current Walsh-Hadamard transform (the reason to swap). Blocks come from the real 768x768 H.264-decoded luma frame (ref_frame0.yuv), centered to signed residual-like values.

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_gate_emit_lib.nx nx_vtransform_dct.nx nx_vtransform.nx nx_gate_verdict.nx nx_vtransform_dct_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_vtransform_dct.nxnx_vtransform.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

12func g_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v }
15func load_block(src: *u8, W: i64, px: i64, py: i64, blk: *i64) -> i64
24func top4_frac1000(c: *i64) -> i64
38func main() -> i64