code wiki / _hdl_build / nx_docportal_search_serve_gate.nx
`nx_docportal_search_serve_gate.nx` source

↩ module page · 347 lines · 23489 B
1// nx_docportal_search_serve_gate.nx -- GATE for R2 (dss_serve). Writes a test PUBLIC shard, then feeds crafted
2// GET /search requests to dss_serve and asserts the rendered branded page: 200 + Content-Length, result count,
3// the hit's text present, empty-query prompt, no-match=0, and XSS-escaping of the echoed query (defensive at the
4// boundary). All over the REAL sovereign seg_store path, no tsv. license_tier: ORIGINAL
5import "nx_docportal_search_serve.nx"
6import "nx_g_puts_lib.nx"
7
8func g_strlen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
9func g_num(v: i64) -> i64 {
  let bb: *u8 = sys_mmap(28); var m: i64 = v
  if m < 0 { sys_write(1, "-" as *u8, 1); m = 0 - m }
  let t: *u8 = sys_mmap(28); var k: i64 = 0
  if m == 0 { t[0] = 48 as u8; k = 1 }
  while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 }
  var i: i64 = 0; while i < k { bb[i] = t[k - 1 - i]; i = i + 1 }
  sys_write(1, bb, k); return 0
17}
18// does hay[0..hn) contain the null-terminated needle?
19func g_contains(hay: *u8, hn: i64, needle: *u8) -> i64 {
  let nl: i64 = g_strlen(needle)
  if nl == 0 { return 1 }
  var i: i64 = 0
  while i + nl <= hn {
      var m: i64 = 1
      var j: i64 = 0
      while j < nl { if hay[i + j] != needle[j] { m = 0 } j = j + 1 }
      if m == 1 { return 1 }
      i = i + 1
  }
  return 0
31}
32func g_streq(a: *u8, b: *u8) -> i64 {
  var i: i64 = 0
  while a[i] != (0 as u8) { if a[i] != b[i] { return 0 } i = i + 1 }
  if b[i] != (0 as u8) { return 0 }
  return 1
37}
38func g_check(name: *u8, cond: i64, pass: *i64, total: *i64) -> i64 {
  total[0] = total[0] + 1
  g_puts(name)
  if cond == 1 { pass[0] = pass[0] + 1; g_puts(" PASS\n") } else { g_puts(" FAIL\n") }
  return 0
43}
44
45func main(argc: i64, argv: *i64) -> i64 {
  g_puts("=== nx_docportal_search_serve gate (R2 /search serve, sovereign) ===\n")
  let d1: *u8 = "Estate Planning wills living trusts probate inheritance executor" as *u8
  // zzqservetest = an INVENTED shard-marker token: T16 proves scope=web switches shards by querying it
  // (present here, absent from any real crawled web page BY CONSTRUCTION -- "probate" stopped working
  // as the isolation probe the moment the real web corpus ingested wikipedia's estate-planning page)
  let d2: *u8 = "Family Law divorce child custody support alimony parenting zzqservetest" as *u8
  let d3: *u8 = "Criminal defense practice page felonies misdemeanors expungement" as *u8
  let w: *i64 = ss_begin()
  ss_add(w, 1, "doc:201" as *u8, d1, g_strlen(d1))
  ss_add(w, 1, "doc:202" as *u8, d2, g_strlen(d2))
  // 203 = an ingested SITE PAGE: carries a url:<cid> row -> its result must link to the PAGE, not /doc
  ss_add(w, 1, "doc:203" as *u8, d3, g_strlen(d3))
  ss_add(w, 1, "url:203" as *u8, "/practice/criminal.html" as *u8, 23)
  // facet fixture (T45): two docs sharing facterm on DIFFERENT hosts -> the SERP offers site: narrowing
  let df1: *u8 = "facterm alpha article body" as *u8
  let df2: *u8 = "facterm beta article body text" as *u8
  ss_add(w, 1, "doc:211" as *u8, df1, g_strlen(df1))
  ss_add(w, 1, "url:211" as *u8, "https://en.wikipedia.org/wiki/Alpha" as *u8, 35)
  ss_add(w, 1, "doc:212" as *u8, df2, g_strlen(df2))
  ss_add(w, 1, "url:212" as *u8, "https://docs.example.org/beta" as *u8, 29)
  // pager fixture: 22 pgterm docs (> the 20/page cap) -> the SERP must render Next/Prev
  let dpg: *u8 = "pgterm pagination fixture entry for the serve pager" as *u8
  let pgkey: *u8 = sys_mmap(24)
  var pgi: i64 = 301
  while pgi <= 322 {
      var ko: i64 = 0
      let kp: *u8 = "doc:" as *u8
      while kp[ko] != (0 as u8) { pgkey[ko] = kp[ko]; ko = ko + 1 }
      pgkey[ko] = (48 + (pgi / 100)) as u8
      pgkey[ko + 1] = (48 + ((pgi / 10) % 10)) as u8
      pgkey[ko + 2] = (48 + (pgi % 10)) as u8
      pgkey[ko + 3] = 0 as u8
      ss_add(w, 1, pgkey, dpg, g_strlen(dpg))
      pgi = pgi + 1
  }
  ss_commit("knowledge/store/dp-ssservetest-pub-" as *u8, w, 1)
82
  let pass: *i64 = sys_mmap(16) as *i64; pass[0] = 0
  let total: *i64 = sys_mmap(16) as *i64; total[0] = 0
  let out: *u8 = sys_mmap(DSV_OUTCAP)
  let dom: *u8 = "ssservetest" as *u8
87
  // T1: q=probate -> 200 + Content-Length + "1 result" + the estate text
  let r1: *u8 = "GET /search?q=probate HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n1: i64 = dss_serve(dom, r1, g_strlen(r1), out)
  g_check("T1 200-header" as *u8, g_contains(out, n1, "HTTP/1.1 200 OK" as *u8), pass, total)
  g_check("T1 content-length" as *u8, g_contains(out, n1, "Content-Length: " as *u8), pass, total)
  g_check("T1 1-result" as *u8, g_contains(out, n1, "1 result(s)" as *u8), pass, total)
  g_check("T1 hit-text(Estate)" as *u8, g_contains(out, n1, "Estate Planning" as *u8), pass, total)
95
  // T2: q=divorce -> the family-law doc
  let r2: *u8 = "GET /search?q=divorce HTTP/1.1\r\n\r\n" as *u8
  let n2: i64 = dss_serve(dom, r2, g_strlen(r2), out)
  g_check("T2 hit-text(Family)" as *u8, g_contains(out, n2, "Family Law" as *u8), pass, total)
100
  // T3: empty query -> prompt, no crash
  let r3: *u8 = "GET /search HTTP/1.1\r\n\r\n" as *u8
  let n3: i64 = dss_serve(dom, r3, g_strlen(r3), out)
  g_check("T3 empty-prompt" as *u8, g_contains(out, n3, "Enter a search term" as *u8), pass, total)
105
  // T4 NEG: no match -> "0 result(s)"
  let r4: *u8 = "GET /search?q=zzznotpresent HTTP/1.1\r\n\r\n" as *u8
  let n4: i64 = dss_serve(dom, r4, g_strlen(r4), out)
  g_check("T4 NEG 0-results" as *u8, g_contains(out, n4, "0 result(s)" as *u8), pass, total)
110
  // T5 SECURITY: %3Cscript%3E in q -> echoed ESCAPED (&lt;script&gt;), never raw <script>
  let r5: *u8 = "GET /search?q=%3Cscript%3E HTTP/1.1\r\n\r\n" as *u8
  let n5: i64 = dss_serve(dom, r5, g_strlen(r5), out)
  g_check("T5 xss-escaped(&lt;script)" as *u8, g_contains(out, n5, "&lt;script&gt;" as *u8), pass, total)
  var raw: i64 = 0
  if g_contains(out, n5, "<script>" as *u8) == 1 { raw = 1 }
  g_check("T5 xss no-raw-script" as *u8, (1 - raw), pass, total)
118
  // T6: urldecode '+' -> space (q=child+custody decodes to two terms; both in family-law doc)
  let r6: *u8 = "GET /search?q=child+custody HTTP/1.1\r\n\r\n" as *u8
  let n6: i64 = dss_serve(dom, r6, g_strlen(r6), out)
  g_check("T6 urldecode-plus(Family)" as *u8, g_contains(out, n6, "Family Law" as *u8), pass, total)
123
  // T10: results are LINKS -> /doc?cid=<cid>&q=<query> (the SERP click-through)
  let na: i64 = dss_serve(dom, r1, g_strlen(r1), out)
  g_check("T10 result-link(href /doc?cid=201&q=probate)" as *u8, g_contains(out, na, "href=\"/doc?cid=201&q=probate\"" as *u8), pass, total)
127
  // T11: the matched query term is <b>-highlighted in the rendered result (index-tokenizer-aligned)
  g_check("T11 highlight(<b>probate</b>)" as *u8, g_contains(out, na, "<b>probate</b>" as *u8), pass, total)
130
  // T12: /doc?cid=201&q=probate -> 200 + the FULL doc text + highlight + back-to-results link
  let rd1: *u8 = "GET /doc?cid=201&q=probate HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let nd1: i64 = dsv_doc_serve(dom, rd1, g_strlen(rd1), out)
  var d1ok: i64 = 0
  // "inheritance"/"executor" straddle the title/body split, so assert each side + highlight + back-link
  if g_contains(out, nd1, "HTTP/1.1 200 OK" as *u8) == 1 { if g_contains(out, nd1, "inheritance" as *u8) == 1 { if g_contains(out, nd1, "executor" as *u8) == 1 { if g_contains(out, nd1, "<b>probate</b>" as *u8) == 1 { if g_contains(out, nd1, "href=\"/search?q=probate\"" as *u8) == 1 { d1ok = 1 } } } } }
  g_check("T12 /doc 200 + full text + highlight + back-link" as *u8, d1ok, pass, total)
138
  // T13 NEG: absent cid -> branded 404, never a 500/crash
  let rd2: *u8 = "GET /doc?cid=99999 HTTP/1.1\r\n\r\n" as *u8
  let nd2: i64 = dsv_doc_serve(dom, rd2, g_strlen(rd2), out)
  var d2ok: i64 = 0
  if g_contains(out, nd2, "HTTP/1.1 404" as *u8) == 1 { if g_contains(out, nd2, "Document not found" as *u8) == 1 { d2ok = 1 } }
  g_check("T13 NEG /doc absent-cid -> 404" as *u8, d2ok, pass, total)
145
  // T14 NEG: malformed cid (digit-guard boundary) -> 404, not a crash / not a store probe with garbage
  let rd3: *u8 = "GET /doc?cid=12abc HTTP/1.1\r\n\r\n" as *u8
  let nd3: i64 = dsv_doc_serve(dom, rd3, g_strlen(rd3), out)
  g_check("T14 NEG /doc malformed-cid -> 404" as *u8, g_contains(out, nd3, "HTTP/1.1 404" as *u8), pass, total)
150
  // T15: a doc WITH a url:<cid> row links to the REAL page (href = the url value, no /doc)
  let r15: *u8 = "GET /search?q=expungement HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n15: i64 = dss_serve(dom, r15, g_strlen(r15), out)
  var t15: i64 = 0
  if g_contains(out, n15, "href=\"/practice/criminal.html\"" as *u8) == 1 { if g_contains(out, n15, "/doc?cid=203" as *u8) == 0 { t15 = 1 } }
  g_check("T15 url-row result links to the page" as *u8, t15, pass, total)
157
  // T16: scope=web SWITCHES the shard away from the Host domain (a ssservetest-only term must yield 0
  // under web scope -- isolation proves the switch without touching the real web corpus) + Web tab active
  let r16: *u8 = "GET /search?q=zzqservetest&scope=web HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n16: i64 = dss_serve(dom, r16, g_strlen(r16), out)
  var t16: i64 = 0
  if g_contains(out, n16, "0 result(s)" as *u8) == 1 { if g_contains(out, n16, "class=on href=\"/search?scope=web" as *u8) == 1 { if g_contains(out, n16, "name=scope value=web" as *u8) == 1 { t16 = 1 } } }
  g_check("T16 scope=web switches shard + tab active + form keeps scope" as *u8, t16, pass, total)
165
  // T17: default scope renders the tabs with This-site active
  let n17: i64 = dss_serve(dom, r1, g_strlen(r1), out)
  var t17: i64 = 0
  if g_contains(out, n17, ">This site</a>" as *u8) == 1 { if g_contains(out, n17, ">Web</a>" as *u8) == 1 { t17 = 1 } }
  g_check("T17 scope tabs render (This site / Web)" as *u8, t17, pass, total)
171
  // ---- API-FIRST surface (versioned JSON; enterprise contract) ----
  // T18: /api/search JSON shape -- v1, count, cid AS STRING, escaped title, CORS + content-type headers
  let ra1: *u8 = "GET /api/search?q=probate HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let na1: i64 = dss_api_search(dom, ra1, g_strlen(ra1), out)
  var a1: i64 = 0
  if g_contains(out, na1, "\"v\":1" as *u8) == 1 { if g_contains(out, na1, "\"nresults\":1" as *u8) == 1 { if g_contains(out, na1, "\"cid\":\"201\"" as *u8) == 1 { if g_contains(out, na1, "application/json" as *u8) == 1 { if g_contains(out, na1, "Access-Control-Allow-Origin: *" as *u8) == 1 { a1 = 1 } } } } }
  g_check("T18 /api/search JSON v1 + cid-as-string + CORS" as *u8, a1, pass, total)
179
  // T19: self-describing endpoint (no q -> 200 usage document, still structured)
  let ra2: *u8 = "GET /api/search HTTP/1.1\r\n\r\n" as *u8
  let na2: i64 = dss_api_search(dom, ra2, g_strlen(ra2), out)
  var a2: i64 = 0
  if g_contains(out, na2, "HTTP/1.1 200" as *u8) == 1 { if g_contains(out, na2, "\"endpoint\":\"/api/search\"" as *u8) == 1 { a2 = 1 } }
  g_check("T19 /api/search self-describes without q" as *u8, a2, pass, total)
186
  // T20: /api/doc found -> JSON text; T21: absent -> 404 not_found; T22: malformed -> 400 bad_cid
  let ra3: *u8 = "GET /api/doc?cid=201 HTTP/1.1\r\n\r\n" as *u8
  let na3: i64 = dss_api_doc(dom, ra3, g_strlen(ra3), out)
  var a3: i64 = 0
  if g_contains(out, na3, "\"found\":true" as *u8) == 1 { if g_contains(out, na3, "Estate Planning" as *u8) == 1 { if g_contains(out, na3, "\"truncated\":false" as *u8) == 1 { a3 = 1 } } }
  g_check("T20 /api/doc found -> JSON text" as *u8, a3, pass, total)
  let ra4: *u8 = "GET /api/doc?cid=99999 HTTP/1.1\r\n\r\n" as *u8
  let na4: i64 = dss_api_doc(dom, ra4, g_strlen(ra4), out)
  var a4: i64 = 0
  if g_contains(out, na4, "HTTP/1.1 404" as *u8) == 1 { if g_contains(out, na4, "\"code\":\"not_found\"" as *u8) == 1 { a4 = 1 } }
  g_check("T21 /api/doc absent -> 404 not_found" as *u8, a4, pass, total)
  let ra5: *u8 = "GET /api/doc?cid=12abc HTTP/1.1\r\n\r\n" as *u8
  let na5: i64 = dss_api_doc(dom, ra5, g_strlen(ra5), out)
  var a5: i64 = 0
  if g_contains(out, na5, "HTTP/1.1 400" as *u8) == 1 { if g_contains(out, na5, "\"code\":\"bad_cid\"" as *u8) == 1 { a5 = 1 } }
  g_check("T22 /api/doc malformed -> 400 bad_cid" as *u8, a5, pass, total)
203
  // T23: url row rides the API too (site pages / web results carry their real location)
  let ra6: *u8 = "GET /api/search?q=expungement HTTP/1.1\r\n\r\n" as *u8
  let na6: i64 = dss_api_search(dom, ra6, g_strlen(ra6), out)
  g_check("T23 /api/search carries url for page-backed docs" as *u8, g_contains(out, na6, "\"url\":\"/practice/criminal.html\"" as *u8), pass, total)
208
  // ---- MOBILE-FIRST markers (measured mechanically, not vibes) ----
  let nm: i64 = dss_serve(dom, r1, g_strlen(r1), out)
  var mm: i64 = 0
  if g_contains(out, nm, "font-size:16px" as *u8) == 1 { if g_contains(out, nm, "min-height:44px" as *u8) == 1 { if g_contains(out, nm, "prefers-color-scheme" as *u8) == 1 { if g_contains(out, nm, "text-size-adjust" as *u8) == 1 { mm = 1 } } } }
  g_check("T24 mobile-first markers (16px input, 44px targets, dark scheme, size-adjust lock)" as *u8, mm, pass, total)
214
  // ---- S-CLASS SERP DISPLAY rows (the beat-Google/Bing result-page bar, measured mechanically) ----
  // T30 the tab title carries the query (multi-tab usability)
  let n30: i64 = dss_serve(dom, r1, g_strlen(r1), out)
  g_check("T30 <title> = query + Nishi Search" as *u8, g_contains(out, n30, "<title>probate &mdash; Nishi Search</title>" as *u8), pass, total)
  // T31 ZERO JavaScript on the whole page (Google's SERP won't even render without JS)
  var t31: i64 = 0
  if g_contains(out, n30, "<script" as *u8) == 0 { t31 = 1 }
  g_check("T31 zero-JS page (no <script anywhere)" as *u8, t31, pass, total)
  // T32 semantic structure + the measured credo footer
  var t32: i64 = 0
  if g_contains(out, n30, "<article class=r" as *u8) == 1 { if g_contains(out, n30, "<h3 class=t" as *u8) == 1 { if g_contains(out, n30, "<footer class=credo" as *u8) == 1 { if g_contains(out, n30, "0 JavaScript" as *u8) == 1 { if g_contains(out, n30, "<main>" as *u8) == 1 { t32 = 1 } } } } }
  g_check("T32 semantic article/h3/main + credo footer" as *u8, t32, pass, total)
  // T33 measured query latency in the meta line
  g_check("T33 meta line shows measured ms" as *u8, g_contains(out, n30, " ms</p>" as *u8), pass, total)
  // T34 FEATURED ANSWER: a full-coverage sentence gets the answer panel, highlighted
  let r34: *u8 = "GET /search?q=probate+inheritance HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n34: i64 = dss_serve(dom, r34, g_strlen(r34), out)
  var t34: i64 = 0
  if g_contains(out, n34, "class=ans" as *u8) == 1 { if g_contains(out, n34, "<b>probate</b>" as *u8) == 1 { t34 = 1 } }
  g_check("T34 featured-answer panel (full term coverage, highlighted)" as *u8, t34, pass, total)
  // T35 pager: 22 matches -> Next on page 0; Prev + page 2 marker on p=1
  let r35a: *u8 = "GET /search?q=pgterm HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n35a: i64 = dss_serve(dom, r35a, g_strlen(r35a), out)
  var t35: i64 = 0
  if g_contains(out, n35a, "Next &rarr;" as *u8) == 1 { if g_contains(out, n35a, "&p=1" as *u8) == 1 {
      let r35b: *u8 = "GET /search?q=pgterm&p=1 HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
      let n35b: i64 = dss_serve(dom, r35b, g_strlen(r35b), out)
      if g_contains(out, n35b, "&larr; Prev" as *u8) == 1 { if g_contains(out, n35b, "page 2" as *u8) == 1 { if g_contains(out, n35b, "of 22 matched" as *u8) == 1 { t35 = 1 } } }
  } }
  g_check("T35 pager Next/Prev + page marker + total matched" as *u8, t35, pass, total)
245
  // T36 DID-YOU-MEAN: a typo'd query renders the dictionary's correction as a link
  let r36: *u8 = "GET /search?q=probete HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n36: i64 = dss_serve(dom, r36, g_strlen(r36), out)
  var t36: i64 = 0
  if g_contains(out, n36, "Did you mean" as *u8) == 1 { if g_contains(out, n36, "href=\"/search?q=probate\"" as *u8) == 1 { t36 = 1 } }
  g_check("T36 did-you-mean line (probete -> probate link)" as *u8, t36, pass, total)
252
  // T37 /api/suggest: dictionary completions as versioned JSON
  let r37: *u8 = "GET /api/suggest?q=prob HTTP/1.1\r\n\r\n" as *u8
  let n37: i64 = dss_api_suggest(dom, r37, g_strlen(r37), out)
  var t37: i64 = 0
  if g_contains(out, n37, "\"v\":1" as *u8) == 1 { if g_contains(out, n37, "\"suggestions\":[\"probate\"" as *u8) == 1 { if g_contains(out, n37, "application/json" as *u8) == 1 { t37 = 1 } } }
  g_check("T37 /api/suggest JSON completions" as *u8, t37, pass, total)
259
  // T38 /api/search zero-hit carries did_you_mean
  let r38: *u8 = "GET /api/search?q=probete HTTP/1.1\r\n\r\n" as *u8
  let n38: i64 = dss_api_search(dom, r38, g_strlen(r38), out)
  var t38: i64 = 0
  if g_contains(out, n38, "\"nresults\":0" as *u8) == 1 { if g_contains(out, n38, "\"did_you_mean\":\"probate\"" as *u8) == 1 { t38 = 1 } }
  g_check("T38 /api/search did_you_mean field" as *u8, t38, pass, total)
266
  // T39 +term AND through the serve layer: "probate +custody" -- OR would return BOTH docs; the
  // required term keeps only the custody-bearing one (distinguishing fixture)
  let r39: *u8 = "GET /search?q=probate+%2Bcustody HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n39: i64 = dss_serve(dom, r39, g_strlen(r39), out)
  var t39: i64 = 0
  if g_contains(out, n39, "1 result(s)" as *u8) == 1 { if g_contains(out, n39, "Family Law" as *u8) == 1 { t39 = 1 } }
  g_check("T39 +term AND via serve (OR=2 -> AND=1, custody doc only)" as *u8, t39, pass, total)
274
  // T40/T41 PHRASE through the serve layer: quoted adjacency matches; reversed order does not
  let r40: *u8 = "GET /search?q=%22living+trusts%22 HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n40: i64 = dss_serve(dom, r40, g_strlen(r40), out)
  g_check("T40 phrase [living trusts] via serve -> 1 result" as *u8, g_contains(out, n40, "1 result(s)" as *u8), pass, total)
  let r41: *u8 = "GET /search?q=%22trusts+living%22 HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n41: i64 = dss_serve(dom, r41, g_strlen(r41), out)
  g_check("T41 NEG reversed phrase -> 0 results" as *u8, g_contains(out, n41, "0 result(s)" as *u8), pass, total)
  // T42 API carries the exactness contract for quoted queries
  let r42: *u8 = "GET /api/search?q=%22living+trusts%22 HTTP/1.1\r\n\r\n" as *u8
  let n42: i64 = dss_api_search(dom, r42, g_strlen(r42), out)
  var t42: i64 = 0
  if g_contains(out, n42, "\"phrase_exact\":true" as *u8) == 1 { if g_contains(out, n42, "\"nresults\":1" as *u8) == 1 { t42 = 1 } }
  g_check("T42 /api/search phrase_exact:true for a quoted query" as *u8, t42, pass, total)
288
  // T43 OpenAPI 3.1 contract: valid structure, all 3 paths, servers names the Host, cid-as-string note
  let n43: i64 = dss_api_openapi("andelinwest.com" as *u8, out)
  var t43: i64 = 0
  if g_contains(out, n43, "\"openapi\":\"3.1.0\"" as *u8) == 1 { if g_contains(out, n43, "\"/api/search\":" as *u8) == 1 { if g_contains(out, n43, "\"/api/doc\":" as *u8) == 1 { if g_contains(out, n43, "\"/api/suggest\":" as *u8) == 1 { if g_contains(out, n43, "https://andelinwest.com" as *u8) == 1 { if g_contains(out, n43, "SearchResponse" as *u8) == 1 { if g_contains(out, n43, "application/json" as *u8) == 1 { t43 = 1 } } } } } } }
  g_check("T43 /api/openapi.json valid 3.1 spec (paths+schemas+server+CORS)" as *u8, t43, pass, total)
  // T44 the SERP footer links the API spec (discoverability)
  let r44: *u8 = "GET /search?q=probate HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n44: i64 = dss_serve(dom, r44, g_strlen(r44), out)
  g_check("T44 SERP footer links /api/openapi.json" as *u8, g_contains(out, n44, "href=\"/api/openapi.json\"" as *u8), pass, total)
298
  // T48-T50 THREE SCOPES (operator's 2026-07-04 model): the SERP shows This site / Trusted / Web tabs,
  // each scope-preserving; the API scope name resolves web/trusted/site.
  let r48: *u8 = "GET /search?q=probate HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n48: i64 = dss_serve(dom, r48, g_strlen(r48), out)
  var t48: i64 = 0
  if g_contains(out, n48, ">This site</a>" as *u8) == 1 { if g_contains(out, n48, ">Trusted</a>" as *u8) == 1 { if g_contains(out, n48, ">Web</a>" as *u8) == 1 { t48 = 1 } } }
  g_check("T48 three scope tabs (This site / Trusted / Web)" as *u8, t48, pass, total)
  let r49: *u8 = "GET /api/search?q=probate&scope=trusted HTTP/1.1\r\n\r\n" as *u8
  let n49: i64 = dss_api_search(dom, r49, g_strlen(r49), out)
  g_check("T49 /api/search scope=trusted -> \"scope\":\"trusted\"" as *u8, g_contains(out, n49, "\"scope\":\"trusted\"" as *u8), pass, total)
  let r50: *u8 = "GET /api/search?q=probate&scope=web HTTP/1.1\r\n\r\n" as *u8
  let n50: i64 = dss_api_search(dom, r50, g_strlen(r50), out)
  g_check("T50 /api/search scope=web -> \"scope\":\"web\"" as *u8, g_contains(out, n50, "\"scope\":\"web\"" as *u8), pass, total)
312
  // T45 host FACETS: facterm spans 2 hosts -> the SERP offers one-click site: narrowing
  let r45: *u8 = "GET /search?q=facterm HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n45: i64 = dss_serve(dom, r45, g_strlen(r45), out)
  var t45: i64 = 0
  if g_contains(out, n45, "Sites: " as *u8) == 1 { if g_contains(out, n45, "site%3Aen.wikipedia.org" as *u8) == 1 { if g_contains(out, n45, "site%3Adocs.example.org" as *u8) == 1 { t45 = 1 } } }
  g_check("T45 SERP host facets (Sites: line + site: links)" as *u8, t45, pass, total)
  // T46 the site: OPERATOR through the serve layer narrows to one host + facet line suppressed
  let r46: *u8 = "GET /search?q=facterm+site%3Adocs.example.org HTTP/1.1\r\nHost: x\r\n\r\n" as *u8
  let n46: i64 = dss_serve(dom, r46, g_strlen(r46), out)
  var t46: i64 = 0
  if g_contains(out, n46, "1 result(s)" as *u8) == 1 { if g_contains(out, n46, "Sites: " as *u8) == 0 { t46 = 1 } }
  g_check("T46 site: operator via serve (1 result, facets suppressed)" as *u8, t46, pass, total)
  // T47 API carries the host field
  let r47: *u8 = "GET /api/search?q=facterm HTTP/1.1\r\n\r\n" as *u8
  let n47: i64 = dss_api_search(dom, r47, g_strlen(r47), out)
  g_check("T47 /api/search result carries host" as *u8, g_contains(out, n47, "\"host\":\"en.wikipedia.org\"" as *u8), pass, total)
329
  // T7-T9: dsv_host (Host-header -> domain; the daemon's /search route feeds this to dss_serve)
  let hbuf: *u8 = sys_mmap(256)
  let rh1: *u8 = "GET /search?q=x HTTP/1.1\r\nHost: andelinwest.com:443\r\n\r\n" as *u8
  dsv_host(rh1, g_strlen(rh1), hbuf, 255)
  g_check("T7 host(andelinwest.com,port-stripped)" as *u8, g_streq(hbuf, "andelinwest.com" as *u8), pass, total)
  let rh2: *u8 = "GET / HTTP/1.1\r\nhost: bradrwest.com\r\n\r\n" as *u8
  dsv_host(rh2, g_strlen(rh2), hbuf, 255)
  g_check("T8 host(lowercase)" as *u8, g_streq(hbuf, "bradrwest.com" as *u8), pass, total)
  let rh3: *u8 = "GET / HTTP/1.1\r\n\r\n" as *u8
  dsv_host(rh3, g_strlen(rh3), hbuf, 255)
  var t9ok: i64 = 0
  if hbuf[0] == (0 as u8) { t9ok = 1 }
  g_check("T9 host-absent-empty" as *u8, t9ok, pass, total)
343
  g_puts("=== dss_serve gate: "); g_num(pass[0]); g_puts("/"); g_num(total[0]); g_puts(" ")
  if pass[0] == total[0] { g_puts("GREEN\n"); return 0 }
  g_puts("RED\n"); return 1
347}
nx_docportal_search_serve_gate.nx source

`nx_docportal_search_serve_gate.nx` source
