@manifesto-ai/core 0.2.0

package/dist/dag/graph.js

@@ -0,0 +1,244 @@
+import { extractPaths } from '../expression/parser.js';
+/**
+ * 도메인에서 의존성 그래프 구축
+ */
+export function buildDependencyGraph(domain) {
+    const nodes = new Map();
+    const dependencies = new Map();
+    const dependents = new Map();
+    // 1. Source 노드 추가
+    for (const [path, definition] of Object.entries(domain.paths.sources)) {
+        nodes.set(path, { kind: 'source', path, definition });
+        dependencies.set(path, new Set());
+        if (!dependents.has(path)) {
+            dependents.set(path, new Set());
+        }
+    }
+    // 2. Derived 노드 추가
+    for (const [path, definition] of Object.entries(domain.paths.derived)) {
+        nodes.set(path, { kind: 'derived', path, definition });
+        // Expression에서 의존성 추출
+        const deps = new Set(definition.deps);
+        const exprDeps = extractPaths(definition.expr);
+        for (const dep of exprDeps) {
+            if (!dep.startsWith('$')) {
+                deps.add(dep);
+            }
+        }
+        dependencies.set(path, deps);
+        // 역방향 엣지 추가
+        for (const dep of deps) {
+            if (!dependents.has(dep)) {
+                dependents.set(dep, new Set());
+            }
+            dependents.get(dep).add(path);
+        }
+        if (!dependents.has(path)) {
+            dependents.set(path, new Set());
+        }
+    }
+    // 3. Async 노드 추가
+    for (const [path, definition] of Object.entries(domain.paths.async)) {
+        nodes.set(path, { kind: 'async', path, definition });
+        // Async의 의존성
+        const deps = new Set(definition.deps);
+        if (definition.condition) {
+            const condDeps = extractPaths(definition.condition);
+            for (const dep of condDeps) {
+                if (!dep.startsWith('$')) {
+                    deps.add(dep);
+                }
+            }
+        }
+        dependencies.set(path, deps);
+        // 역방향 엣지 추가
+        for (const dep of deps) {
+            if (!dependents.has(dep)) {
+                dependents.set(dep, new Set());
+            }
+            dependents.get(dep).add(path);
+        }
+        // result, loading, error 경로도 노드로 등록 (source처럼 취급)
+        for (const statePath of [
+            definition.resultPath,
+            definition.loadingPath,
+            definition.errorPath,
+        ]) {
+            if (!nodes.has(statePath)) {
+                // Async 결과 경로는 특별한 source로 취급
+                dependencies.set(statePath, new Set([path]));
+                if (!dependents.has(statePath)) {
+                    dependents.set(statePath, new Set());
+                }
+                dependents.get(path).add(statePath);
+            }
+        }
+        if (!dependents.has(path)) {
+            dependents.set(path, new Set());
+        }
+    }
+    // 4. 위상 정렬
+    const topologicalOrder = topologicalSort(nodes, dependencies);
+    return {
+        nodes,
+        dependencies,
+        dependents,
+        topologicalOrder,
+    };
+}
+/**
+ * 위상 정렬 (Kahn's algorithm)
+ */
+function topologicalSort(nodes, dependencies) {
+    const inDegree = new Map();
+    const result = [];
+    // 진입 차수 계산
+    for (const path of nodes.keys()) {
+        inDegree.set(path, 0);
+    }
+    for (const [path, deps] of dependencies) {
+        for (const dep of deps) {
+            if (nodes.has(dep)) {
+                inDegree.set(path, (inDegree.get(path) ?? 0) + 1);
+            }
+        }
+    }
+    // 진입 차수가 0인 노드들로 시작
+    const queue = [];
+    for (const [path, degree] of inDegree) {
+        if (degree === 0) {
+            queue.push(path);
+        }
+    }
+    while (queue.length > 0) {
+        const current = queue.shift();
+        result.push(current);
+        // 현재 노드를 의존하는 노드들의 진입 차수 감소
+        for (const [path, deps] of dependencies) {
+            if (deps.has(current)) {
+                const newDegree = (inDegree.get(path) ?? 0) - 1;
+                inDegree.set(path, newDegree);
+                if (newDegree === 0) {
+                    queue.push(path);
+                }
+            }
+        }
+    }
+    return result;
+}
+/**
+ * 특정 경로의 직접 의존성 조회
+ */
+export function getDirectDependencies(graph, path) {
+    return [...(graph.dependencies.get(path) ?? [])];
+}
+/**
+ * 특정 경로를 직접 의존하는 경로들 조회
+ */
+export function getDirectDependents(graph, path) {
+    return [...(graph.dependents.get(path) ?? [])];
+}
+/**
+ * 특정 경로의 모든 의존성 조회 (전이적)
+ */
+export function getAllDependencies(graph, path) {
+    const result = new Set();
+    const visited = new Set();
+    function traverse(current) {
+        if (visited.has(current))
+            return;
+        visited.add(current);
+        const deps = graph.dependencies.get(current);
+        if (deps) {
+            for (const dep of deps) {
+                result.add(dep);
+                traverse(dep);
+            }
+        }
+    }
+    traverse(path);
+    return [...result];
+}
+/**
+ * 특정 경로를 의존하는 모든 경로 조회 (전이적)
+ */
+export function getAllDependents(graph, path) {
+    const result = new Set();
+    const visited = new Set();
+    function traverse(current) {
+        if (visited.has(current))
+            return;
+        visited.add(current);
+        const deps = graph.dependents.get(current);
+        if (deps) {
+            for (const dep of deps) {
+                result.add(dep);
+                traverse(dep);
+            }
+        }
+    }
+    traverse(path);
+    return [...result];
+}
+/**
+ * 순환 의존성이 있는지 확인
+ */
+export function hasCycle(graph) {
+    const visited = new Set();
+    const recursionStack = new Set();
+    function dfs(path) {
+        visited.add(path);
+        recursionStack.add(path);
+        const deps = graph.dependencies.get(path);
+        if (deps) {
+            for (const dep of deps) {
+                if (!visited.has(dep)) {
+                    if (dfs(dep))
+                        return true;
+                }
+                else if (recursionStack.has(dep)) {
+                    return true;
+                }
+            }
+        }
+        recursionStack.delete(path);
+        return false;
+    }
+    for (const path of graph.nodes.keys()) {
+        if (!visited.has(path)) {
+            if (dfs(path))
+                return true;
+        }
+    }
+    return false;
+}
+/**
+ * 두 경로 사이의 경로 찾기 (BFS)
+ */
+export function findPath(graph, from, to) {
+    if (from === to)
+        return [from];
+    const visited = new Set();
+    const queue = [
+        { path: from, trail: [from] },
+    ];
+    while (queue.length > 0) {
+        const { path, trail } = queue.shift();
+        if (visited.has(path))
+            continue;
+        visited.add(path);
+        const deps = graph.dependents.get(path);
+        if (deps) {
+            for (const dep of deps) {
+                if (dep === to) {
+                    return [...trail, dep];
+                }
+                if (!visited.has(dep)) {
+                    queue.push({ path: dep, trail: [...trail, dep] });
+                }
+            }
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=graph.js.map

package/dist/dag/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../src/dag/graph.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AA0CvD;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAsC;IAEtC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC/C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAmC,CAAC;IAChE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmC,CAAC;IAE9D,kBAAkB;IAClB,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACtE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACtD,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAClC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACtE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAEvD,sBAAsB;QACtB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAe,UAAU,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC/C,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;QAED,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAE7B,YAAY;QACZ,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YACjC,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACpE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAErD,aAAa;QACb,MAAM,IAAI,GAAG,IAAI,GAAG,CAAe,UAAU,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YACpD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;gBAC3B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBACzB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QAED,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAE7B,YAAY;QACZ,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YACjC,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QAED,kDAAkD;QAClD,KAAK,MAAM,SAAS,IAAI;YACtB,UAAU,CAAC,UAAU;YACrB,UAAU,CAAC,WAAW;YACtB,UAAU,CAAC,SAAS;SACrB,EAAE,CAAC;YACF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC1B,8BAA8B;gBAC9B,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC7C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC/B,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACvC,CAAC;gBACD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,WAAW;IACX,MAAM,gBAAgB,GAAG,eAAe,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAE9D,OAAO;QACL,KAAK;QACL,YAAY;QACZ,UAAU;QACV,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CACtB,KAAiC,EACjC,YAAkD;IAElD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACjD,MAAM,MAAM,GAAmB,EAAE,CAAC;IAElC,WAAW;IACX,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAChC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,YAAY,EAAE,CAAC;QACxC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACtC,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAErB,4BAA4B;QAC5B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,YAAY,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtB,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAChD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC9B,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;oBACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAsB,EACtB,IAAkB;IAElB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACnD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,KAAsB,EACtB,IAAkB;IAElB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACjD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAsB,EACtB,IAAkB;IAElB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;IAExC,SAAS,QAAQ,CAAC,OAAqB;QACrC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO;QACjC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAErB,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChB,QAAQ,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,CAAC;IACf,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAsB,EACtB,IAAkB;IAElB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;IAExC,SAAS,QAAQ,CAAC,OAAqB;QACrC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO;QACjC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAErB,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChB,QAAQ,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,CAAC;IACf,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAsB;IAC7C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;IACxC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAgB,CAAC;IAE/C,SAAS,GAAG,CAAC,IAAkB;QAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACtB,IAAI,GAAG,CAAC,GAAG,CAAC;wBAAE,OAAO,IAAI,CAAC;gBAC5B,CAAC;qBAAM,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnC,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,IAAI,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CACtB,KAAsB,EACtB,IAAkB,EAClB,EAAgB;IAEhB,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAE/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;IACxC,MAAM,KAAK,GAAoD;QAC7D,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE;KAC9B,CAAC;IAEF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAEvC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;oBACf,OAAO,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC;gBACzB,CAAC;gBACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACtB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/dag/index.d.ts

@@ -0,0 +1,4 @@
+export * from './graph.js';
+export * from './topological.js';
+export * from './propagation.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/dag/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/dag/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC"}

package/dist/dag/index.js

@@ -0,0 +1,4 @@
+export * from './graph.js';
+export * from './topological.js';
+export * from './propagation.js';
+//# sourceMappingURL=index.js.map

package/dist/dag/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/dag/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC"}

package/dist/dag/propagation.d.ts

@@ -0,0 +1,58 @@
+import type { SemanticPath } from '../domain/types.js';
+import type { DependencyGraph, DagNode } from './graph.js';
+import type { Effect } from '../effect/types.js';
+/**
+ * 전파 결과
+ */
+export type PropagationResult = {
+    /** 변경된 경로와 새 값 */
+    changes: Map<SemanticPath, unknown>;
+    /** 트리거된 Async Effect들 */
+    pendingEffects: Array<{
+        path: SemanticPath;
+        effect: Effect;
+    }>;
+    /** 발생한 오류들 */
+    errors: Array<{
+        path: SemanticPath;
+        error: string;
+    }>;
+};
+/**
+ * 스냅샷 인터페이스
+ */
+export type SnapshotLike = {
+    get: (path: SemanticPath) => unknown;
+    set: (path: SemanticPath, value: unknown) => void;
+};
+/**
+ * 변경 전파
+ */
+export declare function propagate(graph: DependencyGraph, changedPaths: SemanticPath[], snapshot: SnapshotLike): PropagationResult;
+/**
+ * Async Effect 완료 후 결과 전파
+ */
+export declare function propagateAsyncResult(graph: DependencyGraph, asyncPath: SemanticPath, result: {
+    ok: true;
+    value: unknown;
+} | {
+    ok: false;
+    error: string;
+}, snapshot: SnapshotLike): PropagationResult;
+/**
+ * 특정 경로 변경 시 영향 분석
+ */
+export declare function analyzeImpact(graph: DependencyGraph, path: SemanticPath): {
+    affectedPaths: SemanticPath[];
+    affectedNodes: DagNode[];
+    asyncTriggers: SemanticPath[];
+};
+/**
+ * 디바운스된 전파를 위한 유틸리티
+ */
+export declare function createDebouncedPropagator(graph: DependencyGraph, snapshot: SnapshotLike, debounceMs: number): {
+    queue: (paths: SemanticPath[]) => void;
+    flush: () => PropagationResult;
+    cancel: () => void;
+};
+//# sourceMappingURL=propagation.d.ts.map

package/dist/dag/propagation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propagation.d.ts","sourceRoot":"","sources":["../../src/dag/propagation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAKjD;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,kBAAkB;IAClB,OAAO,EAAE,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAEpC,yBAAyB;IACzB,cAAc,EAAE,KAAK,CAAC;QACpB,IAAI,EAAE,YAAY,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC,CAAC;IAEH,cAAc;IACd,MAAM,EAAE,KAAK,CAAC;QACZ,IAAI,EAAE,YAAY,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC,CAAC;CACJ,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,GAAG,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,OAAO,CAAC;IACrC,GAAG,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;CACnD,CAAC;AAEF;;GAEG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,YAAY,EAAE,EAC5B,QAAQ,EAAE,YAAY,GACrB,iBAAiB,CAkFnB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,eAAe,EACtB,SAAS,EAAE,YAAY,EACvB,MAAM,EAAE;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EACnE,QAAQ,EAAE,YAAY,GACrB,iBAAiB,CAwCnB;AAED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,eAAe,EACtB,IAAI,EAAE,YAAY,GACjB;IACD,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,aAAa,EAAE,OAAO,EAAE,CAAC;IACzB,aAAa,EAAE,YAAY,EAAE,CAAC;CAC/B,CAoBA;AAuCD;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,eAAe,EACtB,QAAQ,EAAE,YAAY,EACtB,UAAU,EAAE,MAAM,GACjB;IACD,KAAK,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,IAAI,CAAC;IACvC,KAAK,EAAE,MAAM,iBAAiB,CAAC;IAC/B,MAAM,EAAE,MAAM,IAAI,CAAC;CACpB,CA+CA"}

package/dist/dag/propagation.js

@@ -0,0 +1,224 @@
+import { evaluate } from '../expression/evaluator.js';
+import { getAffectedOrder } from './topological.js';
+/**
+ * 변경 전파
+ */
+export function propagate(graph, changedPaths, snapshot) {
+    const changes = new Map();
+    const pendingEffects = [];
+    const errors = [];
+    // 영향받는 경로들을 위상 정렬 순서로 가져옴
+    const affectedOrder = getAffectedOrder(graph, changedPaths);
+    // 평가 컨텍스트 생성
+    const ctx = {
+        get: (path) => {
+            // 이미 변경된 값이 있으면 그것을 반환
+            if (changes.has(path)) {
+                return changes.get(path);
+            }
+            return snapshot.get(path);
+        },
+    };
+    // 순서대로 재계산
+    for (const path of affectedOrder) {
+        const node = graph.nodes.get(path);
+        if (!node)
+            continue;
+        try {
+            switch (node.kind) {
+                case 'source':
+                    // Source는 외부 입력이므로 여기서 계산하지 않음
+                    // 하지만 변경된 경로에 포함되어 있으면 changes에 기록
+                    if (changedPaths.includes(path)) {
+                        changes.set(path, snapshot.get(path));
+                    }
+                    break;
+                case 'derived':
+                    // Expression 평가
+                    const derivedResult = evaluate(node.definition.expr, ctx);
+                    if (derivedResult.ok) {
+                        const oldValue = snapshot.get(path);
+                        const newValue = derivedResult.value;
+                        if (!deepEqual(oldValue, newValue)) {
+                            changes.set(path, newValue);
+                            snapshot.set(path, newValue);
+                        }
+                    }
+                    else {
+                        errors.push({ path, error: derivedResult.error });
+                    }
+                    break;
+                case 'async':
+                    // 조건 평가
+                    let shouldTrigger = true;
+                    if (node.definition.condition) {
+                        const condResult = evaluate(node.definition.condition, ctx);
+                        if (condResult.ok) {
+                            shouldTrigger = Boolean(condResult.value);
+                        }
+                        else {
+                            errors.push({ path, error: condResult.error });
+                            shouldTrigger = false;
+                        }
+                    }
+                    if (shouldTrigger) {
+                        pendingEffects.push({
+                            path,
+                            effect: node.definition.effect,
+                        });
+                        // 로딩 상태 업데이트
+                        changes.set(node.definition.loadingPath, true);
+                        snapshot.set(node.definition.loadingPath, true);
+                    }
+                    break;
+            }
+        }
+        catch (e) {
+            errors.push({
+                path,
+                error: e instanceof Error ? e.message : String(e),
+            });
+        }
+    }
+    return { changes, pendingEffects, errors };
+}
+/**
+ * Async Effect 완료 후 결과 전파
+ */
+export function propagateAsyncResult(graph, asyncPath, result, snapshot) {
+    const node = graph.nodes.get(asyncPath);
+    if (!node || node.kind !== 'async') {
+        return { changes: new Map(), pendingEffects: [], errors: [] };
+    }
+    const changes = new Map();
+    const definition = node.definition;
+    // 로딩 상태 해제
+    changes.set(definition.loadingPath, false);
+    snapshot.set(definition.loadingPath, false);
+    if (result.ok) {
+        // 결과 저장
+        changes.set(definition.resultPath, result.value);
+        snapshot.set(definition.resultPath, result.value);
+        // 에러 클리어
+        changes.set(definition.errorPath, null);
+        snapshot.set(definition.errorPath, null);
+    }
+    else {
+        // 에러 저장
+        changes.set(definition.errorPath, result.error);
+        snapshot.set(definition.errorPath, result.error);
+    }
+    // 결과로 인한 추가 전파
+    const resultPaths = [definition.resultPath, definition.loadingPath, definition.errorPath];
+    const furtherPropagation = propagate(graph, resultPaths, snapshot);
+    // 병합
+    for (const [path, value] of furtherPropagation.changes) {
+        changes.set(path, value);
+    }
+    return {
+        changes,
+        pendingEffects: furtherPropagation.pendingEffects,
+        errors: furtherPropagation.errors,
+    };
+}
+/**
+ * 특정 경로 변경 시 영향 분석
+ */
+export function analyzeImpact(graph, path) {
+    const affectedOrder = getAffectedOrder(graph, [path]);
+    const affectedNodes = [];
+    const asyncTriggers = [];
+    for (const affectedPath of affectedOrder) {
+        const node = graph.nodes.get(affectedPath);
+        if (node) {
+            affectedNodes.push(node);
+            if (node.kind === 'async') {
+                asyncTriggers.push(affectedPath);
+            }
+        }
+    }
+    return {
+        affectedPaths: affectedOrder,
+        affectedNodes,
+        asyncTriggers,
+    };
+}
+/**
+ * 깊은 동등성 비교 (간단한 구현)
+ */
+function deepEqual(a, b) {
+    if (a === b)
+        return true;
+    if (a === null || b === null)
+        return a === b;
+    if (typeof a !== typeof b)
+        return false;
+    if (typeof a !== 'object')
+        return a === b;
+    if (Array.isArray(a) && Array.isArray(b)) {
+        if (a.length !== b.length)
+            return false;
+        for (let i = 0; i < a.length; i++) {
+            if (!deepEqual(a[i], b[i]))
+                return false;
+        }
+        return true;
+    }
+    if (Array.isArray(a) || Array.isArray(b))
+        return false;
+    const aKeys = Object.keys(a);
+    const bKeys = Object.keys(b);
+    if (aKeys.length !== bKeys.length)
+        return false;
+    for (const key of aKeys) {
+        if (!deepEqual(a[key], b[key])) {
+            return false;
+        }
+    }
+    return true;
+}
+/**
+ * 디바운스된 전파를 위한 유틸리티
+ */
+export function createDebouncedPropagator(graph, snapshot, debounceMs) {
+    let pendingPaths = new Set();
+    let timeoutId = null;
+    let lastResult = {
+        changes: new Map(),
+        pendingEffects: [],
+        errors: [],
+    };
+    return {
+        queue(paths) {
+            for (const path of paths) {
+                pendingPaths.add(path);
+            }
+            if (timeoutId) {
+                clearTimeout(timeoutId);
+            }
+            timeoutId = setTimeout(() => {
+                this.flush();
+            }, debounceMs);
+        },
+        flush() {
+            if (timeoutId) {
+                clearTimeout(timeoutId);
+                timeoutId = null;
+            }
+            if (pendingPaths.size === 0) {
+                return lastResult;
+            }
+            lastResult = propagate(graph, [...pendingPaths], snapshot);
+            pendingPaths = new Set();
+            return lastResult;
+        },
+        cancel() {
+            if (timeoutId) {
+                clearTimeout(timeoutId);
+                timeoutId = null;
+            }
+            pendingPaths = new Set();
+        },
+    };
+}
+//# sourceMappingURL=propagation.js.map

package/dist/dag/propagation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propagation.js","sourceRoot":"","sources":["../../src/dag/propagation.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AA8BpD;;GAEG;AACH,MAAM,UAAU,SAAS,CACvB,KAAsB,EACtB,YAA4B,EAC5B,QAAsB;IAEtB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,cAAc,GAAwC,EAAE,CAAC;IAC/D,MAAM,MAAM,GAAgC,EAAE,CAAC;IAE/C,0BAA0B;IAC1B,MAAM,aAAa,GAAG,gBAAgB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAE5D,aAAa;IACb,MAAM,GAAG,GAAsB;QAC7B,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;YACZ,uBAAuB;YACvB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;YACD,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;KACF,CAAC;IAEF,WAAW;IACX,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,IAAI,CAAC;YACH,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ;oBACX,+BAA+B;oBAC/B,mCAAmC;oBACnC,IAAI,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;wBAChC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;oBACxC,CAAC;oBACD,MAAM;gBAER,KAAK,SAAS;oBACZ,gBAAgB;oBAChB,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBAC1D,IAAI,aAAa,CAAC,EAAE,EAAE,CAAC;wBACrB,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;wBACpC,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC;wBACrC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;4BACnC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;4BAC5B,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;wBAC/B,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC;oBACpD,CAAC;oBACD,MAAM;gBAER,KAAK,OAAO;oBACV,QAAQ;oBACR,IAAI,aAAa,GAAG,IAAI,CAAC;oBACzB,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;wBAC9B,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;wBAC5D,IAAI,UAAU,CAAC,EAAE,EAAE,CAAC;4BAClB,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;wBAC5C,CAAC;6BAAM,CAAC;4BACN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;4BAC/C,aAAa,GAAG,KAAK,CAAC;wBACxB,CAAC;oBACH,CAAC;oBAED,IAAI,aAAa,EAAE,CAAC;wBAClB,cAAc,CAAC,IAAI,CAAC;4BAClB,IAAI;4BACJ,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM;yBAC/B,CAAC,CAAC;wBACH,aAAa;wBACb,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;wBAC/C,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;oBAClD,CAAC;oBACD,MAAM;YACV,CAAC;QACH,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;aAClD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC;AAC7C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAsB,EACtB,SAAuB,EACvB,MAAmE,EACnE,QAAsB;IAEtB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACnC,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAChE,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IAEnC,WAAW;IACX,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC3C,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAE5C,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,QAAQ;QACR,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACjD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAClD,SAAS;QACT,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACxC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;SAAM,CAAC;QACN,QAAQ;QACR,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAChD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC;IAED,eAAe;IACf,MAAM,WAAW,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,WAAW,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC;IAC1F,MAAM,kBAAkB,GAAG,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;IAEnE,KAAK;IACL,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,kBAAkB,CAAC,OAAO,EAAE,CAAC;QACvD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO;QACL,OAAO;QACP,cAAc,EAAE,kBAAkB,CAAC,cAAc;QACjD,MAAM,EAAE,kBAAkB,CAAC,MAAM;KAClC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAsB,EACtB,IAAkB;IAMlB,MAAM,aAAa,GAAG,gBAAgB,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,MAAM,aAAa,GAAc,EAAE,CAAC;IACpC,MAAM,aAAa,GAAmB,EAAE,CAAC;IAEzC,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC3C,IAAI,IAAI,EAAE,CAAC;YACT,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1B,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,aAAa,EAAE,aAAa;QAC5B,aAAa;QACb,aAAa;KACd,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;IACvC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAE1C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC3C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAEvD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAW,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAW,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAEhD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IACE,CAAC,SAAS,CACP,CAA6B,CAAC,GAAG,CAAC,EAClC,CAA6B,CAAC,GAAG,CAAC,CACpC,EACD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CACvC,KAAsB,EACtB,QAAsB,EACtB,UAAkB;IAMlB,IAAI,YAAY,GAAG,IAAI,GAAG,EAAgB,CAAC;IAC3C,IAAI,SAAS,GAAyC,IAAI,CAAC;IAC3D,IAAI,UAAU,GAAsB;QAClC,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,cAAc,EAAE,EAAE;QAClB,MAAM,EAAE,EAAE;KACX,CAAC;IAEF,OAAO;QACL,KAAK,CAAC,KAAqB;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;YAED,IAAI,SAAS,EAAE,CAAC;gBACd,YAAY,CAAC,SAAS,CAAC,CAAC;YAC1B,CAAC;YAED,SAAS,GAAG,UAAU,CAAC,GAAG,EAAE;gBAC1B,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,CAAC,EAAE,UAAU,CAAC,CAAC;QACjB,CAAC;QAED,KAAK;YACH,IAAI,SAAS,EAAE,CAAC;gBACd,YAAY,CAAC,SAAS,CAAC,CAAC;gBACxB,SAAS,GAAG,IAAI,CAAC;YACnB,CAAC;YAED,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBAC5B,OAAO,UAAU,CAAC;YACpB,CAAC;YAED,UAAU,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC3D,YAAY,GAAG,IAAI,GAAG,EAAE,CAAC;YACzB,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,MAAM;YACJ,IAAI,SAAS,EAAE,CAAC;gBACd,YAAY,CAAC,SAAS,CAAC,CAAC;gBACxB,SAAS,GAAG,IAAI,CAAC;YACnB,CAAC;YACD,YAAY,GAAG,IAAI,GAAG,EAAE,CAAC;QAC3B,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/dag/topological.d.ts

@@ -0,0 +1,33 @@
+import type { SemanticPath } from '../domain/types.js';
+import type { DependencyGraph } from './graph.js';
+/**
+ * 위상 정렬 결과
+ */
+export type TopologicalSortResult = {
+    ok: true;
+    order: SemanticPath[];
+} | {
+    ok: false;
+    cycle: SemanticPath[];
+};
+/**
+ * 고급 위상 정렬 (순환 탐지 포함)
+ */
+export declare function topologicalSortWithCycleDetection(graph: DependencyGraph): TopologicalSortResult;
+/**
+ * 레벨별 정렬 (같은 레벨의 노드들은 병렬 처리 가능)
+ */
+export declare function getLevelOrder(graph: DependencyGraph): SemanticPath[][];
+/**
+ * 역방향 위상 정렬 (리프부터 루트로)
+ */
+export declare function reverseTopologicalSort(graph: DependencyGraph): SemanticPath[];
+/**
+ * 부분 그래프의 위상 정렬
+ */
+export declare function partialTopologicalSort(graph: DependencyGraph, paths: SemanticPath[]): SemanticPath[];
+/**
+ * 변경된 경로들의 영향을 받는 경로들의 위상 정렬된 순서
+ */
+export declare function getAffectedOrder(graph: DependencyGraph, changedPaths: SemanticPath[]): SemanticPath[];
+//# sourceMappingURL=topological.d.ts.map

package/dist/dag/topological.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"topological.d.ts","sourceRoot":"","sources":["../../src/dag/topological.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAC7B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,YAAY,EAAE,CAAA;CAAE,GACnC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,YAAY,EAAE,CAAA;CAAE,CAAC;AAEzC;;GAEG;AACH,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,eAAe,GACrB,qBAAqB,CAoDvB;AA0DD;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,eAAe,GAAG,YAAY,EAAE,EAAE,CAyCtE;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,eAAe,GAAG,YAAY,EAAE,CAE7E;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,eAAe,EACtB,KAAK,EAAE,YAAY,EAAE,GACpB,YAAY,EAAE,CAGhB;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,YAAY,EAAE,GAC3B,YAAY,EAAE,CAsBhB"}