nx_vizsla_log_gate.nx source

1// nx_vizsla_log_gate.nx -- VIZSLA typed-interaction/timeline gate. Construction-known oracle. 2// log: mom call@06-10 "talked about her trip to Italy" ; mom meeting@05-01 "lunch downtown" ; 3// mom email@03-01 "sent vacation photos" ; alex coffee@06-05 "discussed the new role". 4// timeline mom => 3 interactions newest-first (06-10 call, 05-01 meeting, 03-01 email); 5// first=2026-03-01 last=2026-06-10 ; alex's coffee NOT in mom's timeline. 6// Rows: 7// 1 load 4 INT -> new=4 seg-A101 8// 2 idempotent new=0 dup_instore=4 (law 10) 9// 3 newest-first mom timeline: 06-10 line appears BEFORE 03-01 line (chronological desc sort) 10// 4 typed type=call + type=email present (typed, not generic touch) 11// 5 multiword-note note=lunch downtown preserved (rest-of-line content) 12// 6 verdict interactions=3 first=2026-03-01 last=2026-06-10 13// 7 isolation mom timeline has NONE of alex (no "discussed the new role") 14// 8 neg-no-file load missing -> exit 1 15// Evidence: VIZSLA-LOG-GATE -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 8/8. 16// license_tier: ORIGINAL 17import "nx_syscalls.nx" 18import "nx_gate_verdict.nx" 19 20func og_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } 21func og_p(s: *u8) -> i64 { sys_write(1, s, og_slen(s)); return 0 } 22 23func og_cat(dst: *u8, off: i64, s: *u8) -> i64 { 24 var i: i64 = 0 25 while s[i] != (0 as u8) { dst[off + i] = s[i]; i = i + 1 } 26 return off + i 27} 28 29func og_catn(dst: *u8, off: i64, v: i64) -> i64 { 30 var o: i64 = off 31 var m: i64 = v 32 if m < 0 { dst[o] = 45 as u8; o = o + 1; m = 0 - m } 33 let t: *u8 = sys_mmap(28) 34 var k: i64 = 0 35 if m == 0 { t[0] = 48 as u8; k = 1 } 36 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } 37 var i: i64 = 0 38 while i < k { dst[o + i] = t[k - 1 - i]; i = i + 1 } 39 return o + k 40} 41 42func og_write(path: *u8, content: *u8) -> i64 { 43 let fd: i64 = sys_openat_wr(path, 0x1a4) 44 if fd < 0 { return 0 - 1 } 45 sys_write(fd, content, og_slen(content)) 46 sys_close(fd) 47 return 0 48} 49 50func og_readall(path: *u8, szout: *i64) -> *u8 { 51 let fd: i64 = sys_openat_rd(path) 52 if fd < 0 { szout[0] = 0 - 1; return 0 as *u8 } 53 let sz: i64 = sys_lseek(fd, 0, 2) 54 sys_lseek(fd, 0, 0) 55 let buf: *u8 = sys_mmap(sz + 64) 56 var got: i64 = 0 57 var n: i64 = 1 58 while n > 0 { n = sys_read(fd, (buf as i64 + got) as *u8, 65536); if n > 0 { got = got + n } } 59 sys_close(fd) 60 szout[0] = got 61 return buf 62} 63 64func og_runv(elf: *u8, args: *i64, outpath: *u8) -> i64 { 65 let pid: i64 = sys_fork() 66 if pid == 0 { 67 if (outpath as i64) != 0 { 68 let ofd: i64 = sys_openat_wr(outpath, 0x1a4) 69 if ofd >= 0 { sys_dup3(ofd, 1, 0); sys_dup3(ofd, 2, 0) } 70 } 71 let argv: *i64 = sys_mmap(128) as *i64 72 argv[0] = elf as i64 73 var i: i64 = 0 74 var go: i64 = 1 75 while go == 1 { if args[i] == 0 { go = 0 } else { argv[i + 1] = args[i]; i = i + 1 } } 76 argv[i + 1] = 0 77 let envp: *i64 = sys_mmap(16) as *i64 78 envp[0] = 0 79 sys_execve(elf, argv, envp) 80 sys_exit(127) 81 } 82 let st: *i64 = sys_mmap(16) as *i64 83 sys_wait4(pid, st, 0) 84 let sig: i64 = st[0] & 0x7f 85 if sig != 0 { return 128 + sig } 86 return (st[0] >> 8) & 0xff 87} 88 89// first index of needle in buf[0,sz), or -1 90func og_idx(buf: *u8, sz: i64, needle: *u8) -> i64 { 91 let n: i64 = og_slen(needle) 92 if n == 0 { return 0 - 1 } 93 var i: i64 = 0 94 while i + n <= sz { 95 var ok: i64 = 1 96 var j: i64 = 0 97 while j < n { if buf[i + j] != needle[j] { ok = 0; j = n } else { j = j + 1 } } 98 if ok == 1 { return i } 99 i = i + 1 100 } 101 return 0 - 1 102} 103 104func og_has(path: *u8, needle: *u8) -> i64 { 105 let szp: *i64 = sys_mmap(16) as *i64 106 let b: *u8 = og_readall(path, szp) 107 if og_idx(b, szp[0], needle) >= 0 { return 1 } 108 return 0 109} 110 111// a appears strictly before b (both present) ? 112func og_before(path: *u8, a: *u8, b: *u8) -> i64 { 113 let szp: *i64 = sys_mmap(16) as *i64 114 let buf: *u8 = og_readall(path, szp) 115 let sz: i64 = szp[0] 116 let ia: i64 = og_idx(buf, sz, a) 117 let ib: i64 = og_idx(buf, sz, b) 118 if ia < 0 { return 0 } 119 if ib < 0 { return 0 } 120 if ia < ib { return 1 } 121 return 0 122} 123 124func og_row(name: *u8, pass: i64) -> i64 { 125 og_p("ROW " as *u8); og_p(name) 126 if pass == 1 { og_p(" PASS\n" as *u8) } else { og_p(" FAIL\n" as *u8) } 127 return pass 128} 129 130func og_args(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8) -> *i64 { 131 let a: *i64 = sys_mmap(64) as *i64 132 a[0] = a1 as i64; a[1] = a2 as i64; a[2] = a3 as i64; a[3] = a4 as i64; a[4] = a5 as i64; a[5] = 0 133 return a 134} 135 136func main(argc: i64, argv: *i64) -> i64 { 137 og_p("=== VIZSLA LOG GATE: typed interactions + chronological timeline ===\n" as *u8) 138 var ob: *u8 = "buildroot/_build/nx_vizsla_log.sov.elf" as *u8 139 if argc > 1 { ob = argv[1] as *u8 } 140 let pr: i64 = sys_openat_rd(ob) 141 if pr >= 0 { sys_close(pr) } 142 else { 143 og_p(" instrument missing -> rebuilding via durable runner\n" as *u8) 144 og_runv("_offc/nx_sov_build_run.elf" as *u8, og_args("nx_vizsla_log" as *u8, 0 as *u8, 0 as *u8, 0 as *u8, 0 as *u8), "/tmp/vll_rebuild.out" as *u8) 145 } 146 147 let pfx: *u8 = sys_mmap(128) 148 var po: i64 = 0 149 po = og_cat(pfx, po, "/tmp/vllG" as *u8); po = og_catn(pfx, po, sys_now_us()); po = og_cat(pfx, po, "-" as *u8) 150 pfx[po] = 0 as u8 151 152 og_write("/tmp/vll_log.txt" as *u8, "INT 2026-06-10 mom call talked about her trip to Italy\nINT 2026-05-01 mom meeting lunch downtown\nINT 2026-03-01 mom email sent vacation photos\nINT 2026-06-05 alex coffee discussed the new role\n" as *u8) 153 154 var pass: i64 = 0 155 var r: i64 = 0 156 157 let rc1: i64 = og_runv(ob, og_args("load" as *u8, "/tmp/vll_log.txt" as *u8, pfx, "1101" as *u8, 0 as *u8), "/tmp/vll_l1.txt" as *u8) 158 r = 0 159 if rc1 == 0 { if og_has("/tmp/vll_l1.txt" as *u8, "VIZSLA-LOG-LOAD scanned=4 new=4 dup_infile=0 dup_instore=0 segment=seg-1101" as *u8) == 1 { r = 1 } } 160 pass = pass + og_row("load" as *u8, r) 161 162 let rc2: i64 = og_runv(ob, og_args("load" as *u8, "/tmp/vll_log.txt" as *u8, pfx, "1109" as *u8, 0 as *u8), "/tmp/vll_l2.txt" as *u8) 163 r = 0 164 if rc2 == 0 { if og_has("/tmp/vll_l2.txt" as *u8, "VIZSLA-LOG-LOAD scanned=4 new=0 dup_infile=0 dup_instore=4 segment=none" as *u8) == 1 { r = 1 } } 165 pass = pass + og_row("idempotent-reload" as *u8, r) 166 167 og_runv(ob, og_args("timeline" as *u8, pfx, "mom" as *u8, 0 as *u8, 0 as *u8), "/tmp/vll_tm.txt" as *u8) 168 r = og_before("/tmp/vll_tm.txt" as *u8, "date=2026-06-10" as *u8, "date=2026-03-01" as *u8) 169 pass = pass + og_row("newest-first" as *u8, r) 170 171 r = 0 172 if og_has("/tmp/vll_tm.txt" as *u8, "type=call note=talked about her trip to Italy" as *u8) == 1 { if og_has("/tmp/vll_tm.txt" as *u8, "type=email note=sent vacation photos" as *u8) == 1 { r = 1 } } 173 pass = pass + og_row("typed-interactions" as *u8, r) 174 175 r = og_has("/tmp/vll_tm.txt" as *u8, "type=meeting note=lunch downtown" as *u8) 176 pass = pass + og_row("multiword-note" as *u8, r) 177 178 r = og_has("/tmp/vll_tm.txt" as *u8, "VIZSLA-LOG-TIMELINE contact=mom interactions=3 first=2026-03-01 last=2026-06-10" as *u8) 179 pass = pass + og_row("timeline-verdict" as *u8, r) 180 181 r = 0 182 if og_has("/tmp/vll_tm.txt" as *u8, "discussed the new role" as *u8) == 0 { r = 1 } 183 pass = pass + og_row("contact-isolation" as *u8, r) 184 185 let rc8: i64 = og_runv(ob, og_args("load" as *u8, "/tmp/vll_NOPE.txt" as *u8, "/tmp/vllNx-" as *u8, "1" as *u8, 0 as *u8), "/tmp/vll_8.txt" as *u8) 186 r = 0 187 if rc8 == 1 { r = 1 } 188 pass = pass + og_row("neg-no-file" as *u8, r) 189 190 let permil: i64 = (pass * 1000) / 8 191 let logfd: i64 = sys_openat_append("knowledge/status/vizsla_gate.log" as *u8, 0x1a4) 192 var fdi: i64 = 0 193 while fdi < 2 { 194 var fd: i64 = 1 195 if fdi == 1 { fd = logfd } 196 if fd > 0 { 197 let line: *u8 = sys_mmap(256) 198 var o: i64 = 0 199 o = og_cat(line, o, "VIZSLA-LOG-GATE epoch=" as *u8) 200 o = og_catn(line, o, sys_now_realtime_sec()) 201 o = og_cat(line, o, " rows=8 pass=" as *u8) 202 o = og_catn(line, o, pass) 203 o = og_cat(line, o, " permil=" as *u8) 204 o = og_catn(line, o, permil) 205 if pass == 8 { o = og_cat(line, o, " verdict=GREEN\n" as *u8) } else { o = og_cat(line, o, " verdict=RED\n" as *u8) } 206 sys_write(fd, line, o) 207 } 208 fdi = fdi + 1 209 } 210 if logfd > 0 { sys_close(logfd) } 211 // MIGRATED onto nx_gate_verdict by nx_gate_dry_apply (D001, minimal form): every check 212 // row above is untouched, so the PASS/FAIL vector cannot change; only the hand-rolled 213 // verdict emission is replaced by the ONE shared base class. Proven by nx_gate_migrate verify. 214 let ctr__dry: *i64 = gv_ctr() 215 ctr__dry[0] = pass 216 ctr__dry[1] = 8 217 let rc__dry: i64 = gv_verdict("VIZSLA-LOG-GATE" as *u8, ctr__dry, "teeth unchanged; verdict emission migrated onto the shared base class" as *u8) 218 sys_exit(rc__dry) 219 return rc__dry 220}