synapse-kit-memory 0.0.0-stage → 0.2.2

package/dist/index.js

@@ -0,0 +1,1905 @@
+// @bun
+// causal-config.ts
+import { homedir } from "os";
+import { resolve } from "path";
+var CAUSAL_MEMORY_CONFIG = {
+  SCHEMA_VERSION: process.env.SYNAPSE_MEMORY_VERSION || "2.1.0",
+  GLOBAL_DB_PATH: process.env.SYNAPSE_MEMORY_PATH || resolve(homedir(), ".gemini", "antigravity", "causal_memory.json"),
+  LEGACY_BACKUP_PATH: process.env.SYNAPSE_MEMORY_BACKUP_PATH || resolve(homedir(), ".gemini", "antigravity", "memory_backup_20261101.json"),
+  LOCAL_DB_PATH: resolve(import.meta.dir, "causal-memory.json"),
+  DEFAULT_HOST: process.env.SYNAPSE_MEMORY_HOST || "127.0.0.1",
+  DEFAULT_PORT: parseInt(process.env.SYNAPSE_MEMORY_PORT || "4242", 10),
+  MCP_PROTOCOL_VERSION: process.env.SYNAPSE_MCP_VERSION || "2024-11-05",
+  MCP_SERVER_NAME: "synapse-causal-memory",
+  MAX_CONTEXT_PREVIEW_LINES: parseInt(process.env.SYNAPSE_MEMORY_MAX_PREVIEW || "5", 10)
+};
+// causal-store.ts
+import { existsSync, readFileSync, writeFileSync, mkdirSync, statSync } from "fs";
+import { dirname } from "path";
+class CausalMemoryStore {
+  dbPath;
+  database;
+  lastMtimeMs = 0;
+  alwaysActiveRules = [];
+  domainIndex = new Map;
+  commandIndex = new Map;
+  exactKeywordIndex = new Map;
+  exactFileIndex = new Map;
+  prefixFileRules = [];
+  compiledSearchRules = [];
+  titleToRuleMap = new Map;
+  idToRuleMap = new Map;
+  relationAdjacency = new Map;
+  constructor(customPath, initialDatabase) {
+    this.dbPath = customPath || (existsSync(CAUSAL_MEMORY_CONFIG.GLOBAL_DB_PATH) ? CAUSAL_MEMORY_CONFIG.GLOBAL_DB_PATH : CAUSAL_MEMORY_CONFIG.LOCAL_DB_PATH);
+    if (initialDatabase) {
+      this.database = initialDatabase;
+      this.rebuildIndices();
+    } else {
+      this.database = this.loadDatabase();
+      this.rebuildIndices();
+    }
+  }
+  reloadIfNeeded() {
+    try {
+      if (!existsSync(this.dbPath))
+        return false;
+      const stat = statSync(this.dbPath);
+      if (stat.mtimeMs > this.lastMtimeMs) {
+        this.database = this.loadDatabase();
+        this.rebuildIndices();
+        return true;
+      }
+    } catch {}
+    return false;
+  }
+  reload() {
+    this.database = this.loadDatabase();
+    this.rebuildIndices();
+  }
+  loadFromMemory(db) {
+    this.database = db;
+    this.rebuildIndices();
+  }
+  rebuildIndices() {
+    this.alwaysActiveRules = [];
+    this.domainIndex.clear();
+    this.commandIndex.clear();
+    this.exactKeywordIndex.clear();
+    this.exactFileIndex.clear();
+    this.prefixFileRules = [];
+    this.compiledSearchRules = [];
+    this.titleToRuleMap.clear();
+    this.idToRuleMap.clear();
+    this.relationAdjacency.clear();
+    const addTokenToKeywordIndex = (token, rule) => {
+      if (!token)
+        return;
+      let list = this.exactKeywordIndex.get(token);
+      if (!list) {
+        list = [];
+        this.exactKeywordIndex.set(token, list);
+      }
+      if (list[list.length - 1] !== rule) {
+        list.push(rule);
+      }
+    };
+    for (const rule of this.database.rules) {
+      const domainLower = rule.domain.toLowerCase();
+      const titleLower = rule.title.toLowerCase();
+      const idLower = rule.id.toLowerCase();
+      this.titleToRuleMap.set(titleLower, rule);
+      this.idToRuleMap.set(idLower, rule);
+      let domList = this.domainIndex.get(domainLower);
+      if (!domList) {
+        domList = [];
+        this.domainIndex.set(domainLower, domList);
+      }
+      domList.push(rule);
+      if (rule.triggers.alwaysActive) {
+        this.alwaysActiveRules.push(rule);
+      }
+      if (rule.triggers.commands) {
+        for (const cmd of rule.triggers.commands) {
+          const cmdLower = cmd.toLowerCase();
+          let cmdList = this.commandIndex.get(cmdLower);
+          if (!cmdList) {
+            cmdList = [];
+            this.commandIndex.set(cmdLower, cmdList);
+          }
+          cmdList.push(rule);
+        }
+      }
+      addTokenToKeywordIndex(titleLower, rule);
+      addTokenToKeywordIndex(domainLower, rule);
+      for (const part of titleLower.split(/[\s_-]+/)) {
+        addTokenToKeywordIndex(part, rule);
+      }
+      if (rule.triggers.keywords) {
+        for (const kw of rule.triggers.keywords) {
+          const kwLower = kw.toLowerCase();
+          addTokenToKeywordIndex(kwLower, rule);
+          for (const sub of kwLower.split(/[\s_-]+/)) {
+            addTokenToKeywordIndex(sub, rule);
+          }
+        }
+      }
+      if (rule.triggers.files && rule.triggers.files.length > 0) {
+        const prefixPatterns = [];
+        for (const pattern of rule.triggers.files) {
+          const cleaned = (pattern.includes("\\") ? pattern.replaceAll("\\", "/") : pattern).replace(/^\*\*\/|\*\*$|\*$/g, "").replace(/\/+$/, "").toLowerCase();
+          if (!cleaned)
+            continue;
+          let fList = this.exactFileIndex.get(cleaned);
+          if (!fList) {
+            fList = [];
+            this.exactFileIndex.set(cleaned, fList);
+          }
+          fList.push(rule);
+          if (cleaned.endsWith("-") || cleaned.endsWith("_") || cleaned.includes(":")) {
+            prefixPatterns.push(cleaned);
+          }
+        }
+        if (prefixPatterns.length > 0) {
+          this.prefixFileRules.push({ rule, domainLower, cleanPatterns: prefixPatterns });
+        }
+      }
+    }
+    for (const rel of this.database.relations) {
+      const fromLower = rel.from.toLowerCase();
+      const toLower = rel.to.toLowerCase();
+      let fromAdj = this.relationAdjacency.get(fromLower);
+      if (!fromAdj) {
+        fromAdj = [];
+        this.relationAdjacency.set(fromLower, fromAdj);
+      }
+      fromAdj.push(rel);
+      if (toLower !== fromLower) {
+        let toAdj = this.relationAdjacency.get(toLower);
+        if (!toAdj) {
+          toAdj = [];
+          this.relationAdjacency.set(toLower, toAdj);
+        }
+        toAdj.push(rel);
+      }
+    }
+  }
+  loadDatabase() {
+    try {
+      if (existsSync(this.dbPath)) {
+        const stat = statSync(this.dbPath);
+        this.lastMtimeMs = stat.mtimeMs;
+        const raw = readFileSync(this.dbPath, "utf-8");
+        const parsed = JSON.parse(raw);
+        const rules = Array.isArray(parsed.rules) ? parsed.rules : [];
+        const relations = Array.isArray(parsed.relations) ? parsed.relations : [];
+        return {
+          version: parsed.version || CAUSAL_MEMORY_CONFIG.SCHEMA_VERSION,
+          updatedAt: parsed.updatedAt || new Date().toISOString(),
+          totalRules: rules.length,
+          totalRelations: relations.length,
+          rules,
+          relations
+        };
+      }
+    } catch {}
+    return {
+      version: CAUSAL_MEMORY_CONFIG.SCHEMA_VERSION,
+      updatedAt: new Date().toISOString(),
+      totalRules: 0,
+      totalRelations: 0,
+      rules: [],
+      relations: []
+    };
+  }
+  saveDatabase() {
+    try {
+      const dir = dirname(this.dbPath);
+      if (!existsSync(dir)) {
+        mkdirSync(dir, { recursive: true });
+      }
+      const serialized = JSON.stringify(this.database, null, 2);
+      writeFileSync(this.dbPath, serialized, "utf-8");
+      this.lastMtimeMs = statSync(this.dbPath).mtimeMs;
+      if (this.dbPath === CAUSAL_MEMORY_CONFIG.GLOBAL_DB_PATH && existsSync(dirname(CAUSAL_MEMORY_CONFIG.LOCAL_DB_PATH))) {
+        writeFileSync(CAUSAL_MEMORY_CONFIG.LOCAL_DB_PATH, serialized, "utf-8");
+      }
+    } catch (error) {
+      throw new Error(`\uC778\uACFC\uC728 \uBA54\uBAA8\uB9AC \uB514\uC2A4\uD06C \uC800\uC7A5 \uC2E4\uD328: ${error instanceof Error ? error.message : String(error)}`);
+    }
+  }
+  getAllRules() {
+    return this.database.rules;
+  }
+  getAllRelations() {
+    return this.database.relations;
+  }
+  getStatus() {
+    const domainCounts = {};
+    for (const [dom, list] of this.domainIndex.entries()) {
+      const originalDomainName = list[0]?.domain || dom;
+      domainCounts[originalDomainName] = list.length;
+    }
+    return {
+      version: this.database.version,
+      updatedAt: this.database.updatedAt,
+      totalRules: this.database.rules.length,
+      totalRelations: this.database.relations.length,
+      dbPath: this.dbPath,
+      domains: Object.keys(domainCounts),
+      domainCounts
+    };
+  }
+  getCompiledSearchRules() {
+    if (this.compiledSearchRules.length === 0 && this.database.rules.length > 0) {
+      for (const rule of this.database.rules) {
+        const domainLower = rule.domain.toLowerCase();
+        const searchableText = [
+          rule.title,
+          rule.domain,
+          ...rule.triggers.keywords || [],
+          ...rule.invariants,
+          ...rule.actions,
+          ...rule.context
+        ].join(" ").toLowerCase();
+        this.compiledSearchRules.push({ rule, domainLower, searchableText });
+      }
+    }
+    return this.compiledSearchRules;
+  }
+  queryResonance(options) {
+    const startTime = performance.now();
+    const targetDomain = options.domain ? options.domain.toLowerCase() : undefined;
+    const queryCommand = options.command ? options.command.toLowerCase() : undefined;
+    const propagate = options.propagateRelations ?? true;
+    const maxHops = options.maxHops ?? 1;
+    const matchedRulesMap = new Map;
+    const nonAlwaysMatchedTitles = new Set;
+    for (const rule of this.alwaysActiveRules) {
+      if (targetDomain && rule.domain.toLowerCase() !== targetDomain)
+        continue;
+      matchedRulesMap.set(rule.id, rule);
+    }
+    if (queryCommand) {
+      const cmdRules = this.commandIndex.get(queryCommand);
+      if (cmdRules) {
+        for (const rule of cmdRules) {
+          if (targetDomain && rule.domain.toLowerCase() !== targetDomain)
+            continue;
+          matchedRulesMap.set(rule.id, rule);
+          nonAlwaysMatchedTitles.add(rule.title.toLowerCase());
+        }
+      }
+    }
+    if (options.files && options.files.length > 0 && this.exactFileIndex.size > 0) {
+      const hasPrefixRules = this.prefixFileRules.length > 0;
+      const checkedDirs = new Set;
+      const registerHits = (hits) => {
+        if (!hits)
+          return;
+        for (let i = 0;i < hits.length; i++) {
+          const rule = hits[i];
+          if (targetDomain && rule.domain.toLowerCase() !== targetDomain)
+            continue;
+          matchedRulesMap.set(rule.id, rule);
+          nonAlwaysMatchedTitles.add(rule.title.toLowerCase());
+        }
+      };
+      let lastTwoSeg = "";
+      for (let i = 0;i < options.files.length; i++) {
+        const rawFile = options.files[i];
+        const nf = (rawFile.includes("\\") ? rawFile.replaceAll("\\", "/") : rawFile).toLowerCase();
+        registerHits(this.exactFileIndex.get(nf));
+        const firstSlash = nf.indexOf("/");
+        if (firstSlash > 0) {
+          const secondSlash = nf.indexOf("/", firstSlash + 1);
+          const twoSeg = secondSlash > 0 ? nf.slice(0, secondSlash) : nf.slice(0, firstSlash);
+          if (twoSeg !== lastTwoSeg) {
+            lastTwoSeg = twoSeg;
+            if (!checkedDirs.has(twoSeg)) {
+              checkedDirs.add(twoSeg);
+              registerHits(this.exactFileIndex.get(twoSeg));
+              const oneSeg = nf.slice(0, firstSlash);
+              if (oneSeg !== twoSeg && !checkedDirs.has(oneSeg)) {
+                checkedDirs.add(oneSeg);
+                registerHits(this.exactFileIndex.get(oneSeg));
+              }
+            }
+          }
+          const lastSlash = nf.lastIndexOf("/");
+          registerHits(this.exactFileIndex.get(nf.slice(lastSlash + 1)));
+        } else {
+          checkedDirs.add(nf);
+        }
+      }
+      if (hasPrefixRules && checkedDirs.size > 0) {
+        const prefixArr = Array.from(checkedDirs);
+        for (const entry of this.prefixFileRules) {
+          if (targetDomain && entry.domainLower !== targetDomain)
+            continue;
+          if (matchedRulesMap.has(entry.rule.id))
+            continue;
+          for (const pattern of entry.cleanPatterns) {
+            if (prefixArr.some((p) => p.includes(pattern) || pattern.includes(p))) {
+              matchedRulesMap.set(entry.rule.id, entry.rule);
+              nonAlwaysMatchedTitles.add(entry.rule.title.toLowerCase());
+              break;
+            }
+          }
+        }
+      }
+    }
+    const queryKeywords = (options.keywords || []).flatMap((k) => k.toLowerCase().split(/\s+/)).filter((k) => k.length > 0);
+    if (queryKeywords.length > 0) {
+      const unindexedKeywords = [];
+      for (const qk of queryKeywords) {
+        const exactHits = this.exactKeywordIndex.get(qk);
+        if (exactHits && exactHits.length > 0) {
+          for (const rule of exactHits) {
+            if (targetDomain && rule.domain.toLowerCase() !== targetDomain)
+              continue;
+            matchedRulesMap.set(rule.id, rule);
+            nonAlwaysMatchedTitles.add(rule.title.toLowerCase());
+          }
+        } else {
+          unindexedKeywords.push(qk);
+        }
+      }
+      if (unindexedKeywords.length > 0) {
+        const searchPool = this.getCompiledSearchRules();
+        for (const entry of searchPool) {
+          if (targetDomain && entry.domainLower !== targetDomain)
+            continue;
+          if (matchedRulesMap.has(entry.rule.id))
+            continue;
+          for (const qk of unindexedKeywords) {
+            if (entry.searchableText.includes(qk)) {
+              matchedRulesMap.set(entry.rule.id, entry.rule);
+              nonAlwaysMatchedTitles.add(entry.rule.title.toLowerCase());
+              break;
+            }
+          }
+        }
+      }
+    }
+    const activeRelationsSet = new Set;
+    const visitedTitles = new Set(Array.from(matchedRulesMap.values()).map((r) => r.title.toLowerCase()));
+    let currentFrontier = new Set(nonAlwaysMatchedTitles.size > 0 ? nonAlwaysMatchedTitles : visitedTitles);
+    const effectiveHops = propagate ? Math.max(1, maxHops) : 1;
+    for (let hop = 0;hop < effectiveHops; hop++) {
+      const nextFrontier = new Set;
+      for (const titleLower of currentFrontier) {
+        const adjRelations = this.relationAdjacency.get(titleLower);
+        if (!adjRelations)
+          continue;
+        for (const rel of adjRelations) {
+          activeRelationsSet.add(rel);
+          if (propagate && nonAlwaysMatchedTitles.size > 0) {
+            const neighborLower = rel.from.toLowerCase() === titleLower ? rel.to.toLowerCase() : rel.from.toLowerCase();
+            if (!visitedTitles.has(neighborLower)) {
+              visitedTitles.add(neighborLower);
+              nextFrontier.add(neighborLower);
+              const neighborRule = this.titleToRuleMap.get(neighborLower);
+              if (neighborRule && (!targetDomain || neighborRule.domain.toLowerCase() === targetDomain)) {
+                matchedRulesMap.set(neighborRule.id, neighborRule);
+              }
+            }
+          }
+        }
+      }
+      if (nextFrontier.size === 0)
+        break;
+      currentFrontier = nextFrontier;
+    }
+    const matchedRules = Array.from(matchedRulesMap.values());
+    const activeRelations = Array.from(activeRelationsSet);
+    const duration = performance.now() - startTime;
+    const totalCount = this.database.rules.length;
+    const savings = totalCount > 0 ? ((totalCount - matchedRules.length) / totalCount * 100).toFixed(1) + "%" : "0.0%";
+    return {
+      queryDurationMs: Math.round(duration * 100) / 100,
+      matchedCount: matchedRules.length,
+      totalDatabaseRules: totalCount,
+      resonanceRules: matchedRules,
+      activeRelations,
+      tokenDietSavingsRatio: savings
+    };
+  }
+  assertRule(rule, persistToDisk = true) {
+    const existingIndex = this.database.rules.findIndex((r) => r.id === rule.id || r.title.toLowerCase() === rule.title.toLowerCase());
+    const updatedRules = [...this.database.rules];
+    const today = new Date().toISOString().split("T")[0];
+    if (existingIndex >= 0) {
+      updatedRules[existingIndex] = {
+        ...rule,
+        id: rule.id || updatedRules[existingIndex].id,
+        lastVerified: today
+      };
+    } else {
+      updatedRules.push({
+        ...rule,
+        lastVerified: today
+      });
+    }
+    this.database = {
+      ...this.database,
+      updatedAt: new Date().toISOString(),
+      totalRules: updatedRules.length,
+      rules: updatedRules
+    };
+    this.rebuildIndices();
+    if (persistToDisk) {
+      this.saveDatabase();
+    }
+  }
+  readSmartGraph(files = []) {
+    const resonance = this.queryResonance({ files });
+    const status = this.getStatus();
+    const entities = resonance.resonanceRules.map((r) => ({
+      name: r.title,
+      entityType: r.entityType || r.domain,
+      domain: r.domain,
+      invariants: r.invariants,
+      actions: r.actions,
+      observations: [
+        ...r.invariants.map((i) => `[\uBD88\uBCC0\uADDC\uCE59] ${i}`),
+        ...r.actions.map((a) => `[\uC2E4\uD589\uC9C0\uCE68] ${a}`),
+        ...r.context
+      ]
+    }));
+    return {
+      causalMemoryEngine: `v${status.version} (Active Resonance Mode)`,
+      tokenDietSavings: resonance.tokenDietSavingsRatio,
+      queryDurationMs: resonance.queryDurationMs,
+      activeEntitiesCount: entities.length,
+      totalIndexedRules: status.totalRules,
+      totalIndexedRelations: status.totalRelations,
+      availableDomains: status.domainCounts,
+      hint: "\uBB34\uAD00\uD55C \uB3C4\uBA54\uC778 \uC9C0\uC2DD\uC740 \uD1A0\uD070 \uC808\uAC10\uC744 \uC704\uD574 0ms \uC2A4\uD0B5\uB418\uC5C8\uC2B5\uB2C8\uB2E4. \uD2B9\uC815 \uB3C4\uBA54\uC778 \uC0C1\uC138 \uC870\uD68C\uB294 search_nodes \uB610\uB294 query_causal_memory\uB97C \uC0AC\uC6A9\uD558\uC138\uC694.",
+      entities,
+      relations: resonance.activeRelations
+    };
+  }
+  searchNodes(query) {
+    const trimmed = query.trim();
+    if (!trimmed) {
+      return this.readSmartGraph();
+    }
+    const tokens = trimmed.toLowerCase().split(/\s+/).filter((t) => t.length > 0);
+    const matchedRules = [];
+    const matchedTitles = new Set;
+    const searchPool = this.getCompiledSearchRules();
+    for (const entry of searchPool) {
+      const ruleIdLower = entry.rule.id.toLowerCase();
+      if (tokens.some((tok) => entry.searchableText.includes(tok) || ruleIdLower.includes(tok))) {
+        matchedRules.push(entry.rule);
+        matchedTitles.add(entry.rule.title.toLowerCase());
+      }
+    }
+    const relationsSet = new Set;
+    for (const titleLower of matchedTitles) {
+      const adj = this.relationAdjacency.get(titleLower);
+      if (adj) {
+        for (const r of adj)
+          relationsSet.add(r);
+      }
+    }
+    return {
+      entities: matchedRules.map((r) => ({
+        name: r.title,
+        entityType: r.entityType || r.domain,
+        observations: [...r.invariants, ...r.actions, ...r.context]
+      })),
+      relations: Array.from(relationsSet)
+    };
+  }
+  openNodes(names) {
+    const matchedRules = [];
+    const matchedTitles = new Set;
+    for (const name of names) {
+      const lower = name.toLowerCase();
+      const rule = this.titleToRuleMap.get(lower) || this.idToRuleMap.get(lower);
+      if (rule && !matchedTitles.has(rule.title.toLowerCase())) {
+        matchedRules.push(rule);
+        matchedTitles.add(rule.title.toLowerCase());
+      }
+    }
+    const relationsSet = new Set;
+    for (const titleLower of matchedTitles) {
+      const adj = this.relationAdjacency.get(titleLower);
+      if (adj) {
+        for (const r of adj)
+          relationsSet.add(r);
+      }
+    }
+    return {
+      entities: matchedRules.map((r) => ({
+        name: r.title,
+        entityType: r.entityType || r.domain,
+        observations: [...r.invariants, ...r.actions, ...r.context]
+      })),
+      relations: Array.from(relationsSet)
+    };
+  }
+  createEntities(entities, persistToDisk = true) {
+    const created = [];
+    const updatedRules = [...this.database.rules];
+    const today = new Date().toISOString().split("T")[0];
+    for (const ent of entities) {
+      if (this.titleToRuleMap.has(ent.name.toLowerCase()))
+        continue;
+      const inferred = CausalMemoryStore.inferRuleFromEntity(ent, today);
+      updatedRules.push(inferred);
+      created.push(ent);
+    }
+    if (created.length > 0) {
+      this.database = {
+        ...this.database,
+        updatedAt: new Date().toISOString(),
+        totalRules: updatedRules.length,
+        rules: updatedRules
+      };
+      this.rebuildIndices();
+      if (persistToDisk) {
+        this.saveDatabase();
+      }
+    }
+    return created;
+  }
+  addObservations(observations, persistToDisk = true) {
+    const updatedRules = [...this.database.rules];
+    const results = [];
+    let changed = false;
+    for (const item of observations) {
+      const idx = updatedRules.findIndex((r) => r.title.toLowerCase() === item.entityName.toLowerCase());
+      if (idx < 0)
+        continue;
+      const rule = updatedRules[idx];
+      const existingObs = new Set([...rule.invariants, ...rule.actions, ...rule.context]);
+      const added = [];
+      const newInvariants = [...rule.invariants];
+      const newActions = [...rule.actions];
+      const newContext = [...rule.context];
+      for (const content of item.contents) {
+        if (existingObs.has(content))
+          continue;
+        added.push(content);
+        existingObs.add(content);
+        changed = true;
+        if (content.includes("\uAE08\uC9C0") || content.includes("\uC808\uB300") || content.includes("\uD544\uC218") || content.includes("\uC8FC\uC758")) {
+          newInvariants.push(content);
+        } else if (/^\d+\.|\uB2E8\uACC4|Step/i.test(content)) {
+          newActions.push(content);
+        } else {
+          newContext.push(content);
+        }
+      }
+      updatedRules[idx] = {
+        ...rule,
+        invariants: newInvariants,
+        actions: newActions,
+        context: newContext,
+        lastVerified: new Date().toISOString().split("T")[0]
+      };
+      results.push({ entityName: item.entityName, addedObservations: added });
+    }
+    if (changed) {
+      this.database = {
+        ...this.database,
+        updatedAt: new Date().toISOString(),
+        rules: updatedRules
+      };
+      this.rebuildIndices();
+      if (persistToDisk) {
+        this.saveDatabase();
+      }
+    }
+    return results;
+  }
+  createRelations(relations, persistToDisk = true) {
+    const updatedRelations = [...this.database.relations];
+    const created = [];
+    for (const rel of relations) {
+      const exists = updatedRelations.some((r) => r.from === rel.from && r.to === rel.to && r.relationType === rel.relationType);
+      if (!exists) {
+        updatedRelations.push(rel);
+        created.push(rel);
+      }
+    }
+    if (created.length > 0) {
+      this.database = {
+        ...this.database,
+        updatedAt: new Date().toISOString(),
+        totalRelations: updatedRelations.length,
+        relations: updatedRelations
+      };
+      this.rebuildIndices();
+      if (persistToDisk) {
+        this.saveDatabase();
+      }
+    }
+    return created;
+  }
+  deleteEntities(entityNames, persistToDisk = true) {
+    const nameSet = new Set(entityNames.map((n) => n.toLowerCase()));
+    const filteredRules = this.database.rules.filter((r) => !nameSet.has(r.title.toLowerCase()) && !nameSet.has(r.id.toLowerCase()));
+    const filteredRelations = this.database.relations.filter((rel) => !nameSet.has(rel.from.toLowerCase()) && !nameSet.has(rel.to.toLowerCase()));
+    this.database = {
+      ...this.database,
+      updatedAt: new Date().toISOString(),
+      totalRules: filteredRules.length,
+      totalRelations: filteredRelations.length,
+      rules: filteredRules,
+      relations: filteredRelations
+    };
+    this.rebuildIndices();
+    if (persistToDisk) {
+      this.saveDatabase();
+    }
+  }
+  deleteObservations(deletions, persistToDisk = true) {
+    const updatedRules = [...this.database.rules];
+    for (const del of deletions) {
+      const idx = updatedRules.findIndex((r) => r.title.toLowerCase() === del.entityName.toLowerCase());
+      if (idx < 0)
+        continue;
+      const toDelete = new Set(del.observations);
+      const rule = updatedRules[idx];
+      updatedRules[idx] = {
+        ...rule,
+        invariants: rule.invariants.filter((x) => !toDelete.has(x)),
+        actions: rule.actions.filter((x) => !toDelete.has(x)),
+        context: rule.context.filter((x) => !toDelete.has(x))
+      };
+    }
+    this.database = {
+      ...this.database,
+      updatedAt: new Date().toISOString(),
+      rules: updatedRules
+    };
+    this.rebuildIndices();
+    if (persistToDisk) {
+      this.saveDatabase();
+    }
+  }
+  deleteRelations(relations, persistToDisk = true) {
+    const filtered = this.database.relations.filter((existing) => !relations.some((del) => del.from === existing.from && del.to === existing.to && del.relationType === existing.relationType));
+    this.database = {
+      ...this.database,
+      updatedAt: new Date().toISOString(),
+      totalRelations: filtered.length,
+      relations: filtered
+    };
+    this.rebuildIndices();
+    if (persistToDisk) {
+      this.saveDatabase();
+    }
+  }
+  static inferRuleFromEntity(ent, today) {
+    const nameLower = ent.name.toLowerCase();
+    const typeLower = ent.entityType.toLowerCase();
+    const obsJoined = ent.observations.join(" ").toLowerCase();
+    let domain = "Knowledge_Base";
+    const triggers = {};
+    const invariants = [];
+    const actions = [];
+    const context = [];
+    const isTrueUserPreference = typeLower === "preference" || typeLower === "user_constraint" || typeLower === "forbidden_rules" || nameLower === "userpreferences" || nameLower === "user_web_navigation_preference" || nameLower === "python_strictly_forbidden" || nameLower === "forbidden_topics_until_mentioned";
+    if (isTrueUserPreference) {
+      domain = "User_Preferences_And_Rules";
+      triggers.alwaysActive = true;
+      triggers.keywords = ["\uD658\uACBD\uC124\uC815", "\uADDC\uCE59", "\uD130\uBBF8\uB110", "\uCD9C\uB825", "\uBCF4\uC548", "\uC120\uD638\uB3C4"];
+    } else if (nameLower.includes("poe2") || nameLower.includes("noble-babbage") || nameLower.includes("release_workflow") || obsJoined.includes("poe2filter-releases") || obsJoined.includes("noble-babbage")) {
+      domain = "Project_POE2_AutoFilter";
+      triggers.files = [
+        "noble-babbage",
+        "poe2filter-releases",
+        "updater.json",
+        "post_download_button.js"
+      ];
+      triggers.keywords = ["poe2", "autofilter", "\uD544\uD130", "\uC624\uD1A0\uD544\uD130", "updater", "discord", "\uB9B4\uB9AC\uC988", "\uBC30\uD3EC"];
+      triggers.commands = ["release", "updater", "build", "sign"];
+    } else if (nameLower.includes("vesper") || nameLower.includes("dsp") || nameLower.includes("neurospatial audio") || typeLower.includes("audio_architecture")) {
+      domain = "Project_Vesper_DSP";
+      triggers.files = ["vesper", "crates/vesper-", "vesper-apo"];
+      triggers.keywords = ["vesper", "dsp", "\uC624\uB514\uC624", "audio", "mmcss", "virtuallock", "apo", "eq", "\uC0AC\uC6B4\uB4DC"];
+      triggers.commands = ["check", "build", "test"];
+    } else if (nameLower.includes("synapse") && !nameLower.includes("biophys")) {
+      domain = "Project_Synapse_Kit";
+      triggers.files = ["synapse", "synapse.config.ts"];
+      triggers.keywords = ["synapse", "synapse-kit", "\uC2DC\uB0C5\uC2A4", "\uC778\uACFC\uC728", "causal", "\uCEF4\uD30C\uC77C\uB7EC", "\uCCB4\uCEE4"];
+      triggers.commands = ["check", "build", "package", "sign", "init", "memory"];
+    } else if (nameLower.includes("hardware") || nameLower.includes("pcb") || nameLower.includes("jlcpcb") || nameLower.includes("m2_2230") || nameLower.includes("pocket_orange") || typeLower.includes("hardware")) {
+      domain = "Hardware_And_PCB";
+      triggers.files = ["hardware", "pcb", "kicad"];
+      triggers.keywords = ["pcb", "hardware", "\uD558\uB4DC\uC6E8\uC5B4", "\uD68C\uB85C", "jlcpcb", "kicad", "m2"];
+    } else if (nameLower.includes("biophys") || nameLower.includes("connectome") || nameLower.includes("drosophila") || nameLower.includes("cortex") || typeLower.includes("whitepaper")) {
+      domain = "BioPhys_Research_And_Architecture";
+      triggers.files = ["biophys", "whitepaper"];
+      triggers.keywords = ["biophys", "connectome", "\uC2DC\uB0C5\uC2A4\uC2E0\uACBD\uB9DD", "\uD000\uD0C0\uC774\uC81C\uC774\uC158", "\uBC31\uC11C", "\uC544\uD0A4\uD14D\uCC98"];
+    } else {
+      domain = "Knowledge_Base";
+      triggers.keywords = [ent.name.toLowerCase().replace(/_/g, " ")];
+    }
+    for (const obs of ent.observations) {
+      if (obs.includes("\uAE08\uC9C0") || obs.includes("\uC808\uB300") || obs.includes("\uD544\uC218") || obs.includes("\uC8FC\uC758") || obs.includes("VirtualLock") || obs.includes("MMCSS")) {
+        invariants.push(obs);
+      } else if (/^\d+\.|\uB2E8\uACC4|Step/i.test(obs)) {
+        actions.push(obs);
+      } else {
+        context.push(obs);
+      }
+    }
+    const baseSlug = ent.name.trim().toLowerCase().replace(/[^\w\uAC00-\uD7A30-9-]+/g, "-").replace(/^-+|-+$/g, "") || "item";
+    return {
+      id: `rule-${domain.toLowerCase()}-${baseSlug}`,
+      domain,
+      title: ent.name,
+      entityType: ent.entityType,
+      triggers,
+      invariants,
+      actions,
+      context,
+      lastVerified: today
+    };
+  }
+  audit() {
+    const issues = [];
+    const seenIds = new Set;
+    let alwaysActiveCount = 0;
+    for (const rule of this.database.rules) {
+      if (rule.triggers.alwaysActive) {
+        alwaysActiveCount++;
+      }
+      if (!rule.id || rule.id.trim().length === 0) {
+        issues.push(`ID \uB204\uB77D \uADDC\uCE59 \uBC1C\uACAC: ${rule.title}`);
+      } else if (seenIds.has(rule.id)) {
+        issues.push(`\uC911\uBCF5 ID \uBC1C\uACAC: ${rule.id}`);
+      } else {
+        seenIds.add(rule.id);
+      }
+      if (!rule.domain) {
+        issues.push(`\uB3C4\uBA54\uC778 \uB204\uB77D \uADDC\uCE59: ${rule.id}`);
+      }
+    }
+    if (alwaysActiveCount > 10) {
+      issues.push(`\uC0C1\uC2DC \uD65C\uC131(alwaysActive) \uADDC\uCE59 \uACFC\uB2E4 (${alwaysActiveCount}\uAC1C): \uD1A0\uD070 \uC808\uAC10 \uD6A8\uC728\uC774 \uC800\uD558\uB420 \uC218 \uC788\uC2B5\uB2C8\uB2E4.`);
+    }
+    return {
+      ok: issues.length === 0,
+      totalRules: this.database.rules.length,
+      totalRelations: this.database.relations.length,
+      alwaysActiveCount,
+      issues
+    };
+  }
+}
+// causal-query.ts
+var {spawn } = globalThis.Bun;
+async function detectModifiedFiles(cwd = process.cwd()) {
+  try {
+    const gitProc = spawn(["git", "status", "--porcelain", "-uall"], {
+      cwd,
+      stdout: "pipe",
+      stderr: "pipe"
+    });
+    const output = await new Response(gitProc.stdout).text();
+    await gitProc.exited;
+    return output.split(`
+`).map((line) => line.slice(3).trim().replaceAll("\\", "/")).filter((line) => line.length > 0 && !line.startsWith(".synapse/") && !line.includes("/.synapse/"));
+  } catch {
+    return [];
+  }
+}
+async function runCausalQuery(rawOptions, storeCustomPath) {
+  const store = new CausalMemoryStore(storeCustomPath);
+  let targetFiles = rawOptions.files ? [...rawOptions.files] : [];
+  if (rawOptions.autoGit || targetFiles.length === 0) {
+    const gitFiles = await detectModifiedFiles(rawOptions.cwd || process.cwd());
+    if (gitFiles.length > 0) {
+      targetFiles = Array.from(new Set([...targetFiles, ...gitFiles]));
+    }
+  }
+  const queryOptions = {
+    files: targetFiles,
+    keywords: rawOptions.keywords,
+    command: rawOptions.command,
+    domain: rawOptions.domain,
+    propagateRelations: rawOptions.propagateRelations
+  };
+  return store.queryResonance(queryOptions);
+}
+function formatResonanceForAgent(result, compact = false) {
+  if (result.matchedCount === 0) {
+    return `[Causal-Memory] \uACF5\uBA85 \uADDC\uCE59 0\uAC74 (\uD1A0\uD070 \uC808\uAC10\uB960: ${result.tokenDietSavingsRatio}, \uC18C\uC694: ${result.queryDurationMs}ms)`;
+  }
+  if (compact) {
+    return JSON.stringify({
+      ok: true,
+      durationMs: result.queryDurationMs,
+      matchedCount: result.matchedCount,
+      totalDatabaseRules: result.totalDatabaseRules,
+      savings: result.tokenDietSavingsRatio,
+      rules: result.resonanceRules.map((r) => ({
+        id: r.id,
+        domain: r.domain,
+        title: r.title,
+        invariants: r.invariants,
+        actions: r.actions
+      })),
+      relations: result.activeRelations
+    });
+  }
+  const lines = [
+    `### \uD83E\uDDE0 \uC778\uACFC\uC728 \uBA54\uBAA8\uB9AC \uACF5\uBA85 \uC8FC\uC785 (${result.matchedCount}/${result.totalDatabaseRules}\uAC1C \uADDC\uCE59 \uD65C\uC131\uD654, \uC808\uAC10\uB960: ${result.tokenDietSavingsRatio}, ${result.queryDurationMs}ms)`
+  ];
+  for (const rule of result.resonanceRules) {
+    lines.push(`
+**[${rule.domain}] ${rule.title}**`);
+    if (rule.invariants.length > 0) {
+      lines.push("  - **\uBD88\uBCC0 \uADDC\uCE59(Invariants)**:");
+      for (const inv of rule.invariants) {
+        lines.push(`    \u2022 ${inv}`);
+      }
+    }
+    if (rule.actions.length > 0) {
+      lines.push("  - **\uC2E4\uD589 \uC808\uCC28(Actions)**:");
+      for (const act of rule.actions) {
+        lines.push(`    \u2022 ${act}`);
+      }
+    }
+    if (rule.context.length > 0) {
+      lines.push("  - **\uD575\uC2EC \uB9E5\uB77D(Context)**:");
+      for (const ctx of rule.context.slice(0, CAUSAL_MEMORY_CONFIG.MAX_CONTEXT_PREVIEW_LINES)) {
+        lines.push(`    \u2022 ${ctx}`);
+      }
+    }
+  }
+  if (result.activeRelations.length > 0) {
+    lines.push(`
+### \uD83D\uDD17 \uD65C\uC131 \uC778\uACFC \uAC04\uC120 (Active Causal Relations)`);
+    for (const rel of result.activeRelations) {
+      lines.push(`  \u2022 \`${rel.from}\` \u2500\u2500[${rel.relationType}]\u2500\u2500\u25B6 \`${rel.to}\``);
+    }
+  }
+  return lines.join(`
+`);
+}
+// causal-server.ts
+import { createInterface } from "readline";
+var CAUSAL_MCP_TOOLS = [
+  {
+    name: "query_causal_memory",
+    description: "\uC791\uC5C5 \uCEE8\uD14D\uC2A4\uD2B8(\uC218\uC815\uB41C \uD30C\uC77C, \uD0A4\uC6CC\uB4DC, \uBA85\uB839\uC5B4, \uB3C4\uBA54\uC778)\uC5D0 \uB9E4\uCE6D\uB418\uB294 \uC778\uACFC\uC728 \uC9C0\uC2DD\uACFC \uBD88\uBCC0 \uADDC\uCE59\uB9CC 0ms \uCD08\uACBD\uB7C9\uC73C\uB85C \uACF5\uBA85 \uCFFC\uB9AC\uD569\uB2C8\uB2E4.",
+    inputSchema: {
+      type: "object",
+      properties: {
+        files: {
+          type: "array",
+          items: { type: "string" },
+          description: "\uAC10\uC9C0\uD560 \uB300\uC0C1 \uD30C\uC77C \uACBD\uB85C \uBAA9\uB85D (\uC0DD\uB7B5 \uC2DC Git \uBCC0\uACBD \uD30C\uC77C \uC790\uB3D9 \uAC10\uC9C0)"
+        },
+        keywords: {
+          type: "array",
+          items: { type: "string" },
+          description: "\uAC80\uC0C9\uD560 \uB3C4\uBA54\uC778/\uC791\uC5C5 \uD0A4\uC6CC\uB4DC \uBAA9\uB85D"
+        },
+        command: {
+          type: "string",
+          description: "\uC5F0\uB3D9 \uBA85\uB839\uC5B4 (\uC608: check, build, release, sign)"
+        },
+        domain: {
+          type: "string",
+          description: "\uD2B9\uC815 \uB3C4\uBA54\uC778 \uD544\uD130"
+        },
+        compact: {
+          type: "boolean",
+          description: "\uCD08\uC18C\uD615 JSON \uD3EC\uB9F7 \uBC18\uD658 \uC5EC\uBD80"
+        }
+      }
+    }
+  },
+  {
+    name: "assert_causal_rule",
+    description: "\uC2E0\uADDC \uC778\uACFC\uC728 \uADDC\uCE59(\uC6D0\uC778 \uD2B8\uB9AC\uAC70 \u2794 \uBD88\uBCC0 \uACC4\uC57D \u2794 \uC2E4\uD589 \uC9C0\uCE68)\uC744 \uBA54\uBAA8\uB9AC\uC5D0 \uB4F1\uB85D\uD558\uAC70\uB098 \uAC31\uC2E0\uD569\uB2C8\uB2E4.",
+    inputSchema: {
+      type: "object",
+      required: ["id", "domain", "title", "triggers"],
+      properties: {
+        id: { type: "string" },
+        domain: { type: "string" },
+        title: { type: "string" },
+        triggers: { type: "object" },
+        invariants: { type: "array", items: { type: "string" } },
+        actions: { type: "array", items: { type: "string" } },
+        context: { type: "array", items: { type: "string" } }
+      }
+    }
+  },
+  {
+    name: "audit_causal_memory",
+    description: "\uC778\uACFC\uC728 \uBA54\uBAA8\uB9AC \uB370\uC774\uD130\uBCA0\uC774\uC2A4\uC758 \uBB34\uACB0\uC131, \uB3C4\uBA54\uC778 \uBD84\uD3EC, \uD1A0\uD070 \uC808\uAC10 \uC0C1\uD0DC\uB97C \uAC10\uC0AC(Audit)\uD569\uB2C8\uB2E4.",
+    inputSchema: {
+      type: "object",
+      properties: {}
+    }
+  },
+  {
+    name: "read_graph",
+    description: "Read the active causal resonance knowledge graph (automatically filters out unrelated noise for 90%+ token savings)",
+    inputSchema: {
+      type: "object",
+      properties: {}
+    }
+  },
+  {
+    name: "search_nodes",
+    description: "Search for causal rules and nodes in the knowledge graph based on a query and traverse causal relations",
+    inputSchema: {
+      type: "object",
+      required: ["query"],
+      properties: {
+        query: {
+          type: "string",
+          description: "The search query to match against rule titles, domains, triggers, and invariants"
+        }
+      }
+    }
+  },
+  {
+    name: "open_nodes",
+    description: "Open specific causal rule nodes in the knowledge graph by their names or IDs",
+    inputSchema: {
+      type: "object",
+      required: ["names"],
+      properties: {
+        names: {
+          type: "array",
+          items: { type: "string" },
+          description: "An array of entity names or rule IDs to retrieve"
+        }
+      }
+    }
+  },
+  {
+    name: "create_entities",
+    description: "Create multiple new entities (automatically converted into structured Causal Rules)",
+    inputSchema: {
+      type: "object",
+      required: ["entities"],
+      properties: {
+        entities: {
+          type: "array",
+          items: {
+            type: "object",
+            required: ["name", "entityType", "observations"],
+            properties: {
+              name: { type: "string" },
+              entityType: { type: "string" },
+              observations: { type: "array", items: { type: "string" } }
+            }
+          }
+        }
+      }
+    }
+  },
+  {
+    name: "create_relations",
+    description: "Create multiple new causal relations between nodes in the knowledge graph",
+    inputSchema: {
+      type: "object",
+      required: ["relations"],
+      properties: {
+        relations: {
+          type: "array",
+          items: {
+            type: "object",
+            required: ["from", "to", "relationType"],
+            properties: {
+              from: { type: "string" },
+              to: { type: "string" },
+              relationType: { type: "string" }
+            }
+          }
+        }
+      }
+    }
+  },
+  {
+    name: "add_observations",
+    description: "Add new invariants, actions, or context observations to existing causal rules",
+    inputSchema: {
+      type: "object",
+      required: ["observations"],
+      properties: {
+        observations: {
+          type: "array",
+          items: {
+            type: "object",
+            required: ["entityName", "contents"],
+            properties: {
+              entityName: { type: "string" },
+              contents: { type: "array", items: { type: "string" } }
+            }
+          }
+        }
+      }
+    }
+  },
+  {
+    name: "delete_entities",
+    description: "Delete multiple entities/rules and their associated causal relations",
+    inputSchema: {
+      type: "object",
+      required: ["entityNames"],
+      properties: {
+        entityNames: {
+          type: "array",
+          items: { type: "string" }
+        }
+      }
+    }
+  },
+  {
+    name: "delete_observations",
+    description: "Delete specific observations from entities/rules in the causal memory",
+    inputSchema: {
+      type: "object",
+      required: ["deletions"],
+      properties: {
+        deletions: {
+          type: "array",
+          items: {
+            type: "object",
+            required: ["entityName", "observations"],
+            properties: {
+              entityName: { type: "string" },
+              observations: { type: "array", items: { type: "string" } }
+            }
+          }
+        }
+      }
+    }
+  },
+  {
+    name: "delete_relations",
+    description: "Delete multiple causal relations from the knowledge graph",
+    inputSchema: {
+      type: "object",
+      required: ["relations"],
+      properties: {
+        relations: {
+          type: "array",
+          items: {
+            type: "object",
+            required: ["from", "to", "relationType"],
+            properties: {
+              from: { type: "string" },
+              to: { type: "string" },
+              relationType: { type: "string" }
+            }
+          }
+        }
+      }
+    }
+  }
+];
+async function handleMcpJsonRpcRequest(rpc, store, dbPath) {
+  const { id, method, params } = rpc;
+  if (method.startsWith("notifications/")) {
+    return null;
+  }
+  if (method === "initialize") {
+    return {
+      jsonrpc: "2.0",
+      id: id ?? null,
+      result: {
+        protocolVersion: params?.protocolVersion || CAUSAL_MEMORY_CONFIG.MCP_PROTOCOL_VERSION,
+        capabilities: {
+          tools: {}
+        },
+        serverInfo: {
+          name: CAUSAL_MEMORY_CONFIG.MCP_SERVER_NAME,
+          version: CAUSAL_MEMORY_CONFIG.SCHEMA_VERSION
+        }
+      }
+    };
+  }
+  if (method === "ping") {
+    return {
+      jsonrpc: "2.0",
+      id: id ?? null,
+      result: {}
+    };
+  }
+  if (method === "tools/list") {
+    return {
+      jsonrpc: "2.0",
+      id: id ?? null,
+      result: {
+        tools: CAUSAL_MCP_TOOLS
+      }
+    };
+  }
+  if (method === "tools/call") {
+    store.reloadIfNeeded();
+    const toolName = params?.name;
+    const args = params?.arguments || {};
+    try {
+      let payloadText = "";
+      switch (toolName) {
+        case "query_causal_memory": {
+          let files = Array.isArray(args.files) ? args.files : [];
+          if (files.length === 0 && args.autoGit !== false) {
+            files = await detectModifiedFiles();
+          }
+          const res = store.queryResonance({
+            files,
+            keywords: args.keywords,
+            command: args.command,
+            domain: args.domain,
+            propagateRelations: args.propagateRelations,
+            maxHops: args.maxHops
+          });
+          payloadText = formatResonanceForAgent(res, Boolean(args.compact));
+          break;
+        }
+        case "assert_causal_rule": {
+          store.assertRule(args);
+          payloadText = JSON.stringify({
+            ok: true,
+            message: `\uC778\uACFC\uC728 \uADDC\uCE59 \uB4F1\uB85D/\uAC31\uC2E0 \uC644\uB8CC: ${args.id}`,
+            id: args.id
+          });
+          break;
+        }
+        case "audit_causal_memory": {
+          const audit = store.audit();
+          const status = store.getStatus();
+          payloadText = JSON.stringify({ ...audit, status }, null, 2);
+          break;
+        }
+        case "read_graph": {
+          const gitFiles = await detectModifiedFiles();
+          const smartGraph = store.readSmartGraph(gitFiles);
+          payloadText = JSON.stringify(smartGraph, null, 2);
+          break;
+        }
+        case "search_nodes": {
+          const searchResult = store.searchNodes(String(args.query || ""));
+          payloadText = JSON.stringify(searchResult, null, 2);
+          break;
+        }
+        case "open_nodes": {
+          const names = Array.isArray(args.names) ? args.names : [];
+          const openResult = store.openNodes(names);
+          payloadText = JSON.stringify(openResult, null, 2);
+          break;
+        }
+        case "create_entities": {
+          const entities = Array.isArray(args.entities) ? args.entities : [];
+          const created = store.createEntities(entities);
+          payloadText = JSON.stringify(created, null, 2);
+          break;
+        }
+        case "create_relations": {
+          const relations = Array.isArray(args.relations) ? args.relations : [];
+          const created = store.createRelations(relations);
+          payloadText = JSON.stringify(created, null, 2);
+          break;
+        }
+        case "add_observations": {
+          const observations = Array.isArray(args.observations) ? args.observations : [];
+          const added = store.addObservations(observations);
+          payloadText = JSON.stringify(added, null, 2);
+          break;
+        }
+        case "delete_entities": {
+          const entityNames = Array.isArray(args.entityNames) ? args.entityNames : [];
+          store.deleteEntities(entityNames);
+          payloadText = "Entities deleted successfully";
+          break;
+        }
+        case "delete_observations": {
+          const deletions = Array.isArray(args.deletions) ? args.deletions : [];
+          store.deleteObservations(deletions);
+          payloadText = "Observations deleted successfully";
+          break;
+        }
+        case "delete_relations": {
+          const relations = Array.isArray(args.relations) ? args.relations : [];
+          store.deleteRelations(relations);
+          payloadText = "Relations deleted successfully";
+          break;
+        }
+        default:
+          return {
+            jsonrpc: "2.0",
+            id: id ?? null,
+            error: {
+              code: -32601,
+              message: `\uC9C0\uC6D0\uD558\uC9C0 \uC54A\uB294 \uC778\uACFC\uC728 \uBA54\uBAA8\uB9AC \uB3C4\uAD6C\uC785\uB2C8\uB2E4: ${toolName}`
+            }
+          };
+      }
+      return {
+        jsonrpc: "2.0",
+        id: id ?? null,
+        result: {
+          content: [{ type: "text", text: payloadText }]
+        }
+      };
+    } catch (error) {
+      return {
+        jsonrpc: "2.0",
+        id: id ?? null,
+        result: {
+          content: [
+            {
+              type: "text",
+              text: `\uC778\uACFC\uC728 \uBA54\uBAA8\uB9AC \uB3C4\uAD6C \uC2E4\uD589 \uC624\uB958: ${error instanceof Error ? error.message : String(error)}`
+            }
+          ],
+          isError: true
+        }
+      };
+    }
+  }
+  return {
+    jsonrpc: "2.0",
+    id: id ?? null,
+    error: { code: -32601, message: `Method not found: ${method}` }
+  };
+}
+function startCausalServer(options = {}) {
+  const port = options.port || CAUSAL_MEMORY_CONFIG.DEFAULT_PORT;
+  const host = options.host || CAUSAL_MEMORY_CONFIG.DEFAULT_HOST;
+  const store = new CausalMemoryStore(options.dbPath);
+  const server = Bun.serve({
+    port,
+    hostname: host,
+    async fetch(req) {
+      const url = new URL(req.url);
+      const headers = {
+        "Content-Type": "application/json",
+        "Access-Control-Allow-Origin": "*",
+        "Access-Control-Allow-Methods": "GET, POST, OPTIONS",
+        "Access-Control-Allow-Headers": "Content-Type"
+      };
+      if (req.method === "OPTIONS") {
+        return new Response(null, { headers });
+      }
+      try {
+        if (url.pathname === "/health" || url.pathname === "/status") {
+          store.reloadIfNeeded();
+          return new Response(JSON.stringify({ ok: true, status: store.getStatus() }), { headers });
+        }
+        if (url.pathname === "/query" && req.method === "GET") {
+          store.reloadIfNeeded();
+          const files = url.searchParams.getAll("files");
+          const keywords = url.searchParams.getAll("keywords");
+          const command = url.searchParams.get("command") || undefined;
+          const domain = url.searchParams.get("domain") || undefined;
+          const result = store.queryResonance({ files, keywords, command, domain });
+          return new Response(JSON.stringify(result), { headers });
+        }
+        if (url.pathname === "/query" && req.method === "POST") {
+          store.reloadIfNeeded();
+          const body = await req.json();
+          let files = Array.isArray(body.files) ? body.files : [];
+          if (body.autoGit === true && files.length === 0) {
+            files = await detectModifiedFiles(body.cwd);
+          }
+          const result = store.queryResonance({
+            files,
+            keywords: body.keywords,
+            command: body.command,
+            domain: body.domain,
+            propagateRelations: body.propagateRelations,
+            maxHops: body.maxHops
+          });
+          const format = url.searchParams.get("format") || body.format;
+          if (format === "markdown" || format === "md") {
+            return new Response(formatResonanceForAgent(result, false), {
+              headers: { ...headers, "Content-Type": "text/markdown; charset=utf-8" }
+            });
+          }
+          if (format === "compact") {
+            return new Response(formatResonanceForAgent(result, true), { headers });
+          }
+          return new Response(JSON.stringify(result), { headers });
+        }
+        if (url.pathname === "/assert" && req.method === "POST") {
+          store.reloadIfNeeded();
+          const body = await req.json();
+          store.assertRule(body);
+          return new Response(JSON.stringify({ ok: true, id: body.id }), { headers });
+        }
+        if (url.pathname === "/audit") {
+          store.reloadIfNeeded();
+          const auditResult = store.audit();
+          return new Response(JSON.stringify(auditResult), { headers });
+        }
+        if (url.pathname === "/mcp" && req.method === "POST") {
+          const rpc = await req.json();
+          const responseObj = await handleMcpJsonRpcRequest(rpc, store, options.dbPath);
+          if (!responseObj) {
+            return new Response(null, { status: 204, headers });
+          }
+          return new Response(JSON.stringify(responseObj), { headers });
+        }
+        return new Response(JSON.stringify({ error: "Not Found" }), { status: 404, headers });
+      } catch (err) {
+        return new Response(JSON.stringify({ error: err instanceof Error ? err.message : String(err) }), { status: 500, headers });
+      }
+    }
+  });
+  return server;
+}
+async function startCausalMcpStdioServer(dbPath) {
+  const store = new CausalMemoryStore(dbPath);
+  const daemonUrl = `http://${CAUSAL_MEMORY_CONFIG.DEFAULT_HOST}:${CAUSAL_MEMORY_CONFIG.DEFAULT_PORT}/mcp`;
+  const rl = createInterface({
+    input: process.stdin,
+    terminal: false
+  });
+  for await (const line of rl) {
+    const trimmed = line.trim();
+    if (!trimmed)
+      continue;
+    try {
+      const rpc = JSON.parse(trimmed);
+      let responseObj = null;
+      if (rpc.method === "tools/call") {
+        try {
+          const daemonRes = await fetch(daemonUrl, {
+            method: "POST",
+            headers: { "Content-Type": "application/json" },
+            body: trimmed,
+            signal: AbortSignal.timeout(150)
+          });
+          if (daemonRes.ok) {
+            responseObj = await daemonRes.json();
+          }
+        } catch {}
+      }
+      if (!responseObj) {
+        responseObj = await handleMcpJsonRpcRequest(rpc, store, dbPath);
+      }
+      if (responseObj) {
+        process.stdout.write(JSON.stringify(responseObj) + `
+`);
+      }
+    } catch (error) {
+      const errResp = {
+        jsonrpc: "2.0",
+        id: null,
+        error: {
+          code: -32700,
+          message: `JSON Parse error: ${error instanceof Error ? error.message : String(error)}`
+        }
+      };
+      process.stdout.write(JSON.stringify(errResp) + `
+`);
+    }
+  }
+}
+// causal-migrator.ts
+import { existsSync as existsSync2, readFileSync as readFileSync2, writeFileSync as writeFileSync2, mkdirSync as mkdirSync2 } from "fs";
+import { dirname as dirname2 } from "path";
+function migrateLegacyMemoryGraph(sourceBackupPath = CAUSAL_MEMORY_CONFIG.LEGACY_BACKUP_PATH, targetGlobalPath = CAUSAL_MEMORY_CONFIG.GLOBAL_DB_PATH, targetLocalPath = CAUSAL_MEMORY_CONFIG.LOCAL_DB_PATH) {
+  if (!existsSync2(sourceBackupPath)) {
+    throw new Error(`\uAD6C\uD615 \uBA54\uBAA8\uB9AC \uBC31\uC5C5 \uD30C\uC77C\uC744 \uCC3E\uC744 \uC218 \uC5C6\uC2B5\uB2C8\uB2E4: ${sourceBackupPath}`);
+  }
+  const raw = readFileSync2(sourceBackupPath, "utf-8");
+  const legacy = JSON.parse(raw);
+  const entities = legacy.entities || [];
+  const legacyRelations = legacy.relations || [];
+  const today = new Date().toISOString().split("T")[0];
+  const seenIds = new Map;
+  const rules = [];
+  for (const ent of entities) {
+    const inferred = CausalMemoryStore.inferRuleFromEntity(ent, today);
+    const baseId = inferred.id;
+    const count = seenIds.get(baseId) || 0;
+    seenIds.set(baseId, count + 1);
+    const uniqueId = count === 0 ? baseId : `${baseId}-${count + 1}`;
+    rules.push({
+      ...inferred,
+      id: uniqueId
+    });
+  }
+  const hasVesperCore = rules.some((r) => r.id === "rule-project_vesper_dsp-vesper-dsp-master-invariants");
+  if (!hasVesperCore) {
+    rules.push({
+      id: "rule-project_vesper_dsp-vesper-dsp-master-invariants",
+      domain: "Project_Vesper_DSP",
+      title: "Vesper_DSP_Master_Invariants",
+      entityType: "Architecture_Invariant",
+      triggers: {
+        files: ["D:/Vesper", "crates/vesper-", "vesper-apo", "dsp-settings.json"],
+        keywords: ["vesper", "dsp", "mmcss", "virtuallock", "\uC624\uB514\uC624", "\uC0AC\uC6B4\uB4DC", "\uB04A\uAE40", "apo"],
+        commands: ["check", "build", "package", "sign"]
+      },
+      invariants: [
+        "\uC624\uB514\uC624 \uBC84\uD37C\uB294 \uBC18\uB4DC\uC2DC Win32 VirtualLock\uC73C\uB85C \uBB3C\uB9AC RAM\uC5D0 \uACE0\uC815\uD558\uC5EC \uB514\uC2A4\uD06C \uC2A4\uC651 \uC544\uC6C3(\uD558\uB4DC \uD398\uC774\uC9C0 \uD3F4\uD2B8)\uC744 \uC6D0\uCC9C \uCC28\uB2E8\uD560 \uAC83",
+        "\uC624\uB514\uC624 \uCC98\uB9AC \uC2A4\uB808\uB4DC\uB294 Windows MMCSS(Pro Audio) \uC2E4\uC2DC\uAC04 \uC2A4\uCF00\uC904\uB7EC\uC5D0 \uD544\uC218 \uB4F1\uB85D\uD560 \uAC83",
+        "\uC124\uC815 \uC800\uC7A5\uC740 \uBE0C\uB77C\uC6B0\uC800 localStorage \uB2E8\uB3C5 \uC758\uC874\uC744 \uAE08\uC9C0\uD558\uACE0 Crash-Safe \uC6D0\uC790\uC801(Atomic) \uD30C\uC77C \uC800\uC7A5(dsp-settings.json)\uC744 \uC0AC\uC6A9\uD560 \uAC83",
+        "Windows \uC167\uB2E4\uC6B4 \uC2DC WM_QUERYENDSESSION / SM_SHUTTINGDOWN \uAC10\uC9C0 \uD6C4 \uC815\uC0C1 \uC885\uB8CC\uB97C \uBCF4\uC7A5\uD560 \uAC83"
+      ],
+      actions: [
+        "1. Cargo Workspace 5\uB300 \uB9C8\uC774\uD06C\uB85C \uD06C\uB808\uC774\uD2B8(vesper-config, vesper-ipc, vesper-audio-core, vesper-system, vesper-tauri) \uACBD\uACC4 \uC900\uC218",
+        "2. \uC218\uC815\uB41C \uD06C\uB808\uC774\uD2B8 \uD2B8\uB799\uB9CC \uC778\uACFC\uC728 \uC99D\uBD84 \uBE4C\uB4DC \uC218\uD589"
+      ],
+      context: [
+        "\uC2E4\uC99D \uD0C0\uAE43 \uACBD\uB85C: D:\\Vesper\\dsp-boot-fix\\dsp",
+        "APO DLL \uBC0F Taskbar \uB124\uC774\uD2F0\uBE0C \uBC14\uC774\uB108\uB9AC \uC544\uD0A4\uD14D\uCC98 \uBB34\uACB0\uC131(x64 PE) \uAC80\uC99D \uD544\uC218"
+      ],
+      lastVerified: today
+    });
+  }
+  const hasSynapseCore = rules.some((r) => r.id === "rule-project_synapse_kit-synapse-kit-core-invariants");
+  if (!hasSynapseCore) {
+    rules.push({
+      id: "rule-project_synapse_kit-synapse-kit-core-invariants",
+      domain: "Project_Synapse_Kit",
+      title: "Synapse_Kit_Core_Invariants",
+      entityType: "Framework_Invariant",
+      triggers: {
+        files: ["D:/synapse", "D:/synapse-site", "synapse.config.ts"],
+        keywords: ["synapse", "synapse-kit", "\uC2DC\uB0C5\uC2A4", "\uC778\uACFC\uC728", "causal", "\uCEF4\uD30C\uC77C\uB7EC", "\uCCB4\uCEE4"],
+        commands: ["check", "build", "package", "sign", "init", "memory"]
+      },
+      invariants: [
+        "Git \uC0C1\uD0DC \uC2A4\uCE94 \uC2DC \uBC18\uB4DC\uC2DC git status --porcelain -uall \uD50C\uB798\uADF8\uB97C \uC0AC\uC6A9\uD558\uC5EC \uBBF8\uCD94\uC801 \uD558\uC704 \uB514\uB809\uD130\uB9AC \uD30C\uC77C \uB204\uB77D\uC744 \uBC29\uC9C0\uD560 \uAC83",
+        "AI \uC5D0\uC774\uC804\uD2B8 \uC5F0\uB3D9 \uC2DC --compact \uBAA8\uB4DC\uB97C \uD1B5\uD574 \uC131\uACF5 \uC2DC 11\uD1A0\uD070 \uB2E8\uC77C \uB77C\uC778 JSON\uC744 \uBC18\uD658\uD558\uC5EC \uD1A0\uD070\uC744 99.8% \uC808\uAC10\uD560 \uAC83",
+        "\uD328\uD0A4\uC9C0 \uB9E4\uB2C8\uC800 \uBC0F \uB7F0\uD0C0\uC784\uC740 npm/npx\uB97C \uC808\uB300 \uC0AC\uC6A9\uD558\uC9C0 \uC54A\uACE0 \uBC18\uB4DC\uC2DC bun\uC744 \uC0AC\uC6A9\uD560 \uAC83"
+      ],
+      actions: [
+        "1. \uCF54\uB4DC \uBCC0\uACBD \uD6C4 bun D:/synapse/dist/cli.js check --compact\uB85C \uBB34\uACB0\uC131 \uAC80\uC99D",
+        "2. \uBA54\uBAA8\uB9AC \uC870\uD68C \uC2DC synapse memory query\uB85C \uACF5\uBA85 \uADDC\uCE59\uB9CC \uCD5C\uC18C \uD1A0\uD070 \uC8FC\uC785"
+      ],
+      context: [
+        "\uC5D4\uC9C4 \uCF54\uC5B4 \uACBD\uB85C: D:\\synapse",
+        "\uACF5\uC2DD \uBB38\uC11C \uBC0F \uC704\uD0A4 \uACBD\uB85C: D:\\synapse-site (KO/EN \uB2E4\uAD6D\uC5B4 \uB85C\uCF00\uC77C \uC790\uB3D9 \uBD84\uAE30)"
+      ],
+      lastVerified: today
+    });
+  }
+  const relations = [...legacyRelations];
+  const coreRelations = [
+    {
+      from: "POE2_AutoFilter_Project",
+      to: "POE2_AutoFilter_ReleaseProcess",
+      relationType: "governed_by_workflow"
+    },
+    {
+      from: "POE2_AutoFilter_ReleaseProcess",
+      to: "POE2_AutoFilter_Updater",
+      relationType: "triggers_update_of"
+    },
+    {
+      from: "POE2_AutoFilter_ReleaseProcess",
+      to: "POE2_AutoFilter_KnownBugs",
+      relationType: "verifies_and_notifies"
+    },
+    {
+      from: "Synapse_Kit_Core_Invariants",
+      to: "Vesper_DSP_Master_Invariants",
+      relationType: "verifies_and_builds"
+    }
+  ];
+  for (const cr of coreRelations) {
+    const exists = relations.some((r) => r.from === cr.from && r.to === cr.to && r.relationType === cr.relationType);
+    if (!exists) {
+      relations.push(cr);
+    }
+  }
+  const db = {
+    version: CAUSAL_MEMORY_CONFIG.SCHEMA_VERSION,
+    updatedAt: new Date().toISOString(),
+    totalRules: rules.length,
+    totalRelations: relations.length,
+    rules,
+    relations
+  };
+  const serialized = JSON.stringify(db, null, 2);
+  for (const outPath of [targetGlobalPath, targetLocalPath]) {
+    const dir = dirname2(outPath);
+    if (!existsSync2(dir)) {
+      mkdirSync2(dir, { recursive: true });
+    }
+    writeFileSync2(outPath, serialized, "utf-8");
+  }
+  const alwaysActiveCount = rules.filter((r) => r.triggers.alwaysActive).length;
+  const domains = Array.from(new Set(rules.map((r) => r.domain)));
+  return {
+    ok: true,
+    totalRules: rules.length,
+    totalRelations: relations.length,
+    alwaysActiveCount,
+    domains
+  };
+}
+// causal-benchmark.ts
+var RESET = "\x1B[0m";
+var BOLD = "\x1B[1m";
+var CYAN = "\x1B[36m";
+var GREEN = "\x1B[32m";
+var YELLOW = "\x1B[33m";
+var RED = "\x1B[31m";
+var GRAY = "\x1B[90m";
+function calcPercentile(sorted, p) {
+  if (sorted.length === 0)
+    return 0;
+  const idx = Math.min(sorted.length - 1, Math.floor(p / 100 * sorted.length));
+  return Math.round(sorted[idx] * 1000) / 1000;
+}
+function generateSyntheticDatabase(ruleCount, relationCount) {
+  const domains = [
+    "Project_POE2_AutoFilter",
+    "Project_Vesper_DSP",
+    "Project_Synapse_Kit",
+    "BioPhys_Research_And_Architecture",
+    "Hardware_And_PCB",
+    "Knowledge_Base"
+  ];
+  const rules = [
+    {
+      id: "rule-always-1",
+      domain: "User_Preferences_And_Rules",
+      title: "Global_Preference_1",
+      triggers: { alwaysActive: true },
+      invariants: ["\uD56D\uC0C1 \uD55C\uAD6D\uC5B4 \uC6B0\uC120 \uCD9C\uB825", "bun \uD544\uC218 \uC0AC\uC6A9"],
+      actions: [],
+      context: []
+    },
+    {
+      id: "rule-always-2",
+      domain: "User_Preferences_And_Rules",
+      title: "Global_Preference_2",
+      triggers: { alwaysActive: true },
+      invariants: ["console.log \uB514\uBC84\uADF8 \uCF54\uB4DC \uAE08\uC9C0", "\uD558\uB4DC\uCF54\uB529 \uAE08\uC9C0"],
+      actions: [],
+      context: []
+    },
+    {
+      id: "rule-always-3",
+      domain: "User_Preferences_And_Rules",
+      title: "Global_Preference_3",
+      triggers: { alwaysActive: true },
+      invariants: ["100% \uC21C\uC218 Rust \uBC31\uC5D4\uB4DC \uC6D0\uCE59"],
+      actions: [],
+      context: []
+    },
+    {
+      id: "rule-always-4",
+      domain: "User_Preferences_And_Rules",
+      title: "Global_Preference_4",
+      triggers: { alwaysActive: true },
+      invariants: ["\uAC80\uC99D \uCD5C\uC6B0\uC120 \uC6D0\uCE59 \uC900\uC218"],
+      actions: [],
+      context: []
+    }
+  ];
+  for (let i = 4;i < ruleCount; i++) {
+    const dom = domains[i % domains.length];
+    const moduleIdx = i % 500;
+    rules.push({
+      id: `rule-synth-${i}`,
+      domain: dom,
+      title: `Synth_Node_${i}`,
+      triggers: {
+        files: [`packages/mod_${moduleIdx}/src/file_${i}.rs`],
+        keywords: [`kw_${i}`, `topic_${i % 250}`],
+        commands: i % 20 === 0 ? ["build"] : i % 20 === 1 ? ["release"] : ["check"]
+      },
+      invariants: [`\uBD88\uBCC0 \uACC4\uC57D #${i}: \uBA54\uBAA8\uB9AC \uC548\uC804\uC131 \uBC0F \uD0C0\uC785 \uACBD\uACC4 \uBCF4\uC7A5`],
+      actions: [`1. \uBAA8\uB4C8 ${moduleIdx} \uC815\uC801 \uAC80\uC99D \uC218\uD589`],
+      context: [`\uD569\uC131 \uBCA4\uCE58\uB9C8\uD06C \uB178\uB4DC \uCEE8\uD14D\uC2A4\uD2B8 \uB370\uC774\uD130 #${i}`],
+      lastVerified: "2026-11-01"
+    });
+  }
+  const relations = [];
+  relations.push({ from: "Synth_Node_10", to: "Synth_Node_11", relationType: "triggers_hop_1" }, { from: "Synth_Node_11", to: "Synth_Node_12", relationType: "triggers_hop_2" }, { from: "Synth_Node_12", to: "Synth_Node_13", relationType: "triggers_hop_3" }, { from: "Synth_Node_13", to: "Synth_Node_14", relationType: "triggers_hop_4" }, { from: "Synth_Node_14", to: "Synth_Node_15", relationType: "triggers_hop_5" }, { from: "Synth_Node_15", to: "Synth_Node_10", relationType: "circular_feedback_edge" });
+  for (let j = relations.length;j < relationCount; j++) {
+    const fromIdx = 4 + j % (ruleCount - 10);
+    const toIdx = fromIdx + 1 + j % 5;
+    relations.push({
+      from: `Synth_Node_${fromIdx}`,
+      to: `Synth_Node_${toIdx}`,
+      relationType: "causal_impact_on"
+    });
+  }
+  return {
+    version: "2.1.0",
+    updatedAt: new Date().toISOString(),
+    totalRules: rules.length,
+    totalRelations: relations.length,
+    rules,
+    relations
+  };
+}
+async function executeOverloadBenchmark(customConfig, silent = false) {
+  const config = {
+    ruleScale: customConfig?.ruleScale ?? 1e4,
+    relationScale: customConfig?.relationScale ?? 20000,
+    concurrency: customConfig?.concurrency ?? 50,
+    totalRequests: customConfig?.totalRequests ?? 5000,
+    fileInputScale: customConfig?.fileInputScale ?? 1e4,
+    crudIterations: customConfig?.crudIterations ?? 5000
+  };
+  const log = (msg) => {
+    if (!silent)
+      process.stdout.write(msg);
+  };
+  const benchStart = performance.now();
+  const scenarios = [];
+  const isExtreme = config.ruleScale >= 1e5;
+  const modeTitle = isExtreme ? "\uC635\uC158 2 \uADF9\uD55C \uD55C\uACC4 \uB3CC\uD30C \uC2A4\uD2B8\uB808\uC2A4 \uBCA4\uCE58\uB9C8\uD06C (Stress Max)" : "\uC635\uC158 1 \uD45C\uC900 \uACFC\uBD80\uD558 \uC2A4\uD2B8\uB808\uC2A4 \uBCA4\uCE58\uB9C8\uD06C";
+  const sloP50Ms = isExtreme ? 2 : 0.8;
+  const sloP99Ms = isExtreme ? 5 : 1.5;
+  const sloRps = isExtreme ? 3000 : 5000;
+  const sloHopMs = isExtreme ? 100 : 30;
+  const sloHeapDeltaMB = isExtreme ? 8 : 3;
+  log(`
+${BOLD}${CYAN}\uD83D\uDD25 [Causal Memory 2.1] ${modeTitle} \uAC00\uB3D9${RESET}
+`);
+  log(`${GRAY}\u2022 \uC2A4\uD399: \uADDC\uCE59 ${config.ruleScale.toLocaleString()}\uAC1C | \uAC04\uC120 ${config.relationScale.toLocaleString()}\uAC1C | \uB3D9\uC2DC\uC131 ${config.concurrency} \uC6CC\uCEE4 | \uC694\uCCAD ${config.totalRequests.toLocaleString()}\uD68C | \uBCC0\uACBD\uD30C\uC77C ${config.fileInputScale.toLocaleString()}\uAC1C${RESET}
+`);
+  log(`${GRAY}${"\u2501".repeat(84)}${RESET}
+
+`);
+  log(`${BOLD}${YELLOW}\uD83D\uDCCC [\uC2DC\uB098\uB9AC\uC624 1] ${config.ruleScale.toLocaleString()}\uAC1C \uADDC\uCE59 & ${config.relationScale.toLocaleString()}\uAC1C \uAC04\uC120 \uC801\uC7AC \uBC0F O(1) \uC5ED\uC778\uB371\uC2A4 \uACF5\uBA85 \uD14C\uC2A4\uD2B8${RESET}
+`);
+  const genStart = performance.now();
+  const synthDb = generateSyntheticDatabase(config.ruleScale, config.relationScale);
+  const genDurationMs = Math.round((performance.now() - genStart) * 100) / 100;
+  const indexStart = performance.now();
+  const scaleStore = new CausalMemoryStore(undefined, synthDb);
+  const indexBuildMs = Math.round((performance.now() - indexStart) * 100) / 100;
+  const queryLatencies = [];
+  let lastResonance = scaleStore.queryResonance({ keywords: ["kw_10"] });
+  for (let i = 0;i < 1000; i++) {
+    const targetKw = `kw_${10 + i % 5000}`;
+    const qStart = performance.now();
+    lastResonance = scaleStore.queryResonance({ keywords: [targetKw] });
+    queryLatencies.push(performance.now() - qStart);
+  }
+  queryLatencies.sort((a, b) => a - b);
+  const s1P50 = calcPercentile(queryLatencies, 50);
+  const s1P95 = calcPercentile(queryLatencies, 95);
+  const s1P99 = calcPercentile(queryLatencies, 99);
+  const s1Passed = s1P50 <= sloP50Ms && s1P99 <= sloP99Ms && parseFloat(lastResonance.tokenDietSavingsRatio) >= 99;
+  scenarios.push({
+    name: "\uC2DC\uB098\uB9AC\uC624 1: \uB300\uADDC\uBAA8 \uBCFC\uB968 \uC801\uC7AC \uBC0F O(1) \uACF5\uBA85 \uCFFC\uB9AC",
+    passed: s1Passed,
+    details: {
+      totalRules: config.ruleScale,
+      totalRelations: config.relationScale,
+      syntheticGenMs: genDurationMs,
+      indexBuildMs,
+      p50Ms: s1P50,
+      p95Ms: s1P95,
+      p99Ms: s1P99,
+      tokenSavings: lastResonance.tokenDietSavingsRatio
+    }
+  });
+  log(`  \u2022 \uC5ED\uC778\uB371\uC2A4 \uAD6C\uCD95 \uC2DC\uAC04 : ${BOLD}${GREEN}${indexBuildMs}ms${RESET} (${config.ruleScale.toLocaleString()} Rules + ${config.relationScale.toLocaleString()} Relations)
+`);
+  log(`  \u2022 \uACF5\uBA85 \uCFFC\uB9AC \uB808\uC774\uD134\uC2DC : ${BOLD}p50=${s1P50}ms | p95=${s1P95}ms | p99=${s1P99}ms${RESET} (\uBAA9\uD45C: p50\u2264${sloP50Ms}ms, p99\u2264${sloP99Ms}ms)
+`);
+  log(`  \u2022 \uD1A0\uD070 \uC808\uAC10\uB960        : ${BOLD}${GREEN}${lastResonance.tokenDietSavingsRatio}${RESET} (${lastResonance.matchedCount}/${config.ruleScale}\uAC1C\uB9CC \uC815\uBC00 \uACF5\uBA85)
+`);
+  log(`  \u2022 \uD310\uC815               : ${s1Passed ? `${BOLD}${GREEN}\u2705 PASS${RESET}` : `${BOLD}${RED}\u274C FAIL${RESET}`}
+
+`);
+  log(`${BOLD}${YELLOW}\uD83D\uDCCC [\uC2DC\uB098\uB9AC\uC624 2] \uB3D9\uC2DC ${config.concurrency} \uD074\uB77C\uC774\uC5B8\uD2B8 \xD7 ${config.totalRequests.toLocaleString()}\uD68C HTTP/MCP \uB370\uBAAC \uD3ED\uACA9 \uD14C\uC2A4\uD2B8${RESET}
+`);
+  const benchPort = 4288;
+  const server = startCausalServer({ port: benchPort });
+  let successCount = 0;
+  let errorCount = 0;
+  const httpLatencies = [];
+  const requestsPerWorker = Math.floor(config.totalRequests / config.concurrency);
+  for (let w = 0;w < 10; w++) {
+    await fetch(`http://127.0.0.1:${benchPort}/query`, {
+      method: "POST",
+      headers: { "Content-Type": "application/json" },
+      body: JSON.stringify({ keywords: ["poe2"], format: "compact" })
+    });
+  }
+  const concStart = performance.now();
+  try {
+    const workerPromises = Array.from({ length: config.concurrency }, async (_, workerId) => {
+      const sampleQueries = [
+        { keywords: ["poe2", "updater"], format: "compact" },
+        { files: ["crates/vesper-audio-core/src/lib.rs"], format: "compact" },
+        { keywords: ["synapse", "causal"], format: "compact" },
+        { keywords: ["pcb", "kicad"], format: "compact" }
+      ];
+      for (let r = 0;r < requestsPerWorker; r++) {
+        const qPayload = sampleQueries[(workerId + r) % sampleQueries.length];
+        const reqT0 = performance.now();
+        try {
+          const resp = await fetch(`http://127.0.0.1:${benchPort}/query`, {
+            method: "POST",
+            headers: { "Content-Type": "application/json" },
+            body: JSON.stringify(qPayload)
+          });
+          if (resp.ok) {
+            await resp.text();
+            successCount++;
+          } else {
+            errorCount++;
+          }
+        } catch {
+          errorCount++;
+        }
+        httpLatencies.push(performance.now() - reqT0);
+      }
+    });
+    await Promise.all(workerPromises);
+  } finally {
+    server.stop();
+  }
+  const concTotalSec = (performance.now() - concStart) / 1000;
+  const rps = Math.round(successCount / concTotalSec);
+  httpLatencies.sort((a, b) => a - b);
+  const s2P50 = calcPercentile(httpLatencies, 50);
+  const s2P95 = calcPercentile(httpLatencies, 95);
+  const s2P99 = calcPercentile(httpLatencies, 99);
+  const s2Passed = errorCount === 0 && successCount === config.totalRequests && rps >= sloRps;
+  scenarios.push({
+    name: "\uC2DC\uB098\uB9AC\uC624 2: \uACE0\uB3D9\uC2DC\uC131 \uB370\uBAAC \uCC98\uB9AC\uB7C9",
+    passed: s2Passed,
+    details: {
+      concurrency: config.concurrency,
+      totalRequests: config.totalRequests,
+      successCount,
+      errorCount,
+      durationSec: Math.round(concTotalSec * 100) / 100,
+      rps,
+      httpP50Ms: s2P50,
+      httpP95Ms: s2P95,
+      httpP99Ms: s2P99
+    }
+  });
+  log(`  \u2022 \uCD1D \uCC98\uB9AC \uC694\uCCAD       : ${BOLD}${GREEN}${successCount.toLocaleString()} / ${config.totalRequests.toLocaleString()} \uC131\uACF5${RESET} (\uC624\uB958\uC728: ${errorCount === 0 ? "0.00%" : errorCount})
+`);
+  log(`  \u2022 \uCD08\uB2F9 \uCC98\uB9AC\uB7C9 (RPS)  : ${BOLD}${CYAN}${rps.toLocaleString()} req/sec${RESET} (\uCD1D \uC18C\uC694: ${concTotalSec.toFixed(2)}s, \uBAA9\uD45C: \u2265${sloRps.toLocaleString()} req/s)
+`);
+  log(`  \u2022 HTTP \uC655\uBCF5 \uB808\uC774\uD134\uC2DC : ${BOLD}p50=${s2P50}ms | p95=${s2P95}ms | p99=${s2P99}ms${RESET}
+`);
+  log(`  \u2022 \uD310\uC815               : ${s2Passed ? `${BOLD}${GREEN}\u2705 PASS${RESET}` : `${BOLD}${RED}\u274C FAIL${RESET}`}
+
+`);
+  log(`${BOLD}${YELLOW}\uD83D\uDCCC [\uC2DC\uB098\uB9AC\uC624 3] ${config.fileInputScale.toLocaleString()}\uAC1C \uBCC0\uACBD \uD30C\uC77C \uB3D9\uC2DC \uC785\uB825 & 5-Hop \uB2E4\uC911 \uCCB4\uC778/\uC21C\uD658 \uCC38\uC870 \uC2A4\uD2B8\uB808\uC2A4${RESET}
+`);
+  const massiveFiles = [];
+  for (let f = 0;f < config.fileInputScale; f++) {
+    massiveFiles.push(`services/microservice_${f % 100}/src/handler_${f}.ts`);
+  }
+  massiveFiles[Math.floor(config.fileInputScale / 2)] = "packages/mod_10/src/file_10.rs";
+  const hopStart = performance.now();
+  const multiHopRes = scaleStore.queryResonance({
+    files: massiveFiles,
+    propagateRelations: true,
+    maxHops: 5
+  });
+  const hopDurationMs = Math.round((performance.now() - hopStart) * 100) / 100;
+  const matchedTitles = new Set(multiHopRes.resonanceRules.map((r) => r.title));
+  const all5HopsPropagated = matchedTitles.has("Synth_Node_10") && matchedTitles.has("Synth_Node_11") && matchedTitles.has("Synth_Node_12") && matchedTitles.has("Synth_Node_13") && matchedTitles.has("Synth_Node_14") && matchedTitles.has("Synth_Node_15");
+  const s3Passed = all5HopsPropagated && hopDurationMs <= sloHopMs;
+  scenarios.push({
+    name: "\uC2DC\uB098\uB9AC\uC624 3: \uB300\uADDC\uBAA8 \uD30C\uC77C & 5-Hop \uB2E4\uC911 \uC778\uACFC \uC804\uD30C",
+    passed: s3Passed,
+    details: {
+      inputFilesCount: config.fileInputScale,
+      maxHops: 5,
+      traversalDurationMs: hopDurationMs,
+      matchedRulesCount: multiHopRes.matchedCount,
+      activeRelationsCount: multiHopRes.activeRelations.length,
+      all5HopsResolved: all5HopsPropagated ? "YES (Circular Loop Safe)" : "NO",
+      tokenSavings: multiHopRes.tokenDietSavingsRatio
+    }
+  });
+  log(`  \u2022 \uB300\uB7C9 \uD30C\uC77C + 5-Hop \uC18C\uC694 : ${BOLD}${GREEN}${hopDurationMs}ms${RESET} (\uBAA9\uD45C: \u2264${sloHopMs}ms)
+`);
+  log(`  \u2022 5\uB2E8\uACC4 \uC5F0\uC1C4 \uC804\uD30C \uAC80\uC99D  : ${BOLD}${all5HopsPropagated ? `${GREEN}Node_10 \u2794 Node_15 (5-Hop) \uBC0F \uC21C\uD658 \uCC38\uC870 \uBC29\uC5B4 100% \uC131\uACF5` : `${RED}\uC2E4\uD328`}${RESET}
+`);
+  log(`  \u2022 \uC815\uBC00 \uACA9\uB9AC \uC808\uAC10\uB960      : ${BOLD}${GREEN}${multiHopRes.tokenDietSavingsRatio}${RESET} (${multiHopRes.matchedCount}/${config.ruleScale}\uAC1C\uB9CC \uD65C\uC131\uD654)
+`);
+  log(`  \u2022 \uD310\uC815                  : ${s3Passed ? `${BOLD}${GREEN}\u2705 PASS${RESET}` : `${BOLD}${RED}\u274C FAIL${RESET}`}
+
+`);
+  log(`${BOLD}${YELLOW}\uD83D\uDCCC [\uC2DC\uB098\uB9AC\uC624 4] ${config.crudIterations.toLocaleString()}\uD68C \uC5F0\uC18D CRUD \uD2B8\uB79C\uC7AD\uC158 & \uD799 \uBA54\uBAA8\uB9AC \uB204\uC218 \uAC10\uC0AC (Zero-Leak Audit)${RESET}
+`);
+  if (typeof Bun !== "undefined" && typeof Bun.gc === "function") {
+    Bun.gc(true);
+  }
+  const baseMem = process.memoryUsage();
+  const baseHeapMB = baseMem.heapUsed / (1024 * 1024);
+  const crudStore = new CausalMemoryStore(undefined, {
+    version: "2.1.0",
+    updatedAt: new Date().toISOString(),
+    totalRules: 0,
+    totalRelations: 0,
+    rules: [],
+    relations: []
+  });
+  const crudStart = performance.now();
+  for (let c = 0;c < config.crudIterations; c++) {
+    const tempName = `Ephemeral_Entity_${c % 50}`;
+    crudStore.createEntities([
+      {
+        name: tempName,
+        entityType: "StressTest",
+        observations: [`\uC808\uB300 \uADDC\uCE59 #${c}`, `1. \uC2E4\uD589 \uB2E8\uACC4 #${c}`]
+      }
+    ], false);
+    crudStore.addObservations([{ entityName: tempName, contents: [`\uCD94\uAC00 \uAD00\uCC30 #${c}`] }], false);
+    crudStore.queryResonance({ keywords: [tempName] });
+    crudStore.deleteEntities([tempName], false);
+  }
+  const crudDurationMs = Math.round((performance.now() - crudStart) * 100) / 100;
+  if (typeof Bun !== "undefined" && typeof Bun.gc === "function") {
+    Bun.gc(true);
+  }
+  const afterMem = process.memoryUsage();
+  const afterHeapMB = afterMem.heapUsed / (1024 * 1024);
+  const rssMB = Math.round(afterMem.rss / (1024 * 1024) * 100) / 100;
+  const heapDeltaMB = Math.round(Math.max(0, afterHeapMB - baseHeapMB) * 100) / 100;
+  const s4Passed = heapDeltaMB <= sloHeapDeltaMB && crudStore.getAllRules().length === 0;
+  scenarios.push({
+    name: "\uC2DC\uB098\uB9AC\uC624 4: \uC5F0\uC18D CRUD \uB0B4\uAD6C\uB3C4 \uBC0F \uD799 \uB204\uC218 \uAC10\uC0AC",
+    passed: s4Passed,
+    details: {
+      crudCycles: config.crudIterations,
+      totalOperations: config.crudIterations * 4,
+      durationMs: crudDurationMs,
+      baseHeapMB: Math.round(baseHeapMB * 100) / 100,
+      afterHeapMB: Math.round(afterHeapMB * 100) / 100,
+      heapDeltaMB,
+      rssMB,
+      residualRules: crudStore.getAllRules().length
+    }
+  });
+  log(`  \u2022 \uCD1D \uC218\uD589 \uC5F0\uC0B0 \uC218    : ${BOLD}${(config.crudIterations * 4).toLocaleString()}\uD68C CRUD \uC5F0\uC0B0${RESET} (\uC18C\uC694: ${crudDurationMs}ms)
+`);
+  log(`  \u2022 \uD799 \uBA54\uBAA8\uB9AC \uBCC0\uD654\uB7C9   : ${BOLD}${GREEN}\u0394 ${heapDeltaMB} MB${RESET} (\uC2DC\uC791: ${baseHeapMB.toFixed(2)}MB \u2794 \uC885\uB8CC: ${afterHeapMB.toFixed(2)}MB, \uBAA9\uD45C: \u2264${sloHeapDeltaMB.toFixed(1)}MB)
+`);
+  log(`  \u2022 \uD504\uB85C\uC138\uC2A4 RSS \uC810\uC720  : ${BOLD}${rssMB} MB${RESET}
+`);
+  log(`  \u2022 \uD310\uC815               : ${s4Passed ? `${BOLD}${GREEN}\u2705 PASS${RESET}` : `${BOLD}${RED}\u274C FAIL${RESET}`}
+
+`);
+  const totalDurationMs = Math.round((performance.now() - benchStart) * 100) / 100;
+  const allPassed = scenarios.every((s) => s.passed);
+  log(`${GRAY}${"\u2501".repeat(84)}${RESET}
+`);
+  log(`${BOLD}${allPassed ? GREEN : RED}\uD83C\uDFC6 [\uCD5C\uC885 \uBCA4\uCE58\uB9C8\uD06C \uACB0\uACFC] 4\uB300 \uACFC\uBD80\uD558 \uCC28\uC6D0 \uC804\uC218 ${allPassed ? "ALL PASS (100% \uD569\uACA9)" : "\uC77C\uBD80 \uBBF8\uB2EC"} (\uCD1D \uC18C\uC694 \uC2DC\uAC04: ${(totalDurationMs / 1000).toFixed(2)}s)${RESET}
+
+`);
+  return {
+    timestamp: new Date().toISOString(),
+    config,
+    allPassed,
+    totalDurationMs,
+    scenarios
+  };
+}
+export {
+  CAUSAL_MCP_TOOLS,
+  CAUSAL_MEMORY_CONFIG,
+  CausalMemoryStore,
+  detectModifiedFiles,
+  executeOverloadBenchmark,
+  formatResonanceForAgent,
+  generateSyntheticDatabase,
+  handleMcpJsonRpcRequest,
+  migrateLegacyMemoryGraph,
+  runCausalQuery,
+  startCausalMcpStdioServer,
+  startCausalServer
+};