@jungjaehoon/mama-core 1.9.0 → 2.1.0

package/dist/context-compile/visibility.js

@@ -8,6 +8,7 @@ exports.normalizeSeedRefs = normalizeSeedRefs;
 const node_crypto_1 = require("node:crypto");
 const types_js_1 = require("../memory/types.js");
 const ref_js_1 = require("./ref.js");
+const channel_grant_js_1 = require("./channel-grant.js");
 const SCOPE_ORDER = {
     project: 0,
     channel: 1,
@@ -110,13 +111,36 @@ function assertContextBoundaryAllowsInput(input) {
         throw new Error('Requested tenant is outside the context boundary');
     }
     const seedRefs = (0, ref_js_1.normalizeContextRefs)(input.seedRefs);
-    assertSeedRefsAllowed(seedRefs, boundaryConnectors, hasConnectorBoundary);
-}
-function assertSeedRefsAllowed(seedRefs, boundaryConnectors, hasConnectorBoundary) {
+    assertSeedRefsAllowed(seedRefs, boundaryConnectors, hasConnectorBoundary, input.boundary.channels);
+}
+/**
+ * A seed ref must satisfy the same visibility rule as a row the reader would have returned.
+ *
+ * The connector check alone was never enough, and once raw visibility is decided by
+ * (connector, channel) it is plainly not: a caller could name the raw id of an event in an
+ * ungranted channel and have its identifiers - upstream source id and channel - come back
+ * in the packet's source_refs, which is then persisted. That is a citation path reaching
+ * past the reading path, the exact asymmetry this rebuild exists to remove.
+ *
+ * The channel is checked only when the boundary carries a grant. Without one there is no
+ * channel rule to enforce and the connector check stands, unchanged.
+ */
+function assertSeedRefsAllowed(seedRefs, boundaryConnectors, hasConnectorBoundary, channelGrant) {
     for (const ref of seedRefs) {
-        if (ref.kind === 'raw' && hasConnectorBoundary && !boundaryConnectors.has(ref.connector)) {
+        if (ref.kind !== 'raw')
+            continue;
+        if (hasConnectorBoundary && !boundaryConnectors.has(ref.connector)) {
             throw new Error(`Seed raw ref connector is outside the context boundary: ${ref.connector}`);
         }
+        if (!channelGrant)
+            continue;
+        // Calls the shared rule rather than re-deriving membership. An inline re-derivation
+        // here already disagreed with it on the empty-channel case, which is how a fourth copy
+        // of a decision starts: not by being written as a copy, but by being written as
+        // "obviously the same check".
+        if (!(0, channel_grant_js_1.isChannelGranted)(ref.connector, ref.channel_id, channelGrant)) {
+            throw new Error(`Seed raw ref channel is outside the context boundary: ${ref.connector}`);
+        }
     }
 }
 function isRecord(value) {

package/dist/db-adapter/node-sqlite-adapter.js

@@ -613,6 +613,10 @@ class NodeSQLiteAdapter extends base_adapter_js_1.DatabaseAdapter {
                 }
             }
             this.exec(`
+        CREATE INDEX IF NOT EXISTS idx_decisions_topic
+          ON decisions(topic)
+      `);
+            this.exec(`
         CREATE INDEX IF NOT EXISTS idx_decisions_envelope_hash
           ON decisions(envelope_hash)
       `);

package/dist/db-manager.d.ts

@@ -147,11 +147,6 @@ export declare function getAdapter(): DatabaseAdapter;
  */
 export declare function closeDB(): Promise<void>;
 export declare function ensureMemoryScope(kind: string, externalId: string): Promise<string>;
-export declare function bindMemoryToScope(memoryId: string, scopeId: string, isPrimary?: boolean): Promise<void>;
-export declare function listScopesForMemory(memoryId: string): Promise<Array<{
-    kind: string;
-    id: string;
-}>>;
 /**
  * Insert embedding into vector search table
  *
@@ -301,12 +296,4 @@ export declare function fts5Search(query: string, limit?: number): Promise<{
     id: string;
     rank: number;
 }[]>;
-/**
- * Re-generate all embeddings using the currently configured model.
- * Call this after changing the embedding model in config.json.
- *
- * @param onProgress - Optional callback with (completed, total) counts
- * @returns Number of embeddings regenerated
- */
-export declare function reindexEmbeddings(onProgress?: (completed: number, total: number) => void): Promise<number>;
 //# sourceMappingURL=db-manager.d.ts.map

package/dist/db-manager.js

@@ -29,8 +29,6 @@ exports.getDB = getDB;
 exports.getAdapter = getAdapter;
 exports.closeDB = closeDB;
 exports.ensureMemoryScope = ensureMemoryScope;
-exports.bindMemoryToScope = bindMemoryToScope;
-exports.listScopesForMemory = listScopesForMemory;
 exports.insertEmbedding = insertEmbedding;
 exports.vectorSearch = vectorSearch;
 exports.insertDecisionWithEmbedding = insertDecisionWithEmbedding;
@@ -43,7 +41,6 @@ exports.getDbPath = getDbPath;
 exports.resetDBState = resetDBState;
 exports.isTestMode = isTestMode;
 exports.fts5Search = fts5Search;
-exports.reindexEmbeddings = reindexEmbeddings;
 const path_1 = __importDefault(require("path"));
 const os_1 = __importDefault(require("os"));
 const debug_logger_js_1 = require("./debug-logger.js");
@@ -262,27 +259,6 @@ async function ensureMemoryScope(kind, externalId) {
         .run(id, kind, externalId);
     return id;
 }
-async function bindMemoryToScope(memoryId, scopeId, isPrimary = false) {
-    const adapter = getAdapter();
-    adapter
-        .prepare(`
-        INSERT OR REPLACE INTO memory_scope_bindings (memory_id, scope_id, is_primary)
-        VALUES (?, ?, ?)
-      `)
-        .run(memoryId, scopeId, isPrimary ? 1 : 0);
-}
-async function listScopesForMemory(memoryId) {
-    const adapter = getAdapter();
-    return adapter
-        .prepare(`
-        SELECT ms.kind, ms.external_id AS id
-        FROM memory_scope_bindings msb
-        JOIN memory_scopes ms ON ms.id = msb.scope_id
-        WHERE msb.memory_id = ?
-        ORDER BY msb.is_primary DESC, ms.created_at ASC
-      `)
-        .all(memoryId);
-}
 /**
  * Insert embedding into vector search table
  *
@@ -811,46 +787,4 @@ async function fts5Search(query, limit = 10) {
   `);
     return stmt.all(query, limit);
 }
-/**
- * Re-generate all embeddings using the currently configured model.
- * Call this after changing the embedding model in config.json.
- *
- * @param onProgress - Optional callback with (completed, total) counts
- * @returns Number of embeddings regenerated
- */
-async function reindexEmbeddings(onProgress) {
-    const adapter = getAdapter();
-    const { generateEnhancedEmbedding } = await import('./embeddings.js');
-    const decisions = adapter
-        .prepare('SELECT rowid, topic, decision, reasoning, outcome, confidence FROM decisions')
-        .all();
-    if (typeof adapter.insertEmbedding !== 'function') {
-        throw new Error('Embedding insertion is not available on this adapter');
-    }
-    const total = decisions.length;
-    let completed = 0;
-    for (const row of decisions) {
-        try {
-            // e5 passage role (default) - stored vector
-            const embedding = await generateEnhancedEmbedding({
-                topic: row.topic,
-                decision: row.decision,
-                reasoning: row.reasoning || undefined,
-                outcome: row.outcome || undefined,
-                confidence: row.confidence ?? undefined,
-            });
-            adapter.insertEmbedding(row.rowid, embedding);
-            completed++;
-            if (onProgress && completed % 50 === 0) {
-                onProgress(completed, total);
-            }
-        }
-        catch (e) {
-            (0, debug_logger_js_1.error)(`[db-manager] Failed to reindex rowid ${row.rowid}: ${e}`);
-        }
-    }
-    onProgress?.(completed, total);
-    (0, debug_logger_js_1.info)(`[db-manager] Reindexed ${completed}/${total} embeddings`);
-    return completed;
-}
 //# sourceMappingURL=db-manager.js.map

package/dist/decision-formatter.d.ts

@@ -140,13 +140,6 @@ export declare function ensureTokenBudget(text: string, maxTokens: number): stri
  * Heuristic: ~1 token per 4 characters
  */
 export declare function estimateTokens(text: string): number;
-/**
- * Format context in Claude-friendly Instant Answer format
- *
- * Story 014.7.10: Claude-Friendly Context Formatting
- * AC #1: Instant Answer format with trust components
- */
-export declare function formatInstantAnswer(decision: DecisionForFormat | null, options?: FormatOptions): string | null;
 /**
  * Extract quick answer from decision
  */
@@ -161,10 +154,6 @@ export declare function extractCodeExample(decision: DecisionForFormat): string
  * Story 014.7.10 AC #2: Trust Context display
  */
 export declare function formatTrustContext(trustCtx: TrustContext | null | undefined): string | null;
-/**
- * Format decision as curiosity-inducing teaser
- */
-export declare function formatTeaser(decision: DecisionForFormat | null): string | null;
 /**
  * Format mama.recall() results in readable format
  */

package/dist/decision-formatter.js

@@ -17,11 +17,9 @@ exports.formatContext = formatContext;
 exports.formatLegacyContext = formatLegacyContext;
 exports.ensureTokenBudget = ensureTokenBudget;
 exports.estimateTokens = estimateTokens;
-exports.formatInstantAnswer = formatInstantAnswer;
 exports.extractQuickAnswer = extractQuickAnswer;
 exports.extractCodeExample = extractCodeExample;
 exports.formatTrustContext = formatTrustContext;
-exports.formatTeaser = formatTeaser;
 exports.formatRecall = formatRecall;
 exports.formatList = formatList;
 const relevance_scorer_js_1 = require("./relevance-scorer.js");
@@ -362,42 +360,6 @@ function getOutcomeEmoji(outcome) {
     };
     return outcome ? emojiMap[outcome] || '' : '';
 }
-/**
- * Format context in Claude-friendly Instant Answer format
- *
- * Story 014.7.10: Claude-Friendly Context Formatting
- * AC #1: Instant Answer format with trust components
- */
-function formatInstantAnswer(decision, options = {}) {
-    const { maxTokens = 500 } = options;
-    if (!decision) {
-        return null;
-    }
-    // Extract quick answer (first line of decision)
-    const quickAnswer = extractQuickAnswer(decision);
-    if (!quickAnswer) {
-        return null;
-    }
-    // Extract code example (from reasoning)
-    const codeExample = extractCodeExample(decision);
-    // Format trust context
-    const trustSection = formatTrustContext(typeof decision.trust_context === 'string'
-        ? parseTrustContext(decision.trust_context)
-        : decision.trust_context);
-    // Build output
-    let output = `⚡ INSTANT ANSWER\n\n${quickAnswer}`;
-    if (codeExample) {
-        output += `\n\n${codeExample}`;
-    }
-    if (trustSection) {
-        output += `\n\n${trustSection}`;
-    }
-    // Token budget check
-    if (estimateTokens(output) > maxTokens) {
-        output = truncateToFit(output, maxTokens);
-    }
-    return output;
-}
 /**
  * Extract quick answer from decision
  */
@@ -500,50 +462,6 @@ function formatTrustContext(trustCtx) {
     lines.push('━'.repeat(40));
     return lines.join('\n');
 }
-/**
- * Truncate output to fit token budget
- */
-function truncateToFit(output, maxTokens) {
-    const sections = output.split('\n\n');
-    const quickAnswer = sections[0];
-    let result = quickAnswer;
-    let remainingTokens = maxTokens - estimateTokens(result);
-    // Try to add code example
-    const codeIndex = sections.findIndex((s) => s.startsWith('```'));
-    if (codeIndex > 0) {
-        const codeSection = sections[codeIndex];
-        const codeTokens = estimateTokens(codeSection);
-        if (codeTokens <= remainingTokens) {
-            result += '\n\n' + codeSection;
-            remainingTokens -= codeTokens;
-        }
-    }
-    // Try to add trust section (trimmed if needed)
-    const trustIndex = sections.findIndex((s) => s.startsWith('━'));
-    if (trustIndex > 0 && remainingTokens > 50) {
-        const trustSection = sections[trustIndex];
-        const trustTokens = estimateTokens(trustSection);
-        if (trustTokens <= remainingTokens) {
-            result += '\n\n' + trustSection;
-        }
-        else {
-            const trustLines = trustSection.split('\n');
-            let trimmed = trustLines[0] + '\n' + trustLines[1] + '\n';
-            for (let i = 2; i < trustLines.length - 1; i++) {
-                const line = trustLines[i] + '\n';
-                if (estimateTokens(trimmed + line) <= remainingTokens - 10) {
-                    trimmed += line;
-                }
-                else {
-                    break;
-                }
-            }
-            trimmed += trustLines[trustLines.length - 1];
-            result += '\n\n' + trimmed;
-        }
-    }
-    return result;
-}
 /**
  * Format multiple decisions as Google-style search results
  */
@@ -578,46 +496,6 @@ function formatTeaserList(decisions, topN = 3) {
     }
     return output;
 }
-/**
- * Format decision as curiosity-inducing teaser
- */
-function formatTeaser(decision) {
-    if (!decision) {
-        return null;
-    }
-    const timeAgo = calculateDuration(getDecisionTimestamp(decision));
-    // Extract preview (first 60 chars)
-    const preview = decision.decision.length > 60 ? decision.decision.substring(0, 60) + '...' : decision.decision;
-    // Extract files from trust_context or show generic
-    let files = 'Multiple files';
-    const trustCtx = typeof decision.trust_context === 'string'
-        ? parseTrustContext(decision.trust_context)
-        : decision.trust_context;
-    if (trustCtx?.source?.file) {
-        const fileStr = trustCtx.source.file;
-        const fileList = fileStr.split(',').map((f) => f.trim());
-        if (fileList.length === 1) {
-            files = fileList[0];
-        }
-        else if (fileList.length === 2) {
-            files = fileList.join(', ');
-        }
-        else {
-            files = `${fileList[0]}, ${fileList[1]} (+${fileList.length - 2})`;
-        }
-    }
-    const teaser = `
-💡 MAMA has related info
-
-📚 Topic: ${decision.topic}
-📖 Preview: "${preview}"
-📁 Files: ${files}
-⏰ Updated: ${timeAgo}
-
-🔍 Read more: mama.recall('${decision.topic}')
-  `.trim();
-    return teaser;
-}
 /**
  * Format mama.recall() results in readable format
  */

package/dist/decision-tracker.d.ts

@@ -163,18 +163,6 @@ export declare function createEdgesFromReasoning(fromId: string, reasoning: stri
     created: number;
     failed: number;
 }>;
-/**
- * Get supersedes chain depth for a topic
- *
- * Story 2.2: Calculate how many times a topic has been superseded
- *
- * @param topic - Decision topic
- * @returns Chain depth and decision IDs
- */
-export declare function getSupersededChainDepth(topic: string): Promise<{
-    depth: number;
-    chain: string[];
-}>;
 /**
  * Learn Decision Function (Main API)
  *

package/dist/decision-tracker.js

@@ -25,7 +25,6 @@ exports.calculateCombinedConfidence = calculateCombinedConfidence;
 exports.detectRefinement = detectRefinement;
 exports.parseReasoningForRelationships = parseReasoningForRelationships;
 exports.createEdgesFromReasoning = createEdgesFromReasoning;
-exports.getSupersededChainDepth = getSupersededChainDepth;
 exports.learnDecision = learnDecision;
 exports.updateConfidence = updateConfidence;
 const debug_logger_js_1 = require("./debug-logger.js");
@@ -305,55 +304,6 @@ async function createEdgesFromReasoning(fromId, reasoning) {
     }
     return { created, failed };
 }
-/**
- * Get supersedes chain depth for a topic
- *
- * Story 2.2: Calculate how many times a topic has been superseded
- *
- * @param topic - Decision topic
- * @returns Chain depth and decision IDs
- */
-async function getSupersededChainDepth(topic) {
-    const adapter = (0, memory_store_js_1.getAdapter)();
-    const chain = [];
-    try {
-        // Start from the latest decision (superseded_by IS NULL)
-        let stmt = adapter.prepare(`
-      SELECT id, supersedes FROM decisions
-      WHERE topic = ? AND superseded_by IS NULL
-      ORDER BY created_at DESC
-      LIMIT 1
-    `);
-        let current = stmt.get(topic);
-        if (!current) {
-            return { depth: 0, chain: [] };
-        }
-        chain.push(current.id);
-        // Walk back through supersedes chain with cycle detection
-        const visited = new Set([current.id]);
-        const MAX_CHAIN_DEPTH = 1000; // Safety limit
-        while (current && current.supersedes && chain.length < MAX_CHAIN_DEPTH) {
-            // Cycle detection: stop if we've seen this ID before
-            if (visited.has(current.supersedes)) {
-                break;
-            }
-            stmt = adapter.prepare('SELECT id, supersedes FROM decisions WHERE id = ?');
-            current = stmt.get(current.supersedes);
-            if (current) {
-                visited.add(current.id);
-                chain.push(current.id);
-            }
-        }
-        return {
-            depth: chain.length - 1, // depth = number of supersedes edges
-            chain: chain.reverse(), // oldest to newest
-        };
-    }
-    catch (error) {
-        const message = error instanceof Error ? error.message : String(error);
-        throw new Error(`Failed to get supersedes chain: ${message}`);
-    }
-}
 // ════════════════════════════════════════════════════════════════════════════
 // NOTE: Auto-link functions REMOVED in v1.2.0
 //

package/dist/edges/ref-validation.d.ts

@@ -1,8 +1,7 @@
 import type { DatabaseAdapter } from '../db-manager.js';
-import type { ListVisibleTwinEdgesOptions, TwinEdgeRecord, TwinRef, TwinScopeRef, TwinVisibility } from './types.js';
+import type { ListVisibleTwinEdgesOptions, TwinEdgeRecord, TwinRef, TwinVisibility } from './types.js';
 type TwinRefVisibilityAdapter = Pick<DatabaseAdapter, 'prepare'>;
 export declare function assertTwinRefsVisible(adapter: TwinRefVisibilityAdapter, refs: readonly TwinRef[], visibility?: TwinVisibility): void;
-export declare function assertTwinRefsVisibleToScopes(adapter: TwinRefVisibilityAdapter, refs: readonly TwinRef[], scopes?: TwinScopeRef[]): void;
 export declare function listVisibleTwinEdgesForRefs(adapter: TwinRefVisibilityAdapter, refs: readonly TwinRef[], options?: ListVisibleTwinEdgesOptions): TwinEdgeRecord[];
 export {};
 //# sourceMappingURL=ref-validation.d.ts.map

package/dist/edges/ref-validation.js

@@ -1,9 +1,9 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.assertTwinRefsVisible = assertTwinRefsVisible;
-exports.assertTwinRefsVisibleToScopes = assertTwinRefsVisibleToScopes;
 exports.listVisibleTwinEdgesForRefs = listVisibleTwinEdgesForRefs;
 const store_js_1 = require("./store.js");
+const channel_grant_js_1 = require("../context-compile/channel-grant.js");
 const TABLE_COLUMN_PRAGMAS = {
     decisions: 'PRAGMA table_info(decisions)',
     case_truth: 'PRAGMA table_info(case_truth)',
@@ -21,9 +21,6 @@ function hasScopes(scopes) {
 function hasProjectRefs(projectRefs) {
     return Array.isArray(projectRefs) && projectRefs.length > 0;
 }
-function visibilityFromScopes(scopes) {
-    return { scopes: scopes ? [...scopes] : undefined };
-}
 function asOfMs(visibility) {
     return typeof visibility.asOfMs === 'number' ? visibility.asOfMs : null;
 }
@@ -177,6 +174,30 @@ function isCaseVisible(adapter, id, visibility) {
     }
     return false;
 }
+/**
+ * The time bound, shared by both branches so a grant cannot skip it.
+ *
+ * DELIBERATELY STRICTER THAN THE READER, and a review flagged the difference as a
+ * divergence between two delegates of one rule. It is not. A row with no usable timestamp
+ * is refused here even when no bound is set, while the reader - whose clause is on
+ * `COALESCE(event_datetime, source_timestamp_ms)` - leaves such a row alone when there is
+ * no bound to apply.
+ *
+ * The direction is what makes it correct: this gate guards refs reached INDIRECTLY, through
+ * a seed the caller named or an edge the graph walked. Refusing what cannot be shown to sit
+ * inside any window keeps the indirect path no wider than the direct one, which is the
+ * invariant the whole design rests on. Relaxing it to match the reader would have made
+ * citation reach further than reading for exactly the rows whose position in time is
+ * unknown. `fails closed for raw endpoints with blank timestamps` states the intent.
+ */
+function isRawWithinTime(row, visibility) {
+    const rawTs = row.event_datetime ?? row.source_timestamp_ms;
+    if (rawTs === null || rawTs === undefined || (typeof rawTs === 'string' && rawTs.trim() === '')) {
+        return false;
+    }
+    const eventTsMs = parseTimestamp(rawTs);
+    return eventTsMs !== null && eventTsMs >= 0 && isWithinVisibilityTime(eventTsMs, visibility);
+}
 function isRawVisible(adapter, id, visibility) {
     const row = adapter
         .prepare('SELECT * FROM connector_event_index WHERE event_index_id = ? LIMIT 1')
@@ -188,6 +209,13 @@ function isRawVisible(adapter, id, visibility) {
         !visibility.connectors.includes(String(row.source_connector))) {
         return false;
     }
+    // The grant decides, and it decides the same way here as in the reader - one rule, taken
+    // from one place. The scope/project/tenant clauses below are the pre-grant rule and are
+    // skipped when a grant is present, exactly as the reader skips them, because applying
+    // both would make a cited ref satisfy a stricter test than a read one.
+    if (visibility.channels) {
+        return ((0, channel_grant_js_1.isChannelGranted)(String(row.source_connector), typeof row.channel === 'string' ? row.channel : null, visibility.channels) && isRawWithinTime(row, visibility));
+    }
     if (hasProjectRefs(visibility.projectRefs) &&
         !visibility.projectRefs.some((project) => project.id === row.project_id)) {
         return false;
@@ -197,12 +225,7 @@ function isRawVisible(adapter, id, visibility) {
         row.tenant_id !== visibility.tenantId) {
         return false;
     }
-    const rawTs = row.event_datetime ?? row.source_timestamp_ms;
-    if (rawTs === null || rawTs === undefined || (typeof rawTs === 'string' && rawTs.trim() === '')) {
-        return false;
-    }
-    const eventTsMs = parseTimestamp(rawTs);
-    if (eventTsMs === null || eventTsMs < 0 || !isWithinVisibilityTime(eventTsMs, visibility)) {
+    if (!isRawWithinTime(row, visibility)) {
         return false;
     }
     if (!hasScopes(visibility.scopes)) {
@@ -269,9 +292,6 @@ function assertTwinRefsVisible(adapter, refs, visibility = {}) {
         }
     }
 }
-function assertTwinRefsVisibleToScopes(adapter, refs, scopes) {
-    assertTwinRefsVisible(adapter, refs, visibilityFromScopes(scopes));
-}
 function listVisibleTwinEdgesForRefs(adapter, refs, options = {}) {
     const edgeCache = new Map();
     const edgeTypes = normalizeEdgeTypes(options.edgeTypes);

package/dist/edges/store.d.ts

@@ -1,10 +1,8 @@
 import type { DatabaseAdapter } from '../db-manager.js';
-import { type InsertTwinEdgeInput, type TwinEdgeRecord, type TwinRef } from './types.js';
+import { type TwinEdgeRecord, type TwinRef } from './types.js';
 type TwinEdgeReadAdapter = Pick<DatabaseAdapter, 'prepare'>;
-type TwinEdgeAdapter = Pick<DatabaseAdapter, 'prepare' | 'transaction'>;
 export declare function mapTwinEdgeRow(row: Record<string, unknown>): TwinEdgeRecord;
 export declare function getTwinEdge(adapter: TwinEdgeReadAdapter, edgeId: string): TwinEdgeRecord | null;
 export declare function listTwinEdgesForRefs(adapter: TwinEdgeReadAdapter, refs: readonly TwinRef[]): TwinEdgeRecord[];
-export declare function insertTwinEdge(adapter: TwinEdgeAdapter, input: InsertTwinEdgeInput): TwinEdgeRecord;
 export {};
 //# sourceMappingURL=store.d.ts.map