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" 18 19func og_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } 20func og_p(s: *u8) -> i64 { sys_write(1, s, og_slen(s)); return 0 } 21 22func og_cat(dst: *u8, off: i64, s: *u8) -> i64 { 23 var i: i64 = 0 24 while s[i] != (0 as u8) { dst[off + i] = s[i]; i = i + 1 } 25 return off + i 26} 27 28func og_catn(dst: *u8, off: i64, v: i64) -> i64 { 29 var o: i64 = off 30 var m: i64 = v 31 if m < 0 { dst[o] = 45 as u8; o = o + 1; m = 0 - m } 32 let t: *u8 = sys_mmap(28) 33 var k: i64 = 0 34 if m == 0 { t[0] = 48 as u8; k = 1 } 35 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } 36 var i: i64 = 0 37 while i < k { dst[o + i] = t[k - 1 - i]; i = i + 1 } 38 return o + k 39} 40 41func og_write(path: *u8, content: *u8) -> i64 { 42 let fd: i64 = sys_openat_wr(path, 0x1a4) 43 if fd < 0 { return 0 - 1 } 44 sys_write(fd, content, og_slen(content)) 45 sys_close(fd) 46 return 0 47} 48 49func og_readall(path: *u8, szout: *i64) -> *u8 { 50 let fd: i64 = sys_openat_rd(path) 51 if fd < 0 { szout[0] = 0 - 1; return 0 as *u8 } 52 let sz: i64 = sys_lseek(fd, 0, 2) 53 sys_lseek(fd, 0, 0) 54 let buf: *u8 = sys_mmap(sz + 64) 55 var got: i64 = 0 56 var n: i64 = 1 57 while n > 0 { n = sys_read(fd, (buf as i64 + got) as *u8, 65536); if n > 0 { got = got + n } } 58 sys_close(fd) 59 szout[0] = got 60 return buf 61} 62 63func og_runv(elf: *u8, args: *i64, outpath: *u8) -> i64 { 64 let pid: i64 = sys_fork() 65 if pid == 0 { 66 if (outpath as i64) != 0 { 67 let ofd: i64 = sys_openat_wr(outpath, 0x1a4) 68 if ofd >= 0 { sys_dup3(ofd, 1, 0); sys_dup3(ofd, 2, 0) } 69 } 70 let argv: *i64 = sys_mmap(128) as *i64 71 argv[0] = elf as i64 72 var i: i64 = 0 73 var go: i64 = 1 74 while go == 1 { if args[i] == 0 { go = 0 } else { argv[i + 1] = args[i]; i = i + 1 } } 75 argv[i + 1] = 0 76 let envp: *i64 = sys_mmap(16) as *i64 77 envp[0] = 0 78 sys_execve(elf, argv, envp) 79 sys_exit(127) 80 } 81 let st: *i64 = sys_mmap(16) as *i64 82 sys_wait4(pid, st, 0) 83 let sig: i64 = st[0] & 0x7f 84 if sig != 0 { return 128 + sig } 85 return (st[0] >> 8) & 0xff 86} 87 88// first index of needle in buf[0,sz), or -1 89func og_idx(buf: *u8, sz: i64, needle: *u8) -> i64 { 90 let n: i64 = og_slen(needle) 91 if n == 0 { return 0 - 1 } 92 var i: i64 = 0 93 while i + n <= sz { 94 var ok: i64 = 1 95 var j: i64 = 0 96 while j < n { if buf[i + j] != needle[j] { ok = 0; j = n } else { j = j + 1 } } 97 if ok == 1 { return i } 98 i = i + 1 99 } 100 return 0 - 1 101} 102 103func og_has(path: *u8, needle: *u8) -> i64 { 104 let szp: *i64 = sys_mmap(16) as *i64 105 let b: *u8 = og_readall(path, szp) 106 if og_idx(b, szp[0], needle) >= 0 { return 1 } 107 return 0 108} 109 110// a appears strictly before b (both present) ? 111func og_before(path: *u8, a: *u8, b: *u8) -> i64 { 112 let szp: *i64 = sys_mmap(16) as *i64 113 let buf: *u8 = og_readall(path, szp) 114 let sz: i64 = szp[0] 115 let ia: i64 = og_idx(buf, sz, a) 116 let ib: i64 = og_idx(buf, sz, b) 117 if ia < 0 { return 0 } 118 if ib < 0 { return 0 } 119 if ia < ib { return 1 } 120 return 0 121} 122 123func og_row(name: *u8, pass: i64) -> i64 { 124 og_p("ROW " as *u8); og_p(name) 125 if pass == 1 { og_p(" PASS\n" as *u8) } else { og_p(" FAIL\n" as *u8) } 126 return pass 127} 128 129func og_args(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8) -> *i64 { 130 let a: *i64 = sys_mmap(64) as *i64 131 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 132 return a 133} 134 135func main(argc: i64, argv: *i64) -> i64 { 136 og_p("=== VIZSLA LOG GATE: typed interactions + chronological timeline ===\n" as *u8) 137 var ob: *u8 = "/tmp/nx_vizsla_log.sov.elf" as *u8 138 if argc > 1 { ob = argv[1] as *u8 } 139 let pr: i64 = sys_openat_rd(ob) 140 if pr >= 0 { sys_close(pr) } 141 else { 142 og_p(" instrument missing -> rebuilding via durable runner\n" as *u8) 143 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) 144 } 145 146 let pfx: *u8 = sys_mmap(128) 147 var po: i64 = 0 148 po = og_cat(pfx, po, "/tmp/vllG" as *u8); po = og_catn(pfx, po, sys_now_us()); po = og_cat(pfx, po, "-" as *u8) 149 pfx[po] = 0 as u8 150 151 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) 152 153 var pass: i64 = 0 154 var r: i64 = 0 155 156 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) 157 r = 0 158 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 } } 159 pass = pass + og_row("load" as *u8, r) 160 161 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) 162 r = 0 163 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 } } 164 pass = pass + og_row("idempotent-reload" as *u8, r) 165 166 og_runv(ob, og_args("timeline" as *u8, pfx, "mom" as *u8, 0 as *u8, 0 as *u8), "/tmp/vll_tm.txt" as *u8) 167 r = og_before("/tmp/vll_tm.txt" as *u8, "date=2026-06-10" as *u8, "date=2026-03-01" as *u8) 168 pass = pass + og_row("newest-first" as *u8, r) 169 170 r = 0 171 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 } } 172 pass = pass + og_row("typed-interactions" as *u8, r) 173 174 r = og_has("/tmp/vll_tm.txt" as *u8, "type=meeting note=lunch downtown" as *u8) 175 pass = pass + og_row("multiword-note" as *u8, r) 176 177 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) 178 pass = pass + og_row("timeline-verdict" as *u8, r) 179 180 r = 0 181 if og_has("/tmp/vll_tm.txt" as *u8, "discussed the new role" as *u8) == 0 { r = 1 } 182 pass = pass + og_row("contact-isolation" as *u8, r) 183 184 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) 185 r = 0 186 if rc8 == 1 { r = 1 } 187 pass = pass + og_row("neg-no-file" as *u8, r) 188 189 let permil: i64 = (pass * 1000) / 8 190 let logfd: i64 = sys_openat_append("knowledge/status/vizsla_gate.log" as *u8, 0x1a4) 191 var fdi: i64 = 0 192 while fdi < 2 { 193 var fd: i64 = 1 194 if fdi == 1 { fd = logfd } 195 if fd > 0 { 196 let line: *u8 = sys_mmap(256) 197 var o: i64 = 0 198 o = og_cat(line, o, "VIZSLA-LOG-GATE epoch=" as *u8) 199 o = og_catn(line, o, sys_now_realtime_sec()) 200 o = og_cat(line, o, " rows=8 pass=" as *u8) 201 o = og_catn(line, o, pass) 202 o = og_cat(line, o, " permil=" as *u8) 203 o = og_catn(line, o, permil) 204 if pass == 8 { o = og_cat(line, o, " verdict=GREEN\n" as *u8) } else { o = og_cat(line, o, " verdict=RED\n" as *u8) } 205 sys_write(fd, line, o) 206 } 207 fdi = fdi + 1 208 } 209 if logfd > 0 { sys_close(logfd) } 210 if pass == 8 { return 0 } 211 return 1 212}