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

↩ module page · 891 lines · 39198 B
1// nx_info_registry.nx -- NATIVE FEATURES + RISK REGISTRIES on the information plane (operator
2// 2026-07-20: workstreams pay a detective-work tax re-deriving what exists and what can bite;
3// the features registry + risk register become NATIVE planes, queryable by any seat/agent).
4// READS the seg-store planes seeded via nx_store_put (compose, never re-implement the store):
5//   knowledge/store/featreg-  9-col  id title status owner scope entry surface evidence note
6//   knowledge/store/riskreg- 10-col  id title likelihood impact status owner scope mitigation trigger note
7// Exposure = likelihood*impact is DERIVED here, never stored (same law as frontier float).
8// Verbs:
9//   nx_info_registry features [query]   -> JSON rows (value-substring filter, values only)
10//   nx_info_registry risks [query]      -> JSON rows + derived exposure per row
11//   nx_info_registry board              -> JSON counts by status + top OPEN risk by exposure
12//   nx_info_registry page               -> writes registries_stage.html (publish via nx_site_publish)
13//   nx_info_registry selftest           -> 6 structural teeth, VERDICT GREEN/RED, exit 0/3
14// FAIL-CLOSED: an unseeded plane exits 4 with a loud message -- a missing registry is a defect,
15// never an empty list. Malformed rows are SKIPPED but COUNTED in the declared envelope.
16// license_tier: ORIGINAL   No hw writes (Rule 26).   expect_exit: 0
17import "nx_store_seed_lib.nx"
18import "nx_seg_store.nx"
19import "nx_syscalls.nx"
20const IRX_MAGIC_4096: i64 = 4096
21
22const IRX_CAP: i64 = 1048576
23const IRX_OUT: i64 = 4194304
24const IRX_NL: i64 = 10
25const IRX_TAB: i64 = 9
26const IRX_QU: i64 = 34
27const IRX_COLON: i64 = 58
28const IRX_COMMA: i64 = 44
29const IRX_LB: i64 = 123
30const IRX_RB: i64 = 125
31const IRX_LSQ: i64 = 91
32const IRX_RSQ: i64 = 93
33const IRX_BANG: i64 = 33
34const IRX_MAXCOL: i64 = 16
35const IRX_PAIR: i64 = 2
36const IRX_SP2: i64 = 256
37const IRX_FEAT_NCOL: i64 = 9
38const IRX_RISK_NCOL: i64 = 10
39const IRX_DEC_NCOL: i64 = 9
40const IRX_STDERR: i64 = 2
41const IRX_EXIT_USAGE: i64 = 2
42const IRX_EXIT_RED: i64 = 3
43const IRX_EXIT_ABSENT: i64 = 4
44const IRX_FMODE: i64 = 420
45
46func irx_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
47func irx_werr(s: *u8) -> i64 { sys_write(IRX_STDERR, s, irx_slen(s)); return 0 }
48func irx_eqs(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
53}
54func irx_slice_eqs(q: *u8, a: i64, b: i64, s: *u8) -> i64 {
  let sn: i64 = irx_slen(s)
  if b - a != sn { return 0 }
  var i: i64 = 0
  while i < sn { if q[a+i] != s[i] { return 0 } i = i + 1 }
  return 1
60}
61// compare slice [a1,b1) of q against slice [a2,b2) of r (byte-exact)
62func irx_slice_eq_slice(q: *u8, a1: i64, b1: i64, r: *u8, a2: i64, b2: i64) -> i64 {
  if b1 - a1 != b2 - a2 { return 0 }
  let ln: i64 = b1 - a1
  var i: i64 = 0
  while i < ln { if q[a1+i] != r[a2+i] { return 0 } i = i + 1 }
  return 1
68}
69func irx_cols(q: *u8, ls: i64, le: i64, sp: *i64) -> i64 {
  var c: i64 = 0
  var p: i64 = ls
  while c < IRX_MAXCOL {
      var e: i64 = p
      var s: i64 = 1
      while s == 1 { if e >= le { s = 0 } else { if q[e] == (IRX_TAB as u8) { s = 0 } else { e = e + 1 } } }
      sp[c*IRX_PAIR] = p
      sp[c*IRX_PAIR+1] = e
      c = c + 1
      if e >= le { return c }
      p = e + 1
  }
  return c
83}
84func irx_b(d: *u8, o: i64, c: i64) -> i64 { d[o] = c as u8; return o + 1 }
85// copy slice sanitized for JSON string context: quote->apostrophe-ish, backslash->slash, ctl->space
86func irx_cat_slice_json(d: *u8, o: i64, q: *u8, a: i64, b: i64) -> i64 {
  var oo: i64 = o
  var i: i64 = a
  while i < b {
      var c: i64 = q[i]
      if c == 34 { c = 39 }
      if c == 92 { c = 47 }
      if c < 32 { c = 32 }
      d[oo] = c as u8
      oo = oo + 1
      i = i + 1
  }
  return oo
99}
100// copy slice sanitized for HTML text context: angle brackets -> parens (rows may carry <arg> shapes)
101func irx_cat_slice_html(d: *u8, o: i64, q: *u8, a: i64, b: i64) -> i64 {
  var oo: i64 = o
  var i: i64 = a
  while i < b {
      var c: i64 = q[i]
      if c == 60 { c = 40 }
      if c == 62 { c = 41 }
      if c < 32 { c = 32 }
      d[oo] = c as u8
      oo = oo + 1
      i = i + 1
  }
  return oo
114}
115func irx_atoi_slice(q: *u8, a: i64, b: i64) -> i64 {
  var v: i64 = 0
  var i: i64 = a
  while i < b {
      let c: i64 = q[i]
      if c >= 48 { if c <= 57 { v = v * 10 + (c - 48) } }
      i = i + 1
  }
  return v
124}
125// substring search of C-string s within [ls,le) -- sound flag exits only, no break
126func irx_find_sub(q: *u8, ls: i64, le: i64, s: *u8) -> i64 {
  let sn: i64 = irx_slen(s)
  if sn == 0 { return 1 }
  var i: i64 = ls
  var found: i64 = 0
  while found == 0 {
      if i + sn > le { found = 2 } else {
          var j: i64 = 0
          var ok: i64 = 1
          while j < sn { if q[i+j] != s[j] { ok = 0; j = sn } else { j = j + 1 } }
          if ok == 1 { found = 1 } else { i = i + 1 }
      }
  }
  if found == 1 { return 1 }
  return 0
141}
142func irx_jkey(d: *u8, o: i64, k: *u8) -> i64 {
  var oo: i64 = irx_b(d, o, IRX_QU)
  oo = ss_cat(d, oo, k)
  oo = irx_b(d, oo, IRX_QU)
  oo = irx_b(d, oo, IRX_COLON)
  return oo
148}
149func irx_jcstr(d: *u8, o: i64, k: *u8, v: *u8) -> i64 {
  var oo: i64 = irx_jkey(d, o, k)
  oo = irx_b(d, oo, IRX_QU)
  oo = ss_cat(d, oo, v)
  oo = irx_b(d, oo, IRX_QU)
  return oo
155}
156func irx_jslice(d: *u8, o: i64, k: *u8, q: *u8, a: i64, b: i64) -> i64 {
  var oo: i64 = irx_jkey(d, o, k)
  oo = irx_b(d, oo, IRX_QU)
  oo = irx_cat_slice_json(d, oo, q, a, b)
  oo = irx_b(d, oo, IRX_QU)
  return oo
162}
163func irx_jint(d: *u8, o: i64, k: *u8, v: i64) -> i64 {
  var oo: i64 = irx_jkey(d, o, k)
  oo = ss_catn(d, oo, v)
  return oo
167}
168func irx_load_or_die(prefix: *u8, b: *u8) -> i64 {
  let n: i64 = sts_load(prefix, b, IRX_CAP - IRX_MAGIC_4096)
  if n <= 0 { irx_werr("REGISTRY PLANE ABSENT/EMPTY (fail-closed): " as *u8); irx_werr(prefix); irx_werr("\n" as *u8); sys_exit(IRX_EXIT_ABSENT) }
  return n
172}
173// emit one registry as JSON. kindfeat=1 -> featreg 9-col; kindfeat=0 -> riskreg 10-col w/ exposure.
174func irx_emit_registry(kindfeat: i64, query: *u8, hasq: i64) -> i64 {
  let b: *u8 = sys_mmap(IRX_CAP)
  var n: i64 = 0
  if kindfeat == 1 { n = irx_load_or_die("knowledge/store/featreg-" as *u8, b) } else { n = irx_load_or_die("knowledge/store/riskreg-" as *u8, b) }
  let out: *u8 = sys_mmap(IRX_OUT)
  let sp: *i64 = sys_mmap(IRX_SP2) as *i64
  var wantcols: i64 = IRX_RISK_NCOL
  if kindfeat == 1 { wantcols = IRX_FEAT_NCOL }
  var total: i64 = 0
  var matched: i64 = 0
  var malformed: i64 = 0
  var o: i64 = 0
  o = irx_b(out, o, IRX_LB)
  if kindfeat == 1 { o = irx_jcstr(out, o, "registry" as *u8, "features" as *u8) } else { o = irx_jcstr(out, o, "registry" as *u8, "risks" as *u8) }
  o = irx_b(out, o, IRX_COMMA)
  if hasq == 1 { o = irx_jcstr(out, o, "query" as *u8, query) } else { o = irx_jcstr(out, o, "query" as *u8, "none" as *u8) }
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jkey(out, o, "rows" as *u8)
  o = irx_b(out, o, IRX_LSQ)
  var first: i64 = 1
  var i: i64 = 0
  while i < n {
      var le: i64 = i
      var s: i64 = 1
      while s == 1 { if le >= n { s = 0 } else { if b[le] == (IRX_NL as u8) { s = 0 } else { le = le + 1 } } }
      if le > i {
          total = total + 1
          let nc: i64 = irx_cols(b, i, le, sp)
          if nc != wantcols { malformed = malformed + 1 } else {
              var inc: i64 = 1
              if hasq == 1 { inc = irx_find_sub(b, i, le, query) }
              if inc == 1 {
                  matched = matched + 1
                  if first == 0 { o = irx_b(out, o, IRX_COMMA) }
                  first = 0
                  o = irx_b(out, o, IRX_LB)
                  o = irx_jslice(out, o, "id" as *u8, b, sp[0], sp[1])
                  o = irx_b(out, o, IRX_COMMA)
                  o = irx_jslice(out, o, "title" as *u8, b, sp[2], sp[3])
                  o = irx_b(out, o, IRX_COMMA)
                  if kindfeat == 1 {
                      o = irx_jslice(out, o, "status" as *u8, b, sp[4], sp[5])
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "owner" as *u8, b, sp[6], sp[7])
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "scope" as *u8, b, sp[8], sp[9])
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "entry" as *u8, b, sp[10], sp[11])
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "surface" as *u8, b, sp[12], sp[13])
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "evidence" as *u8, b, sp[14], sp[15])
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "note" as *u8, b, sp[16], sp[17])
                  } else {
                      let lik: i64 = irx_atoi_slice(b, sp[4], sp[5])
                      let imp: i64 = irx_atoi_slice(b, sp[6], sp[7])
                      let expo: i64 = lik * imp
                      o = irx_jint(out, o, "likelihood" as *u8, lik)
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jint(out, o, "impact" as *u8, imp)
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jint(out, o, "exposure" as *u8, expo)
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "status" as *u8, b, sp[8], sp[9])
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "owner" as *u8, b, sp[10], sp[11])
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "scope" as *u8, b, sp[12], sp[13])
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "mitigation" as *u8, b, sp[14], sp[15])
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "trigger" as *u8, b, sp[16], sp[17])
                      o = irx_b(out, o, IRX_COMMA)
                      o = irx_jslice(out, o, "note" as *u8, b, sp[18], sp[19])
                  }
                  o = irx_b(out, o, IRX_RB)
              }
          }
      }
      i = le + 1
  }
  o = irx_b(out, o, IRX_RSQ)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "total" as *u8, total)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "matched" as *u8, matched)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jkey(out, o, "envelope" as *u8)
  o = irx_b(out, o, IRX_LB)
  o = irx_jint(out, o, "plane_cap" as *u8, IRX_CAP)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "malformed" as *u8, malformed)
  o = irx_b(out, o, IRX_COMMA)
  var trunc: i64 = 0
  if n >= IRX_CAP - IRX_MAGIC_4096 { trunc = 1 }
  o = irx_jint(out, o, "truncated" as *u8, trunc)
  o = irx_b(out, o, IRX_RB)
  o = irx_b(out, o, IRX_RB)
  o = irx_b(out, o, IRX_NL)
  sys_write(1, out, o)
  return 0
276}
277// count decreg rows whose supersedes(col7) is not "-" but references a NON-existent id
278// = a dangling decision chain (the ADL integrity signal; 0 = sound graph).
279func irx_dec_dangling(b: *u8, n: i64) -> i64 {
  let sp: *i64 = sys_mmap(IRX_SP2) as *i64
  let sp2: *i64 = sys_mmap(IRX_SP2) as *i64
  var dangling: i64 = 0
  var i: i64 = 0
  while i < n {
      var le: i64 = i
      var s: i64 = 1
      while s == 1 { if le >= n { s = 0 } else { if b[le] == (IRX_NL as u8) { s = 0 } else { le = le + 1 } } }
      if le > i {
          let nc: i64 = irx_cols(b, i, le, sp)
          if nc == IRX_DEC_NCOL {
              var isnone: i64 = 0
              if sp[15] - sp[14] == 1 { if b[sp[14]] == (45 as u8) { isnone = 1 } }
              if isnone == 0 {
                  var found: i64 = 0
                  var j: i64 = 0
                  while j < n {
                      var le2: i64 = j
                      var s2: i64 = 1
                      while s2 == 1 { if le2 >= n { s2 = 0 } else { if b[le2] == (IRX_NL as u8) { s2 = 0 } else { le2 = le2 + 1 } } }
                      if le2 > j {
                          let nc2: i64 = irx_cols(b, j, le2, sp2)
                          if nc2 == IRX_DEC_NCOL { if irx_slice_eq_slice(b, sp2[0], sp2[1], b, sp[14], sp[15]) == 1 { found = 1 } }
                      }
                      j = le2 + 1
                  }
                  if found == 0 { dangling = dangling + 1 }
              }
          }
      }
      i = le + 1
  }
  return dangling
313}
314// write "superseded_by":"<id or ->" -- scan for any row whose supersedes(col7) == this id [ida,idb)
315func irx_superseded_by(b: *u8, n: i64, ida: i64, idb: i64, sp2: *i64, out: *u8, o: i64) -> i64 {
  var oo: i64 = irx_jkey(out, o, "superseded_by" as *u8)
  oo = irx_b(out, oo, IRX_QU)
  var foundq: i64 = 0
  var j: i64 = 0
  while j < n {
      var le: i64 = j
      var s: i64 = 1
      while s == 1 { if le >= n { s = 0 } else { if b[le] == (IRX_NL as u8) { s = 0 } else { le = le + 1 } } }
      if le > j {
          let nc: i64 = irx_cols(b, j, le, sp2)
          if nc == IRX_DEC_NCOL {
              if irx_slice_eq_slice(b, sp2[14], sp2[15], b, ida, idb) == 1 {
                  if foundq == 0 { oo = irx_cat_slice_json(out, oo, b, sp2[0], sp2[1]); foundq = 1 }
              }
          }
      }
      j = le + 1
  }
  if foundq == 0 { oo = irx_b(out, oo, 45) }
  oo = irx_b(out, oo, IRX_QU)
  return oo
337}
338func irx_emit_decisions(query: *u8, hasq: i64) -> i64 {
  let b: *u8 = sys_mmap(IRX_CAP)
  let n: i64 = irx_load_or_die("knowledge/store/decreg-" as *u8, b)
  let out: *u8 = sys_mmap(IRX_OUT)
  let sp: *i64 = sys_mmap(IRX_SP2) as *i64
  let sp2: *i64 = sys_mmap(IRX_SP2) as *i64
  var total: i64 = 0
  var matched: i64 = 0
  var malformed: i64 = 0
  var o: i64 = 0
  o = irx_b(out, o, IRX_LB)
  o = irx_jcstr(out, o, "registry" as *u8, "decisions" as *u8)
  o = irx_b(out, o, IRX_COMMA)
  if hasq == 1 { o = irx_jcstr(out, o, "query" as *u8, query) } else { o = irx_jcstr(out, o, "query" as *u8, "none" as *u8) }
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jkey(out, o, "rows" as *u8)
  o = irx_b(out, o, IRX_LSQ)
  var first: i64 = 1
  var i: i64 = 0
  while i < n {
      var le: i64 = i
      var s: i64 = 1
      while s == 1 { if le >= n { s = 0 } else { if b[le] == (IRX_NL as u8) { s = 0 } else { le = le + 1 } } }
      if le > i {
          total = total + 1
          let nc: i64 = irx_cols(b, i, le, sp)
          if nc != IRX_DEC_NCOL { malformed = malformed + 1 } else {
              var inc: i64 = 1
              if hasq == 1 { inc = irx_find_sub(b, i, le, query) }
              if inc == 1 {
                  matched = matched + 1
                  if first == 0 { o = irx_b(out, o, IRX_COMMA) }
                  first = 0
                  o = irx_b(out, o, IRX_LB)
                  o = irx_jslice(out, o, "id" as *u8, b, sp[0], sp[1])
                  o = irx_b(out, o, IRX_COMMA)
                  o = irx_jslice(out, o, "title" as *u8, b, sp[2], sp[3])
                  o = irx_b(out, o, IRX_COMMA)
                  o = irx_jslice(out, o, "status" as *u8, b, sp[4], sp[5])
                  o = irx_b(out, o, IRX_COMMA)
                  o = irx_jslice(out, o, "driver" as *u8, b, sp[6], sp[7])
                  o = irx_b(out, o, IRX_COMMA)
                  o = irx_jslice(out, o, "date" as *u8, b, sp[8], sp[9])
                  o = irx_b(out, o, IRX_COMMA)
                  o = irx_jslice(out, o, "context" as *u8, b, sp[10], sp[11])
                  o = irx_b(out, o, IRX_COMMA)
                  o = irx_jslice(out, o, "decision" as *u8, b, sp[12], sp[13])
                  o = irx_b(out, o, IRX_COMMA)
                  o = irx_jslice(out, o, "supersedes" as *u8, b, sp[14], sp[15])
                  o = irx_b(out, o, IRX_COMMA)
                  o = irx_jslice(out, o, "note" as *u8, b, sp[16], sp[17])
                  o = irx_b(out, o, IRX_COMMA)
                  o = irx_superseded_by(b, n, sp[0], sp[1], sp2, out, o)
                  o = irx_b(out, o, IRX_RB)
              }
          }
      }
      i = le + 1
  }
  o = irx_b(out, o, IRX_RSQ)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "total" as *u8, total)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "matched" as *u8, matched)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jkey(out, o, "envelope" as *u8)
  o = irx_b(out, o, IRX_LB)
  o = irx_jint(out, o, "plane_cap" as *u8, IRX_CAP)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "malformed" as *u8, malformed)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "dangling_supersedes" as *u8, irx_dec_dangling(b, n))
  o = irx_b(out, o, IRX_COMMA)
  var trunc: i64 = 0
  if n >= IRX_CAP - IRX_MAGIC_4096 { trunc = 1 }
  o = irx_jint(out, o, "truncated" as *u8, trunc)
  o = irx_b(out, o, IRX_RB)
  o = irx_b(out, o, IRX_RB)
  o = irx_b(out, o, IRX_NL)
  sys_write(1, out, o)
  return 0
419}
420func irx_do_board() -> i64 {
  let fb: *u8 = sys_mmap(IRX_CAP)
  let fn2: i64 = irx_load_or_die("knowledge/store/featreg-" as *u8, fb)
  let rb: *u8 = sys_mmap(IRX_CAP)
  let rn: i64 = irx_load_or_die("knowledge/store/riskreg-" as *u8, rb)
  let db: *u8 = sys_mmap(IRX_CAP)
  let dn: i64 = irx_load_or_die("knowledge/store/decreg-" as *u8, db)
  let sp: *i64 = sys_mmap(IRX_SP2) as *i64
  let out: *u8 = sys_mmap(IRX_OUT)
  var ftot: i64 = 0
  var flive: i64 = 0
  var fbuild: i64 = 0
  var fdesign: i64 = 0
  var i: i64 = 0
  while i < fn2 {
      var le: i64 = i
      var s: i64 = 1
      while s == 1 { if le >= fn2 { s = 0 } else { if fb[le] == (IRX_NL as u8) { s = 0 } else { le = le + 1 } } }
      if le > i {
          let nc: i64 = irx_cols(fb, i, le, sp)
          if nc == IRX_FEAT_NCOL {
              ftot = ftot + 1
              if irx_slice_eqs(fb, sp[4], sp[5], "live" as *u8) == 1 { flive = flive + 1 }
              if irx_slice_eqs(fb, sp[4], sp[5], "building" as *u8) == 1 { fbuild = fbuild + 1 }
              if irx_slice_eqs(fb, sp[4], sp[5], "design" as *u8) == 1 { fdesign = fdesign + 1 }
          }
      }
      i = le + 1
  }
  var rtot: i64 = 0
  var ropen: i64 = 0
  var rmit: i64 = 0
  var racc: i64 = 0
  var rclosed: i64 = 0
  var topexpo: i64 = 0
  var topa: i64 = 0
  var topb: i64 = 0
  var j: i64 = 0
  while j < rn {
      var le2: i64 = j
      var s2: i64 = 1
      while s2 == 1 { if le2 >= rn { s2 = 0 } else { if rb[le2] == (IRX_NL as u8) { s2 = 0 } else { le2 = le2 + 1 } } }
      if le2 > j {
          let nc2: i64 = irx_cols(rb, j, le2, sp)
          if nc2 == IRX_RISK_NCOL {
              rtot = rtot + 1
              let isclosed: i64 = irx_slice_eqs(rb, sp[8], sp[9], "closed" as *u8)
              if irx_slice_eqs(rb, sp[8], sp[9], "open" as *u8) == 1 { ropen = ropen + 1 }
              if irx_slice_eqs(rb, sp[8], sp[9], "mitigating" as *u8) == 1 { rmit = rmit + 1 }
              if irx_slice_eqs(rb, sp[8], sp[9], "accepted" as *u8) == 1 { racc = racc + 1 }
              if isclosed == 1 { rclosed = rclosed + 1 }
              if isclosed == 0 {
                  let lik: i64 = irx_atoi_slice(rb, sp[4], sp[5])
                  let imp: i64 = irx_atoi_slice(rb, sp[6], sp[7])
                  let expo: i64 = lik * imp
                  if expo > topexpo { topexpo = expo; topa = sp[0]; topb = sp[1] }
              }
          }
      }
      j = le2 + 1
  }
  var dtot: i64 = 0
  var dacc: i64 = 0
  var dsup: i64 = 0
  var dprop: i64 = 0
  var dlinks: i64 = 0
  var k: i64 = 0
  while k < dn {
      var le3: i64 = k
      var s3: i64 = 1
      while s3 == 1 { if le3 >= dn { s3 = 0 } else { if db[le3] == (IRX_NL as u8) { s3 = 0 } else { le3 = le3 + 1 } } }
      if le3 > k {
          let nc3: i64 = irx_cols(db, k, le3, sp)
          if nc3 == IRX_DEC_NCOL {
              dtot = dtot + 1
              if irx_slice_eqs(db, sp[4], sp[5], "accepted" as *u8) == 1 { dacc = dacc + 1 }
              if irx_slice_eqs(db, sp[4], sp[5], "superseded" as *u8) == 1 { dsup = dsup + 1 }
              if irx_slice_eqs(db, sp[4], sp[5], "proposed" as *u8) == 1 { dprop = dprop + 1 }
              var isnone: i64 = 0
              if sp[15] - sp[14] == 1 { if db[sp[14]] == (45 as u8) { isnone = 1 } }
              if isnone == 0 { dlinks = dlinks + 1 }
          }
      }
      k = le3 + 1
  }
  let ddangle: i64 = irx_dec_dangling(db, dn)
  var o: i64 = 0
  o = irx_b(out, o, IRX_LB)
  o = irx_jcstr(out, o, "board" as *u8, "info-registries" as *u8)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jkey(out, o, "features" as *u8)
  o = irx_b(out, o, IRX_LB)
  o = irx_jint(out, o, "total" as *u8, ftot)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "live" as *u8, flive)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "building" as *u8, fbuild)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "design" as *u8, fdesign)
  o = irx_b(out, o, IRX_RB)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jkey(out, o, "risks" as *u8)
  o = irx_b(out, o, IRX_LB)
  o = irx_jint(out, o, "total" as *u8, rtot)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "open" as *u8, ropen)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "mitigating" as *u8, rmit)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "accepted" as *u8, racc)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "closed" as *u8, rclosed)
  o = irx_b(out, o, IRX_RB)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jkey(out, o, "top_open_risk" as *u8)
  o = irx_b(out, o, IRX_LB)
  if topb > topa { o = irx_jslice(out, o, "id" as *u8, rb, topa, topb) } else { o = irx_jcstr(out, o, "id" as *u8, "none" as *u8) }
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "exposure" as *u8, topexpo)
  o = irx_b(out, o, IRX_RB)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jkey(out, o, "decisions" as *u8)
  o = irx_b(out, o, IRX_LB)
  o = irx_jint(out, o, "total" as *u8, dtot)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "accepted" as *u8, dacc)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "superseded" as *u8, dsup)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "proposed" as *u8, dprop)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "supersede_links" as *u8, dlinks)
  o = irx_b(out, o, IRX_COMMA)
  o = irx_jint(out, o, "dangling_supersedes" as *u8, ddangle)
  o = irx_b(out, o, IRX_RB)
  o = irx_b(out, o, IRX_COMMA)
  let ep: i64 = sys_now_realtime_sec()
  o = irx_jint(out, o, "generated_epoch" as *u8, ep)
  o = irx_b(out, o, IRX_RB)
  o = irx_b(out, o, IRX_NL)
  sys_write(1, out, o)
  // also bank the board to a verifiable out-file (nx_prim_query/nx_prim_gap precedent):
  // readable evidence + consumable by cron/other organs without re-running the organ.
  let bfd: i64 = sys_openat_wr("knowledge/status/registries_board.json" as *u8, IRX_FMODE)
  if bfd >= 0 { sys_write(bfd, out, o); sys_close(bfd) }
  return 0
566}
567// emit a full-width table row: every col of the row as one td, html-sanitized
568func irx_page_row(out: *u8, o: i64, q: *u8, sp: *i64, nc: i64) -> i64 {
  var oo: i64 = ss_cat(out, o, "<tr>" as *u8)
  var c: i64 = 0
  while c < nc {
      oo = ss_cat(out, oo, "<td>" as *u8)
      oo = irx_cat_slice_html(out, oo, q, sp[c*IRX_PAIR], sp[c*IRX_PAIR+1])
      oo = ss_cat(out, oo, "</td>" as *u8)
      c = c + 1
  }
  oo = ss_cat(out, oo, "</tr>" as *u8)
  return oo
579}
580// html-safe superseded_by cell: scan for any row whose supersedes(col7) == this id, else "-"
581func irx_page_superseded_by_html(out: *u8, o: i64, b: *u8, n: i64, ida: i64, idb: i64) -> i64 {
  let sp2: *i64 = sys_mmap(IRX_SP2) as *i64
  var oo: i64 = o
  var foundq: i64 = 0
  var j: i64 = 0
  while j < n {
      var le: i64 = j
      var s: i64 = 1
      while s == 1 { if le >= n { s = 0 } else { if b[le] == (IRX_NL as u8) { s = 0 } else { le = le + 1 } } }
      if le > j {
          let nc: i64 = irx_cols(b, j, le, sp2)
          if nc == IRX_DEC_NCOL {
              if irx_slice_eq_slice(b, sp2[14], sp2[15], b, ida, idb) == 1 {
                  if foundq == 0 { oo = irx_cat_slice_html(out, oo, b, sp2[0], sp2[1]); foundq = 1 }
              }
          }
      }
      j = le + 1
  }
  if foundq == 0 { oo = irx_b(out, oo, 45) }
  return oo
602}
603func irx_do_page() -> i64 {
  let fb: *u8 = sys_mmap(IRX_CAP)
  let fn2: i64 = irx_load_or_die("knowledge/store/featreg-" as *u8, fb)
  let rb: *u8 = sys_mmap(IRX_CAP)
  let rn: i64 = irx_load_or_die("knowledge/store/riskreg-" as *u8, rb)
  let db: *u8 = sys_mmap(IRX_CAP)
  let dn: i64 = irx_load_or_die("knowledge/store/decreg-" as *u8, db)
  let sp: *i64 = sys_mmap(IRX_SP2) as *i64
  let out: *u8 = sys_mmap(IRX_OUT)
  var o: i64 = 0
  o = ss_cat(out, o, "<" as *u8)
  o = irx_b(out, o, IRX_BANG)
  o = ss_cat(out, o, "doctype html><html><head><meta charset=utf-8><title>Nishi Registries</title><style>body" as *u8)
  o = irx_b(out, o, IRX_LB)
  o = ss_cat(out, o, "font-family:monospace;background:rgb(16,16,20);color:rgb(226,226,220);margin:24px" as *u8)
  o = irx_b(out, o, IRX_RB)
  o = ss_cat(out, o, "table" as *u8)
  o = irx_b(out, o, IRX_LB)
  o = ss_cat(out, o, "border-collapse:collapse;margin:12px 0 28px 0" as *u8)
  o = irx_b(out, o, IRX_RB)
  o = ss_cat(out, o, "td,th" as *u8)
  o = irx_b(out, o, IRX_LB)
  o = ss_cat(out, o, "border:1px solid rgb(80,80,95);padding:4px 8px;font-size:13px;text-align:left;vertical-align:top" as *u8)
  o = irx_b(out, o, IRX_RB)
  o = ss_cat(out, o, "th" as *u8)
  o = irx_b(out, o, IRX_LB)
  o = ss_cat(out, o, "background:rgb(38,38,50)" as *u8)
  o = irx_b(out, o, IRX_RB)
  o = ss_cat(out, o, "h1,h2" as *u8)
  o = irx_b(out, o, IRX_LB)
  o = ss_cat(out, o, "color:rgb(140,200,255)" as *u8)
  o = irx_b(out, o, IRX_RB)
  o = ss_cat(out, o, "</style></head><body><h1>Nishi Information Plane Registries</h1><p>Native features registry + risk register + decision/ADL log. Source planes: knowledge/store/featreg-, riskreg-, decreg- (provenanced via nx_store_put hist). Exposure (likelihood x impact) and superseded_by are DERIVED at render, never stored. Query via MCP: nx_info_registry features|risks|decisions|board.</p>" as *u8)
  o = ss_cat(out, o, "<h2>Features registry</h2><table><tr><th>id</th><th>title</th><th>status</th><th>owner</th><th>scope</th><th>entry</th><th>surface</th><th>evidence</th><th>note</th></tr>" as *u8)
  var i: i64 = 0
  while i < fn2 {
      var le: i64 = i
      var s: i64 = 1
      while s == 1 { if le >= fn2 { s = 0 } else { if fb[le] == (IRX_NL as u8) { s = 0 } else { le = le + 1 } } }
      if le > i {
          let nc: i64 = irx_cols(fb, i, le, sp)
          if nc == IRX_FEAT_NCOL { o = irx_page_row(out, o, fb, sp, nc) }
      }
      i = le + 1
  }
  o = ss_cat(out, o, "</table><h2>Risk register</h2><table><tr><th>id</th><th>title</th><th>L</th><th>I</th><th>LxI</th><th>status</th><th>owner</th><th>scope</th><th>mitigation</th><th>trigger</th><th>note</th></tr>" as *u8)
  var j: i64 = 0
  while j < rn {
      var le2: i64 = j
      var s2: i64 = 1
      while s2 == 1 { if le2 >= rn { s2 = 0 } else { if rb[le2] == (IRX_NL as u8) { s2 = 0 } else { le2 = le2 + 1 } } }
      if le2 > j {
          let nc2: i64 = irx_cols(rb, j, le2, sp)
          if nc2 == IRX_RISK_NCOL {
              let lik: i64 = irx_atoi_slice(rb, sp[4], sp[5])
              let imp: i64 = irx_atoi_slice(rb, sp[6], sp[7])
              let expo: i64 = lik * imp
              o = ss_cat(out, o, "<tr><td>" as *u8)
              o = irx_cat_slice_html(out, o, rb, sp[0], sp[1])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, rb, sp[2], sp[3])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = ss_catn(out, o, lik)
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = ss_catn(out, o, imp)
              o = ss_cat(out, o, "</td><td><b>" as *u8)
              o = ss_catn(out, o, expo)
              o = ss_cat(out, o, "</b></td><td>" as *u8)
              o = irx_cat_slice_html(out, o, rb, sp[8], sp[9])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, rb, sp[10], sp[11])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, rb, sp[12], sp[13])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, rb, sp[14], sp[15])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, rb, sp[16], sp[17])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, rb, sp[18], sp[19])
              o = ss_cat(out, o, "</td></tr>" as *u8)
          }
      }
      j = le2 + 1
  }
  o = ss_cat(out, o, "</table><h2>Decision / ADL registry</h2><p>Architecture Decision Log -- query before proposing, so a settled decision is never re-litigated. superseded_by is DERIVED (any decision whose supersedes points here); a dangling supersedes reference fails selftest T8.</p><table><tr><th>id</th><th>status</th><th>driver</th><th>date</th><th>title</th><th>context</th><th>decision</th><th>supersedes</th><th>superseded_by</th><th>note</th></tr>" as *u8)
  var di: i64 = 0
  while di < dn {
      var dle: i64 = di
      var ds: i64 = 1
      while ds == 1 { if dle >= dn { ds = 0 } else { if db[dle] == (IRX_NL as u8) { ds = 0 } else { dle = dle + 1 } } }
      if dle > di {
          let dnc: i64 = irx_cols(db, di, dle, sp)
          if dnc == IRX_DEC_NCOL {
              o = ss_cat(out, o, "<tr><td>" as *u8)
              o = irx_cat_slice_html(out, o, db, sp[0], sp[1])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, db, sp[4], sp[5])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, db, sp[6], sp[7])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, db, sp[8], sp[9])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, db, sp[2], sp[3])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, db, sp[10], sp[11])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, db, sp[12], sp[13])
              o = ss_cat(out, o, "</td><td>" as *u8)
              o = irx_cat_slice_html(out, o, db, sp[14], sp[15])
              o = ss_cat(out, o, "</td><td><b>" as *u8)
              o = irx_page_superseded_by_html(out, o, db, dn, sp[0], sp[1])
              o = ss_cat(out, o, "</b></td><td>" as *u8)
              o = irx_cat_slice_html(out, o, db, sp[16], sp[17])
              o = ss_cat(out, o, "</td></tr>" as *u8)
          }
      }
      di = dle + 1
  }
  o = ss_cat(out, o, "</table><p>generated_epoch=" as *u8)
  let ep: i64 = sys_now_realtime_sec()
  o = ss_catn(out, o, ep)
  o = ss_cat(out, o, " by nx_info_registry page</p></body></html>" as *u8)
  let fd: i64 = sys_openat_wr("registries_stage.html" as *u8, IRX_FMODE)
  if fd < 0 { irx_werr("page: cannot open registries_stage.html\n" as *u8); sys_exit(1) }
  sys_write(fd, out, o)
  sys_close(fd)
  let m: *u8 = sys_mmap(IRX_MAGIC_4096)
  var mo: i64 = ss_cat(m, 0, "PAGE-EMITTED registries_stage.html bytes=" as *u8)
  mo = ss_catn(m, mo, o)
  mo = irx_b(m, mo, IRX_NL)
  sys_write(1, m, mo)
  return 0
735}
736func irx_do_selftest() -> i64 {
  let fb: *u8 = sys_mmap(IRX_CAP)
  let fn2: i64 = sts_load("knowledge/store/featreg-" as *u8, fb, IRX_CAP - IRX_MAGIC_4096)
  let rb: *u8 = sys_mmap(IRX_CAP)
  let rn: i64 = sts_load("knowledge/store/riskreg-" as *u8, rb, IRX_CAP - IRX_MAGIC_4096)
  let db: *u8 = sys_mmap(IRX_CAP)
  let dn: i64 = sts_load("knowledge/store/decreg-" as *u8, db, IRX_CAP - IRX_MAGIC_4096)
  let sp: *i64 = sys_mmap(IRX_SP2) as *i64
  var frows: i64 = 0
  var fmal: i64 = 0
  var neghits: i64 = 0
  var poshits: i64 = 0
  if fn2 > 0 {
      var i: i64 = 0
      while i < fn2 {
          var le: i64 = i
          var s: i64 = 1
          while s == 1 { if le >= fn2 { s = 0 } else { if fb[le] == (IRX_NL as u8) { s = 0 } else { le = le + 1 } } }
          if le > i {
              frows = frows + 1
              let nc: i64 = irx_cols(fb, i, le, sp)
              if nc != IRX_FEAT_NCOL { fmal = fmal + 1 }
              let hneg: i64 = irx_find_sub(fb, i, le, "zqxnegcontrolzqx" as *u8)
              if hneg == 1 { neghits = neghits + 1 }
              let hpos: i64 = irx_find_sub(fb, i, le, "FR" as *u8)
              if hpos == 1 { poshits = poshits + 1 }
          }
          i = le + 1
      }
  }
  var rrows: i64 = 0
  var rmal: i64 = 0
  var numbad: i64 = 0
  var maxexpo: i64 = 0
  if rn > 0 {
      var j: i64 = 0
      while j < rn {
          var le2: i64 = j
          var s2: i64 = 1
          while s2 == 1 { if le2 >= rn { s2 = 0 } else { if rb[le2] == (IRX_NL as u8) { s2 = 0 } else { le2 = le2 + 1 } } }
          if le2 > j {
              rrows = rrows + 1
              let nc2: i64 = irx_cols(rb, j, le2, sp)
              if nc2 != IRX_RISK_NCOL { rmal = rmal + 1 } else {
                  let lik: i64 = irx_atoi_slice(rb, sp[4], sp[5])
                  let imp: i64 = irx_atoi_slice(rb, sp[6], sp[7])
                  if lik < 1 { numbad = numbad + 1 }
                  if lik > 9 { numbad = numbad + 1 }
                  if imp < 1 { numbad = numbad + 1 }
                  if imp > 9 { numbad = numbad + 1 }
                  let expo: i64 = lik * imp
                  if expo > maxexpo { maxexpo = expo }
              }
          }
          j = le2 + 1
      }
  }
  var pass: i64 = 0
  if fn2 > 0 { if frows > 0 { if fmal == 0 { pass = pass + 1; irx_werr("T1 featreg loads, all rows 9-col: PASS\n" as *u8) } } }
  if pass < 1 { irx_werr("T1 featreg structural: FAIL\n" as *u8) }
  var p2: i64 = 0
  if rn > 0 { if rrows > 0 { if rmal == 0 { p2 = 1; irx_werr("T2 riskreg loads, all rows 10-col: PASS\n" as *u8) } } }
  if p2 == 0 { irx_werr("T2 riskreg structural: FAIL\n" as *u8) }
  pass = pass + p2
  var p3: i64 = 0
  if rrows > 0 { if numbad == 0 { p3 = 1; irx_werr("T3 likelihood+impact all 1..9: PASS\n" as *u8) } }
  if p3 == 0 { irx_werr("T3 likelihood+impact range: FAIL\n" as *u8) }
  pass = pass + p3
  var p4: i64 = 0
  if neghits == 0 { p4 = 1; irx_werr("T4 negative-control query matches 0: PASS\n" as *u8) }
  if p4 == 0 { irx_werr("T4 negative-control: FAIL\n" as *u8) }
  pass = pass + p4
  var p5: i64 = 0
  if poshits > 0 { p5 = 1; irx_werr("T5 positive query FR matches: PASS\n" as *u8) }
  if p5 == 0 { irx_werr("T5 positive query: FAIL\n" as *u8) }
  pass = pass + p5
  var p6: i64 = 0
  if maxexpo > 0 { p6 = 1; irx_werr("T6 derived exposure nonzero: PASS\n" as *u8) }
  if p6 == 0 { irx_werr("T6 derived exposure: FAIL\n" as *u8) }
  pass = pass + p6
  var drows: i64 = 0
  var dmal: i64 = 0
  var dlinks: i64 = 0
  if dn > 0 {
      var kk: i64 = 0
      while kk < dn {
          var dle: i64 = kk
          var dss: i64 = 1
          while dss == 1 { if dle >= dn { dss = 0 } else { if db[dle] == (IRX_NL as u8) { dss = 0 } else { dle = dle + 1 } } }
          if dle > kk {
              drows = drows + 1
              let dnc: i64 = irx_cols(db, kk, dle, sp)
              if dnc != IRX_DEC_NCOL { dmal = dmal + 1 } else {
                  var isnone: i64 = 0
                  if sp[15] - sp[14] == 1 { if db[sp[14]] == (45 as u8) { isnone = 1 } }
                  if isnone == 0 { dlinks = dlinks + 1 }
              }
          }
          kk = dle + 1
      }
  }
  let ddangle: i64 = irx_dec_dangling(db, dn)
  var p7: i64 = 0
  if dn > 0 { if drows > 0 { if dmal == 0 { p7 = 1; irx_werr("T7 decreg loads, all rows 9-col: PASS\n" as *u8) } } }
  if p7 == 0 { irx_werr("T7 decreg structural: FAIL\n" as *u8) }
  pass = pass + p7
  var p8: i64 = 0
  if dlinks > 0 { if ddangle == 0 { p8 = 1; irx_werr("T8 supersedes chain sound (links>0 AND dangling=0): PASS\n" as *u8) } }
  if p8 == 0 { irx_werr("T8 supersedes chain integrity: FAIL\n" as *u8) }
  pass = pass + p8
  let m: *u8 = sys_mmap(IRX_MAGIC_4096)
  var mo: i64 = ss_cat(m, 0, "SELFTEST " as *u8)
  mo = ss_catn(m, mo, pass)
  mo = ss_cat(m, mo, "/8 VERDICT=" as *u8)
  if pass == 8 { mo = ss_cat(m, mo, "GREEN" as *u8) } else { mo = ss_cat(m, mo, "RED" as *u8) }
  mo = irx_b(m, mo, IRX_NL)
  sys_write(1, m, mo)
  if pass == 8 { sys_exit(0) }
  sys_exit(IRX_EXIT_RED)
  return 0
856}
857
858func main(argc: i64, argv: *i64) -> i64 {
  if argc < 2 { irx_werr("usage: nx_info_registry features|risks|decisions [query] | board | page | selftest\n" as *u8); sys_exit(IRX_EXIT_USAGE); return IRX_EXIT_USAGE }
  let verb: *u8 = argv[1] as *u8
  if irx_eqs("features" as *u8, verb) == 1 {
      var hasq: i64 = 0
      var q: *u8 = "none" as *u8
      if argc > 2 { hasq = 1; q = argv[2] as *u8 }
      irx_emit_registry(1, q, hasq)
      sys_exit(0)
      return 0
  }
  if irx_eqs("risks" as *u8, verb) == 1 {
      var hasq2: i64 = 0
      var q2: *u8 = "none" as *u8
      if argc > 2 { hasq2 = 1; q2 = argv[2] as *u8 }
      irx_emit_registry(0, q2, hasq2)
      sys_exit(0)
      return 0
  }
  if irx_eqs("decisions" as *u8, verb) == 1 {
      var hasq3: i64 = 0
      var q3: *u8 = "none" as *u8
      if argc > 2 { hasq3 = 1; q3 = argv[2] as *u8 }
      irx_emit_decisions(q3, hasq3)
      sys_exit(0)
      return 0
  }
  if irx_eqs("board" as *u8, verb) == 1 { irx_do_board(); sys_exit(0); return 0 }
  if irx_eqs("page" as *u8, verb) == 1 { irx_do_page(); sys_exit(0); return 0 }
  if irx_eqs("selftest" as *u8, verb) == 1 { irx_do_selftest(); sys_exit(0); return 0 }
  irx_werr("usage: nx_info_registry features|risks|decisions [query] | board | page | selftest\n" as *u8)
  sys_exit(IRX_EXIT_USAGE)
  return IRX_EXIT_USAGE
891}
nx_info_registry.nx source

`nx_info_registry.nx` source
