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

↩ module page · 274 lines · 14703 B
1// _wiki_frontend_gate.nx -- THE S-CLASS WIKI-FRONTEND GATE.
2//
3// Re-proves, from a REAL run (never a fabricated GREEN), that the served wiki
4// page is world-class AND that the two render bugs are dead:
5//
6//   clean_ok        the served nishi-canonical <meta> value contains ONLY a
7//                   valid canonical URL ("https://nishifamily.com/wiki/<slug>")
8//                   and NONE of the garbage bytes that the const-*u8-index bug
9//                   used to emit (we assert the exact clean URL is present AND
10//                   that no 0xEF/0xBF/0x00 byte sits inside the meta value).
11//   title_ok        the served <title> contains the CLEAN heading TEXT and does
12//                   NOT begin with a raw markdown '#'/"# " (the title-leak bug).
13//   semantic_ok     the served HTML contains <main and <article (HTML5 semantic
14//                   structure) -- the world-class chrome.
15//   cite_wired_ok   a page body with [[cite:<cid>]] citing a HOSTABLE archived
16//                   source renders the inline nx-cite card (the supporting-source
17//                   bytes appear INSIDE a <details ... nx-cite> block) -- the
18//                   cite pass that is wired into the render pipeline.
19//
20// Judged on GROUND-TRUTH SUBSTRINGS in the actually-rendered HTML, never a bare
21// rc==const. The page render is driven DIRECTLY via nx_wiki_doc_handle (the same
22// handler the daemon forks) -- no live socket. The cite check seeds a fresh
23// per-run archive prefix (empty each run => idempotent, Rule 10).
24//
25// Verdict line (stdout + knowledge/status/wiki_frontend_gate.log):
26//   WIKIFRONTEND clean_ok=<0|1> title_ok=<0|1> semantic_ok=<0|1> cite_wired_ok=<0|1> verdict=GREEN|RED
27//
28// Pure NishiLang, NO SQL, NO .sh/.py/.js, no new .tsv/.conf. nx_sites_daemon
29// UNTOUCHED. license_tier: ORIGINAL
30import "nx_syscalls.nx"
31import "wiki/nx_wiki_index_builder.nx"
32import "wiki/nx_wiki_content_loader.nx"
33import "wiki/nx_wiki_doc_handler.nx"
34import "wiki/nx_wiki_cite_render.nx"
35import "wiki/nx_artifact_store.nx"
36
37const WFG_LOG: *u8 = "knowledge/status/wiki_frontend_gate.log"
38const WFG_RESP_CAP: i64 = 2097152      // 2 MiB served-response buffer
39const WFG_OUTCAP:   i64 = 1048576      // 1 MiB cite-render output buffer
40const WFG_SCAN_CAP: i64 = 64           // archive segment-scan cap
41
42// ---- io helpers (mirror _wiki_cite_gate.nx) ----
43func wfg_w(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); return 0 }
44func wfg_n(fd: i64, v: i64) -> i64 {
  let bb: *u8 = sys_mmap(28); var m: i64 = v
  if m < 0 { m = 0 - m; sys_write(fd, "-" as *u8, 1) }
  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(fd, bb, k); return 0
52}
53func wfg_w2(lfd: i64, s: *u8) -> i64 { wfg_w(1, s); if lfd >= 0 { wfg_w(lfd, s) } return 0 }
54func wfg_n2(lfd: i64, v: i64) -> i64 { wfg_n(1, v); if lfd >= 0 { wfg_n(lfd, v) } return 0 }
55func wfg_p(s: *u8) -> i64 { wfg_w(1, s); return 0 }
56func wfg_pn(v: i64) -> i64 { wfg_n(1, v); return 0 }
57func wfg_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
58
59func wfg_cat(dst: *u8, off: i64, s: *u8) -> i64 {
  var i: i64 = 0
  while s[i] != (0 as u8) { dst[off + i] = s[i]; i = i + 1 }
  return off + i
63}
64func wfg_catn(dst: *u8, off: i64, v: i64) -> i64 {
  var m: i64 = v; var o: i64 = off
  if m < 0 { dst[o] = 45 as u8; o = o + 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 { dst[o + i] = t[k - 1 - i]; i = i + 1 }
  return o + k
72}
73
74// ===== GROUND-TRUTH SUBSTRING SEARCH (judge on rendered HTML) =================
75func wfg_find(hay: *u8, hn: i64, needle: *u8) -> i64 {
  let nn: i64 = wfg_slen(needle)
  if nn == 0 { return 0 - 1 }
  if nn > hn { return 0 - 1 }
  var i: i64 = 0
  let last: i64 = hn - nn
  while i <= last {
      var j: i64 = 0
      var eq: i64 = 1
      while j < nn {
          if eq == 1 { if hay[i + j] != needle[j] { eq = 0 } }
          j = j + 1
      }
      if eq == 1 { return i }
      i = i + 1
  }
  return 0 - 1
92}
93func wfg_has(hay: *u8, hn: i64, needle: *u8) -> i64 {
  if wfg_find(hay, hn, needle) >= 0 { return 1 }
  return 0
96}
97
98func main() -> i64 {
  wfg_p("WIKIFRONTEND-GATE: start (world-class served render + bug-kill + inline cite)\n" as *u8)
100
  // ===== STEP A: render a REAL discovered page via the served handler ========
  let doc_store: *NxWikiDocStore = (sys_mmap(256)) as *NxWikiDocStore
  let s_rc: i64 = nx_wiki_doc_store_init(doc_store, 100, 65536, 65536, 4194304)
  let builder: *NxWikiIndexBuilder = (sys_mmap(64)) as *NxWikiIndexBuilder
  let b_rc: i64 = nx_wiki_index_builder_init(builder, doc_store, 100)
  let n_loaded: i64 = nx_wcl_load_discover_tree(builder)
  let f_rc: i64 = nx_wiki_index_builder_finalize(builder)
  wfg_p("  discovered pages="); wfg_pn(n_loaded);
  wfg_p(" store_rc="); wfg_pn(s_rc); wfg_p(" builder_rc="); wfg_pn(b_rc); wfg_p(" finalize_rc="); wfg_pn(f_rc); wfg_p("\n" as *u8)
110
  let art: *NxArtifactStore = (sys_mmap(512)) as *NxArtifactStore
  let a_rc: i64 = nx_artifact_store_init(art, 1000)
113
  // serve /wiki/nishi-intelligent-wiki-charter (a stable seeded charter).
  let url: *u8 = "/wiki/nishi-intelligent-wiki-charter" as *u8
  let url_n: i64 = 36
  let resp: *u8 = sys_mmap(WFG_RESP_CAP)
  let resp_n: *i64 = (sys_mmap(8)) as *i64
  resp_n[0] = 0
  let h_rc: i64 = nx_wiki_doc_handle(doc_store, art, url, url_n, resp, WFG_RESP_CAP, resp_n)
  let hn: i64 = resp_n[0]
  wfg_p("  handle rc="); wfg_pn(h_rc); wfg_p(" resp_len="); wfg_pn(hn); wfg_p("\n" as *u8)
123
  // ---- clean_ok: the nishi-canonical meta holds the EXACT clean URL, and no
  // garbage byte (0xEF / 0xBF replacement-char bytes, or a NUL) appears in the
  // meta value region. We assert the clean URL is present; then we scan the
  // meta-content window for a forbidden byte (the old bug wrote 23 garbage
  // bytes right before the URL inside content="...").
  var clean_ok: i64 = 0
  let canon_clean: *u8 = "content=\"https://nishifamily.com/wiki/nishi-intelligent-wiki-charter\"" as *u8
  let cc_at: i64 = wfg_find(resp, hn, canon_clean)
  // locate the nishi-canonical meta name and scan from there to the URL start
  // for any 0xEF/0xBF/0x00 garbage byte (must be NONE).
  let name_at: i64 = wfg_find(resp, hn, "name=\"nishi-canonical\"" as *u8)
  var garbage_seen: i64 = 0
  if name_at >= 0 {
      var gi: i64 = name_at
      let glast: i64 = name_at + 140
      while gi < glast {
          if gi < hn {
              let bb: i64 = resp[gi] as i64
              if bb == 0xEF { garbage_seen = 1 }
              if bb == 0xBF { garbage_seen = 1 }
              if bb == 0 { garbage_seen = 1 }
          }
          gi = gi + 1
      }
  }
  if cc_at >= 0 { if garbage_seen == 0 { clean_ok = 1 } }
  wfg_p("  clean: canon_url@"); wfg_pn(cc_at); wfg_p(" name@"); wfg_pn(name_at); wfg_p(" garbage_byte="); wfg_pn(garbage_seen); wfg_p(" -> clean_ok="); wfg_pn(clean_ok); wfg_p("\n" as *u8)
151
  // ---- title_ok: <title> contains the clean heading text AND the char right
  // after "<title>" is NOT '#' (no raw markdown leak). The charter's first
  // heading is "# NISHI INTELLIGENT WIKI CHARTER" -> clean title text.
  var title_ok: i64 = 0
  let t_at: i64 = wfg_find(resp, hn, "<title>" as *u8)
  let clean_title: i64 = wfg_find(resp, hn, "<title>NISHI INTELLIGENT WIKI CHARTER" as *u8)
  var leading_hash: i64 = 0
  if t_at >= 0 {
      let after: i64 = t_at + 7      // byte just past "<title>"
      if after < hn { if resp[after] == (35 as u8) { leading_hash = 1 } }   // '#'
  }
  if clean_title >= 0 { if leading_hash == 0 { title_ok = 1 } }
  wfg_p("  title: title@"); wfg_pn(t_at); wfg_p(" clean_title@"); wfg_pn(clean_title); wfg_p(" leading_hash="); wfg_pn(leading_hash); wfg_p(" -> title_ok="); wfg_pn(title_ok); wfg_p("\n" as *u8)
165
  // ---- semantic_ok: HTML5 semantic structure present (<main and <article). ----
  var semantic_ok: i64 = 0
  let main_at: i64 = wfg_find(resp, hn, "<main" as *u8)
  let art_at: i64 = wfg_find(resp, hn, "<article" as *u8)
  if main_at >= 0 { if art_at >= 0 { semantic_ok = 1 } }
  wfg_p("  semantic: main@"); wfg_pn(main_at); wfg_p(" article@"); wfg_pn(art_at); wfg_p(" -> semantic_ok="); wfg_pn(semantic_ok); wfg_p("\n" as *u8)
172
  // ===== STEP B: cite_wired_ok -- inline supporting-source card, SERVED ======
  // MEASUREMENT-ARTIFACT FIX: this check USED to assert the card substring in
  // the PRE-markdown nx_wiki_cite_render buffer -- which could pass while the
  // SERVED card was html-escaped (&lt;details). It now drives the REAL served
  // handler (nx_wiki_doc_handle_cp) and asserts on the post-markdown SERVED
  // HTML: the card must be LIVE ("<details class=\"nx-cite\"", NOT "&lt;details")
  // with the evidence INSIDE it, AND a plain [[wikilink]] in the same body still
  // resolves (coexistence) -- so the check can no longer pass on escaped output.
  //
  // Seed a FRESH per-run archive prefix (idempotent, never production WAR_PREFIX);
  // archive a HOSTABLE (CC-BY) source; seed a doc-store page citing it (plus a
  // resolvable [[wikilink]]); render via the cite-prefix-injectable handler.
  let prefix: *u8 = sys_mmap(256)
  var po: i64 = 0
  po = wfg_cat(prefix, po, "knowledge/store/wikiarchive-frontendgate-" as *u8)
  po = wfg_catn(prefix, po, sys_now_realtime_sec())
  po = wfg_cat(prefix, po, "-" as *u8)
  prefix[po] = 0 as u8
191
  let s1_slug: *u8 = "src-fe1" as *u8
  let s1_body: *u8 = "Supporting evidence: FRONTEND-CITE-EVIDENCE-24680 (full text of the hostable cited source).\n" as *u8
  let cid_s1: *u8 = sys_mmap(80)
  let w1: *i64 = ss_begin()
  let r1: i64 = war_archive_page(w1, s1_slug, s1_body, wfg_slen(s1_body), cid_s1)
  let c1: i64 = ss_commit(prefix, w1, 0)
  let lset1: i64 = nx_wiki_license_set(prefix, cid_s1, NXLIC_CC_BY, 1)
  wfg_p("  cite-seed: archive_rc="); wfg_pn(r1); wfg_p(" commit="); wfg_pn(c1); wfg_p(" cid="); wfg_p(cid_s1); wfg_p(" license_get="); wfg_pn(nx_wiki_license_get(prefix, cid_s1)); wfg_p("\n" as *u8)
200
  // seed a small doc store: the cited page + a real "fe-target" page so the
  // in-body [[fe-target]] wikilink resolves LIVE (coexistence proof).
  let cstore: *NxWikiDocStore = sys_mmap(2048) as *NxWikiDocStore
  let cs_rc: i64 = nx_wiki_doc_store_init(cstore, 16, 4096, 4096, 65536)
  let tgt_body: *u8 = "# FE Target\n\nThe resolvable cross-reference target.\n" as *u8
  let tgt_rid: i64 = nx_wiki_doc_store_add(cstore,
      "FE Target" as *u8, 9, "/wiki/fe-target" as *u8, 15, tgt_body, wfg_slen(tgt_body))
  // page body: a heading + a paragraph citing S1 + a resolvable [[fe-target]].
  let pg1: *u8 = sys_mmap(512)
  var g1: i64 = 0
  g1 = wfg_cat(pg1, g1, "# FE Cite Page\n\nSee the supporting source here: [[cite:" as *u8)
  g1 = wfg_cat(pg1, g1, cid_s1)
  g1 = wfg_cat(pg1, g1, "]] -- read in place. Also a plain [[fe-target]] resolves.\n" as *u8)
  pg1[g1] = 0 as u8
  let pg1_rid: i64 = nx_wiki_doc_store_add(cstore,
      "FE Cite Page" as *u8, 12, "/wiki/fe-cite" as *u8, 13, pg1, g1)
  wfg_p("  cite-store: target_rid="); wfg_pn(tgt_rid); wfg_p(" cite_rid="); wfg_pn(pg1_rid); wfg_p(" init_rc="); wfg_pn(cs_rc); wfg_p("\n" as *u8)
218
  // RENDER via the SAME served handler the daemon forks, but cite-prefix-injected.
  let cresp: *u8 = sys_mmap(WFG_RESP_CAP)
  let cresp_n: *i64 = (sys_mmap(8)) as *i64
  cresp_n[0] = 0
  let cite_url: *u8 = "/wiki/fe-cite" as *u8
  let ch_rc: i64 = nx_wiki_doc_handle_cp(cstore, 0 as *NxArtifactStore, cite_url, 13,
                                             cresp, WFG_RESP_CAP, cresp_n, prefix)
  let cn: i64 = cresp_n[0]
  var cite_wired_ok: i64 = 0
  if ch_rc == NX_WDH_OK {
      let det_at: i64 = wfg_find(cresp, cn, "<details class=\"nx-cite\"" as *u8)
      let esc_at: i64 = wfg_find(cresp, cn, "&lt;details" as *u8)   // MUST be absent
      let wl_at: i64 = wfg_find(cresp, cn, "<a href=\"/wiki/fe-target\"" as *u8)   // coexistence: wikilink resolved
      // scope card-body + evidence to the region AT/AFTER the details-open (the
      // string "nx-cite-body" also occurs in the <head> CSS .nx-cite-body{...}).
      var body_at: i64 = 0 - 1
      var ev_at: i64 = 0 - 1
      if det_at >= 0 {
          let ctail: *u8 = (cresp as i64 + det_at) as *u8
          let ctail_n: i64 = cn - det_at
          let rb: i64 = wfg_find(ctail, ctail_n, "nx-cite-body" as *u8)
          if rb >= 0 { body_at = det_at + rb }
          let re: i64 = wfg_find(ctail, ctail_n, "FRONTEND-CITE-EVIDENCE-24680" as *u8)
          if re >= 0 { ev_at = det_at + re }
      }
      if det_at >= 0 { if esc_at < 0 { if body_at > det_at { if ev_at > body_at { if wl_at >= 0 { cite_wired_ok = 1 } } } } }
      wfg_p("  cite(SERVED): handle_rc="); wfg_pn(ch_rc); wfg_p(" resp_len="); wfg_pn(cn); wfg_p(" details@"); wfg_pn(det_at); wfg_p(" &lt;details@(should be -1)="); wfg_pn(esc_at); wfg_p(" card-body@"); wfg_pn(body_at); wfg_p(" evidence@"); wfg_pn(ev_at); wfg_p(" wikilink_live@"); wfg_pn(wl_at); wfg_p("\n" as *u8)
  }
  wfg_p("  -> cite_wired_ok="); wfg_pn(cite_wired_ok); wfg_p("\n" as *u8)
248
  // ===== EVIDENCE: echo the served <head> + a body chunk for visual judging ==
  wfg_p("  ---- served HTML head+chrome (first 1200 bytes) ----\n" as *u8)
  var dh: i64 = hn
  if dh > 1200 { dh = 1200 }
  sys_write(1, resp, dh)
  wfg_p("\n  ---- /served ----\n" as *u8)
255
  // ===== VERDICT =====
  var green: i64 = 1
  if clean_ok != 1 { green = 0 }
  if title_ok != 1 { green = 0 }
  if semantic_ok != 1 { green = 0 }
  if cite_wired_ok != 1 { green = 0 }
262
  let lfd: i64 = sys_openat_append(WFG_LOG, 420)
  wfg_w2(lfd, "WIKIFRONTEND clean_ok=" as *u8);   wfg_n2(lfd, clean_ok)
  wfg_w2(lfd, " title_ok=" as *u8);                wfg_n2(lfd, title_ok)
  wfg_w2(lfd, " semantic_ok=" as *u8);             wfg_n2(lfd, semantic_ok)
  wfg_w2(lfd, " cite_wired_ok=" as *u8);           wfg_n2(lfd, cite_wired_ok)
  if green == 1 { wfg_w2(lfd, " verdict=GREEN\n" as *u8) } else { wfg_w2(lfd, " verdict=RED\n" as *u8) }
  if lfd >= 0 { sys_close(lfd) }
270
  if green == 1 { sys_exit(0); return 0 }
  sys_exit(1)
  return 1
274}
_wiki_frontend_gate.nx source

`_wiki_frontend_gate.nx` source
