code wiki / _hdl_build / nx_vizsla_ops_gate.nx

nx_vizsla_ops_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_ops_gate.nx

13672 B318 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic vizsla

docs dependencies structs consts functions

about

nx_vizsla_ops_gate.nx -- VIZSLA V6 gate: the projects+maintenance fabric is gate-proven against construction-known fixtures with HAND-COUNTED day arithmetic (the oracle lives in this header, not the module under test). today = 2026-06-10. catalog: soon_days 14; vehicle-gas {oil-change 180, tire-rotation 180, registration-renewal 365}; home-hvac {filter-change 90}. assets: car1 vehicle-gas, hvac1 home-hvac => 4 slots. ledger (seg-4001): oil done 2026-01-15 (an OLDER 2025-11-01 row is stored AFTER it -- latest date must win); tire 2025-12-20; filter 2026-02-25; deck steps 1,2 done; tax step 1 done. hand counts: oil Jan15->Jun10 = 16+28+31+30+31+10 = 146 days, due_in 34 OK; tire Dec20->Jun10 = 11+31+28+31+30+31+10 = 172, due_in 8 <= 14 DUE; filter Feb25->Jun10 = 3+31+30+31+10 = 105, due_in -15 OVERDUE; registration never done = NEVER schedule-first. => verdict assets=2 tasks=4 ok=1 due=1 overdue=1 never=1 soon_days 5 fixture (data edit ONLY): tire due_in 8 > 5 => OK; ok=2 due=0. projects: deck 3 steps (1,2 done) => 2/3 next=3:railings ACTIVE; tax 1 step done => COMPLETE. => projects=2 active=1 complete=1 Rows: 1 loud-fail-missing-catalog due on absent catalog => exit 1 2 log-load 7 rows -> new=7 committed seg-4001 3 idempotent-relog new=0 dup_instore=7 segment=none (law 10) 4 latest-wins-ok oil row exact (last=2026-01-15 days=146 due_in=34 OK) 5 due-soon tire row exact (due_in=8 DUE schedule) 6 overdue filter row exact (due_in=-15 OVERDUE do-now) 7 never-first registration NEVER schedule-first 8 verdict-counts assets=2 tasks=4 ok=1 due=1 overdue=1 never=1 9 data-driven-soon soon_days=5 file => tire OK, ok=2 due=0, same binary 10 due-determinism byte-identical twice 11 project-active deck 2/3 next=3:railings ACTIVE 12 project-complete tax COMPLETE + verdict 2/1/1 13 status-determinism byte-identical twice Evidence: VIZSLA-OPS-GATE line -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 13/13. spec: knowledge/specs/2026-06-10-nishi-vizsla-ladder.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

39	func og_slen(s: *u8) -> i64 called by 3: og_p og_write og_has
45	func og_p(s: *u8) -> i64 called by 2: og_row main calls 2: sys_write og_slen
50	func og_cat(dst: u8, off: i64, s: u8) -> i64 called by 1: main
56	func og_catn(dst: *u8, off: i64, v: i64) -> i64 called by 1: main calls 1: sys_mmap
69	func og_write(path: u8, content: u8) -> i64 called by 1: main calls 4: sys_openat_wr sys_write og_slen sys_close
77	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
96	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
126	func og_has(path: u8, needle: u8) -> i64 called by 1: main calls 3: sys_mmap og_readall og_slen
145	func og_fileeq(p1: u8, p2: u8) -> i64 called by 1: main calls 2: sys_mmap og_readall
160	func og_row(name: *u8, pass: i64) -> i64 called by 1: main calls 1: og_p
168	func og_args(a1: u8, a2: u8, a3: u8, a4: u8, a5: u8) -> i64 called by 1: main calls 1: sys_mmap
179	func main(argc: i64, argv: *i64) -> i64 calls 16: og_p sys_openat_rd sys_close og_runv og_args sys_mmap+10