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 _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 ↻ nx_corrob_assert _corr_at nx_corrob_confidence nx_corrob_independent_coun sys_mmap ↻ _corr_at ↻ nx_corrob_raw_count _corr_at ↻ nx_corrob_independent_coun ↻ nx_corrob_confidence ↻ nx_corrob_cite _corr_at ↻

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