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

↩ module page · 274 lines · 14362 B
1// _wiki_integrate_gate.nx -- WIKI R4 INTEGRATION GATE.
2//
3// Re-proves, from a REAL run (never a fabricated GREEN), that the wiki R4
4// navigation organs are WIRED INTO THE LIVE SERVED PAGE and that the latent
5// wikilink-scan render bug is dead. Judged on GROUND-TRUTH SUBSTRINGS in the
6// actually-served HTML (driven through the SAME handlers the daemon forks --
7// nx_wiki_doc_handle + the /wiki/graph route handler), never a bare rc==const.
8//
9//   SEED a doc store with two pages:
10//     doc-one  -- "# Doc One Title\n## Section A\n...[[doc-two]]..."  (has a
11//                 heading hierarchy AND a wikilink to doc-two; the page under
12//                 test for TOC + wikilink rendering).
13//     doc-two  -- "# Doc Two\nDoc two links back to [[doc-one]]."  (links TO
14//                 doc-one, so doc-one's served page shows a backlink to it).
15//
16//   toc_live       doc-one's served <article> carries <nav class="nx-toc" AND a
17//                  heading stamped id="section-a" (the TOC built from the body +
18//                  the anchor id injected onto <h2>Section A</h2>).
19//   backlinks_live doc-one's served HTML carries <aside class="nx-backlinks" AND
20//                  the linking slug "doc-two" (the "what links here" inversion,
21//                  computed from the real page bodies in the store).
22//   wikilink_fixed the [[doc-two]] in doc-one renders to a correct
23//                  <a href="/wiki/doc-two...  OR a clean broken-span
24//                  <span class="wikilink-broken">[[doc-two]]</span>, with NO
25//                  garbled bytes -- proving the single-exit scan froze the link
26//                  end correctly (the bug emitted a wrong name length -> garble).
27//   graph_route    driving the /wiki/graph handler returns HTML with <svg and
28//                  NO <script (the static, JS-free link-graph view).
29//
30// Verdict line (stdout + knowledge/status/wiki_integrate_gate.log):
31//   WIKIINTEGRATE toc_live=<0|1> backlinks_live=<0|1> wikilink_fixed=<0|1>
32//     graph_route=<0|1> verdict=GREEN|RED
33//
34// Pure NishiLang, NO SQL, NO .sh/.py/.js, no new .tsv/.conf. nx_sites_daemon
35// UNTOUCHED. Imports the served handler + the route library under test; each
36// shared base module resolves via a single canonical path (the resolver
37// canonicalizes wiki/-prefixed vs bare) to avoid the nxasm rc6 double-import.
38// license_tier: ORIGINAL
39import "nx_syscalls.nx"
40import "wiki/nx_wiki_index_builder.nx"
41import "wiki/nx_wiki_doc_handler.nx"
42import "wiki/nx_wiki_routes.nx"
43import "wiki/nx_artifact_store.nx"
44
45const WIG_LOG: *u8 = "knowledge/status/wiki_integrate_gate.log"
46const WIG_RESP_CAP: i64 = 2097152      // 2 MiB served-response buffer
47
48// ===== io helpers (mirror _wiki_backlinks_gate.nx) ===========================
49func wig_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
54}
55func wig_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
67}
68// write to BOTH stdout (gate evidence) and the durable log
69func wig_w2(lfd: i64, s: *u8) -> i64 { wig_w(1, s); if lfd >= 0 { wig_w(lfd, s) } return 0 }
70func wig_n2(lfd: i64, v: i64) -> i64 { wig_n(1, v); if lfd >= 0 { wig_n(lfd, v) } return 0 }
71func wig_p(s: *u8) -> i64 { wig_w(1, s); return 0 }
72func wig_pn(v: i64) -> i64 { wig_n(1, v); return 0 }
73func wig_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
74
75// ===== GROUND-TRUTH substring search =========================================
76func wig_find(hay: *u8, hn: i64, needle: *u8) -> i64 {
  let nn: i64 = wig_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
93}
94func wig_has(hay: *u8, hn: i64, needle: *u8) -> i64 {
  if wig_find(hay, hn, needle) >= 0 { return 1 }
  return 0
97}
98
99func main() -> i64 {
  wig_p("WIKIINTEGRATE-GATE: start (R4 nav wired into served page + scan-bug kill)\n" as *u8)
101
  // ===== SEED a doc store with doc-one / doc-two ===========================
  let store: *NxWikiDocStore = sys_mmap(2048) as *NxWikiDocStore
  let rc_init: i64 = nx_wiki_doc_store_init(store, 16, 4096, 4096, 65536)
  wig_p("  store_init rc=" as *u8); wig_pn(rc_init); wig_p("\n" as *u8)
106
  // doc-one: heading hierarchy (# Title / ## Section A) + a [[doc-two]] link.
  // Lengths computed (never hardcoded) so the body is never truncated mid-link.
  let one_body: *u8 = "# Doc One Title\n\n## Section A\n\nBody of section a. See [[doc-two]] for more.\n\n## Section B\n\nMore body.\n" as *u8
  let one_rid: i64 = nx_wiki_doc_store_add(store,
      "Doc One Title" as *u8, 13, "/wiki/doc-one" as *u8, 13, one_body, wig_slen(one_body))
  // doc-two: links BACK to doc-one (so doc-one shows a backlink from doc-two).
  let two_body: *u8 = "# Doc Two\n\nDoc two links back to [[doc-one]] here.\n" as *u8
  let two_rid: i64 = nx_wiki_doc_store_add(store,
      "Doc Two" as *u8, 7, "/wiki/doc-two" as *u8, 13, two_body, wig_slen(two_body))
  wig_p("  seeded rowids: doc-one=" as *u8); wig_pn(one_rid)
  wig_p(" doc-two=" as *u8); wig_pn(two_rid)
  wig_p(" doc_count=" as *u8); wig_pn(nx_wiki_doc_store_count(store)); wig_p("\n" as *u8)
119
  // ===== RENDER doc-one via the REAL served handler ========================
  let url: *u8 = "/wiki/doc-one" as *u8
  let url_n: i64 = 13
  let resp: *u8 = sys_mmap(WIG_RESP_CAP)
  let resp_n: *i64 = (sys_mmap(8)) as *i64
  resp_n[0] = 0
  // artifact_store = 0: the doc handler treats a null artifact store as a
  // graceful no-op (no pipeline banner), per Cardinal 14 -- the page still
  // renders. This keeps the gate focused on the R4 nav wiring.
  let h_rc: i64 = nx_wiki_doc_handle(store, 0 as *NxArtifactStore, url, url_n,
                                         resp, WIG_RESP_CAP, resp_n)
  let hn: i64 = resp_n[0]
  wig_p("  doc-one handle rc=" as *u8); wig_pn(h_rc); wig_p(" resp_len=" as *u8); wig_pn(hn); wig_p("\n" as *u8)
133
  // ---- toc_live: <nav class="nx-toc" present AND id="section-a" injected ----
  var toc_live: i64 = 0
  let nav_at: i64 = wig_find(resp, hn, "<nav class=\"nx-toc\"" as *u8)
  let id_at: i64 = wig_find(resp, hn, "id=\"section-a\"" as *u8)
  let toclink_at: i64 = wig_find(resp, hn, "href=\"#section-a\"" as *u8)
  if nav_at >= 0 { if id_at >= 0 { toc_live = 1 } }
  wig_p("  toc: nav@" as *u8); wig_pn(nav_at)
  wig_p(" id=section-a@" as *u8); wig_pn(id_at)
  wig_p(" toc-link@" as *u8); wig_pn(toclink_at)
  wig_p(" -> toc_live=" as *u8); wig_pn(toc_live); wig_p("\n" as *u8)
144
  // ---- backlinks_live: <aside class="nx-backlinks" present AND links doc-two ----
  // NOTE (post wikilink-live fix): doc-one's body [[doc-two]] now resolves to a
  // LIVE <a href="/wiki/doc-two"> in the ARTICLE (the fix), so "/wiki/doc-two"
  // appears EARLIER than the aside too. We therefore scope the panel-link check
  // to the aside REGION: find the aside, then search for the doc-two link STARTING
  // FROM the aside offset (the panel emits <li><a href="/wiki/doc-two">).
  var backlinks_live: i64 = 0
  let aside_at: i64 = wig_find(resp, hn, "<aside class=\"nx-backlinks\"" as *u8)
  let bl_in_aside: i64 = wig_find(resp, hn, "<aside class=\"nx-backlinks\"><h2>What links here</h2>" as *u8)
  var bl_slug_at: i64 = 0 - 1
  if aside_at >= 0 {
      // search the aside tail region for the panel's doc-two link.
      let tail: *u8 = (resp as i64 + aside_at) as *u8
      let tail_n: i64 = hn - aside_at
      let rel: i64 = wig_find(tail, tail_n, "/wiki/doc-two" as *u8)
      if rel >= 0 { bl_slug_at = aside_at + rel }
  }
  if aside_at >= 0 { if bl_slug_at >= aside_at { backlinks_live = 1 } }
  wig_p("  backlinks: aside@" as *u8); wig_pn(aside_at)
  wig_p(" doc-two-slug-in-aside@" as *u8); wig_pn(bl_slug_at)
  wig_p(" header@" as *u8); wig_pn(bl_in_aside)
  wig_p(" -> backlinks_live=" as *u8); wig_pn(backlinks_live); wig_p("\n" as *u8)
167
  // ---- wikilink_fixed: prove served [[doc-two]] is a LIVE clickable link with
  // NO html-escaping (the two render bugs are dead), on THREE real ground truths:
  //
  //  (1) SERVED HTML, resolved branch: doc-two IS a real page in this store, so
  //      the handler's store-derived doc-names set RESOLVES [[doc-two]] -> a LIVE
  //      <a href="/wiki/doc-two"> in the served article (bug #2 dead: no longer
  //      always-broken). Found in the ARTICLE region (before the backlinks aside).
  //  (2) SERVED HTML, NOT escaped: no "&lt;a href=" appears ANYWHERE -- the post-
  //      markdown pass emits the anchor RAW, so it is NOT the dead &lt;a... text
  //      the pre-markdown preprocessor used to produce (bug #1 dead).
  //  (3) POST-PASS unit: drive nx_wiki_doc_postpass_wikilinks directly over a tiny
  //      rendered-HTML fragment with a doc-names entry naming "doc-two"; its output
  //      must hold the literal <a href="/wiki/doc-two">doc-two</a> -- proving the
  //      resolver + RAW anchor emit with a correct name length (no garble).
  var wikilink_fixed: i64 = 0
  // (1) served LIVE resolved anchor for doc-two, located in the ARTICLE (before aside).
  var served_live_at: i64 = 0 - 1
  let article_n: i64 = aside_at        // article region ends where the aside begins
  if aside_at >= 0 {
      served_live_at = wig_find(resp, article_n, "<a href=\"/wiki/doc-two\"" as *u8)
  }
  // (2) NO escaped anchor anywhere in the served bytes.
  let served_esc_at: i64 = wig_find(resp, hn, "&lt;a href=" as *u8)
  // (3) post-markdown pass unit check with a populated doc-names set -> resolved anchor.
  let pp_ctx: *NxWikiDocCtx = (sys_mmap(512)) as *NxWikiDocCtx
  let pp_scratch: *u8 = sys_mmap(65536)
  let pp_out: *u8 = sys_mmap(65536)
  // doc-names buffer: one 64-byte slot. byte0=name_len(7), bytes1..="doc-two".
  let pp_names: *u8 = sys_mmap(64)
  pp_names[0] = 7 as u8
  pp_names[1] = 0x64 as u8   // d
  pp_names[2] = 0x6F as u8   // o
  pp_names[3] = 0x63 as u8   // c
  pp_names[4] = 0x2D as u8   // -
  pp_names[5] = 0x74 as u8   // t
  pp_names[6] = 0x77 as u8   // w
  pp_names[7] = 0x6F as u8   // o
  // a fragment as markdown WOULD leave it: literal [[doc-two]] inside a <p>.
  let pp_src: *u8 = "<p>See [[doc-two]] now.</p>" as *u8
  let pp_rci: i64 = nx_wiki_doc_ctx_init(pp_ctx,
      pp_out, 65536, pp_src, wig_slen(pp_src), pp_names, 64, 1, pp_scratch, 65536)
  let pp_used: *i64 = (sys_mmap(8)) as *i64
  pp_used[0] = 0
  let pp_pre: i64 = nx_wiki_doc_postpass_wikilinks(pp_ctx, pp_src, wig_slen(pp_src),
                                                       pp_out, 65536, pp_used)
  var anchor_at: i64 = 0 - 1
  if pp_pre == NX_WIKI_DOC_OK {
      anchor_at = wig_find(pp_out, pp_used[0], "<a href=\"/wiki/doc-two\">doc-two</a>" as *u8)
  }
  if served_live_at >= 0 { if served_esc_at < 0 { if anchor_at >= 0 { wikilink_fixed = 1 } } }
  wig_p("  wikilink: served-live-anchor@" as *u8); wig_pn(served_live_at)
  wig_p(" served-escaped-anchor@(should be -1)=" as *u8); wig_pn(served_esc_at)
  wig_p(" postpass_rc=" as *u8); wig_pn(pp_pre)
  wig_p(" unit-resolved-anchor@" as *u8); wig_pn(anchor_at)
  wig_p(" -> wikilink_fixed=" as *u8); wig_pn(wikilink_fixed); wig_p("\n" as *u8)
223
  // EVIDENCE: echo a body chunk around the TOC + wikilink + backlinks.
  wig_p("  ---- served doc-one HTML (first 1400 bytes) ----\n" as *u8)
  var dh: i64 = hn
  if dh > 1400 { dh = 1400 }
  sys_write(1, resp, dh)
  wig_p("\n  ---- /served ----\n" as *u8)
230
  // ===== DRIVE the /wiki/graph route handler ===============================
  // Calls the SAME handler the dispatcher invokes for GET /wiki/graph; asserts
  // a well-formed HTML page carrying a JS-FREE <svg> (no <script>).
  let gresp: *u8 = sys_mmap(WIG_RESP_CAP)
  let gresp_n: *i64 = (sys_mmap(8)) as *i64
  gresp_n[0] = 0
  let g_rc: i64 = nx_wiki_route_serve_graph(store, gresp, WIG_RESP_CAP, gresp_n)
  let gn: i64 = gresp_n[0]
  var graph_route: i64 = 0
  let svg_at: i64 = wig_find(gresp, gn, "<svg" as *u8)
  let script_at: i64 = wig_find(gresp, gn, "<script" as *u8)
  let http200_at: i64 = wig_find(gresp, gn, "HTTP/1.1 200 OK" as *u8)
  if g_rc == NX_WIKI_ROUTE_OK { if svg_at >= 0 { if script_at < 0 { graph_route = 1 } } }
  wig_p("  graph: serve_rc=" as *u8); wig_pn(g_rc)
  wig_p(" resp_len=" as *u8); wig_pn(gn)
  wig_p(" http200@" as *u8); wig_pn(http200_at)
  wig_p(" <svg@" as *u8); wig_pn(svg_at)
  wig_p(" <script@(should be -1)=" as *u8); wig_pn(script_at)
  wig_p(" -> graph_route=" as *u8); wig_pn(graph_route); wig_p("\n" as *u8)
  wig_p("  ---- /wiki/graph HTML (first 900 bytes) ----\n" as *u8)
  var gh: i64 = gn
  if gh > 900 { gh = 900 }
  sys_write(1, gresp, gh)
  wig_p("\n  ---- /graph ----\n" as *u8)
255
  // ===== VERDICT ===========================================================
  var green: i64 = 1
  if toc_live != 1 { green = 0 }
  if backlinks_live != 1 { green = 0 }
  if wikilink_fixed != 1 { green = 0 }
  if graph_route != 1 { green = 0 }
262
  let lfd: i64 = sys_openat_append(WIG_LOG, 420)
  wig_w2(lfd, "WIKIINTEGRATE toc_live=" as *u8);        wig_n2(lfd, toc_live)
  wig_w2(lfd, " backlinks_live=" as *u8);               wig_n2(lfd, backlinks_live)
  wig_w2(lfd, " wikilink_fixed=" as *u8);               wig_n2(lfd, wikilink_fixed)
  wig_w2(lfd, " graph_route=" as *u8);                  wig_n2(lfd, graph_route)
  if green == 1 { wig_w2(lfd, " verdict=GREEN\n" as *u8) } else { wig_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_integrate_gate.nx source

`_wiki_integrate_gate.nx` source
