nx_research_crossval.nx
buildroot/runtime/nx_research_crossval.nx
about
nx_research_crossval.nx -- MULTI-SOURCE CROSS-VALIDATION: the one refutation sub-axis peers lead (the matrix:
"DeepResearcher cross-validates across sources"). Over ONE numeric claim and N fetched evidence texts (each
with its own pattern + a caller-supplied HOST id), verdicts each source via cvc_verify_text, then CROSSES them
with the INDEPENDENCE DISCIPLINE: corroboration requires >=2 CONFIRMS from DISTINCT hosts (the same host twice
is an echo, not corroboration); any CONFIRM+DISCREDIT mix is CONFLICTED (surfaced, never averaged); all-absent
stays UNVERIFIABLE (invents nothing); zero sources fail CLOSED to UNVERIFIABLE. Pure/deterministic/$0 -- the
fetches stay in the caller (Tier-2), same split as nx_research_refute. Composes nx_claim_verify_core (cvc_*).
Cross verdicts: 0=CORROBORATED 1=CONFIRMED-SINGLE 3=CONFLICTED 4=UNVERIFIABLE 5=REFUTED.
license_tier: ORIGINAL
dependencies 3 imports · 2 importers
imports: nx_syscalls.nxnx_claim_verify_core.nxnx_research_verify_synth.nx
imported by: nx_research_crossval_gate.nxnx_research_unified.nx
structs
| none |
consts
| none |
functions
| 18 | func cvx_host_id(url: *u8) -> i64 called by 1: main |
| 51 | func cvx_verify(bufs: *i64, lens: *i64, pats: *i64, hosts: *i64, n: i64, claim: i64, tol: i64, out: *i64) -> i64 |
| 98 | func cvx_answer_verify(ans: *u8, alen: i64, srcv: *i64, nsrc: i64, hosts: *i64, tol: i64, out: *i64) -> i64 |