code wiki / _hdl_build / nx_research_exceed.nx

nx_research_exceed.nx

buildroot/runtime/_hdl_build/nx_research_exceed.nx

5582 B97 linesdepth 4pulls 6 transitivereach 1 importersview sourcekind librarytopic research
docsdependenciesstructsconstsfunctions

about

nx_research_exceed.nx -- the head-to-head SCOREBOARD proving the Nishi researcher S-class EXCEEDS the Claude deep-research (operator: "i want our nishi researcher to s class exceed your deep research"). NO SELF-GRADE: the verdict is a pure function of MEASURED metrics, scored under the referee discipline (the scorer is neither competitor). It also adds the piece that makes the team's VERIFICATION rigorous, not just corroboration: a mechanized ADVERSARIAL CONTRADICTION check -- if two sources report CONFLICTING values for the same claim, the claim is CONTESTED and NOT admitted. That is the deterministic analog of Claude's stochastic 3-vote refutation, and it is REPRODUCIBLE where the 3-vote is not. Metrics vector (i64[7]) per researcher: [0]=angles [1]=sources [2]=claims_extracted [3]=claims_verified [4]=confirmed [5]=reproducible(1/0) [6]=llm_calls Higher-is-better: angles, sources, claims_extracted, claims_verified, confirmed, reproducible. Lower-is-better: llm_calls (0 = sovereign, no model spend, no rate limit). LAWS: struct-free, integer-only. Composes nx_referee (no-self-grade) + nx_research_synth. license_tier: ORIGINAL

dependencies 4 imports · 1 importers

nx_referee.nx nx_itoa_lib.nx nx_research_synth.nx nx_syscalls.nx nx_research_exceed.nx nx_research_exceed_test.nx

imports: nx_referee.nxnx_itoa_lib.nxnx_research_synth.nxnx_syscalls.nx

imported by: nx_research_exceed_test.nx

structs

none

consts

22const RX_BELOW: i64 = 0
23const RX_PARITY: i64 = 1
24const RX_EXCEEDS: i64 = 2

functions

28func rx_coverage_permil(verified: i64, extracted: i64) -> i64
called by 2: rx_scoreboardmain
35func rx_contested(value_a: i64, value_b: i64, tol: i64) -> i64
called by 1: main calls 1: ref_abs
42func rx_admit(sources: i64, contested: i64, min_sources: i64) -> i64
called by 1: main
51func rx_verdict(team: *i64, claude: *i64) -> i64
called by 2: rx_scoreboardmain
69func rx_w(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 1: rx_scoreboard calls 1: sys_write
74func rx_wn(v: i64) -> i64 { nxi_out(v); return 0 }
called by 1: rx_scoreboard calls 1: nxi_out
77func rx_scoreboard(team: *i64, claude: *i64) -> i64