code wiki / _hdl_build / nx_vizsla_report_gate.nx

nx_vizsla_report_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_report_gate.nx

9884 B231 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic vizsla
docsdependenciesstructsconstsfunctions

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

nx_syscalls.nx nx_vizsla_report_gate.nx

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

main og_p sys_write og_slen sys_openat_rd sys_close og_runv sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit sys_wait4 og_args sys_mmap ↻ sys_mmap ↻ og_cat og_catn sys_mmap ↻ sys_now_us sys_mmap ↻ sys_clock_gettime_mono og_write sys_openat_wr ↻ sys_write ↻ og_slen ↻ sys_close ↻ og_has sys_mmap ↻ og_readall sys_openat_rd ↻ sys_lseek sys_mmap ↻ sys_read sys_close ↻ og_idx og_slen ↻ og_row og_p ↻

structs

none

consts

none

functions

27func og_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 3: og_pog_writeog_idx
28func og_p(s: *u8) -> i64 { sys_write(1, s, og_slen(s)); return 0 }
called by 2: og_rowmain calls 2: sys_writeog_slen
30func og_cat(dst: *u8, off: i64, s: *u8) -> i64
called by 1: main
36func og_catn(dst: *u8, off: i64, v: i64) -> i64
called by 1: main calls 1: sys_mmap
49func og_write(path: *u8, content: *u8) -> i64
57func og_readall(path: *u8, szout: *i64) -> *u8
71func og_runv(elf: *u8, args: *i64, outpath: *u8) -> i64
96func og_idx(buf: *u8, sz: i64, needle: *u8) -> i64
called by 2: og_hasog_before calls 1: og_slen
110func og_has(path: *u8, needle: *u8) -> i64
called by 1: main calls 3: sys_mmapog_readallog_idx
118func og_before(path: *u8, a: *u8, b: *u8) -> i64
called by 1: main calls 3: sys_mmapog_readallog_idx
130func og_row(name: *u8, pass: i64) -> i64
called by 1: main calls 1: og_p
136func og_args(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8) -> *i64
called by 1: main calls 1: sys_mmap
142func main(argc: i64, argv: *i64) -> i64