code wiki / (root) / nx_h264_residual_gate.nx

nx_h264_residual_gate.nx

buildroot/runtime/nx_h264_residual_gate.nx

3576 B81 linesdepth 5pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic h264
docsdependenciesstructsconstsfunctions

about

nx_h264_residual_gate.nx -- SOVEREIGN round-trip oracle for the CAVLC residual 4x4 assembler (rung 4c-v). Build known scan-order coefficient blocks, encode, decode, recover exactly. Covers (within filled VLC subsets): trailing-one signs, first-level +2 offset, total_zeros, placement. B1 coeff[3]=1 B2 coeff[3]=-1 B3 coeff[0]=5 B4 coeff[2]=3 B5 coeff[15]=1 B6 all-zero (TotalCoeff 0) Every value PRINTED. stdout + knowledge/status/h264_residual_gate.log. Exit 0/1. Sovereign: nx_syscalls + (bits,bitwriter,cavlc_level,cavlc_enc,coeff_token,total_zeros,run_before,residual). license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_h264_bits.nx nx_h264_bitwriter.nx nx_h264_residual.nx nx_h264_residual_gate.nx

imports: nx_syscalls.nxnx_h264_bits.nxnx_h264_bitwriter.nxnx_h264_residual.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_openat_append gp sys_write sys_mmap zero16 rt sys_mmap ↻ bw_init nx_h264_residual_encode sys_mmap ↻ nx_coeff_token_encode sys_mmap ↻ ct_table_nc01 bw_write_bits bw_write_bit bw_write_bit ↻ nx_cavlc_encode_level_off bw_write_bit ↻ bw_write_bits ↻ nx_total_zeros_encode sys_mmap ↻ tz_table bw_write_bits ↻ nx_run_before_encode sys_mmap ↻ rb_table bw_write_bits ↻ br_init sys_mmap ↻ nx_h264_residual_decode nx_coeff_token_decode_ctx nx_coeff_token_decode_cdc ct_table_chromadc br_read_bit br_read_bits br_read_bit ↻ ct_table_for ct_table_nc01 ↻ ct_table_nc23

structs

none

consts

none

functions

15func gp(logfd: i64, s: *u8) -> i64
called by 2: rtmain calls 1: sys_write
22func gn(logfd: i64, v: i64) -> i64
called by 1: rt calls 2: sys_mmapsys_write
38func rt(logfd: i64, src: *i64, label: *u8) -> i64
called by 1: main calls 7: sys_mmapbw_initnx_h264_residual_encodebr_initnx_h264_residual_decodegp+1
56func zero16(d: *i64) -> i64 { var i: i64 = 0; while i < 16 { d[i] = 0; i = i + 1 } return 0 }
called by 1: main
58func main() -> i64
calls 7: sys_openat_appendgpsys_mmapzero16rtsys_close+1