code wiki / (root) / nx_h264_mv_recon_gate.nx

nx_h264_mv_recon_gate.nx

buildroot/runtime/nx_h264_mv_recon_gate.nx

21778 B451 linesdepth 5pulls 22 transitivereach 0 importersview sourcekind gate/prooftopic h264
docsdependenciesstructsconstsfunctions

about

nx_h264_mv_recon_gate.nx -- P-R4a: reconstruct the per-4x4 MOTION-VECTOR FIELD of frame 1 of realtest.mp4 straight from the bitstream (mvp from neighbours via the grid + mvd), then verify row 0's P_L0_16x16 motion vectors BIT-EXACT against ffmpeg ground truth (12 MBs, captured by an instrumented ffmpeg into knowledge/status/ffmpeg_mv_frame1.txt -- the 3rd-party oracle). Walks the WHOLE P-frame (keeps entropy in sync) but asserts on the verified row-0 16x16 set. Exit 0/1. Log knowledge/status/h264_mv_recon_gate.log. license_tier: ORIGINAL

dependencies 16 imports · 0 importers

nx_syscalls.nx nx_mp4_demux.nx nx_mp4_stbl.nx nx_h264_bits.nx nx_h264_sps.nx nx_h264_pps.nx nx_h264_nal.nx nx_h264_slice.nx nx_h264_mb.nx nx_h264_mb_pred.nx nx_h264_mv_recon_gate.nx

diagram shows first 10 each side; +6 more imports, +0 more importers in the complete lists below.

imports: nx_syscalls.nxnx_mp4_demux.nxnx_mp4_stbl.nxnx_h264_bits.nxnx_h264_sps.nxnx_h264_pps.nxnx_h264_nal.nxnx_h264_slice.nxnx_h264_mb.nxnx_h264_mb_pred.nxnx_h264_coeff_token.nxnx_h264_cavlc_level.nxnx_h264_residual.nxnx_h264_nc.nxnx_h264_pmb.nxnx_h264_mvgrid.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 sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close sys_exit find_tag mp4_t4 nx_h264_unescape_rbsp nx_h264_parse_sps sys_mmap ↻ br_init sys_mmap ↻ br_read_bits br_read_bit br_read_ue br_read_bit ↻ br_read_bits ↻ nx_h264_is_high br_read_se br_read_ue ↻ nx_h264_parse_pps sys_mmap ↻ br_init ↻ br_read_ue ↻ br_read_bits ↻ br_read_se ↻ nx_mp4_video_info sys_mmap ↻ mp4_find_box mp4_be32 mp4_be64 mp4_t4 ↻ mp4_be32 ↻

structs

none

consts

none

functions

24func gp(fd: i64, s: *u8) -> i64
called by 1: main calls 1: sys_write
30func gn(fd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
41func find_tag(b: *u8, start: i64, end: i64, s: *u8) -> i64
called by 1: main calls 1: mp4_t4
46func dec_luma(br: *BitReader, lumaTC: *i64, lbW: i64, bx: i64, by: i64, maxc: i64, coeff: *i64) -> i64
58func dec_cac(br: *BitReader, cTC: *i64, cbW: i64, cbx: i64, cby: i64, coeff: *i64) -> i64
71func read_ref(sbr: *BitReader, num_ref: i64) -> i64
called by 1: main calls 2: br_read_bitbr_read_ue
77func main() -> i64