code wiki / _hdl_build / nx_vizsla_report_gate.nx
nx_vizsla_report_gate.nx
buildroot/runtime/_hdl_build/nx_vizsla_report_gate.nx
about
nx_vizsla_report_gate.nx -- VIZSLA activity-analytics gate. Construction-known oracle + log->report integration.
Ingest 5 typed interactions via the BLESSED nx_vizsla_log (proves report reads what log writes):
mom call 2026-06-10 "talked about her trip to Italy"
mom call 2026-06-15 "quick check-in"
mom meeting 2026-05-01 "lunch downtown"
mom email 2026-03-01 "sent vacation photos"
alex coffee 2026-06-05 "discussed the new role"
report activity <prefix> 2026-06-23 30 =>
total=5 contacts=2(mom,alex) types=4(call=2,meeting,email,coffee) span=2026-03-01..2026-06-15
recent(30d from 06-23, i.e. >=05-24)= 06-15,06-10,06-05 = 3 ; older=2
sorted desc: call(2) before meeting ; mom(4) before alex
window=14 (>=06-09): 06-15,06-10 = recent=2 older=3 (proves window arg is real, not hardcoded)
Rows:
1 ingest log load new=5 seg-2101 (integration precondition)
2 total-volume verdict interactions=5 contacts=2 types=4
3 by-type "type=call count=2" present AND sorted (call before meeting)
4 by-contact "contact=mom interactions=4" present AND sorted (mom before alex)
5 recent-window "window=30d recent=3 older=2"
6 span "span=2026-03-01..2026-06-15"
7 liar-kill absent type "text" + absent contact "pat" (no hallucinated rows)
8 window-sensitive window=14 -> "window=14d recent=2 older=3" (param actually changes the result)
9 neg-empty empty prefix -> interactions=0 contacts=0 types=0, exit 0 (no invented data)
Evidence: VIZSLA-REPORT-GATE -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 9/9.
license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_syscalls.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 27 | func og_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 28 | func og_p(s: *u8) -> i64 { sys_write(1, s, og_slen(s)); return 0 } |
| 30 | func og_cat(dst: *u8, off: i64, s: *u8) -> i64 called by 1: main |
| 36 | func og_catn(dst: *u8, off: i64, v: i64) -> i64 |
| 49 | func og_write(path: *u8, content: *u8) -> i64 |
| 57 | func og_readall(path: *u8, szout: *i64) -> *u8 |
| 71 | func og_runv(elf: *u8, args: *i64, outpath: *u8) -> i64 |
| 96 | func og_idx(buf: *u8, sz: i64, needle: *u8) -> i64 |
| 110 | func og_has(path: *u8, needle: *u8) -> i64 |
| 118 | func og_before(path: *u8, a: *u8, b: *u8) -> i64 |
| 130 | func og_row(name: *u8, pass: i64) -> i64 |
| 136 | func og_args(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8) -> *i64 |
| 142 | func main(argc: i64, argv: *i64) -> i64 |