code wiki / (root) / nx_research_refute.nx

nx_research_refute.nx

buildroot/runtime/nx_research_refute.nx

1702 B30 linesdepth 3pulls 3 transitivereach 1 importersview sourcekind librarytopic research
docsdependenciesstructsconstsfunctions

about

nx_research_refute.nx -- S2 of the Tesla ladder: ADVERSARIAL REFUTATION. Over a set of numeric claim-specs (a pattern the value follows, a claimed value in tenths, a tolerance) and fetched evidence text, it verdicts each claim (CONFIRMED / DISCREDITED / UNVERIFIABLE) and ADMITS ONLY CONFIRMED claims -- a claim survives only if the evidence AFFIRMS it; a wrong claim is DISCREDITED, an unfindable one is UNVERIFIABLE (never fabricated). This is the integrity layer FARS lacked (its own audit: 7.4% fabricated results, 5.7% hallucinated citations). Composes S1 (nx_research_synth_qwen produces the per-claim units to check) + nx_claim_verify_core (the verdict). The evidence FETCH stays in the caller (gate Tier-2 over sovereign TLS) so this organ is pure/deterministic/$0. license_tier: ORIGINAL

dependencies 2 imports · 1 importers

nx_syscalls.nx nx_claim_verify_core.nx nx_research_refute.nx nx_research_refute_gate.nx

imports: nx_syscalls.nxnx_claim_verify_core.nx

imported by: nx_research_refute_gate.nx

structs

none

consts

none

functions

14func rr_refute(buf: *u8, n: i64, pats: *i64, claims: *i64, tols: *i64, nspec: i64, out: *i64) -> i64
called by 1: main calls 1: cvc_verify_text