code wiki / (root) / nx_warc_index_gate.nx

nx_warc_index_gate.nx

buildroot/runtime/nx_warc_index_gate.nx

4506 B79 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic warc

docs dependencies structs consts functions

about

nx_warc_index_gate.nx -- proves the C3 ingest pipeline: WARC 'response' records -> extract content -> index -> query retrieves the right docs. In-memory WARC fixture (no network); the live CC fetch + gz-inflate run on the NAS. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_warc_index.nxnx_gate.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

7	func wig_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } called by 2: wig_append wig_query
8	func wig_cat(buf: u8, off: i64, s: u8) -> i64 { var i: i64=0; while s[i]!=(0 as u8){ buf[off+i]=s[i]; i=i+1 } return off+i } called by 1: wig_append
9	func wig_int(buf: u8, off: i64, v: i64) -> i64 { if v==0 { buf[off]=48 as u8; return off+1 } var m: i64=v; let t: u8=sys_mmap(24); var k: i64=0; while m>0 { t[k]=(48+(m%10)) as u8; m=m/10; k=k+1 } var o: i64=off; var j: i64=k-1; while j>=0 { buf[o]=t[j]; o=o+1; j=j-1 } return o } called by 1: wig_append
10	func wig_append(buf: u8, off: i64, uri: u8, content: *u8) -> i64 called by 1: main calls 3: wig_slen wig_cat wig_int
22	func wig_query(idx: NxInvIndex, term: u8, out: *i64) -> i64 called by 1: main calls 5: nx_inv_hash_bytes_lower wig_slen nx_inv_lookup_slot nx_inv_slot_postings_count nx_inv_slot_postings_offset
33	func main() -> i64 calls 7: gw wig_append nx_inv_new wi_build_index gn wig_query+1