code wiki / _hdl_build / nx_corpus_scan_gate.nx

nx_corpus_scan_gate.nx

buildroot/runtime/_hdl_build/nx_corpus_scan_gate.nx

5695 B129 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic corpus
docsdependenciesstructsconstsfunctions

about

nx_corpus_scan_gate.nx -- PROVE gk_corpus_scan ENUMERATES THE WHOLE COMPILE CORPUS. WHY THIS GATE EXISTS -------------------- nx_unwired's header claims "FULL ECOSYSTEM SCOPE, NOT A SAMPLE: every .nx in the tree" while its UW_DIR constant names ONE directory. Measured 2026-08-08: 7,159 of 18,559 files = 38.6%. Because the unscanned files are BOTH definition sources AND call sources, the truncation corrupted the answer in both directions at once -- 30 names were reported UNWIRED that are called in the files it never opened, and 3,379 definitions in those files were never examined at all. ★★★★★★ AN INSTRUMENT THAT DECLARES FULL-TREE SCOPE IN ITS HEADER AND HARDCODES ONE DIRECTORY IN ITS CONSTANT MEASURES A SUBSET AND REPORTS IT AS THE POPULATION. Every tooth below is FULL POPULATION, never a sample -- a sample cannot see that a class is empty, only that it is rare, and "no clipped paths" is exactly an emptiness claim. usage: nx_corpus_scan_gate exit: 0 GREEN, 1 RED (exit code carries the verdict; canonical verdict= line is printed LAST) license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_gatekit_lib.nx nx_corpus_scan_gate.nx

imports: nx_gatekit_lib.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main gk_head 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 ↻ gk_cat gk_say gk_write_all sys_write ↻ gk_corpus_scan sys_mmap ↻ gk_corpus_root sys_mmap ↻ gk_cat ↻ gk_exists sys_openat_rd sys_close gk_corpus_hdl gk_corpus_root ↻ gk_len gk_cat ↻ gk_dirscan gk_dirscan_ext sys_openat_rd ↻ sys_mmap ↻ gk_ext_is gk_len ↻ gk_cat ↻

structs

none

consts

22const CG_CAP: i64 = 32768
23const CG_STRIDE: i64 = 128

functions

25func cg_base(path: *u8) -> i64
called by 1: main
35func main(argc: i64, argv: *i64) -> i64