code wiki / (root) / nx_bench_harness_test.nx

nx_bench_harness_test.nx

buildroot/runtime/nx_bench_harness_test.nx

4824 B86 linesdepth 7pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic bench
docsdependenciesstructsconstsfunctions

about

nx_bench_harness_test.nx -- KAT for the leaderboard engine. Native sovereign lane; exit 0 = pass, N = assertion N failed. Proves three things on toy-but-exact data: 1. an IDEAL ordering scores the exact reference values (nDCG=MAP=MRR= canonical=1.0; primary precision + S-recall = the closed-form fractions) 2. a JUNK-FIRST ordering (reaction video + listicle on top) is penalized 3. nx_bench_nishi_rank re-orders the SAME documents into a measured S-class EXCEED over the junk ordering (nx_bench_exceeds == 1)

dependencies 2 imports · 0 importers

fx.nx nx_bench_harness.nx nx_bench_harness_test.nx

imports: fx.nxnx_bench_harness.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_bench_score_serp nx_tier_classify nx_tier_of_url nx_tier_host_has nx_str_str nx_str_len nx_tier_is_derivative nx_tier_ci_contains nx_str_len ↻ nx_tier_lc nx_tier_score fx_from_frac nx_bench_qrels_find nx_bench_url_eq nx_bench_canon_len nx_str_len ↻ nx_str_chr fx_from_int nx_bench_ndcg nx_bench_dcg fx_div fx_log2_int fx_log2 fx_mul fx_from_int ↻ fx_mul ↻ nx_bench_sort_desc fx_div ↻ nx_bench_subtopic_recall fx_from_frac ↻ nx_bench_cube_filled fx_from_frac ↻ nx_bench_cube_speed fx_div ↻ fx_log2_int ↻ fx_mul ↻ fx_from_int ↻ nx_bench_primary_precision fx_from_frac ↻

structs

none

consts

none

functions

14func main() -> i64