code wiki / _hdl_build / nx_vizsla_log_gate.nx
nx_vizsla_log_gate.nx
buildroot/runtime/_hdl_build/nx_vizsla_log_gate.nx
about
nx_vizsla_log_gate.nx -- VIZSLA typed-interaction/timeline gate. Construction-known oracle.
log: mom call@06-10 "talked about her trip to Italy" ; mom meeting@05-01 "lunch downtown" ;
mom email@03-01 "sent vacation photos" ; alex coffee@06-05 "discussed the new role".
timeline mom => 3 interactions newest-first (06-10 call, 05-01 meeting, 03-01 email);
first=2026-03-01 last=2026-06-10 ; alex's coffee NOT in mom's timeline.
Rows:
1 load 4 INT -> new=4 seg-A101
2 idempotent new=0 dup_instore=4 (law 10)
3 newest-first mom timeline: 06-10 line appears BEFORE 03-01 line (chronological desc sort)
4 typed type=call + type=email present (typed, not generic touch)
5 multiword-note note=lunch downtown preserved (rest-of-line content)
6 verdict interactions=3 first=2026-03-01 last=2026-06-10
7 isolation mom timeline has NONE of alex (no "discussed the new role")
8 neg-no-file load missing -> exit 1
Evidence: VIZSLA-LOG-GATE -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 8/8.
license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| none |
functions
| 20 | func og_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 21 | func og_p(s: *u8) -> i64 { sys_write(1, s, og_slen(s)); return 0 } |
| 23 | func og_cat(dst: *u8, off: i64, s: *u8) -> i64 |
| 29 | func og_catn(dst: *u8, off: i64, v: i64) -> i64 |
| 42 | func og_write(path: *u8, content: *u8) -> i64 |
| 50 | func og_readall(path: *u8, szout: *i64) -> *u8 |
| 64 | func og_runv(elf: *u8, args: *i64, outpath: *u8) -> i64 |
| 90 | func og_idx(buf: *u8, sz: i64, needle: *u8) -> i64 |
| 104 | func og_has(path: *u8, needle: *u8) -> i64 |
| 112 | func og_before(path: *u8, a: *u8, b: *u8) -> i64 |
| 124 | func og_row(name: *u8, pass: i64) -> i64 |
| 130 | func og_args(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8) -> *i64 |
| 136 | func main(argc: i64, argv: *i64) -> i64 |