code wiki / (root) / nx_research_digest_gate.nx

nx_research_digest_gate.nx

buildroot/runtime/nx_research_digest_gate.nx

4075 B104 linesdepth 5pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic research
docsdependenciesstructsconstsfunctions

about

nx_research_digest_gate.nx -- end-to-end digest on a controlled corpus. Proves: sources rank by relevance (irrelevant source last), each claim is graded by INDEPENDENT corroboration, and a 3-mention ECHO claim scores SINGLE while cross-class claims are CONFIRMED (independence > volume).

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_bm25.nx nx_research_corroborate.nx nx_research_digest.nx nx_research_digest_gate.nx

imports: nx_syscalls.nxnx_bm25.nxnx_research_corroborate.nxnx_research_digest.nx

imported by: nobody (leaf or entry point)

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

main 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 ↻ _dlen nx_corrob_new sys_mmap ↻ nx_research_digest sys_mmap ↻ nx_bm25_score sys_mmap ↻ bm_token_count bm_score re_count re_strlen bm_idf_micro bm_ln_micro bm_df re_has re_find bm_sat_milli sys_munmap _rd_order_desc sys_mmap ↻ nx_inv_hash_bytes_lower nx_bm25_tf nx_inv_is_token_char nx_inv_hash_bytes_lower ↻

structs

none

consts

none

functions

11func _dlen(s: *u8) -> i64
called by 1: main
17func main() -> i64
calls 8: sys_mmap_dlennx_corrob_newnx_research_digestnx_corrob_raw_countnx_corrob_independent_count+2