fix(session): treat dotted exactNames as whole tokens

Interior dots join filenames and hostnames so vite.config.ts does not
cover config.ts. HTTP URLs lowercase before hostname scoring. Drop unused
ContinuationFacts.state.

Author: TheGreatAxios

src/session/compaction-verify.test.ts

@@ -253,6 +253,119 @@ describe("verifyCompactionSummary", () => {
       true,
     );
   });
+
+  test("dotted names are whole tokens so suffixes and prefixes do not cover", () => {
+    const cases: {
+      tool: string;
+      args: Record<string, string>;
+      summary: string;
+      detail: string;
+    }[] = [
+      {
+        tool: "read_file",
+        args: { path: "src/config.ts" },
+        summary: "Fix auth now. Updated vite.config.ts.",
+        detail: "src/config.ts",
+      },
+      {
+        tool: "read_file",
+        args: { path: "src/test.ts" },
+        summary: "Fix auth now. Updated auth.test.ts.",
+        detail: "src/test.ts",
+      },
+      {
+        tool: "read_file",
+        args: { path: "src/auth.ts" },
+        summary: "Fix auth now. Updated foo.auth.ts.",
+        detail: "src/auth.ts",
+      },
+      {
+        tool: "read_file",
+        args: { path: "src/auth.ts" },
+        summary: "Fix auth now. Kept auth.ts.bak.",
+        detail: "src/auth.ts",
+      },
+      {
+        tool: "web_fetch",
+        args: { url: "https://api.com/v1" },
+        summary: "Fix auth now. Called www.api.com.",
+        detail: "https://api.com/v1",
+      },
+    ];
+    for (const { tool, args, summary, detail } of cases) {
+      const facts = extractContinuationFacts([
+        textTurn("user", "Fix auth now"),
+        {
+          role: "assistant",
+          content: [
+            {
+              type: "tool_call",
+              id: "c1",
+              name: tool,
+              arguments: args,
+            },
+          ],
+          timestamp: 2,
+        },
+      ]);
+      const report = verifyCompactionSummary(summary, facts);
+      expect(report.misses.some((m) => m.kind === "exactName")).toBe(true);
+      expect(report.misses.some((m) => m.detail === detail)).toBe(true);
+    }
+  });
+
+  test("basename in a path still covers the exact name", () => {
+    const facts = extractContinuationFacts([
+      textTurn("user", "Fix auth now"),
+      {
+        role: "assistant",
+        content: [
+          {
+            type: "tool_call",
+            id: "c1",
+            name: "read_file",
+            arguments: { path: "src/auth.ts" },
+          },
+        ],
+        timestamp: 2,
+      },
+    ]);
+    const report = verifyCompactionSummary(
+      "Fix auth now. Read auth.ts next.",
+      facts,
+    );
+    expect(report.misses.some((m) => m.kind === "exactName")).toBe(false);
+  });
+
+  test("uppercase HTTP URL scores hostname case-insensitively", () => {
+    const facts = extractContinuationFacts([
+      textTurn("user", "Fix auth now"),
+      {
+        role: "assistant",
+        content: [
+          {
+            type: "tool_call",
+            id: "c1",
+            name: "web_fetch",
+            arguments: { url: "HTTP://API.COM/v1" },
+          },
+        ],
+        timestamp: 2,
+      },
+    ]);
+    expect(
+      verifyCompactionSummary(
+        "Fix auth now. Called api.com.",
+        facts,
+      ).misses.some((m) => m.kind === "exactName"),
+    ).toBe(false);
+    expect(
+      verifyCompactionSummary(
+        "Fix auth now. Hit endpoint v1.",
+        facts,
+      ).misses.some((m) => m.kind === "exactName"),
+    ).toBe(true);
+  });
 });
 
 describe("verifyOrRepair", () => {
@@ -360,7 +473,6 @@ describe("verifyOrRepair", () => {
         "Always keep the public API stable.",
       ],
       nextAction: "Fix the token refresh assertion next.",
-      state: "Fix the token refresh assertion next.",
       verification: ["bun run test auth", "bun run check"],
       blockers: ["token refresh assertion failed", "ECONNREFUSED on staging"],
       exactNames: ["src/auth.ts", "packages/runtime/config.json"],
@@ -389,7 +501,6 @@ describe("verifyOrRepair", () => {
     expect(repair).not.toContain("src/auth.ts");
     expect(repair).not.toContain("Goal:");
     expect(repair).not.toContain("Next:");
-    expect(repair).not.toMatch(/^State:/m);
   });
 
   test("repair lines are goal, next, exact names, then the rest", () => {
@@ -408,26 +519,6 @@ describe("verifyOrRepair", () => {
     expect(ranAt).toBeGreaterThan(blockersAt);
   });
 
-  test("repair does not emit a State line even when state is independent", () => {
-    const facts = {
-      goal: "Migrate the auth module to opaque tokens",
-      constraints: [] as string[],
-      nextAction: "Fix the token refresh assertion next.",
-      state: "The cache is still cold after warmup.",
-      verification: [] as string[],
-      blockers: ["token refresh assertion failed"],
-      exactNames: [] as string[],
-    };
-    const summary = "Work continues.";
-    const misses = verifyCompactionSummary(summary, facts).misses;
-    expect(misses.some((m) => m.kind === "blocker")).toBe(true);
-    expect(misses.some((m) => m.kind === "nextAction")).toBe(true);
-    const repaired = repairSummary(summary, facts, misses);
-    const repair = repaired.slice(repaired.indexOf(VERIFY_REPAIR_HEADING));
-    expect(repair).not.toMatch(/^State:/m);
-    expect(repair).not.toContain("cache is still cold");
-  });
-
   test("a tight cap keeps goal, next, and names before aborting on the tail", () => {
     const facts = extractContinuationFacts(droppedTurns());
     const misses = verifyCompactionSummary("Work continues.", facts).misses;

src/session/compaction-verify.ts

@@ -2,7 +2,7 @@
 //
 // After the compactor writes a summary handoff, this module scores the new
 // spine against the continuation facts the dropped turns carried (goal,
-// state, next action, constraints, verification, blockers, exact names).
+// next action, constraints, verification, blockers, exact names).
 // A fold that drops or contradicts those facts would leave the next agent
 // without steam, so the pass repairs the handoff deterministically or aborts
 // the fold. Fail closed: never ship a lying spine.
@@ -17,8 +17,6 @@ export const ContinuationFacts = type({
   constraints: "string[]",
   /** Last substantive assistant/user text in the dropped region. */
   nextAction: "string",
-  /** Last error text or assistant snippet: where the work stood. */
-  state: "string",
   /** Verification commands run (shell/test invocations). */
   verification: "string[]",
   /** Errored tool-result texts: what is still broken. */
@@ -127,9 +125,10 @@ function significantTokens(text: string, cap = 24): string[] {
 
 // A strict majority of the fact's content words must appear in the summary.
 // Short facts need all of their words: one shared word proves nothing.
-// Match on token boundaries so "auth" does not score against "authored" or
-// hyphenated "pre-auth".
-function isTokenChar(ch: string | undefined): boolean {
+// Match on token boundaries so "auth" does not score against "authored",
+// hyphenated "pre-auth", or dotted "foo.auth". An interior `.` joins a
+// dotted name; a sentence period does not.
+function isNameChar(ch: string | undefined): boolean {
   if (ch === undefined) return false;
   const code = ch.charCodeAt(0);
   return (
@@ -140,14 +139,25 @@ function isTokenChar(ch: string | undefined): boolean {
   );
 }
 
+function isTokenCharAt(text: string, index: number): boolean {
+  if (index < 0 || index >= text.length) return false;
+  const ch = text[index];
+  if (isNameChar(ch)) return true;
+  // `.` is a token char only between name chars: `vite.config.ts` stays
+  // one token, but `tokens.` / `api.com.` still match at a sentence stop.
+  return (
+    ch === "." && isNameChar(text[index - 1]) && isNameChar(text[index + 1])
+  );
+}
+
 function tokenAppears(token: string, lowered: string): boolean {
   let from = 0;
   for (;;) {
     const i = lowered.indexOf(token, from);
     if (i < 0) return false;
     if (
-      !isTokenChar(i === 0 ? undefined : lowered[i - 1]) &&
-      !isTokenChar(lowered[i + token.length])
+      !isTokenCharAt(lowered, i - 1) &&
+      !isTokenCharAt(lowered, i + token.length)
     )
       return true;
     from = i + 1;
@@ -257,11 +267,6 @@ export function extractContinuationFacts(
   const goal = users[0] ?? "";
   const nextAction =
     assistants[assistants.length - 1] ?? users[users.length - 1] ?? "";
-  const state =
-    blockers[blockers.length - 1] ??
-    assistants[assistants.length - 1] ??
-    users[users.length - 1] ??
-    "";
 
   const exactNames: string[] = [];
   const verification: string[] = [];
@@ -298,7 +303,6 @@ export function extractContinuationFacts(
     goal: goal.slice(0, 500),
     constraints: extractConstraints(users),
     nextAction: nextAction.slice(0, 300),
-    state: state.slice(0, 300),
     verification: verification.slice(0, 6),
     blockers,
     exactNames: exactNames.slice(0, 20),
@@ -310,11 +314,12 @@ export function extractContinuationFacts(
 // Basename for paths (a summary that moves `src/auth.ts` to "auth.ts" still
 // names it); hostname for URLs (query strings get reworded freely).
 // Match on token/path boundaries so "oauth.ts" does not cover "auth.ts",
-// "tsconfig.json" does not cover "config.json", and "myapi.com" does not
-// cover hostname "api.com".
+// "vite.config.ts" does not cover "config.ts", and "www.api.com" does not
+// cover hostname "api.com". `/` stays a non-token so a path still covers
+// its basename.
 function exactNameSupported(name: string, summary: string): boolean {
   const lowered = summary.toLowerCase();
-  if (name.startsWith("http")) {
+  if (name.toLowerCase().startsWith("http")) {
     const host = hostnameOf(name);
     if (host !== undefined && tokenAppears(host.toLowerCase(), lowered))
       return true;