code wiki / _hdl_build / nx_ge_synth.nx

nx_ge_synth.nx

buildroot/runtime/_hdl_build/nx_ge_synth.nx

7342 B123 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind tooltopic ge
docsdependenciesstructsconstsfunctions

about

nx_ge_synth.nx -- SOVEREIGN extractive-synthesis + corroboration + CONTRADICTION organ (v2: now with contrarian sources in the corpus so contradiction-detection has material). The honest mechanical lever to close the researcher's quality gap vs Claude deep-research. Per the pre-registered 10-point rubric over the real fetched corpus (P1 render 8 + P3 mobile-perf 6 + CONTRARIAN 4 = 18 sources): COVERAGE = #sources containing the concept (retrieval) CORROBORATED = coverage >= 2 (>=2-source / no-hearsay rule) EXPLAINED = a source states concept AND its MECHANISM in one ~400B passage (extractive synthesis) CONTESTED = some source associates concept+CLAIM and some source associates concept+COUNTER => the corpus holds CONFLICTING framings -> flag, do not naively admit. This is the DETERMINISTIC + REPRODUCIBLE analog of deep-research's stochastic 3-vote refutation. HONEST: extractive, not generative; cannot produce cross-source reasoning/caveats an LLM adds. Measured here; judged vs the SAME rubric bar. 100% sovereign (nx_cc->nxasm). license_tier: ORIGINAL expect_exit:0

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_research_extract.nx nx_ge_synth.nx

imports: nx_syscalls.nxnx_research_extract.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 load sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close sw sys_write sn sys_mmap ↻ sys_write ↻ report sys_mmap ↻ score_point re_find re_strlen re_strlen ↻ sw ↻ sn ↻

structs

none

consts

none

functions

16func sw(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 2: reportmain calls 1: sys_write
17func sn(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: reportmain calls 2: sys_mmapsys_write
19func load(idx: i64, path: *u8, bufs: *i64, lens: *i64) -> i64
called by 1: main calls 2: sys_mmapsys_read_file
30func score_point(concept: *u8, mech: *u8, claim: *u8, counter: *u8, bufs: *i64, lens: *i64, nf: i64, out: *i64) -> i64
called by 1: report calls 2: re_findre_strlen
62func report(id: *u8, concept: *u8, mech: *u8, claim: *u8, counter: *u8, bufs: *i64, lens: *i64, nf: i64, tot: *i64) -> i64
called by 1: main calls 4: sys_mmapscore_pointswsn
74func main() -> i64
calls 5: sys_mmaploadswsnreport