code wiki / (root) / nx_h264_tzrb_gate.nx

nx_h264_tzrb_gate.nx

buildroot/runtime/nx_h264_tzrb_gate.nx

4935 B133 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic h264
docsdependenciesstructsconstsfunctions

about

nx_h264_tzrb_gate.nx -- validate FULL total_zeros (TC 1..15) + run_before (zL 1..6,>6). Each column: count, PREFIX-FREE, COVERAGE (all values present), ROUND-TRIP. Exit 0 GREEN / 1 RED. Log knowledge/status/h264_tzrb_gate.log. license_tier: ORIGINAL

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_h264_bits.nx nx_h264_bitwriter.nx nx_h264_total_zeros.nx nx_h264_run_before.nx nx_h264_tzrb_gate.nx

imports: nx_syscalls.nxnx_h264_bits.nxnx_h264_bitwriter.nxnx_h264_total_zeros.nxnx_h264_run_before.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 tz_table prefix_free bw_init nx_total_zeros_encode sys_mmap ↻ tz_table ↻ bw_write_bits bw_write_bit br_init sys_mmap ↻ nx_total_zeros_decode sys_mmap ↻ tz_table ↻ br_read_bit gnum sys_mmap ↻ sys_write ↻ rb_table nx_run_before_encode sys_mmap ↻ rb_table ↻ bw_write_bits ↻ nx_run_before_decode sys_mmap ↻ rb_table ↻ br_read_bit ↻ sys_close sys_exit

structs

none

consts

none

functions

11func gp(fd: i64, s: *u8) -> i64
called by 1: main calls 1: sys_write
18func gnum(fd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
34func prefix_free(ln: *i64, cd: *i64, n: i64) -> i64
called by 1: main
48func main() -> i64
calls 15: sys_openat_appendgpsys_mmaptz_tableprefix_freebw_init+9