code wiki / _hdl_build / nx_vizsla_segment_gate.nx

nx_vizsla_segment_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_segment_gate.nx

11782 B247 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic vizsla

docs dependencies structs consts functions

about

nx_vizsla_segment_gate.nx -- VIZSLA saved-segments gate. Construction-known oracle + contact->segment integration. Ingest 8 fields via BLESSED nx_vizsla_contact (date 2026-01-01): mom city=Dallas tier=family alex city=Dallas tier=colleague pat city=Austin tier=colleague sam city=Dallas tier=colleague Segments: dallas = city=Dallas -> mom,alex,sam (3) ; pat excluded dal-colleagues= city=Dallas AND tier=colleague -> alex,sam (2) ; mom excluded (family) = AND proof redefine dallas @2026-02-01 = city=Austin -> pat (1) ; latest-def-per-name wins Rows: 1 ingest-fields contact load new=8 seg-3101 (integration precondition) 2 define define dallas city=Dallas -> new=1 3 apply-single apply dallas -> mom+alex+sam present, pat ABSENT, matched=3 4 apply-AND dal-colleagues -> alex+sam present, mom ABSENT (AND excludes family), matched=2 5 list both names present, segments=2 6 latest-def-wins redefine dallas->Austin, apply -> pat present, mom ABSENT, matched=1 7 idempotent re-define dallas city=Dallas (same) -> new=0 (CID dedup) 8 neg-unknown apply ghost (never defined) -> fail loud exit 1 9 neg-bad-pairs define with odd criteria (3 tokens) -> fail loud exit 1 Evidence: VIZSLA-SEGMENT-GATE -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 9/9. 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

23	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_idx
24	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
26	func og_cat(dst: u8, off: i64, s: u8) -> i64 called by 1: main
32	func og_catn(dst: *u8, off: i64, v: i64) -> i64 called by 1: main calls 1: sys_mmap
45	func og_write(path: u8, content: u8) -> i64 called by 1: main calls 4: sys_openat_wr sys_write og_slen sys_close
53	func og_readall(path: u8, szout: i64) -> *u8 called by 1: og_has calls 5: sys_openat_rd sys_lseek sys_mmap sys_read sys_close
67	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
92	func og_idx(buf: u8, sz: i64, needle: u8) -> i64 called by 1: og_has calls 1: og_slen
106	func og_has(path: u8, needle: u8) -> i64 called by 1: main calls 3: sys_mmap og_readall og_idx
113	func og_row(name: *u8, pass: i64) -> i64 called by 1: main calls 1: og_p
119	func og_args(a1: u8, a2: u8, a3: u8, a4: u8, a5: u8, a6: u8, a7: u8) -> i64 called by 1: main calls 1: sys_mmap
125	func og_args8(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
131	func main(argc: i64, argv: *i64) -> i64 calls 16: og_p sys_openat_rd sys_close og_runv og_args sys_mmap+10