synapse-causal-memory 0.2.3 → 0.3.0

package/dist/causal-server.d.ts

@@ -3,6 +3,7 @@ export interface ServerOptions {
     readonly port?: number;
     readonly host?: string;
     readonly dbPath?: string;
+    readonly contextDbPath?: string;
 }
 export interface JsonRpcRequest {
     readonly jsonrpc?: string;
@@ -282,11 +283,288 @@ export declare const CAUSAL_MCP_TOOLS: readonly [{
             };
         };
     };
+}, {
+    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): Promise<Record<string, any> | null>;
+export declare function handleMcpJsonRpcRequest(rpc: JsonRpcRequest, store: CausalMemoryStore, dbPath?: string, contextDbPath?: string): Promise<Record<string, any> | null>;
 /**
  * 인과율 메모리 독립 로컬 서버 (Causal Memory HTTP & MCP Daemon)
  */

package/dist/causal-store.d.ts

@@ -14,6 +14,7 @@ export interface CausalRelation {
     readonly from: string;
     readonly to: string;
     readonly relationType: string;
+    readonly relation?: string;
 }
 /**
  * 인과율 규칙(Node) 규격
@@ -28,6 +29,12 @@ export interface CausalRule {
     readonly actions: readonly string[];
     readonly context: readonly string[];
     readonly lastVerified?: string;
+    readonly name?: string;
+    readonly confidence?: number;
+    readonly weight?: number;
+    readonly updatedAt?: string;
+    readonly description?: string;
+    readonly pattern?: string;
 }
 /**
  * 인과율 메모리 데이터베이스 규격

package/dist/causal-synthesizer.d.ts

@@ -0,0 +1,96 @@
+import { ContextCheckpointStore, type ContextCheckpoint } from './causal-context';
+import { CausalMemoryStore } from './causal-store';
+/**
+ * Git 변경 사항 상세 통계 규격
+ */
+export interface GitChangeStats {
+    readonly insertions: number;
+    readonly deletions: number;
+    readonly filesChanged: number;
+}
+/**
+ * Git 변경 코드에서 추출된 주요 심볼 메타데이터 규격
+ */
+export interface ExtractedCodeSymbols {
+    readonly functions: readonly string[];
+    readonly classes: readonly string[];
+    readonly interfaces: readonly string[];
+    readonly types: readonly string[];
+}
+/**
+ * 작업 트리의 변경 사항 요약 규격
+ */
+export interface GitChangeSummary {
+    readonly cwd: string;
+    readonly branch?: string;
+    readonly commit?: string;
+    readonly modifiedFiles: readonly string[];
+    readonly addedFiles: readonly string[];
+    readonly deletedFiles: readonly string[];
+    readonly untrackedFiles: readonly string[];
+    readonly allActiveFiles: readonly string[];
+    readonly stats: GitChangeStats;
+    readonly extractedSymbols: ExtractedCodeSymbols;
+    readonly detectedDomains: readonly string[];
+}
+/**
+ * 역합성된 의도 및 진행 상태 규격
+ */
+export interface SynthesizedIntent {
+    readonly title: string;
+    readonly goal: string;
+    readonly completedSteps: readonly string[];
+    readonly pendingTasks: readonly string[];
+    readonly keyDecisions: readonly string[];
+    readonly activeInvariants: readonly string[];
+    readonly suggestedKeywords: readonly string[];
+}
+/**
+ * 자동 체크포인트 생성 옵션
+ */
+export interface AutoCheckpointOptions {
+    readonly title?: string;
+    readonly goal?: string;
+    readonly extraCompletedSteps?: readonly string[];
+    readonly extraPendingTasks?: readonly string[];
+    readonly extraKeyDecisions?: readonly string[];
+    readonly extraInvariants?: readonly string[];
+    readonly customMeta?: Record<string, unknown>;
+    readonly autoResonance?: boolean;
+}
+/**
+ * Git 커밋 및 diff 기반으로 작업자의 의도와 상태를 역합성하는 인과율 엔진 클래스 (SRP 준수)
+ */
+export declare class CausalSynthesizerEngine {
+    private readonly contextStore;
+    private readonly memoryStore;
+    constructor(contextStore?: ContextCheckpointStore, memoryStore?: CausalMemoryStore);
+    /**
+     * 지정된 작업 디렉터리의 Git 상태와 diff를 분석하여 변경 내역 요약 생성
+     */
+    inspectGitChanges(cwd?: string): Promise<GitChangeSummary>;
+    /**
+     * Git 통계 파싱 (git diff --stat)
+     */
+    private parseGitStats;
+    /**
+     * git diff로부터 변경된 함수, 클래스, 타입 심볼을 추출
+     */
+    private extractSymbolsFromDiff;
+    /**
+     * 파일 경로 기반 도메인 분류
+     */
+    private detectDomainsFromFiles;
+    /**
+     * Git 미설치 또는 Git 저장소가 아닌 경우의 폴백 파일시스템 스캔
+     */
+    private fallbackFilesystemScan;
+    /**
+     * 변경 사항 분석 결과를 기반으로 작업 의도 및 컨텍스트를 자동 역합성(Reverse Synthesis)
+     */
+    synthesizeIntent(summary: GitChangeSummary, customTitle?: string): SynthesizedIntent;
+    /**
+     * 원클릭 자동 체크포인트 생성 (Git diff 분석 ➔ 역합성 ➔ 스냅샷 저장)
+     */
+    autoCheckpoint(cwd?: string, options?: AutoCheckpointOptions): Promise<ContextCheckpoint>;
+}

package/dist/causal-timeseries.d.ts

@@ -0,0 +1,92 @@
+import { ContextCheckpointStore, type ContextCheckpoint } from './causal-context';
+/**
+ * 시계열 이벤트 레코드 규격
+ */
+export interface TimelineEvent {
+    readonly id: string;
+    readonly timestamp: string;
+    readonly timestampMs: number;
+    readonly type: 'checkpoint' | 'rule_added' | 'rule_updated' | 'branch_merged' | 'trap_recorded';
+    readonly sessionId: string;
+    readonly title: string;
+    readonly summary: string;
+    readonly tags: readonly string[];
+    readonly checkpointId?: string;
+}
+/**
+ * 두 체크포인트 간의 시계열 차분(Diff) 결과 규격
+ */
+export interface CheckpointDiffResult {
+    readonly fromId?: string;
+    readonly toId?: string;
+    readonly fromCheckpointId: string;
+    readonly toCheckpointId: string;
+    readonly fromTimestamp: string;
+    readonly toTimestamp: string;
+    readonly timeDeltaHours: number;
+    readonly newlyCompletedSteps?: readonly string[];
+    readonly resolvedPendingTasks?: readonly string[];
+    readonly addedModifiedFiles?: readonly string[];
+    readonly addedPendingTasks: readonly string[];
+    readonly resolvedTasks: readonly string[];
+    readonly newCompletedSteps: readonly string[];
+    readonly newDecisions: readonly string[];
+    readonly modifiedFilesDelta: {
+        readonly added: readonly string[];
+        readonly removed: readonly string[];
+        readonly retained: readonly string[];
+    };
+    readonly activeInvariantsDelta: {
+        readonly added: readonly string[];
+        readonly removed: readonly string[];
+    };
+}
+/**
+ * 시계열 감쇠 가중치 계산기 및 타임라인 분석기 클래스 (SRP 준수)
+ */
+export declare class CausalTimeSeriesEngine {
+    private readonly contextStore;
+    constructor(contextStore?: ContextCheckpointStore, _memoryStore?: unknown);
+    /**
+     * 시계열 감쇠 지수 가중치 산출 (시간 경과 감쇠 + 빈도 가산)
+     * Score = BaseScore * exp(-lambda * deltaHours) + alpha * ln(1 + hitCount)
+     */
+    static calculateTemporalDecayScore(options: {
+        baseScore?: number;
+        lastActiveMs: number;
+        nowMs?: number;
+        halfLifeHours?: number;
+        hitCount?: number;
+    }): number;
+    /**
+     * 공명 인과 규칙들에 시계열 시간 감쇠 가중치 계산 반영
+     */
+    computeDecayedResonance<T extends {
+        updatedAt?: string;
+        confidence?: number;
+        weight?: number;
+    }>(rules: readonly T[]): Array<T & {
+        decayScore: number;
+    }>;
+    /**
+     * 특정 세션 또는 전체 작업의 시계열 타임라인 궤적 생성
+     */
+    generateTimeline(options?: number | {
+        sessionId?: string;
+        sinceMs?: number;
+        limit?: number;
+    }): TimelineEvent[];
+    /**
+     * 두 체크포인트 간의 차분(Diff) 계산
+     */
+    diffCheckpoints(fromId: string, toId: string): CheckpointDiffResult;
+    /**
+     * 특정 시점으로 컨텍스트 되감기(Rewind)
+     * 지정한 체크포인트를 최신 체크포인트로 재발행(Clone)하여 안전하게 되돌림
+     */
+    rewindToCheckpoint(targetIdOrTag: string): Promise<ContextCheckpoint>;
+    /**
+     * 시계열 차분 결과 마크다운 렌더러
+     */
+    static formatDiffReport(diff: CheckpointDiffResult): string;
+}