code wiki / _hdl_build / nx_vizsla_venue_gate.nx

nx_vizsla_venue_gate.nx

buildroot/runtime/_hdl_build/nx_vizsla_venue_gate.nx

12071 B291 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic vizsla

docs dependencies structs consts functions

about

nx_vizsla_venue_gate.nx -- VIZSLA VENUE gate: the find/hire-buildings pipeline proven against hand-computed fixtures, INCLUDING the booked->calendar bridge composed through the REAL nx_vizsla_calendar organ (the emitted CAL-LINE is loaded and must appear on the day view). fixture: REQ party cap=40 budget=50000c 2026-08-15 18:00 +180 hall-a cap60 45000c -> 50+30+(5000*20)/50000=82 stage found->contacted->quoted loft-b cap35 30000c -> 0+30+8=38 too_small stage found barn-c cap80 90000c -> 50+0=50 over_budget stage found initial: booked=none best=hall-a score=82 stages=5 then STAGE 2026-07-05 hall-a booked -> booked=hall-a + BOOKED line + CAL-LINE "EVENT venue-party 2026-08-15 1080 180 grange-hall" -> loads into the calendar -> day 2026-08-15 shows 18:00-21:00 venue-party. Rows: 1 venue-load 2 idempotent-reload 3 cand-top-scored 4 cand-over-budget 5 cand-too-small 6 board-verdict 7 stage-latest-wins 8 booked-line 9 cal-bridge-line 10 cal-bridge-composes 11 board-determinism 12 loud-fail-no-req[neg] 13 loud-fail-bad-stage[neg] Evidence: VIZSLA-VEN-GATE -> stdout + knowledge/status/vizsla_gate.log; exit 0 iff 13/13. spec: knowledge/research/2026-06-22-vizsla-sclass-roadmap.md license_tier: ORIGINAL

dependencies 1 imports · 0 importers

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

structs

none

consts

none

functions

21	func eg_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 3: eg_p eg_write eg_has
22	func eg_p(s: *u8) -> i64 { sys_write(1, s, eg_slen(s)); return 0 } called by 3: eg_row eg_ensure main calls 2: sys_write eg_slen
24	func eg_cat(dst: u8, off: i64, s: u8) -> i64 called by 1: main
30	func eg_catn(dst: *u8, off: i64, v: i64) -> i64 called by 1: main calls 1: sys_mmap
43	func eg_write(path: u8, content: u8) -> i64 called by 1: main calls 4: sys_openat_wr sys_write eg_slen sys_close
51	func eg_readall(path: u8, szout: i64) -> *u8 called by 2: eg_has eg_fileeq calls 5: sys_openat_rd sys_lseek sys_mmap sys_read sys_close
68	func eg_runv(elf: u8, args: i64, outpath: *u8) -> i64 called by 2: eg_ensure main calls 7: sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit+1
98	func eg_has(path: u8, needle: u8) -> i64 called by 1: main calls 3: sys_mmap eg_readall eg_slen
117	func eg_fileeq(p1: u8, p2: u8) -> i64 called by 1: main calls 2: sys_mmap eg_readall
132	func eg_row(name: *u8, pass: i64) -> i64 called by 1: main calls 1: eg_p
139	func eg_args(a1: u8, a2: u8, a3: u8, a4: u8, a5: u8) -> i64 called by 2: eg_ensure main calls 1: sys_mmap
150	func eg_ensure(elf: u8, organ: u8) -> i64 called by 1: main calls 5: sys_openat_rd sys_close eg_p eg_runv eg_args
158	func main(argc: i64, argv: *i64) -> i64 calls 16: eg_p eg_ensure sys_now_us sys_mmap eg_cat eg_catn+10