nx_research_verify.nx
buildroot/runtime/nx_research_verify.nx
about
nx_research_verify.nx -- the RESEARCH-VERIFICATION STAGE: batch, autonomous, sovereign claim verification.
Upgrades the researcher from "fetch + extract" to "fetch + extract + VERIFY against the cited source" -- the
SOTA research behavior. Reads a claims TSV (a researcher's findings), FETCHES each cited source itself over the
sovereign TLS-1.3 stack, extracts the real value, and banks a verdict ledger + a summary. Composes the proven
single-claim primitive (nx_claim_verify) over a batch; the anti-gaming discipline made a pipeline stage:
every claim is CONFIRMED/DISCREDITED against real fetched evidence, or UNVERIFIABLE (never fabricated).
INPUT (argv[1] or default knowledge/index/rv_claims.tsv): lines of label<TAB>url<TAB>pattern<TAB>claim_tenths<TAB>tol_tenths
OUTPUT knowledge/index/rv_verified.tsv: label<TAB>source<TAB>extracted<TAB>claim<TAB>verdict + a stdout summary.
license_tier: ORIGINAL expect_exit: 0
dependencies 5 imports · 0 importers
imports: nx_syscalls.nxnx_itoa_lib.nxnx_x509_trust_store.nxnx_trust_store_load_from_certdata.nxnx_https_fetch_follow.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 16 | const K_MAGIC_262144: i64 = 262144 |
| 17 | const K_MAGIC_4194304: i64 = 4194304 |
| 18 | const K_MAGIC_1024: i64 = 1024 |
| 19 | const K_MAGIC_1500: i64 = 1500 |
functions
| 21 | func rv_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 26 | func rv_putn(v: i64) -> i64 { nxi_out(v); return 0 } |
| 27 | func rv_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: main |
| 28 | func rv_iabs(x: i64) -> i64 { if x < 0 { return 0-x } return x } called by 1: main |
| 31 | func rv_find_after(buf: *u8, blen: i64, pat: *u8, patlen: i64) -> i64 called by 1: main |
| 44 | func rv_parse_tenths(buf: *u8, blen: i64, off: i64) -> i64 called by 1: main |
| 62 | func rv_int(s: *u8, n: i64) -> i64 { // parse an unsigned int from s[0..n) called by 1: main |
| 68 | func main(argc: i64, argv: *i64) -> i64 |