code wiki / _hdl_build / nx_vizsla_notify_gate.nx
nx_vizsla_notify_gate.nx
buildroot/runtime/_hdl_build/nx_vizsla_notify_gate.nx
about
nx_vizsla_notify_gate.nx -- VIZSLA OUTWARD-DELIVERY gate: reminders REACH you. COMPOSITION: the
calendar store is loaded through the blessed calendar organ; notify forks the blessed remind engine
for the due computation; the notification store is the once-only delivery ledger.
fixture: calendar mtg 2026-07-08 10:00, gala 2026-08-20 18:00; contacts mom 07-14, dad 07-08.
deliver today=2026-07-08 leads=6,0 -> mtg(event in0) + dad(bday in0) + mom(bday in6) = 3 delivered
re-deliver same -> 0 delivered / 3 skipped (own store is the ledger)
deliver today=2026-08-14 leads=6,0 -> gala(event in6, NEW occurrence) = 1 delivered
feed -> 4 notifications; feed birthday -> 2 (mom, dad)
email today=2026-07-08 -> RFC5322 digest, 3 reminders, Date: Wed, 08 Jul 2026 09:00:00 +0000
Rows: 1 fixture-loads 2 deliver-onsite 3 feed-lists 4 deliver-idempotent 5 deliver-new-occurrence
6 feed-after 7 feed-kind-filter 8 email-compose 9 email-date-header 10 email-body-bullet
11 feed-determinism 12 loud-fail-bad-today[neg] 13 loud-fail-bad-leads[neg]
Evidence: VIZSLA-NOTIFY-GATE -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 13/13.
spec: knowledge/research/2026-06-22-vizsla-sclass-roadmap.md 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 ng_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 21 | func ng_p(s: *u8) -> i64 { sys_write(1, s, ng_slen(s)); return 0 } |
| 23 | func ng_cat(dst: *u8, off: i64, s: *u8) -> i64 |
| 29 | func ng_catn(dst: *u8, off: i64, v: i64) -> i64 |
| 42 | func ng_write(path: *u8, content: *u8) -> i64 |
| 50 | func ng_readall(path: *u8, szout: *i64) -> *u8 |
| 67 | func ng_runv(elf: *u8, args: *i64, outpath: *u8) -> i64 |
| 97 | func ng_has(path: *u8, needle: *u8) -> i64 |
| 116 | func ng_fileeq(p1: *u8, p2: *u8) -> i64 |
| 131 | func ng_row(name: *u8, pass: i64) -> i64 |
| 138 | func ng_args(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8, a6: *u8, a7: *u8, a8: *u8) -> *i64 |
| 152 | func ng_ensure(elf: *u8, organ: *u8) -> i64 |
| 160 | func main(argc: i64, argv: *i64) -> i64 |