nx_dr_run_gate.nx
buildroot/runtime/nx_dr_run_gate.nx
about
nx_dr_run_gate.nx -- KAT + neg-control for the real-text matching/judge stage (DR-0 rung-2).
Proves the tokenizer (count, case-insensitivity, determinism) and token-containment matching
on REAL English strings, the coverage-at-threshold decision, insight-recall aggregation, and
the NEG-CONTROL: an insight with no lexical overlap is NEVER covered (so recall can't be
inflated). DRY nx_gate_verdict lib.
dependencies 4 imports · 0 importers
imports: nx_dr_run.nxnx_dr_verify.nxnx_dr_drbench.nxnx_gate_verdict.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
| none |
functions
| 11 | func main() -> i64 |