memorix 1.8.6 → 1.8.8

package/src/knowledge/workset.ts

@@ -19,7 +19,7 @@ import type {
   ContextReceiptOmission,
   ContextReceiptSelection,
 } from './context-assembly.js';
-import type { CodeGraphProviderQuality, ExternalCodeGraphOutline } from '../codegraph/types.js';
+import type { CodeGraphOutline, CodeGraphProviderQuality } from '../codegraph/types.js';
 import type { KnowledgeClaim, ClaimEvidenceRef } from './types.js';
 import type { KnowledgePageRecord, KnowledgeWorkspace } from './workspace-types.js';
 import type { WorkflowSelection } from './workflow-types.js';
@@ -161,7 +161,7 @@ export interface TaskWorkset {
   codeEvolution?: WorksetCodeEvolution;
   startHere: string[];
   /** Bounded task-specific relations from a validated local semantic graph. */
-  semanticCode?: ExternalCodeGraphOutline;
+  semanticCode?: CodeGraphOutline;
   reliableMemory: WorksetMemorySource[];
   cautionMemory: WorksetMemorySource[];
   hiddenCautionMemoryCount: number;
@@ -201,7 +201,7 @@ export interface BuildTaskWorksetInput {
   codeState?: string;
   codeEvolution?: WorksetCodeEvolution;
   startHere: string[];
-  semanticCode?: ExternalCodeGraphOutline;
+  semanticCode?: CodeGraphOutline;
   providerQuality?: CodeGraphProviderQuality;
   reliableMemory?: WorksetMemorySource[];
   cautionMemory?: WorksetMemorySource[];
@@ -732,47 +732,6 @@ export function renderTaskWorksetPrompt(input: Omit<TaskWorkset, 'prompt' | 'bud
     }
   }
 
-  if (input.semanticCode && (input.semanticCode.entryPoints.length > 0 || input.semanticCode.relations.length > 0)) {
-    appendLine(lines, '', maxTokens, omitted, 'semantic-code-heading');
-    appendLine(lines, 'Semantic code outline', maxTokens, omitted, 'semantic-code-heading');
-    for (const relation of input.semanticCode.relations.slice(0, 2)) {
-      const location = relation.from.path + (relation.line ? ':' + relation.line : '');
-      appendLine(
-        lines,
-        '- ' + location + ': ' + short(relation.from.name, 12) + ' ' + short(relation.kind, 8) + ' ' + short(relation.to.name, 12),
-        maxTokens,
-        omitted,
-        'semantic-relation',
-        selected,
-        {
-          kind: 'semantic-code',
-          id: 'code:' + location,
-          reason: 'validated optional semantic code relation',
-          trust: 'derived',
-        },
-      );
-    }
-    if (input.semanticCode.relations.length === 0) {
-      for (const entry of input.semanticCode.entryPoints.slice(0, 2)) {
-        const location = entry.path + (entry.startLine ? ':' + entry.startLine : '');
-        appendLine(
-          lines,
-          '- ' + location + ': ' + short(entry.name, 16) + ' (' + short(entry.kind, 8) + ')',
-          maxTokens,
-          omitted,
-          'semantic-entry',
-          selected,
-          {
-            kind: 'semantic-code',
-            id: 'code:' + location,
-            reason: 'validated optional semantic code entry point',
-            trust: 'derived',
-          },
-        );
-      }
-    }
-  }
-
   if (input.startHere.length > 0) {
     appendLine(lines, '', maxTokens, omitted, 'start-heading');
     appendLine(lines, 'Start here', maxTokens, omitted, 'start-heading');
@@ -910,6 +869,49 @@ export function renderTaskWorksetPrompt(input: Omit<TaskWorkset, 'prompt' | 'bud
     }
   }
 
+  // Semantic structure is useful, but it must never evict the task, current
+  // facts, warnings, or reliable memory from a small Agent budget.
+  if (input.semanticCode && (input.semanticCode.entryPoints.length > 0 || input.semanticCode.relations.length > 0)) {
+    appendLine(lines, '', maxTokens, omitted, 'semantic-code-heading');
+    appendLine(lines, 'Semantic code outline', maxTokens, omitted, 'semantic-code-heading');
+    for (const relation of input.semanticCode.relations.slice(0, 2)) {
+      const location = relation.from.path + (relation.line ? ':' + relation.line : '');
+      appendLine(
+        lines,
+        '- ' + location + ': ' + short(relation.from.name, 12) + ' ' + short(relation.kind, 8) + ' ' + short(relation.to.name, 12),
+        maxTokens,
+        omitted,
+        'semantic-relation',
+        selected,
+        {
+          kind: 'semantic-code',
+          id: 'code:' + location,
+          reason: 'validated semantic code relation',
+          trust: 'derived',
+        },
+      );
+    }
+    if (input.semanticCode.relations.length === 0) {
+      for (const entry of input.semanticCode.entryPoints.slice(0, 2)) {
+        const location = entry.path + (entry.startLine ? ':' + entry.startLine : '');
+        appendLine(
+          lines,
+          '- ' + location + ': ' + short(entry.name, 16) + ' (' + short(entry.kind, 8) + ')',
+          maxTokens,
+          omitted,
+          'semantic-entry',
+          selected,
+          {
+            kind: 'semantic-code',
+            id: 'code:' + location,
+            reason: 'validated semantic code entry point',
+            trust: 'derived',
+          },
+        );
+      }
+    }
+  }
+
   return {
     prompt: lines.join('\n'),
     tokenCount: countTextTokens(lines.join('\n')),

package/src/server/mcp-binding-store.ts

@@ -73,6 +73,23 @@ export class McpBindingStore {
     return { ...binding, lastUsedAt };
   }
 
+  /** Reuse the most recent valid extension handle for a verified project root. */
+  findByProjectRoot(projectRoot: string): McpProjectBinding | undefined {
+    const row = this.requireDb().prepare(`
+      SELECT * FROM mcp_bindings
+      WHERE project_root = ?
+      ORDER BY last_used_at DESC
+      LIMIT 1
+    `).get(projectRoot);
+    if (!row) return undefined;
+    const binding = rowToBinding(row);
+    if (binding.expiresAt && Date.parse(binding.expiresAt) <= Date.now()) {
+      this.delete(binding.handleId);
+      return undefined;
+    }
+    return binding;
+  }
+
   delete(handleId: string): void {
     this.requireDb().prepare(`DELETE FROM mcp_bindings WHERE handle_id = ?`).run(handleId);
   }

package/src/store/sqlite-db.ts

@@ -244,6 +244,8 @@ CREATE TABLE IF NOT EXISTS code_files (
   sizeBytes       INTEGER,
   indexedAt       TEXT NOT NULL,
   gitCommit       TEXT,
+  source          TEXT,
+  parserError     TEXT,
   UNIQUE(projectId, path)
 );
 `;
@@ -263,6 +265,7 @@ CREATE TABLE IF NOT EXISTS code_symbols (
   contentHash     TEXT,
   indexedAt       TEXT NOT NULL,
   stale           INTEGER NOT NULL DEFAULT 0,
+  source          TEXT,
   UNIQUE(projectId, fileId, qualifiedName, kind)
 );
 `;
@@ -278,6 +281,7 @@ CREATE TABLE IF NOT EXISTS code_edges (
   type            TEXT NOT NULL,
   confidence      REAL NOT NULL DEFAULT 1.0,
   evidence        TEXT,
+  source          TEXT,
   indexedAt       TEXT NOT NULL
 );
 `;
@@ -1071,6 +1075,15 @@ const SCHEMA_MIGRATIONS: SchemaMigration[] = [
       db.exec('CREATE INDEX IF NOT EXISTS idx_mcp_bindings_project ON mcp_bindings(project_id, last_used_at DESC)');
     },
   },
+  {
+    id: '1.8.7-codegraph-evidence',
+    apply: (db) => {
+      addColumnIfMissing(db, 'code_files', 'source', 'source TEXT');
+      addColumnIfMissing(db, 'code_files', 'parserError', 'parserError TEXT');
+      addColumnIfMissing(db, 'code_symbols', 'source', 'source TEXT');
+      addColumnIfMissing(db, 'code_edges', 'source', 'source TEXT');
+    },
+  },
 ];
 
 function applySchemaMigrations(db: any): void {