code wiki / (root) / nx_bench_census_lib.nx

nx_bench_census_lib.nx

buildroot/runtime/nx_bench_census_lib.nx

6184 B126 linesdepth 3pulls 3 transitivereach 1 importersview sourcekind benchtopic bench
docsdependenciesstructsconstsfunctions

about

nx_bench_census_lib.nx -- ecosystem BENCHMARK-COVERAGE census (the anti-navel-gazing engine scaled to EVERYTHING). Question: of the LIVE tool surface, how many are graded against an EXTERNAL SOTA oracle (measured, not self-asserted)? An ungraded tool is honest DEBT, NEVER silently GREEN. Data-driven: registry rows <tool> <TAB> <oracle> <TAB> <verdict> verdict in {PARITY|EXCEED|UNIQUE|GAP|UNMEASURED} live toolset the tool_allowlist.conf (field 0 of each non-comment line) = the DENOMINATOR A tool with a PARITY/EXCEED/UNIQUE/GAP row is GRADED (GAP counts -- it's MEASURED + named, not hidden). Coverage = graded / live. The uncovered set is PRINTED = the exact debt to eat lap by lap. license_tier: ORIGINAL

dependencies 2 imports · 1 importers

nx_syscalls.nx nx_itoa_lib.nx nx_bench_census_lib.nx nx_bench_census_gate.nx

imports: nx_syscalls.nxnx_itoa_lib.nx

imported by: nx_bench_census_gate.nx

structs

none

consts

12const BC_TAB: i64 = 9
13const BC_NL: i64 = 10
14const BC_HASH: i64 = 35 // '#' comment line
15const BC_NAME_CAP: i64 = 256
16const BC_VERD_CAP: i64 = 64
17const BC_PERMILLE: i64 = 1000
18const BC_ASCII_0: i64 = 48 // '0' (decimal print)
19const BC_C_LIVE: i64 = 0 // counts[] slot indices (named so array indexing is rule-11 clean)
20const BC_C_GRADED: i64 = 1
21const BC_C_EXCEED: i64 = 2
22const BC_C_GAP: i64 = 3
23const BC_C_UNMEAS: i64 = 4
24const BC_F_VERDICT: i64 = 2 // registry field index: <tool>=0 <oracle>=1 <verdict>=2

functions

26func bc_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 4: bg_checkmainbc_censusbc_report calls 1: sys_write
31func bc_putn(v: i64) -> i64 { nxi_out(v); return 0 }
called by 2: mainbc_report calls 1: nxi_out
32func bc_seq(a: *u8, b: *u8) -> i64 { var i: i64 = 0; while a[i] != (0 as u8) { if a[i] != b[i] { return 0 } i = i + 1 } if b[i] != (0 as u8) { return 0 } return 1 }
called by 3: bc_is_gradedbc_lookupbc_census
35func bc_field(buf: *u8, ls: i64, le: i64, fidx: i64, out: *u8) -> i64
called by 2: bc_lookupbc_census
54func bc_is_graded(v: *u8) -> i64
called by 1: bc_census calls 1: bc_seq
62func bc_lookup(reg: *u8, rn: i64, tool: *u8, vout: *u8) -> i64
called by 1: bc_census calls 3: sys_mmapbc_fieldbc_seq
83func bc_census(allow: *u8, an: i64, reg: *u8, rn: i64, counts: *i64) -> i64
called by 1: main calls 6: sys_mmapbc_putsbc_fieldbc_lookupbc_is_gradedbc_seq
119func bc_report(counts: *i64) -> i64
called by 1: main calls 2: bc_putsbc_putn