code wiki / (root) / nx_h264_ctctx_gate.nx

nx_h264_ctctx_gate.nx

buildroot/runtime/nx_h264_ctctx_gate.nx

5896 B168 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic h264
docsdependenciesstructsconstsfunctions

about

nx_h264_ctctx_gate.nx -- validate ALL coeff_token nC contexts via the dispatcher. For nC in {0,2,4}: prefix-free + coverage + round-trip (encode_ctx<->decode_ctx). For nC=8: FLC round-trip of all 62 valid (tc,t1) + distinct-code (bijection). For nC=-1: chroma DC round-trip (14). Exit 0 GREEN / 1 RED. Log knowledge/status/h264_ctctx_gate.log. license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_h264_bits.nx nx_h264_bitwriter.nx nx_h264_coeff_token.nx nx_h264_ctctx_gate.nx

imports: nx_syscalls.nxnx_h264_bits.nxnx_h264_bitwriter.nxnx_h264_coeff_token.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 validate_vlc_ctx sys_mmap nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ ct_table_for ct_table_nc01 ct_table_nc23 ct_table_nc47 gp ↻ gnum sys_mmap ↻ sys_write ↻ bw_init nx_coeff_token_encode_ctx nx_coeff_token_encode_cdc sys_mmap ↻ ct_table_chromadc bw_write_bits bw_write_bit bw_write_bits ↻ sys_mmap ↻ ct_table_for ↻ br_init sys_mmap ↻

structs

none

consts

none

functions

12func gp(fd: i64, s: *u8) -> i64
called by 2: validate_vlc_ctxmain calls 1: sys_write
19func gnum(fd: i64, v: i64) -> i64
called by 2: validate_vlc_ctxmain calls 2: sys_mmapsys_write
35func validate_vlc_ctx(fd: i64, nC: i64) -> i64
called by 1: main calls 8: sys_mmapct_table_forgpgnumbw_initnx_coeff_token_encode_ctx+2
91func main() -> i64
calls 11: sys_openat_appendgpvalidate_vlc_ctxsys_mmapbw_initnx_coeff_token_encode_ctx+5