code wiki / _hdl_build / nx_ppmi_lib_gate.nx

nx_ppmi_lib_gate.nx

buildroot/runtime/_hdl_build/nx_ppmi_lib_gate.nx

4531 B101 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic ppmi
docsdependenciesstructsconstsfunctions

about

nx_ppmi_lib_gate.nx -- KAT + neg-controls for the shared PPMI library (seq283) and its new IDF weighting. Proves: the path-parameterised loader works, informativeness weighting really does rank a ubiquitous function word below a discriminative one, out-of-vocabulary terms are EXCLUDED from the weighted denominator instead of dragging a flat mean toward zero, and the weighted scorer still agrees with the flat one where no weighting distinction exists. Runs from the nxc2 CWD so knowledge/index/semppmi_v1.bin resolves. DRY nx_gate_verdict lib.

dependencies 2 imports · 0 importers

nx_ppmi_lib.nx nx_gate_verdict.nx nx_ppmi_lib_gate.nx

imports: nx_ppmi_lib.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 gv_head gv_puts sys_write ppl_load sys_openat_rd sys_mmap ↻ sys_read sys_close gv_check gv_puts ↻ plg_wid ppl_tokenize_ids ppl_wid_range sys_mmap ↻ db_bsearch_i64 db_semhash ppl_idf_w ppl_tokenize_ids ↻ ppl_maxsim ppl_dcos ppl_cos ppl_isqrt ppl_maxsim_idf ppl_idf_w ↻ ppl_dcos ↻ gv_verdict gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻

structs

none

consts

none

functions

11func plg_wid(g: *i64, s: *u8) -> i64
called by 1: main calls 1: ppl_tokenize_ids
19func main() -> i64