code wiki / _hdl_build / nx_beir_gate.nx

nx_beir_gate.nx

buildroot/runtime/_hdl_build/nx_beir_gate.nx

4533 B97 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_beir_gate.nx -- EXTERNAL-ANCHOR gate for the search domain: wraps the live nx_beir_eval (BEIR/nfcorpus, the field's standard IR benchmark -- ground truth we did not author) and holds the measured BM25 ndcg@10 against a conf-declared floor relative to the PUBLISHED baseline for the same dataset. The eval emits honest JSON (incl rerank-arm UNAVAILABLE-is-not-zero); this gate adds the verdict contract: bar in DATA (knowledge/beir_bars.conf, rule 11 -- absent conf = RED, a defaulted bar is a wish), CROSS-MULTIPLIED comparison (ndcg*1000 >= floor*baseline -- the integer-truncation silent-threshold-shift law, banked 2026-08-01), canonical gv_verdict tail + harness.jrnl frame. license_tier: ORIGINAL expect_exit: 0 when the external anchor holds

dependencies 3 imports · 0 importers

imports: nx_syscalls.nxnx_estate_path.nxnx_gate_verdict.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

13	func bg_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } called by 2: bg_find bg_int_after
15	func bg_find(hay: u8, n: i64, needle: u8) -> i64 called by 1: bg_int_after calls 1: bg_slen
30	func bg_int_after(hay: u8, n: i64, needle: u8) -> i64 called by 1: main calls 2: bg_find bg_slen
44	func bg_run_eval(out_path: *u8) -> i64 called by 1: main calls 7: sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit+1
64	func main() -> i64 calls 10: ep_anchor gv_puts gv_ctr sys_mmap sys_read_file bg_int_after+4