code wiki / _hdl_build / nx_vizsla_ops_gate.nx

nx_vizsla_ops_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_ops_gate.nx

14220 B326 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic vizsla
docsdependenciesstructsconstsfunctions

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 2 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_vizsla_ops_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

40func og_slen(s: *u8) -> i64
46func og_p(s: *u8) -> i64
51func og_cat(dst: *u8, off: i64, s: *u8) -> i64
57func og_catn(dst: *u8, off: i64, v: i64) -> i64
70func og_write(path: *u8, content: *u8) -> i64
78func og_readall(path: *u8, szout: *i64) -> *u8
97func og_runv(elf: *u8, args: *i64, outpath: *u8) -> i64
127func og_has(path: *u8, needle: *u8) -> i64
146func og_fileeq(p1: *u8, p2: *u8) -> i64
161func og_row(name: *u8, pass: i64) -> i64
169func og_args(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8) -> *i64
180func main(argc: i64, argv: *i64) -> i64