code wiki / _hdl_build / nx_dr_semjudge_gate.nx

nx_dr_semjudge_gate.nx

buildroot/runtime/_hdl_build/nx_dr_semjudge_gate.nx

4727 B113 linesdepth 6pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic dr
docsdependenciesstructsconstsfunctions

about

nx_dr_semjudge_gate.nx -- KAT + neg-control for the SEMANTIC judge tier (DR-10). Runs BOTH judges on the same input to prove the escalation is real: a source that says "defeated" scores ZERO under the lexical judge for an insight saying "won", but scores above zero under the PPMI semantic judge. That is the measured lift, on the real shipped 41MB model -- not a fixture. Neg-controls: an out-of-vocabulary insight scores exactly 0 (no spurious match), and the known-measured synonym pairs must outrank the unrelated ones. Runs from the nxc2 CWD so knowledge/index/semppmi_v1.bin resolves. DRY nx_gate_verdict lib.

dependencies 4 imports · 0 importers

nx_dr_semjudge.nx nx_dr_run.nx nx_dr_verify.nx nx_gate_verdict.nx nx_dr_semjudge_gate.nx

imports: nx_dr_semjudge.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 gv_head gv_puts sys_write sj_load ppl_load sys_openat_rd sys_mmap ↻ sys_read sys_close gv_check gv_puts ↻ sj_tokenize_ids ppl_tokenize_ids ppl_wid_range sys_mmap ↻ db_bsearch_i64 db_semhash drr_strlen sj_dcos ppl_dcos ppl_cos ppl_isqrt drr_tokenize drr_hash dv_entail dv_contains sj_maxsim ppl_maxsim ppl_dcos ↻ gv_verdict gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_journal sys_openat_append

structs

none

consts

none

functions

13func main() -> i64