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

↩ module page · 241 lines · 13177 B
1// nx_ims_monitor_gate.nx -- REFEREE for the IMS A1 orphan + link-rot monitor.
2//
3// Proves the PURE logic with in-memory fixtures (no I/O) AND with TEETH -- a
4// monitor that always says "0 orphans / 0 dead" would pass a clean fixture, so
5// every clean assertion is paired with a PLANTED-fault assertion that FORCES a
6// specific non-zero finding at a known identity:
7//
8//   T1 CLEAN corpus (every non-root page linked, no dead links)
9//        -> orphans == 0   AND  dead == 0
10//   T2 PLANTED ORPHAN (page "lonely" that NOBODY links)
11//        -> orphans == 1   AND  the orphan is exactly rowid(lonely)   [TEETH]
12//   T3 PLANTED DEAD LINK (a page hrefs "/wiki/ghost.html", no such page)
13//        -> dead == 1      AND  the dead target is exactly "ghost"    [TEETH]
14//   T4 NEG-CONTROL: the root (start) is linked by NOBODY but is NOT flagged
15//        -> start NOT in orphans, while a real orphan IS  (proves the root
16//           exclusion is real, not "flag nothing")                    [TEETH]
17//   T5 NEG-CONTROL: the monitor does NOT touch the corpus -- a self-link does
18//        not rescue an orphan, and a present target is NOT a dead link.
19//
20// GREEN iff T1..T5 with EXACT counts + identities. exit 0 GREEN / 1 RED. Logs to
21// knowledge/status/ims_monitor_gate.log. Sovereign: nx_ims_monitor (which
22// composes nx_wiki_index_builder + nx_wiki_backlinks) + nx_syscalls.
23// license_tier: ORIGINAL
24import "nx_ims_monitor.nx"
25import "nx_syscalls.nx"
26
27// ---- dual-sink (stdout + log) print helpers (nx_blob_gate idiom) ----
28func gp(logfd: i64, s: *u8) -> i64 {
  var n: i64 = 0
  while s[n] != (0 as u8) { n = n + 1 }
  sys_write(1, s, n)
  if logfd > 0 { sys_write(logfd, s, n) }
  return 0
34}
35func gn(logfd: i64, v: i64) -> i64 {
  var m: i64 = v
  if m < 0 { gp(logfd, "-\x00" as *u8); 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 }
  let bb: *u8 = sys_mmap(28)
  var i: i64 = 0
  while i < k { bb[i] = t[k - 1 - i]; i = i + 1 }
  sys_write(1, bb, k)
  if logfd > 0 { sys_write(logfd, bb, k) }
  return 0
48}
49// emit a (ptr,len) raw byte run to both sinks
50func gb(logfd: i64, p: *u8, n: i64) -> i64 {
  var i: i64 = 0
  while i < n {
      if i >= 4096 { i = n }
      if i < n {
          sys_write(1, (p as i64 + i) as *u8, 1)
          if logfd > 0 { sys_write(logfd, (p as i64 + i) as *u8, 1) }
      }
      i = i + 1
  }
  return 0
61}
62func grow(logfd: i64, name: *u8, ok: i64) -> i64 {
  if ok == 1 { gp(logfd, "  PASS \x00" as *u8) }
  if ok != 1 { gp(logfd, "  FAIL \x00" as *u8) }
  gp(logfd, name)
  gp(logfd, "\n\x00" as *u8)
  return ok
68}
69
70func slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
71
72// add a page (title==url slug for brevity) to the store; body supplied raw.
73func add_page(st: *NxWikiDocStore, url: *u8, body: *u8) -> i64 {
  return nx_wiki_doc_store_add(st, url, slen(url), url, slen(url), body, slen(body))
75}
76
77func main() -> i64 {
  let logfd: i64 = sys_openat_append("knowledge/status/ims_monitor_gate.log\x00" as *u8, 0x1a4)
  gp(logfd, "IMS-MONITOR GATE (A1) orphan + link-rot, in-memory fixtures + planted-fault TEETH\n\x00" as *u8)
80
  var pass: i64 = 0
82
  // ===================================================================
  // T1: CLEAN corpus. Pages: start(root), alpha, beta, gamma.
  //   start -> [[alpha]] [[beta]]      alpha -> [[gamma]]     beta -> [[gamma]]
  //   gamma -> [[alpha]]   (so alpha,beta,gamma ALL have >=1 inbound; start is
  //   the root, linked by nobody, but excluded). NO dead links.
  // ===================================================================
  let s1: *NxWikiDocStore = sys_mmap(512) as *NxWikiDocStore
  nx_wiki_doc_store_init(s1, 16, 4096, 4096, 65536)
  add_page(s1, "/wiki/start.html\x00" as *u8, "Front door. See [[alpha]] and [[beta]].\x00" as *u8)
  add_page(s1, "/wiki/alpha.html\x00" as *u8, "Alpha leads to [[gamma]].\x00" as *u8)
  add_page(s1, "/wiki/beta.html\x00"  as *u8, "Beta also leads to [[gamma]].\x00" as *u8)
  add_page(s1, "/wiki/gamma.html\x00" as *u8, "Gamma circles back to [[alpha]].\x00" as *u8)
95
  // resolve root rowid (start)
  let roots: *i64 = sys_mmap(NX_IMS_MAX_ROOTS * 8) as *i64
  roots[0] = nx_ims_resolve_root(s1, "start\x00" as *u8, 5)
  gp(logfd, "T1 root(start) rowid=\x00" as *u8); gn(logfd, roots[0]); gp(logfd, "\n\x00" as *u8)
100
  let orph: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let oc: *i64 = sys_mmap(8) as *i64
  nx_ims_orphans(s1, roots, 1, orph, NX_IMS_MAX_PAGES, oc)
  let dsrc: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let doff: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let dlen: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let dc1: *i64 = sys_mmap(8) as *i64
  nx_ims_dead_links(s1, dsrc, doff, dlen, NX_IMS_MAX_PAGES, dc1)
  gp(logfd, "T1 CLEAN orphans=\x00" as *u8); gn(logfd, oc[0]); gp(logfd, " dead=\x00" as *u8); gn(logfd, dc1[0]); gp(logfd, "\n\x00" as *u8)
  var t1: i64 = 0
  if oc[0] == 0 { if dc1[0] == 0 { t1 = 1 } }
  pass = pass + grow(logfd, "T1 clean corpus -> 0 orphans, 0 dead\x00" as *u8, t1)
113
  // ===================================================================
  // T2: PLANTED ORPHAN. Same as T1 + page "lonely" that NOBODY links.
  //   Expect EXACTLY one orphan == rowid(lonely). (start still excluded.)
  // ===================================================================
  let s2: *NxWikiDocStore = sys_mmap(512) as *NxWikiDocStore
  nx_wiki_doc_store_init(s2, 16, 4096, 4096, 65536)
  add_page(s2, "/wiki/start.html\x00" as *u8, "Front door. See [[alpha]] and [[beta]].\x00" as *u8)
  add_page(s2, "/wiki/alpha.html\x00" as *u8, "Alpha leads to [[gamma]].\x00" as *u8)
  add_page(s2, "/wiki/beta.html\x00"  as *u8, "Beta also leads to [[gamma]].\x00" as *u8)
  add_page(s2, "/wiki/gamma.html\x00" as *u8, "Gamma circles back to [[alpha]].\x00" as *u8)
  let lonely_rowid: i64 = add_page(s2, "/wiki/lonely.html\x00" as *u8, "Nobody links to me. I do link [[alpha]] though.\x00" as *u8)
125
  let roots2: *i64 = sys_mmap(NX_IMS_MAX_ROOTS * 8) as *i64
  roots2[0] = nx_ims_resolve_root(s2, "start\x00" as *u8, 5)
  let orph2: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let oc2: *i64 = sys_mmap(8) as *i64
  nx_ims_orphans(s2, roots2, 1, orph2, NX_IMS_MAX_PAGES, oc2)
  gp(logfd, "T2 planted-orphan lonely_rowid=\x00" as *u8); gn(logfd, lonely_rowid)
  gp(logfd, " orphans_found=\x00" as *u8); gn(logfd, oc2[0])
  gp(logfd, " orphan[0]_rowid=\x00" as *u8); if oc2[0] > 0 { gn(logfd, orph2[0]) } else { gp(logfd, "(none)\x00" as *u8) }
  gp(logfd, "\n\x00" as *u8)
  var t2: i64 = 0
  if oc2[0] == 1 { if orph2[0] == lonely_rowid { t2 = 1 } }
  pass = pass + grow(logfd, "T2 planted orphan -> EXACTLY rowid(lonely) flagged (TEETH)\x00" as *u8, t2)
138
  // ===================================================================
  // T3: PLANTED DEAD LINK. Clean-ish corpus where alpha hrefs a /wiki/ghost
  //   page that does NOT exist. Expect EXACTLY one dead link whose normalised
  //   target == "ghost". (Uses the HTML href convention to exercise that path.)
  // ===================================================================
  let s3: *NxWikiDocStore = sys_mmap(512) as *NxWikiDocStore
  nx_wiki_doc_store_init(s3, 16, 4096, 4096, 65536)
  add_page(s3, "/wiki/start.html\x00" as *u8, "Front door <a href=\"/wiki/alpha.html\">a</a> <a href=\"/wiki/beta.html\">b</a>\x00" as *u8)
  add_page(s3, "/wiki/alpha.html\x00" as *u8, "Alpha points at <a href=\"/wiki/ghost.html\">ghost</a> (does not exist) and <a href=\"/wiki/beta.html\">beta</a>\x00" as *u8)
  add_page(s3, "/wiki/beta.html\x00"  as *u8, "Beta links <a href=\"/wiki/alpha.html\">alpha</a>\x00" as *u8)
149
  let dsrc3: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let doff3: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let dlen3: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let dc3: *i64 = sys_mmap(8) as *i64
  nx_ims_dead_links(s3, dsrc3, doff3, dlen3, NX_IMS_MAX_PAGES, dc3)
  gp(logfd, "T3 planted dead-link dead_found=\x00" as *u8); gn(logfd, dc3[0])
  gp(logfd, " dead[0] src_rowid=\x00" as *u8); if dc3[0] > 0 { gn(logfd, dsrc3[0]) } else { gp(logfd, "(none)\x00" as *u8) }
  gp(logfd, " target=\x00" as *u8)
  // normalise the reported dead target and check it equals "ghost"
  var t3: i64 = 0
  if dc3[0] == 1 {
      // fetch alpha's body to point at the offending token
      let tp: *i64 = sys_mmap(8) as *i64; let tn: *i64 = sys_mmap(8) as *i64
      let up: *i64 = sys_mmap(8) as *i64; let un: *i64 = sys_mmap(8) as *i64
      let bp: *i64 = sys_mmap(8) as *i64; let bn: *i64 = sys_mmap(8) as *i64
      nx_wiki_doc_store_lookup(s3, dsrc3[0], tp, tn, up, un, bp, bn)
      let tok: *u8 = (bp[0] + doff3[0]) as *u8
      let nb: *i64 = sys_mmap(8) as *i64
      let nlen: i64 = nx_ims_norm_slug(tok, dlen3[0], nb)
      gb(logfd, nb[0] as *u8, nlen)
      // compare normalised target to "ghost"
      if nlen == 5 {
          if nx_ims_slug_eq(nb[0] as *u8, nlen, "ghost\x00" as *u8, 5) == 1 { t3 = 1 }
      }
  }
  gp(logfd, "\n\x00" as *u8)
  pass = pass + grow(logfd, "T3 planted dead link -> EXACTLY target 'ghost' flagged (TEETH)\x00" as *u8, t3)
177
  // ===================================================================
  // T4: NEG-CONTROL root exclusion. In s2 (which HAS a real orphan), prove
  //   the root 'start' -- linked by nobody -- is NOT in orphans, while the
  //   real orphan IS. (If the monitor naively flagged every inbound==0 page,
  //   start would appear; if it "flagged nothing", lonely would not.)
  // ===================================================================
  var start_flagged: i64 = 0
  var lonely_flagged: i64 = 0
  var fi: i64 = 0
  while fi < oc2[0] {
      if fi >= NX_IMS_MAX_PAGES { fi = oc2[0] }
      if fi < oc2[0] {
          if orph2[fi] == roots2[0] { start_flagged = 1 }
          if orph2[fi] == lonely_rowid { lonely_flagged = 1 }
      }
      fi = fi + 1
  }
  gp(logfd, "T4 neg-control start_flagged=\x00" as *u8); gn(logfd, start_flagged)
  gp(logfd, " lonely_flagged=\x00" as *u8); gn(logfd, lonely_flagged); gp(logfd, "\n\x00" as *u8)
  var t4: i64 = 0
  if start_flagged == 0 { if lonely_flagged == 1 { t4 = 1 } }
  pass = pass + grow(logfd, "T4 NEG-CONTROL root not false-flagged while real orphan IS (TEETH)\x00" as *u8, t4)
200
  // ===================================================================
  // T5: NEG-CONTROL no-false-positive. Build a corpus where a page self-links
  //   and every target exists -> 0 dead, and a self-link does NOT rescue the
  //   self-linker from orphanhood (proving self-links are excluded from inbound).
  //   Pages: start(root)->[[solo]]; solo->[[solo]] (self) + [[start]]; island
  //   (linked by nobody, links nobody) -> island is the ONLY orphan.
  // ===================================================================
  let s5: *NxWikiDocStore = sys_mmap(512) as *NxWikiDocStore
  nx_wiki_doc_store_init(s5, 16, 4096, 4096, 65536)
  add_page(s5, "/wiki/start.html\x00" as *u8, "Root links [[solo]].\x00" as *u8)
  add_page(s5, "/wiki/solo.html\x00"  as *u8, "Solo self-links [[solo]] and back to [[start]].\x00" as *u8)
  let island_rowid: i64 = add_page(s5, "/wiki/island.html\x00" as *u8, "An island. No links in or out.\x00" as *u8)
213
  let roots5: *i64 = sys_mmap(NX_IMS_MAX_ROOTS * 8) as *i64
  roots5[0] = nx_ims_resolve_root(s5, "start\x00" as *u8, 5)
  let orph5: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let oc5: *i64 = sys_mmap(8) as *i64
  nx_ims_orphans(s5, roots5, 1, orph5, NX_IMS_MAX_PAGES, oc5)
  let dsrc5: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let doff5: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let dlen5: *i64 = sys_mmap(NX_IMS_MAX_PAGES * 8) as *i64
  let dc5: *i64 = sys_mmap(8) as *i64
  nx_ims_dead_links(s5, dsrc5, doff5, dlen5, NX_IMS_MAX_PAGES, dc5)
  gp(logfd, "T5 self-link/no-fp orphans=\x00" as *u8); gn(logfd, oc5[0])
  gp(logfd, " dead=\x00" as *u8); gn(logfd, dc5[0])
  gp(logfd, " orphan[0]=\x00" as *u8); if oc5[0] > 0 { gn(logfd, orph5[0]) } else { gp(logfd, "(none)\x00" as *u8) }
  gp(logfd, "\n\x00" as *u8)
  // solo self-links but is also linked by start -> NOT orphan. island IS the only orphan. dead==0.
  var t5: i64 = 0
  if dc5[0] == 0 { if oc5[0] == 1 { if orph5[0] == island_rowid { t5 = 1 } } }
  pass = pass + grow(logfd, "T5 NEG-CONTROL self-link != inbound; present targets != dead (TEETH)\x00" as *u8, t5)
232
  // ===================================================================
  if pass == 5 {
      gp(logfd, "IMS-MONITOR GATE GREEN 5/5 (orphans + link-rot detected EXACTLY; root excluded; no false-flag)\n\x00" as *u8)
      sys_exit(0)
  }
  gp(logfd, "IMS-MONITOR GATE RED pass=\x00" as *u8); gn(logfd, pass); gp(logfd, "/5\n\x00" as *u8)
  sys_exit(1)
  return 1
241}
nx_ims_monitor_gate.nx source

`nx_ims_monitor_gate.nx` source
