code wiki / (root) / nx_dr_verify.nx

nx_dr_verify.nx

buildroot/runtime/nx_dr_verify.nx

2988 B60 linesdepth 2pulls 2 transitivereach 11 importersview sourcekind librarytopic dr
docsdependenciesstructsconstsfunctions

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

nx_syscalls.nx nx_dr_verify.nx nx_dr_chain.nx nx_dr_densejudge_cli.nx nx_dr_run.nx nx_dr_run_cli.nx nx_dr_semjudge_cli.nx nx_dr_semjudge_gate.nx nx_dr_semjudge_x_cli.nx nx_dr_verify_cli.nx

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

20func dv_contains(evidence: *i64, ne: i64, tok: i64) -> i64
called by 1: dv_entail
28func dv_entail(claim: *i64, nc: i64, evidence: *i64, ne: i64) -> i64
37func dv_supported(claim: *i64, nc: i64, evidence: *i64, ne: i64, threshold: i64) -> i64
calls 1: dv_entail
44func dv_batch(scores: *i64, n: i64, threshold: i64, out_keep: *i64, out_dropped: *i64) -> i64
called by 1: main
57func dv_revision_rate(dropped: i64, n: i64) -> i64
called by 1: main