`nx_gatesubj.nx` source

↩ module page · 318 lines · 14716 B
1// nx_gatesubj.nx -- RESOLVE EVERY GATE'S SUBJECT FROM THE GATE'S OWN SOURCE.
2//
3// THE PROBLEM THIS SIZES
4// ----------------------
5// Non-vacuity (can this gate ever fail?) is measured by nx_gate_bite, driven in bulk by nx_bite_sweep
6// over rows declared in `knowledge/compare/*.gates`. Measured 2026-08-07:
7//
8//     2,316 `*_gate.nx` in the tree
9//        19 declared in the registry      =   8 permil coverage
10//       855 resolvable by NAME convention = 369 permil   (nx_X_gate.nx -> nx_X.nx)
11//
12// So 99.2% of the estate's gates have never been asked whether they can fail, and the obvious
13// convention reaches only a third of them. nx_bite_sweep's header is right to refuse NAME guessing --
14// "a guessed path that fails to open produces 'no mutant killed', which reads identically to a vacuous
15// gate" -- but it drew the wrong conclusion from it, that the subject must be hand-declared.
16//
17// ★★★★★★ THE GATE ALREADY NAMES ITS SUBJECT -- IN THE PATH IT EXECUTES OR THE MODULE IT IMPORTS.
18// DERIVING FROM THE FILENAME IS GUESSING WHILE THE ANSWER IS SITTING IN THE FILE.
19//
20// An END-TO-END gate contains the literal `_offc/<organ>.elf` it fork/execs. An IN-PROCESS gate
21// contains `import "<organ>.nx"`. Neither is a heuristic: both are the gate's own statement of what it
22// tests, and both are exact. A gate with neither is honestly reported UNRESOLVED rather than guessed.
23// ★ REPORTING "I COULD NOT DETERMINE THIS" IS A RESULT; GUESSING AND BEING WRONG IS A FALSE ACCUSATION
24// AGAINST A WORKING GATE.
25//
26// usage: nx_gatesubj [--dir D] [--rows]      --rows emits `gate|subject.nx|target|mode` for a sweep
27// license_tier: ORIGINAL
28import "nx_memplane_lib.nx"
29import "nx_gatekit_lib.nx"
30const GS_MAGIC_8192: i64 = 8192
31const GS_MAGIC_4096: i64 = 4096
32
33const GS_DIR:  *u8 = "/mnt/c/Users/elder/nishi-core/nxc2/runtime/_hdl_build"
34const GS_MAXF: i64 = 32768       // holds the WHOLE corpus pre-filter (18,563), not just gates
35const GS_FBUF: i64 = 4194304
36
37func gs_isid(c: i64) -> i64 {
  if c >= 97 { if c <= 122 { return 1 } }
  if c >= 65 { if c <= 90 { return 1 } }
  if c >= 48 { if c <= 57 { return 1 } }
  if c == 95 { return 1 }
  return 0
43}
44
45// (gs_isnx was written here, then superseded by gs_isgate before it ever had a caller. Removed the
46// moment nx_unwired named it, rather than accepted into the baseline -- the ratchet is only worth
47// having if its own author fixes what it finds instead of acknowledging it away.)
48
49// does `name` end with "_gate.nx"?
50func gs_isgate(name: *u8) -> i64 {
  let l: i64 = mp_len(name)
  if l < 9 { return 0 }
  let suf: *u8 = "_gate.nx" as *u8
  var i: i64 = 0
  while i < 8 { if name[l - 8 + i] != suf[i] { return 0 } i = i + 1 }
  return 1
57}
58
59
60
61// find `_offc/<ident>.elf` and copy <ident> to out. Returns 1 on success.
62// ⚠ Skips the gate's OWN name and the shared builder, which every gate mentions.
63func gs_execsubj(buf: *u8, n: i64, self: *u8, out: *u8) -> i64 {
  let pat: *u8 = "_offc/" as *u8
  var i: i64 = 0
  while i + 6 < n {
      var ok: i64 = 1
      var j: i64 = 0
      while j < 6 { if buf[i + j] != pat[j] { ok = 0; j = 6 } else { j = j + 1 } }
      if ok == 1 {
          var p: i64 = i + 6
          var k: i64 = 0
          // FLAG-TERMINATED. `p = n + 9` writes the exit marker into the cursor and the restore lands
          // on `n`, so the character AFTER the identifier -- the one that decides `.elf` vs `.nx` --
          // is read from the wrong place. FIFTH occurrence of this idiom in one session.
          // ★★★★★★ THE FIFTH TIME YOU FIX A BUG BY HAND IS PROOF THE FIX BELONGS IN A LINTER.
          var fin: i64 = 0
          while fin == 0 {
              if p >= n { fin = 1 }
              if fin == 0 {
                  if gs_isid(buf[p] as i64) == 1 { if k < 120 { out[k] = buf[p]; k = k + 1 } p = p + 1 }
                  if gs_isid(buf[p] as i64) == 0 { fin = 1 }
              }
          }
          out[k] = 0 as u8
          if k > 2 {
              // must be followed by ".elf"
              if buf[p] == (46 as u8) {
                  if buf[p + 1] == (101 as u8) {
                      if buf[p + 2] == (108 as u8) {
                          if buf[p + 3] == (102 as u8) {
                              var skip: i64 = 0
                              if mp_streq(out, self) == 1 { skip = 1 }
                              if mp_streq(out, "nx_sov_build_run" as *u8) == 1 { skip = 1 }
                              if skip == 0 { return 1 }
                          }
                      }
                  }
              }
          }
      }
      i = i + 1
  }
  return 0
105}
106
107// find `import "<ident>.nx"` and copy <ident> to out, skipping the shared libraries.
108func gs_impsubj(buf: *u8, n: i64, out: *u8) -> i64 {
  let pat: *u8 = "import \"" as *u8
  var i: i64 = 0
  while i + 8 < n {
      var ok: i64 = 1
      var j: i64 = 0
      while j < 8 { if buf[i + j] != pat[j] { ok = 0; j = 8 } else { j = j + 1 } }
      if ok == 1 {
          var p: i64 = i + 8
          var k: i64 = 0
          // FLAG-TERMINATED. `p = n + 9` writes the exit marker into the cursor and the restore lands
          // on `n`, so the character AFTER the identifier -- the one that decides `.elf` vs `.nx` --
          // is read from the wrong place. FIFTH occurrence of this idiom in one session.
          // ★★★★★★ THE FIFTH TIME YOU FIX A BUG BY HAND IS PROOF THE FIX BELONGS IN A LINTER.
          var fin: i64 = 0
          while fin == 0 {
              if p >= n { fin = 1 }
              if fin == 0 {
                  if gs_isid(buf[p] as i64) == 1 { if k < 120 { out[k] = buf[p]; k = k + 1 } p = p + 1 }
                  if gs_isid(buf[p] as i64) == 0 { fin = 1 }
              }
          }
          out[k] = 0 as u8
          if k > 2 {
              var skip: i64 = 0
              if mp_streq(out, "nx_syscalls" as *u8) == 1 { skip = 1 }
              if mp_streq(out, "nx_memplane_lib" as *u8) == 1 { skip = 1 }
              if mp_streq(out, "nx_gatekit_lib" as *u8) == 1 { skip = 1 }
              if mp_streq(out, "nx_artifact_root" as *u8) == 1 { skip = 1 }
              if skip == 0 { return 1 }
          }
      }
      i = i + 1
  }
  return 0
143}
144
145func main(argc: i64, argv: *i64) -> i64 {
  var dir: *u8 = GS_DIR
  var rows: i64 = 0
  var dirset: i64 = 0
  var a: i64 = 1
  while a < argc {
      let s: *u8 = argv[a] as *u8
      if mp_streq(s, "--dir" as *u8) == 1 { if a + 1 < argc { dir = argv[a + 1] as *u8; dirset = 1; a = a + 1 } }
      if mp_streq(s, "--rows" as *u8) == 1 { rows = 1 }
      a = a + 1
  }
156
  let msg: *u8 = sys_mmap(GS_MAGIC_8192)
  let names: *u8 = sys_mmap(GS_MAXF * 128)
  let fbuf: *u8 = sys_mmap(GS_FBUF)
  let path: *u8 = sys_mmap(GS_MAGIC_4096)
  let subj: *u8 = sys_mmap(256)
  let self: *u8 = sys_mmap(256)
  let spath: *u8 = sys_mmap(GS_MAGIC_4096)
  let alt: *u8 = sys_mmap(GS_MAGIC_4096)
  let probe: *u8 = sys_mmap(256)
  let hdlp: *u8 = sys_mmap(GS_MAGIC_4096)
  let rtp:  *u8 = sys_mmap(GS_MAGIC_4096)
  gk_corpus_hdl(hdlp)
  gk_corpus_root(rtp)
170
  // THIS ORGAN FIXED THE HARDCODED-DIRECTORY BUG IN THE THING IT LOOKS AT AND LEFT IT IN THE LIST
  // OF THINGS IT LOOKS THROUGH. The comment below (★ RESOLVING A NAME IS NOT RESOLVING A PATH)
  // taught the subject resolver to stat BOTH source directories -- and 40 lines above it, the
  // enumerator that decides WHICH GATES EXIST still read one. So the census correctly resolved the
  // subject of every gate it had heard of, having heard of 38.6% of them.
  // ★★★★★★ FIXING A HARDCODED PATH WHERE IT IS READ, BUT NOT WHERE THE POPULATION IS ENUMERATED,
  //        LEAVES A CENSUS THAT IS PRECISE ABOUT A SUBSET AND SILENT ABOUT THE REST.
  var scanned: i64 = 0
  if dirset == 0 { scanned = gk_corpus_scan(names, MP_SLOT, GS_MAXF) }
  if dirset == 1 { scanned = gk_dirscan(dir, 0 as *u8, names, MP_SLOT, GS_MAXF, 0) }
  if scanned == (0 - 2) {
      var mq: i64 = mp_cat(msg, 0, "*** nx_gatesubj: REFUSED -- corpus exceeds GS_MAXF; a truncated census is not a census. ***\n" as *u8)
      mp_say(msg, mq)
      return 1
  }
  if scanned == (0 - 3) {
      var mr: i64 = mp_cat(msg, 0, "*** nx_gatesubj: REFUSED -- a source path exceeds the name slot. ***\n" as *u8)
      mp_say(msg, mr)
      return 1
  }
  if scanned <= 0 {
      var me: i64 = mp_cat(msg, 0, "*** nx_gatesubj: REFUSED -- could not scan the source tree. ***\n" as *u8)
      mp_say(msg, me)
      return 1
  }
  // Compact in place to the gates only, so every count below keeps its old meaning.
  // gs_isgate tests the LAST 8 bytes, so it works on an absolute path unchanged.
  var cnt: i64 = 0
  var ci: i64 = 0
  while ci < scanned {
      let cp: *u8 = mp_nameptr(names, ci)
      if gs_isgate(cp) == 1 {
          let dp: *u8 = mp_nameptr(names, cnt)
          var cz: i64 = 0
          while cp[cz] != (0 as u8) { if cz < MP_SLOT - 1 { dp[cz] = cp[cz] } cz = cz + 1 }
          dp[cz] = 0 as u8
          cnt = cnt + 1
      }
      ci = ci + 1
  }
  var mgc: i64 = mp_cat(msg, 0, "  corpus=" as *u8)
  mgc = mp_catn(msg, mgc, scanned)
  mgc = mp_cat(msg, mgc, " files scanned, gate_sources=" as *u8)
  mgc = mp_catn(msg, mgc, cnt)
  if dirset == 0 { mgc = mp_cat(msg, mgc, " (WHOLE compile corpus)\n" as *u8) }
  if dirset == 1 { mgc = mp_cat(msg, mgc, " (NARROWED by --dir; NOT the whole tree)\n" as *u8) }
  mp_say(msg, mgc)
  if cnt <= 0 {
      var m0: i64 = mp_cat(msg, 0, "*** nx_gatesubj: REFUSED -- no *_gate.nx found. ***\n" as *u8)
      mp_say(msg, m0)
      return 1
  }
223
  var n_e2e: i64 = 0
  var n_inproc: i64 = 0
  var n_unres: i64 = 0
  var m: i64 = 0
228
  var i: i64 = 0
  while i < cnt {
      let nm: *u8 = mp_nameptr(names, i)
      // the gate's own target name, so it does not resolve to itself.
      // nm is now an ABSOLUTE PATH, so take the basename first -- otherwise `self` would carry the
      // directory and could never match a subject name.
      var bo: i64 = 0
      var bz: i64 = 0
      while nm[bz] != (0 as u8) { if nm[bz] == (47 as u8) { bo = bz + 1 } bz = bz + 1 }
      let base: *u8 = ((nm as i64) + bo) as *u8
      var q: i64 = 0
      while base[q] != (0 as u8) { if q < 250 { self[q] = base[q] } q = q + 1 }
      if q > 3 { q = q - 3 }
      self[q] = 0 as u8
243
      let n: i64 = mp_readf(nm, fbuf, GS_FBUF)
      var mode: i64 = 0
      if n > 0 {
          if gs_execsubj(fbuf, n, self, subj) == 1 { mode = 1 }
          if mode == 0 { if gs_impsubj(fbuf, n, subj) == 1 { mode = 2 } }
      }
      // (counters moved INTO the path-verification block below -- leaving them here counted every
      // gate twice and produced "coverage 1835 permil".
      // ★★★★★ A PERCENTAGE OVER 100% IS A COUNTING BUG ANNOUNCING ITSELF; A RATIO THAT CANNOT EXCEED
      // ITS DENOMINATOR IS A FREE SELF-CHECK, SO ALWAYS PRINT ONE.)
254
      // ★★★★★ RESOLVING A NAME IS NOT RESOLVING A PATH. Modules live in BOTH `runtime/_hdl_build/`
      // and `runtime/`; hardcoding one directory emitted rows whose subject could not be opened, and
      // a path that fails to open is precisely the "guessed path" failure nx_bite_sweep's header
      // warns about -- it produces "no mutant killed", indistinguishable from a vacuous gate.
      // I reintroduced the very defect I had just quoted, by assuming a directory instead of
      // checking one. STAT BOTH, EMIT WHAT OPENS, COUNT THE REST AS UNRESOLVED.
      if mode > 0 {
          // ⚠ BOTH DIRECTORIES ARE HOST-RESOLVED. This block previously joined against GS_DIR and a
          // second hardcoded literal. Fixing only the ENUMERATOR left this resolver still pointing at
          // the laptop tree, and on the NAS that path EXISTS as a directory of .elf artifacts -- so
          // every subject failed to open and the organ reported 3,194 gates, 0 resolved, coverage 0
          // permil, having been 910 permil one host earlier.
          // ★★★★★★ A SECOND HARDCODED PATH IN THE SAME FILE IS NOT A SECOND BUG, IT IS THE SAME BUG
          //        SURVIVING IN THE HALF YOU DID NOT LOOK AT.
          var sp1: i64 = gk_cat(spath, 0, hdlp)
          sp1 = gk_cat(spath, sp1, subj)
          sp1 = gk_cat(spath, sp1, ".nx" as *u8)
          spath[sp1] = 0 as u8
          var where: i64 = 0
          if mp_readf(spath, probe, 64) > 0 { where = 1 }
          if where == 0 {
              var o2: i64 = gk_cat(alt, 0, rtp)
              o2 = gk_cat(alt, o2, subj)
              o2 = gk_cat(alt, o2, ".nx" as *u8)
              alt[o2] = 0 as u8
              if mp_readf(alt, probe, 64) > 0 { where = 2 }
          }
          if where == 0 { mode = 0 }
          if where > 0 {
              if mode == 1 { n_e2e = n_e2e + 1 }
              if mode == 2 { n_inproc = n_inproc + 1 }
              if rows == 1 {
                  m = mp_cat(msg, 0, self)
                  m = mp_cat(msg, m, "|" as *u8)
                  if where == 1 { m = mp_cat(msg, m, "runtime/_hdl_build/" as *u8) }
                  if where == 2 { m = mp_cat(msg, m, "runtime/" as *u8) }
                  m = mp_cat(msg, m, subj)
                  m = mp_cat(msg, m, ".nx|" as *u8)
                  m = mp_cat(msg, m, subj)
                  if mode == 1 { m = mp_cat(msg, m, "|e2e\n" as *u8) }
                  if mode == 2 { m = mp_cat(msg, m, "|inproc\n" as *u8) }
                  mp_say(msg, m)
              }
          }
      }
      if mode == 0 { n_unres = n_unres + 1 }
      i = i + 1
  }
303
  m = mp_cat(msg, 0, "nx_gatesubj: " as *u8)
  m = mp_catn(msg, m, cnt)
  m = mp_cat(msg, m, " gates -- resolved from the gate's OWN source: " as *u8)
  m = mp_catn(msg, m, n_e2e)
  m = mp_cat(msg, m, " end-to-end (execs _offc/<organ>.elf), " as *u8)
  m = mp_catn(msg, m, n_inproc)
  m = mp_cat(msg, m, " in-process (imports the module), " as *u8)
  m = mp_catn(msg, m, n_unres)
  m = mp_cat(msg, m, " UNRESOLVED (honestly reported, never guessed).\n" as *u8)
  m = mp_cat(msg, m, "  coverage " as *u8)
  m = mp_catn(msg, m, 1000 * (n_e2e + n_inproc) / cnt)
  m = mp_cat(msg, m, " permil, against 8 permil declared in knowledge/compare/*.gates and 369 permil reachable by name convention.\n" as *u8)
  mp_say(msg, m)
  return 0
318}
nx_gatesubj.nx source

`nx_gatesubj.nx` source
