@polycode-projects/the-mechanical-code-talker 3.3.0 → 4.0.1

package/src/services/chat.mjs

@@ -7758,6 +7758,13 @@ async function factAnswerReaders(memoryDir, query, envelope, miss, biasByBundle
     // teach frame, in a store written before the spellings converged) is
     // found by the curated spelling it means.
     let hits = predicate ? subjectHits.filter((f) => normFactPredicate(f.predicate) === predicate) : subjectHits;
+    // A bare "what is X" answered ONLY by corpus-weak ConceptNet association(s)
+    // is the hedged "possibly: X is related to Y" guess, not a definition — treated
+    // as no hit at all so the honest-miss cascade below (teach lane, reference-pack/
+    // Wikipedia fallback) still gets a turn, instead of the hedge silently standing
+    // in as "already answered". A predicate-specific ask ("X used for") is untouched:
+    // scoped to the SAME undifferentiated shape the reference-pack fallback serves.
+    if (!predicate && hits.length && !hits.some(isRealGrounding)) hits = [];
     if (!hits.length) {
       // The subject itself is known — as a fact subject, or as the standing
       // focus a pronoun just resolved to — but not under this specific
@@ -7777,7 +7784,9 @@ async function factAnswerReaders(memoryDir, query, envelope, miss, biasByBundle
       // ishmael"): surface those reverse relations rather than missing, the same
       // facts "what do you know about X" would list.
       if (!predicate) {
-        const objectHits = rankByBiasThenTrust((await factRows(memoryDir, cache)).filter((f) => variants.has(f.object)), biasByBundle);
+        let objectHits = rankByBiasThenTrust((await factRows(memoryDir, cache)).filter((f) => variants.has(f.object)), biasByBundle);
+        // Same corpus-weak-only demotion as the subject-side hits above.
+        if (objectHits.length && !objectHits.some(isRealGrounding)) objectHits = [];
         if (objectHits.length) {
           const objLines = objectHits.map(renderFactLine);
           const objShown = objLines.slice(0, FACT_ANSWER_CAP);
@@ -8343,6 +8352,16 @@ async function factAnswerReaders(memoryDir, query, envelope, miss, biasByBundle
     // besides. The adventure's own where/openness readers answer the legitimate
     // in-game questions from the world fold.
     hits = hits.filter((f) => !WORLD_INTERNAL_PREDICATES.has(f.predicate));
+    // A corpus-weak-only result set (every hit resolved ONLY through
+    // ConceptNet's /r/RelatedTo tier) still composes its hedged "possibly"
+    // lines below exactly as before — this reader's whole job is showing
+    // those, weak or not, so they're never suppressed from the text. But the
+    // result is flagged `weakOnly` so the shared honest-miss cascade (the
+    // reference-pack/Wikipedia fallback, below in runAsk) still gets a turn
+    // instead of the hedge silently standing in as "already answered" —
+    // mirroring isRealGrounding's other two call sites without breaking this
+    // one's own job.
+    const weakOnly = hits.length > 0 && !hits.some(isRealGrounding);
     // A genuinely empty result here is a real miss: "what do you know about
     // the last commit" needs a TEACH-OFFER, not a bare wall — added as a LATE
     // runTurn-level addition, below, alongside the sibling "what is X" offer,
@@ -8393,11 +8412,16 @@ async function factAnswerReaders(memoryDir, query, envelope, miss, biasByBundle
     const header = `${hits.length} remembered fact${hits.length === 1 ? "" : "s"} about ${term}`
       + `${viaSubtype ? " (including its known subtypes)" : ""}:`;
     const { lines, grouped } = senseSplitFactList(hits, rows, variants, { indent: "  " });
-    if (grouped) return { ...grouped, text: `${header}\n${grouped.text}` };
+    if (grouped) return { ...grouped, text: `${header}\n${grouped.text}`, ...(weakOnly ? { weakOnly: true } : {}) };
     const shown = lines.slice(0, FACT_ANSWER_CAP);
     const rest = lines.slice(FACT_ANSWER_CAP);
     const extra = rest.length ? `\n  …and ${rest.length} more — say 'more' to see them.` : "";
-    return { text: `${header}\n${shown.join("\n")}${extra}`, replace: true, ...(rest.length ? { pending: { items: rest.map((l) => l.trim()), noun: "facts" } } : {}) };
+    return {
+      text: `${header}\n${shown.join("\n")}${extra}`,
+      replace: true,
+      ...(rest.length ? { pending: { items: rest.map((l) => l.trim()), noun: "facts" } } : {}),
+      ...(weakOnly ? { weakOnly: true } : {}),
+    };
   }
   return null;
 }
@@ -10674,14 +10698,37 @@ async function curatedDefinitionAnswer(query, envelope, { memoryDir, lexicon })
   return { text: `${def} (source: corpus/seon)`, term };
 }
 
+/** True when `f` carries a source better than the ConceptNet `/r/RelatedTo`
+ *  corpus-weak tier — or no recorded source type at all (the conservative,
+ *  pre-existing read for legacy rows). A fact resolved ONLY by corpus-weak
+ *  source(s) is the hedged "possibly: X is related to Y" guess, not an
+ *  actual definition; callers treat it as no grounding at all rather than an
+ *  answer, so it can never by itself skip the honest-miss cascade below
+ *  (the teach lane, the reference-pack/Wikipedia fallback). Shared by the
+ *  bare "what is X" reader, the "what do you know about X" reader (both in
+ *  factAnswerReaders) and the learn-on-miss gate (cleanMissPackKey/
+ *  cleanMissLiveKey) so none of them can ever disagree. */
+function isRealGrounding(f) {
+  const types = f.sourceTypes || [];
+  return types.length === 0 || types.some((t) => t !== "corpusWeak");
+}
+
 // ---- learn-on-miss: the shipped child + reference packs behind the cleanest miss ----
 
+/** A remembered fact naming `term` is real grounding only when SOME source
+ *  behind it outranks the ConceptNet `/r/RelatedTo` corpus-weak tier — see
+ *  isRealGrounding just above. */
+function hasNonWeakGrounding(rows, variants) {
+  return rows.some((f) => (variants.has(f.subject) || variants.has(f.object)) && isRealGrounding(f));
+}
+
 /** The learn-on-miss gate, shared by the child-pack hook, the articled
  *  reference hook and the bare-form fallback so the three can never disagree.
  *  Passes only on the CLEANEST miss: a definition-shaped term the lexicon
- *  knows, resolving to no graph entity and no remembered fact — then, and
- *  only then, may a pack provider be consulted. Null means the turn proceeds
- *  byte-identically to a pack-less run. */
+ *  knows, resolving to no graph entity and no fact grounded above the
+ *  corpus-weak tier — then, and only then, may a pack provider be
+ *  consulted. Null means the turn proceeds byte-identically to a pack-less
+ *  run. */
 async function cleanMissPackKey(term, { graph, memoryDir, lexicon, cache }) {
   if (!term || !memoryDir) return null;
   let key = null;
@@ -10695,7 +10742,7 @@ async function cleanMissPackKey(term, { graph, memoryDir, lexicon, cache }) {
   const variants = factTermVariants(normFactTerm, term);
   variants.add(key);
   const rows = await factRows(memoryDir, cache);
-  if (rows.some((f) => variants.has(f.subject) || variants.has(f.object))) return null;
+  if (hasNonWeakGrounding(rows, variants)) return null;
   // A taught RULE that owns this term outranks any pack load: surfacing
   // unrelated conceptnet content over the user's own taught concept is worse
   // than the honest miss the decline leaves standing.
@@ -10723,10 +10770,10 @@ async function referencePackMissAnswer(term, { graph, memoryDir, lexicon, env, c
 }
 
 /** The LIVE variant of cleanMissPackKey — the same resolveEntity and
- *  remembered-fact checks, but through cleanMissLiveTerm, which drops the
- *  lexicon-membership wall: a word the lexicon has never met is exactly what
- *  the live lookup exists for. Null means the turn proceeds byte-identically
- *  to a live-off run. */
+ *  above-corpus-weak grounding checks, but through cleanMissLiveTerm, which
+ *  drops the lexicon-membership wall: a word the lexicon has never met is
+ *  exactly what the live lookup exists for. Null means the turn proceeds
+ *  byte-identically to a live-off run. */
 async function cleanMissLiveKey(term, { graph, memoryDir, lexicon, cache }) {
   if (!term || !memoryDir) return null;
   let key = null;
@@ -10738,7 +10785,7 @@ async function cleanMissLiveKey(term, { graph, memoryDir, lexicon, cache }) {
   const variants = factTermVariants(normFactTerm, term);
   variants.add(key);
   const rows = await factRows(memoryDir, cache);
-  if (rows.some((f) => variants.has(f.subject) || variants.has(f.object))) return null;
+  if (hasNonWeakGrounding(rows, variants)) return null;
   return key;
 }
 
@@ -12641,6 +12688,13 @@ async function runAsk(query, { config, source, graph, focus, last, templates, me
   let via = "composed";
   let recordMiss = miss;
   let factPending = null; // a truncated fact listing's held remainder (for "more" paging)
+  // Set when the memory-facts lane (W4, below) answered from a corpus-weak-only
+  // hit set (factAnswer's KNOW_ABOUT_RE reader, `weakOnly`) — the hedged
+  // "possibly" answer still stands as `answer`, but `via` is deliberately left
+  // at "composed" so the honest-miss cascade further down still gets a turn,
+  // and this flag lets the LEARN-ON-MISS PACKS lane resolve a reference-pack
+  // term for THIS query shape (which metaTermOf alone never recognizes).
+  let factLaneWeakOnly = false;
   // scm-svf1/cardinality-monotonicity/
   // cax-maxc0's LIVE proof chases (factReadBack) have no persisted Fact to
   // attach trust.mjs's entailed hook to, so they compute
@@ -13156,9 +13210,18 @@ async function runAsk(query, { config, source, graph, focus, last, templates, me
       // the empty-graph orientation pointer below stays off it — a pronoun
       // decline with an index pointer under it is two answers to one turn.
       if (fact.selfContainedMiss) selfContainedMiss = true;
-      if (!fact.miss) {
+      // A `weakOnly` hit (the "what do you know about X" reader's
+      // corpus-weak-only hedge) is shown as `answer` above like any other
+      // fact-lane hit, but doesn't count as REAL grounding — via/recordMiss
+      // stay untouched so the honest-miss cascade below (the reference-pack
+      // lane in particular) still gets a turn at replacing the hedge with a
+      // real answer, exactly the discipline isRealGrounding's other two call
+      // sites already apply.
+      if (!fact.miss && !fact.weakOnly) {
         via = "fact";
         recordMiss = false;
+      } else if (fact.weakOnly) {
+        factLaneWeakOnly = true;
       }
       if (fact.pending) factPending = fact.pending; // a truncated fact list → paginable remainder
       if (typeof fact.trust === "number") entailedTrust = fact.trust; // live-chase trust (see the `entailedTrust` declaration above)
@@ -13465,13 +13528,19 @@ async function runAsk(query, { config, source, graph, focus, last, templates, me
   // pack's article speak, cited as before. Both packs missing leaves the
   // honest miss byte-identical.
   if (miss && recordMiss && via === "composed" && memoryDir) {
-    const refTerm = metaTermOf(query, envelope);
+    // metaTermOf only recognizes the "what is X"/"define X" shapes — a
+    // "what do you know about X" query only reaches this lane at all when
+    // its own reader (above) answered with a corpus-weak-only hedge
+    // (factLaneWeakOnly), so the KNOW_ABOUT_RE term is resolved directly the
+    // same way the TEACH-OFFER lane below already does for that shape.
+    const refTerm = metaTermOf(query, envelope)
+      || (factLaneWeakOnly ? expandContractions(String(query).trim()).match(KNOW_ABOUT_RE)?.[1]?.trim() : null);
     const key = refTerm ? await cleanMissPackKey(refTerm, { graph, memoryDir, lexicon, cache }) : null;
     const learned = key ? await childPackFactsForKey(key, { memoryDir, env, cache, synthesisBudget }) : null;
     if (learned) {
       const fact = (await factAnswer(memoryDir, query, envelope, miss, biasByBundle, cache, newFocus?.label))
         ?? (await factReadBack(memoryDir, query, envelope, miss, graph, newFocus?.label, biasByBundle, cache));
-      if (fact && !fact.miss) {
+      if (fact && !fact.miss && !fact.weakOnly) {
         answer = fact.replace ? fact.text : `${answer}\n${fact.text}`;
         via = "fact";
         recordMiss = false;
@@ -13558,7 +13627,12 @@ async function runAsk(query, { config, source, graph, focus, last, templates, me
         const ent = knowAboutTerm ? null : await resolveEntity(graph, offerTerm);
         if (!ent) {
           const variants = factTermVariants(normFactTerm, offerTerm);
-          const known = (await memoryFacts(memoryDir)).some((f) => variants.has(f.subject) || variants.has(f.object));
+          // A corpus-weak-only match (ConceptNet's /r/RelatedTo hedge) is not
+          // real grounding — same isRealGrounding discipline as the bare
+          // "what is X" reader and the learn-on-miss gate, so a term with
+          // nothing but a loose association still gets the "teach me" offer
+          // rather than being silently counted as already known.
+          const known = hasNonWeakGrounding(await factRows(memoryDir, cache), variants);
           if (!known) teachOffer = unknownVocabTermOffer(cleanTerm);
         }
       }
@@ -14698,11 +14772,18 @@ const LIST_KNOWN_KINDS_RE = /^list\s+(?:the\s+|all\s+(?:the\s+)?)?(?!facts?\b|th
 // conditional over a NAMED subject or an arbitrary property is a rule, not a
 // subclass fact, and stays outside this frame.
 const UNIVERSAL_CONDITIONAL_RE = /^if\s+(?:something|somebody|someone|anything)\s+is\s+an?\s+([\w-]+)\s*,?\s*(?:then\s+)?(?:it|they)\s+(?:is|are)\s+an?\s+([\w-]+)[.!?\s]*$/i;
-function rewriteVocabOpener(line) {
+function rewriteVocabOpener(line, { adventureLive = false } = {}) {
   let m = line.match(DESIRE_ABOUT_RE) || line.match(TELL_ABOUT_VARIANT_RE);
   if (m) return `tell me about ${m[1].trim()}`;
   m = line.match(UNIVERSAL_CONDITIONAL_RE);
   if (m) return `every ${m[1]} is ${indefiniteArticleFor(m[2])} ${m[2]}`;
+  // "what <noun> do you know [about]" shares its surface form with a live
+  // adventure's own personal-knowledge asides ("what food do you know
+  // about") — those ask what the CHARACTER has learned in-world, not for
+  // the taught CLASS's members, so this closed-set enumeration rewrite
+  // stands down while a world is live and leaves the line for the
+  // adventure lane to recognise (or not) on its own terms.
+  if (adventureLive) return null;
   m = line.match(KNOWN_KINDS_RE) || line.match(LIST_KNOWN_KINDS_RE);
   if (m) {
     const noun = teachableSubjectOf(m[1]);
@@ -14977,7 +15058,7 @@ async function dispatchTurn(input, { config, source = defaultSource, graph = nul
   const indirectMatch = line.match(INDIRECT_REQUEST_RE);
   const indirectLine = indirectMatch ? indirectMatch[1].trim() : line;
   const preRewriteLine = rewriteEntryPointQuestion(indirectLine) || rewriteProveThat(indirectLine)
-    || rewriteVocabOpener(indirectLine) || indirectLine;
+    || rewriteVocabOpener(indirectLine, { adventureLive: Boolean(planState?.adventure) }) || indirectLine;
   // rewriteUsesAsBaseFrame's discontiguous-frame rewrite: applied here, once,
   // before ANY dispatch lane sees the text. Null (no-op) for every turn that
   // doesn't match one of the four discontiguous shapes.

package/src/services/code-explorer-viz.mjs

@@ -129,6 +129,7 @@ const CLIENT_JS = String.raw`
     dockNote: document.getElementById("dock-note"),
     source: document.getElementById("source-name"),
     seedStatus: document.getElementById("seed-status"),
+    factTotal: document.getElementById("fact-total-value"),
   };
   var session = null;
 
@@ -143,6 +144,15 @@ const CLIENT_JS = String.raw`
     var parts = [s.individuals + " individuals", s.edges + " edges"];
     var cls = s.classes.slice(0, 4).map(function (c) { return c[1] + " " + c[0]; });
     els.stats.textContent = parts.concat(cls).join("  ·  ");
+    renderFactTotal(data);
+  }
+
+  // Everything the chat can answer from: the graph's own edges plus the
+  // general-knowledge seed, which arrives later and re-renders this.
+  function renderFactTotal(data) {
+    if (!els.factTotal) return;
+    var edges = (data && data.ledger && data.ledger.stats && data.ledger.stats.edges) || 0;
+    els.factTotal.textContent = (edges + seedState.facts).toLocaleString();
   }
 
   function renderFocusRows(data) {
@@ -182,7 +192,13 @@ const CLIENT_JS = String.raw`
     renderHints(data);
   }
 
+  function clearEmptyState() {
+    var e = document.getElementById("chat-empty");
+    if (e) e.remove();
+  }
+
   function appendTurn(role, text) {
+    clearEmptyState();
     var div = document.createElement("div");
     div.className = "turn turn-" + role;
     div.innerHTML = '<span class="who">' + (role === "you" ? "you" : "tmct") + '</span><span class="said">' + esc(text) + '</span>';
@@ -190,10 +206,16 @@ const CLIENT_JS = String.raw`
     els.log.scrollTop = els.log.scrollHeight;
   }
 
-  function appendNote(text) {
+  function renderEmptyState() {
     var div = document.createElement("div");
-    div.className = "turn turn-note";
-    div.textContent = text;
+    div.className = "chat-empty";
+    div.id = "chat-empty";
+    div.innerHTML = api
+      ? '<p class="chat-empty-head">Ask the graph, or ask it anything</p>'
+        + '<p>Ask about the code graph on the left, or about anything its general knowledge covers, like “what is a queue”.</p>'
+        + '<p class="chat-empty-hint">Try one of the questions below, or type your own.</p>'
+      : '<p class="chat-empty-head">Static view</p>'
+        + '<p>This page shows a fixed snapshot of the graph. The live chat is not available here.</p>';
     els.log.appendChild(div);
   }
 
@@ -203,6 +225,10 @@ const CLIENT_JS = String.raw`
   // readSeed under the desktop shell (a file:// page cannot fetch). The
   // status bar narrates the load; a missing or failing seed leaves the chat
   // graph-only and says so, never broken.
+  // The build's own content hash for the seed rides in the URL, so the service
+  // worker's cache-first read can only return the copy this page asked for.
+  // Empty under the desktop shell, which reads the seed off disk instead.
+  var SEED_QUERY = DATA.seedStamp ? "?b=" + DATA.seedStamp : "";
   var seedState = { status: api ? "loading" : "absent", payload: null, facts: 0 };
   function seedNote(text) { if (els.seedStatus) els.seedStatus.textContent = text; }
   function mbText(n) { return (n / 1048576).toFixed(1); }
@@ -232,7 +258,7 @@ const CLIENT_JS = String.raw`
         seedNote("loading general knowledge…");
         text = await window.tmctDesktop.readSeed();
       } else {
-        text = await fetchTextWithProgress("./chat-seed.json", function (loaded, total) {
+        text = await fetchTextWithProgress("./chat-seed.json" + SEED_QUERY, function (loaded, total) {
           seedNote("loading general knowledge… " + mbText(loaded) + (total ? " of " + mbText(total) : "") + " MB");
         });
       }
@@ -241,13 +267,14 @@ const CLIENT_JS = String.raw`
         seedState.facts = (seedState.payload.individuals || []).filter(function (i) { return i.class === "Fact"; }).length;
         seedState.status = "ready";
         seedNote("general knowledge: " + seedState.facts + " facts");
+        renderFactTotal(DATA);
         return;
       }
     } catch (e) {
       console.warn("tmct code explorer: chat-seed unavailable, continuing graph-only", e);
     }
     seedState.status = "absent";
-    seedNote("graph-only — general knowledge unavailable");
+    seedNote("graph-only, general knowledge unavailable");
   }
   var seedPromise = api ? loadSeed() : Promise.resolve();
 
@@ -315,6 +342,7 @@ const CLIENT_JS = String.raw`
           window.__CODE_EXPLORER__ = DATA;
           if (updateSource && els.source) els.source.textContent = picked.name || "(loaded graph)";
           els.log.innerHTML = "";
+          renderEmptyState();
           mountView(DATA);
         }
       } finally { btn.disabled = false; }
@@ -324,12 +352,11 @@ const CLIENT_JS = String.raw`
   wirePicker("open-repo", "openRepo", true);
 
   if (!api) {
-    if (els.dockNote) els.dockNote.textContent = "static view — the live chat is unavailable on this page.";
+    if (els.dockNote) els.dockNote.textContent = "static view, live chat unavailable here.";
     if (els.input) els.input.disabled = true;
     seedNote("static view");
-  } else {
-    appendNote("Ask about this code graph — or anything its general knowledge covers, like “what is a queue”.");
   }
+  renderEmptyState();
 
   mountView(DATA);
 })();
@@ -344,7 +371,7 @@ const CLIENT_JS = String.raw`
  * pointing at the desktop app's README section — the desktop shell itself
  * renders this page too and passes `false`, since it has nothing to point at.
  */
-export function renderCodeExplorerHtml(data, { bundleInline = "", bundleAvailable = false, winkLoaderInline = "", sourceName = "demo code graph", showDesktopLink = false } = {}) {
+export function renderCodeExplorerHtml(data, { bundleInline = "", bundleAvailable = false, winkLoaderInline = "", sourceName = "demo code graph", showDesktopLink = false, seedStamp = "" } = {}) {
   const payloadJson = embedJson(data.payload);
   const dataJson = embedJson({ ledger: data.ledger, hints: data.hints, focus: data.focus, meta: data.meta });
 
@@ -369,6 +396,11 @@ body { margin: 0; overflow: hidden; background: var(--bg); color: var(--ink); fo
 .titlebar h1 { font-size: 0.95rem; margin: 0; font-weight: 600; letter-spacing: 0.02em; }
 .titlebar .sub { color: var(--muted); font-size: 0.76rem; font-family: ${MONO_STACK}; }
 .titlebar .sub a { color: var(--corpus); }
+/* the fact count sits in the titlebar, not the footer status bar: it is what
+   the chat can actually answer from, and the footer is where a wrong number
+   goes unread. */
+.titlebar .factpill { display: inline-flex; align-items: baseline; gap: 0.34rem; font-family: ${MONO_STACK}; font-size: 0.62rem; letter-spacing: 0.07em; text-transform: uppercase; color: var(--muted); border: 1px solid var(--entail); border-radius: 99px; padding: 0.14rem 0.7rem; background: var(--entail-soft); white-space: nowrap; }
+.titlebar .factpill-value { font-size: 0.9rem; letter-spacing: 0; font-variant-numeric: tabular-nums; font-weight: 600; color: var(--ink); }
 .titlebar .pickers { margin-left: auto; display: flex; gap: 0.45rem; }
 button { font: inherit; cursor: pointer; }
 button:disabled { cursor: default; opacity: 0.5; }
@@ -397,13 +429,16 @@ ul.rows { list-style: none; margin: 0; padding: 0; }
 .turn-you .said { font-family: ${MONO_STACK}; font-size: 0.84rem; }
 .turn-tmct { border-left: 2px solid var(--entail); padding-left: 0.7rem; }
 .turn-tmct .said { white-space: pre-wrap; }
-.turn-note { color: var(--muted); font-style: italic; font-size: 0.85rem; }
-.suggest { flex: none; border-top: 1px solid var(--line); padding: 0.45rem 1.1rem 0.1rem; }
+.chat-empty { margin: auto; max-width: 26rem; text-align: center; color: var(--muted); }
+.chat-empty-head { color: var(--ink); font-weight: 600; font-size: 1.05rem; margin: 0 0 0.5rem; }
+.chat-empty p { margin: 0.3rem 0; line-height: 1.55; font-size: 0.92rem; }
+.chat-empty-hint { font-size: 0.82rem; }
+.suggest { flex: none; border-top: 1px solid var(--line); padding: 0.65rem 1.1rem 0.4rem; }
 .suggest-label { font-family: ${MONO_STACK}; font-size: 0.66rem; font-weight: 600; text-transform: uppercase; letter-spacing: 0.09em; color: var(--muted); }
-.hints { display: flex; flex-wrap: wrap; gap: 0.35rem; max-height: 5.6rem; overflow-y: auto; padding: 0.35rem 0 0.45rem; }
+.hints { display: flex; flex-wrap: wrap; gap: 0.4rem; max-height: 5.6rem; overflow-y: auto; padding: 0.45rem 0 0.55rem; }
 .hint { background: var(--bg); border: 1px solid var(--line); border-radius: 999px; padding: 0.24rem 0.7rem; font-size: 0.8rem; color: var(--ink); text-align: left; }
 .hint:hover { border-color: var(--entail); }
-#chat-form { flex: none; display: flex; gap: 0.5rem; padding: 0.55rem 1.1rem 0.8rem; border-top: 1px solid var(--line); }
+#chat-form { flex: none; display: flex; gap: 0.5rem; padding: 0.75rem 1.1rem 0.9rem; border-top: 1px solid var(--line); }
 #chat-input { flex: 1; min-width: 0; font: inherit; font-size: 0.92rem; padding: 0.5rem 0.65rem; border: 1px solid var(--line); border-radius: 4px; background: var(--bg); color: var(--ink); }
 #chat-form button { background: var(--entail); color: var(--card); font-weight: 600; border: none; border-radius: 4px; padding: 0.5rem 1rem; font-size: 0.9rem; }
 
@@ -422,6 +457,9 @@ ul.rows { list-style: none; margin: 0; padding: 0; }
     <svg class="mark" viewBox="0 0 16 16" aria-hidden="true"><path fill="currentColor" d="M8 0l1 2.3a5.8 5.8 0 0 1 1.9.8L13.3 2l.7.7-1.1 2.4c.4.6.6 1.2.8 1.9L16 8l-2.3 1a5.8 5.8 0 0 1-.8 1.9l1.1 2.4-.7.7-2.4-1.1a5.8 5.8 0 0 1-1.9.8L8 16l-1-2.3a5.8 5.8 0 0 1-1.9-.8L2.7 14l-.7-.7 1.1-2.4a5.8 5.8 0 0 1-.8-1.9L0 8l2.3-1c.2-.7.4-1.3.8-1.9L2 2.7l.7-.7 2.4 1.1A5.8 5.8 0 0 1 7 2.3L8 0zm0 5.2A2.8 2.8 0 1 0 8 10.8 2.8 2.8 0 0 0 8 5.2z"/></svg>
     <h1>tmct code explorer</h1>
     <span class="sub">source: <span id="source-name">${escapeHtml(sourceName)}</span></span>
+    <span class="factpill" id="fact-total" aria-live="polite" title="every fact this page's chat can draw on — the code graph's own edges plus the general-knowledge seed once it lands">
+      <span class="factpill-value" id="fact-total-value">&mdash;</span> facts loaded
+    </span>
     ${showDesktopLink ? `<span class="sub">Also available as a <a href="${DESKTOP_APP_URL}">desktop app</a>.</span>` : ""}
     <div class="pickers">
       <button id="open-graph">Open graph…</button>
@@ -456,7 +494,7 @@ ul.rows { list-style: none; margin: 0; padding: 0; }
     <span id="seed-status"></span>
   </footer>
 </div>
-<script>window.__CODE_EXPLORER__ = Object.assign({ payload: ${payloadJson} }, ${dataJson});</script>
+<script>window.__CODE_EXPLORER__ = Object.assign({ payload: ${payloadJson}, seedStamp: ${JSON.stringify(seedStamp)} }, ${dataJson});</script>
 ${winkLoaderInline ? `<script>\n${embedScriptText(winkLoaderInline)}\n</script>` : ""}
 ${bundleInline ? `<script>\n${embedScriptText(bundleInline)}\n</script>` : ""}
 ${bundleAvailable && !bundleInline ? `<script src="./code-explorer.bundle.js"></script>` : ""}

package/src/services/extract-facts.mjs

@@ -63,6 +63,7 @@ import { normFactTerm } from "../domain/hash.mjs";
 import { winkInstance } from "../adapters/wink-model.mjs";
 import {
   loadLexicon, lookupNoun, lookupVerb, lookupAdjective, lookupProperName, predicateOf,
+  OF_CLASSIFIER_HEADS, OF_PARTITIVE_HEADS,
 } from "../domain/grammar/lexicon.mjs";
 
 export const USAGE = "usage: tmct extract <text-file>|--file <text-file> [--repo <path>] [--out <file.jsonl>] [--optimistic] [--canonical]";
@@ -111,14 +112,10 @@ const OPTIMISTIC_ENTITY_HOPS = 4;
 // read — the noun on the far side belongs to a different clause or to a
 // prepositional complement, not to "X is a Y".
 const COPULA_FRAME_BLOCKERS = new Set(["VERB", "AUX", "ADP", "SCONJ", "CCONJ"]);
-// Of-chain handling on a copula object: classifier heads read through to the
-// real class; partitive containers state composition and yield no isa.
-const COPULA_OF_READ_THROUGH = new Set(["type", "kind", "sort", "form", "class", "variety", "species", "breed", "genus"]);
 // Naming periphrases stay copular: "can be termed as a name", "is known as",
 // "is defined as" — the participle + "as" carries the same class claim the
 // bare copula does, unlike any other verb after "is".
 const COPULA_NAMING_PARTICIPLES = new Set(["termed", "known", "defined", "described", "referred", "called", "classified"]);
-const COPULA_PARTITIVE_HEADS = new Set(["body", "mass", "group", "collection", "set", "series", "number", "amount", "piece", "part", "lot", "pair", "bunch", "pile"]);
 // The relative pronouns that open a clause predicating about the SENTENCE
 // subject: "a mountain that has lava" is a fact about the volcano, so the
 // relative clause's verb binds to the copula's own subject, not to its object.
@@ -202,7 +199,7 @@ function optimisticTriplesPos(sentence, lexicon, nlp) {
       let k = g - 1;
       while (k >= 0 && !isNounish(k) && (ofChainSkip(k) || values[k]?.toLowerCase() === "of")) k -= 1;
       if (k < 0 || !isNounish(k)) return null; // no readable head — abstain
-      if (COPULA_OF_READ_THROUGH.has(String(values[k]).toLowerCase())) return lo; // classifier reads through
+      if (OF_CLASSIFIER_HEADS.has(String(values[k]).toLowerCase())) return lo; // classifier reads through
       lo = runLoOf(k);
     }
     return lo;
@@ -271,8 +268,8 @@ function optimisticTriplesPos(sentence, lexicon, nlp) {
       const headWord = String(values[hi]).toLowerCase();
       const nextIsOf = values[hi + 1]?.toLowerCase() === "of";
       if (!nextIsOf) return { label: entityRunAt(j), hi };
-      if (COPULA_OF_READ_THROUGH.has(headWord)) { i = hi + 1; j = hi + 1; continue; }
-      if (COPULA_PARTITIVE_HEADS.has(headWord)) return null;
+      if (OF_CLASSIFIER_HEADS.has(headWord)) { i = hi + 1; j = hi + 1; continue; }
+      if (OF_PARTITIVE_HEADS.has(headWord)) return null;
       return { label: entityRunAt(j), hi };
     }
     return null;