code wiki / _hdl_build / nx_ge_research_h2h.nx

nx_ge_research_h2h.nx

buildroot/runtime/_hdl_build/nx_ge_research_h2h.nx

9317 B166 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind tooltopic ge
docsdependenciesstructsconstsfunctions

about

nx_ge_research_h2h.nx -- HONEST researcher head-to-head gate. Replaces the rigged nx_research_exceed_test (which hardcoded the opponent's numbers from an unrelated past run, cherry-picked count-axes, and scored our biggest weakness [no LLM = no semantic synthesis] as a "win" via llm_calls-lower-better). THIS gate: (1) carries QUALITY axes (coverage + SYNTHESIS) on which the mechanical extractor LOSES, so the verdict can honestly say BEHIND; (2) caps the verdict at EXCEEDS-OPS-ONLY when a quality axis is lost (no blanket "S-class exceed"); (3) LIAR-KILLs the old failure mode by construction: a vector that sweeps every OPS axis but loses SYNTHESIS can NEVER return EXCEEDS-FULL (negative control T3). Numbers are filled from REAL runs (sovereign = measured this session; opponent = scored from a REAL Claude deep-research run on the SAME pre-registered question, knowledge/research/ge_headtohead_prereg.md). Axes i64[8]: [0]sources [1]coverage/10 [2]SYNTHESIS/10 [3]adversarial_refutes [4]sovereignty(1/0) [5]reproducible(1/0) [6]llm_calls(LOWER better) [7]persistence(1/0) license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_ge_research_h2h.nx

imports: nx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap setv h2h_verdict hw sys_write hn sys_mmap ↻ sys_write ↻ h2h_board hw ↻ h2h_row hw ↻ hn ↻ h2h_vname hw ↻ h2h_verdict ↻ sys_exit

structs

none

consts

17const H_BELOW: i64 = 0
18const H_PARITY: i64 = 1
19const H_OPS_ONLY: i64 = 2
20const H_FULL: i64 = 3

functions

22func hw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
23func hn(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(1,"-" as *u8,1)} let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1} sys_write(1,bb,k); return 0 }
called by 2: h2h_rowmain calls 2: sys_mmapsys_write
27func h2h_verdict(team: *i64, opp: *i64) -> i64
called by 2: h2h_boardmain
57func h2h_vname(v: i64) -> i64
called by 1: h2h_board calls 1: hw
65func h2h_row(label: *u8, t: i64, o: i64) -> i64 { hw(" "); hw(label); hw(" team="); hn(t); hw(" claude="); hn(o); hw("\n"); return 0 }
called by 1: h2h_board calls 2: hwhn
67func h2h_board(team: *i64, opp: *i64) -> i64
called by 1: main calls 4: hwh2h_rowh2h_vnameh2h_verdict
81func setv(v: *i64, a: i64, b: i64, c: i64, d: i64, e: i64, f: i64, g: i64, h: i64) -> i64
called by 1: main
85func main() -> i64