code wiki / _hdl_build / nx_research_exceed.nx
nx_research_exceed.nx
buildroot/runtime/_hdl_build/nx_research_exceed.nx
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
imports: nx_referee.nxnx_itoa_lib.nxnx_research_synth.nxnx_syscalls.nx
imported by: nx_research_exceed_test.nx
structs
| none |
consts
| 22 | const RX_BELOW: i64 = 0 |
| 23 | const RX_PARITY: i64 = 1 |
| 24 | const RX_EXCEEDS: i64 = 2 |
functions
| 28 | func rx_coverage_permil(verified: i64, extracted: i64) -> i64 |
| 35 | func rx_contested(value_a: i64, value_b: i64, tol: i64) -> i64 |
| 42 | func rx_admit(sources: i64, contested: i64, min_sources: i64) -> i64 called by 1: main |
| 51 | func rx_verdict(team: *i64, claude: *i64) -> i64 |
| 69 | func 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 } |
| 74 | func rx_wn(v: i64) -> i64 { nxi_out(v); return 0 } |
| 77 | func rx_scoreboard(team: *i64, claude: *i64) -> i64 |