code wiki / _hdl_build / nx_vizsla_docgen_gate.nx

nx_vizsla_docgen_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_docgen_gate.nx

11905 B272 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic vizsla
docsdependenciesstructsconstsfunctions

about

nx_vizsla_docgen_gate.nx -- VIZSLA OFFICE-DOC gate: coordination fields -> a real .docx -> the versioned doc store, proven end-to-end by reading the record back with the INDEPENDENT nx_vizsla_doc organ (cross-checks docgen's doc: framing matches) AND parsing it with nx_docx (proves it is a valid Word document). fields (a venue booking agreement -- the kind of fields a venue board supplies): "Venue Booking Agreement" / Event / Venue: Lakeside Pavilion / Date / Time / Capacity / Cost: USD 350.00 / ... Rows: 1 docgen-build (stored, paras=9) 2 doc-get-roundtrip (real doc organ retrieves the .docx) 3 docx-valid (nx_docx parses it -> title + venue + cost text present) 4 history-1 5 idempotent-rebuild (CID dedup -> stored=0) 6 new-version (changed terms+later date -> versions=2) 7 get-latest-v2 (get returns v2, docx read shows v2 terms) 8 loud-fail-missing-file[neg] 9 loud-fail-bad-date[neg] Evidence: VIZSLA-DOCGEN-GATE -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 9/9. spec: knowledge/research/2026-06-22-vizsla-sclass-roadmap.md license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_vizsla_docgen_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 og_ensure sys_openat_rd sys_close og_p ↻ og_runv sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit sys_wait4 og_args sys_mmap ↻ sys_openat_rd ↻ sys_close ↻ og_runv ↻ og_args ↻ 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 ↻

structs

none

consts

none

functions

17func 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_has
18func og_p(s: *u8) -> i64 { sys_write(1, s, og_slen(s)); return 0 }
20func og_cat(dst: *u8, off: i64, s: *u8) -> i64
called by 1: main
26func og_catn(dst: *u8, off: i64, v: i64) -> i64
called by 1: main calls 1: sys_mmap
39func og_write(path: *u8, content: *u8) -> i64
47func og_readall(path: *u8, szout: *i64) -> *u8
64func og_runv(elf: *u8, args: *i64, outpath: *u8) -> i64
94func og_has(path: *u8, needle: *u8) -> i64
called by 1: main calls 3: sys_mmapog_readallog_slen
113func og_row(name: *u8, pass: i64) -> i64
called by 1: main calls 1: og_p
120func og_args(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8, a6: *u8, a7: *u8) -> *i64
called by 2: og_ensuremain calls 1: sys_mmap
133func og_ensure(elf: *u8, organ: *u8) -> i64
141func main(argc: i64, argv: *i64) -> i64