code wiki / _hdl_build / nx_vizsla_gate.nx

nx_vizsla_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_gate.nx

13256 B271 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic vizsla
docsdependenciesstructsconstsfunctions

about

nx_vizsla_gate.nx -- VIZSLA V0 gate: the archetype gap profiler is itself gate-proven (construction-known KAT fixtures in /tmp, hand-computed expected rows; fixture log isolated via the profiler's argv overrides -- site-gate pattern, fixtures never pollute the real vizsla_profile.log). Rows (oracle = hand-computed coverage/gap algebra): 1 loud-fail missing matrix => exit 1 2 full-coverage architect+author+editor household => covered=3 gaps=0, exit 0 3 marriage KAT author+editor couple => gap=architect, nearest=bea permil=400 4 fill row finance fill = financial-plan-builder, partner=bea 5 single member one author alone => gaps=2 6 determinism same inputs twice => byte-identical stdout 7 DATA-DRIVEN 4th archetype (steward) added to the FIXTURE MATRIX ONLY => participates as a gap with NO recompile (model is data) 8 data-driven count 4-arch matrix + solo author => gaps=3 Evidence: VIZSLA-GATE line -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 8/8. spec: knowledge/specs/2026-06-10-nishi-vizsla-ladder.md license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_vizsla_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 vg_p sys_write vg_slen sys_openat_rd sys_close vg_run sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit sys_wait4 vg_write sys_openat_wr ↻ sys_write ↻ vg_slen ↻ sys_close ↻ vg_row vg_p ↻ vg_has sys_mmap ↻ vg_readall sys_openat_rd ↻ sys_lseek sys_mmap ↻ sys_read sys_close ↻ vg_slen ↻ vg_fileeq sys_mmap ↻ vg_readall ↻ sys_openat_append sys_mmap ↻ sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real sys_write ↻

structs

none

consts

none

functions

19func vg_slen(s: *u8) -> i64
called by 3: vg_pvg_writevg_has
25func vg_p(s: *u8) -> i64
called by 2: vg_rowmain calls 2: sys_writevg_slen
30func vg_pn(v: i64) -> i64
44func vg_write(path: *u8, content: *u8) -> i64
52func vg_readall(path: *u8, szout: *i64) -> *u8
70func vg_run(elf: *u8, a1: *u8, a2: *u8, a3: *u8, outpath: *u8) -> i64
96func vg_has(path: *u8, needle: *u8) -> i64
called by 1: main calls 3: sys_mmapvg_readallvg_slen
115func vg_fileeq(p1: *u8, p2: *u8) -> i64
called by 1: main calls 2: sys_mmapvg_readall
130func vg_row(name: *u8, pass: i64) -> i64
called by 1: main calls 1: vg_p
137func main(argc: i64, argv: *i64) -> i64