nx_cadtwin_research2.nx source
↩ module page · 91 lines · 6748 B
1// nx_cadtwin_research2.nx -- FRESH 2025-2026 SOTA bank for the CAD car-twin reconstruction frontier (operator
2// 2026-07-08: "build with the 25 and 26 research via nishi researcher, benchmark it there"). Banks the verified
3// 2025-2026 papers the researcher agent found, so the census bars + builds are grounded in the CURRENT frontier
4// (not 2024). KEY FINDING baked into the bars: classical COLMAP MVS = 0.532mm DTU Chamfer ~= neural VGGT on
5// ACCURACY -> the sovereign classical path (nx_recon3d) is accuracy-competitive; neural feed-forward
6// (VGGT/Pi3/DUSt3R) wins SPEED + sparse-view, not fidelity. The ONE checkpoint-bound bottleneck = F4 scan->
7// parametric-CAD (CAD-Recode LLM). Same sovereign TLS stack as nx_cadtwin_research. Saves knowledge/fetched/
8// ct2_*.raw. Fetch status self-verifies (200 = real; non-200 skipped + reported). expect_exit: 0
9// license_tier: ORIGINAL
10import "nx_syscalls.nx"
11import "nx_x509_trust_store.nx"
12import "nx_trust_store_load_from_certdata.nx"
13import "nx_https_fetch_follow.nx"
14const K_MAGIC_4194304: i64 = 4194304
15const K_MAGIC_8388608: i64 = 8388608
16const K_MAGIC_2026: i64 = 2026
17
18func c2_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
19func c2_putn(v: i64) -> i64 {
20 let bb: *u8 = sys_mmap(28)
21 var m: i64 = v
22 if m < 0 { c2_puts("-" as *u8); m = 0 - m }
23 let t: *u8 = sys_mmap(28)
24 var k: i64 = 0
25 if m == 0 { t[0] = 48 as u8; k = 1 }
26 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 }
27 var i: i64 = 0
28 while i < k { bb[i] = t[k - 1 - i]; i = i + 1 }
29 sys_write(1, bb, k)
30 return 0
31}
32func c2_have(path: *u8) -> i64 { let fd: i64 = sys_openat_rd(path); if fd < 0 { return 0 } sys_close(fd); return 1 }
33func c2_fetch(url: *u8, opath: *u8, store: *TrustStore, out: *u8, cap: i64) -> i64 {
34 if c2_have(opath) == 1 { c2_puts(opath); c2_puts(" [have-skip]\n" as *u8); return 1 }
35 let status: *i64 = sys_mmap(8) as *i64
36 let n: i64 = nx_https_fetch_follow(url, store, out, cap, 6, status)
37 c2_puts(url); c2_puts(" status=" as *u8); c2_putn(status[0]); c2_puts(" bytes=" as *u8); c2_putn(n)
38 if n <= 0 { c2_puts(" FETCH-FAIL\n" as *u8); return 0 }
39 if status[0] != 200 { c2_puts(" NON-200-skip (unverified id)\n" as *u8); return 0 }
40 var gz: i64 = 0
41 if n >= 2 { if out[0] == 0x1f as u8 { if out[1] == 0x8b as u8 { gz = 1 } } }
42 if gz == 1 { c2_puts(" [GZIP-skip]\n" as *u8); return 0 }
43 let fd: i64 = sys_openat_wr(opath, 0x1a4)
44 if fd < 0 { c2_puts(" SAVE-FAIL\n" as *u8); return 0 }
45 sys_write(fd, out, n); sys_close(fd)
46 c2_puts(" SAVED\n" as *u8)
47 return 1
48}
49
50func main() -> i64 {
51 let r: i64 = nx_trust_store_load_from_certdata("data/mozilla_certdata.txt" as *u8, 512, K_MAGIC_4194304)
52 if r <= 0 { c2_puts("CADTWIN2: certdata load failed\n" as *u8); return 1 }
53 let store: *TrustStore = r as *TrustStore
54 c2_puts("CA roots=" as *u8); c2_putn(trust_store_count(store)); c2_puts("\n" as *u8)
55 let cap: i64 = K_MAGIC_8388608
56 let out: *u8 = sys_mmap(cap)
57 var ok: i64 = 0
58
59 c2_puts("== F1 FEED-FORWARD photo->3D (NEURAL/trained; 2024-2026 shift off COLMAP) ==\n" as *u8)
60 ok = ok + c2_fetch("https://arxiv.org/abs/2503.11651" as *u8, "knowledge/fetched/ct2_vggt.raw" as *u8, store, out, cap) // VGGT CVPR25 best paper
61 ok = ok + c2_fetch("https://arxiv.org/abs/2507.13347" as *u8, "knowledge/fetched/ct2_pi3.raw" as *u8, store, out, cap) // Pi3 ICLR26 (dethrones VGGT)
62 ok = ok + c2_fetch("https://arxiv.org/abs/2312.14132" as *u8, "knowledge/fetched/ct2_dust3r.raw" as *u8, store, out, cap) // DUSt3R (foundation)
63 ok = ok + c2_fetch("https://arxiv.org/abs/2406.09756" as *u8, "knowledge/fetched/ct2_mast3r.raw" as *u8, store, out, cap) // MASt3R
64 ok = ok + c2_fetch("https://arxiv.org/abs/2501.13928" as *u8, "knowledge/fetched/ct2_fast3r.raw" as *u8, store, out, cap) // Fast3R (251fps, 1000+ imgs)
65 ok = ok + c2_fetch("https://arxiv.org/abs/2501.12387" as *u8, "knowledge/fetched/ct2_cut3r.raw" as *u8, store, out, cap) // CUT3R (online recurrent)
66 ok = ok + c2_fetch("https://arxiv.org/abs/2408.16061" as *u8, "knowledge/fetched/ct2_spann3r.raw" as *u8, store, out, cap) // Spann3R (spatial memory)
67 ok = ok + c2_fetch("https://github.com/facebookresearch/vggt" as *u8, "knowledge/fetched/ct2_vggt_code.raw" as *u8, store, out, cap)
68
69 c2_puts("== F2 3DGS SURFACE recon (OPTIMIZATION, no checkpoint -- sovereign-buildable given poses) ==\n" as *u8)
70 ok = ok + c2_fetch("https://arxiv.org/abs/2603.19682" as *u8, "knowledge/fetched/ct2_selfconstrained_3dgs.raw" as *u8, store, out, cap) // K_MAGIC_2026 SOTA 0.50mm DTU
71 ok = ok + c2_fetch("https://arxiv.org/abs/2403.17888" as *u8, "knowledge/fetched/ct2_2dgs.raw" as *u8, store, out, cap) // 2DGS
72 ok = ok + c2_fetch("https://arxiv.org/abs/2404.10772" as *u8, "knowledge/fetched/ct2_gof.raw" as *u8, store, out, cap) // GOF
73 ok = ok + c2_fetch("https://arxiv.org/abs/2406.06521" as *u8, "knowledge/fetched/ct2_pgsr.raw" as *u8, store, out, cap) // PGSR 0.53mm
74
75 c2_puts("== F3 CLASSICAL multi-view geometry (NO model -- what nx_recon3d builds; COLMAP 0.532mm ~= neural) ==\n" as *u8)
76 ok = ok + c2_fetch("https://github.com/colmap/colmap" as *u8, "knowledge/fetched/ct2_colmap.raw" as *u8, store, out, cap)
77
78 c2_puts("== F4 SCAN->CAD (NEURAL/trained -- the ONE checkpoint-bound bottleneck; feature-tree has no classical sub) ==\n" as *u8)
79 ok = ok + c2_fetch("https://arxiv.org/abs/2412.14042" as *u8, "knowledge/fetched/ct2_cadrecode.raw" as *u8, store, out, cap) // CAD-Recode ICCV25
80 ok = ok + c2_fetch("https://arxiv.org/abs/2408.01437" as *u8, "knowledge/fetched/ct2_img2cad.raw" as *u8, store, out, cap) // Img2CAD SA25
81 ok = ok + c2_fetch("https://arxiv.org/abs/2504.07943" as *u8, "knowledge/fetched/ct2_holopart.raw" as *u8, store, out, cap) // HoloPart part-amodal
82
83 c2_puts("== F5 NEURAL RENDERING realism / relight (OPTIMIZATION path viable) ==\n" as *u8)
84 ok = ok + c2_fetch("https://arxiv.org/abs/2311.16043" as *u8, "knowledge/fetched/ct2_r3dg.raw" as *u8, store, out, cap) // Relightable 3D Gaussians
85 ok = ok + c2_fetch("https://arxiv.org/abs/2310.16044" as *u8, "knowledge/fetched/ct2_stanford_orb.raw" as *u8, store, out, cap) // Stanford-ORB benchmark
86
87 c2_puts("CADTWIN2 fresh 2025-26 SOTA: fetched/have=" as *u8); c2_putn(ok); c2_puts(" / 18\n" as *u8)
88 if ok >= 13 { c2_puts("verdict=GREEN (fresh frontier banked; grep knowledge/fetched/ct2_*.raw)\n" as *u8); sys_exit(0); return 0 }
89 c2_puts("verdict=PARTIAL (some ids unverified/blocked -> noted above; re-run to resume)\n" as *u8)
90 sys_exit(1); return 1
91}