code wiki / (root) / nx_vid_dur_gate.nx

nx_vid_dur_gate.nx

buildroot/runtime/nx_vid_dur_gate.nx

6234 B88 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_vid_dur_gate.nx -- SOVEREIGN gate for the container-duration parsers (vd_mp4_dur / vd_mkv_dur / vd_sniff). Crafts minimal mp4 + mkv byte fixtures with KNOWN durations and asserts the parsers recover them. No files, no external tools -- pure in-memory byte parsing. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_vid_dur_lib.nx nx_vid_dur_gate.nx

imports: nx_syscalls.nxnx_vid_dur_lib.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap g_str g_eq g_p sys_write g_n sys_mmap ↻ sys_write ↻ vd_sniff sys_mmap ↻ vd_find vd_mp4_dur vd_find ↻ vd_u32 vd_u64 vd_mkv_dur sys_mmap ↻ vd_find ↻ vd_ieee64 vd_ieee32 vd_ieee64 ↻ g_p ↻ g_n ↻ sys_exit

structs

none

consts

none

functions

7func g_p(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 2: g_eqmain calls 1: sys_write
8func g_n(v: i64) -> i64
called by 2: g_eqmain calls 2: sys_mmapsys_write
14func g_eq(label: *u8, got: i64, want: i64, pass: *i64, fail: *i64) -> i64
called by 1: main calls 2: g_pg_n
19func g_str(buf: *u8, off: i64, s: *u8) -> i64 { var i: i64 = 0; while s[i] != (0 as u8) { buf[off + i] = s[i]; i = i + 1 } return off + i }
called by 1: main
21func main(argc: i64, argv: *i64) -> i64
calls 10: sys_mmapg_strg_eqvd_sniffvd_mp4_durvd_mkv_dur+4