nx_claim_verify_core.nx
buildroot/runtime/nx_claim_verify_core.nx
about
nx_claim_verify_core.nx -- importable CORE of the sovereign claim verifier (logic extracted from nx_claim_verify.nx,
the 07-14 CLI, so it composes IN-PROCESS). Given fetched evidence text + a pattern the value follows + a claimed
value (tenths of a unit) + tolerance, returns the refutation verdict: 0 CONFIRMED, 3 DISCREDITED, 4 UNVERIFIABLE
(pattern absent -> invents NO number). Pure / deterministic / $0 / no-model / no-network -- the fetch stays in the
caller (S2 gate Tier-2). Prefix cvc_ so it never clashes when co-imported with other verify organs.
DUP-DEBT (honest): nx_claim_verify.nx (CLI) still carries private copies of find_after/parse_tenths/claim_verdict;
a follow-up should point it here (DRY) with a live re-run -- deferred now to avoid editing a same-day sibling file.
license_tier: ORIGINAL
dependencies 1 imports · 5 importers
imports: nx_syscalls.nx
imported by: nx_claim_verify.nxnx_research_crossval.nxnx_research_refute.nxnx_research_refute_gate.nxnx_research_verify_synth.nx
structs
| none |
consts
| none |
functions
| 11 | func cvc_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: cvc_find_after |
| 14 | func cvc_find_after(buf: *u8, blen: i64, pat: *u8) -> i64 |
| 29 | func cvc_parse_tenths(buf: *u8, blen: i64, off: i64) -> i64 |
| 45 | func cvc_iabs(x: i64) -> i64 { if x < 0 { return 0-x } return x } |
| 48 | func cvc_claim_verdict(ext: i64, claim: i64, tol: i64) -> i64 |
| 55 | func cvc_verify_text(buf: *u8, n: i64, pat: *u8, claim: i64, tol: i64) -> i64 |