code wiki / (root) / nx_dms_search_store_gate.nx

nx_dms_search_store_gate.nx

buildroot/runtime/nx_dms_search_store_gate.nx

2422 B48 linesdepth 6pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic dms
docsdependenciesstructsconstsfunctions

about

nx_dms_search_store_gate.nx -- durability gate for the search index. Build index (3 docs) -> baseline query -> save -> reload into a FRESH index -> count survived AND queries on the reloaded index return the same results (text bytes survived the round-trip, tokenization + BM25 still work).

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_rights_ledger.nx nx_dms_catalog.nx nx_dms_search.nx nx_dms_search_store.nx nx_dms_search_store_gate.nx

imports: nx_syscalls.nxnx_rights_ledger.nxnx_dms_catalog.nxnx_dms_search.nxnx_dms_search_store.nx

imported by: nobody (leaf or entry point)

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

main nx_rights_ledger_new sys_mmap nx_dms_catalog_new sys_mmap ↻ nx_dms_search_new sys_mmap ↻ nx_rights_grant nx_use_is_valid _rl_at nx_dms_catalog_add nx_use_is_valid ↻ _dms_find_hash _dms_at _dms_at ↻ nx_dms_search_add _sx_at _sx_strlen sys_mmap ↻ nx_dms_search_query sys_mmap ↻ _sx_at ↻ nx_dms_is_visible _dms_find_id _dms_at ↻ _dms_at ↻ nx_rights_is_licensed nx_rights_state _rl_at ↻ _sx_strlen ↻ nx_inv_is_token_char nx_bm25_score sys_mmap ↻ bm_token_count bm_score re_count re_strlen bm_idf_micro bm_ln_micro bm_df

structs

none

consts

none

functions

12func main() -> i64