code wiki / (root) / nx_dr_corpus_gate.nx

nx_dr_corpus_gate.nx

buildroot/runtime/nx_dr_corpus_gate.nx

3893 B87 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic dr
docsdependenciesstructsconstsfunctions

about

nx_dr_corpus_gate.nx -- KAT + neg-control for the file-backed corpus mode (DR-9). Reads REAL files off disk (this organ's own source and a sibling organ) rather than a fixture string, proving: a real document is read+tokenized, a phrase actually present in it is covered, a different file yields a different token count (so it is genuinely reading the file), per-file discrimination works, reads are deterministic, and the FAIL-LOUD neg-control -- a nonexistent path returns -1 instead of silently scoring zero coverage. Run from the nxc2 CWD (nx_sov_build_run). DRY nx_gate_verdict lib.

dependencies 4 imports · 0 importers

nx_dr_corpus.nx nx_dr_run.nx nx_dr_verify.nx nx_gate_verdict.nx nx_dr_corpus_gate.nx

imports: nx_dr_corpus.nxnx_dr_run.nxnx_dr_verify.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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ corp_tokenize_file sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close drr_tokenize drr_hash gv_check gv_puts ↻ drr_tokenize ↻ drr_strlen dv_entail dv_contains chain_sel_cov gv_verdict gv_note_bare_rate

structs

none

consts

none

functions

13func main() -> i64