code wiki / (root) / nx_mp4_demux_gate.nx

nx_mp4_demux_gate.nx

buildroot/runtime/nx_mp4_demux_gate.nx

5004 B122 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic mp4

docs dependencies structs consts functions

about

nx_mp4_demux_gate.nx -- REFEREE for the MP4 demuxer (real-video bridge rung 0). Synthesizes byte-exact minimal ISO-BMFF files (like nx_png_real_smoke does for PNG) and asserts the demuxer reads the box tree correctly: A/V file : ftyp + moov{ trak[vide] + trak[soun] } -> tracks=2, video=1, audio=1 VIDEO-ONLY: ftyp + moov{ trak[vide] } -> tracks=1, video=1, audio=0 (this IS the "audio dropped at capture" signature) GARBAGE : non-MP4 bytes -> has_moov=0 (clean reject) Every value PRINTED. stdout + knowledge/status/mp4_demux_gate.log. Exit 0/1. Sovereign: nx_syscalls + nx_mp4_demux. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_mp4_demux.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

13	func gp(logfd: i64, s: *u8) -> i64 called by 1: main calls 1: sys_write
20	func gn(logfd: i64, v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
35	func wbe32(b: *u8, o: i64, v: i64) -> i64 called by 3: emit_hdlr emit_trak build_mp4
42	func wt4(b: u8, o: i64, s: u8) -> i64 called by 3: emit_hdlr emit_trak build_mp4
47	func emit_hdlr(b: u8, o: i64, htype: u8) -> i64 called by 1: emit_trak calls 2: wbe32 wt4
54	func emit_trak(b: u8, o: i64, htype: u8) -> i64 called by 1: build_mp4 calls 3: wbe32 wt4 emit_hdlr
61	func build_mp4(b: *u8, two: i64) -> i64 called by 1: main calls 3: wbe32 wt4 emit_trak
71	func main() -> i64 calls 8: sys_openat_append gp sys_mmap build_mp4 nx_mp4_demux gn+2