code wiki / _hdl_build / nx_meshlit_gate.nx

nx_meshlit_gate.nx

buildroot/runtime/_hdl_build/nx_meshlit_gate.nx

4408 B59 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_meshlit_gate.nx -- GATE for CAP-PBR rung-1 (Lambert diffuse directional shading in nx_meshrender, over nx_render_core). Proves the lighting law with HARD numbers: head-on face = full bright, perpendicular = 0, 45 deg = cos45 (the measured cosine law), back-face = clamped 0 (no negative light), a perpendicular face ROTATED into the light relights to full (orbit relighting), and mr_shade actually brightens a lit face vs an unlit one + respects an ambient floor; teeth: amb=0 + unlit = fully black (shading really darkens). expect_exit: 0

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_g_puts_lib.nx nx_render_core.nx nx_meshrender.nx nx_meshlit_gate.nx

imports: nx_syscalls.nxnx_g_puts_lib.nxnx_render_core.nxnx_meshrender.nx

imported by: nobody (leaf or entry point)

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

main g_puts sys_write mr_lambert mr_dot3 sys_mmap mr_rotn rc_cos_q14 rc_sin_q14 rc_sin_q14 ↻ mr_shade g_pn sys_mmap ↻ sys_write ↻ ck g_puts ↻ sys_openat_append sys_write ↻ sys_close sys_exit

structs

none

consts

none

functions

11func g_pn(v: i64) -> i64 { let b: *u8=sys_mmap(28); var x: i64=v; if x<0{b[0]=45 as u8;sys_write(1,b,1);x=0-x} if x==0{b[0]=48 as u8;sys_write(1,b,1);return 0} var d: i64=0; var y: i64=x; while y>0{d=d+1;y=y/10} var i: i64=d-1; y=x; while i>=0{b[i]=(48+(y%10)) as u8;y=y/10;i=i-1} sys_write(1,b,d); return 0 }
called by 1: main calls 2: sys_mmapsys_write
12func ck(name: *u8, c: i64) -> i64 { if c==1 { g_puts(" PASS " as *u8) } else { g_puts(" FAIL " as *u8) } g_puts(name); g_puts("\n" as *u8); return c }
called by 1: main calls 1: g_puts
14func main() -> i64