@polycode-projects/the-mechanical-code-talker 3.0.5 → 3.0.7

package/src/domain/router/set-algebra.mjs

@@ -1,7 +1,7 @@
 // src/domain/router/set-algebra.mjs — the COMPOSITION OPERATORS: pure set-algebra a
 // multi-step plan needs to fold its threaded step result-sets into ONE composed
 // answer. Shared by the product router (goal-reasoner's relative-filter fold)
-// and the bench result-execution layer (agentbench/results.mjs re-exports
+// and the bench result-execution layer (test-benchmarks/agentbench/results.mjs re-exports
 // these) — the bench imports the product, never the other way round. The
 // resolver DRIVER picks the operator from the router's OWN HTN method
 // (relative-filter -> intersect; conditional -> fallback/guard) and applies it;

package/src/services/adventure.mjs

@@ -10,6 +10,7 @@
 
 import { worldProvenanceTag } from "../domain/worlds-pack.mjs";
 import { parseImperative, OBJECT_PRONOUNS } from "../domain/grammar/ace.mjs";
+import { register as registerReferent, bind as bindDiscourseForm } from "../domain/discourse.mjs";
 import { createCompletionsGraphAdapter } from "../domain/completions/graph-adapter.mjs";
 import { actionFamilies } from "../domain/router/taught.mjs";
 import { compileDomain, precondHolds, roleBinding } from "../domain/domain.mjs";
@@ -1224,14 +1225,16 @@ function renderedImperativeCommand(cmd) {
   return parts.join(" ");
 }
 
-// ---- pronoun binding: the session focus ---------------------------------------
+// ---- pronoun binding: the session discourse record ----------------------------
 //
 // A world command may name its object with a pronoun ("examine it", "take
 // them", "talk to him") instead of a noun. The antecedent is not in the
-// sentence — it's the last thing the player successfully acted on this
-// session, the FOCUS — so the parser leaves the pronoun bare (ace.mjs's
+// sentence — it's the last adventure object the player successfully acted on
+// this session — so the parser leaves the pronoun bare (ace.mjs's
 // OBJECT_PRONOUNS) and the lane binds it here, through ONE seam that every
-// object-taking verb passes on its way to runWorldCommand. With no focus
+// object-taking verb passes on its way to runWorldCommand. The antecedent lives
+// as one referent among N in the shared discourse record, so an adventure
+// object is bound the same way a code-graph answer's referent is. With nothing
 // standing, a pronoun gets an honest reference nudge, never the vocabulary
 // decline (a pronoun is a reference, not an unknown word).
 
@@ -1264,19 +1267,25 @@ async function noFocusPronounNudge(pronoun, { memoryDir }) {
   );
 }
 
-/** Bind any pronoun object/indirect/instrument slot to the session focus.
- *  Returns `{ cmd }` with the pronouns rewritten to the focus term, or `{
- *  nudge }` (the reference nudge) when a pronoun stands but no focus does. A
- *  command with no pronoun passes straight through untouched. */
-async function bindPronouns(cmd, { focus, memoryDir }) {
+/** Bind any pronoun object/indirect/instrument slot to the last adventure
+ *  object in the discourse record. Returns `{ cmd }` with the pronouns
+ *  rewritten to that object's term, or `{ nudge }` (the reference nudge) when a
+ *  pronoun stands but no adventure object does. A command with no pronoun
+ *  passes straight through untouched. All four surface pronouns
+ *  (it/them/him/her) normalize to the one `it` probe, then bind to the newest
+ *  referent THIS lane registered — the record may also hold code-graph
+ *  referents, so the bind is scoped to `lane: "adventure"`. */
+async function bindPronouns(cmd, { discourseHolder, memoryDir }) {
   if (!commandHasPronoun(cmd)) return { cmd };
-  if (!focus) {
+  const probe = discourseHolder ? bindDiscourseForm(discourseHolder.record, "it") : null;
+  const focusTerm = (probe?.candidates || []).find((r) => r.from?.lane === "adventure")?.label ?? null;
+  if (!focusTerm) {
     const pronoun = PRONOUN_SLOTS.map((s) => cmd[s]).find((v) => v && OBJECT_PRONOUNS.has(v));
     return { nudge: await noFocusPronounNudge(pronoun, { memoryDir }) };
   }
   const bound = { ...cmd };
   for (const s of PRONOUN_SLOTS) {
-    if (bound[s] && OBJECT_PRONOUNS.has(bound[s])) bound[s] = focus;
+    if (bound[s] && OBJECT_PRONOUNS.has(bound[s])) bound[s] = focusTerm;
   }
   return { cmd: bound };
 }
@@ -1292,7 +1301,7 @@ async function bindPronouns(cmd, { focus, memoryDir }) {
  * recognizer, injected so the two lanes can never disagree about what a plan
  * frame is.
  */
-export async function adventureTurn(line, { planHolder, memoryDir, sessionId = "", env, lexicon = null, graph = null, cache = null, isPlanFrameLine = () => false }) {
+export async function adventureTurn(line, { planHolder, memoryDir, sessionId = "", env, lexicon = null, graph = null, cache = null, isPlanFrameLine = () => false, discourseHolder = null }) {
   const slot = planHolder?.state ?? null;
   const adventure = slot?.adventure ?? null;
   const opening = matchAdventureOpening(line);
@@ -1351,16 +1360,22 @@ export async function adventureTurn(line, { planHolder, memoryDir, sessionId = "
   if (INVENTORY_RE.test(line)) return inventoryAnswer({ memoryDir, graph });
   const parsed = parseImperative(line, lexicon ?? undefined);
   if (parsed) {
-    const bound = await bindPronouns(parsed, { focus: adventure.focus, memoryDir });
+    const bound = await bindPronouns(parsed, { discourseHolder, memoryDir });
     if (bound.nudge) return bound.nudge;
     const cmd = bound.cmd;
     const result = await runWorldCommand(cmd, { world: adventure.world, memoryDir, env, graph, cache });
-    // The object a command SUCCESSFULLY named becomes the focus a later
-    // pronoun binds to — so "look lamp" then "examine it" reads the lamp, and
-    // "talk to housekeeper" makes "him"/"her" the housekeeper. A miss leaves
-    // the standing focus untouched; a bare room look or a move carries no
-    // object and so never disturbs it.
-    if (!result.miss && cmd.object) adventure.focus = cmd.object;
+    // The object a command SUCCESSFULLY named registers as a discourse referent
+    // a later pronoun binds to — so "look lamp" then "examine it" reads the
+    // lamp, and "talk to housekeeper" makes "him"/"her" the housekeeper. A miss
+    // leaves the record untouched; a bare room look or a move carries no object
+    // and so never disturbs it.
+    if (!result.miss && cmd.object && discourseHolder) {
+      discourseHolder.record = registerReferent(discourseHolder.record, {
+        kind: "entity", class: "AdventureObject", label: cmd.object,
+        ids: [`adventure:${cmd.object}`], attrs: {},
+        from: { turn: discourseHolder.record.turn, lane: "adventure", query: line },
+      });
+    }
     if (!cmd.corrected?.length) return result;
     // A fuzzy-repaired verb or direction still executes normally, but the
     // response says what it read the line as, so a genuine miss is never

package/src/services/chat-page-viz.mjs

@@ -16,7 +16,7 @@
 // chip is read straight off the SAME "(source: ...)" citation chat.mjs's own
 // factPhrase/renderFactLine convention already appends to most answers (see
 // e.g. `dog is a kind of animal (source: corpus:conceptnet ...)` — already
-// asserted by e2e/pages-chat-fullscreen.test.mjs against this page), never a
+// asserted by test-e2e/pages-chat-fullscreen.test.mjs against this page), never a
 // second provenance computation against memory internals: `provBucketFor`
 // (ledger-viz.mjs) is spliced in unmodified and applied to whatever citation
 // text the answer already carries, so this page's chip and the ledger's own
@@ -172,10 +172,18 @@ export function transcriptMarkdown(turns, meta, headerMd, turnMd) {
 }
 
 /** The self-contained "talk to it" full-screen page. Pure — the same output
- *  for the same `title` every time; every other piece of state (the session,
- *  every message, every chip) is computed live in the browser once the
- *  sibling chat bundle loads, exactly as the embedded widget already works. */
-export function renderChatHtml({ title = DEFAULT_TITLE } = {}) {
+ *  for the same `title`/`digestStructures` every time; every other piece of
+ *  state (the session, every message, every chip) is computed live in the
+ *  browser once the sibling chat bundle loads, exactly as the embedded widget
+ *  already works. `digestStructures` are the pre-parsed [[structure]] rows of
+ *  the digest sentence-structure bank, embedded so a long answer can lead
+ *  with a composed digest instead of the flat fact list — the same table
+ *  research.html/ledger.html already embed, fed here to the chat bundle's own
+ *  live digest-bank twin (see chat-browser-entry.mjs) rather than to a
+ *  client-side digest panel of this page's own; an empty list degrades to the
+ *  flat list exactly as before this page could digest at all. */
+export function renderChatHtml({ title = DEFAULT_TITLE, digestStructures = [] } = {}) {
+  const digestStructuresJson = JSON.stringify(Array.isArray(digestStructures) ? digestStructures : []);
   const legendHtml = PROV_LEGEND.map(
     ([key, label]) => `<span class="legend-item"><i class="dot dot-${provKey(key)}"></i>${escapeHtml(label)}</span>`,
   ).join("");
@@ -421,6 +429,7 @@ ${THEME_TOKENS_CSS}
   const renderStatsPanelInto = ${renderStatsPanelInto.toString()};
   const createTicker = ${createTicker.toString()};
   const prefersReducedMotion = ${prefersReducedMotion.toString()};
+  const DIGEST_STRUCTURES = ${digestStructuresJson};
   const el = (id) => document.getElementById(id);
 
   if ("serviceWorker" in navigator) navigator.serviceWorker.register("./tmct-sw.js").catch(() => {});
@@ -655,6 +664,7 @@ ${THEME_TOKENS_CSS}
       liveReference: liveReferenceForMode(checkedWikiMode()),
       synthesisBudget: readSynthBudget(),
       onLiveLookup: function () { statusEl.textContent = "searching wikipedia\\u2026"; },
+      digestStructures: DIGEST_STRUCTURES,
     });
   }
 
@@ -1139,6 +1149,7 @@ ${THEME_TOKENS_CSS}
         liveReference: liveReferenceForMode(initialMode),
         synthesisBudget: readSynthBudget(),
         onLiveLookup: function () { statusEl.textContent = "searching wikipedia\\u2026"; },
+        digestStructures: DIGEST_STRUCTURES,
       });
     } else {
       window.tmctChatSession = newSession();