nx_module_author_data.nx source

1// nx_module_author_data.nx -- the BUILDER's DATA-LAYER authoring caps (ELDERMIG arc, 2026-06-10). 2// Claude TUTORED two templates (spec: knowledge/specs/2026-06-10-elder-migration-nishi-containers-ladder.md); 3// the Builder AUTHORS the modules; the Engineer gates via nx_sov_build_run. license_tier: ORIGINAL 4// ma_emit_elder_census -- E0: mechanized Elder census (docker-compose service keys + data-vault *.db 5// via getdents64); expectations come from the GATE CALLER as argv (verified-facts law, no magic numbers). 6// ma_emit_sqlite_read -- E1 rung 1: sovereign read-only SQLite reader (header + table-btree walk + 7// sqlite_master record decode + per-table row counts). Local payload only; overflow pages = raised hand. 8// Separate file from nx_module_author.nx on purpose: that file is settled/proven; data-layer caps grow here. 9 10import "nx_syscalls.nx" 11 12func mad_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 } 13 14// ---- E0: the Elder census module ------------------------------------------------------------ 15func ma_emit_elder_census(fd: i64) -> i64 { 16 mad_w(fd, "// AUTHORED BY THE NISHI BUILDER (nx_module_author_data census template) -- ELDERMIG E0.\n" as *u8) 17 mad_w(fd, "// Mechanized Elder census: compose service keys (2-space YAML keys under services:) +\n" as *u8) 18 mad_w(fd, "// data-vault *.db count via getdents64. Gate expectations arrive as argv from the caller.\n" as *u8) 19 mad_w(fd, "import \"nx_syscalls.nx\"\n" as *u8) 20 mad_w(fd, "func _ec_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 }\n" as *u8) 21 mad_w(fd, "func _ec_wn(fd: i64, v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m}; let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=48+(m%10);m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(fd,bb,k); return 0 }\n" as *u8) 22 mad_w(fd, "func _ec_atoi(s: *u8) -> i64 { var v: i64=0; var i: i64=0; while s[i]!=(0 as u8) { let c: i64=s[i]; if c<48 { return v } if c>57 { return v } v=v*10+(c-48); i=i+1 } return v }\n" as *u8) 23 mad_w(fd, "func _ec_pref(buf: *u8, p: i64, pat: *u8) -> i64 { var i: i64=0; while pat[i]!=(0 as u8) { if buf[p+i]!=pat[i] { return 0 } i=i+1 } return 1 }\n" as *u8) 24 mad_w(fd, "func _ec_eol(buf: *u8, p: i64, L: i64) -> i64 { var e: i64=p; while e<L { if buf[e]==(10 as u8) { return e } e=e+1 } return L }\n" as *u8) 25 mad_w(fd, "func _ec_nch(c: i64) -> i64 { if c>=97 { if c<=122 { return 1 } } if c>=65 { if c<=90 { return 1 } } if c>=48 { if c<=57 { return 1 } } if c==95 { return 1 } if c==45 { return 1 } return 0 }\n" as *u8) 26 mad_w(fd, "func main(argc: i64, argv: *i64) -> i64 {\n" as *u8) 27 mad_w(fd, " _ec_w(1, \"=== BUILDER-AUTHORED ELDER CENSUS (ELDERMIG E0): services + data-vault DBs ===\\n\" as *u8)\n" as *u8) 28 mad_w(fd, " let lenp: *i64 = sys_mmap(8) as *i64\n" as *u8) 29 mad_w(fd, " let buf: *u8 = sys_read_file(\"/mnt/c/Users/elder/elder-ai-platform/docker-compose.yml\" as *u8, lenp)\n" as *u8) 30 mad_w(fd, " let L: i64 = lenp[0]\n" as *u8) 31 mad_w(fd, " if L < 100 { _ec_w(1, \"CENSUS-GATE FAIL compose-unreadable\\n\" as *u8); sys_exit(1); return 1 }\n" as *u8) 32 mad_w(fd, " let logfd: i64 = sys_openat_append(\"knowledge/status/elder_census.log\" as *u8, 0x1a4)\n" as *u8) 33 mad_w(fd, " var nsvc: i64=0; var ngen: i64=0; var ndata: i64=0; var norch: i64=0; var nsv: i64=0\n" as *u8) 34 mad_w(fd, " var nworker: i64=0; var nmon: i64=0; var nutil: i64=0; var nother: i64=0\n" as *u8) 35 mad_w(fd, " var insvc: i64=0\n" as *u8) 36 mad_w(fd, " var p: i64=0\n" as *u8) 37 mad_w(fd, " while p < L {\n" as *u8) 38 mad_w(fd, " let e: i64 = _ec_eol(buf, p, L)\n" as *u8) 39 mad_w(fd, " var ll: i64 = e - p\n" as *u8) 40 mad_w(fd, " if ll>0 { let lc: i64 = buf[p+ll-1]; if lc==13 { ll=ll-1 } }\n" as *u8) 41 mad_w(fd, " if ll>0 { let c0: i64 = buf[p]\n" as *u8) 42 mad_w(fd, " if c0!=32 { if c0!=35 {\n" as *u8) 43 mad_w(fd, " insvc=0\n" as *u8) 44 mad_w(fd, " if ll==9 { if _ec_pref(buf, p, \"services:\" as *u8)==1 { insvc=1 } }\n" as *u8) 45 mad_w(fd, " } }\n" as *u8) 46 mad_w(fd, " if insvc==1 { if ll>3 { if c0==32 { let c1: i64 = buf[p+1]; if c1==32 { let c2: i64 = buf[p+2]\n" as *u8) 47 mad_w(fd, " if _ec_nch(c2)==1 {\n" as *u8) 48 mad_w(fd, " var q: i64 = p+2\n" as *u8) 49 mad_w(fd, " var scanning: i64 = 1\n" as *u8) 50 mad_w(fd, " while scanning==1 { let cc: i64 = buf[q]; let nv: i64 = _ec_nch(cc); if nv==1 { q=q+1 } if nv==0 { scanning=0 } }\n" as *u8) 51 mad_w(fd, " let namelen: i64 = q - (p+2)\n" as *u8) 52 mad_w(fd, " if namelen>0 { let ci: i64 = buf[q]; if ci==58 {\n" as *u8) 53 mad_w(fd, " var ok: i64 = 1\n" as *u8) 54 mad_w(fd, " var j: i64 = q+1\n" as *u8) 55 mad_w(fd, " while j < p+ll { let cj: i64 = buf[j]; if cj!=32 { ok=0 } j=j+1 }\n" as *u8) 56 mad_w(fd, " if ok==1 {\n" as *u8) 57 mad_w(fd, " nsvc=nsvc+1\n" as *u8) 58 mad_w(fd, " var cls: *u8 = \"other\" as *u8\n" as *u8) 59 mad_w(fd, " var done: i64 = 0\n" as *u8) 60 mad_w(fd, " if done==0 { if _ec_pref(buf,p+2,\"gen-\" as *u8)==1 { cls=\"gen\" as *u8; ngen=ngen+1; done=1 } }\n" as *u8) 61 mad_w(fd, " if done==0 { if _ec_pref(buf,p+2,\"data-\" as *u8)==1 { cls=\"data\" as *u8; ndata=ndata+1; done=1 } }\n" as *u8) 62 mad_w(fd, " if done==0 { if _ec_pref(buf,p+2,\"orch-\" as *u8)==1 { cls=\"orch\" as *u8; norch=norch+1; done=1 } }\n" as *u8) 63 mad_w(fd, " if done==0 { if _ec_pref(buf,p+2,\"svc-\" as *u8)==1 { cls=\"svc\" as *u8; nsv=nsv+1; done=1 } }\n" as *u8) 64 mad_w(fd, " if done==0 { if _ec_pref(buf,p+2,\"worker-\" as *u8)==1 { cls=\"worker\" as *u8; nworker=nworker+1; done=1 } }\n" as *u8) 65 mad_w(fd, " if done==0 { if _ec_pref(buf,p+2,\"mon-\" as *u8)==1 { cls=\"mon\" as *u8; nmon=nmon+1; done=1 } }\n" as *u8) 66 mad_w(fd, " if done==0 { if _ec_pref(buf,p+2,\"util-\" as *u8)==1 { cls=\"util\" as *u8; nutil=nutil+1; done=1 } }\n" as *u8) 67 mad_w(fd, " if done==0 { nother=nother+1 }\n" as *u8) 68 mad_w(fd, " _ec_w(logfd, \"CENSUS-SVC name=\" as *u8)\n" as *u8) 69 mad_w(fd, " let bb: i64 = buf as i64\n" as *u8) 70 mad_w(fd, " sys_write(logfd, (bb+p+2) as *u8, namelen)\n" as *u8) 71 mad_w(fd, " _ec_w(logfd, \" class=\" as *u8); _ec_w(logfd, cls); _ec_w(logfd, \"\\n\" as *u8)\n" as *u8) 72 mad_w(fd, " }\n" as *u8) 73 mad_w(fd, " } }\n" as *u8) 74 mad_w(fd, " }\n" as *u8) 75 mad_w(fd, " } } } }\n" as *u8) 76 mad_w(fd, " }\n" as *u8) 77 mad_w(fd, " p = e + 1\n" as *u8) 78 mad_w(fd, " }\n" as *u8) 79 mad_w(fd, " let dfd: i64 = sys_openat_rd(\"/mnt/c/Users/elder/elder-ai-platform/data-vault\" as *u8)\n" as *u8) 80 mad_w(fd, " var ndb: i64 = 0\n" as *u8) 81 mad_w(fd, " if dfd >= 0 {\n" as *u8) 82 mad_w(fd, " let dbuf: *u8 = sys_mmap(262144)\n" as *u8) 83 mad_w(fd, " var going: i64 = 1\n" as *u8) 84 mad_w(fd, " while going==1 {\n" as *u8) 85 mad_w(fd, " let n: i64 = sys_getdents64(dfd, dbuf, 262144)\n" as *u8) 86 mad_w(fd, " if n<=0 { going=0 }\n" as *u8) 87 mad_w(fd, " if n>0 {\n" as *u8) 88 mad_w(fd, " var off: i64 = 0\n" as *u8) 89 mad_w(fd, " while off<n {\n" as *u8) 90 mad_w(fd, " let basep: i64 = dbuf as i64\n" as *u8) 91 mad_w(fd, " let rec: *u8 = (basep+off) as *u8\n" as *u8) 92 mad_w(fd, " let nm: *u8 = dirent_name(rec)\n" as *u8) 93 mad_w(fd, " var lnm: i64=0\n" as *u8) 94 mad_w(fd, " while nm[lnm]!=(0 as u8) { lnm=lnm+1 }\n" as *u8) 95 mad_w(fd, " if lnm>3 { let da: i64=nm[lnm-3]; let db2: i64=nm[lnm-2]; let dc: i64=nm[lnm-1]\n" as *u8) 96 mad_w(fd, " if da==46 { if db2==100 { if dc==98 { ndb=ndb+1 } } } }\n" as *u8) 97 mad_w(fd, " off = off + dirent_reclen(rec)\n" as *u8) 98 mad_w(fd, " }\n" as *u8) 99 mad_w(fd, " }\n" as *u8) 100 mad_w(fd, " }\n" as *u8) 101 mad_w(fd, " sys_close(dfd)\n" as *u8) 102 mad_w(fd, " }\n" as *u8) 103 mad_w(fd, " _ec_w(logfd, \"CENSUS-SUM services=\" as *u8); _ec_wn(logfd, nsvc)\n" as *u8) 104 mad_w(fd, " _ec_w(logfd, \" gen=\" as *u8); _ec_wn(logfd, ngen); _ec_w(logfd, \" data=\" as *u8); _ec_wn(logfd, ndata)\n" as *u8) 105 mad_w(fd, " _ec_w(logfd, \" orch=\" as *u8); _ec_wn(logfd, norch); _ec_w(logfd, \" svc=\" as *u8); _ec_wn(logfd, nsv)\n" as *u8) 106 mad_w(fd, " _ec_w(logfd, \" worker=\" as *u8); _ec_wn(logfd, nworker); _ec_w(logfd, \" mon=\" as *u8); _ec_wn(logfd, nmon)\n" as *u8) 107 mad_w(fd, " _ec_w(logfd, \" util=\" as *u8); _ec_wn(logfd, nutil); _ec_w(logfd, \" other=\" as *u8); _ec_wn(logfd, nother)\n" as *u8) 108 mad_w(fd, " _ec_w(logfd, \" dbs=\" as *u8); _ec_wn(logfd, ndb); _ec_w(logfd, \"\\n\" as *u8)\n" as *u8) 109 mad_w(fd, " sys_close(logfd)\n" as *u8) 110 mad_w(fd, " _ec_w(1, \"CENSUS-SUM services=\" as *u8); _ec_wn(1, nsvc)\n" as *u8) 111 mad_w(fd, " _ec_w(1, \" gen=\" as *u8); _ec_wn(1, ngen); _ec_w(1, \" data=\" as *u8); _ec_wn(1, ndata)\n" as *u8) 112 mad_w(fd, " _ec_w(1, \" orch=\" as *u8); _ec_wn(1, norch); _ec_w(1, \" svc=\" as *u8); _ec_wn(1, nsv)\n" as *u8) 113 mad_w(fd, " _ec_w(1, \" worker=\" as *u8); _ec_wn(1, nworker); _ec_w(1, \" mon=\" as *u8); _ec_wn(1, nmon)\n" as *u8) 114 mad_w(fd, " _ec_w(1, \" util=\" as *u8); _ec_wn(1, nutil); _ec_w(1, \" other=\" as *u8); _ec_wn(1, nother)\n" as *u8) 115 mad_w(fd, " _ec_w(1, \" dbs=\" as *u8); _ec_wn(1, ndb); _ec_w(1, \"\\n\" as *u8)\n" as *u8) 116 mad_w(fd, " if argc>=3 {\n" as *u8) 117 mad_w(fd, " let esvc: i64 = _ec_atoi(argv[1] as *u8)\n" as *u8) 118 mad_w(fd, " let edb: i64 = _ec_atoi(argv[2] as *u8)\n" as *u8) 119 mad_w(fd, " if nsvc==esvc { if ndb==edb { _ec_w(1, \"CENSUS-GATE PASS\\n\" as *u8); sys_exit(0); return 0 } }\n" as *u8) 120 mad_w(fd, " _ec_w(1, \"CENSUS-GATE FAIL measured-vs-expected mismatch\\n\" as *u8); sys_exit(1); return 1\n" as *u8) 121 mad_w(fd, " }\n" as *u8) 122 mad_w(fd, " _ec_w(1, \"CENSUS REPORT-ONLY (argv: expected-services expected-dbs to gate)\\n\" as *u8)\n" as *u8) 123 mad_w(fd, " sys_exit(0); return 0\n" as *u8) 124 mad_w(fd, "}\n" as *u8) 125 return 1 126} 127 128// ---- EVAL: the triangulation evaluation platform (operator 2026-06-10) ---------------------- 129// Three lanes per image -- M=team's mathematical measurements, V=local model (VLM), O=operator 130// feedback flag -- triangulated into pattern verdicts for "what's working" recognition. 131// PURE NISHI storage: append-only lines in knowledge/status/ (info-mgmt plan; NO SQL). 132// Lanes file lines: EVAL img=<id> lane=<M|V|O> score=<permil> (last line per lane wins) 133// Verdicts: TRI-GOOD / TRI-BAD / TRI-OPERATOR-OVERRIDE (M,V agree, operator differs = the 134// highest-value learning signal) / TRI-SPLIT-MODEL (O agrees M; model odd) / TRI-SPLIT-MEASURED 135// (O agrees V; math odd) / TRI-INCOMPLETE. Threshold + paths arrive as argv (config law). 136func ma_emit_eval_triangle(fd: i64) -> i64 { 137 mad_w(fd, "// AUTHORED BY THE NISHI BUILDER (nx_module_author_data eval-triangle template) -- ELDERMIG EVAL rung 1.\n" as *u8) 138 mad_w(fd, "// Triangulation: M(math) + V(local model) + O(operator flag) -> pattern verdicts; append-only Nishi log.\n" as *u8) 139 mad_w(fd, "// argv: [1]=lanes file (default knowledge/status/eval_lanes.log) [2]=good-threshold permil (default 700)\n" as *u8) 140 mad_w(fd, "// [3]=triangle log (default knowledge/status/eval_triangle.log)\n" as *u8) 141 mad_w(fd, "import \"nx_syscalls.nx\"\n" as *u8) 142 mad_w(fd, "func _ev_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 }\n" as *u8) 143 mad_w(fd, "func _ev_wn(fd: i64, v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m; sys_write(fd,\"-\" as *u8,1)}; let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=48+(m%10);m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(fd,bb,k); return 0 }\n" as *u8) 144 mad_w(fd, "func _ev_atoi(s: *u8) -> i64 { var v: i64=0; var i: i64=0; while s[i]!=(0 as u8) { let c: i64=s[i]; if c<48 { return v } if c>57 { return v } v=v*10+(c-48); i=i+1 } return v }\n" as *u8) 145 mad_w(fd, "func _ev_eol(buf: *u8, p: i64, L: i64) -> i64 { var e: i64=p; while e<L { if buf[e]==(10 as u8) { return e } e=e+1 } return L }\n" as *u8) 146 mad_w(fd, "// find pat inside [p,e); return index after pat or 0-1\n" as *u8) 147 mad_w(fd, "func _ev_find(buf: *u8, p: i64, e: i64, pat: *u8) -> i64 {\n" as *u8) 148 mad_w(fd, " var pl: i64=0\n" as *u8) 149 mad_w(fd, " while pat[pl]!=(0 as u8) { pl=pl+1 }\n" as *u8) 150 mad_w(fd, " var i: i64=p\n" as *u8) 151 mad_w(fd, " while i+pl<=e {\n" as *u8) 152 mad_w(fd, " var j: i64=0\n" as *u8) 153 mad_w(fd, " var hit: i64=1\n" as *u8) 154 mad_w(fd, " while j<pl { if buf[i+j]!=pat[j] { hit=0; j=pl } j=j+1 }\n" as *u8) 155 mad_w(fd, " if hit==1 { return i+pl }\n" as *u8) 156 mad_w(fd, " i=i+1\n" as *u8) 157 mad_w(fd, " }\n" as *u8) 158 mad_w(fd, " return 0-1\n" as *u8) 159 mad_w(fd, "}\n" as *u8) 160 mad_w(fd, "// id equality: ids[off..] (0-term) vs buf[p..p+n)\n" as *u8) 161 mad_w(fd, "func _ev_ideq(ids: *u8, off: i64, buf: *u8, p: i64, n: i64) -> i64 {\n" as *u8) 162 mad_w(fd, " var i: i64=0\n" as *u8) 163 mad_w(fd, " while i<n { if ids[off+i]!=buf[p+i] { return 0 } if ids[off+i]==(0 as u8) { return 0 } i=i+1 }\n" as *u8) 164 mad_w(fd, " if ids[off+n]==(0 as u8) { return 1 }\n" as *u8) 165 mad_w(fd, " return 0\n" as *u8) 166 mad_w(fd, "}\n" as *u8) 167 mad_w(fd, "func main(argc: i64, argv: *i64) -> i64 {\n" as *u8) 168 mad_w(fd, " var lanes: *u8 = \"knowledge/status/eval_lanes.log\" as *u8\n" as *u8) 169 mad_w(fd, " var thr: i64 = 700\n" as *u8) 170 mad_w(fd, " var logp: *u8 = \"knowledge/status/eval_triangle.log\" as *u8\n" as *u8) 171 mad_w(fd, " if argc>=2 { lanes = argv[1] as *u8 }\n" as *u8) 172 mad_w(fd, " if argc>=3 { thr = _ev_atoi(argv[2] as *u8) }\n" as *u8) 173 mad_w(fd, " if argc>=4 { logp = argv[3] as *u8 }\n" as *u8) 174 mad_w(fd, " let lenp: *i64 = sys_mmap(8) as *i64\n" as *u8) 175 mad_w(fd, " let buf: *u8 = sys_read_file(lanes, lenp)\n" as *u8) 176 mad_w(fd, " let L: i64 = lenp[0]\n" as *u8) 177 mad_w(fd, " if L < 5 { _ev_w(1, \"TRI-GATE FAIL lanes-unreadable\\n\" as *u8); sys_exit(1); return 1 }\n" as *u8) 178 mad_w(fd, " let ids: *u8 = sys_mmap(262144)\n" as *u8) 179 mad_w(fd, " let ioff: *i64 = sys_mmap(65536) as *i64\n" as *u8) 180 mad_w(fd, " let ms: *i64 = sys_mmap(65536) as *i64\n" as *u8) 181 mad_w(fd, " let vs: *i64 = sys_mmap(65536) as *i64\n" as *u8) 182 mad_w(fd, " let os: *i64 = sys_mmap(65536) as *i64\n" as *u8) 183 mad_w(fd, " var cnt: i64=0\n" as *u8) 184 mad_w(fd, " var ipos: i64=0\n" as *u8) 185 mad_w(fd, " var p: i64=0\n" as *u8) 186 mad_w(fd, " while p < L {\n" as *u8) 187 mad_w(fd, " let e: i64 = _ev_eol(buf, p, L)\n" as *u8) 188 mad_w(fd, " let ip: i64 = _ev_find(buf, p, e, \"img=\" as *u8)\n" as *u8) 189 mad_w(fd, " let lp2: i64 = _ev_find(buf, p, e, \"lane=\" as *u8)\n" as *u8) 190 mad_w(fd, " let sp: i64 = _ev_find(buf, p, e, \"score=\" as *u8)\n" as *u8) 191 mad_w(fd, " if ip>=0 { if lp2>=0 { if sp>=0 {\n" as *u8) 192 mad_w(fd, " var ie: i64 = ip\n" as *u8) 193 mad_w(fd, " var going: i64 = 1\n" as *u8) 194 mad_w(fd, " while going==1 { if ie>=e { going=0 } if going==1 { let c: i64=buf[ie]; if c==32 { going=0 } if c!=32 { ie=ie+1 } } }\n" as *u8) 195 mad_w(fd, " let iln: i64 = ie - ip\n" as *u8) 196 mad_w(fd, " var k: i64 = 0-1\n" as *u8) 197 mad_w(fd, " var s2: i64 = 0\n" as *u8) 198 mad_w(fd, " while s2<cnt { if _ev_ideq(ids, ioff[s2], buf, ip, iln)==1 { k=s2; s2=cnt } s2=s2+1 }\n" as *u8) 199 mad_w(fd, " if k<0 {\n" as *u8) 200 mad_w(fd, " k=cnt\n" as *u8) 201 mad_w(fd, " ioff[k]=ipos\n" as *u8) 202 mad_w(fd, " var ci: i64=0\n" as *u8) 203 mad_w(fd, " while ci<iln { ids[ipos+ci]=buf[ip+ci]; ci=ci+1 }\n" as *u8) 204 mad_w(fd, " ids[ipos+iln]=0\n" as *u8) 205 mad_w(fd, " ipos=ipos+iln+1\n" as *u8) 206 mad_w(fd, " ms[k]=0-1; vs[k]=0-1; os[k]=0-1\n" as *u8) 207 mad_w(fd, " cnt=cnt+1\n" as *u8) 208 mad_w(fd, " }\n" as *u8) 209 mad_w(fd, " let sc: i64 = _ev_atoi((buf as i64 + sp) as *u8)\n" as *u8) 210 mad_w(fd, " let lc: i64 = buf[lp2]\n" as *u8) 211 mad_w(fd, " if lc==77 { ms[k]=sc }\n" as *u8) 212 mad_w(fd, " if lc==86 { vs[k]=sc }\n" as *u8) 213 mad_w(fd, " if lc==79 { os[k]=sc }\n" as *u8) 214 mad_w(fd, " } } }\n" as *u8) 215 mad_w(fd, " p = e + 1\n" as *u8) 216 mad_w(fd, " }\n" as *u8) 217 mad_w(fd, " let logfd: i64 = sys_openat_append(logp, 0x1a4)\n" as *u8) 218 mad_w(fd, " var ngood: i64=0; var nbad: i64=0; var nover: i64=0; var nsm: i64=0; var nsme: i64=0; var ninc: i64=0\n" as *u8) 219 mad_w(fd, " var t: i64=0\n" as *u8) 220 mad_w(fd, " while t<cnt {\n" as *u8) 221 mad_w(fd, " var verd: *u8 = \"TRI-INCOMPLETE\" as *u8\n" as *u8) 222 mad_w(fd, " let m: i64=ms[t]; let v: i64=vs[t]; let o: i64=os[t]\n" as *u8) 223 mad_w(fd, " var have: i64=1\n" as *u8) 224 mad_w(fd, " if m<0 { have=0 } if v<0 { have=0 } if o<0 { have=0 }\n" as *u8) 225 mad_w(fd, " if have==0 { ninc=ninc+1 }\n" as *u8) 226 mad_w(fd, " if have==1 {\n" as *u8) 227 mad_w(fd, " var mg: i64=0; if m>=thr { mg=1 }\n" as *u8) 228 mad_w(fd, " var vg: i64=0; if v>=thr { vg=1 }\n" as *u8) 229 mad_w(fd, " var og: i64=0; if o>=thr { og=1 }\n" as *u8) 230 mad_w(fd, " let g: i64 = mg+vg+og\n" as *u8) 231 mad_w(fd, " if g==3 { verd=\"TRI-GOOD\" as *u8; ngood=ngood+1 }\n" as *u8) 232 mad_w(fd, " if g==0 { verd=\"TRI-BAD\" as *u8; nbad=nbad+1 }\n" as *u8) 233 mad_w(fd, " if g>0 { if g<3 {\n" as *u8) 234 mad_w(fd, " if mg==vg { verd=\"TRI-OPERATOR-OVERRIDE\" as *u8; nover=nover+1 }\n" as *u8) 235 mad_w(fd, " if mg!=vg { if og==mg { verd=\"TRI-SPLIT-MODEL\" as *u8; nsm=nsm+1 } if og==vg { verd=\"TRI-SPLIT-MEASURED\" as *u8; nsme=nsme+1 } }\n" as *u8) 236 mad_w(fd, " } }\n" as *u8) 237 mad_w(fd, " }\n" as *u8) 238 mad_w(fd, " var fdi: i64=1\n" as *u8) 239 mad_w(fd, " while fdi>=0 {\n" as *u8) 240 mad_w(fd, " var ofd: i64=1\n" as *u8) 241 mad_w(fd, " if fdi==0 { ofd=logfd }\n" as *u8) 242 mad_w(fd, " _ev_w(ofd, \"TRIANGLE img=\" as *u8)\n" as *u8) 243 mad_w(fd, " _ev_w(ofd, (ids as i64 + ioff[t]) as *u8)\n" as *u8) 244 mad_w(fd, " _ev_w(ofd, \" m=\" as *u8); _ev_wn(ofd, m)\n" as *u8) 245 mad_w(fd, " _ev_w(ofd, \" v=\" as *u8); _ev_wn(ofd, v)\n" as *u8) 246 mad_w(fd, " _ev_w(ofd, \" o=\" as *u8); _ev_wn(ofd, o)\n" as *u8) 247 mad_w(fd, " _ev_w(ofd, \" verdict=\" as *u8); _ev_w(ofd, verd); _ev_w(ofd, \"\\n\" as *u8)\n" as *u8) 248 mad_w(fd, " fdi=fdi-1\n" as *u8) 249 mad_w(fd, " }\n" as *u8) 250 mad_w(fd, " t=t+1\n" as *u8) 251 mad_w(fd, " }\n" as *u8) 252 mad_w(fd, " var fdj: i64=1\n" as *u8) 253 mad_w(fd, " while fdj>=0 {\n" as *u8) 254 mad_w(fd, " var ofd2: i64=1\n" as *u8) 255 mad_w(fd, " if fdj==0 { ofd2=logfd }\n" as *u8) 256 mad_w(fd, " _ev_w(ofd2, \"TRI-SUMMARY total=\" as *u8); _ev_wn(ofd2, cnt)\n" as *u8) 257 mad_w(fd, " _ev_w(ofd2, \" good=\" as *u8); _ev_wn(ofd2, ngood)\n" as *u8) 258 mad_w(fd, " _ev_w(ofd2, \" bad=\" as *u8); _ev_wn(ofd2, nbad)\n" as *u8) 259 mad_w(fd, " _ev_w(ofd2, \" override=\" as *u8); _ev_wn(ofd2, nover)\n" as *u8) 260 mad_w(fd, " _ev_w(ofd2, \" split-model=\" as *u8); _ev_wn(ofd2, nsm)\n" as *u8) 261 mad_w(fd, " _ev_w(ofd2, \" split-measured=\" as *u8); _ev_wn(ofd2, nsme)\n" as *u8) 262 mad_w(fd, " _ev_w(ofd2, \" incomplete=\" as *u8); _ev_wn(ofd2, ninc)\n" as *u8) 263 mad_w(fd, " _ev_w(ofd2, \" thr=\" as *u8); _ev_wn(ofd2, thr)\n" as *u8) 264 mad_w(fd, " _ev_w(ofd2, \"\\n\" as *u8)\n" as *u8) 265 mad_w(fd, " fdj=fdj-1\n" as *u8) 266 mad_w(fd, " }\n" as *u8) 267 mad_w(fd, " sys_close(logfd)\n" as *u8) 268 mad_w(fd, " sys_exit(0)\n" as *u8) 269 mad_w(fd, " return 0\n" as *u8) 270 mad_w(fd, "}\n" as *u8) 271 return 1 272} 273 274// ---- EVAL rung 3: FACTOR ATTRIBUTION (precision arc, operator 2026-06-10) -------------------- 275// Join TRIANGLE verdicts x GENREC factor lines (seed= loras= phrasepos= tokens= cfg= ... any 276// key=value token) -> per-factor good/bad tallies + permil. Context rot / phrase position stop 277// being lore and become measured deltas. Clean signal only: good=TRI-GOOD, bad=TRI-BAD; the 278// disagreement verdicts are instrument-calibration rows, not factor evidence. 279func ma_emit_eval_factor(fd: i64) -> i64 { 280 mad_w(fd, "// AUTHORED BY THE NISHI BUILDER (nx_module_author_data eval-factor template) -- EVAL rung 3.\n" as *u8) 281 mad_w(fd, "// argv: [1]=triangle log [2]=genrec log [3]=factor out (default knowledge/status/eval_factor.log)\n" as *u8) 282 mad_w(fd, "import \"nx_syscalls.nx\"\n" as *u8) 283 mad_w(fd, "func _ef_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 }\n" as *u8) 284 mad_w(fd, "func _ef_wn(fd: i64, v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m; sys_write(fd,\"-\" as *u8,1)}; let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=48+(m%10);m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(fd,bb,k); return 0 }\n" as *u8) 285 mad_w(fd, "func _ef_eol(buf: *u8, p: i64, L: i64) -> i64 { var e: i64=p; while e<L { if buf[e]==(10 as u8) { return e } e=e+1 } return L }\n" as *u8) 286 mad_w(fd, "func _ef_find(buf: *u8, p: i64, e: i64, pat: *u8) -> i64 {\n" as *u8) 287 mad_w(fd, " var pl: i64=0\n" as *u8) 288 mad_w(fd, " while pat[pl]!=(0 as u8) { pl=pl+1 }\n" as *u8) 289 mad_w(fd, " var i: i64=p\n" as *u8) 290 mad_w(fd, " while i+pl<=e {\n" as *u8) 291 mad_w(fd, " var j: i64=0\n" as *u8) 292 mad_w(fd, " var hit: i64=1\n" as *u8) 293 mad_w(fd, " while j<pl { if buf[i+j]!=pat[j] { hit=0; j=pl } j=j+1 }\n" as *u8) 294 mad_w(fd, " if hit==1 { return i+pl }\n" as *u8) 295 mad_w(fd, " i=i+1\n" as *u8) 296 mad_w(fd, " }\n" as *u8) 297 mad_w(fd, " return 0-1\n" as *u8) 298 mad_w(fd, "}\n" as *u8) 299 mad_w(fd, "func _ef_poolfind(pool: *u8, poff: *i64, cnt: i64, buf: *u8, p: i64, n: i64) -> i64 {\n" as *u8) 300 mad_w(fd, " var s: i64=0\n" as *u8) 301 mad_w(fd, " while s<cnt {\n" as *u8) 302 mad_w(fd, " var i: i64=0\n" as *u8) 303 mad_w(fd, " var ok: i64=1\n" as *u8) 304 mad_w(fd, " while i<n { if pool[poff[s]+i]!=buf[p+i] { ok=0; i=n } if ok==1 { if pool[poff[s]+i]==(0 as u8) { ok=0; i=n } } i=i+1 }\n" as *u8) 305 mad_w(fd, " if ok==1 { if pool[poff[s]+n]==(0 as u8) { return s } }\n" as *u8) 306 mad_w(fd, " s=s+1\n" as *u8) 307 mad_w(fd, " }\n" as *u8) 308 mad_w(fd, " return 0-1\n" as *u8) 309 mad_w(fd, "}\n" as *u8) 310 mad_w(fd, "func _ef_pooladd(pool: *u8, poff: *i64, ppos: *i64, cnt: i64, buf: *u8, p: i64, n: i64) -> i64 {\n" as *u8) 311 mad_w(fd, " poff[cnt]=ppos[0]\n" as *u8) 312 mad_w(fd, " var i: i64=0\n" as *u8) 313 mad_w(fd, " while i<n { pool[ppos[0]+i]=buf[p+i]; i=i+1 }\n" as *u8) 314 mad_w(fd, " pool[ppos[0]+n]=0\n" as *u8) 315 mad_w(fd, " ppos[0]=ppos[0]+n+1\n" as *u8) 316 mad_w(fd, " return cnt\n" as *u8) 317 mad_w(fd, "}\n" as *u8) 318 mad_w(fd, "func main(argc: i64, argv: *i64) -> i64 {\n" as *u8) 319 mad_w(fd, " var trip: *u8 = \"knowledge/status/eval_triangle.log\" as *u8\n" as *u8) 320 mad_w(fd, " var genp: *u8 = \"knowledge/status/eval_genrec.log\" as *u8\n" as *u8) 321 mad_w(fd, " var outp: *u8 = \"knowledge/status/eval_factor.log\" as *u8\n" as *u8) 322 mad_w(fd, " if argc>=2 { trip = argv[1] as *u8 }\n" as *u8) 323 mad_w(fd, " if argc>=3 { genp = argv[2] as *u8 }\n" as *u8) 324 mad_w(fd, " if argc>=4 { outp = argv[3] as *u8 }\n" as *u8) 325 mad_w(fd, " let tl: *i64 = sys_mmap(8) as *i64\n" as *u8) 326 mad_w(fd, " let tb: *u8 = sys_read_file(trip, tl)\n" as *u8) 327 mad_w(fd, " if tl[0] < 5 { _ef_w(1, \"FACTOR-GATE FAIL triangle-unreadable\\n\" as *u8); sys_exit(1); return 1 }\n" as *u8) 328 mad_w(fd, " let gl: *i64 = sys_mmap(8) as *i64\n" as *u8) 329 mad_w(fd, " let gb: *u8 = sys_read_file(genp, gl)\n" as *u8) 330 mad_w(fd, " if gl[0] < 5 { _ef_w(1, \"FACTOR-GATE FAIL genrec-unreadable\\n\" as *u8); sys_exit(1); return 1 }\n" as *u8) 331 mad_w(fd, " let ipool: *u8 = sys_mmap(262144)\n" as *u8) 332 mad_w(fd, " let ioff: *i64 = sys_mmap(131072) as *i64\n" as *u8) 333 mad_w(fd, " let ipos: *i64 = sys_mmap(8) as *i64\n" as *u8) 334 mad_w(fd, " let icls: *i64 = sys_mmap(131072) as *i64\n" as *u8) 335 mad_w(fd, " var icnt: i64=0\n" as *u8) 336 mad_w(fd, " var p: i64=0\n" as *u8) 337 mad_w(fd, " while p < tl[0] {\n" as *u8) 338 mad_w(fd, " let e: i64 = _ef_eol(tb, p, tl[0])\n" as *u8) 339 mad_w(fd, " let ip: i64 = _ef_find(tb, p, e, \"img=\" as *u8)\n" as *u8) 340 mad_w(fd, " let vp: i64 = _ef_find(tb, p, e, \"verdict=\" as *u8)\n" as *u8) 341 mad_w(fd, " if ip>=0 { if vp>=0 {\n" as *u8) 342 mad_w(fd, " var ie: i64 = ip\n" as *u8) 343 mad_w(fd, " var go1: i64=1\n" as *u8) 344 mad_w(fd, " while go1==1 { if ie>=e { go1=0 } if go1==1 { if tb[ie]==(32 as u8) { go1=0 } if tb[ie]!=(32 as u8) { ie=ie+1 } } }\n" as *u8) 345 mad_w(fd, " var cls: i64 = 0\n" as *u8) 346 mad_w(fd, " let vlen: i64 = e - vp\n" as *u8) 347 mad_w(fd, " if vlen==8 { if tb[vp+4]==(71 as u8) { cls=1 } }\n" as *u8) 348 mad_w(fd, " if vlen==7 { if tb[vp+4]==(66 as u8) { cls=2 } }\n" as *u8) 349 mad_w(fd, " var k: i64 = _ef_poolfind(ipool, ioff, icnt, tb, ip, ie-ip)\n" as *u8) 350 mad_w(fd, " if k<0 { k=_ef_pooladd(ipool, ioff, ipos, icnt, tb, ip, ie-ip); icnt=icnt+1 }\n" as *u8) 351 mad_w(fd, " icls[k]=cls\n" as *u8) 352 mad_w(fd, " } }\n" as *u8) 353 mad_w(fd, " p = e + 1\n" as *u8) 354 mad_w(fd, " }\n" as *u8) 355 mad_w(fd, " let fpool: *u8 = sys_mmap(1048576)\n" as *u8) 356 mad_w(fd, " let foff: *i64 = sys_mmap(262144) as *i64\n" as *u8) 357 mad_w(fd, " let fpos: *i64 = sys_mmap(8) as *i64\n" as *u8) 358 mad_w(fd, " let fgood: *i64 = sys_mmap(262144) as *i64\n" as *u8) 359 mad_w(fd, " let fbad: *i64 = sys_mmap(262144) as *i64\n" as *u8) 360 mad_w(fd, " var fcnt: i64=0\n" as *u8) 361 mad_w(fd, " var ngood: i64=0; var nbad: i64=0; var nign: i64=0; var nun: i64=0\n" as *u8) 362 mad_w(fd, " var q: i64=0\n" as *u8) 363 mad_w(fd, " while q < gl[0] {\n" as *u8) 364 mad_w(fd, " let e2: i64 = _ef_eol(gb, q, gl[0])\n" as *u8) 365 mad_w(fd, " let ip2: i64 = _ef_find(gb, q, e2, \"img=\" as *u8)\n" as *u8) 366 mad_w(fd, " if ip2>=0 {\n" as *u8) 367 mad_w(fd, " var ie2: i64 = ip2\n" as *u8) 368 mad_w(fd, " var go2: i64=1\n" as *u8) 369 mad_w(fd, " while go2==1 { if ie2>=e2 { go2=0 } if go2==1 { if gb[ie2]==(32 as u8) { go2=0 } if gb[ie2]!=(32 as u8) { ie2=ie2+1 } } }\n" as *u8) 370 mad_w(fd, " let k2: i64 = _ef_poolfind(ipool, ioff, icnt, gb, ip2, ie2-ip2)\n" as *u8) 371 mad_w(fd, " var cls2: i64 = 0-1\n" as *u8) 372 mad_w(fd, " if k2>=0 { cls2=icls[k2] }\n" as *u8) 373 mad_w(fd, " if k2<0 { nun=nun+1 }\n" as *u8) 374 mad_w(fd, " if cls2==0 { nign=nign+1 }\n" as *u8) 375 mad_w(fd, " if cls2==1 { ngood=ngood+1 }\n" as *u8) 376 mad_w(fd, " if cls2==2 { nbad=nbad+1 }\n" as *u8) 377 mad_w(fd, " if cls2>=1 {\n" as *u8) 378 mad_w(fd, " var tp: i64 = q\n" as *u8) 379 mad_w(fd, " while tp < e2 {\n" as *u8) 380 mad_w(fd, " var sk: i64=1\n" as *u8) 381 mad_w(fd, " while sk==1 { if tp>=e2 { sk=0 } if sk==1 { if gb[tp]!=(32 as u8) { sk=0 } if gb[tp]==(32 as u8) { tp=tp+1 } } }\n" as *u8) 382 mad_w(fd, " if tp < e2 {\n" as *u8) 383 mad_w(fd, " let ts: i64 = tp\n" as *u8) 384 mad_w(fd, " var sc2: i64=1\n" as *u8) 385 mad_w(fd, " while sc2==1 { if tp>=e2 { sc2=0 } if sc2==1 { if gb[tp]==(32 as u8) { sc2=0 } if gb[tp]!=(32 as u8) { tp=tp+1 } } }\n" as *u8) 386 mad_w(fd, " let tn: i64 = tp - ts\n" as *u8) 387 mad_w(fd, " var haseq: i64=0\n" as *u8) 388 mad_w(fd, " var hi: i64=0\n" as *u8) 389 mad_w(fd, " while hi<tn { if gb[ts+hi]==(61 as u8) { haseq=1 } hi=hi+1 }\n" as *u8) 390 mad_w(fd, " var isimg: i64=0\n" as *u8) 391 mad_w(fd, " if tn>=4 { if gb[ts]==(105 as u8) { if gb[ts+1]==(109 as u8) { if gb[ts+2]==(103 as u8) { if gb[ts+3]==(61 as u8) { isimg=1 } } } } }\n" as *u8) 392 mad_w(fd, " if haseq==1 { if isimg==0 {\n" as *u8) 393 mad_w(fd, " var fk: i64 = _ef_poolfind(fpool, foff, fcnt, gb, ts, tn)\n" as *u8) 394 mad_w(fd, " if fk<0 { fk=_ef_pooladd(fpool, foff, fpos, fcnt, gb, ts, tn); fgood[fk]=0; fbad[fk]=0; fcnt=fcnt+1 }\n" as *u8) 395 mad_w(fd, " if cls2==1 { fgood[fk]=fgood[fk]+1 }\n" as *u8) 396 mad_w(fd, " if cls2==2 { fbad[fk]=fbad[fk]+1 }\n" as *u8) 397 mad_w(fd, " } }\n" as *u8) 398 mad_w(fd, " }\n" as *u8) 399 mad_w(fd, " }\n" as *u8) 400 mad_w(fd, " }\n" as *u8) 401 mad_w(fd, " }\n" as *u8) 402 mad_w(fd, " q = e2 + 1\n" as *u8) 403 mad_w(fd, " }\n" as *u8) 404 mad_w(fd, " let logfd: i64 = sys_openat_append(outp, 0x1a4)\n" as *u8) 405 mad_w(fd, " var fi: i64=0\n" as *u8) 406 mad_w(fd, " while fi<fcnt {\n" as *u8) 407 mad_w(fd, " var fdi: i64=1\n" as *u8) 408 mad_w(fd, " while fdi>=0 {\n" as *u8) 409 mad_w(fd, " var ofd: i64=1\n" as *u8) 410 mad_w(fd, " if fdi==0 { ofd=logfd }\n" as *u8) 411 mad_w(fd, " _ef_w(ofd, \"FACTOR \" as *u8)\n" as *u8) 412 mad_w(fd, " _ef_w(ofd, (fpool as i64 + foff[fi]) as *u8)\n" as *u8) 413 mad_w(fd, " _ef_w(ofd, \" good=\" as *u8); _ef_wn(ofd, fgood[fi])\n" as *u8) 414 mad_w(fd, " _ef_w(ofd, \" bad=\" as *u8); _ef_wn(ofd, fbad[fi])\n" as *u8) 415 mad_w(fd, " let tot: i64 = fgood[fi]+fbad[fi]\n" as *u8) 416 mad_w(fd, " var pm2: i64 = 0\n" as *u8) 417 mad_w(fd, " if tot>0 { pm2 = (fgood[fi]*1000)/tot }\n" as *u8) 418 mad_w(fd, " _ef_w(ofd, \" permil=\" as *u8); _ef_wn(ofd, pm2)\n" as *u8) 419 mad_w(fd, " _ef_w(ofd, \"\\n\" as *u8)\n" as *u8) 420 mad_w(fd, " fdi=fdi-1\n" as *u8) 421 mad_w(fd, " }\n" as *u8) 422 mad_w(fd, " fi=fi+1\n" as *u8) 423 mad_w(fd, " }\n" as *u8) 424 mad_w(fd, " var fdj: i64=1\n" as *u8) 425 mad_w(fd, " while fdj>=0 {\n" as *u8) 426 mad_w(fd, " var ofd2: i64=1\n" as *u8) 427 mad_w(fd, " if fdj==0 { ofd2=logfd }\n" as *u8) 428 mad_w(fd, " _ef_w(ofd2, \"FACTOR-SUMMARY factors=\" as *u8); _ef_wn(ofd2, fcnt)\n" as *u8) 429 mad_w(fd, " _ef_w(ofd2, \" imgs-good=\" as *u8); _ef_wn(ofd2, ngood)\n" as *u8) 430 mad_w(fd, " _ef_w(ofd2, \" imgs-bad=\" as *u8); _ef_wn(ofd2, nbad)\n" as *u8) 431 mad_w(fd, " _ef_w(ofd2, \" imgs-ignored=\" as *u8); _ef_wn(ofd2, nign)\n" as *u8) 432 mad_w(fd, " _ef_w(ofd2, \" imgs-unmatched=\" as *u8); _ef_wn(ofd2, nun)\n" as *u8) 433 mad_w(fd, " _ef_w(ofd2, \"\\n\" as *u8)\n" as *u8) 434 mad_w(fd, " fdj=fdj-1\n" as *u8) 435 mad_w(fd, " }\n" as *u8) 436 mad_w(fd, " sys_close(logfd)\n" as *u8) 437 mad_w(fd, " sys_exit(0)\n" as *u8) 438 mad_w(fd, " return 0\n" as *u8) 439 mad_w(fd, "}\n" as *u8) 440 return 1 441} 442 443// ---- O-lane: the operator flag writer -------------------------------------------------------- 444// argv: [1]=img id [2]=score permil (0=bad flag, 1000=good) [3]=lanes log (default 445// knowledge/status/eval_lanes.log). Appends one EVAL line -- the operator's lane into triangulation. 446func ma_emit_eval_flag(fd: i64) -> i64 { 447 mad_w(fd, "// AUTHORED BY THE NISHI BUILDER (nx_module_author_data eval-flag template) -- the O lane.\n" as *u8) 448 mad_w(fd, "import \"nx_syscalls.nx\"\n" as *u8) 449 mad_w(fd, "func _eg_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 }\n" as *u8) 450 mad_w(fd, "func main(argc: i64, argv: *i64) -> i64 {\n" as *u8) 451 mad_w(fd, " if argc < 3 { _eg_w(1, \"usage: eval_flag <img-id> <score-permil> [lanes-log]\\n\" as *u8); sys_exit(1); return 1 }\n" as *u8) 452 mad_w(fd, " var lanes: *u8 = \"knowledge/status/eval_lanes.log\" as *u8\n" as *u8) 453 mad_w(fd, " if argc>=4 { lanes = argv[3] as *u8 }\n" as *u8) 454 mad_w(fd, " let logfd: i64 = sys_openat_append(lanes, 0x1a4)\n" as *u8) 455 mad_w(fd, " if logfd < 0 { _eg_w(1, \"FLAG FAIL log-unwritable\\n\" as *u8); sys_exit(1); return 1 }\n" as *u8) 456 mad_w(fd, " var fdi: i64=1\n" as *u8) 457 mad_w(fd, " while fdi>=0 {\n" as *u8) 458 mad_w(fd, " var ofd: i64=1\n" as *u8) 459 mad_w(fd, " if fdi==0 { ofd=logfd }\n" as *u8) 460 mad_w(fd, " _eg_w(ofd, \"EVAL img=\" as *u8)\n" as *u8) 461 mad_w(fd, " _eg_w(ofd, argv[1] as *u8)\n" as *u8) 462 mad_w(fd, " _eg_w(ofd, \" lane=O score=\" as *u8)\n" as *u8) 463 mad_w(fd, " _eg_w(ofd, argv[2] as *u8)\n" as *u8) 464 mad_w(fd, " _eg_w(ofd, \"\\n\" as *u8)\n" as *u8) 465 mad_w(fd, " fdi=fdi-1\n" as *u8) 466 mad_w(fd, " }\n" as *u8) 467 mad_w(fd, " sys_close(logfd)\n" as *u8) 468 mad_w(fd, " sys_exit(0)\n" as *u8) 469 mad_w(fd, " return 0\n" as *u8) 470 mad_w(fd, "}\n" as *u8) 471 return 1 472} 473 474// ---- E1 rung 1: the sovereign SQLite reader ------------------------------------------------- 475func ma_emit_sqlite_read(fd: i64) -> i64 { 476 mad_w(fd, "// AUTHORED BY THE NISHI BUILDER (nx_module_author_data sqlite-read template) -- ELDERMIG E1 rung 1.\n" as *u8) 477 mad_w(fd, "// Sovereign READ-ONLY SQLite reader: header check, table-btree walk (leaf 0x0D / interior 0x05),\n" as *u8) 478 mad_w(fd, "// sqlite_master record decode (type/name/rootpage), per-table row counts. Additive law: read-only.\n" as *u8) 479 mad_w(fd, "// HONEST LIMIT (raised hand for rung 2): local payload only -- overflow pages not followed yet;\n" as *u8) 480 mad_w(fd, "// fine for sqlite_master scans of Elder DBs; full row/column reads = rung 2.\n" as *u8) 481 mad_w(fd, "import \"nx_syscalls.nx\"\n" as *u8) 482 mad_w(fd, "func _sq_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 }\n" as *u8) 483 mad_w(fd, "func _sq_wn(fd: i64, v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m}; let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=48+(m%10);m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(fd,bb,k); return 0 }\n" as *u8) 484 mad_w(fd, "func _sq_be16(p: *u8, off: i64) -> i64 { let a: i64=p[off]; let b: i64=p[off+1]; return (a<<8)|b }\n" as *u8) 485 mad_w(fd, "func _sq_be32(p: *u8, off: i64) -> i64 { let a: i64=p[off]; let b: i64=p[off+1]; let c: i64=p[off+2]; let d: i64=p[off+3]; return (((((a<<8)|b)<<8)|c)<<8)|d }\n" as *u8) 486 mad_w(fd, "func _sq_varint(p: *u8, off: i64, lenout: *i64) -> i64 {\n" as *u8) 487 mad_w(fd, " var v: i64=0\n" as *u8) 488 mad_w(fd, " var i: i64=0\n" as *u8) 489 mad_w(fd, " while i<8 {\n" as *u8) 490 mad_w(fd, " let b: i64=p[off+i]\n" as *u8) 491 mad_w(fd, " if b<128 { v=(v<<7)|b; lenout[0]=i+1; return v }\n" as *u8) 492 mad_w(fd, " v=(v<<7)|(b-128)\n" as *u8) 493 mad_w(fd, " i=i+1\n" as *u8) 494 mad_w(fd, " }\n" as *u8) 495 mad_w(fd, " let b9: i64=p[off+8]\n" as *u8) 496 mad_w(fd, " v=(v<<8)|b9\n" as *u8) 497 mad_w(fd, " lenout[0]=9\n" as *u8) 498 mad_w(fd, " return v\n" as *u8) 499 mad_w(fd, "}\n" as *u8) 500 mad_w(fd, "func _sq_stsize(st: i64) -> i64 {\n" as *u8) 501 mad_w(fd, " if st==0 { return 0 } if st==1 { return 1 } if st==2 { return 2 } if st==3 { return 3 }\n" as *u8) 502 mad_w(fd, " if st==4 { return 4 } if st==5 { return 6 } if st==6 { return 8 } if st==7 { return 8 }\n" as *u8) 503 mad_w(fd, " if st==8 { return 0 } if st==9 { return 0 }\n" as *u8) 504 mad_w(fd, " if st>=12 { let m: i64=st%2; if m==0 { return (st-12)/2 } return (st-13)/2 }\n" as *u8) 505 mad_w(fd, " return 0\n" as *u8) 506 mad_w(fd, "}\n" as *u8) 507 mad_w(fd, "func _sq_page(db: *u8, ps: i64, pgno: i64) -> *u8 { let base: i64 = db as i64; return (base + (pgno-1)*ps) as *u8 }\n" as *u8) 508 mad_w(fd, "func _sq_rowcount(db: *u8, ps: i64, pgno: i64) -> i64 {\n" as *u8) 509 mad_w(fd, " let pg: *u8 = _sq_page(db, ps, pgno)\n" as *u8) 510 mad_w(fd, " var hdr: i64 = 0\n" as *u8) 511 mad_w(fd, " if pgno==1 { hdr=100 }\n" as *u8) 512 mad_w(fd, " let pt: i64 = pg[hdr]\n" as *u8) 513 mad_w(fd, " let ncell: i64 = _sq_be16(pg, hdr+3)\n" as *u8) 514 mad_w(fd, " if pt==13 { return ncell }\n" as *u8) 515 mad_w(fd, " if pt==5 {\n" as *u8) 516 mad_w(fd, " var tot: i64=0\n" as *u8) 517 mad_w(fd, " var i: i64=0\n" as *u8) 518 mad_w(fd, " while i<ncell {\n" as *u8) 519 mad_w(fd, " let cp: i64 = _sq_be16(pg, hdr+12+2*i)\n" as *u8) 520 mad_w(fd, " tot = tot + _sq_rowcount(db, ps, _sq_be32(pg, cp))\n" as *u8) 521 mad_w(fd, " i=i+1\n" as *u8) 522 mad_w(fd, " }\n" as *u8) 523 mad_w(fd, " tot = tot + _sq_rowcount(db, ps, _sq_be32(pg, hdr+8))\n" as *u8) 524 mad_w(fd, " return tot\n" as *u8) 525 mad_w(fd, " }\n" as *u8) 526 mad_w(fd, " return 0-1\n" as *u8) 527 mad_w(fd, "}\n" as *u8) 528 mad_w(fd, "func _sq_master(db: *u8, ps: i64, pgno: i64, names: *u8, npos: *i64, noff: *i64, roots: *i64, cnt: *i64) -> i64 {\n" as *u8) 529 mad_w(fd, " let pg: *u8 = _sq_page(db, ps, pgno)\n" as *u8) 530 mad_w(fd, " var hdr: i64=0\n" as *u8) 531 mad_w(fd, " if pgno==1 { hdr=100 }\n" as *u8) 532 mad_w(fd, " let pt: i64 = pg[hdr]\n" as *u8) 533 mad_w(fd, " let ncell: i64 = _sq_be16(pg, hdr+3)\n" as *u8) 534 mad_w(fd, " if pt==5 {\n" as *u8) 535 mad_w(fd, " var ii: i64=0\n" as *u8) 536 mad_w(fd, " while ii<ncell {\n" as *u8) 537 mad_w(fd, " let cp: i64 = _sq_be16(pg, hdr+12+2*ii)\n" as *u8) 538 mad_w(fd, " _sq_master(db, ps, _sq_be32(pg, cp), names, npos, noff, roots, cnt)\n" as *u8) 539 mad_w(fd, " ii=ii+1\n" as *u8) 540 mad_w(fd, " }\n" as *u8) 541 mad_w(fd, " _sq_master(db, ps, _sq_be32(pg, hdr+8), names, npos, noff, roots, cnt)\n" as *u8) 542 mad_w(fd, " return 0\n" as *u8) 543 mad_w(fd, " }\n" as *u8) 544 mad_w(fd, " if pt!=13 { return 0-1 }\n" as *u8) 545 mad_w(fd, " var i2: i64=0\n" as *u8) 546 mad_w(fd, " let lp: *i64 = sys_mmap(8) as *i64\n" as *u8) 547 mad_w(fd, " while i2<ncell {\n" as *u8) 548 mad_w(fd, " let cp2: i64 = _sq_be16(pg, hdr+8+2*i2)\n" as *u8) 549 mad_w(fd, " var off: i64 = cp2\n" as *u8) 550 mad_w(fd, " let payl: i64 = _sq_varint(pg, off, lp)\n" as *u8) 551 mad_w(fd, " off = off + lp[0]\n" as *u8) 552 mad_w(fd, " let rid: i64 = _sq_varint(pg, off, lp)\n" as *u8) 553 mad_w(fd, " off = off + lp[0]\n" as *u8) 554 mad_w(fd, " let rstart: i64 = off\n" as *u8) 555 mad_w(fd, " let hlen: i64 = _sq_varint(pg, off, lp)\n" as *u8) 556 mad_w(fd, " off = off + lp[0]\n" as *u8) 557 mad_w(fd, " let st1: i64 = _sq_varint(pg, off, lp)\n" as *u8) 558 mad_w(fd, " off = off + lp[0]\n" as *u8) 559 mad_w(fd, " let st2: i64 = _sq_varint(pg, off, lp)\n" as *u8) 560 mad_w(fd, " off = off + lp[0]\n" as *u8) 561 mad_w(fd, " let st3: i64 = _sq_varint(pg, off, lp)\n" as *u8) 562 mad_w(fd, " off = off + lp[0]\n" as *u8) 563 mad_w(fd, " let st4: i64 = _sq_varint(pg, off, lp)\n" as *u8) 564 mad_w(fd, " off = off + lp[0]\n" as *u8) 565 mad_w(fd, " var c: i64 = rstart + hlen\n" as *u8) 566 mad_w(fd, " let sz1: i64 = _sq_stsize(st1)\n" as *u8) 567 mad_w(fd, " var istable: i64 = 0\n" as *u8) 568 mad_w(fd, " if sz1==5 { if pg[c]==(116 as u8) { if pg[c+1]==(97 as u8) { if pg[c+2]==(98 as u8) { if pg[c+3]==(108 as u8) { if pg[c+4]==(101 as u8) { istable=1 } } } } } }\n" as *u8) 569 mad_w(fd, " c = c + sz1\n" as *u8) 570 mad_w(fd, " let sz2: i64 = _sq_stsize(st2)\n" as *u8) 571 mad_w(fd, " if istable==1 {\n" as *u8) 572 mad_w(fd, " let k: i64 = cnt[0]\n" as *u8) 573 mad_w(fd, " noff[k] = npos[0]\n" as *u8) 574 mad_w(fd, " var j: i64=0\n" as *u8) 575 mad_w(fd, " while j<sz2 { names[npos[0]+j] = pg[c+j]; j=j+1 }\n" as *u8) 576 mad_w(fd, " names[npos[0]+sz2] = 0\n" as *u8) 577 mad_w(fd, " npos[0] = npos[0] + sz2 + 1\n" as *u8) 578 mad_w(fd, " let sz3: i64 = _sq_stsize(st3)\n" as *u8) 579 mad_w(fd, " var rp: i64 = 0\n" as *u8) 580 mad_w(fd, " let c4: i64 = c + sz2 + sz3\n" as *u8) 581 mad_w(fd, " if st4==9 { rp=1 }\n" as *u8) 582 mad_w(fd, " if st4>=1 { if st4<=6 {\n" as *u8) 583 mad_w(fd, " let n4: i64 = _sq_stsize(st4)\n" as *u8) 584 mad_w(fd, " var j4: i64=0\n" as *u8) 585 mad_w(fd, " while j4<n4 { let vb: i64 = pg[c4+j4]; rp=(rp<<8)|vb; j4=j4+1 }\n" as *u8) 586 mad_w(fd, " } }\n" as *u8) 587 mad_w(fd, " roots[k] = rp\n" as *u8) 588 mad_w(fd, " cnt[0] = k+1\n" as *u8) 589 mad_w(fd, " }\n" as *u8) 590 mad_w(fd, " i2=i2+1\n" as *u8) 591 mad_w(fd, " }\n" as *u8) 592 mad_w(fd, " return 0\n" as *u8) 593 mad_w(fd, "}\n" as *u8) 594 mad_w(fd, "func main(argc: i64, argv: *i64) -> i64 {\n" as *u8) 595 mad_w(fd, " var path: *u8 = \"/mnt/c/Users/elder/elder-ai-platform/data-vault/wardrobe.db\" as *u8\n" as *u8) 596 mad_w(fd, " if argc>=2 { path = argv[1] as *u8 }\n" as *u8) 597 mad_w(fd, " let lenp: *i64 = sys_mmap(8) as *i64\n" as *u8) 598 mad_w(fd, " let db: *u8 = sys_read_file(path, lenp)\n" as *u8) 599 mad_w(fd, " if lenp[0] < 512 { _sq_w(1, \"SQLITE-GATE FAIL unreadable\\n\" as *u8); sys_exit(1); return 1 }\n" as *u8) 600 mad_w(fd, " if _sq_be16(db,0)!=21329 { _sq_w(1, \"SQLITE-GATE FAIL bad-magic\\n\" as *u8); sys_exit(1); return 1 }\n" as *u8) 601 mad_w(fd, " if db[15]!=(0 as u8) { _sq_w(1, \"SQLITE-GATE FAIL bad-magic-tail\\n\" as *u8); sys_exit(1); return 1 }\n" as *u8) 602 mad_w(fd, " var ps: i64 = _sq_be16(db, 16)\n" as *u8) 603 mad_w(fd, " if ps==1 { ps=65536 }\n" as *u8) 604 mad_w(fd, " let names: *u8 = sys_mmap(65536)\n" as *u8) 605 mad_w(fd, " let noff: *i64 = sys_mmap(8192) as *i64\n" as *u8) 606 mad_w(fd, " let roots: *i64 = sys_mmap(8192) as *i64\n" as *u8) 607 mad_w(fd, " let cnt: *i64 = sys_mmap(8) as *i64\n" as *u8) 608 mad_w(fd, " let npos: *i64 = sys_mmap(8) as *i64\n" as *u8) 609 mad_w(fd, " cnt[0]=0\n" as *u8) 610 mad_w(fd, " npos[0]=0\n" as *u8) 611 mad_w(fd, " _sq_master(db, ps, 1, names, npos, noff, roots, cnt)\n" as *u8) 612 mad_w(fd, " var i: i64=0\n" as *u8) 613 mad_w(fd, " while i<cnt[0] {\n" as *u8) 614 mad_w(fd, " _sq_w(1, \"TABLE \" as *u8)\n" as *u8) 615 mad_w(fd, " let nb: i64 = names as i64\n" as *u8) 616 mad_w(fd, " _sq_w(1, (nb+noff[i]) as *u8)\n" as *u8) 617 mad_w(fd, " _sq_w(1, \"\\n\" as *u8)\n" as *u8) 618 mad_w(fd, " i=i+1\n" as *u8) 619 mad_w(fd, " }\n" as *u8) 620 mad_w(fd, " _sq_w(1, \"COUNT \" as *u8); _sq_wn(1, cnt[0]); _sq_w(1, \"\\n\" as *u8)\n" as *u8) 621 mad_w(fd, " var i3: i64=0\n" as *u8) 622 mad_w(fd, " while i3<cnt[0] {\n" as *u8) 623 mad_w(fd, " _sq_w(1, \"ROWS \" as *u8)\n" as *u8) 624 mad_w(fd, " let nb2: i64 = names as i64\n" as *u8) 625 mad_w(fd, " _sq_w(1, (nb2+noff[i3]) as *u8)\n" as *u8) 626 mad_w(fd, " _sq_w(1, \" \" as *u8)\n" as *u8) 627 mad_w(fd, " _sq_wn(1, _sq_rowcount(db, ps, roots[i3]))\n" as *u8) 628 mad_w(fd, " _sq_w(1, \"\\n\" as *u8)\n" as *u8) 629 mad_w(fd, " i3=i3+1\n" as *u8) 630 mad_w(fd, " }\n" as *u8) 631 mad_w(fd, " sys_exit(0)\n" as *u8) 632 mad_w(fd, " return 0\n" as *u8) 633 mad_w(fd, "}\n" as *u8) 634 return 1 635}