code wiki / (root) / nx_diora_live_serp.nx

nx_diora_live_serp.nx source

↩ module page · 259 lines · 13940 B

1// nx_diora_live_serp.nx -- SREACH R1+: a LIVE, RANKED, CLICKABLE search results 2// page produced by OUR OWN engine. Guarded-crawls a scaled set of real Diora 3// sources (each fetch a deadline-bounded child via nx_guarded_run -> hang-proof), 4// extracts text (our html->text), indexes (our inverted index), scores each doc 5// for "diora baird" (tf), RANKS, prints a gate summary to stdout, and WRITES a 6// self-contained clickable HTML SERP to knowledge/diora_live_serp.html so the 7// operator sees what our engine actually reached -- not a handed corpus, never 8// faked. Reach into the independent long-tail that ad-funded / state-aligned 9// engines suppress is the point (Memex-class, uncensored, content-neutral). 10// prereq: /tmp/_dlr_fetch_one.sov.elf (nx_sov_build_run _dlr_fetch_one) 11import "nx_str.nx" 12import "nx_syscalls.nx" 13import "nx_guarded_run.nx" 14import "nx_bm25.nx" 15import "nx_search_inverted.nx" // NxInvIndex + nx_inv_* + nx_bm25_tf -- not carried by nx_bm25.nx 16import "nx_source_tier.nx" 17import "nx_rank_fused.nx" 18const NX_MAGIC_524288: i64 = 524288 19const NX_MAGIC_1000000: i64 = 1000000 20const NX_MAGIC_131072: i64 = 131072 21 22const NX_LS_SEEDS: i64 = 8 23const NX_LS_DEADLINE: i64 = 18000 24const NX_LS_GATE_MIN: i64 = 3 25 26func gp(s: *u8) -> i64 { sys_write(1, s, nx_str_len(s)); return 0 } 27func gn(v: i64) -> i64 { 28 if v == 0 { sys_write(1, "0" as *u8, 1); return 0 } 29 var m: i64 = v; if m < 0 { sys_write(1, "-" as *u8, 1); m = 0 - m } 30 let t: *u8 = sys_mmap(28); var k: i64 = 0 31 while m > 0 { t[k] = 0x30 + (m - (m/10)*10); m = m/10; k = k + 1 } 32 while k > 0 { k = k - 1; sys_write(1, (((t as i64)+k) as *u8), 1) } 33 return 0 34} 35 36// seed table: url, human title, facet tag, and mainstream_surfaced flag 37// (from the captured incumbent SERPs -- 1 iff any of Google/Mojeek/DDG/Brave 38// surfaced it in their top-10; 0 = suppressed long-tail OUR engine reaches). 39func ls_url(e: i64) -> *u8 { 40 if e == 0 { return "https://en.wikipedia.org/wiki/Diora_Baird" } 41 if e == 1 { return "https://www.wikidata.org/wiki/Q283504" } 42 if e == 2 { return "https://kids.kiddle.co/Diora_Baird" } 43 if e == 3 { return "https://commons.wikimedia.org/wiki/Category:Diora_Baird" } 44 if e == 4 { return "https://www.thefamouspeople.com/profiles/diora-baird-44074.php" } 45 if e == 5 { return "https://en.wikipedia.org/wiki/Wedding_Crashers" } 46 if e == 6 { return "https://simple.wikipedia.org/wiki/Diora_Baird" } 47 if e == 7 { return "https://en.wikipedia.org/wiki/Texas_Chainsaw_Massacre:_The_Beginning" } 48 return "?" 49} 50func ls_title(e: i64) -> *u8 { 51 if e == 0 { return "Diora Baird - Wikipedia" } 52 if e == 1 { return "Diora Baird - Wikidata Q283504 (entity record)" } 53 if e == 2 { return "Diora Baird Facts for Kids - Kiddle" } 54 if e == 3 { return "Category: Diora Baird - Wikimedia Commons" } 55 if e == 4 { return "Who is Diora Baird - The Famous People" } 56 if e == 5 { return "Wedding Crashers (2005) - Wikipedia (her breakout film)" } 57 if e == 6 { return "Diora Baird - Simple English Wikipedia" } 58 if e == 7 { return "Texas Chainsaw Massacre: The Beginning - Wikipedia" } 59 return "?" 60} 61func ls_facet(e: i64) -> *u8 { 62 if e == 0 { return "identity" } 63 if e == 1 { return "identity" } 64 if e == 2 { return "long-tail" } 65 if e == 3 { return "official-media" } 66 if e == 4 { return "long-tail" } 67 if e == 5 { return "works" } 68 if e == 6 { return "identity" } 69 if e == 7 { return "works" } 70 return "?" 71} 72// 1 iff a mainstream incumbent surfaced this URL in its captured top-10. 73func ls_mainstream(e: i64) -> i64 { 74 if e == 0 { return 1 } // Wikipedia -- surfaced by all 75 return 0 // every other seed: surfaced by NO mainstream engine 76} 77func ls_out(e: i64) -> *u8 { 78 if e == 0 { return "/tmp/ls_text_0.txt\x00" } 79 if e == 1 { return "/tmp/ls_text_1.txt\x00" } 80 if e == 2 { return "/tmp/ls_text_2.txt\x00" } 81 if e == 3 { return "/tmp/ls_text_3.txt\x00" } 82 if e == 4 { return "/tmp/ls_text_4.txt\x00" } 83 if e == 5 { return "/tmp/ls_text_5.txt\x00" } 84 if e == 6 { return "/tmp/ls_text_6.txt\x00" } 85 if e == 7 { return "/tmp/ls_text_7.txt\x00" } 86 return "/tmp/ls_text_x.txt\x00" 87} 88 89func read_all(path: *u8, buf: *u8, cap: i64) -> i64 { 90 let fd: i64 = sys_openat_rd(path) 91 if fd < 0 { return 0 } 92 var total: i64 = 0 93 var go: i64 = 1 94 while go == 1 { 95 let n: i64 = sys_read(fd, (((buf as i64) + total) as *u8), cap - total) 96 if n <= 0 { go = 0 } 97 if n > 0 { total = total + n; if total >= cap { go = 0 } } 98 } 99 sys_close(fd) 100 return total 101} 102 103// HTML buffer append helpers (cur[0] is the write cursor). 104func bs(buf: *u8, cur: *i64, s: *u8) -> i64 { 105 var i: i64 = 0 106 while s[i] != (0 as u8) { buf[cur[0]] = s[i]; cur[0] = cur[0] + 1; i = i + 1 } 107 return 0 108} 109func bn(buf: *u8, cur: *i64, v: i64) -> i64 { 110 if v == 0 { buf[cur[0]] = 0x30; cur[0] = cur[0] + 1; return 0 } 111 var m: i64 = v; if m < 0 { buf[cur[0]] = 0x2D; cur[0] = cur[0] + 1; m = 0 - m } 112 let t: *u8 = sys_mmap(28); var k: i64 = 0 113 while m > 0 { t[k] = 0x30 + (m - (m/10)*10); m = m/10; k = k + 1 } 114 while k > 0 { k = k - 1; buf[cur[0]] = t[k]; cur[0] = cur[0] + 1 } 115 return 0 116} 117 118func ls_tier_name(t: i64) -> *u8 { 119 if t == NX_TIER_PRIMARY { return "primary" } 120 if t == NX_TIER_EDITORIAL { return "editorial" } 121 if t == NX_TIER_PLATFORM { return "platform" } 122 if t == NX_TIER_ARCHIVE { return "archive" } 123 if t == NX_TIER_COMMUNITY { return "community" } 124 return "unranked" 125} 126 127func main() -> i64 { 128 gp("=== Nishi LIVE SERP -- diora baird, OUR crawl + OUR index, tier+tf relevance-gated RRF (hang-proof) ===\n") 129 let child: *u8 = "/tmp/_dlr_fetch_one.sov.elf\x00" 130 let envp: *i64 = sys_mmap(8 * 4) as *i64 131 envp[0] = "PATH=/usr/bin:/bin" as *u8 as i64; envp[1] = 0 132 let devnull: i64 = sys_openat_wr("/dev/null" as *u8, 0x1a4) 133 134 let dtext: **u8 = sys_mmap(NX_LS_SEEDS * 8) as **u8 135 let dlen: *i64 = sys_mmap(NX_LS_SEEDS * 8) as *i64 136 let dseed: *i64 = sys_mmap(NX_LS_SEEDS * 8) as *i64 // original seed id of each fetched doc 137 let dscore: *i64 = sys_mmap(NX_LS_SEEDS * 8) as *i64 138 var ndoc: i64 = 0 139 var ntimeout: i64 = 0 140 var nfail: i64 = 0 141 let idx: *NxInvIndex = nx_inv_new(NX_LS_SEEDS + 1) 142 143 var e: i64 = 0 144 while e < NX_LS_SEEDS { 145 let url: *u8 = ls_url(e) 146 let outp: *u8 = ls_out(e) 147 let av: *i64 = sys_mmap(8 * 4) as *i64 148 av[0] = child as i64; av[1] = url as i64; av[2] = outp as i64; av[3] = 0 149 let rc: i64 = nx_guarded_run(child, av, envp, NX_LS_DEADLINE, devnull, devnull) 150 gp(" "); gp(url); gp(" -> ") 151 if rc == 0 { 152 let text: *u8 = sys_mmap(NX_MAGIC_524288) 153 let tl: i64 = read_all(outp, text, NX_MAGIC_524288) 154 dtext[ndoc] = text; dlen[ndoc] = tl; dseed[ndoc] = e 155 nx_inv_index_row(idx, text, tl, ndoc) 156 ndoc = ndoc + 1 157 gp("OK "); gn(tl); gp(" chars\n") 158 } 159 if rc == 124 { ntimeout = ntimeout + 1; gp("TIMEOUT-REAPED (hang handled)\n") } 160 if rc != 0 { if rc != 124 { nfail = nfail + 1; gp("fetch-fail rc="); gn(rc); gp("\n") } } 161 e = e + 1 162 } 163 gp("guarded outcome: "); gn(ndoc); gp(" indexed, "); gn(ntimeout); gp(" hangs reaped, "); gn(nfail); gp(" fetch-fail (no wedge)\n") 164 if ndoc == 0 { gp("REACH=0 this run; hang-handler held. HONEST.\n"); return 2 } 165 166 nx_inv_finalize_offsets(idx) 167 var d: i64 = 0 168 while d < ndoc { nx_inv_emit_row(idx, dtext[d], dlen[d], d); d = d + 1 } 169 170 // per-doc url/title (for source-tier) + the query terms 171 let du: **u8 = sys_mmap(ndoc * 8) as **u8 172 let dt2: **u8 = sys_mmap(ndoc * 8) as **u8 173 let dtier: *i64 = sys_mmap(ndoc * 8) as *i64 174 let dgain: *i64 = sys_mmap(ndoc * 8) as *i64 175 let v: *NxTierVerdict = sys_mmap(NX_TIER_VERDICT_BYTES) as *NxTierVerdict 176 let h_diora: i64 = nx_inv_hash_bytes_lower("diora", 5) 177 let h_baird: i64 = nx_inv_hash_bytes_lower("baird", 5) 178 var reach: i64 = 0 179 d = 0 180 while d < ndoc { 181 du[d] = ls_url(dseed[d]); dt2[d] = ls_title(dseed[d]) 182 nx_tier_classify(du[d], dt2[d], v) 183 dtier[d] = v.tier 184 dgain[d] = nx_tier_gain(v) 185 dscore[d] = nx_bm25_tf(dtext[d], dlen[d], h_diora) + nx_bm25_tf(dtext[d], dlen[d], h_baird) 186 if dscore[d] > 0 { reach = reach + 1 } 187 d = d + 1 188 } 189 190 // RANK = RELEVANCE-GATED fusion of source-TIER + term-frequency. 191 // LESSON (filed): the composed nx_rank_fused (tier + BM25 via RRF) RANKED A 192 // ZERO-MATCH FILM PAGE #1 here -- on a homogeneous corpus (every doc is about 193 // her) BM25 idf degenerates AND every wikipedia page is the same "primary" 194 // tier, so the fusion lost relevance. Fix: fuse TF (robust here) with tier 195 // via RRF for quality, then HARD-GATE any doc with zero query matches below 196 // every matching doc -- a non-matching page can never outrank a matching one. 197 let tier_order: *i64 = sys_mmap(ndoc * 8) as *i64 198 let tf_order: *i64 = sys_mmap(ndoc * 8) as *i64 199 nx_rank_order_desc(dgain, ndoc, tier_order) 200 nx_rank_order_desc(dscore, ndoc, tf_order) 201 let fused: *i64 = sys_mmap(ndoc * 8) as *i64 202 d = 0 203 while d < ndoc { fused[d] = 0; d = d + 1 } 204 nx_rrf_add(tier_order, ndoc, fused) 205 nx_rrf_add(tf_order, ndoc, fused) 206 d = 0 207 while d < ndoc { if dscore[d] == 0 { fused[d] = fused[d] - NX_MAGIC_1000000 } d = d + 1 } 208 let ord: *i64 = sys_mmap(ndoc * 8) as *i64 209 nx_rank_order_desc(fused, ndoc, ord) 210 211 // ---- write the clickable HTML SERP ---- 212 let buf: *u8 = sys_mmap(NX_MAGIC_131072) 213 let cur: *i64 = sys_mmap(8) as *i64 214 cur[0] = 0 215 bs(buf, cur, "<!doctype html><html lang='en'><head><meta charset='utf-8'><meta name='viewport' content='width=device-width,initial-scale=1'>") 216 bs(buf, cur, "<title>Nishi LIVE Search &mdash; Diora Baird</title><style>") 217 bs(buf, cur, "body{font-family:ui-sans-serif,system-ui,Segoe UI,Roboto,sans-serif;background:#0b0e14;color:#dde3ee;margin:0;padding:28px;line-height:1.5}") 218 bs(buf, cur, "h1{font-size:22px;margin:0 0 4px}.sub{color:#8ea0c0;font-size:13px;margin:0 0 14px}.q{color:#fff;font-weight:700}") 219 bs(buf, cur, "a{color:#9db4dc;text-decoration:none}a:hover{text-decoration:underline}a.t{color:#eef2f8;font-weight:600;font-size:16px}") 220 bs(buf, cur, "ol{padding-left:0;list-style:none;counter-reset:r}li{counter-increment:r;padding:12px 0;border-bottom:1px solid #161d29}") 221 bs(buf, cur, "li::before{content:counter(r);color:#5b6b86;margin-right:10px}.url{color:#5b8f6f;font-size:12px;word-break:break-all;display:block;margin-top:2px}") 222 bs(buf, cur, ".tag{font-size:11px;padding:1px 7px;border-radius:99px;background:#172033;color:#9db4dc;margin-left:6px}") 223 bs(buf, cur, ".tag.supp{background:#10241c;color:#6ee7a8}.tag.sc{background:#1a2233;color:#cbd5f0}.banner{margin:8px 0 18px;padding:12px 16px;border-radius:10px;background:#101826;border:1px solid #1c2c44;color:#b9c8e6;font-size:13px}.banner b{color:#eef2f8}") 224 bs(buf, cur, "</style></head><body><h1>NISHI LIVE SEARCH</h1>") 225 bs(buf, cur, "<p class='sub'>query <span class='q'>Diora Baird</span> &middot; results crawled LIVE by our own engine (sovereign DNS+TCP+TLS1.3+X509 &rarr; html&rarr;text &rarr; inverted index), ranked by <b>source-tier + term-frequency, relevance-gated reciprocal-rank fusion</b>. Hang-proof via nx_guarded_run. Every link is clickable evidence.</p>") 226 bs(buf, cur, "<div class='banner'><b>Reach, not advertising.</b> ") 227 bs(buf, cur, "Of these results, the ones tagged <span class='tag supp'>reached &amp; not in mainstream</span> were surfaced by NO ad-funded incumbent (Google/Mojeek/DDG/Brave) in the captured Diora SERPs &mdash; the independent long-tail our engine indexes precisely because we are not paid to bury it. Memex-class, uncensored, content-neutral.</div>") 228 bs(buf, cur, "<ol>") 229 var oi: i64 = 0 230 while oi < ndoc { 231 let di: i64 = ord[oi] 232 let sid: i64 = dseed[di] 233 bs(buf, cur, "<li><a class='t' href='"); bs(buf, cur, ls_url(sid)); bs(buf, cur, "' target='_blank' rel='noopener'>"); bs(buf, cur, ls_title(sid)); bs(buf, cur, "</a>") 234 bs(buf, cur, "<span class='tag'>"); bs(buf, cur, ls_facet(sid)); bs(buf, cur, "</span>") 235 bs(buf, cur, "<span class='tag sc'>"); bs(buf, cur, ls_tier_name(dtier[di])); bs(buf, cur, " source</span>") 236 bs(buf, cur, "<span class='tag sc'>matches "); bn(buf, cur, dscore[di]); bs(buf, cur, "</span>") 237 if ls_mainstream(sid) == 0 { bs(buf, cur, "<span class='tag supp'>reached &amp; not in mainstream</span>") } 238 bs(buf, cur, "<span class='url'>"); bs(buf, cur, ls_url(sid)); bs(buf, cur, "</span></li>") 239 oi = oi + 1 240 } 241 bs(buf, cur, "</ol>") 242 bs(buf, cur, "<p class='sub'>crawled "); bn(buf, cur, ndoc); bs(buf, cur, " live sources this run; ") 243 bn(buf, cur, ntimeout); bs(buf, cur, " hangs reaped, "); bn(buf, cur, nfail); bs(buf, cur, " fetch-fail &mdash; recorded, never faked. Sovereign build: nx_cc &rarr; nxasm_x86, no gcc/sh.</p></body></html>") 244 245 let hf: i64 = sys_openat_wr("knowledge/diora_live_serp.html\x00", 0x1a4) 246 if hf >= 0 { sys_write(hf, buf, cur[0]); sys_close(hf) } 247 248 gp("\nRANKED (source-tier + term-frequency, relevance-gated RRF) -- top results for 'diora baird':\n") 249 oi = 0 250 while oi < ndoc { 251 let di: i64 = ord[oi] 252 gp(" #"); gn(oi + 1); gp(" tier="); gp(ls_tier_name(dtier[di])); gp(" matches="); gn(dscore[di]); gp(" "); gp(ls_url(dseed[di])); gp("\n") 253 oi = oi + 1 254 } 255 gp("\nLIVE REACH: "); gn(reach); gp(" sources retrievable for 'diora baird'; HTML SERP -> knowledge/diora_live_serp.html\n") 256 if reach >= NX_LS_GATE_MIN { gp("SREACH-R1+ LIVE SERP GATE: PASS\n"); return 0 } 257 gp("SREACH-R1+ LIVE SERP GATE: reach below floor (hang-handling still proven)\n") 258 return 3 259}