code wiki / _hdl_build / nx_docportal_search_seg_gate.nx

nx_docportal_search_seg_gate.nx

buildroot/runtime/_hdl_build/nx_docportal_search_seg_gate.nx

34726 B547 linesdepth 4pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic docportal
docsdependenciesstructsconstsfunctions

about

nx_docportal_search_seg_gate.nx -- GATE for the SOVEREIGN seg_store-native onsite search (nx_docportal_search_seg). Writes 3 PUBLIC docs into a test shard through the RAW sovereign store (doc:<cid> keys, text values so ss_write_seg builds .terms), then drives dss_search end-to-end over the REAL seg_store -- proving the sovereign path (ss_open -> ss_term postings -> ss_hget -> rank) with NO tsv anywhere. Negative controls: absent term -> 0, absent shard -> 0 (isolation, not a crash). license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_docportal_search_seg.nx nx_docportal_search_seg_gate.n

imports: nx_docportal_search_seg.nx

imported by: nobody (leaf or entry point)

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

main g_puts ss_begin ss_begin_cap sys_mmap ss_add ss_add2 ss_w32 ss_len g_strlen ss_commit ss_segid_ok sys_mmap ↻ ss_cat ss_catn sys_mmap ↻ sys_write ss_write_seg ss_segid_ok ↻ sys_mmap ↻ ss_cat ↻ ss_catn ↻ sys_write ↻ ss_segname ss_cat ↻ ss_catn ↻ ss_writefile sys_openat_wr sys_write ↻ sys_close sys_fsync sys_renameat ss_build_keys sys_mmap ↻ ss_r32 ss_kcmp ss_w32 ↻ ss_build_terms sys_mmap ↻ ss_tok_table

structs

none

consts

none

functions

9func dsg_cat(b: *u8, off: i64, s: *u8) -> i64 { var o: i64 = off; var i: i64 = 0; while s[i] != (0 as u8) { b[o] = s[i]; o = o + 1; i = i + 1 } return o }
called by 1: main
10func dsg_catn(b: *u8, off: i64, v: i64) -> i64
called by 1: main
23func g_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 2: g_checkmain
24func g_num(v: i64) -> i64
called by 2: g_checkmain
33func g_strlen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: main
36func g_check(name: *u8, got_n: i64, cids: *i64, expect_n: i64, want_top: i64, pass: *i64, total: *i64) -> i64
called by 1: main calls 2: g_putsg_num
46func main(argc: i64, argv: *i64) -> i64