synapse-kit 0.0.0-stage → 0.3.0

package/dist/memory/causal-server.d.ts

@@ -0,0 +1,578 @@
+import { CausalMemoryStore } from './causal-store';
+export interface ServerOptions {
+    readonly port?: number;
+    readonly host?: string;
+    readonly dbPath?: string;
+    readonly contextDbPath?: string;
+}
+export interface JsonRpcRequest {
+    readonly jsonrpc?: string;
+    readonly id?: string | number | null;
+    readonly method: string;
+    readonly params?: Record<string, any>;
+}
+/**
+ * MCP 표준 도구 스키마 목록 (신규 인과율 도구 3종 + 구형 memory 호환 도구 9종 = 총 12종)
+ */
+export declare const CAUSAL_MCP_TOOLS: readonly [{
+    readonly name: "query_causal_memory";
+    readonly description: "작업 컨텍스트(수정된 파일, 키워드, 명령어, 도메인)에 매칭되는 인과율 지식과 불변 규칙만 0ms 초경량으로 공명 쿼리합니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {
+            readonly files: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "감지할 대상 파일 경로 목록 (생략 시 Git 변경 파일 자동 감지)";
+            };
+            readonly keywords: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "검색할 도메인/작업 키워드 목록";
+            };
+            readonly command: {
+                readonly type: "string";
+                readonly description: "연동 명령어 (예: check, build, release, sign)";
+            };
+            readonly domain: {
+                readonly type: "string";
+                readonly description: "특정 도메인 필터";
+            };
+            readonly compact: {
+                readonly type: "boolean";
+                readonly description: "초소형 JSON 포맷 반환 여부";
+            };
+        };
+    };
+}, {
+    readonly name: "assert_causal_rule";
+    readonly description: "신규 인과율 규칙(원인 트리거 ➔ 불변 계약 ➔ 실행 지침)을 메모리에 등록하거나 갱신합니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["id", "domain", "title", "triggers"];
+        readonly properties: {
+            readonly id: {
+                readonly type: "string";
+            };
+            readonly domain: {
+                readonly type: "string";
+            };
+            readonly title: {
+                readonly type: "string";
+            };
+            readonly triggers: {
+                readonly type: "object";
+            };
+            readonly invariants: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+            };
+            readonly actions: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+            };
+            readonly context: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+            };
+        };
+    };
+}, {
+    readonly name: "audit_causal_memory";
+    readonly description: "인과율 메모리 데이터베이스의 무결성, 도메인 분포, 토큰 절감 상태를 감사(Audit)합니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {};
+    };
+}, {
+    readonly name: "read_graph";
+    readonly description: "Read the active causal resonance knowledge graph (automatically filters out unrelated noise for 90%+ token savings)";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {};
+    };
+}, {
+    readonly name: "search_nodes";
+    readonly description: "Search for causal rules and nodes in the knowledge graph based on a query and traverse causal relations";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["query"];
+        readonly properties: {
+            readonly query: {
+                readonly type: "string";
+                readonly description: "The search query to match against rule titles, domains, triggers, and invariants";
+            };
+        };
+    };
+}, {
+    readonly name: "open_nodes";
+    readonly description: "Open specific causal rule nodes in the knowledge graph by their names or IDs";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["names"];
+        readonly properties: {
+            readonly names: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "An array of entity names or rule IDs to retrieve";
+            };
+        };
+    };
+}, {
+    readonly name: "create_entities";
+    readonly description: "Create multiple new entities (automatically converted into structured Causal Rules)";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["entities"];
+        readonly properties: {
+            readonly entities: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "object";
+                    readonly required: readonly ["name", "entityType", "observations"];
+                    readonly properties: {
+                        readonly name: {
+                            readonly type: "string";
+                        };
+                        readonly entityType: {
+                            readonly type: "string";
+                        };
+                        readonly observations: {
+                            readonly type: "array";
+                            readonly items: {
+                                readonly type: "string";
+                            };
+                        };
+                    };
+                };
+            };
+        };
+    };
+}, {
+    readonly name: "create_relations";
+    readonly description: "Create multiple new causal relations between nodes in the knowledge graph";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["relations"];
+        readonly properties: {
+            readonly relations: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "object";
+                    readonly required: readonly ["from", "to", "relationType"];
+                    readonly properties: {
+                        readonly from: {
+                            readonly type: "string";
+                        };
+                        readonly to: {
+                            readonly type: "string";
+                        };
+                        readonly relationType: {
+                            readonly type: "string";
+                        };
+                    };
+                };
+            };
+        };
+    };
+}, {
+    readonly name: "add_observations";
+    readonly description: "Add new invariants, actions, or context observations to existing causal rules";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["observations"];
+        readonly properties: {
+            readonly observations: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "object";
+                    readonly required: readonly ["entityName", "contents"];
+                    readonly properties: {
+                        readonly entityName: {
+                            readonly type: "string";
+                        };
+                        readonly contents: {
+                            readonly type: "array";
+                            readonly items: {
+                                readonly type: "string";
+                            };
+                        };
+                    };
+                };
+            };
+        };
+    };
+}, {
+    readonly name: "delete_entities";
+    readonly description: "Delete multiple entities/rules and their associated causal relations";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["entityNames"];
+        readonly properties: {
+            readonly entityNames: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+            };
+        };
+    };
+}, {
+    readonly name: "delete_observations";
+    readonly description: "Delete specific observations from entities/rules in the causal memory";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["deletions"];
+        readonly properties: {
+            readonly deletions: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "object";
+                    readonly required: readonly ["entityName", "observations"];
+                    readonly properties: {
+                        readonly entityName: {
+                            readonly type: "string";
+                        };
+                        readonly observations: {
+                            readonly type: "array";
+                            readonly items: {
+                                readonly type: "string";
+                            };
+                        };
+                    };
+                };
+            };
+        };
+    };
+}, {
+    readonly name: "delete_relations";
+    readonly description: "Delete multiple causal relations from the knowledge graph";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["relations"];
+        readonly properties: {
+            readonly relations: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "object";
+                    readonly required: readonly ["from", "to", "relationType"];
+                    readonly properties: {
+                        readonly from: {
+                            readonly type: "string";
+                        };
+                        readonly to: {
+                            readonly type: "string";
+                        };
+                        readonly relationType: {
+                            readonly type: "string";
+                        };
+                    };
+                };
+            };
+        };
+    };
+}, {
+    readonly name: "save_context_checkpoint";
+    readonly description: "현재 작업 세션의 핵심 컨텍스트(목표, 완료 단계, 다음 할 일, 핵심 설계 결정, 활성 파일, 아티팩트)를 초경량 스냅샷으로 저장하여 새 채팅창에서도 기억 손실 없이 0ms 복원할 수 있게 합니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["title"];
+        readonly properties: {
+            readonly id: {
+                readonly type: "string";
+                readonly description: "고유 체크포인트 ID (생략 시 자동 생성)";
+            };
+            readonly sessionId: {
+                readonly type: "string";
+                readonly description: "프로젝트 또는 세션 식별자 (예: synapse-kit)";
+            };
+            readonly title: {
+                readonly type: "string";
+                readonly description: "현재 컨텍스트 스냅샷 요약 제목";
+            };
+            readonly goal: {
+                readonly type: "string";
+                readonly description: "현재 달성 중인 핵심 목표";
+            };
+            readonly completedSteps: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "이번 세션까지 완료된 핵심 작업 목록";
+            };
+            readonly pendingTasks: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "다음 채팅/세션에서 바로 이어서 진행할 할 일 목록";
+            };
+            readonly keyDecisions: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "핵심 설계 결정 및 아키텍처 주의사항";
+            };
+            readonly activeFiles: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "집중 작업 중인 파일 경로 목록";
+            };
+            readonly artifacts: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "관련 아티팩트 또는 마스터 설계 문서 경로 목록";
+            };
+            readonly cwd: {
+                readonly type: "string";
+                readonly description: "작업 디렉터리 경로";
+            };
+        };
+    };
+}, {
+    readonly name: "load_context_checkpoint";
+    readonly description: "저장된 컨텍스트 체크포인트 스냅샷(최신 또는 특정 ID/세션)을 0ms 만에 복원하여 새 채팅창에서 이전 작업을 즉시 이어갑니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {
+            readonly id: {
+                readonly type: "string";
+                readonly description: "복원할 체크포인트 ID, 제목 키워드, 또는 'latest' (기본값: 'latest')";
+            };
+            readonly sessionId: {
+                readonly type: "string";
+                readonly description: "특정 세션/프로젝트의 최신 스냅샷만 필터링할 경우 지정";
+            };
+            readonly compact: {
+                readonly type: "boolean";
+                readonly description: "초소형 JSON 포맷으로 반환할지 여부";
+            };
+        };
+    };
+}, {
+    readonly name: "list_context_checkpoints";
+    readonly description: "저장된 모든 작업 컨텍스트 스냅샷(Checkpoint) 목록을 최신순으로 조회합니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {
+            readonly sessionId: {
+                readonly type: "string";
+                readonly description: "특정 세션/프로젝트 필터";
+            };
+            readonly limit: {
+                readonly type: "number";
+                readonly description: "조회할 최대 개수 (기본값: 20)";
+            };
+        };
+    };
+}, {
+    readonly name: "time_travel_causal_memory";
+    readonly description: "인과율 시계열(Time-Series) 엔진을 통해 시간 감쇠 가중치 계산, 체크포인트 간 변경 diff 분석, 특정 과거 시점으로의 리와인드, 세션 타임라인을 생성합니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["action"];
+        readonly properties: {
+            readonly action: {
+                readonly type: "string";
+                readonly enum: readonly ["diff", "rewind", "timeline", "decay"];
+                readonly description: "수행할 시계열 동작 (diff: 비교, rewind: 되돌리기, timeline: 타임라인, decay: 감쇠 계산)";
+            };
+            readonly fromId: {
+                readonly type: "string";
+                readonly description: "비교 기준 시작 체크포인트 ID (diff 전용)";
+            };
+            readonly toId: {
+                readonly type: "string";
+                readonly description: "비교 대상 목표 체크포인트 ID (diff 전용)";
+            };
+            readonly targetId: {
+                readonly type: "string";
+                readonly description: "리와인드 대상 체크포인트 ID (rewind 전용)";
+            };
+            readonly limit: {
+                readonly type: "number";
+                readonly description: "타임라인 조회 개수";
+            };
+        };
+    };
+}, {
+    readonly name: "scan_causal_graveyard";
+    readonly description: "부정적 기억 / 안티패턴 함정(Graveyard)을 실시간으로 스캔하여 실패를 유발했던 접근법인지 선제 검증하거나, 새로운 실패 가설을 등록합니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["action"];
+        readonly properties: {
+            readonly action: {
+                readonly type: "string";
+                readonly enum: readonly ["scan", "assert", "list"];
+                readonly description: "동작 (scan: 함정 검사, assert: 실패 가설 등록, list: 전체 목록)";
+            };
+            readonly files: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "수정 예정 파일 목록 (scan용)";
+            };
+            readonly keywords: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "의도/접근법 키워드 (scan용)";
+            };
+            readonly trapPattern: {
+                readonly type: "string";
+                readonly description: "실패 유발 패턴 이름 (assert용)";
+            };
+            readonly domain: {
+                readonly type: "string";
+                readonly description: "도메인 (assert용)";
+            };
+            readonly reason: {
+                readonly type: "string";
+                readonly description: "실패 원인 (assert용)";
+            };
+            readonly safeAlternative: {
+                readonly type: "string";
+                readonly description: "안전한 대안 (assert용)";
+            };
+            readonly severity: {
+                readonly type: "string";
+                readonly enum: readonly ["CRITICAL", "HIGH", "MEDIUM", "LOW"];
+                readonly description: "위험도";
+            };
+            readonly avoidFiles: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "금지 파일 패턴";
+            };
+        };
+    };
+}, {
+    readonly name: "branch_causal_context";
+    readonly description: "작업 맥락을 독립된 브랜치(Mental Fork)로 분기하거나, 검증 후 메인에 병합(Merge)하고, 실패한 실험은 폐기(Abandon)하여 Graveyard에 안티패턴으로 자동 이관합니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["action"];
+        readonly properties: {
+            readonly action: {
+                readonly type: "string";
+                readonly enum: readonly ["list", "create", "switch", "merge", "abandon"];
+                readonly description: "브랜치 동작 (list: 목록, create: 생성, switch: 전환, merge: 병합, abandon: 폐기 및 함정 등록)";
+            };
+            readonly name: {
+                readonly type: "string";
+                readonly description: "브랜치 이름";
+            };
+            readonly fromBranch: {
+                readonly type: "string";
+                readonly description: "분기 기준 부모 브랜치 (create용)";
+            };
+            readonly targetBranch: {
+                readonly type: "string";
+                readonly description: "병합 대상 브랜치 (merge용)";
+            };
+            readonly failureReason: {
+                readonly type: "string";
+                readonly description: "폐기 사유 (abandon용)";
+            };
+            readonly safeAlternative: {
+                readonly type: "string";
+                readonly description: "안전한 대안 (abandon용)";
+            };
+        };
+    };
+}, {
+    readonly name: "predict_blast_radius";
+    readonly description: "수정 대상 파일들을 기반으로 인과 그래프의 2~3단계 연쇄 파급 영향(Blast Radius)과 위험도(0~100)를 산출하고, 위반 방지를 위해 관련 불변식들을 사전 페치(prefetch)합니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly required: readonly ["files"];
+        readonly properties: {
+            readonly files: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "수정 대상 파일 목록";
+            };
+            readonly maxHops: {
+                readonly type: "number";
+                readonly description: "최대 파급 전파 단계 (기본값: 3)";
+            };
+        };
+    };
+}, {
+    readonly name: "synthesize_git_checkpoint";
+    readonly description: "Git 상태 및 diff를 분석하여 작업자의 의도(Goal, Completed Steps, Pending Tasks)를 자동 역합성(Reverse Synthesis)하고 원클릭 체크포인트를 저장합니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {
+            readonly cwd: {
+                readonly type: "string";
+                readonly description: "작업 디렉터리 경로";
+            };
+            readonly title: {
+                readonly type: "string";
+                readonly description: "사용자 지정 제목 (생략 시 자동 생성)";
+            };
+            readonly autoCheckpoint: {
+                readonly type: "boolean";
+                readonly description: "분석 후 체크포인트 즉시 저장 여부 (기본: true)";
+            };
+        };
+    };
+}, {
+    readonly name: "sync_obsidian_lens";
+    readonly description: "옵시디언(Obsidian) 볼트와 인과율 메모리(규칙, 함정, 스냅샷, 타임라인, 캔버스 다이어그램)를 완벽하게 양방향 동기화(Sync)합니다.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {
+            readonly action: {
+                readonly type: "string";
+                readonly enum: readonly ["export", "import", "sync"];
+                readonly description: "동작 (export: 마크다운/캔버스 내보내기, import: 마크다운 읽어오기, sync: 양방향 동기화)";
+            };
+            readonly vaultPath: {
+                readonly type: "string";
+                readonly description: "옵시디언 볼트 루트 경로 (생략 시 기본 환경변수/OS 경로 사용)";
+            };
+        };
+    };
+}];
+/**
+ * MCP JSON-RPC 2.0 요청 통합 처리기 (HTTP 데몬 및 Stdio 서버 공용)
+ */
+export declare function handleMcpJsonRpcRequest(rpc: JsonRpcRequest, store: CausalMemoryStore, dbPath?: string, contextDbPath?: string): Promise<Record<string, any> | null>;
+/**
+ * 인과율 메모리 독립 로컬 서버 (Causal Memory HTTP & MCP Daemon)
+ */
+export declare function startCausalServer(options?: ServerOptions): Bun.Server<undefined>;
+/**
+ * MCP 표준 입출력(stdio) 서버 모드
+ * Antigravity / Claude Code 등의 MCP 호스트가 프로세스를 직접 스폰하여 통신할 때 동작합니다.
+ * 원격 데몬 URL(Tailscale 피어 등) 또는 로컬 데몬(4242 포트)이 지정/실행 중이면 데몬으로 프록시하고,
+ * 꺼져 있으면 인메모리 스토어로 즉시 안전하게 응답합니다.
+ */
+export declare function startCausalMcpStdioServer(dbPath?: string, remoteUrl?: string): Promise<void>;