code wiki / _hdl_build / nx_frame_sanity_gate.nx

nx_frame_sanity_gate.nx

buildroot/runtime/_hdl_build/nx_frame_sanity_gate.nx

6908 B181 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic frame

docs dependencies structs consts functions

about

nx_frame_sanity_gate.nx -- certification for the experiential frame verifier. Every fail-tooth is a REAL shipped bug class that numeric gates passed and only an eyeball caught: T2 pure-sky frame = the Gx-7 win-frame bug (camera stared over falling ground) T3 blown-white frame = the Gx-6 no-tonemap bug (50.4% of the frame clipped to 255) T4 void frame = buried-camera / unlit class T1 proves a REAL composed scene PASSES (a verifier that fails everything is not a verifier); T5 determinism; T6 anti-vacuity (4 frames -> 4 distinct metric vectors). MUTATION TARGET: the edge detector -- kill it and T1 must go RED while T2-T4 stay GREEN. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

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

13	const W: i64 = 192
14	const H: i64 = 108

functions

16	func ww(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 1: main calls 1: sys_write
17	func wn(v: i64) -> i64 called by 1: main calls 2: sys_write sys_mmap
26	func px(fb: *u8, x: i64, y: i64, r: i64, g: i64, b: i64) -> i64 called by 4: mkscene mksky mkblown mkvoid
32	func tex(x: i64, y: i64) -> i64 { return ((x31 + y17 + (x/3)*(y/5)) % 97) } called by 1: mkscene
35	func mkscene(fb: *u8) -> i64 called by 2: mkblown main calls 2: px tex
69	func mksky(fb: *u8) -> i64 called by 1: main calls 1: px
78	func mkblown(fb: *u8) -> i64 called by 1: main calls 2: mkscene px
94	func mkvoid(fb: *u8) -> i64 called by 1: main calls 1: px
104	func main() -> i64 calls 10: sys_mmap fs_default_th mkscene mksky mkblown mkvoid+4