code wiki / _hdl_build / nx_beir_eval.nx
nx_beir_eval.nx
buildroot/runtime/_hdl_build/nx_beir_eval.nx
about
nx_beir_eval.nx -- SOVEREIGN BEIR harness: real external ground truth (BEIR/nfcorpus) scored by our own
integer BM25 -> mean nDCG@10 (the standard BEIR metric). The HONEST external row the maturity ladder is
gated on (F236): real 3633-doc corpus + 323 test queries + 12335 graded qrels, vs the published BEIR BM25
baseline (nfcorpus nDCG@10 ~0.32, Anserini). BM25 k1=0.9 b=0.4 (BEIR defaults). IDF=log2 (ranking-invariant
vs ln -> identical nDCG). Integer/fixed-point throughout (no float) = bit-reproducible. Forward index
(per-doc sorted term,tf). Tokenizer = lowercase [a-z0-9] runs, NO stem / NO stopwords (v1 -- the gap to the
stemmed 0.32 baseline IS the stemming rung, honestly, not a defect).
expect_exit: 0 license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_qabench_engine.nxnx_ppmi_lib.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
| 17 | const BE_KCAND: i64 = 50 |
| 19 | const BE_IDCAP: i64 = 4096 |
| 20 | const K_MAGIC_1024: i64 = 1024 |
| 21 | const K_MAGIC_8192: i64 = 8192 |
| 22 | const K_MAGIC_4096: i64 = 4096 |
| 23 | const K_MAGIC_1900: i64 = 1900 |
| 25 | const MAXDOC: i64 = 4096 |
| 26 | const CAPFILE: i64 = 67108864 |
| 27 | const NTCAP: i64 = 2000000 |
| 28 | const DTCAP: i64 = 2000000 |
| 29 | const NJCAP: i64 = 20000 |
functions
| 31 | func be_read(path: *u8, slot: *i64) -> i64 |
| 49 | func be_read_fb(pa: *u8, pb: *u8, slot: *i64) -> i64 |
| 56 | func be_find(buf: *u8, from: i64, limit: i64, ch: i64) -> i64 called by 1: main |
| 69 | func be_tok(buf: *u8, start: i64, end: i64, out: *i64, noff: *i64, scr: *u8) -> i64 |
| 96 | func be_qs1(a: *i64, lo: i64, hi: i64) -> i64 |
| 114 | func be_qs2(key: *i64, pay: *i64, lo: i64, hi: i64) -> i64 |
| 134 | func be_log2_1024(q: i64) -> i64 called by 1: main |
| 146 | func be_disc(r: i64) -> i64 called by 1: main |
| 160 | func main() -> i64 |