nx_dr_verify.nx
buildroot/runtime/nx_dr_verify.nx
about
nx_dr_verify.nx -- SOVEREIGN citation-entailment verification loop (DR-3).
The deep-research vulnerability (Rios-Garcia et al. arXiv:2604.18805, 25k+ runs):
evidence is IGNORED in 68% of traces; refutation-driven belief revision happens in
only 26%. The fix is STRUCTURAL, not hope: every claim must be entailment-checked
against its source evidence, and anything that fails is DROPPED from context memory
(blueprint #1 citation traceability + DEER back-tracking of cited AND uncited claims,
arXiv:2512.17776). This organ forces evidence consumption by construction: an
unsupported claim can never enter memory.
Entailment proxy = token CONTAINMENT (fraction of the claim's tokens present in the
evidence), integer/permille -- the sovereign LEXICAL tier; PPMI (recall lane) and
the no-float LLM are the escalation tiers (same socket, honest tiering).
Imports ONLY nx_syscalls = drift-immune. No hardware writes (Rule 26).
module: nishi-core.research.dr_verify
depends: nx_syscalls.nx
genealogy_id: textual_entailment_rte + deer_2026_backtracking + coscientist_reflection
dependencies 1 imports · 8 importers
imports: nx_syscalls.nx
imported by: nx_dr_chain.nxnx_dr_densejudge_cli.nxnx_dr_run.nxnx_dr_run_cli.nxnx_dr_semjudge_cli.nxnx_dr_semjudge_gate.nxnx_dr_semjudge_x_cli.nxnx_dr_verify_cli.nx
structs
| none |
consts
| none |
functions
| 20 | func dv_contains(evidence: *i64, ne: i64, tok: i64) -> i64 called by 1: dv_entail |
| 28 | func dv_entail(claim: *i64, nc: i64, evidence: *i64, ne: i64) -> i64 |
| 37 | func dv_supported(claim: *i64, nc: i64, evidence: *i64, ne: i64, threshold: i64) -> i64 calls 1: dv_entail |
| 44 | func dv_batch(scores: *i64, n: i64, threshold: i64, out_keep: *i64, out_dropped: *i64) -> i64 called by 1: main |
| 57 | func dv_revision_rate(dropped: i64, n: i64) -> i64 called by 1: main |