code wiki / _hdl_build / nx_vizsla_doc_gate.nx

nx_vizsla_doc_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_doc_gate.nx

12600 B307 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic vizsla

docs dependencies structs consts functions

about

nx_vizsla_doc_gate.nx -- VIZSLA DOCUMENT-MANAGEMENT gate: never-lose versioned documents on the additive CID plane, proven byte-exact. contract v1 -> v2 (venue:lakeday) + an invite letter (plan:summer): round-trip fidelity (incl non-ASCII bytes), latest-by-date wins, FULL history (v1 never destroyed -- law 13), rel-entity filter, CID idempotence, loud negatives. Rows: 1 put-v1 2 put-letter 3 get-roundtrip 4 put-v2 5 get-latest 6 history-2 7 list-all 8 list-rel-filter 9 idempotent-reput 10 loud-fail-missing-file[neg] 11 loud-fail-unknown-docid[neg] 12 history-determinism Evidence: VIZSLA-DOC-GATE -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 12/12. 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

13	func dgt_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 3: dgt_p dgt_write dgt_has
14	func dgt_p(s: *u8) -> i64 { sys_write(1, s, dgt_slen(s)); return 0 } called by 2: dgt_row main calls 2: sys_write dgt_slen
16	func dgt_cat(dst: u8, off: i64, s: u8) -> i64 called by 1: main
22	func dgt_catn(dst: *u8, off: i64, v: i64) -> i64 called by 1: main calls 1: sys_mmap
35	func dgt_write(path: u8, content: u8) -> i64 called by 1: main calls 4: sys_openat_wr sys_write dgt_slen sys_close
43	func dgt_readall(path: u8, szout: i64) -> *u8 called by 2: dgt_has dgt_fileeq calls 5: sys_openat_rd sys_lseek sys_mmap sys_read sys_close
60	func dgt_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
90	func dgt_has(path: u8, needle: u8) -> i64 called by 1: main calls 3: sys_mmap dgt_readall dgt_slen
109	func dgt_fileeq(p1: u8, p2: u8) -> i64 called by 1: main calls 2: sys_mmap dgt_readall
124	func dgt_row(name: *u8, pass: i64) -> i64 called by 1: main calls 1: dgt_p
131	func dgt_args(a1: u8, a2: u8, a3: u8, a4: u8, a5: u8, a6: u8, a7: u8, a8: u8) -> *i64 called by 1: main calls 1: sys_mmap
145	func main(argc: i64, argv: *i64) -> i64 calls 16: dgt_p sys_openat_rd sys_close dgt_runv dgt_args sys_mmap+10