code wiki / _hdl_build / nx_vizsla_jobs_gate.nx

nx_vizsla_jobs_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_jobs_gate.nx

11654 B285 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic vizsla
docsdependenciesstructsconstsfunctions

about

nx_vizsla_jobs_gate.nx -- VIZSLA V2a gate: the job-search engine is gate-proven against a FIXTURE CORPUS with hand-computed best-match order (the oracle is arithmetic in this header, not the module under test). profile: ada SKILL nishilang=300 compilers=200 writing=100; bea SKILL editing=400 writing=100; CLOSED rejected/accepted/withdrawn postings: j1 9000000 [compilers rust writing] j2 12000000 [nishilang compilers systems] j3 7500000 [sales travel] j4 8000000 [editing writing remote] hand scores: ada j1=300 j2=500 j3=0 j4=100 -> rank j2,j1,j4,j3 matched=3 bea j1=100 j2=0 j3=0 j4=500 -> rank j4,j1,(j2,j3 file order) matched=2 apps: j2 applied -> j1 applied -> j2 interview -> j1 rejected => cadence: j2 last=interview OPEN follow-up; j1 last=rejected CLOSED suppressed => VERDICT apps=4 posts=2 open=1 closed=1 Rows: 1 loud-fail missing profile => exit 1 2 best-match-order ada rank1=j2 score=500 + rank2=j1 score=300 exact 3 zero-score-named j3 printed at rank4 score=0 AND verdict matched=3 (never dropped) 4 multi-member bea rank1=j4 score=500 (data-driven per-member ranking) 5 match-determinism twice => byte-identical 6 track-load 4 apps -> new=4 committed seg-2001 7 idempotent re-track => new=0 dup_instore=4 segment=none (law 10) 8 cadence-last j2 last=interview action=follow-up (last status wins) 9 closed-honest NO j1 cadence row BUT verdict apps=4 posts=2 open=1 closed=1 (suppressed from cadence, kept in history) 10 cadence-determinism twice => byte-identical Evidence: VIZSLA-JOBS-GATE line -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 10/10. spec: knowledge/specs/2026-06-10-nishi-vizsla-ladder.md license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_vizsla_jobs_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 jg_p sys_write jg_slen sys_openat_rd sys_close jg_run sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit sys_wait4 sys_mmap ↻ jg_cat jg_catn sys_mmap ↻ sys_now_us sys_mmap ↻ sys_clock_gettime_mono jg_write sys_openat_wr ↻ sys_write ↻ jg_slen ↻ sys_close ↻ jg_row jg_p ↻ jg_has sys_mmap ↻ jg_readall sys_openat_rd ↻ sys_lseek sys_mmap ↻ sys_read sys_close ↻ jg_slen ↻ jg_fileeq sys_mmap ↻ jg_readall ↻

structs

none

consts

none

functions

32func jg_slen(s: *u8) -> i64
called by 3: jg_pjg_writejg_has
38func jg_p(s: *u8) -> i64
called by 2: jg_rowmain calls 2: sys_writejg_slen
43func jg_cat(dst: *u8, off: i64, s: *u8) -> i64
called by 1: main
49func jg_catn(dst: *u8, off: i64, v: i64) -> i64
called by 1: main calls 1: sys_mmap
62func jg_write(path: *u8, content: *u8) -> i64
70func jg_readall(path: *u8, szout: *i64) -> *u8
87func jg_run(elf: *u8, a1: *u8, a2: *u8, a3: *u8, a4: *u8, outpath: *u8) -> i64
114func jg_has(path: *u8, needle: *u8) -> i64
called by 1: main calls 3: sys_mmapjg_readalljg_slen
133func jg_fileeq(p1: *u8, p2: *u8) -> i64
called by 1: main calls 2: sys_mmapjg_readall
148func jg_row(name: *u8, pass: i64) -> i64
called by 1: main calls 1: jg_p
155func main(argc: i64, argv: *i64) -> i64