code wiki / _hdl_build / nx_census_uiaudit.nx
nx_census_uiaudit.nx source
↩ module page · 163 lines · 7451 B
1// nx_census_uiaudit.nx -- THE INSTRUMENT AUDIT (operator 2026-07-09: "censuses avoid UI features -> false SOTA
2// signals, worst in games"). Scans runtime/_hdl_build for *census*.nx sources; each is classified:
3// UI-AXES-PRESENT : carries the U-axes block (U1 visual / U2 interaction / U3 info-design / U4 polish)
4// FLAGGED : subject is a PRODUCT SURFACE (game/viewer/hub/site/office/browser/ui/lab/player/video)
5// but NO U-axes -> its SOTA/parity numbers are suspect (presence-not-product bias)
6// BACKEND-OK : no user-facing surface (codec/solver/parser class) -> U-axes not required
7// The flag board IS the review deliverable; each FLAGGED census = an upgrade work item (games first).
8// expect_exit: 0 license_tier: ORIGINAL
9import "nx_syscalls.nx"
10const K_MAGIC_4096: i64 = 4096
11const K_MAGIC_262144: i64 = 262144
12const K_MAGIC_1048576: i64 = 1048576
13
14func ua_w(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
15func ua_n(v: i64) -> i64 {
16 let bb: *u8 = sys_mmap(28)
17 var m: i64 = v
18 if m < 0 { ua_w("-" as *u8); m = 0 - m }
19 let t: *u8 = sys_mmap(28)
20 var k: i64 = 0
21 if m == 0 { t[0] = 48 as u8; k = 1 }
22 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 }
23 var i: i64 = 0
24 while i < k { bb[i] = t[k - 1 - i]; i = i + 1 }
25 sys_write(1, bb, k)
26 return 0
27}
28// substring find in a buffer (nul-safe up to n)
29func ua_find(buf: *u8, n: i64, pat: *u8) -> i64 {
30 var pl: i64 = 0
31 while pat[pl] != (0 as u8) { pl = pl + 1 }
32 if pl == 0 { return 0 - 1 }
33 var i: i64 = 0
34 while i + pl <= n {
35 var j: i64 = 0
36 var ok: i64 = 1
37 while j < pl {
38 if buf[i + j] != pat[j] { ok = 0; j = pl } else { j = j + 1 }
39 }
40 if ok == 1 { return i }
41 i = i + 1
42 }
43 return 0 - 1
44}
45func ua_nfind(name: *u8, pat: *u8) -> i64 {
46 var n: i64 = 0
47 while name[n] != (0 as u8) { n = n + 1 }
48 return ua_find(name, n, pat)
49}
50func ua_tooth(name: *u8, pass: i64, fails: *i64) -> i64 {
51 ua_w(" " as *u8); ua_w(name); ua_w(" -> " as *u8)
52 if pass == 1 { ua_w("PASS\n" as *u8); return 0 }
53 ua_w("FAIL\n" as *u8)
54 fails[0] = fails[0] + 1
55 return 0
56}
57// product-surface heuristic on file CONTENT (subject keywords in the first 4KB header/comments)
58func ua_is_surface(buf: *u8, n: i64) -> i64 {
59 var h: i64 = n
60 if h > K_MAGIC_4096 { h = K_MAGIC_4096 }
61 if ua_find(buf, h, "game" as *u8) >= 0 { return 1 }
62 if ua_find(buf, h, "viewer" as *u8) >= 0 { return 1 }
63 if ua_find(buf, h, "UI" as *u8) >= 0 { return 1 }
64 if ua_find(buf, h, "office" as *u8) >= 0 { return 1 }
65 if ua_find(buf, h, "browser" as *u8) >= 0 { return 1 }
66 if ua_find(buf, h, "hub" as *u8) >= 0 { return 1 }
67 if ua_find(buf, h, "site" as *u8) >= 0 { return 1 }
68 if ua_find(buf, h, "player" as *u8) >= 0 { return 1 }
69 if ua_find(buf, h, "video" as *u8) >= 0 { return 1 }
70 if ua_find(buf, h, "chat" as *u8) >= 0 { return 1 }
71 if ua_find(buf, h, "interactive" as *u8) >= 0 { return 1 }
72 return 0
73}
74// has the U-axes block?
75func ua_has_uaxes(buf: *u8, n: i64) -> i64 {
76 if ua_find(buf, n, "UI/PRODUCT AXES" as *u8) >= 0 { return 1 }
77 if ua_find(buf, n, "visual fidelity" as *u8) >= 0 { return 1 }
78 if ua_find(buf, n, "INTERACTION depth" as *u8) >= 0 { return 1 }
79 return 0
80}
81
82func main() -> i64 {
83 ua_w("=== nx_census_uiaudit -- do our censuses CAPTURE UI/product axes? (false-SOTA instrument audit) ===\n" as *u8)
84 let fails: *i64 = sys_mmap(8) as *i64
85 fails[0] = 0
86 let dfd: i64 = sys_openat_rd("runtime/_hdl_build" as *u8)
87 if dfd < 0 { ua_w("cannot open dir\nRED\n" as *u8); return 1 }
88 let dbuf: *u8 = sys_mmap(K_MAGIC_262144)
89 let fbuf: *u8 = sys_mmap(K_MAGIC_1048576)
90 let path: *u8 = sys_mmap(512)
91 var scanned: i64 = 0
92 var present: i64 = 0
93 var flagged: i64 = 0
94 var backend: i64 = 0
95 var cad_present: i64 = 0
96 var going: i64 = 1
97 while going == 1 {
98 let nb: i64 = sys_getdents64(dfd, dbuf, K_MAGIC_262144)
99 if nb <= 0 { going = 0 } else {
100 var off: i64 = 0
101 while off < nb {
102 let de: *u8 = ((dbuf as i64) + off) as *u8
103 let rl: i64 = dirent_reclen(de)
104 let nm: *u8 = dirent_name(de)
105 if ua_nfind(nm, "census" as *u8) >= 0 { if ua_nfind(nm, ".nx" as *u8) >= 0 {
106 // build path "runtime/_hdl_build/<nm>"
107 let pre: *u8 = "runtime/_hdl_build/" as *u8
108 var pi: i64 = 0
109 while pre[pi] != (0 as u8) { path[pi] = pre[pi]; pi = pi + 1 }
110 var ni: i64 = 0
111 while nm[ni] != (0 as u8) { path[pi + ni] = nm[ni]; ni = ni + 1 }
112 path[pi + ni] = 0 as u8
113 let fd: i64 = sys_openat_rd(path)
114 if fd >= 0 {
115 let fn2: i64 = sys_read(fd, fbuf, K_MAGIC_1048576)
116 sys_close(fd)
117 if fn2 > 0 {
118 scanned = scanned + 1
119 let hasu: i64 = ua_has_uaxes(fbuf, fn2)
120 let surf: i64 = ua_is_surface(fbuf, fn2)
121 ua_w(" " as *u8)
122 ua_w(nm)
123 if hasu == 1 {
124 ua_w(" -> UI-AXES-PRESENT\n" as *u8)
125 present = present + 1
126 if ua_nfind(nm, "cadtwin" as *u8) >= 0 { cad_present = 1 }
127 } else {
128 if surf == 1 {
129 ua_w(" -> FLAGGED (product surface, NO U-axes -- SOTA numbers suspect)\n" as *u8)
130 flagged = flagged + 1
131 } else {
132 ua_w(" -> backend-ok (no user surface)\n" as *u8)
133 backend = backend + 1
134 }
135 }
136 }
137 }
138 } }
139 off = off + rl
140 }
141 }
142 }
143 sys_close(dfd)
144 ua_w("\nscanned=" as *u8); ua_n(scanned)
145 ua_w(" ui-axes-present=" as *u8); ua_n(present)
146 ua_w(" FLAGGED=" as *u8); ua_n(flagged)
147 ua_w(" backend-ok=" as *u8); ua_n(backend)
148 ua_w("\n\n" as *u8)
149 var t1: i64 = 0
150 if scanned >= 6 { t1 = 1 }
151 ua_tooth("T1 audit swept a real census population (>=6 files)" as *u8, t1, fails)
152 ua_tooth("T2 positive control: the upgraded cadtwin census detects UI-AXES-PRESENT" as *u8, cad_present, fails)
153 var t3: i64 = 0
154 if flagged >= 1 { t3 = 1 }
155 ua_tooth("T3 the audit FINDS offenders (>=1 product-surface census without U-axes)" as *u8, t3, fails)
156 ua_w("\nEVERY FLAGGED census = a work item: add the U-axes block (U1 visual / U2 interaction / U3 info-design /\n" as *u8)
157 ua_w("U4 polish) scored vs a NAMED REAL PRODUCT -- expect its score to DROP (that IS the false-signal kill;\n" as *u8)
158 ua_w("cadtwin 633->578 proven). GAME censuses first per the operator.\n" as *u8)
159 ua_w("\nfails=" as *u8); ua_n(fails[0]); ua_w("\n" as *u8)
160 if fails[0] == 0 { ua_w("GREEN -- instrument audit live (flag board above = the review)\n" as *u8); return 0 }
161 ua_w("RED\n" as *u8)
162 return 1
163}