code wiki / (root) / nx_commonsbench_gate.nx

nx_commonsbench_gate.nx

buildroot/runtime/nx_commonsbench_gate.nx

16935 B264 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_commonsbench_gate.nx -- THE RULER for neighbour-commons standing. Scores BOTH rules on ONE population so the delta is a measurement, not a claim. Per operator doctrine (feedback-match-known-good-then-improve, said twice): bank the baseline FIRST, ship the smallest edit, RE-MEASURE, state the delta. An unmeasured change is an opinion and a stack of them is unattributable. So this gate runs the INCUMBENT (the pairwise tolerance-ratio rule nx_mycorrhiza/nx_hypha compute TODAY) and the CHALLENGER (nx_commons_lib) over identical fixtures. Both rules live in nx_commons_lib, the incumbent kept deliberately as a NEGATIVE CONTROL exactly as nx_connect_match_lib keeps the arithmetic mean beside the harmonic mean -- so a later author can reproduce the comparison that justified the replacement. EVERY DISCRIMINATING TOOTH IS BITE-PROVEN, not merely passed: it must FIRE on the incumbent and be SILENT on the challenger. A tooth that is green before the defect exists is VACUOUS and proves nothing. T6 is the exception and is marked as such: both rules pass it, so it is a GUARD (it can only catch a regression) and not a discriminator. Naming that difference is the point. verdict emission INHERITS nx_gate_verdict (D001 / law L009), so nx_gate_green can judge this gate from outside and it records a harness.jrnl frame -- flake and erosion stay visible. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_gate_verdict.nx nx_commons_lib.nx nx_commonsbench_gate.nx

imports: nx_gate_verdict.nxnx_commons_lib.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ gv_puts ↻ nxc_incumbent_pairwise_sta nxc_incumbent_pairwise_fla nxc_standing nxc_raw_standing nxc_effective_given nxc_retained nxc_is_extractor nxc_effective_given ↻ nxc_retained ↻ cname cpad gv_num sys_mmap ↻ sys_write ↻ sys_munmap agreement_permil gv_bite gv_puts ↻ gv_check

structs

none

consts

23const CB_N: i64 = 15
24const CB_RING: i64 = 7
25const CB_RING_N: i64 = 3

functions

27func cpad(s: *u8, w: i64) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); var j: i64=n; while j<w { sys_write(1," " as *u8,1); j=j+1 } return 0 }
called by 1: cname
28func cname(i: i64) -> i64
called by 1: main calls 1: cpad
46func agreement_permil(score: *i64, rank: *i64, n: i64, agree_out: *i64, pairs_out: *i64) -> i64
called by 1: main
67func main() -> i64