code wiki / _hdl_build / nx_cadtwin_census.nx
`nx_cadtwin_census.nx` source

↩ module page · 139 lines · 19757 B
1// nx_cadtwin_census.nx -- HONEST measured census: where does the NISHI stack stand vs the July-2026 SOTA on
2// the CAR DIGITAL-TWIN pipeline (operator 2026-07-07: "use explodeview.com as a benchmark and nishi researcher
3// to get our cad work to state of the art so we can rebuild an entire car and identify underbuilt parts if we
4// are flipping them")? Pillars: P1 capture-to-3D (QGS 0.54mm DTU / VGGT feed-forward / COLMAP), P2 3D part
5// segmentation (GeoSAM2 84.1 mIoU PartObjaverse-Tiny), P3 scan-to-CAD (CAD-Recode CD 0.30 DeepCAD -- clean
6// synthetic clouds ONLY), P4 exploded view + assembly (explodeview.com STEP viewer / Li-Agrawala 2008 / BANG
7// 2025), P5 car part-ID vs OEM EPC (NO public benchmark = field finding), P6 underbuilt-part analysis (wall
8// thickness products + NHTSA complaint/recall data join), P8 end-to-end car twin (SOTA = laser scan + 1200
9// human CAD-hours, Bentley Blower). Verdict per cell COMPUTED by xcd_verdict(us,bar) -- NEVER asserted; AHEAD
10// liar-killed unless we meet ALL criteria; sovereignty tagged [FLOOR]. Bars grounded in knowledge/fetched/
11// ct_*.raw banked by nx_cadtwin_research (real-200 docs only; partsouq/nhtsa-datasets/explodeview-repo fetched
12// 403/403/404 and are NOT used as grounding). OUR side grounded in the 2026-07-07 disk census: organs + gates
13// named per cell (nx_mesh3/nx_meshgen/nx_stl/nx_gltf_export/nx_cad/nx_csg/nx_assembly/nx_features/nx_pc/
14// nx_ng_gsplat/nx_i2mesh; STEP/BREP/SfM/part-seg/mesh-thickness ABSENT -- nx_step_import.nx does not exist).
15// license_tier: ORIGINAL  expect_exit: 0
16import "nx_cms_exceed.nx"   // XCD_* + xcd_verdict + xcd_referee_ok + xcd_vname + sys_* (transitive)
17
18func cw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
19func cn(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0} let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1} sys_write(1,bb,k); return 0 }
20func chave(path: *u8) -> i64 { let fd: i64=sys_openat_rd(path); if fd<0 { return 0 } sys_close(fd); return 1 }
21
22// tot: [0]=BEHIND [1]=PARITY [2]=AHEAD [3]=INVALID [4]=AHEAD-FLOOR [5]=AHEAD-CAP [6]=UNGROUNDED [7]=sum-us [8]=sum-max
23func row(dom: *u8, cap: *u8, our_c: i64, inc_c: i64, n: i64, ev: *u8, ground: *u8, floor: i64, tot: *i64) -> i64 {
  let v: i64 = xcd_verdict(our_c, inc_c)
  let ok: i64 = xcd_referee_ok(v, our_c, n)
  let g: i64 = chave(ground)
  cw("  [" as *u8); cw(dom); cw("] " as *u8); cw(cap); cw("  ->  " as *u8); cw(xcd_vname(v))
  cw("   (us " as *u8); cn(our_c); cw("/" as *u8); cn(n); cw(")   " as *u8); cw(ev)
  if floor==1 { cw("   [FLOOR: sovereignty/determinism, NOT pipeline capability]" as *u8) }
  if ok==0 { cw("   <== INVALID: AHEAD without meeting all criteria (LIAR-KILL)" as *u8); tot[3]=tot[3]+1 }
  if g==0 { cw("   [UNGROUNDED: bar not banked -- run nx_cadtwin_research]" as *u8); tot[6]=tot[6]+1 }
  cw("\n" as *u8)
  if v==XCD_BEHIND { tot[0]=tot[0]+1 }
  if v==XCD_PARITY { tot[1]=tot[1]+1 }
  if v==XCD_AHEAD  { tot[2]=tot[2]+1; if floor==1 { tot[4]=tot[4]+1 } else { tot[5]=tot[5]+1 } }
  if floor==0 { tot[7]=tot[7]+our_c; tot[8]=tot[8]+n }
  return 0
38}
39
40func main() -> i64 {
  let tot: *i64 = sys_mmap(128) as *i64
  var z: i64=0; while z<9 { tot[z]=0; z=z+1 }
  // grounding = the banked SOTA bar docs (real-200 only)
  let QGS: *u8 = "knowledge/fetched/ct_qgs.raw" as *u8
  let VGGT: *u8 = "knowledge/fetched/ct_vggt.raw" as *u8
  let COL: *u8 = "knowledge/fetched/ct_colmap.raw" as *u8
  let GSAM: *u8 = "knowledge/fetched/ct_geosam2.raw" as *u8
  let CADR: *u8 = "knowledge/fetched/ct_cadrecode.raw" as *u8
  let BREP: *u8 = "knowledge/fetched/ct_brepgen.raw" as *u8
  let ABC: *u8 = "knowledge/fetched/ct_abc_dataset.raw" as *u8
  let XPV: *u8 = "knowledge/fetched/ct_explodeview.raw" as *u8
  let ASM: *u8 = "knowledge/fetched/ct_assemble_all.raw" as *u8
  let VPIC: *u8 = "knowledge/fetched/ct_nhtsa_vpic.raw" as *u8
  let CCOM: *u8 = "knowledge/fetched/ct_carcomplaints.raw" as *u8
  let ARTC: *u8 = "knowledge/fetched/ct_artec_cases.raw" as *u8
56
  cw("=== nx_cadtwin_census -- NISHI stack vs the CAR DIGITAL-TWIN SOTA (July 2026) ===\n" as *u8)
  cw("bar: QGS/VGGT/COLMAP . GeoSAM2/PartField . CAD-Recode/BrepGen/ABC . explodeview.com/BANG/Assemble-Them-All . NHTSA vPIC+complaints . Artec/Bentley-Blower\n" as *u8)
  cw("verdict = xcd_verdict(us,bar) COMPUTED; AHEAD liar-killed; [FLOOR] separated. Scale: 2=full 1=partial 0=absent.\n" as *u8)
  cw("field findings baked into bars: NO public benchmark exists for exploded-view quality, car part-ID, or weak-part prediction; scan-to-CAD is scored on CLEAN SYNTHETIC clouds only; end-to-end car twin SOTA = scan plus 1200 HUMAN CAD-hours.\n" as *u8)
  cw("★2025-26 FRONTIER (banked ct2_*.raw 18/18 via nishi researcher 2026-07-08): F1 feed-forward photo->3D VGGT(CVPR25)/Pi3(ICLR26)=NEURAL (pose-AUC@30 85-93); F2 3DGS surface-recon Self-Constrained(2026) 0.50mm / QGS 0.54mm DTU = OPTIMIZATION (no checkpoint, sovereign-buildable given poses); F4 scan->CAD CAD-Recode(ICCV25 LLM)=NEURAL = the ONE checkpoint-bound bottleneck.\n" as *u8)
  cw("★KEY REFRAME (research-grounded): CLASSICAL COLMAP MVS = 0.532mm DTU Chamfer ~= neural VGGT ACCURACY -> the sovereign classical path (nx_recon3d) is accuracy-competitive; neural wins SPEED+sparse-view+one-shot pose, NOT fidelity. Only F4 feature-tree recovery is structurally checkpoint-bound.\n" as *u8)
63
  cw("\n-- A. SOVEREIGN FLOOR (genuine, by-construction -- SEPARATED; does NOT close pipeline gaps) --\n" as *u8)
  row("FLR" as *u8, "zero-dependency sovereignty (own TLS/compiler/renderer/mesh stack; rivals = RealityScan/Design-X proprietary licenses)" as *u8, 1,0,1, "[ev: nx_cc->nxasm whole path; COLMAP open but C++/CUDA deps]" as *u8, COL, 1, tot)
  row("FLR" as *u8, "deterministic integer geometry (bit-exact reproducible twin; every rival float/stochastic)" as *u8, 1,0,1, "[ev: fx256 mesh3/phys3d law; STL round-trip BIT-IDENTICAL gate]" as *u8, ABC, 1, tot)
  row("FLR" as *u8, "near-zero marginal cost (no per-seat license; Design-X-class seats cost 5 figures)" as *u8, 1,0,1, "[ev: whole stack self-hosted]" as *u8, ARTC, 1, tot)
68
  cw("\n-- B. PIPELINE STRENGTHS (the downstream half we HAVE) --\n" as *u8)
  row("MSH" as *u8, "shared tri-mesh + STL/glTF interchange" as *u8, 2,2,2, "[ev: nx_mesh3 5/5 BIT-IDENTICAL STL round-trip + nx_gltf_export gate; OBJ absent (minor)]" as *u8, ABC, 0, tot)
  row("SOL" as *u8, "solid modeling kernel (SDF-CSG booleans/fillets/extrude/revolve)" as *u8, 2,2,2, "[ev: nx_cad 20/20 + nx_csg 11/11 + nx_cad_exceed 8/8 robust-boolean cases vs FreeCAD/Fusion; sampled SDF not exact B-rep -- graded conservatively PARITY]" as *u8, BREP, 0, tot)
  row("FAB" as *u8, "mesh -> slice -> G-code -> REAL fabricated part" as *u8, 2,2,2, "[ev: slice pipeline 10/10 watertight gate + adaptive slicing + underridge REAL print shipped; FDM/paste/WAAM]" as *u8, ABC, 0, tot)
  row("CV " as *u8, "classical image features (corners+descriptors+matching)" as *u8, 1,2,2, "{ev: nx_features Harris+Sobel+Hu+Hamming match + nx_descriptor gate; vs SIFT/ORB scale-invariant breadth = partial}" as *u8, COL, 0, tot)
  row("REG" as *u8, "point-cloud registration (ICP / rigid align)" as *u8, 2,2,2, "{R-REG LANDED 2026-07-08: nx_register3d 3D RIGID registration (Horn quaternion via SVD-FREE power iteration) gate 6/6 -- recovers a known 30y+t transform to residual 1, neg-control discriminates; + nx_pc 2D-ICP. = the multi-scan->one-twin fusion step (Kabsch/Umeyama method-level); robust-RANSAC/unknown-corr-ICP-loop = refinements}" as *u8, COL, 0, tot)
75
  cw("\n-- C. PIPELINE GAPS (the capture/scan half -- where the car-rebuild vision is BEHIND) --\n" as *u8)
  row("P1 " as *u8, "multi-view photo -> 3D (camera pose + SfM + MVS/splat surface)" as *u8, 1,2,2, "{P1 SPARSE SfM GEOMETRY COMPLETE 2026-07-08: triangulation 5/5 (Chamfer EXACT) + essential-matrix pose 5/5 (held-out residual 47) + nx_epose E->R,t decomp 4/4 (recovers known R Frob-0, t-dir exact, SVD-free consistent-U) + register3d 3D-align 6/6; = full uncalibrated 2-view recon from images alone. REMAINING: feature-match WIRE + DENSE MVS/splat SURFACE (F2, float-autograd-bound) + real photos. classical~=neural DTU accuracy; feed-forward VGGT/Pi3=NEURAL}" as *u8, QGS, 0, tot)
  row("P1b" as *u8, "single-image -> mesh" as *u8, 1,2,2, "{ev: nx_i2mesh v0 silhouette inflation (real image -> closed mesh, gated) vs TripoSR/VGGT-class hidden-geometry recon}" as *u8, VGGT, 0, tot)
  row("P2 " as *u8, "3D part segmentation of a scanned mesh" as *u8, 1,2,2, "{P2 LANDED 2026-07-08: nx_meshseg3d classical CONNECTIVITY + DATA-DRIVEN CREASE region-growing gate 5/5 (2 disjoint boxes->2 parts; box->6 faces or 1 whole by threshold; composes ->per-part thickness/underbuilt); GEOMETRIC parts not SEMANTIC -- neural SOTA SAMPart3D/PartField/GeoSAM2 84.1 mIoU PartObjaverse-Tiny = trained-model-bound}" as *u8, GSAM, 0, tot)
  row("P3a" as *u8, "STEP/IGES interop (ISO-10303 read/write)" as *u8, 2,2,2, "{READ+WRITE COMPLETE 2026-07-09 (nx_step_brepw 7/7: AUTHOR analytic B-rep from params, box 100x60x40 EXACT thru pipeline; PERSIST any read model, as1 re-emit 6208 entities pipeline-IDENTICAL cksum-equal; + faceted write 6/6 exact round-trip; IGES absent = legacy residual, STEP = the modern bar). READ side: nx_step_parse 8/8 (tree+BOM) + nx_step_geom 5/5 (3506 pts exact) + nx_step_tess 6/6 + nx_step_nurbs 8/8 METROLOGY (units mm from file; rational-B-spline rounds: apex INTEGER-EXACT, 5.000mm radius dev 3413nm) + nx_step_tess2 5/5 COMPLETE (Cox-de Boor degree-5 spline edges + rational-Bezier arc edges + angle-free circle sampling + keyhole hole bridging -> ALL 25 planar, ear==shoelace EXACT on keyholes, nut-hole rim dev 3906nm): **53/53 FACES FILE-TRUE, 1648 tris, STL round-trip**; composed report runs 53/53 per-part. + nx_step_write 6/6 WRITE RUNG-1 (2026-07-09): faceted-brep STEP OUT with product identity + DECLARED mm units + exact-decimal fx256 coords -> INTEGER-EXACT round-trip through our own reader (128/128 tris, 0 coord mismatches, byte-identical determinism). REMAINING for write PARITY = analytic/NURBS B-rep write-back}" as *u8, XPV, 0, tot)
  row("P3b" as *u8, "exact B-rep/NURBS kernel" as *u8, 0,2,2, "{bar ABC 1M B-reps / BrepGen; ours sampled-SDF only; r3d_opencascade+r3d_nurbs banked as the study bar}" as *u8, BREP, 0, tot)
  row("P3c" as *u8, "automatic scan -> parametric CAD (reverse engineering)" as *u8, 0,1,1, "{bar ITSELF partial: CAD-Recode CD 0.30 IoU 92 on CLEAN SYNTHETIC clouds; dirty-real-scan-to-Brep = open research; products human-driven}" as *u8, CADR, 0, tot)
  row("P4a" as *u8, "3D exploded-view engine + interactive viewer (the explodeview-class capability)" as *u8, 1,2,2, "{FUNCTION landed, VISUALS honestly BEHIND (operator liar-kill 2026-07-09: 'graphics and ui far from SOTA'): LIVE nishifamily.com/explodelab with REAL 53/53 file-true geometry + dual-dim BOM, vet byte-identical -- but 320x240 flat-shaded raster + plain text panel vs explodeview's WebGL: smooth/Phong shading (rc_triangle_phong EXISTS unused in the surface), hi-res/hidpi canvas, AA, materials, hover-labels, panel design ALL missing. Viewer-SOTA rungs: R-V1 Phong+normals R-V2 res 960x720 R-V3 AA+materials R-V4 UI panel/hover/section/measure}" as *u8, XPV, 0, tot)
  row("P4b" as *u8, "assembly graph / joints / disassembly-order reasoning" as *u8, 1,2,2, "{P4b LANDED 2026-07-08: nx_assemseq disassembly SEQUENCING from the real as1 STEP tree gate 5/5 -- depth-topological order (fasteners/leaves first, as1 top last, every child-before-parent VERIFIED); = teardown instructions + correct /explodelab explode order; REMAINING kinematic joints + geometric-blocking (bar Assemble-Them-All physics disassembly)}" as *u8, ASM, 0, tot)
  row("P5 " as *u8, "car part-ID vs OEM EPC catalogs (photo -> part number)" as *u8, 1,1,1, "{P5 LANDED 2026-07-08: nx_partid gate 5/5 -- ROTATION+SCALE-INVARIANT shape-class ID via vertex-covariance principal-moment signature (eigenvalue ratios, power-iter 3-deflation): rod(9,0)/plate(999,5)/cube(1000,999) DISTINCT, rotated+scaled query correctly matched; composes meshseg3d->identify->NHTSA/thickness. HONEST: coarse shape CATEGORY not fine OEM part-number (needs EPC corpus + finer/neural). NO public benchmark exists (field finding); NHTSA vPIC = spec anchor}" as *u8, VPIC, 0, tot)
  row("P6a" as *u8, "mesh metrology (wall-thickness / dimensional inspection on a scan)" as *u8, 1,2,2, "{nx_meshthick ray-cast wall-thickness KAT 6/6 + DATA-DRIVEN underbuilt classifier + STL; ★COMPOSED TWIN REPORT 9/9 (2026-07-09): per-PART dimensional inspection on REAL as1 geometry (file-semantic part attribution SDR->SHELL, weld, bbox nut 20x15x3mm/rod 200mm/plate 180x150x20mm, min-wall measured all 5 parts, DUAL-DIMENSIONED mm+thou via nx_unitconv self-checked, disassembly rank joined); REMAINING: GD&T breadth on real SCANS (vs Zeiss-INSPECT/PolyWorks)}" as *u8, ARTC, 0, tot)
  row("P6b" as *u8, "underbuilt-part DATA signal (complaints/recalls per make-model-year-component)" as *u8, 1,1,1, "{R6 LANDED 2026-07-08: nx_underbuilt_fetch 6/6 real NHTSA API + nx_underbuilt_board (Altima13 POWER TRAIN 219pm + hood-latch recalls / Cruze11 ENGINE 351pm / Civic16 STEERING 402pm) + gate 5/5 incl neg-control; NOBODY benchmarks this publicly = ours defines it}" as *u8, CCOM, 0, tot)
88
  cw("\n-- C2. UI/PRODUCT AXES (INSTRUMENT UPGRADE 2026-07-09: operator liar-kill 'toy level, censuses avoid UI\n" as *u8)
  cw("--     features' -- presence-scoring hid product reality; these axes score vs the REAL product bar, not\n" as *u8)
  cw("--     papers; scored by EYEBALL vs the named competitor until UI-judge gates wire in) --\n" as *u8)
  row("U1 " as *u8, "viewer VISUAL fidelity (vs explodeview/WebGL-class: smooth shading, materials, depth cues)" as *u8, 1,2,2, "{2026-07-09 R-V1..V3 live: 960x720 + Lambert+metallic-specular + edge-AA on file-true geometry -- a real lit CAD view, BUT flat per-face shading vs SOTA smooth Gouraud/PBR; no shadows/AO/env; 1 of 2}" as *u8, XPV, 0, tot)
  row("U2 " as *u8, "viewer INTERACTION depth (orbit/zoom/pan/pick/section/measure/tree-sync)" as *u8, 1,2,2, "{orbit+click-cycle-highlight+E/D explode+R reset+G fullscreen+LIVE BOM row sync; MISSING: zoom/pan, direct part PICK (ray-hit), section plane, measure tool, per-part isolate -- the explodeview feature set; 1 of 2}" as *u8, XPV, 0, tot)
  row("U3 " as *u8, "information design (labels, dual-dims, hierarchy, feedback, empty/error states)" as *u8, 1,2,2, "{R-V4 live: designed panel (chips/depth badges/monospace dual-dims mm+thou/selected-row sync/toolbar key-chips/fps) -- real info design, BUT no hover tooltips, no per-part detail view, no error/empty states, no onboarding; 1 of 2}" as *u8, XPV, 0, tot)
  row("U4 " as *u8, "product polish (transitions, animation feel, consistency, perf-feel, onboarding)" as *u8, 0,2,2, "{HONEST 0: no eased transitions (explode is linear), no camera inertia, no load skeleton, no first-run guidance beyond one hud line, fps unmeasured vs 60 target on mid hardware; the toy-feel lives HERE; bar = explodeview/Fusion-viewer product feel}" as *u8, XPV, 0, tot)
  row("P8 " as *u8, "end-to-end car -> CAD twin" as *u8, 0,1,1, "{bar ITSELF manual: Bentley Blower = laser scan + 1200 human CAD-hours -> 12 continuation cars; NO automated product exists; ours: 0}" as *u8, ARTC, 0, tot)
97
  cw("\n=== SUMMARY ===\n" as *u8)
  cw("BEHIND  = " as *u8); cn(tot[0]); cw("   (the capture/scan/assembly half of the pipeline)\n" as *u8)
  cw("PARITY  = " as *u8); cn(tot[1]); cw("   (mesh/solid/fab -- the downstream half)\n" as *u8)
  cw("AHEAD   = " as *u8); cn(tot[2]); cw("   of which capability=" as *u8); cn(tot[5]); cw("  FLOOR(sovereignty)=" as *u8); cn(tot[4]); cw("\n" as *u8)
  cw("INVALID (liar-killed) = " as *u8); cn(tot[3]); cw("   UNGROUNDED = " as *u8); cn(tot[6]); cw("\n" as *u8)
  let cells: i64 = tot[0]+tot[1]+tot[2]
  cw("TOTAL GRADED CELLS = " as *u8); cn(cells); cw("\n" as *u8)
  var pm: i64 = 0
  if tot[8] > 0 { pm = (tot[7]*1000)/tot[8] }
  cw("PIPELINE SCORE (non-floor, sum-us*1000/sum-max) = " as *u8); cn(pm); cw(" permille  [" as *u8); cn(tot[7]); cw("/" as *u8); cn(tot[8]); cw("]\n" as *u8)
108
  cw("\n-- NEG-CONTROL (must be CAUGHT) --  fabricated 'we are already AHEAD on photo->3D' (us 0/1) -> " as *u8)
  let neg_ok: i64 = xcd_referee_ok(XCD_AHEAD, 0, 1)
  var neg_caught: i64 = 0
  if neg_ok==0 { cw("REJECTED (liar-kill fired)\n" as *u8); neg_caught=1 } else { cw("ACCEPTED (BROKEN)\n" as *u8) }
113
  cw("\n=== OPTIONS LADDER (the climb, priority order; each rung composes existing nishi primitives) ===\n" as *u8)
  cw("  R1 STEP READER: ISO-10303-21 parse -> product/assembly tree + placements + BOM (R1a structure; R1b tessellate analytic faces plane/cyl/cone/torus = most mechanical parts; NURBS later). Kills P3a; explodeview's whole input; named CAD gap since 07-01.\n" as *u8)
  cw("  R2 3D EXPLODE + VIEWER: lift nx_assembly explode math to mesh3 parts + blocking-direction ordering (Li-Agrawala) + wasm orbit/highlight/BOM surface -> a LIVE /explodelab = explodeview-class parity demo. Kills P4a.\n" as *u8)
  cw("  R3 PHOTO->3D: pose (essential-matrix/PnP organ over nx_features matches) -> triangulation -> scale nx_ng_gsplat 1D->3D posed-photo fit. SELF-BENCHMARK: render synthetic views of a KNOWN mesh3 mesh -> reconstruct -> integer chamfer vs exact ground truth (deterministic, no dataset dependency); then DTU-style real photos. Kills P1.\n" as *u8)
  cw("  R4 3D PART SEGMENTATION: classical first rung (normals/curvature/connectivity clustering on mesh3) -> neural PartField-class later (model-bound). Kills P2 partial.\n" as *u8)
  cw("  R5 MESH WALL-THICKNESS: inside-ray/SDF-distance thickness map on any mesh3 mesh (substrate EXISTS: raycast + SDF + mesh) + scan-vs-reference dimensional compare. Kills P6a; the geometric half of underbuilt detection.\n" as *u8)
  cw("  R6 UNDERBUILT DATA JOIN: sovereign fetch NHTSA complaints+recalls per make/model/year -> component frequency board in seg_store. NOBODY benchmarks this = we DEFINE it. Immediate car-flip value with ZERO model risk. Kills P6b.\n" as *u8)
  cw("  R7 PART-ID vs EPC: descriptor-match photographed part vs EPC exploded-diagram corpus (classical first; neural later). NO public benchmark exists = ours becomes the yardstick. Kills P5 partial.\n" as *u8)
  cw("  R8 CAPSTONE: ONE real subsystem (alternator/door assembly) photos -> mesh -> parts -> explode -> BOM -> NHTSA flags, end-to-end, gated. The Bentley bar is 1200 HUMAN hours; ANY automated end-to-end run is publishable ground.\n" as *u8)
  cw("  (KEEP the FLOOR: sovereign + deterministic + zero-license = the moat; it is NOT the climb.)\n" as *u8)
124
  cw("\n=== VERDICT ===\n" as *u8)
  var green: i64 = 1
  if tot[3] != 0 { green = 0 }
  if neg_caught != 1 { green = 0 }
  if green==1 {
      cw("GREEN -- census honest: 0 fabricated exceeds, liar-kill armed. TRUTH: the pipeline scores " as *u8); cn(pm)
      cw(" permille. We are PARITY on the downstream half (mesh/solid/fab, " as *u8); cn(tot[1])
      cw(" cells) + sovereign FLOOR (" as *u8); cn(tot[4])
      cw("); BEHIND on " as *u8); cn(tot[0])
      cw(" capture/scan/assembly cells (photo->3D, part-seg, STEP/B-rep, 3D-explode, part-ID, thickness, data-join). R1..R8 = the climb; R1+R2 = explodeview parity; R6 = immediate flip value.\n" as *u8)
      return 0
  }
  cw("RED -- liar-kill integrity failed\n" as *u8)
  return 1
139}
nx_cadtwin_census.nx source

`nx_cadtwin_census.nx` source
