code wiki / (root) / nx_mp4_stbl_gate.nx

nx_mp4_stbl_gate.nx

buildroot/runtime/nx_mp4_stbl_gate.nx

5291 B111 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic mp4
docsdependenciesstructsconstsfunctions

about

nx_mp4_stbl_gate.nx -- REFEREE for the MP4 sample-table reader (rung 1). Synthesizes a byte-exact MP4 with a full video stbl using a cursor builder: ftyp + moov{ trak{ mdia{ hdlr(vide) + minf{ stbl{ stsd(entry fourCC=avc1) + stsz(size=0,count=3,[100,120,90]) + stco(1) }}}}} Asserts nx_mp4_video_info reports codec=H264, frames=3, chunks=1. Also a VP9 variant -> codec=VP9. Every value PRINTED. Exit 0/1. Sovereign: nx_syscalls + nx_mp4_demux + nx_mp4_stbl. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_mp4_demux.nx nx_mp4_stbl.nx nx_mp4_stbl_gate.nx

imports: nx_syscalls.nxnx_mp4_demux.nxnx_mp4_stbl.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 build sys_mmap ↻ bopen wt4 wty wt4 ↻ w32 wbe32 bclose wbe32 ↻ nx_mp4_video_info sys_mmap ↻ mp4_find_box mp4_be32 mp4_be64 mp4_t4 mp4_be32 ↻ mp4_be64 ↻ mp4_t4 ↻ nx_mp4_parse_stbl sys_mmap ↻ mp4_find_box ↻ nx_mp4_codec_class mp4_t4 ↻ mp4_be32 ↻ gn sys_mmap ↻ sys_write ↻ sys_close sys_exit

structs

none

consts

none

functions

12func gp(logfd: i64, s: *u8) -> i64
called by 1: main calls 1: sys_write
19func gn(logfd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
33func wbe32(b: *u8, o: i64, v: i64) -> i64
called by 2: bclosew32
38func wt4(b: *u8, o: i64, s: *u8) -> i64 { b[o] = s[0]; b[o + 1] = s[1]; b[o + 2] = s[2]; b[o + 3] = s[3]; return 0 }
called by 2: bopenwty
41func bopen(b: *u8, cur: *i64, ty: *u8) -> i64 { let o: i64 = cur[0]; wt4(b, o + 4, ty); cur[0] = o + 8; return o }
called by 1: build calls 1: wt4
42func bclose(b: *u8, cur: *i64, hdr: i64) -> i64 { wbe32(b, hdr, cur[0] - hdr); return 0 }
called by 1: build calls 1: wbe32
43func w32(b: *u8, cur: *i64, v: i64) -> i64 { wbe32(b, cur[0], v); cur[0] = cur[0] + 4; return 0 }
called by 1: build calls 1: wbe32
44func wty(b: *u8, cur: *i64, s: *u8) -> i64 { wt4(b, cur[0], s); cur[0] = cur[0] + 4; return 0 }
called by 1: build calls 1: wt4
47func build(b: *u8, codec: *u8) -> i64
called by 1: main calls 5: sys_mmapbopenwtyw32bclose
73func main() -> i64
calls 8: sys_openat_appendgpsys_mmapbuildnx_mp4_video_infogn+2