code wiki / (root) / nx_ts_nal_gate.nx

nx_ts_nal_gate.nx

buildroot/runtime/nx_ts_nal_gate.nx

8581 B177 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic ts
docsdependenciesstructsconstsfunctions

about

nx_ts_nal_gate.nx -- proof for the HEVC indexing hole (2026-07-31). The load-bearing tests are T7/T8: an HEVC keyframe byte, read through the H.264 mask, classifies as NOT a keyframe. That is exactly what the pre-fix nx_ts_index did to every H.265 recording -- and it is why the failure was silent. It never errored; it just found no keyframes, forever. T11/T12 are the RANGE boundaries. IRAP is 16..23, not a single value, so an off-by-one at either end silently drops real seek points on a CRA-heavy stream while still looking like it works. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_ts_nal.nx nx_gate.nx nx_gate_verdict.nx nx_ts_nal_gate.nx

imports: nx_ts_nal.nxnx_gate.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gw sys_write gv_ctr sys_mmap tsn_codec_of_stream_type tg gv_check gv_puts sys_write ↻ tsn_nal_type tsn_nal_is_key tsn_nal_is_vcl tsn_sps_type tsn_pps_type tsn_build_hvcc tsn_hvcc_array gv_verdict gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻ sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real gv_cat sys_write ↻ sys_close sys_munmap ↻

structs

none

consts

none

functions

19func tg(cond: i64, label: *u8, ctr: *i64, unused: *i64) -> i64
called by 1: main calls 1: gv_check
24func main() -> i64