nx_commonsbench_gate.nx
buildroot/runtime/nx_commonsbench_gate.nx
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
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
structs
| none |
consts
| 23 | const CB_N: i64 = 15 |
| 24 | const CB_RING: i64 = 7 |
| 25 | const CB_RING_N: i64 = 3 |
functions
| 27 | func 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 |
| 28 | func cname(i: i64) -> i64 |
| 46 | func agreement_permil(score: *i64, rank: *i64, n: i64, agree_out: *i64, pairs_out: *i64) -> i64 called by 1: main |
| 67 | func main() -> i64 |