code wiki / _hdl_build / nx_vizsla_calendar_rec_gate.nx

nx_vizsla_calendar_rec_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_calendar_rec_gate.nx

12932 B306 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic vizsla

docs dependencies structs consts functions

about

nx_vizsla_calendar_rec_gate.nx -- VIZSLA R-CAL.1 gate: recurrence (iCalendar RFC5545 RRULE) is gate-proven against construction-known fixtures with HAND-COMPUTED occurrence dates (oracle in THIS header). 100% sovereign: self-writes fixtures via the organ's syscalls, forks the organ, greps stdout. rules (seg-6001): pills 2026-06-20 08:00 +5 DAILY 1 x5 -> 06-20,21,22,23,24 standup 2026-06-01 09:00 +30 WEEKLY 2 x6 -> 06-01,15,29 / 07-13,27 / 08-10 report 2026-01-31 10:00 +30 MONTHLY 1 x4 -> 01-31, 02-28(clamp from 31), 03-31, 04-30(clamp) bday 2024-02-29 09:00 +60 YEARLY 1 x4 -> 2024-02-29, 2025-02-28(leap clamp), 2026-02-28, 2027-02-28 windows: W1 expand 2026-06-20..2026-06-22 => pills 06-20/21/22 only => rules=4 occurrences=3 W2 expand 2026-06-01..2026-07-01 => pills x5 + standup 06-01/15/29 x3 => rules=4 occurrences=8 W3 expand 2026-01-01..2026-04-30 => report x4 + bday 2026-02-28 => rules=4 occurrences=5 W4 expand 2024-01-01..2025-12-31 => bday 2024-02-29 + 2025-02-28 only => rules=4 occurrences=2 Rows: 1 rrule-load 4 RRULE -> new=4 committed seg-6001 2 idempotent-reload new=0 dup_instore=4 (law 10) 3 daily-occurrence pills 2026-06-20 n=1 (DAILY step + HH:MM) 4 daily-verdict W1 rules=4 occurrences=3 (window cutoff drops 06-23/24) 5 weekly-occurrence standup 2026-06-15 n=2 (WEEKLY interval=2 step) 6 weekly-verdict W2 rules=4 occurrences=8 (cross-rule window union) 7 monthly-occurrence report 2026-01-31 n=1 (MONTHLY step) 8 monthly-clamp-feb report 2026-02-28 n=2 (31 -> Feb-clamp, leap-aware days-in-month) 9 monthly-verdict W3 rules=4 occurrences=5 (report x4 + the bday 2026 instance) 10 yearly-occurrence bday 2024-02-29 n=1 (YEARLY start lands on the true leap day) 11 yearly-leap-clamp bday 2025-02-28 n=2 (Feb-29 birthday clamps in a non-leap year) 12 yearly-verdict W4 rules=4 occurrences=2 13 expand-determinism W2 byte-identical twice 14 loud-fail-bad-freq RRULE freq=HOURLY => load exit 1 [negative control] 15 loud-fail-bad-date expand from=2026-13-99 => exit 1 [negative control] Evidence: VIZSLA-CAL-REC-GATE -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 15/15. spec: knowledge/research/2026-06-22-vizsla-sclass-roadmap.md 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

36	func og_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 3: og_p og_write og_has
37	func og_p(s: *u8) -> i64 { sys_write(1, s, og_slen(s)); return 0 } called by 2: og_row main calls 2: sys_write og_slen
39	func og_cat(dst: u8, off: i64, s: u8) -> i64 called by 1: main
45	func og_catn(dst: *u8, off: i64, v: i64) -> i64 called by 1: main calls 1: sys_mmap
58	func og_write(path: u8, content: u8) -> i64 called by 1: main calls 4: sys_openat_wr sys_write og_slen sys_close
66	func og_readall(path: u8, szout: i64) -> *u8 called by 2: og_has og_fileeq calls 5: sys_openat_rd sys_lseek sys_mmap sys_read sys_close
83	func og_runv(elf: u8, args: i64, outpath: *u8) -> i64 called by 1: main calls 7: sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit+1
113	func og_has(path: u8, needle: u8) -> i64 called by 1: main calls 3: sys_mmap og_readall og_slen
132	func og_fileeq(p1: u8, p2: u8) -> i64 called by 1: main calls 2: sys_mmap og_readall
147	func og_row(name: *u8, pass: i64) -> i64 called by 1: main calls 1: og_p
154	func og_args(a1: u8, a2: u8, a3: u8, a4: u8, a5: u8) -> i64 called by 1: main calls 1: sys_mmap
165	func main(argc: i64, argv: *i64) -> i64 calls 16: og_p sys_openat_rd sys_close og_runv og_args sys_mmap+10