@polycode-projects/the-mechanical-code-talker 2.0.3 → 2.3.0

package/src/domain/syllogise.mjs

@@ -42,13 +42,13 @@ function requireStore(store, needed, caller) {
 /** scm-sco: the subClassOf-transitivity rule, and the provenance tag its
  *  conclusions carry. */
 export const SUBCLASS_PREDICATE = "rdfs:subClassOf";
-export const SYLLOGISE_RULE = "subClassOf";
+const SYLLOGISE_RULE = "subClassOf";
 export const ENTAILED_PROVENANCE = `entailed:${SYLLOGISE_RULE}`;
 
 /** cax-sco: the type-propagation rule, and the provenance tag its conclusions
  *  carry. */
 export const TYPE_PREDICATE = "rdf:type";
-export const CAX_SCO_RULE = "type";
+const CAX_SCO_RULE = "type";
 export const ENTAILED_TYPE_PROVENANCE = `entailed:${CAX_SCO_RULE}`;
 
 /** cax-dw: x rdf:type C1, C1 owl:disjointWith C2 |= x is NOT of type C2 — a
@@ -396,7 +396,7 @@ export function deriveSomeValuesFromApplication(propertyEdges, typeEdges, subCla
 // deriveSomeValuesFromApplication reconstructs someValuesFrom restrictions.
 const HAS_PROPERTY_KEY = "has"; // synthetic marker parseCardinality always mints, never a real taught verb
 const CARDINALITY_KIND_OF = { "owl:cardinality": "exactly", "owl:mincardinality": "min", "owl:maxcardinality": "max" };
-export const ON_CLASS_PREDICATE = "owl:onClass";
+const ON_CLASS_PREDICATE = "owl:onClass";
 
 /** Reconstructs pattern-5 cardinality restriction records from raw stored
  *  rows touching a restriction node. A restriction is only admitted when its
@@ -525,7 +525,7 @@ function findOwnCardinalityRestriction(subClassEdges, cardinalityRestrictionEdge
 }
 
 // ---- cardinality monotonicity (outside OWL 2 RL's own decidable profile) ----
-export const SCM_CARD_RULE = "cardinalityMonotonicity";
+const SCM_CARD_RULE = "cardinalityMonotonicity";
 /** Same sub-1 discount as CAX_DW_RULE_CONFIDENCE. No `syllogise()` call site
  *  (this rule is query-rooted, never an enumerable Fact) — defined anyway so
  *  chat.mjs's live proof chase can attach an auditable confidence figure
@@ -557,7 +557,7 @@ export function proveCardinalityAtLeast(subClassEdges, cardinalityRestrictionEdg
 // generalization — see this file's header comment; `cax-` prefix per this
 // ladder's "produces a provable no" naming convention, same epistemic status
 // as cax-dw) ----
-export const CAX_MAXC0_RULE = "maxCardinalityZero";
+const CAX_MAXC0_RULE = "maxCardinalityZero";
 /** Same sub-1 discount and query-rooted caveat as CARDINALITY_RULE_CONFIDENCE. */
 export const CAX_MAXC0_RULE_CONFIDENCE = 0.95;
 
@@ -989,7 +989,7 @@ function buildSurvivorDerivabilityCheck(rows) {
  * A survivor keeps its stale, still-single justification as-is; a later
  * retraction of its OTHER supporting path therefore won't re-examine it.
  * Re-grounding survivors — or tracking every alternate justification set —
- * is the ATMS horizon (PLAN_SYLLOGIST.md §3), not this bounded slice.
+ * is the ATMS horizon, not this bounded slice.
  *
  * Returns { retracted, count, budget, depth, truncated, found } — `found` is
  * false when `subject ⊑ object` was never a stored fact.

package/src/domain/version-stamp.mjs

@@ -0,0 +1,36 @@
+// version-stamp.mjs — the home page's #pkg-version element, written and read
+// from one place. Pure: strings in, strings out, no imports, so the deploy
+// smoke check can reach it without npm ci.
+//
+// This existed three times and the copies had already drifted: the writer
+// matched [^<]*, the smoke check demanded \d+\.\d+\.\d+, and the estate test
+// accepted [^<\s]*. A writer that accepts what its reader rejects is a green
+// build and a failed deploy, so the pattern lives here and all three call it.
+
+/** The element that carries the version, and the value inside it. */
+const STAMP = /(id="pkg-version"[^>]*>)\s*v?([^<]*?)\s*(<)/;
+
+/** A semver core, which is what the deploy smoke check is entitled to expect. */
+const SEMVER = /^\d+\.\d+\.\d+$/;
+
+/** True iff `html` carries an element the stamp can be written into. */
+export function hasVersionStamp(html) {
+  return STAMP.test(html);
+}
+
+/** The version `html` displays, or null when the element is absent or holds
+ *  something that is not a semver core (an unstamped placeholder, say). */
+export function parseVersionStamp(html) {
+  const found = STAMP.exec(html);
+  if (!found) return null;
+  const value = found[2].trim();
+  return SEMVER.test(value) ? value : null;
+}
+
+/** `html` with the stamp set to `version`. Throws when there is nothing to
+ *  stamp — a page that lost its element would otherwise publish blank. */
+export function stampVersion(html, version) {
+  if (!SEMVER.test(version)) throw new Error(`not a stampable version: "${version}"`);
+  if (!hasVersionStamp(html)) throw new Error("no #pkg-version element to stamp");
+  return html.replace(STAMP, `$1${version}$3`);
+}

package/src/domain/wordnet/yaml.mjs

@@ -0,0 +1,133 @@
+// yaml.mjs — a reader for the small YAML subset the Open English WordNet dump
+// uses: 2-space-indented block mappings/sequences, quoted or bare scalars, and
+// long scalar list-items that simply WRAP onto a further-indented continuation
+// line. No block scalars, no anchors, no flow style — confirmed by direct
+// inspection of the dump. This reads exactly that subset; it is not a general
+// YAML parser.
+//
+// Pure: text in, object out, no imports, so it is testable without the WordNet
+// clone the scripts that call it need.
+
+/** Non-greedy key group so a MULTI-WORD entry key ("M-1 rifle", "ice cream")
+ *  still matches — the first ": "/end-of-line colon wins, exactly as real
+ *  YAML's block-mapping key/value split works. A plain wrapped scalar
+ *  continuation line (a definition/example fragment) only coincidentally
+ *  matches this if it ALSO happens to contain a bare "word: " sequence — rare
+ *  in this corpus's prose, and this feeds a maintainer worksheet whose output
+ *  is hand-reviewed, not a correctness-critical parser. */
+const KEY_RE = /^(.+?):(\s+(.*)|)$/;
+
+const isDash = (t) => t === "-" || t.startsWith("- ");
+
+function parseScalar(s) {
+  const t = s.trim();
+  if ((t.startsWith("'") && t.endsWith("'") && t.length >= 2) || (t.startsWith('"') && t.endsWith('"') && t.length >= 2)) {
+    return t.slice(1, -1);
+  }
+  return t;
+}
+
+export function parseYaml(text) {
+  const rawLines = text.split("\n");
+  const lines = [];
+  for (const line of rawLines) {
+    if (!line.trim() || line.trim().startsWith("#")) continue;
+    const indent = line.length - line.trimStart().length;
+    lines.push({ indent, text: line.trimStart() });
+  }
+  let pos = 0;
+
+  // A scalar that may continue on subsequent MORE-indented lines with no
+  // "key:"/"- " marker of their own (WordNet's definition-wrapping style). A
+  // QUOTED scalar ('...' or "...") is handled separately: WordNet definitions
+  // routinely contain a literal ": " inside the quoted text itself (e.g. "…
+  // Matthew, Mark, Luke, and John" split across a line boundary right after a
+  // colon) — the bare-scalar heuristic below would misread that continuation
+  // line as a new "key:" line and truncate the string. Once inside an open
+  // quote, EVERY line is a continuation until one ends with the matching
+  // closing quote, full stop — the key/dash heuristic never applies inside it.
+  function parseScalarOrContinue(first, minContinIndent) {
+    const trimmed = first.trim();
+    const quote = trimmed[0] === "'" || trimmed[0] === '"' ? trimmed[0] : null;
+    if (quote) {
+      const closes = (s) => s.length >= 2 && s.endsWith(quote);
+      let buf = trimmed;
+      while (!closes(buf) && pos < lines.length && lines[pos].indent >= minContinIndent) {
+        buf += " " + lines[pos].text.trim();
+        pos += 1;
+      }
+      return closes(buf) ? buf.slice(1, -1) : buf;
+    }
+    let s = parseScalar(first);
+    while (pos < lines.length && lines[pos].indent >= minContinIndent
+      && !isDash(lines[pos].text) && !KEY_RE.test(lines[pos].text)) {
+      s += " " + lines[pos].text.trim();
+      pos += 1;
+    }
+    return s;
+  }
+
+  /** The value that follows a "key:" (bare, no inline scalar) — peeks at the
+   *  next line to decide whether it's a nested sequence (which YAML allows to
+   *  sit at the SAME indent as the key itself, not just deeper) or a nested
+   *  mapping (which must be deeper) or simply absent (null). `parentIndent`
+   *  is the indent of the "key:" line whose value this resolves. */
+  function parseValue(parentIndent) {
+    if (pos >= lines.length || lines[pos].indent < parentIndent) return null;
+    const line = lines[pos];
+    if (isDash(line.text)) return parseSeq(line.indent);
+    if (line.indent > parentIndent && KEY_RE.test(line.text)) return parseMap(line.indent);
+    return null;
+  }
+
+  function parseSeq(indent) {
+    const arr = [];
+    while (pos < lines.length && lines[pos].indent === indent && isDash(lines[pos].text)) {
+      const dashIndent = indent;
+      const rest = lines[pos].text === "-" ? "" : lines[pos].text.slice(2);
+      pos += 1;
+      if (rest === "") {
+        arr.push(parseValue(dashIndent));
+        continue;
+      }
+      // A quoted scalar is classified FIRST, unconditionally — WordNet
+      // definitions routinely contain a literal ": " (or a colon at the very
+      // end of a wrapped line, e.g. "…including:\n  whales, …") inside quoted
+      // prose, which KEY_RE would otherwise misread as an inline "- key:"
+      // mapping. Only an UNQUOTED rest is even considered for that shape.
+      const quoted = rest[0] === "'" || rest[0] === '"';
+      const m = quoted ? null : KEY_RE.exec(rest);
+      if (m) {
+        // "- key: value" or "- key:" — an inline mapping for this list item;
+        // sibling keys of the SAME item are indented +2 from the dash.
+        const obj = {};
+        obj[m[1]] = m[3] !== undefined && m[3] !== "" ? parseScalarOrContinue(m[3], dashIndent + 2) : parseValue(dashIndent + 2);
+        while (pos < lines.length && lines[pos].indent === dashIndent + 2 && KEY_RE.test(lines[pos].text)) {
+          const mm = KEY_RE.exec(lines[pos].text);
+          pos += 1;
+          obj[mm[1]] = mm[3] !== undefined && mm[3] !== "" ? parseScalarOrContinue(mm[3], dashIndent + 4) : parseValue(dashIndent + 2);
+        }
+        arr.push(obj);
+      } else {
+        // a plain (or quoted) scalar list item — may wrap onto continuation lines
+        arr.push(parseScalarOrContinue(rest, dashIndent + 2));
+      }
+    }
+    return arr;
+  }
+
+  function parseMap(indent) {
+    const obj = {};
+    while (pos < lines.length && lines[pos].indent === indent && KEY_RE.test(lines[pos].text)) {
+      const m = KEY_RE.exec(lines[pos].text);
+      const key = parseScalar(m[1]);
+      pos += 1;
+      obj[key] = m[3] !== undefined && m[3] !== "" ? parseScalarOrContinue(m[3], indent + 2) : parseValue(indent);
+      // (parseValue(indent) — not indent+2 — so a same-indent sequence value
+      // is recognized; parseValue itself accepts child indent >= indent.)
+    }
+    return obj;
+  }
+
+  return parseMap(0);
+}

package/src/services/chat-session.mjs

@@ -9,8 +9,8 @@
 //
 // createSession(…) is the SESSION SINK every shell shares (runChat's
 // readline loop below, src/surfaces/tui/app.mjs's Ink shell). chat.mjs re-exports
-// createSession/runChat/gitToplevel and the session constants so existing
-// import sites keep working.
+// createSession/runChat and the session constants so existing import sites
+// keep working.
 
 import { join, resolve } from "node:path";
 import { createWriteStream } from "node:fs";

package/src/services/chat.mjs

@@ -62,8 +62,8 @@ export { uuidv7 };
 // in the session layer so runTurn and the fact engine below stay free of
 // node:fs/child_process/os/readline. Re-exported here (services → services) so
 // every existing import site — bin, tui, server-http, index, tests — keeps
-// importing createSession/runChat/gitToplevel/SESSION_LOG_DIR/PROMPT from chat.mjs.
-export { createSession, runChat, gitToplevel, SESSION_LOG_DIR, PROMPT } from "./chat-session.mjs";
+// importing createSession/runChat/SESSION_LOG_DIR/PROMPT from chat.mjs.
+export { createSession, runChat, SESSION_LOG_DIR, PROMPT } from "./chat-session.mjs";
 
 /** dispatchTool("tmct_ask", …) returns the prose answer plus a delimited
  *  machine-readable envelope; the TUI shows the prose only. Reused verbatim

package/src/services/cli-args.mjs

@@ -15,8 +15,8 @@
 //   3. tmct.toml's `graph_file` / `graph_files`
 //   4. <repo>/.tmct/graph.json, where repo is --repo, else git root, else cwd
 //
-// Deliberately does NOT import chat.mjs (would be circular) — the git-root lookup below
-// is a small, self-contained copy of chat.mjs's own gitToplevel().
+// Deliberately does NOT import chat-session.mjs (would be circular) — the git-root lookup
+// below is a small, self-contained copy of chat-session.mjs's own gitToplevel().
 
 import { spawnSync } from "node:child_process";
 import { dirname, resolve } from "node:path";
@@ -26,8 +26,8 @@ import { loadTomlConfig, normalizeConfig, mergeEffective, CONFIG_FILE } from "..
 import { DEFAULT_GRAPH_REL } from "../adapters/config.mjs";
 
 /** The git top-level for `cwd`, or null if not in a repo (or git is
- *  unavailable). A deliberate re-declaration of chat.mjs's gitToplevel (not an
- *  import) — see the file docblock for why. */
+ *  unavailable). A deliberate re-declaration of chat-session.mjs's gitToplevel
+ *  (not an import) — see the file docblock for why. */
 function defaultGitRoot(cwd) {
   try {
     const r = spawnSync("git", ["rev-parse", "--show-toplevel"], { cwd, encoding: "utf8" });

package/src/services/finish.mjs

@@ -18,7 +18,7 @@ export { flatten };
 
 const GRAMMAR_DIR = dirname(fileURLToPath(import.meta.url));
 /** The data-driven grammar-rule table. */
-export const GRAMMAR_RULES_FILE = join(GRAMMAR_DIR, "..", "..", "data", "templates", "grammar-rules.toml");
+const GRAMMAR_RULES_FILE = join(GRAMMAR_DIR, "..", "..", "data", "templates", "grammar-rules.toml");
 
 /** The segment type vocabulary. `prose` is the only unprotected type. */
 export const SEGMENT_TYPES = Object.freeze([

package/src/services/ledger-viz.mjs

@@ -1,6 +1,5 @@
 // ledger-viz.mjs — `tmct viz`: the memory graph as a readable ledger of
-// fact-sentences around one focus term, with the in-page chat dock
-// (PLAN_VIZ_LEDGER.md).
+// fact-sentences around one focus term, with the in-page chat dock.
 //
 // Three pure/impure-separated pieces:
 //   - computeLedgerData(repoDir, opts)      — I/O (loadMemory) + derivation
@@ -16,7 +15,7 @@ import { readFile } from "node:fs/promises";
 import { fileURLToPath } from "node:url";
 import { dirname, join } from "node:path";
 
-export const LEDGER_ROW_LIMIT_DEFAULT = 20000;
+const LEDGER_ROW_LIMIT_DEFAULT = 20000;
 
 /** Read the checked-in browser memory-ask-engine bundle
  *  (`src/surfaces/web/memory-ask-browser.bundle.js`) — the real memory-graph answer engine

package/src/services/sessions.mjs

@@ -24,7 +24,7 @@ import { turnKey } from "../domain/memory/session-turns.mjs";
 export const SESSIONS_DIR_REL = join(".tmct", "sessions");
 
 export const SESSION_CLASS = "Session";
-export const ASKS_ABOUT_PREDICATE = "asksAbout";
+const ASKS_ABOUT_PREDICATE = "asksAbout";
 export const ASKS_ABOUT_PROP = "mgx:asksAbout";
 
 const QUERIES_ATTR_CAP = 500; // joined-queries attribute cap (mirrors commitMessage's cap idea)
@@ -111,9 +111,9 @@ export function upsertSession(entities, record) {
     attributes: [
       // referenced via the imported constant (single-sourced from memory/core.mjs)
       { prop: CREATED_AT_PROP, key: "createdAt", value: priorCreatedAt || started || new Date().toISOString() },
-      // this IS a genuinely-mutated individual (re-written every chat turn, PLAN_VIZ.md §2's
-      // concrete "Session" case) — stamp updatedAt explicitly since the derived "max over edges"
-      // rule can't see an own-attribute rewrite that touches no edge.
+      // a Session really is mutated — re-written every chat turn — so stamp updatedAt
+      // explicitly: the derived "max over edges" rule cannot see an own-attribute rewrite
+      // that touches no edge.
       { prop: UPDATED_AT_PROP, key: "updatedAt", value: new Date().toISOString() },
       { prop: "mgx:sessionStarted", key: "started", value: started },
       { prop: "mgx:sessionEnded", key: "ended", value: ended },

package/src/services/viz-theme.mjs

@@ -1,7 +1,6 @@
 // viz-theme.mjs — the shared assets for tmct's generated HTML pages
-// (the ledger explorer and the plan player): the visual token table
-// (PLAN_VIZ_LEDGER.md's reference values) plus the escaping helpers every
-// page builder needs.
+// (the ledger explorer and the plan player): the visual token table plus the
+// escaping helpers every page builder needs.
 //
 // Trust tiers are precomputed rgba() values per provenance color so pages
 // render identically on browsers without color-mix() support.
@@ -30,7 +29,7 @@ function rgba(hex, alpha) {
   return `rgba(${(n >> 16) & 255}, ${(n >> 8) & 255}, ${n & 255}, ${alpha})`;
 }
 
-export const TOKENS = Object.freeze({
+const TOKENS = Object.freeze({
   light: Object.freeze({
     bg: "#F7F6F2", ink: "#23272B", muted: "#6E7168", line: "#DDD9D0", card: "#FFFFFF",
     taught: "#2E7D4F", corpus: "#5A80AC", entail: "#B07C2E", alert: "#B0503F",

package/src/surfaces/web/memory-ask-browser.bundle.js

@@ -936,23 +936,6 @@
     }
   });
 
-  // src/domain/vector.mjs
-  function cosine(a, b) {
-    let dot = 0, na = 0, nb = 0;
-    const n = Math.min(a.length, b.length);
-    for (let i = 0; i < n; i++) {
-      dot += a[i] * b[i];
-      na += a[i] * a[i];
-      nb += b[i] * b[i];
-    }
-    if (na === 0 || nb === 0) return 0;
-    return dot / (Math.sqrt(na) * Math.sqrt(nb));
-  }
-  var init_vector = __esm({
-    "src/domain/vector.mjs"() {
-    }
-  });
-
   // src/domain/memory/trust.mjs
   function parseChatTagRest(rest) {
     const at = rest.indexOf("@");
@@ -1307,27 +1290,6 @@
     }
     return idx;
   }
-  function moduleEmbedTexts(graph) {
-    const texts = /* @__PURE__ */ new Map();
-    const defIdx = definesIndex(graph);
-    const docs = /* @__PURE__ */ new Map();
-    for (const ind of graph.individuals) {
-      const doc = (ind.attributes || []).find((a) => a.key === "doc")?.value;
-      if (!doc) continue;
-      const modId = (ind.class || "") === "Module" ? ind.id : moduleIdOf(graph, ind);
-      if (!modId) continue;
-      let arr = docs.get(modId);
-      if (!arr) docs.set(modId, arr = []);
-      if (arr.length < EMB_TEXT_DOC_CAP) arr.push(String(doc).split("\n")[0]);
-    }
-    for (const ind of graph.individuals) {
-      if ((ind.class || "") !== "Module") continue;
-      const parts = String(ind.label).split(/[^a-zA-Z0-9_]+/).filter(Boolean);
-      const syms = (defIdx.get(ind.id) || []).slice(0, EMB_TEXT_SYMBOL_CAP);
-      texts.set(ind.id, [...parts, ...syms, ...docs.get(ind.id) || []].join(" "));
-    }
-    return texts;
-  }
   function identComponents(name) {
     return new Set(String(name).replace(/([a-z0-9])([A-Z])/g, "$1_$2").toLowerCase().split(/[^a-z0-9]+/).filter(Boolean));
   }
@@ -1499,7 +1461,7 @@
     return results;
   }
   function scoreModules(graph, tokens, opts = {}) {
-    const { demoteNonProd = false, callAdjacency = false, implOfInterface = false, beamSearch = false, spiral = false, proseBoost = false, proseLayers = false, literalMention = false, embedRank = false, rawQuery = "" } = opts;
+    const { demoteNonProd = false, callAdjacency = false, implOfInterface = false, beamSearch = false, spiral = false, proseBoost = false, proseLayers = false, literalMention = false, rawQuery = "" } = opts;
     const beamWidth = Number.isFinite(opts.beamWidth) && opts.beamWidth > 0 ? opts.beamWidth : 8;
     const defIdx = definesIndex(graph);
     const modules = [];
@@ -1691,34 +1653,6 @@
         s.score += Math.min(signal * PROSE_LAYER_FRAC, s.score * PROSE_LAYER_CAP_FRAC);
       }
     }
-    if (embedRank) {
-      if (!opts.embedder) {
-        if (!embedWarned) {
-          embedWarned = true;
-          process.stderr.write("tmct: embedRank requested but no embedder available (weights not fetched? see `npm run refs:embeddings`) \u2014 flag is a no-op\n");
-        }
-      } else if (scored.length) {
-        const embedder = opts.embedder;
-        let cache2 = EMB_CACHE.get(graph);
-        if (!cache2 || cache2.embedder !== embedder) {
-          cache2 = { embedder, texts: moduleEmbedTexts(graph), vecs: /* @__PURE__ */ new Map() };
-          EMB_CACHE.set(graph, cache2);
-        }
-        const qv = embedder.embed(rawQuery || tokens.join(" "));
-        let maxBase = 0;
-        for (const s of scored) maxBase = Math.max(maxBase, s.score);
-        for (const s of scored) {
-          let v = cache2.vecs.get(s.ind.id);
-          if (!v) {
-            v = embedder.embed(cache2.texts.get(s.ind.id) || String(s.ind.label));
-            cache2.vecs.set(s.ind.id, v);
-          }
-          const sim = Math.max(0, cosine(qv, v));
-          if (!sim) continue;
-          s.score += Math.min(sim * maxBase * EMB_FRAC, s.score * EMB_CAP_FRAC);
-        }
-      }
-    }
     if (beamSearch && scored.length > 1) beamExpand(graph, scored, beamWidth);
     if (spiral && scored.length) spiralExpand(graph, scored, {
       depth: Number.isFinite(opts.spiralDepth) && opts.spiralDepth > 0 ? opts.spiralDepth : SPIRAL_DEPTH_DEFAULT,
@@ -1732,7 +1666,7 @@
     const raw = String(query || "");
     const tokens = raw.toLowerCase().split(/[^a-z0-9_]+/).filter(Boolean);
     if (!tokens.length) return [];
-    const effOpts = opts.literalMention || opts.embedRank ? { ...opts, rawQuery: raw } : opts;
+    const effOpts = opts.literalMention ? { ...opts, rawQuery: raw } : opts;
     return scoreModules(graph, tokens, effOpts).map((s) => ({ path: String(s.ind.label), score: s.score }));
   }
   function renderSearch(graph, query, { limit = SEARCH_LIMIT, kind = "", decorator = "", name = "" } = {}) {
@@ -2414,11 +2348,10 @@ ${shown.join("\n")}${tail}`;
   ${list.join("\n  ")}` + (edges.length > EXPORTS_CAP ? `
   \u2026+${edges.length - EXPORTS_CAP} more` : "");
   }
-  var PROP_KIND, isProvRef, DESCRIBE_EDGE_CAP, PROV_CAP, IMPACT_DEPTHS_LISTED, IMPACT_PER_DEPTH, IMPACT_TESTS_PER_DEP, SEARCH_LIMIT, SEARCH_SYMBOLS_SHOWN, PATH_W, SYM_W, EXACT_W, SYM_MATCH_CAP, PROX_FRAC, PROX_CAP_FRAC, isTestLabel, NONPROD_DEMOTE, isNonProdLabel, CALL_PROX_FRAC, CALL_PROX_CAP_FRAC, IMPL_PROX_FRAC, IMPL_PROX_CAP_FRAC, isCsModuleLabel, looksLikeCsInterface, PROSE_PROX_FRAC, PROSE_PROX_CAP_FRAC, PROSE_LOOKUP_LIMIT, PROSE_LAYER_FRAC, PROSE_LAYER_CAP_FRAC, PROSE_LAYER_DISCOUNT, LIT_W, LIT_MIN_COMPONENTS, LIT_COMP_CAP, LIT_FRAC, LIT_CAP_FRAC, EMB_FRAC, EMB_CAP_FRAC, EMB_TEXT_SYMBOL_CAP, EMB_TEXT_DOC_CAP, EMB_CACHE, embedWarned, BEAM_MARGIN_FRAC, BEAM_PROX_FRAC, BEAM_PROX_CAP_FRAC, BEAM_OVERFLOW_CAP, BEAM_PLIES, BEAM_EDGE_GROUPS, SPIRAL_DEPTH_DEFAULT, SPIRAL_NODE_LIMIT_DEFAULT, SPIRAL_Q_DEFAULT, SPIRAL_EXPAND_KINDS, SPIRAL_EMIT_FRAC, SPIRAL_HOP_DECAY, SPIRAL_PROX_FRAC, SPIRAL_PROX_CAP_FRAC, edgesOfKindCache, MEMBERS_CAP, SUBCLASS_CAP, CALL_CAP, attrVal, ARCH_PKG_CAP, ARCH_HUB_CAP, COVERAGE_CAP, TESTS_GRAIN_NOTE, HISTORY_CAP, CALL_SYMBOL_CLASSES, CALL_HINT_CAP, SYMBOL_CLASSES, CONTEXT_SIBLING_CAP, CLASS_MEMBER_CAP, COCHANGE_MID_CAP, CONTEXT_TESTS_CAP, TINY_MAX_LOC, TINY_MAX_ARITY, LARGE_CLASS_MEMBERS, INLINE_CALLEE_CAP, splitDecs, tokenize, countParams, modeOf, COCHANGE_CAP, EXPORTS_CAP;
+  var PROP_KIND, isProvRef, DESCRIBE_EDGE_CAP, PROV_CAP, IMPACT_DEPTHS_LISTED, IMPACT_PER_DEPTH, IMPACT_TESTS_PER_DEP, SEARCH_LIMIT, SEARCH_SYMBOLS_SHOWN, PATH_W, SYM_W, EXACT_W, SYM_MATCH_CAP, PROX_FRAC, PROX_CAP_FRAC, isTestLabel, NONPROD_DEMOTE, isNonProdLabel, CALL_PROX_FRAC, CALL_PROX_CAP_FRAC, IMPL_PROX_FRAC, IMPL_PROX_CAP_FRAC, isCsModuleLabel, looksLikeCsInterface, PROSE_PROX_FRAC, PROSE_PROX_CAP_FRAC, PROSE_LOOKUP_LIMIT, PROSE_LAYER_FRAC, PROSE_LAYER_CAP_FRAC, PROSE_LAYER_DISCOUNT, LIT_W, LIT_MIN_COMPONENTS, LIT_COMP_CAP, LIT_FRAC, LIT_CAP_FRAC, BEAM_MARGIN_FRAC, BEAM_PROX_FRAC, BEAM_PROX_CAP_FRAC, BEAM_OVERFLOW_CAP, BEAM_PLIES, BEAM_EDGE_GROUPS, SPIRAL_DEPTH_DEFAULT, SPIRAL_NODE_LIMIT_DEFAULT, SPIRAL_Q_DEFAULT, SPIRAL_EXPAND_KINDS, SPIRAL_EMIT_FRAC, SPIRAL_HOP_DECAY, SPIRAL_PROX_FRAC, SPIRAL_PROX_CAP_FRAC, edgesOfKindCache, MEMBERS_CAP, SUBCLASS_CAP, CALL_CAP, attrVal, ARCH_PKG_CAP, ARCH_HUB_CAP, COVERAGE_CAP, TESTS_GRAIN_NOTE, HISTORY_CAP, CALL_SYMBOL_CLASSES, CALL_HINT_CAP, SYMBOL_CLASSES, CONTEXT_SIBLING_CAP, CLASS_MEMBER_CAP, COCHANGE_MID_CAP, CONTEXT_TESTS_CAP, TINY_MAX_LOC, TINY_MAX_ARITY, LARGE_CLASS_MEMBERS, INLINE_CALLEE_CAP, splitDecs, tokenize, countParams, modeOf, COCHANGE_CAP, EXPORTS_CAP;
   var init_codegraph = __esm({
     "src/domain/codegraph.mjs"() {
       init_prose();
-      init_vector();
       init_trust();
       PROP_KIND = {
         // v2.0 faithful tokens (SEON-faithful realign)
@@ -2484,12 +2417,6 @@ ${shown.join("\n")}${tail}`;
       LIT_COMP_CAP = 4;
       LIT_FRAC = 1;
       LIT_CAP_FRAC = 0.9;
-      EMB_FRAC = 0.2;
-      EMB_CAP_FRAC = 0.35;
-      EMB_TEXT_SYMBOL_CAP = 64;
-      EMB_TEXT_DOC_CAP = 12;
-      EMB_CACHE = /* @__PURE__ */ new WeakMap();
-      embedWarned = false;
       BEAM_MARGIN_FRAC = 0.5;
       BEAM_PROX_FRAC = 0.2;
       BEAM_PROX_CAP_FRAC = 0.35;
@@ -3545,18 +3472,14 @@ ${shown.join("\n")}${tail}`;
     applyNegationFrames: () => applyNegationFrames,
     ask: () => ask,
     classDisplayName: () => classDisplayName,
-    compositionalHint: () => compositionalHint,
     degreeMetric: () => degreeMetric,
-    evalComposite: () => evalComposite,
     metaFallbackEntityAnswer: () => metaFallbackEntityAnswer,
     normalizeQuery: () => normalizeQuery,
     parseQuery: () => parseQuery,
     parseQueryFull: () => parseQueryFull,
-    relaxParse: () => relaxParse,
     render: () => render,
     rephraseHint: () => rephraseHint,
     resolveObject: () => resolveObject,
-    touchesRephraseHint: () => touchesRephraseHint,
     traverse: () => traverse
   });
   function edgesOfKind2(graph, kind) {
@@ -7300,9 +7223,7 @@ ${bodyText}` : graphText, tier });
     CARDINALITY_RULE_CONFIDENCE: () => CARDINALITY_RULE_CONFIDENCE,
     CAX_DW_RULE: () => CAX_DW_RULE,
     CAX_DW_RULE_CONFIDENCE: () => CAX_DW_RULE_CONFIDENCE,
-    CAX_MAXC0_RULE: () => CAX_MAXC0_RULE,
     CAX_MAXC0_RULE_CONFIDENCE: () => CAX_MAXC0_RULE_CONFIDENCE,
-    CAX_SCO_RULE: () => CAX_SCO_RULE,
     CLS_SVF1_RULE: () => CLS_SVF1_RULE,
     CLS_SVF1_RULE_CONFIDENCE: () => CLS_SVF1_RULE_CONFIDENCE,
     DISJOINT_PREDICATE: () => DISJOINT_PREDICATE,
@@ -7311,14 +7232,11 @@ ${bodyText}` : graphText, tier });
     ENTAILED_SCM_SVF_PROVENANCE: () => ENTAILED_SCM_SVF_PROVENANCE,
     ENTAILED_SVF1_PROVENANCE: () => ENTAILED_SVF1_PROVENANCE,
     ENTAILED_TYPE_PROVENANCE: () => ENTAILED_TYPE_PROVENANCE,
-    ON_CLASS_PREDICATE: () => ON_CLASS_PREDICATE,
     ON_PROPERTY_PREDICATE: () => ON_PROPERTY_PREDICATE,
-    SCM_CARD_RULE: () => SCM_CARD_RULE,
     SCM_SVF_RULE: () => SCM_SVF_RULE,
     SCM_SVF_RULE_CONFIDENCE: () => SCM_SVF_RULE_CONFIDENCE,
     SOME_VALUES_FROM_PREDICATE: () => SOME_VALUES_FROM_PREDICATE,
     SUBCLASS_PREDICATE: () => SUBCLASS_PREDICATE,
-    SYLLOGISE_RULE: () => SYLLOGISE_RULE,
     TYPE_PREDICATE: () => TYPE_PREDICATE,
     buildCardinalityRestrictions: () => buildCardinalityRestrictions,
     deriveDisjointViolations: () => deriveDisjointViolations,
@@ -8040,7 +7958,7 @@ ${bodyText}` : graphText, tier });
     }
     return null;
   }
-  var SUBCLASS_PREDICATE, SYLLOGISE_RULE, ENTAILED_PROVENANCE, TYPE_PREDICATE, CAX_SCO_RULE, ENTAILED_TYPE_PROVENANCE, DISJOINT_PREDICATE, CAX_DW_RULE, ENTAILED_DISJOINT_PROVENANCE, CAX_DW_RULE_CONFIDENCE, ON_PROPERTY_PREDICATE, SOME_VALUES_FROM_PREDICATE, CLS_SVF1_RULE, ENTAILED_SVF1_PROVENANCE, CLS_SVF1_RULE_CONFIDENCE, SEP, isSubClassOf, isType, isDisjoint, isOnProperty, isSomeValuesFrom, isOnClass, RESERVED_PREDICATES, HAS_PROPERTY_KEY, CARDINALITY_KIND_OF, ON_CLASS_PREDICATE, SCM_SVF_RULE, ENTAILED_SCM_SVF_PROVENANCE, SCM_SVF_RULE_CONFIDENCE, SCM_CARD_RULE, CARDINALITY_RULE_CONFIDENCE, CAX_MAXC0_RULE, CAX_MAXC0_RULE_CONFIDENCE;
+  var SUBCLASS_PREDICATE, SYLLOGISE_RULE, ENTAILED_PROVENANCE, TYPE_PREDICATE, CAX_SCO_RULE, ENTAILED_TYPE_PROVENANCE, DISJOINT_PREDICATE, CAX_DW_RULE, ENTAILED_DISJOINT_PROVENANCE, CAX_DW_RULE_CONFIDENCE, ON_PROPERTY_PREDICATE, SOME_VALUES_FROM_PREDICATE, CLS_SVF1_RULE, ENTAILED_SVF1_PROVENANCE, CLS_SVF1_RULE_CONFIDENCE, SEP, isSubClassOf, isType, isDisjoint, isOnProperty, isSomeValuesFrom, isOnClass, RESERVED_PREDICATES, HAS_PROPERTY_KEY, CARDINALITY_KIND_OF, SCM_SVF_RULE, ENTAILED_SCM_SVF_PROVENANCE, SCM_SVF_RULE_CONFIDENCE, CARDINALITY_RULE_CONFIDENCE, CAX_MAXC0_RULE_CONFIDENCE;
   var init_syllogise = __esm({
     "src/domain/syllogise.mjs"() {
       init_hash();
@@ -8076,13 +7994,10 @@ ${bodyText}` : graphText, tier });
       ]);
       HAS_PROPERTY_KEY = "has";
       CARDINALITY_KIND_OF = { "owl:cardinality": "exactly", "owl:mincardinality": "min", "owl:maxcardinality": "max" };
-      ON_CLASS_PREDICATE = "owl:onClass";
       SCM_SVF_RULE = "someValuesFromSubsumption";
       ENTAILED_SCM_SVF_PROVENANCE = `entailed:${SCM_SVF_RULE}`;
       SCM_SVF_RULE_CONFIDENCE = 0.95;
-      SCM_CARD_RULE = "cardinalityMonotonicity";
       CARDINALITY_RULE_CONFIDENCE = 0.95;
-      CAX_MAXC0_RULE = "maxCardinalityZero";
       CAX_MAXC0_RULE_CONFIDENCE = 0.95;
     }
   });
@@ -8372,10 +8287,8 @@ ${bodyText}` : graphText, tier });
   __export(core_exports, {
     CANONICALISED_FROM_PROP: () => CANONICALISED_FROM_PROP,
     CAPABLE_OF_PREDICATE: () => CAPABLE_OF_PREDICATE2,
-    CONTRADICTION_TRUST_FLOOR: () => CONTRADICTION_TRUST_FLOOR,
     CREATED_AT_PROP: () => CREATED_AT_PROP,
     DEFAULT_RETENTION: () => DEFAULT_RETENTION,
-    DERIVED_FROM_PROP: () => DERIVED_FROM_PROP,
     FACT_CLASS: () => FACT_CLASS,
     HAS_A_PREDICATE: () => HAS_A_PREDICATE,
     IN_REPLY_TO_PROP: () => IN_REPLY_TO_PROP,
@@ -8386,7 +8299,6 @@ ${bodyText}` : graphText, tier });
     MULTI_VALUED_PREDICATES: () => MULTI_VALUED_PREDICATES,
     OPERATOR_SOURCE_ID: () => OPERATOR_SOURCE_ID,
     RULE_CLASS: () => RULE_CLASS,
-    RULE_KINDS: () => RULE_KINDS2,
     RULE_KIND_ACTION_CONSTRAINT: () => RULE_KIND_ACTION_CONSTRAINT,
     RULE_KIND_ACTION_EFFECT: () => RULE_KIND_ACTION_EFFECT,
     RULE_KIND_ACTION_PRECOND: () => RULE_KIND_ACTION_PRECOND,
@@ -8395,12 +8307,10 @@ ${bodyText}` : graphText, tier });
     RULE_KIND_FILTER: () => RULE_KIND_FILTER,
     RULE_KIND_PROP: () => RULE_KIND_PROP,
     RULE_KIND_RECURSIVE: () => RULE_KIND_RECURSIVE,
-    RULE_NAME_PROP: () => RULE_NAME_PROP,
     SAID_IN_SESSION_PROP: () => SAID_IN_SESSION_PROP,
     SOURCE_CLASS: () => SOURCE_CLASS,
     SOURCE_RELIABILITY_PROP: () => SOURCE_RELIABILITY_PROP,
     STATED_BY_PROP: () => STATED_BY_PROP,
-    TEACH_SOURCE_ID: () => TEACH_SOURCE_ID,
     UPDATED_AT_PROP: () => UPDATED_AT_PROP,
     UTTERANCE_CLASS: () => UTTERANCE_CLASS,
     appendFact: () => appendFact,