code wiki / _hdl_build / nx_graphics_census_gate.nx
nx_graphics_census_gate.nx source
↩ module page · 181 lines · 18869 B
1// nx_graphics_census_gate.nx -- ★FOUR-PILLAR the GRAPHICS/GEOMETRY FOUNDATION (operator 2026-07-10: "four pillar this
2// insanity and get us building logically -- thats the whole point of a sota researcher and census and critic and
3// adversary and team"). The machinery, pointed INWARD at our OWN foundation (not competitor features), so it catches the
4// next 'we have no triangle' WITHOUT the operator:
5// RESEARCHER banked graphics_foundation_banked.txt (fetched taxonomy + pipeline, not memory)
6// CENSUS score OUR representation+render+shading toolkit per axis, HAVE/PARTIAL/GAP
7// CRITIC liar-kill (artifact file must exist) + measured DEPTH bar
8// ADVERSARY ★MONOCULTURE SELF-AUDIT: count representation FAMILIES we actually HAVE. 1 = monoculture (the failure).
9// TEAM/LADDER emit the FOUNDATION-FIRST build order (F0 primitives -> ... -> F6 asset-io); features sit ON it.
10// license_tier: ORIGINAL expect_exit: 0
11import "nx_syscalls.nx"
12
13func hw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
14func 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 }
15func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
16func contains(buf: *u8, n: i64, needle: *u8) -> i64 {
17 let m: i64 = slen(needle)
18 if m == 0 { return 1 }
19 var i: i64 = 0
20 while i + m <= n {
21 var k: i64 = 0
22 while k < m { if buf[i+k] != needle[k] { k = m + 9 } else { k = k + 1 } }
23 if k == m { return 1 }
24 i = i + 1
25 }
26 return 0
27}
28func fexists(path: *u8) -> i64 {
29 let szp: *i64 = sys_mmap(16) as *i64
30 let b: *u8 = sys_read_file(path, szp)
31 if (b as i64) == 0 { return 0 }
32 if szp[0] < 64 { return 0 }
33 return 1
34}
35func ocat(o: *u8, at: i64, s: *u8) -> i64 { var i: i64=0; var a: i64=at; while s[i]!=(0 as u8){o[a]=s[i]; a=a+1; i=i+1} return a }
36func ocatn(o: *u8, at: i64, v: i64) -> i64 {
37 let b: *u8 = sys_mmap(32) as *u8
38 var x: i64 = v
39 var i: i64 = 31
40 if x == 0 { b[i]=48 as u8; i=i-1 }
41 while x > 0 { b[i]=(48+x%10) as u8; x=x/10; i=i-1 }
42 var a: i64 = at
43 var j: i64 = i+1
44 while j < 32 { o[a]=b[j]; a=a+1; j=j+1 }
45 return a
46}
47// one axis. verdict 2=HAVE 1=PARTIAL 0=GAP. needle must be in the bank; artifact must exist for any credit.
48func axis(rep: *u8, ro: *i64, bank: *u8, bankn: i64, name: *u8, needle: *u8, art: *u8, credit: i64, depth: i64, critic: *u8, ladder: *u8, sums: *i64) -> i64 {
49 var grounded: i64 = 0
50 if contains(bank, bankn, needle) == 1 { grounded = 1 }
51 var o: i64 = ro[0]
52 o = ocat(rep, o, "AXIS " as *u8); o = ocat(rep, o, name)
53 if grounded == 0 { o = ocat(rep, o, " THEIRS-UNGROUNDED -- EXCLUDED\n" as *u8); ro[0] = o; return 0-1 }
54 var af: i64 = 0
55 if slen(art) > 0 { af = fexists(art) }
56 var verdict: i64 = 0
57 if af == 1 { if credit == 1 { verdict = 1 } }
58 if verdict == 1 { if depth == 1 { verdict = 2 } }
59 if credit == 1 { if af == 0 { o = ocat(rep, o, " \xe2\x98\x85LIAR-KILL artifact MISSING -> GAP " as *u8) } }
60 if verdict == 2 { o = ocat(rep, o, " HAVE " as *u8) }
61 if verdict == 1 { o = ocat(rep, o, " PARTIAL " as *u8) }
62 if verdict == 0 { o = ocat(rep, o, " GAP " as *u8) }
63 o = ocat(rep, o, critic); o = ocat(rep, o, "\n" as *u8)
64 ro[0] = o
65 if verdict < 2 {
66 var lo: i64 = slen(ladder)
67 lo = ocat(ladder, lo, " - " as *u8); lo = ocat(ladder, lo, name); lo = ocat(ladder, lo, " :: " as *u8); lo = ocat(ladder, lo, critic); lo = ocat(ladder, lo, "\n" as *u8)
68 ladder[lo] = 0 as u8
69 }
70 sums[0] = sums[0] + 1
71 if verdict == 2 { sums[1] = sums[1] + 1 }
72 if verdict == 1 { sums[2] = sums[2] + 1 }
73 return verdict
74}
75
76func main() -> i64 {
77 hw("=== nx_graphics_census_gate -- FOUR-PILLAR the graphics FOUNDATION, pointed INWARD ===\n" as *u8)
78 var fails: i64 = 0
79 let szp: *i64 = sys_mmap(16) as *i64
80 let bank: *u8 = sys_read_file("knowledge/graphics_foundation_banked.txt" as *u8, szp)
81 let bankn: i64 = szp[0]
82 hw(" banked foundation: "); pn(bankn); hw(" bytes\n" as *u8)
83 var t1: i64 = 0
84 if (bank as i64) != 0 { if bankn > 400 { t1 = 1 } }
85 if t1 == 1 { hw("T1 PASS researcher-banked (foundation census is ground-truth-grounded, not memory)\n" as *u8) } else { fails=fails+1; hw("T1 FAIL bank missing\n" as *u8) }
86
87 let rep: *u8 = sys_mmap(262144)
88 let ro: *i64 = sys_mmap(16) as *i64
89 let ladder: *u8 = sys_mmap(65536)
90 ladder[0] = 0 as u8
91 let sums: *i64 = sys_mmap(32) as *i64
92 var o: i64 = 0
93 o = ocat(rep, o, "GRAPHICS FOUNDATION CENSUS (INWARD) -- 2026-07-10. Them = banked taxonomy+pipeline; us = artifact-checked organs.\n\n== REPRESENTATION ==\n" as *u8)
94 ro[0] = o
95
96 // -- REPRESENTATION families (the monoculture axis lives here) --
97 let vImp: i64 = axis(rep, ro, bank, bankn, "implicit / SDF " as *u8, "implicit" as *u8, "knowledge/nx_bodyatlas.png" as *u8, 1, 1, "HAVE: ellipsoid+capsule signed-distance fields, sphere-traced, smooth-union (anatstack/bodyatlas)" as *u8, ladder, sums)
98 let vMesh: i64 = axis(rep, ro, bank, bankn, "triangle mesh " as *u8, "triangle mesh" as *u8, "knowledge/nx_trimesh.png" as *u8, 1, 1, "HAVE (NEW 2026-07-10): real rasterizer + z-buffer + primitive library (nx_trimesh) -- the primitive we were missing for MONTHS" as *u8, ladder, sums)
99 let vCSG: i64 = axis(rep, ro, bank, bankn, "CSG booleans " as *u8, "CSG" as *u8, "runtime/nx_csg.nx" as *u8, 1, 1, "HAVE (census-correction 2026-07-11: the PARTIAL was STALE): full boolean set (nx_sdf/nx_csg) -- UNION(min) + INTERSECT(max) + DIFF(A-B), sharp AND smooth(smin/smax), general primitives box/sphere/cyl/torus/roundbox, marching-tetrahedra WATERTIGHT mesh; nx_csg_test 11/11 GREEN (difference removes material, mid-slice through-hole polys=2/open=0, STL round-trips, prints 99 layers) -> HAVE" as *u8, ladder, sums)
100 let vNurbs: i64 = axis(rep, ro, bank, bankn, "NURBS / parametric " as *u8, "NURBS" as *u8, "" as *u8, 0, 0, "GAP: no parametric spline surfaces (smooth CAD/industrial forms) -> GAP" as *u8, ladder, sums)
101 let vSub: i64 = axis(rep, ro, bank, bankn, "subdivision surface " as *u8, "subdivision" as *u8, "" as *u8, 0, 0, "GAP: no Catmull-Clark subdivision (coarse mesh -> smooth limit) -> GAP" as *u8, ladder, sums)
102 let vPC: i64 = axis(rep, ro, bank, bankn, "point cloud " as *u8, "point cloud" as *u8, "knowledge/nx_gsplat.png" as *u8, 1, 0, "PARTIAL: gaussian-splat is point-based; no general point-cloud ingest/render -> PARTIAL" as *u8, ladder, sums)
103 let vVox: i64 = axis(rep, ro, bank, bankn, "voxel " as *u8, "voxel" as *u8, "runtime/nx_voxel_native.nx" as *u8, 1, 0, "PARTIAL (census-correction 2026-07-11: GAP reason was STALE): nx_voxel_native = a NATIVE (nx_cc->nxasm, not the wasm mineworld) first-person raycast voxel renderer w/ procgen terrain (nx_world_seed) + truecolor depth shading; residual: no block edit/lighting/infinite-chunks (below Minecraft) -> PARTIAL" as *u8, ladder, sums)
104 let vGS: i64 = axis(rep, ro, bank, bankn, "gaussian splatting " as *u8, "gaussian" as *u8, "knowledge/nx_gsplat_face.png" as *u8, 1, 0, "PARTIAL: sovereign splat renderer (nx_gsplat); not a differentiable trained fit at SOTA -> PARTIAL" as *u8, ladder, sums)
105
106 o = ro[0]; o = ocat(rep, o, "\n== RASTER / TRACE ==\n" as *u8); ro[0] = o
107 axis(rep, ro, bank, bankn, "rasterization " as *u8, "rasterization" as *u8, "knowledge/nx_trimesh.png" as *u8, 1, 1, "HAVE: barycentric edge-function fill w/ bbox (nx_trimesh)" as *u8, ladder, sums)
108 axis(rep, ro, bank, bankn, "z-buffer " as *u8, "Z-BUFFER" as *u8, "knowledge/nx_trimesh.png" as *u8, 1, 1, "HAVE: per-pixel depth, gate-proven EXACT (near survives later-drawn far)" as *u8, ladder, sums)
109 axis(rep, ro, bank, bankn, "projection " as *u8, "projection" as *u8, "knowledge/nx_trimesh.png" as *u8, 1, 1, "HAVE: perspective projection + model/view transforms (trimesh) + terrain cameras (worldgen)" as *u8, ladder, sums)
110 axis(rep, ro, bank, bankn, "clipping / culling " as *u8, "clipping" as *u8, "knowledge/nx_trimesh.png" as *u8, 1, 0, "PARTIAL: crude near-plane vertex skip; no proper frustum clip / guard-band -> PARTIAL" as *u8, ladder, sums)
111
112 o = ro[0]; o = ocat(rep, o, "\n== SHADING / MATERIAL ==\n" as *u8); ro[0] = o
113 axis(rep, ro, bank, bankn, "flat shading " as *u8, "flat shading" as *u8, "knowledge/nx_trimesh.png" as *u8, 1, 1, "HAVE: per-face flat shade (nx_trimesh)" as *u8, ladder, sums)
114 axis(rep, ro, bank, bankn, "Gouraud (smooth) " as *u8, "Gouraud" as *u8, "knowledge/nx_trimesh.png" as *u8, 1, 1, "HAVE (NEW 2026-07-10, F3 rung built FROM this census): per-vertex normals + barycentric-interpolated Lambert (nx_trimesh smooth mode); gate-proven facet-edges 401->76 on a sphere -> HAVE" as *u8, ladder, sums)
115 axis(rep, ro, bank, bankn, "Phong / specular " as *u8, "Phong" as *u8, "knowledge/nx_phong.png" as *u8, 1, 1, "HAVE (NEW 2026-07-11, F3): Blinn-Phong specular highlights -- per-vertex (N.H)^16 * strength, barycentric-interpolated (nx_trimesh tm_set_spec, opt-in/zero-cost off); gate-proven highlight 0->134 bright px vs matte; residual vs full Phong: per-PIXEL interpolated normals -> HAVE" as *u8, ladder, sums)
116 axis(rep, ro, bank, bankn, "PBR / BRDF " as *u8, "PBR" as *u8, "knowledge/nishi_being_full.glb" as *u8, 1, 0, "PARTIAL (NEW 2026-07-11): per-material metallic-roughness PBR in the multi-mesh glTF export -- 8 systems w/ DISTINCT roughness (skin .72/bone .62/organs .35/vessels .26, node-verified), renders PBR in Blender/three.js; residual: our OWN renderer is Blinn-Phong not an energy-conserving BRDF + no image-based lighting -> PARTIAL" as *u8, ladder, sums)
117 axis(rep, ro, bank, bankn, "texture mapping " as *u8, "texture mapping" as *u8, "knowledge/nx_boxtex.png" as *u8, 1, 1, "HAVE (2026-07-11, TWO composing proofs): (a) nx_tex_sample = the texture2D primitive (bilinear 4-tap + clamp/repeat/mirror, 5/5 GREEN); (b) ★per-fragment UV in the RASTERIZER on a REAL conformance asset -- Khronos BoxTextured's own PALETTE PNG (ecosystem nx_png_decoder, PLTE added) sampled through the asset's own TEXCOORD_0, render-verified = the Cesium logo on the box (nx_boxtex_gate, 66 vs 4 distinct colours); residual: wire bilinear INTO the raster path (nearest now) + perspective-correct UV + DamagedHelmet map set -> HAVE" as *u8, ladder, sums)
118 axis(rep, ro, bank, bankn, "UV mapping " as *u8, "UV" as *u8, "" as *u8, 0, 0, "GAP: no surface->texture parameterization (unwrap) -> GAP" as *u8, ladder, sums)
119 axis(rep, ro, bank, bankn, "normal / bump map " as *u8, "normal" as *u8, "knowledge/nx_biomes.png" as *u8, 1, 0, "PARTIAL: noise bump on the SDF surface (worldgen); no tangent-space normal maps on meshes -> PARTIAL" as *u8, ladder, sums)
120 axis(rep, ro, bank, bankn, "displacement map " as *u8, "displacement" as *u8, "knowledge/nx_anatstack.png" as *u8, 1, 0, "PARTIAL: fuzz displacement on the SDF (anatstack); no image-driven mesh displacement -> PARTIAL" as *u8, ladder, sums)
121 axis(rep, ro, bank, bankn, "anti-aliasing " as *u8, "anti-aliasing" as *u8, "knowledge/nx_aa.png" as *u8, 1, 1, "HAVE (NEW 2026-07-11, F3): SSAA 2x supersampling (trimesh_render_aa: render at 2x, box-downsample); gate-proven hard bg->object edge transitions 146 -> 44 on a diagonal cube; residual: MSAA (cheaper) + temporal AA -> HAVE" as *u8, ladder, sums)
122
123 o = ro[0]; o = ocat(rep, o, "\n== PIPELINE / COMPOSITION ==\n" as *u8); ro[0] = o
124 axis(rep, ro, bank, bankn, "scene graph " as *u8, "scene" as *u8, "knowledge/nx_scene_graph.txt" as *u8, 1, 1, "HAVE (NEW 2026-07-11, F1 rung built FROM this census): general per-object transform hierarchy -- nx_scenegraph (world=parent*local, Q16 integer/deterministic); gate-proven compose + PARENT-MOVES-CHILDREN + rotation-composes + neg-control flat-fails (nx_scenegraph_gate) -> HAVE" as *u8, ladder, sums)
125
126 // ================= FIELD-STANDARD EVIDENCE (the graphics MSU: THEIR assets/scenes on OUR stack -- the =========
127 // anti-ellipsoid mechanism: evidence the FIELD defines, never only our own round-tripped exports) ==============
128 o = ro[0]; o = ocat(rep, o, "\n== FIELD-STANDARD EVIDENCE (their assets on OUR stack) ==\n" as *u8); ro[0] = o
129 axis(rep, ro, bank, bankn, "std assets (Khronos)" as *u8, "Khronos" as *u8, "knowledge/nx_stdassets.png" as *u8, 1, 1, "HAVE (NEW 2026-07-11): the field's conformance assets render on OUR renderer -- Box.glb parses EXACT-canonical (24v/12t, renders red per ITS OWN baseColorFactor) + Duck.glb (2399v/4212t COLLADA duck) renders smooth (nx_stdassets_gate, REAL third-party bytes); residual: BoxTextured/DamagedHelmet (textures), RiggedSimple (skinning) -> HAVE" as *u8, ladder, sums)
130 axis(rep, ro, bank, bankn, "std mesh corpus " as *u8, "Stanford" as *u8, "knowledge/nx_bunny.png" as *u8, 1, 1, "HAVE (NEW 2026-07-11): the STANFORD BUNNY renders on our rasterizer at EXACT canonical counts 35947v/69451t (bun_zipper via sovereign OBJ loader, nx_bunny_gate; largest mesh to date, render-verified = THE bunny); residual: dragon/buddha (1.1M tris, need bigger caps) + binary PLY -> HAVE" as *u8, ladder, sums)
131 axis(rep, ro, bank, bankn, "GI ref (Cornell box)" as *u8, "Cornell" as *u8, "knowledge/nx_cornell.png" as *u8, 1, 0, "PARTIAL (NEW 2026-07-11): the CORNELL BOX solved with patch RADIOSITY (Goral et al.'s own method: 650 patches, Q16 form factors, block occlusion) -- COLOUR BLEEDING measured + causally isolated (direct-only control r-g==0 EXACTLY; with bounce red-side +104 / green-side +61 / centre 12 milli) + occluder soft shadow (109 vs 1104 lum), classic image rendered (nx_cornell_gate); residual vs the full reference: measured SPECTRAL reflectances + rotated blocks + quantitative photograph comparison -> PARTIAL" as *u8, ladder, sums)
132
133 // ---- score ----
134 hw("\n" as *u8)
135 let grounded: i64 = sums[0]; let have: i64 = sums[1]; let part: i64 = sums[2]; let gap: i64 = grounded-have-part
136 let score: i64 = (have*1000 + part*400) / grounded
137 hw(" grounded="); pn(grounded); hw(" HAVE="); pn(have); hw(" PARTIAL="); pn(part); hw(" GAP="); pn(gap); hw(" SCORE="); pn(score); hw("/1000\n" as *u8)
138
139 // ---- ★ADVERSARY: representation-family MONOCULTURE self-audit (the check that would have caught the ellipsoid trap) ----
140 var repfam: i64 = 0
141 if vImp == 2 { repfam = repfam + 1 }
142 if vMesh == 2 { repfam = repfam + 1 }
143 if vCSG == 2 { repfam = repfam + 1 }
144 if vNurbs == 2 { repfam = repfam + 1 }
145 if vSub == 2 { repfam = repfam + 1 }
146 if vPC == 2 { repfam = repfam + 1 }
147 if vVox == 2 { repfam = repfam + 1 }
148 if vGS == 2 { repfam = repfam + 1 }
149 hw(" \xe2\x98\x85MONOCULTURE SELF-AUDIT: representation families at HAVE = "); pn(repfam); hw(" (was 1 = ellipsoid-only until 2026-07-10; triangle mesh made it 2)\n" as *u8)
150 var t2: i64 = 0
151 if repfam >= 2 { t2 = 1 }
152 if t2 == 1 { hw("T2 PASS not a monoculture anymore (>=2 representation families) -- and the machinery now WATCHES this\n" as *u8) } else { fails=fails+1; hw("T2 FAIL representation MONOCULTURE (only 1 family) -- the systemic failure\n" as *u8) }
153 var t3: i64 = 0
154 if grounded >= 18 { if have < grounded*3/4 { if part+gap >= 8 { t3 = 1 } } }
155 if t3 == 1 { hw("T3 PASS census grounded + critic BITES (HAVE not a majority; foundation gaps named)\n" as *u8) } else { fails=fails+1; hw("T3 FAIL\n" as *u8) }
156
157 // ---- emit report + FOUNDATION-FIRST LADDER (the logical build order) ----
158 o = ro[0]
159 o = ocat(rep, o, "\nSCORE " as *u8); o = ocatn(rep, o, score); o = ocat(rep, o, "/1000 (HAVE " as *u8); o = ocatn(rep, o, have); o = ocat(rep, o, " / PARTIAL " as *u8); o = ocatn(rep, o, part); o = ocat(rep, o, " / GAP " as *u8); o = ocatn(rep, o, gap); o = ocat(rep, o, " of " as *u8); o = ocatn(rep, o, grounded); o = ocat(rep, o, ")\n" as *u8)
160 o = ocat(rep, o, "\n\xe2\x98\x85THE SYSTEMIC FAILURE (why this census exists): for MONTHS one primitive -- the axis-aligned ELLIPSOID SDF -- served EVERY organ by reuse. No gate measured REPRESENTATIONAL ADEQUACY; the adversary was pointed OUTWARD at competitor features. The operator, not the machinery, caught it (2026-07-10). FIX = this INWARD foundation census + the monoculture self-audit above, run standing.\n" as *u8)
161 o = ocat(rep, o, "\nFOUNDATION-FIRST LADDER (build LOGICALLY -- each rung rests on the one below; FEATURES sit on top, never before):\n" as *u8)
162 o = ocat(rep, o, " F0 PRIMITIVES -- implicit(SDF) HAVE + triangle-mesh HAVE + CSG booleans HAVE (nx_csg union/intersect/diff -> watertight mesh); add NURBS/subdivision for smooth CAD surfaces\n" as *u8)
163 o = ocat(rep, o, " F1 TRANSFORMS -- MVP HAVE + FK-rig HAVE + SCENE GRAPH HAVE (nx_scenegraph: per-object transform hierarchy world=parent*local); next = scene-graph instancing + a DCC-style editor on top\n" as *u8)
164 o = ocat(rep, o, " F2 RASTER/TRACE -- rasterizer+z-buffer HAVE + sphere-trace HAVE; add real clipping + path-traced bounce\n" as *u8)
165 o = ocat(rep, o, " F3 SHADING/MATERIAL - flat HAVE -> \xe2\x98\x85Gouraud/Phong SMOOTH NORMALS -> PBR/BRDF -> UV + texture + normal + displacement maps [turns FACETS into REAL surfaces]\n" as *u8)
166 o = ocat(rep, o, " F4 LIGHTING -- Lambert+shadows HAVE -> GI bounce(partial) -> image-based lighting\n" as *u8)
167 o = ocat(rep, o, " F5 ANIMATION -- FK rig HAVE -> skinning -> keyframes -> physics\n" as *u8)
168 o = ocat(rep, o, " F6 ASSET IO -- glTF export(partial) -> OBJ/USD import+export + anti-aliased output\n" as *u8)
169 o = ocat(rep, o, "\nNEXT LOGICAL RUNG = F3 SMOOTH SHADING (Gouraud/Phong per-vertex normals): the measured gap between low-poly FACETS and REAL surfaces; applies to the mesh AND unlocks MESHING THE BEING smoothly. THEN mesh the being onto this unified pipeline.\n" as *u8)
170 o = ocat(rep, o, "\nGAP/PARTIAL residuals:\n" as *u8)
171 o = ocat(rep, o, ladder)
172 rep[o] = 0 as u8
173 let fd: i64 = sys_openat_wr("knowledge/graphics_foundation_census.txt\x00" as *u8, 0x1a4)
174 sys_write(fd, rep, o); sys_close(fd)
175 hw("T4 report + foundation-first ladder -> knowledge/graphics_foundation_census.txt ("); pn(o); hw(" bytes)\n" as *u8)
176
177 if fails == 0 { hw("GRAPHICS-FOUNDATION-CENSUS GREEN -- four-pillar, INWARD, monoculture-audited: score "); pn(score); hw("/1000; logical foundation-first ladder emitted\n" as *u8); sys_exit(0); return 0 }
178 hw("GRAPHICS-FOUNDATION-CENSUS RED fails="); pn(fails); hw("\n" as *u8)
179 sys_exit(1)
180 return 1
181}