code wiki / _hdl_build / nx_vizsla_gate.nx

nx_vizsla_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_gate.nx

14108 B282 linesdepth 3pulls 3 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 2 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_vizsla_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

20func vg_slen(s: *u8) -> i64
26func vg_p(s: *u8) -> i64
31func vg_pn(v: i64) -> i64
45func vg_write(path: *u8, content: *u8) -> i64
53func vg_readall(path: *u8, szout: *i64) -> *u8
71func vg_run(elf: *u8, a1: *u8, a2: *u8, a3: *u8, outpath: *u8) -> i64
97func vg_has(path: *u8, needle: *u8) -> i64
116func vg_fileeq(p1: *u8, p2: *u8) -> i64
131func vg_row(name: *u8, pass: i64) -> i64
138func main(argc: i64, argv: *i64) -> i64