code wiki / (root) / nx_bench_census_gate.nx

nx_bench_census_gate.nx

buildroot/runtime/nx_bench_census_gate.nx

2535 B46 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic bench
docsdependenciesstructsconstsfunctions

about

nx_bench_census_gate.nx -- gates the benchmark-coverage census on in-memory fixtures (no file I/O): 5 live tools; registry grades A=PARITY B=EXCEED C=GAP D=UNMEASURED, E absent. Asserts the census counts + coverage permille exactly (GAP counts as graded; UNMEASURED-row and no-row both = debt). Exit 0 only on all-PASS. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_bench_census_lib.nx nx_bench_census_gate.nx

imports: nx_bench_census_lib.nx

imported by: nobody (leaf or entry point)

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

main bc_census sys_mmap bc_puts sys_write bc_field bc_lookup sys_mmap ↻ bc_field ↻ bc_seq bc_is_graded bc_seq ↻ bc_seq ↻ bg_slen bg_check bc_puts ↻ bc_report bc_puts ↻ bc_putn nxi_out nxi_fd sys_mmap ↻ ccz_cat_num sys_write ↻ sys_munmap bc_puts ↻ bc_putn ↻

structs

none

consts

7const GATE_CHECKS: i64 = 6
8const FIX_LIVE: i64 = 5 // tools in the allowlist fixture
9const FIX_GRADED: i64 = 3 // A(PARITY) B(EXCEED) C(GAP)
10const FIX_EXCEED: i64 = 1 // B
11const FIX_GAP: i64 = 1 // C
12const FIX_UNMEAS: i64 = 2 // D(UNMEASURED row) + E(no row)
13const FIX_COV: i64 = 600 // 3/5 * 1000
14const V_COUNTS_BYTES: i64 = 64 // counts array = 8 i64 slots

functions

16func bg_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: main
17func bg_check(name: *u8, ok: i64, pass: *i64) -> i64
called by 1: main calls 1: bc_puts
23func main(argc: i64, argv: *i64) -> i64