code wiki / _hdl_build / nx_vizsla_recruiter_gate.nx

nx_vizsla_recruiter_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_recruiter_gate.nx

14257 B317 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic vizsla
docsdependenciesstructsconstsfunctions

about

nx_vizsla_recruiter_gate.nx -- VIZSLA V2c gate: the recruiter-channel engine is gate-proven against a HAND-ROUTED fixture corpus and HAND-COUNTED day arithmetic (the oracle is this header, not the module under test). channels: recruiter=700 referral=550 cold-apply=100; strong_permil=500; stale_days=30; agents r1(jane: compilers systems nishilang), r2(sam: sales marketing), f1(cousin-max: writing editing), portal(cold-apply: *) postings: j1[compilers rust writing] j2[nishilang compilers systems] j3[sales travel] j4[editing writing remote] j5[travel logistics] hand routing: j1: r1 ov=1 (700) beats f1 ov=1 (550) -> recruiter/r1 700 STRONG j2: r1 ov=3 -> recruiter/r1 700 STRONG j3: r2 ov=1 -> recruiter/r2 700 STRONG j4: no recruiter overlap; f1 ov=2 -> referral/f1 550 STRONG j5: only portal wildcard -> cold-apply/portal 100 WEAK => posts=5 strong=4 weak=1 unrouted=0 touches (seg-3001): r1@2026-06-01, r2@2026-04-20, r1@2026-05-28 warm today=2026-06-10: r1 last=2026-06-01 days=9 FRESH (LATEST date wins, not last-stored: 05-28 is stored AFTER 06-01); r2 days=51 STALE; f1 COLD; portal EXCLUDED (cold-apply 100 < strong 500 = not worth tending, by data) => agents=3 fresh=1 stale=1 cold=1 DATA-DRIVEN: stale_days 30->60 in fixture data only => r2 days=51 FRESH, verdict fresh=2 stale=0 cold=1, same binary. Rows: 1 loud-fail-missing-channels route on absent file => exit 1 2 route-recruiter-strong j2 recruiter/r1 strength=700 overlap=3 STRONG 3 route-referral-fallback j4 referral/f1 strength=550 overlap=2 STRONG 4 cold-apply-weak-named j5 cold-apply/portal 100 WEAK + verdict 5/4/1/0 5 best-channel-wins j1 via recruiter r1, not referral f1 6 route-determinism byte-identical twice 7 touch-load new=3 committed seg-3001 8 idempotent-retouch new=0 dup_instore=3 segment=none (law 10) 9 latest-date-wins r1 last=2026-06-01 days=9 FRESH 10 stale-reconnect r2 days=51 STALE action=reconnect 11 cold-introduce-weak-excluded f1 COLD action=introduce AND no portal row 12 DATA-DRIVEN-stale-threshold stale_days=60 file => r2 FRESH, no recompile 13 warm-determinism byte-identical twice Evidence: VIZSLA-RECRUIT-GATE line -> stdout + knowledge/status/vizsla_gate.log;

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_vizsla_recruiter_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 rg_p sys_write rg_slen sys_openat_rd sys_close rg_run sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit sys_wait4 sys_mmap ↻ rg_cat rg_catn sys_mmap ↻ sys_now_us sys_mmap ↻ sys_clock_gettime_mono rg_write sys_openat_wr ↻ sys_write ↻ rg_slen ↻ sys_close ↻ rg_row rg_p ↻ rg_has sys_mmap ↻ rg_readall sys_openat_rd ↻ sys_lseek sys_mmap ↻ sys_read sys_close ↻ rg_slen ↻ rg_fileeq sys_mmap ↻ rg_readall ↻

structs

none

consts

none

functions

45func rg_slen(s: *u8) -> i64
called by 3: rg_prg_writerg_has
51func rg_p(s: *u8) -> i64
called by 2: rg_rowmain calls 2: sys_writerg_slen
56func rg_cat(dst: *u8, off: i64, s: *u8) -> i64
called by 1: main
62func rg_catn(dst: *u8, off: i64, v: i64) -> i64
called by 1: main calls 1: sys_mmap
75func rg_write(path: *u8, content: *u8) -> i64
83func rg_readall(path: *u8, szout: *i64) -> *u8
100func rg_run(elf: *u8, a1: *u8, a2: *u8, a3: *u8, a4: *u8, outpath: *u8) -> i64
127func rg_has(path: *u8, needle: *u8) -> i64
called by 1: main calls 3: sys_mmaprg_readallrg_slen
146func rg_fileeq(p1: *u8, p2: *u8) -> i64
called by 1: main calls 2: sys_mmaprg_readall
161func rg_row(name: *u8, pass: i64) -> i64
called by 1: main calls 1: rg_p
168func main(argc: i64, argv: *i64) -> i64