code wiki / _hdl_build / nx_vizsla_segment_gate.nx
nx_vizsla_segment_gate.nx
buildroot/runtime/_hdl_build/nx_vizsla_segment_gate.nx
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 2 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| none |
functions
| 24 | func og_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 25 | func og_p(s: *u8) -> i64 { sys_write(1, s, og_slen(s)); return 0 } |
| 27 | func og_cat(dst: *u8, off: i64, s: *u8) -> i64 |
| 33 | func og_catn(dst: *u8, off: i64, v: i64) -> i64 |
| 46 | func og_write(path: *u8, content: *u8) -> i64 |
| 54 | func og_readall(path: *u8, szout: *i64) -> *u8 |
| 68 | func og_runv(elf: *u8, args: *i64, outpath: *u8) -> i64 |
| 93 | func og_idx(buf: *u8, sz: i64, needle: *u8) -> i64 |
| 107 | func og_has(path: *u8, needle: *u8) -> i64 |
| 114 | func og_row(name: *u8, pass: i64) -> i64 |
| 120 | func og_args(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8, a6: *u8, a7: *u8) -> *i64 |
| 126 | func og_args8(a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8, a6: *u8, a7: *u8, a8: *u8) -> *i64 |
| 132 | func main(argc: i64, argv: *i64) -> i64 |