@cachly-dev/mcp-server 0.9.0 → 0.9.2

package/src/index.ts

@@ -55,7 +55,7 @@ import { Redis } from 'ioredis';
 const API_URL = process.env.CACHLY_API_URL ?? 'https://api.cachly.dev';
 const JWT = process.env.CACHLY_JWT ?? '';
 const EMBED_MODEL = process.env.CACHLY_EMBED_MODEL ?? '';
-const CURRENT_VERSION = '0.8.3';
+const CURRENT_VERSION = '0.9.2';
 /**
  * ┌──────────────────────────────────────────────────────────────────────┐
  * │  EMBEDDING PROVIDER — pluggable, client-side first                  │
@@ -2194,6 +2194,58 @@ async function apiFetch<T>(path: string, options: RequestInit = {}): Promise<T>
 
 import { detectNamespace } from './namespace.js';
 
+// ── Layer 1: Causal Knowledge Graph (CKG) helpers ────────────────────────────
+// Implements the CKG from the 10x Vision Document.
+// Nodes: cachly:ckg:node:{id}  → { id, domain, type, count, ts }
+// Edges: cachly:ckg:edge:{from}:{edgeType}:{to} → { from, to, edgeType, successes, trials, confidence, last_updated }
+
+type CKGEdge = {
+  from: string; to: string; edgeType: string;
+  successes: number; trials: number; confidence: number; last_updated: string;
+};
+type CKGNode = { id: string; domain: string; type: string; count: number; ts: string };
+
+const STOPWORDS_CKG = new Set(['that','this','with','from','when','then','also','have','been','will','were','they','them','than','more','some','into','over','only','just','where','while','which','there','their','would','could','should','after','before','about']);
+
+function ckgSlug(text: string): string {
+  return text.toLowerCase().replace(/[^a-z0-9\-:]/g, '-').replace(/-+/g, '-').replace(/^-|-$/g, '').slice(0, 80);
+}
+
+/** Extract 1-3 significant keywords from free text for a problem concept */
+function extractProblemConcept(text: string): string | null {
+  const words = text.toLowerCase()
+    .replace(/[^a-z0-9\s\-_]/g, ' ').split(/\s+/)
+    .filter(w => w.length > 3 && !STOPWORDS_CKG.has(w))
+    .slice(0, 5);
+  if (words.length === 0) return null;
+  return words.slice(0, 2).join('-');
+}
+
+async function ckgUpsertNode(redis: Redis, id: string, domain: string, type: string): Promise<void> {
+  const key = `cachly:ckg:node:${id}`;
+  const raw = await redis.get(key);
+  const node: CKGNode = raw ? JSON.parse(raw) : { id, domain, type, count: 0, ts: new Date().toISOString() };
+  node.count = (node.count || 0) + 1;
+  node.ts = new Date().toISOString();
+  await redis.set(key, JSON.stringify(node));
+}
+
+async function ckgUpdateEdge(redis: Redis, from: string, edgeType: string, to: string, success: boolean, partial = false): Promise<void> {
+  const key = `cachly:ckg:edge:${from}:${edgeType}:${to}`;
+  const raw = await redis.get(key);
+  const edge: CKGEdge = raw ? JSON.parse(raw) : { from, to, edgeType, successes: 0, trials: 0, confidence: 0, last_updated: '' };
+  edge.trials = (edge.trials || 0) + 1;
+  if (success) edge.successes = (edge.successes || 0) + 1;
+  else if (partial) edge.successes = (edge.successes || 0) + 0.5;
+  // Beta distribution smoothed confidence: (successes+1) / (trials+2)
+  edge.confidence = (edge.successes + 1) / (edge.trials + 2);
+  edge.last_updated = new Date().toISOString();
+  await redis.set(key, JSON.stringify(edge));
+  // Index: set of edge keys per source node (for fast traversal)
+  await redis.sadd(`cachly:ckg:idx:from:${from}`, key);
+  await redis.sadd(`cachly:ckg:idx:to:${to}`, key);
+}
+
 // ── Tools ─────────────────────────────────────────────────────────────────────
 
 const TOOLS = [
@@ -3556,60 +3608,53 @@ const TOOLS = [
       required: [],
     },
   },
-  // ── v0.9 — compact_recover ─────────────────────────────────────────────────
+  // ── Layer 1: Causal Knowledge Graph ────────────────────────────────────────
   {
-    name: 'compact_recover',
+    name: 'brain_search',
     description:
-      'FAST context recovery after Claude/Cursor/Copilot context window compaction. ' +
-      'Call this as the FIRST tool call after any context limit hit or window restart — before reading any files. ' +
-      'Returns: last checkpoint (task + files + next_step), session handoff if any, last 5 recalled lessons, open TODOs. ' +
-      'Unlike session_start, this is instant — no full brain scan, no streak logic, just the critical recovery data. ' +
-      'Typical use in CLAUDE.md: "If context is compacted, call compact_recover immediately."',
+      'BM25+ full-text search over ALL brain data: lessons, context entries, session history, CKG nodes, roadmap items. ' +
+      'Unlike smart_recall (which focuses on lessons + context), brain_search casts a wider net. ' +
+      'Use when smart_recall returns nothing or when you want to find anything the brain knows about a topic.',
     inputSchema: {
       type: 'object',
       properties: {
-        instance_id: { type: 'string', description: 'UUID of the cache instance' },
-        focus: {
-          type: 'string',
-          description: 'What you are trying to recover context for — used to surface relevant lessons (optional)',
-        },
+        instance_id: { type: 'string', description: 'Brain instance ID' },
+        query: { type: 'string', description: 'What to search for' },
+        limit: { type: 'number', description: 'Max results (default: 15)' },
       },
-      required: ['instance_id'],
+      required: ['instance_id', 'query'],
     },
   },
-  // ── v0.9 — brain_from_git ─────────────────────────────────────────────────
   {
-    name: 'brain_from_git',
+    name: 'ckg_inspect',
     description:
-      'Bootstrap the AI Brain from git history — reads commit messages and automatically stores lessons. ' +
-      'Scans the last N days of commits, extracts actionable knowledge (fixes, reverts, deploys, migrations), ' +
-      'and bulk-loads them into the Brain as lessons. ' +
-      'Run once to pre-load months of team knowledge before the first session_start. ' +
-      'Skips commits already in the Brain (safe to re-run). ' +
-      'Example: brain_from_git(instance_id="...", workspace_path="/home/you/project", days=180) ' +
-      '→ "📊 Scanned 342 commits · ✅ 28 lessons stored · ❌ 9 failure lessons · 0 duplicates skipped"',
+      'Inspect the Causal Knowledge Graph (CKG) for a concept. Shows all typed edges (fixes, requires, co-occurs, causes) ' +
+      'with Bayesian confidence scores. Use to understand what the brain knows about a topic and which fixes have the ' +
+      'highest confidence. Also shows related concepts via graph traversal.',
     inputSchema: {
       type: 'object',
       properties: {
-        instance_id: { type: 'string', description: 'UUID of the cache instance' },
-        workspace_path: {
-          type: 'string',
-          description: 'Absolute path to the git repository root (e.g. "/home/you/myproject")',
-        },
-        days: {
-          type: 'number',
-          description: 'How many days of history to scan (default: 180, max: 365)',
-        },
-        max_commits: {
-          type: 'number',
-          description: 'Maximum number of commits to process (default: 200, max: 500)',
-        },
-        author: {
-          type: 'string',
-          description: 'Filter to commits by this git author email or name (optional — omit to scan all authors)',
-        },
+        instance_id: { type: 'string', description: 'Brain instance ID' },
+        concept: { type: 'string', description: 'Concept to inspect, e.g. "fix:clickhouse-ipv6" or "docker"' },
+        max_hops: { type: 'number', description: 'Traversal depth (default: 2)' },
+      },
+      required: ['instance_id', 'concept'],
+    },
+  },
+  {
+    name: 'brain_predict',
+    description:
+      'Predictive Pre-fetch Engine (PPE): given your current context (what you\'re working on), traverses the CKG ' +
+      'to predict likely failures and pre-load relevant fixes. Returns top predicted pitfalls + highest-confidence fixes. ' +
+      'Call at session_start when working on a specific feature or debugging area.',
+    inputSchema: {
+      type: 'object',
+      properties: {
+        instance_id: { type: 'string', description: 'Brain instance ID' },
+        context: { type: 'string', description: 'What you\'re working on, e.g. "upgrading Keycloak from 21 to 24"' },
+        top_k: { type: 'number', description: 'Max predictions to return (default: 5)' },
       },
-      required: ['instance_id', 'workspace_path'],
+      required: ['instance_id', 'context'],
     },
   },
 ] as const;
@@ -4704,6 +4749,51 @@ async function handleTool(name: string, args: Record<string, unknown>): Promise<
         await redis.ltrim(dlKey, -50, -1);
       } catch { /* non-critical */ }
 
+      // ── Layer 1+2: CKG update (Causal Knowledge Graph + Belief Update Engine) ──
+      try {
+        const conceptId = ckgSlug(topic);
+        const domain = topic.split(':')[0] ?? 'unknown';
+        const conceptType = domain; // fix, debug, deploy, infra, api, etc.
+
+        // Upsert concept node
+        await ckgUpsertNode(redis, conceptId, domain, conceptType);
+
+        // Tag co-occurrence edges
+        for (const tag of tags) {
+          const tagId = ckgSlug(`tag:${tag}`);
+          await ckgUpsertNode(redis, tagId, 'tag', 'tag');
+          await ckgUpdateEdge(redis, conceptId, 'co-occurs', tagId, outcome === 'success', outcome === 'partial');
+        }
+
+        // depends_on → requires edges (structural, always confidence 1.0 direction)
+        for (const dep of depends_on) {
+          const depId = ckgSlug(dep);
+          await ckgUpdateEdge(redis, conceptId, 'requires', depId, true);
+        }
+
+        // fixes edge: if category=fix and outcome=success, link to problem concept
+        if ((domain === 'fix' || domain === 'debug') && (outcome === 'success' || outcome === 'partial')) {
+          const problemText = what_failed || ctx || '';
+          const problemConcept = problemText ? extractProblemConcept(problemText) : null;
+          if (problemConcept) {
+            const problemId = ckgSlug(`problem:${problemConcept}`);
+            await ckgUpsertNode(redis, problemId, 'problem', 'problem');
+            await ckgUpdateEdge(redis, conceptId, 'fixes', problemId, outcome === 'success', outcome === 'partial');
+          }
+        }
+
+        // causes edge: if outcome=failure, link topic concept to the problem context
+        if (outcome === 'failure' && (what_failed || what_worked)) {
+          const causeText = what_failed || what_worked;
+          const causeConcept = extractProblemConcept(causeText);
+          if (causeConcept) {
+            const causeId = ckgSlug(`cause:${causeConcept}`);
+            await ckgUpsertNode(redis, causeId, 'cause', 'cause');
+            await ckgUpdateEdge(redis, conceptId, 'causes', causeId, false);
+          }
+        }
+      } catch { /* CKG updates are non-critical */ }
+
       const emoji = outcome === 'success' ? '✅' : outcome === 'partial' ? '⚠️' : '❌';
       const sevEmoji = severity === 'critical' ? '🔴' : severity === 'major' ? '🟡' : '🟢';
       const action = isUpdate ? 'updated' : 'stored';
@@ -5224,7 +5314,36 @@ async function handleTool(name: string, args: Record<string, unknown>): Promise<
       // Brain health
       lines.push(`📊 **Brain:** ${lessons.length} lessons · ${ctxCount} context entries`, '');
 
-      // Focus-relevant lessons
+      // ── Layer 7: MCM Domain Coverage Map ────────────────────────────────────
+      if (lessons.length >= 3) {
+        const domainMap = new Map<string, { total: number; success: number; critical: number }>();
+        for (const l of lessons) {
+          const dom = l.topic.split(':')[0] ?? 'other';
+          if (!domainMap.has(dom)) domainMap.set(dom, { total: 0, success: 0, critical: 0 });
+          const d = domainMap.get(dom)!;
+          d.total++;
+          if (l.outcome === 'success') d.success++;
+          if (l.severity === 'critical') d.critical++;
+        }
+        const sorted = [...domainMap.entries()].sort((a, b) => b[1].total - a[1].total).slice(0, 6);
+        const hasContestedDomains = sorted.some(([, d]) => d.success < d.total * 0.4 && d.total >= 2);
+        if (sorted.length > 0) {
+          lines.push(`🗺️ **Knowledge Coverage:**`);
+          for (const [dom, d] of sorted) {
+            const pct = Math.round((d.success / d.total) * 100);
+            const filled = Math.round(pct / 10);
+            const bar = '█'.repeat(filled) + '░'.repeat(10 - filled);
+            const flag = d.critical > 0 ? ' 🔴' : pct < 40 && d.total >= 2 ? ' ⚠️' : '';
+            lines.push(`  ${bar} ${dom.padEnd(18)} ${String(pct).padStart(3)}% (${d.success}/${d.total} confirmed)${flag}`);
+          }
+          if (hasContestedDomains) {
+            lines.push(`  ⚠️ _Some domains have contested beliefs — use \`ckg_inspect\` to review_`);
+          }
+          lines.push('');
+        }
+      }
+
+
       if (focusLessons.length > 0) {
         lines.push(`🎯 **Relevant for "${focus}":**`);
         for (const l of focusLessons.slice(0, 4)) {
@@ -7396,7 +7515,58 @@ async function handleBulkLockStream(name: string, args: Record<string, unknown>)
         .split(/\s+/)
         .filter(t => t.length > 2);
 
-      // Scan all lessons + history entries
+      const SEV_ICON: Record<string, string> = { critical: '🔴', major: '🟠', minor: '🟡' };
+
+      // ── Layer 1: CKG graph traversal (if graph data exists) ─────────────────
+      type CKGResult = { conceptId: string; edge: CKGEdge; lesson?: { topic: string; what_worked?: string; ts: string; outcome: string; recall_count?: number; severity?: string } };
+      const ckgResults: CKGResult[] = [];
+      try {
+        for (const token of tokens.slice(0, 4)) {
+          // Search for CKG nodes matching this token
+          const fromKeys = await redis.smembers(`cachly:ckg:idx:from:${ckgSlug(token)}`);
+          const toKeys   = await redis.smembers(`cachly:ckg:idx:to:${ckgSlug(token)}`);
+          // Also try pattern: scan nodes containing the token
+          const nodeKeys: string[] = [];
+          const nStream = redis.scanStream({ match: `cachly:ckg:node:*${token}*`, count: 50 });
+          await new Promise<void>((res, rej) => { nStream.on('data', (b: string[]) => nodeKeys.push(...b)); nStream.on('end', res); nStream.on('error', rej); });
+          for (const nodeKey of nodeKeys.slice(0, 10)) {
+            const nodeRaw = await redis.get(nodeKey);
+            if (!nodeRaw) continue;
+            const node: CKGNode = JSON.parse(nodeRaw);
+            // Get edges from this node
+            const edgeKeys = await redis.smembers(`cachly:ckg:idx:from:${node.id}`);
+            for (const ek of edgeKeys.slice(0, 20)) {
+              const edgeRaw = await redis.get(ek);
+              if (!edgeRaw) continue;
+              const edge: CKGEdge = JSON.parse(edgeRaw);
+              if (edge.edgeType !== 'fixes' && edge.edgeType !== 'requires') continue;
+              // Find lesson for this concept
+              const lessonRaw = await redis.get(`cachly:lesson:best:${edge.from.replace(/-/g, ':').replace(/^fix:/, 'fix:')}`);
+              const lesson = lessonRaw ? JSON.parse(lessonRaw) : undefined;
+              ckgResults.push({ conceptId: node.id, edge, lesson });
+            }
+          }
+          for (const ek of [...fromKeys, ...toKeys].slice(0, 20)) {
+            const edgeRaw = await redis.get(ek);
+            if (!edgeRaw) continue;
+            const edge: CKGEdge = JSON.parse(edgeRaw);
+            const lessonRaw = await redis.get(`cachly:lesson:best:${edge.from}`);
+            const lesson = lessonRaw ? JSON.parse(lessonRaw) : undefined;
+            ckgResults.push({ conceptId: edge.from, edge, lesson });
+          }
+        }
+      } catch { /* CKG traversal non-critical */ }
+
+      // Deduplicate CKG results and sort by confidence
+      const ckgSeen = new Set<string>();
+      const ckgDeduped = ckgResults.filter(r => {
+        const key = `${r.edge.from}:${r.edge.edgeType}:${r.edge.to}`;
+        if (ckgSeen.has(key)) return false;
+        ckgSeen.add(key);
+        return true;
+      }).sort((a, b) => b.edge.confidence - a.edge.confidence).slice(0, max_depth);
+
+      // ── Layer 2 (fallback): text similarity over all lessons ─────────────────
       let cursor = 0;
       const lessonKeys: string[] = [];
       do {
@@ -7418,7 +7588,6 @@ async function handleBulkLockStream(name: string, args: Record<string, unknown>)
         if (!raw) continue;
         try {
           const l = JSON.parse(raw) as Lesson;
-          // Skip if filter tags given and lesson has none of them
           if (filterTags.length > 0 && !(l.tags ?? []).some((t: string) => filterTags.includes(t))) continue;
           const haystack = [l.topic, l.what_failed ?? '', l.what_worked ?? '', l.context ?? '']
             .join(' ').toLowerCase();
@@ -7426,11 +7595,10 @@ async function handleBulkLockStream(name: string, args: Record<string, unknown>)
           if (score > 0) scored.push({ score, lesson: l, key: k });
         } catch { /* skip */ }
       }
-
       scored.sort((a, b) => b.score - a.score);
       const chain = scored.slice(0, max_depth);
 
-      if (chain.length === 0) {
+      if (chain.length === 0 && ckgDeduped.length === 0) {
         return [
           `🔍 **Causal Trace: "${problem}"**`,
           ``,
@@ -7449,55 +7617,68 @@ async function handleBulkLockStream(name: string, args: Record<string, unknown>)
         ].join('\n');
       }
 
-      // Build causal chain narrative: failures first → then successes
-      const failures = chain.filter(c => c.lesson.outcome !== 'success');
-      const solutions = chain.filter(c => c.lesson.outcome === 'success');
-
-      const SEV_ICON: Record<string, string> = { critical: '🔴', major: '🟠', minor: '🟡' };
-
       const lines: string[] = [
         `🔍 **Causal Trace: "${problem}"**`,
         ``,
-        `Found **${chain.length}** related lessons. Reconstructed causal chain:`,
-        ``,
       ];
 
-      if (failures.length > 0) {
-        lines.push(`**Root causes & failure chain:**`);
-        failures.forEach((c, i) => {
-          const l = c.lesson;
-          const sev = SEV_ICON[l.severity ?? 'minor'] ?? '🟡';
-          lines.push(`${i === 0 ? '  Root:' : '   → :'} ${sev} \`${l.topic}\``);
-          if (l.what_failed) lines.push(`          ↳ ${l.what_failed.slice(0, 120)}`);
-        });
-        lines.push('');
+      // Show CKG graph results first if available
+      if (ckgDeduped.length > 0) {
+        lines.push(`### 🕸️ CKG Graph (confidence-ranked)`);
+        for (const r of ckgDeduped) {
+          const confPct = Math.round(r.edge.confidence * 100);
+          const confBar = '▓'.repeat(Math.round(confPct / 10)) + '░'.repeat(10 - Math.round(confPct / 10));
+          lines.push(`  ${r.edge.from} **→[${r.edge.edgeType}]→** ${r.edge.to}`);
+          lines.push(`  ${confBar} ${confPct}% confidence (${r.edge.successes}/${r.edge.trials} confirmed)`);
+          if (r.lesson?.what_worked) lines.push(`  ✅ Fix: ${r.lesson.what_worked.slice(0, 150)}`);
+          lines.push('');
+        }
       }
 
-      if (solutions.length > 0) {
-        lines.push(`**Solutions that worked before:**`);
-        solutions.forEach((c, i) => {
-          const l = c.lesson;
-          const date = new Date(l.ts).toLocaleDateString('de-DE');
-          lines.push(`  ${i + 1}. ✅ \`${l.topic}\` — ${date} · recalled ${l.recall_count ?? 0}× `);
-          if (l.what_worked) lines.push(`     ${l.what_worked.slice(0, 200)}`);
-        });
-        lines.push('');
-      }
+      // Build text-based causal chain narrative
+      if (chain.length > 0) {
+        lines.push(ckgDeduped.length > 0 ? `### 📚 Text Search (${chain.length} related lessons)` : `Found **${chain.length}** related lessons. Reconstructed causal chain:`, '');
+        const failures = chain.filter(c => c.lesson.outcome !== 'success');
+        const solutions = chain.filter(c => c.lesson.outcome === 'success');
 
-      const topSolution = solutions[0]?.lesson;
-      if (topSolution?.what_worked) {
-        lines.push(`**⚡ Most likely fix:**`);
-        lines.push(`\`\`\``);
-        lines.push(topSolution.what_worked.slice(0, 500));
-        lines.push(`\`\`\``);
-        lines.push('');
+        if (failures.length > 0) {
+          lines.push(`**Root causes & failure chain:**`);
+          failures.forEach((c, i) => {
+            const l = c.lesson;
+            const sev = SEV_ICON[l.severity ?? 'minor'] ?? '🟡';
+            lines.push(`${i === 0 ? '  Root:' : '   → :'} ${sev} \`${l.topic}\``);
+            if (l.what_failed) lines.push(`          ↳ ${l.what_failed.slice(0, 120)}`);
+          });
+          lines.push('');
+        }
+
+        if (solutions.length > 0) {
+          lines.push(`**Solutions that worked before:**`);
+          solutions.forEach((c, i) => {
+            const l = c.lesson;
+            const date = new Date(l.ts).toLocaleDateString('de-DE');
+            lines.push(`  ${i + 1}. ✅ \`${l.topic}\` — ${date} · recalled ${l.recall_count ?? 0}×`);
+            if (l.what_worked) lines.push(`     ${l.what_worked.slice(0, 200)}`);
+          });
+          lines.push('');
+        }
+
+        const topSolution = solutions[0]?.lesson;
+        if (topSolution?.what_worked) {
+          lines.push(`**⚡ Most likely fix:**`);
+          lines.push(`\`\`\``);
+          lines.push(topSolution.what_worked.slice(0, 500));
+          lines.push(`\`\`\``);
+          lines.push('');
+        }
       }
 
       lines.push(`💡 After applying: \`learn_from_attempts(topic="fix:${tokens[0] ?? 'issue'}", outcome="success", ...)\``);
+      if (ckgDeduped.length > 0) lines.push(`🕸️ Explore graph: \`ckg_inspect(concept="${tokens[0] ?? 'fix'}")\``);
       return lines.join('\n');
     }
 
-    // ── v0.6 Cognitive Cache: knowledge_decay ────────────────────────────────
+
     case 'knowledge_decay': {
       const { instance_id, min_age_days = 0, show_top = 20 } = args as {
         instance_id: string; min_age_days?: number; show_top?: number;
@@ -7908,194 +8089,218 @@ smart_recall(
       return lines.filter(l => l !== '').join('\n');
     }
 
-    // ── v0.9 compact_recover — fast context recovery ──────────────────────────
-    case 'compact_recover': {
-      const { instance_id, focus = '' } = args as { instance_id: string; focus?: string };
+    // ── Layer 1: brain_search ─────────────────────────────────────────────────
+    case 'brain_search': {
+      const { instance_id, query, limit = 15 } = args as { instance_id: string; query: string; limit?: number };
       const redis = await getConnection(instance_id);
 
-      const lines: string[] = ['⚡ **Context Recovered**', ''];
+      // BM25+ over ALL brain key namespaces
+      const allMatches = await keywordSearch(
+        redis,
+        [
+          'cachly:lesson:best:*',
+          'cachly:ctx:*',
+          'cachly:idx:*',
+          'cachly:session:last',
+          'cachly:session:handoff',
+          'cachly:roadmap:*',
+          'cachly:ckg:node:*',
+        ],
+        query,
+        limit,
+      );
 
-      // 1. Latest checkpoint
-      const checkpointRaw = await redis.get('cachly:session:checkpoint');
-      if (checkpointRaw) {
-        try {
-          const cp = JSON.parse(checkpointRaw) as {
-            ts: string; task: string; files_touched?: string[]; next_step?: string; provider?: string;
-          };
-          const ago = Math.round((Date.now() - new Date(cp.ts).getTime()) / 60000);
-          const agoStr = ago < 60 ? `${ago}m ago` : `${Math.round(ago / 60)}h ago`;
-          lines.push(`📌 **Last checkpoint** (${agoStr}): ${cp.task}`);
-          if (cp.files_touched && cp.files_touched.length > 0) {
-            lines.push(`   Files: ${cp.files_touched.slice(0, 5).join(', ')}${cp.files_touched.length > 5 ? '…' : ''}`);
-          }
-          if (cp.next_step) lines.push(`📍 **Resume with:** ${cp.next_step}`);
-          lines.push('');
-        } catch { /* ignore corrupt */ }
+      if (allMatches.length === 0) {
+        return [`🔎 **Brain Search: "${query}"**`, '', `No results found across all brain data.`, '', `💡 Try \`smart_recall\` or check \`list_remembered\`.`].join('\n');
       }
 
-      // 2. Handoff (if any, from a different window)
-      const handoffRaw = await redis.get('cachly:session:handoff');
-      if (handoffRaw) {
-        try {
-          const hf = JSON.parse(handoffRaw) as { ts: string; remaining_tasks?: string[]; blocked_on?: string };
-          const remaining = hf.remaining_tasks ?? [];
-          if (remaining.length > 0) {
-            lines.push(`⏳ **Remaining tasks:**`);
-            remaining.slice(0, 5).forEach(t => lines.push(`  - ${t}`));
-            if (remaining.length > 5) lines.push(`  …and ${remaining.length - 5} more`);
-            lines.push('');
-          }
-          if (hf.blocked_on) { lines.push(`🚫 **Blocked on:** ${hf.blocked_on}`, ''); }
-        } catch { /* ignore */ }
+      const lines = [`🔎 **Brain Search: "${query}"** — ${allMatches.length} result${allMatches.length !== 1 ? 's' : ''} across all brain data\n`];
+      for (const m of allMatches.slice(0, limit)) {
+        const ns = m.key.startsWith('cachly:lesson:') ? '💡 lesson'
+          : m.key.startsWith('cachly:ctx:') ? '📝 context'
+          : m.key.startsWith('cachly:idx:') ? '📂 index'
+          : m.key.startsWith('cachly:session:') ? '🕐 session'
+          : m.key.startsWith('cachly:roadmap:') ? '🗺️ roadmap'
+          : m.key.startsWith('cachly:ckg:node:') ? '🕸️ ckg-node'
+          : '🗄️ data';
+        const preview = m.content.slice(0, 280).replace(/\n/g, ' ');
+        lines.push(`**${ns}** \`${m.key.split(':').slice(2).join(':')}\` _(BM25: ${m.score.toFixed(2)})_`);
+        lines.push(`> ${preview}${m.content.length > 280 ? '…' : ''}\n`);
       }
+      return lines.join('\n');
+    }
 
-      // 3. Top recently recalled lessons (BM25 if focus, else recency)
-      const lessonKeys: string[] = [];
-      const lStream = redis.scanStream({ match: 'cachly:lesson:best:*', count: 200 });
-      await new Promise<void>((resolve, reject) => {
-        lStream.on('data', (batch: string[]) => lessonKeys.push(...batch));
-        lStream.on('end', resolve);
-        lStream.on('error', reject);
-      });
+    // ── Layer 1: ckg_inspect ─────────────────────────────────────────────────
+    case 'ckg_inspect': {
+      const { instance_id, concept, max_hops = 2 } = args as { instance_id: string; concept: string; max_hops?: number };
+      const redis = await getConnection(instance_id);
 
-      type RecoverLesson = { topic: string; outcome: string; what_worked: string; ts: string; recall_count?: number; tags?: string[] };
-      const allLessons: RecoverLesson[] = [];
-      for (const k of lessonKeys) {
-        const raw = await redis.get(k);
-        if (!raw) continue;
-        try { allLessons.push(JSON.parse(raw) as RecoverLesson); } catch { /* skip */ }
+      const conceptId = ckgSlug(concept);
+      const visited = new Set<string>();
+      const allEdges: CKGEdge[] = [];
+
+      // BFS traversal of CKG
+      const queue: Array<{ id: string; hop: number }> = [{ id: conceptId, hop: 0 }];
+      while (queue.length > 0) {
+        const { id, hop } = queue.shift()!;
+        if (visited.has(id) || hop > max_hops) continue;
+        visited.add(id);
+
+        const fromKeys = await redis.smembers(`cachly:ckg:idx:from:${id}`);
+        const toKeys   = await redis.smembers(`cachly:ckg:idx:to:${id}`);
+
+        for (const ek of [...fromKeys, ...toKeys].slice(0, 50)) {
+          const raw = await redis.get(ek);
+          if (!raw) continue;
+          const edge: CKGEdge = JSON.parse(raw);
+          allEdges.push(edge);
+          if (hop < max_hops) {
+            if (!visited.has(edge.from)) queue.push({ id: edge.from, hop: hop + 1 });
+            if (!visited.has(edge.to))   queue.push({ id: edge.to, hop: hop + 1 });
+          }
+        }
       }
 
-      const focusTerms = focus.toLowerCase().split(/\s+/).filter(Boolean);
-      let topLessons = focusTerms.length > 0
-        ? allLessons.filter(l =>
-            focusTerms.some(t => l.topic.toLowerCase().includes(t) || (l.tags ?? []).some((tag: string) => tag.toLowerCase().includes(t)))
-          ).slice(0, 5)
-        : allLessons.sort((a, b) => (b.recall_count ?? 0) - (a.recall_count ?? 0)).slice(0, 5);
-
-      if (topLessons.length > 0) {
-        lines.push(`🧠 **Top lessons${focus ? ` for "${focus}"` : ''}:**`);
-        for (const l of topLessons) {
-          const icon = l.outcome === 'success' ? '✅' : l.outcome === 'failure' ? '❌' : '⚠️';
-          lines.push(`  ${icon} \`${l.topic}\` — ${l.what_worked.slice(0, 120)}${l.what_worked.length > 120 ? '…' : ''}`);
+      if (allEdges.length === 0) {
+        // Try fuzzy: scan for nodes matching the concept as substring
+        const nodeKeys: string[] = [];
+        const nStream = redis.scanStream({ match: `cachly:ckg:node:*${conceptId}*`, count: 100 });
+        await new Promise<void>((res, rej) => { nStream.on('data', (b: string[]) => nodeKeys.push(...b)); nStream.on('end', res); nStream.on('error', rej); });
+        if (nodeKeys.length === 0) {
+          return [`🕸️ **CKG Inspect: "${concept}"**`, '', `No CKG nodes found. The graph builds automatically as you call \`learn_from_attempts\`.`, '', `💡 Once you have lessons stored, CKG edges will appear here.`].join('\n');
+        }
+        const nodeList = nodeKeys.slice(0, 10).map(k => `  • \`${k.replace('cachly:ckg:node:', '')}\``).join('\n');
+        return [`🕸️ **CKG Inspect: "${concept}"**`, '', `No edges found for \`${conceptId}\`, but found similar nodes:`, nodeList, '', `Try: \`ckg_inspect(concept="<exact-node-id>")\``].join('\n');
+      }
+
+      // Sort by confidence desc, deduplicate
+      const edgeSeen = new Set<string>();
+      const unique = allEdges.filter(e => {
+        const k = `${e.from}:${e.edgeType}:${e.to}`;
+        if (edgeSeen.has(k)) return false;
+        edgeSeen.add(k);
+        return true;
+      }).sort((a, b) => b.confidence - a.confidence);
+
+      const EDGE_ICON: Record<string, string> = { fixes: '🔧', requires: '🔗', 'co-occurs': '🔄', causes: '⚡', contradicts: '⚠️', degrades_under: '📉' };
+
+      const lines = [`🕸️ **CKG Inspect: "${concept}"** (${unique.length} edge${unique.length !== 1 ? 's' : ''}, ${visited.size} node${visited.size !== 1 ? 's' : ''} traversed)\n`];
+
+      // Group by edge type
+      const byType = new Map<string, CKGEdge[]>();
+      for (const e of unique) {
+        if (!byType.has(e.edgeType)) byType.set(e.edgeType, []);
+        byType.get(e.edgeType)!.push(e);
+      }
+      for (const [eType, edges] of byType) {
+        const icon = EDGE_ICON[eType] ?? '→';
+        lines.push(`**${icon} ${eType}** (${edges.length})`);
+        for (const e of edges.slice(0, 8)) {
+          const confPct = Math.round(e.confidence * 100);
+          const bar = '▓'.repeat(Math.round(confPct / 10)) + '░'.repeat(10 - Math.round(confPct / 10));
+          lines.push(`  \`${e.from}\` → \`${e.to}\`  ${bar} ${confPct}% (${e.successes.toFixed(1)}/${e.trials} trials)`);
         }
         lines.push('');
       }
 
-      lines.push(`💡 Call \`session_start\` for the full briefing, or resume work directly.`);
-      return lines.filter(l => l !== '').join('\n');
+      lines.push(`💡 Expand: \`ckg_inspect(concept="${concept}", max_hops=3)\`  |  Predict: \`brain_predict(context="${concept}")\``);
+      return lines.join('\n');
     }
 
-    // ── v0.9 brain_from_git — bulk-load git history as lessons ───────────────
-    case 'brain_from_git': {
-      const {
-        instance_id,
-        workspace_path,
-        days = 180,
-        max_commits = 200,
-        author = '',
-      } = args as { instance_id: string; workspace_path: string; days?: number; max_commits?: number; author?: string };
-
+    // ── Layer 4: brain_predict (PPE) ─────────────────────────────────────────
+    case 'brain_predict': {
+      const { instance_id, context: ctx, top_k = 5 } = args as { instance_id: string; context: string; top_k?: number };
       const redis = await getConnection(instance_id);
-      const { execSync } = await import('node:child_process');
-
-      const clampedDays = Math.min(Math.max(1, days), 365);
-      const clampedMax = Math.min(Math.max(1, max_commits), 500);
 
-      const authorArg = author ? `--author="${author}"` : '';
-      let gitRaw = '';
-      try {
-        gitRaw = execSync(
-          `git -C "${workspace_path}" log --since="${clampedDays} days ago" ${authorArg} --oneline --format="%H|||%s|||%ai|||%ae" -n ${clampedMax}`,
-          { timeout: 15000, encoding: 'utf8', stdio: ['ignore', 'pipe', 'ignore'] },
-        ).trim();
-      } catch {
-        return `❌ **brain_from_git failed**: Could not read git log from \`${workspace_path}\`.\nMake sure the path exists and is a git repository.`;
+      const ctxTokens = ctx.toLowerCase().replace(/[^a-z0-9\s\-_:]/g, ' ').split(/\s+/).filter(t => t.length > 2);
+
+      // Step 1: Find CKG nodes matching context tokens
+      type Prediction = { concept: string; edgeType: string; target: string; confidence: number; lesson?: { what_worked?: string; topic: string } };
+      const predictions: Prediction[] = [];
+
+      for (const token of ctxTokens.slice(0, 6)) {
+        const nodeKeys: string[] = [];
+        const nStream = redis.scanStream({ match: `cachly:ckg:node:*${token}*`, count: 50 });
+        await new Promise<void>((res, rej) => { nStream.on('data', (b: string[]) => nodeKeys.push(...b)); nStream.on('end', res); nStream.on('error', rej); });
+
+        for (const nk of nodeKeys.slice(0, 5)) {
+          const nodeRaw = await redis.get(nk);
+          if (!nodeRaw) continue;
+          const node: CKGNode = JSON.parse(nodeRaw);
+          const edgeKeys = await redis.smembers(`cachly:ckg:idx:from:${node.id}`);
+          for (const ek of edgeKeys.slice(0, 20)) {
+            const edgeRaw = await redis.get(ek);
+            if (!edgeRaw) continue;
+            const edge: CKGEdge = JSON.parse(edgeRaw);
+            // Only interested in fixes and co-occurs for prediction
+            if (edge.edgeType !== 'fixes' && edge.edgeType !== 'co-occurs' && edge.edgeType !== 'causes') continue;
+            const lessonRaw = await redis.get(`cachly:lesson:best:${edge.from}`);
+            const lesson = lessonRaw ? JSON.parse(lessonRaw) : undefined;
+            predictions.push({ concept: node.id, edgeType: edge.edgeType, target: edge.to, confidence: edge.confidence, lesson });
+          }
+        }
       }
 
-      if (!gitRaw) {
-        return `📭 **No commits found** in the last ${clampedDays} days${author ? ` by "${author}"` : ''}.\nTry increasing \`days\` or removing the \`author\` filter.`;
+      // Step 2: Text-based fallback — scan lessons for matching topics
+      const textPredictions: Array<{ topic: string; what_worked?: string; what_failed?: string; outcome: string; severity?: string; confidence: number }> = [];
+      const lessonKeys: string[] = [];
+      const lStream = redis.scanStream({ match: 'cachly:lesson:best:*', count: 200 });
+      await new Promise<void>((res, rej) => { lStream.on('data', (b: string[]) => lessonKeys.push(...b)); lStream.on('end', res); lStream.on('error', rej); });
+      for (const k of lessonKeys) {
+        const raw = await redis.get(k);
+        if (!raw) continue;
+        try {
+          const l = JSON.parse(raw) as { topic: string; what_worked?: string; what_failed?: string; outcome: string; severity?: string; ts: string; verified_at?: string; recall_count?: number };
+          const haystack = [l.topic, l.what_failed ?? '', l.what_worked ?? ''].join(' ').toLowerCase();
+          const score = ctxTokens.reduce((s, t) => s + (haystack.includes(t) ? 1 : 0), 0);
+          if (score >= 1 && l.outcome !== 'failure') {
+            const conf = calculateConfidence(l);
+            textPredictions.push({ ...l, confidence: conf });
+          }
+        } catch { /* skip */ }
       }
+      textPredictions.sort((a, b) => b.confidence - a.confidence);
 
-      const commitLines = gitRaw.split('\n');
-      const now = new Date();
+      if (predictions.length === 0 && textPredictions.length === 0) {
+        return [
+          `🔮 **Brain Predict: "${ctx}"**`,
+          ``,
+          `No predictions yet — the brain hasn't seen this domain.`,
+          ``,
+          `💡 As you solve problems in this area and call \`learn_from_attempts\`, the CKG builds up and predictions become available.`,
+        ].join('\n');
+      }
 
-      const actionRe = /\b(fix|add|remove|refactor|migrate|update|resolve|implement|improve|optimize|configure|create|delete|disable|enable|debug|patch|upgrade|rewrite|deploy|feat|revert|break|merge|bump)\b/i;
-      const failRe = /\b(revert|broken|broke|breaking|rollback|undo|hotfix|crash|oops|wrong|mistake|bad)\b/i;
+      const lines = [`🔮 **Brain Predict: "${ctx}"**\n`];
 
-      let stored = 0;
-      let skipped = 0;
-      let failures = 0;
-      const topLessons: string[] = [];
-
-      for (const line of commitLines) {
-        const parts = line.split('|||');
-        if (parts.length < 2) continue;
-        const [hash, msg, dateStr] = parts;
-        if (!msg || !actionRe.test(msg)) continue;
-
-        const isFail = failRe.test(msg);
-        const cleanMsg = msg
-          .replace(/^(fix|feat|chore|docs|test|ci|perf|refactor|build|revert|hotfix|bump)[:(\s!]+/i, '')
-          .trim();
-        if (!cleanMsg || cleanMsg.length < 5) continue;
-
-        const slug = cleanMsg
-          .toLowerCase()
-          .replace(/[^a-z0-9]+/g, '-')
-          .replace(/^-+|-+$/g, '')
-          .slice(0, 40);
-        if (!slug) continue;
+      // CKG-based predictions
+      if (predictions.length > 0) {
+        const pSeen = new Set<string>();
+        const pUniq = predictions.filter(p => { const k = `${p.concept}:${p.edgeType}:${p.target}`; if (pSeen.has(k)) return false; pSeen.add(k); return true; })
+          .sort((a, b) => b.confidence - a.confidence).slice(0, top_k);
 
-        const topic = `git:${slug}`;
-        const key = `cachly:lesson:best:${topic}`;
-        const existing = await redis.get(key);
-        if (existing) { skipped++; continue; }
-
-        const lesson = {
-          topic,
-          outcome: isFail ? ('failure' as const) : ('success' as const),
-          what_worked: isFail ? '' : cleanMsg.slice(0, 300),
-          what_failed: isFail ? cleanMsg.slice(0, 300) : undefined,
-          context: `Auto-learned from git commit ${(hash ?? '').slice(0, 7)}${dateStr ? ` at ${dateStr}` : ''} in ${workspace_path}${author ? ` (author: ${author})` : ''}`,
-          severity: 'minor' as const,
-          ts: dateStr ? new Date(dateStr).toISOString() : now.toISOString(),
-          recall_count: 0,
-          auto_learned: true,
-          source: 'brain_from_git',
-          version: 3,
-        };
-
-        await redis.set(key, JSON.stringify(lesson));
-        await redis.expire(key, 90 * 86400); // 90-day TTL for git-sourced lessons
-        stored++;
-        if (isFail) failures++;
-        if (topLessons.length < 5) topLessons.push(`  ${isFail ? '❌' : '✅'} \`${topic}\` — ${cleanMsg.slice(0, 80)}`);
+        lines.push(`### 🕸️ CKG Predictions (based on ${pUniq.length} known edges)`);
+        for (const p of pUniq) {
+          const confPct = Math.round(p.confidence * 100);
+          const icon = p.edgeType === 'fixes' ? '🔧' : p.edgeType === 'co-occurs' ? '🔄' : '⚡';
+          lines.push(`${icon} **${confPct}%** \`${p.concept}\` _${p.edgeType}_ \`${p.target}\``);
+          if (p.lesson?.what_worked) lines.push(`   ✅ ${p.lesson.what_worked.slice(0, 120)}`);
+        }
+        lines.push('');
       }
 
-      const lines: string[] = [
-        `🧠 **Brain bootstrapped from git history**`,
-        ``,
-        `📊 **Scanned:** ${commitLines.filter(l => l.trim()).length} commits over last ${clampedDays} days`,
-        `✅ **Success lessons stored:** ${stored - failures}`,
-        `❌ **Failure/revert lessons:** ${failures}`,
-        skipped > 0 ? `⏭️  **Already in brain (skipped):** ${skipped}` : '',
-        ``,
-      ];
-
-      if (topLessons.length > 0) {
-        lines.push(`**Top lessons extracted:**`);
-        lines.push(...topLessons);
-        if (stored > 5) lines.push(`  …and ${stored - 5} more`);
+      // Text-based lesson predictions
+      if (textPredictions.length > 0) {
+        lines.push(`### 📚 Relevant Lessons (${Math.min(textPredictions.length, top_k)} pre-loaded)`);
+        for (const l of textPredictions.slice(0, top_k)) {
+          const confPct = Math.round(l.confidence * 100);
+          lines.push(`  ✅ **${confPct}%** \`${l.topic}\` — ${(l.what_worked ?? '').slice(0, 120)}`);
+        }
         lines.push('');
       }
 
-      lines.push(
-        `💡 **Next step:** Call \`session_start(focus="...")\` to see these lessons in your briefing.`,
-        `🔄 **Re-run anytime** — duplicates are safely skipped.`,
-      );
-
-      return lines.filter(l => l !== '').join('\n');
+      lines.push(`💡 Outcome confirmed? \`learn_from_attempts(topic="fix:...", outcome="success", ...)\` → improves future predictions`);
+      return lines.join('\n');
     }
 
     default: