code wiki / (root) / nx_timeline_gate.nx

nx_timeline_gate.nx

buildroot/runtime/nx_timeline_gate.nx

4077 B96 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_timeline_gate.nx -- REFEREE for R4b (nx_timeline schedule). Q=16384. Case A: 2 clips len[5,5], window[2] -> overlap crossfade. expect 8 frames: A0,A1,A2 ; xfade(A3,B0)@Q/3, xfade(A4,B1)@2Q/3 ; B2,B3,B4 Case B: 2 clips len[5,5], window[0] -> hard cut, 10 straight frames, no blend. Asserts the full schedule by record. Every value PRINTED. Exit 0/1. Sovereign: nx_syscalls + nx_timeline. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_timeline.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

10	func gp(logfd: i64, s: *u8) -> i64 called by 2: dump main calls 1: sys_write
17	func gn(logfd: i64, v: i64) -> i64 called by 2: dump main calls 2: sys_mmap sys_write
31	func rec_eq(recs: *i64, i: i64, mode: i64, sa: i64, fa: i64, sb: i64, fb: i64, pr: i64) -> i64 called by 1: main
40	func dump(logfd: i64, recs: *i64, n: i64) -> i64 called by 1: main calls 2: gp gn
52	func main() -> i64 calls 9: sys_openat_append gp sys_mmap nx_timeline_plan gn dump+3