code wiki / _hdl_build / nx_stdassets_gate.nx

nx_stdassets_gate.nx

buildroot/runtime/_hdl_build/nx_stdassets_gate.nx

6014 B92 linesdepth 4pulls 7 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_stdassets_gate.nx -- ★FIELD-STANDARD EVIDENCE (the graphics MSU): load + render the KHRONOS glTF conformance assets -- REAL third-party bytes (Box.glb "start with this", Duck.glb the COLLADA duck) -- on OUR renderer. This is the anti-ellipsoid mechanism: evidence defined by the FIELD, not our own round-tripped exports. T1 Box parses to its KNOWN canonical structure (24 verts / 12 tris) + renders red (its baseColorFactor 0.8,0,0). T2 Duck parses (>2000 verts) + renders. T3 determinism. T4 regression (our own .glb still loads exactly). T5 evidence gallery -> knowledge/nx_stdassets.png. license_tier: ORIGINAL expect_exit: 0

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_png.nx nx_trimesh.nx nx_gltf_load.nx nx_stdassets_gate.nx

imports: nx_syscalls.nxnx_png.nxnx_trimesh.nxnx_gltf_load.nx

imported by: nobody (leaf or entry point)

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

main hw sys_write sys_mmap tm_set_spec tm_set_tex gltf_load_std sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close gll_ru32 gls_arr_obj gls_find gll_slen gls_key_int gls_find ↻ gll_slen ↻ gls_accessor sys_mmap ↻ gls_arr_obj ↻ gls_key_int ↻ gls_bufview sys_mmap ↻ gls_arr_obj ↻ gls_key_int ↻ gls_f32s gll_f32i gls_basecolor gls_find ↻ tm_reset sys_mmap ↻ tm_vert_n tm_vert tm_vcol tm_vuv gls_ru16

structs

none

consts

18const BG: i64 = 24 + 26*256 + 34*65536
19const W: i64 = 300
20const H: i64 = 300

functions

12func hw(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
13func pn(v: i64) -> i64 { let b: *u8=sys_mmap(32) as *u8; var x: i64=v; var ng: i64=0; if x<0{ng=1;x=0-x} var i: i64=31; if x==0{b[i]=48 as u8;i=i-1} while x>0{b[i]=(48+x%10) as u8;x=x/10;i=i-1} if ng==1{b[i]=45 as u8;i=i-1} sys_write(1,(b as i64+i+1) as *u8,31-i); return 0 }
called by 1: main calls 2: sys_mmapsys_write
14func clearfb(fb: *i64, n: i64, c: i64) -> i64 { var i: i64=0; while i<n { fb[i]=c; i=i+1 } return 0 }
called by 1: main
15func filled(fb: *i64, n: i64, bg: i64) -> i64 { var c: i64=0; var i: i64=0; while i<n { if fb[i]!=bg { c=c+1 } i=i+1 } return 0+c }
called by 1: main
16func reddish(fb: *i64, n: i64) -> i64 { var c: i64=0; var i: i64=0; while i<n { let p: i64=fb[i]; let r: i64=p&255; let g: i64=(p>>8)&255; let b: i64=(p>>16)&255; if r>g+30 { if r>b+30 { c=c+1 } } i=i+1 } return c }
called by 1: main
22func main() -> i64