@manifesto-ai/core 0.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +434 -0
- package/dist/dag/graph.d.ts +62 -0
- package/dist/dag/graph.d.ts.map +1 -0
- package/dist/dag/graph.js +244 -0
- package/dist/dag/graph.js.map +1 -0
- package/dist/dag/index.d.ts +4 -0
- package/dist/dag/index.d.ts.map +1 -0
- package/dist/dag/index.js +4 -0
- package/dist/dag/index.js.map +1 -0
- package/dist/dag/propagation.d.ts +58 -0
- package/dist/dag/propagation.d.ts.map +1 -0
- package/dist/dag/propagation.js +224 -0
- package/dist/dag/propagation.js.map +1 -0
- package/dist/dag/topological.d.ts +33 -0
- package/dist/dag/topological.d.ts.map +1 -0
- package/dist/dag/topological.js +173 -0
- package/dist/dag/topological.js.map +1 -0
- package/dist/domain/define.d.ts +82 -0
- package/dist/domain/define.d.ts.map +1 -0
- package/dist/domain/define.js +91 -0
- package/dist/domain/define.js.map +1 -0
- package/dist/domain/index.d.ts +4 -0
- package/dist/domain/index.d.ts.map +1 -0
- package/dist/domain/index.js +4 -0
- package/dist/domain/index.js.map +1 -0
- package/dist/domain/types.d.ts +203 -0
- package/dist/domain/types.d.ts.map +1 -0
- package/dist/domain/types.js +2 -0
- package/dist/domain/types.js.map +1 -0
- package/dist/domain/validate.d.ts +17 -0
- package/dist/domain/validate.d.ts.map +1 -0
- package/dist/domain/validate.js +204 -0
- package/dist/domain/validate.js.map +1 -0
- package/dist/effect/index.d.ts +4 -0
- package/dist/effect/index.d.ts.map +1 -0
- package/dist/effect/index.js +4 -0
- package/dist/effect/index.js.map +1 -0
- package/dist/effect/result.d.ts +100 -0
- package/dist/effect/result.d.ts.map +1 -0
- package/dist/effect/result.js +163 -0
- package/dist/effect/result.js.map +1 -0
- package/dist/effect/runner.d.ts +98 -0
- package/dist/effect/runner.d.ts.map +1 -0
- package/dist/effect/runner.js +321 -0
- package/dist/effect/runner.js.map +1 -0
- package/dist/effect/types.d.ts +169 -0
- package/dist/effect/types.d.ts.map +1 -0
- package/dist/effect/types.js +28 -0
- package/dist/effect/types.js.map +1 -0
- package/dist/expression/analyzer.d.ts +42 -0
- package/dist/expression/analyzer.d.ts.map +1 -0
- package/dist/expression/analyzer.js +166 -0
- package/dist/expression/analyzer.js.map +1 -0
- package/dist/expression/evaluator.d.ts +16 -0
- package/dist/expression/evaluator.d.ts.map +1 -0
- package/dist/expression/evaluator.js +382 -0
- package/dist/expression/evaluator.js.map +1 -0
- package/dist/expression/index.d.ts +5 -0
- package/dist/expression/index.d.ts.map +1 -0
- package/dist/expression/index.js +5 -0
- package/dist/expression/index.js.map +1 -0
- package/dist/expression/parser.d.ts +37 -0
- package/dist/expression/parser.d.ts.map +1 -0
- package/dist/expression/parser.js +201 -0
- package/dist/expression/parser.js.map +1 -0
- package/dist/expression/types.d.ts +123 -0
- package/dist/expression/types.d.ts.map +1 -0
- package/dist/expression/types.js +10 -0
- package/dist/expression/types.js.map +1 -0
- package/dist/index.d.ts +17 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +51 -0
- package/dist/index.js.map +1 -0
- package/dist/policy/field-policy.d.ts +63 -0
- package/dist/policy/field-policy.d.ts.map +1 -0
- package/dist/policy/field-policy.js +138 -0
- package/dist/policy/field-policy.js.map +1 -0
- package/dist/policy/index.d.ts +3 -0
- package/dist/policy/index.d.ts.map +1 -0
- package/dist/policy/index.js +3 -0
- package/dist/policy/index.js.map +1 -0
- package/dist/policy/precondition.d.ts +58 -0
- package/dist/policy/precondition.d.ts.map +1 -0
- package/dist/policy/precondition.js +115 -0
- package/dist/policy/precondition.js.map +1 -0
- package/dist/runtime/index.d.ts +4 -0
- package/dist/runtime/index.d.ts.map +1 -0
- package/dist/runtime/index.js +4 -0
- package/dist/runtime/index.js.map +1 -0
- package/dist/runtime/runtime.d.ts +94 -0
- package/dist/runtime/runtime.d.ts.map +1 -0
- package/dist/runtime/runtime.js +294 -0
- package/dist/runtime/runtime.js.map +1 -0
- package/dist/runtime/snapshot.d.ts +39 -0
- package/dist/runtime/snapshot.d.ts.map +1 -0
- package/dist/runtime/snapshot.js +264 -0
- package/dist/runtime/snapshot.js.map +1 -0
- package/dist/runtime/subscription.d.ts +82 -0
- package/dist/runtime/subscription.d.ts.map +1 -0
- package/dist/runtime/subscription.js +222 -0
- package/dist/runtime/subscription.js.map +1 -0
- package/dist/schema/index.d.ts +3 -0
- package/dist/schema/index.d.ts.map +1 -0
- package/dist/schema/index.js +3 -0
- package/dist/schema/index.js.map +1 -0
- package/dist/schema/integration.d.ts +89 -0
- package/dist/schema/integration.d.ts.map +1 -0
- package/dist/schema/integration.js +171 -0
- package/dist/schema/integration.js.map +1 -0
- package/dist/schema/validation.d.ts +51 -0
- package/dist/schema/validation.d.ts.map +1 -0
- package/dist/schema/validation.js +212 -0
- package/dist/schema/validation.js.map +1 -0
- package/package.json +58 -0
|
@@ -0,0 +1,173 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* 고급 위상 정렬 (순환 탐지 포함)
|
|
3
|
+
*/
|
|
4
|
+
export function topologicalSortWithCycleDetection(graph) {
|
|
5
|
+
const inDegree = new Map();
|
|
6
|
+
const result = [];
|
|
7
|
+
// 진입 차수 초기화
|
|
8
|
+
for (const path of graph.nodes.keys()) {
|
|
9
|
+
inDegree.set(path, 0);
|
|
10
|
+
}
|
|
11
|
+
// 진입 차수 계산
|
|
12
|
+
for (const [path, deps] of graph.dependencies) {
|
|
13
|
+
let count = 0;
|
|
14
|
+
for (const dep of deps) {
|
|
15
|
+
if (graph.nodes.has(dep)) {
|
|
16
|
+
count++;
|
|
17
|
+
}
|
|
18
|
+
}
|
|
19
|
+
inDegree.set(path, count);
|
|
20
|
+
}
|
|
21
|
+
// 진입 차수가 0인 노드들로 시작
|
|
22
|
+
const queue = [];
|
|
23
|
+
for (const [path, degree] of inDegree) {
|
|
24
|
+
if (degree === 0) {
|
|
25
|
+
queue.push(path);
|
|
26
|
+
}
|
|
27
|
+
}
|
|
28
|
+
while (queue.length > 0) {
|
|
29
|
+
const current = queue.shift();
|
|
30
|
+
result.push(current);
|
|
31
|
+
// 현재 노드를 의존하는 노드들의 진입 차수 감소
|
|
32
|
+
const dependents = graph.dependents.get(current);
|
|
33
|
+
if (dependents) {
|
|
34
|
+
for (const dep of dependents) {
|
|
35
|
+
const newDegree = (inDegree.get(dep) ?? 0) - 1;
|
|
36
|
+
inDegree.set(dep, newDegree);
|
|
37
|
+
if (newDegree === 0) {
|
|
38
|
+
queue.push(dep);
|
|
39
|
+
}
|
|
40
|
+
}
|
|
41
|
+
}
|
|
42
|
+
}
|
|
43
|
+
// 모든 노드가 포함되지 않았다면 순환이 있음
|
|
44
|
+
if (result.length !== graph.nodes.size) {
|
|
45
|
+
const cycle = findCycleNodes(graph, inDegree);
|
|
46
|
+
return { ok: false, cycle };
|
|
47
|
+
}
|
|
48
|
+
return { ok: true, order: result };
|
|
49
|
+
}
|
|
50
|
+
/**
|
|
51
|
+
* 순환에 포함된 노드 찾기
|
|
52
|
+
*/
|
|
53
|
+
function findCycleNodes(graph, inDegree) {
|
|
54
|
+
const cycleNodes = [];
|
|
55
|
+
for (const [path, degree] of inDegree) {
|
|
56
|
+
if (degree > 0) {
|
|
57
|
+
cycleNodes.push(path);
|
|
58
|
+
}
|
|
59
|
+
}
|
|
60
|
+
// DFS로 실제 순환 경로 찾기
|
|
61
|
+
if (cycleNodes.length > 0) {
|
|
62
|
+
const visited = new Set();
|
|
63
|
+
const recursionStack = [];
|
|
64
|
+
const pathSet = new Set();
|
|
65
|
+
function dfs(node) {
|
|
66
|
+
visited.add(node);
|
|
67
|
+
recursionStack.push(node);
|
|
68
|
+
pathSet.add(node);
|
|
69
|
+
const deps = graph.dependencies.get(node);
|
|
70
|
+
if (deps) {
|
|
71
|
+
for (const dep of deps) {
|
|
72
|
+
if (!visited.has(dep)) {
|
|
73
|
+
const cycle = dfs(dep);
|
|
74
|
+
if (cycle)
|
|
75
|
+
return cycle;
|
|
76
|
+
}
|
|
77
|
+
else if (pathSet.has(dep)) {
|
|
78
|
+
// 순환 발견
|
|
79
|
+
const cycleStart = recursionStack.indexOf(dep);
|
|
80
|
+
return recursionStack.slice(cycleStart);
|
|
81
|
+
}
|
|
82
|
+
}
|
|
83
|
+
}
|
|
84
|
+
recursionStack.pop();
|
|
85
|
+
pathSet.delete(node);
|
|
86
|
+
return null;
|
|
87
|
+
}
|
|
88
|
+
for (const node of cycleNodes) {
|
|
89
|
+
if (!visited.has(node)) {
|
|
90
|
+
const cycle = dfs(node);
|
|
91
|
+
if (cycle)
|
|
92
|
+
return cycle;
|
|
93
|
+
}
|
|
94
|
+
}
|
|
95
|
+
}
|
|
96
|
+
return cycleNodes;
|
|
97
|
+
}
|
|
98
|
+
/**
|
|
99
|
+
* 레벨별 정렬 (같은 레벨의 노드들은 병렬 처리 가능)
|
|
100
|
+
*/
|
|
101
|
+
export function getLevelOrder(graph) {
|
|
102
|
+
const levels = [];
|
|
103
|
+
const nodeLevel = new Map();
|
|
104
|
+
// 각 노드의 레벨 계산
|
|
105
|
+
function calculateLevel(path) {
|
|
106
|
+
if (nodeLevel.has(path)) {
|
|
107
|
+
return nodeLevel.get(path);
|
|
108
|
+
}
|
|
109
|
+
const deps = graph.dependencies.get(path);
|
|
110
|
+
if (!deps || deps.size === 0) {
|
|
111
|
+
nodeLevel.set(path, 0);
|
|
112
|
+
return 0;
|
|
113
|
+
}
|
|
114
|
+
let maxDepLevel = -1;
|
|
115
|
+
for (const dep of deps) {
|
|
116
|
+
if (graph.nodes.has(dep)) {
|
|
117
|
+
maxDepLevel = Math.max(maxDepLevel, calculateLevel(dep));
|
|
118
|
+
}
|
|
119
|
+
}
|
|
120
|
+
const level = maxDepLevel + 1;
|
|
121
|
+
nodeLevel.set(path, level);
|
|
122
|
+
return level;
|
|
123
|
+
}
|
|
124
|
+
for (const path of graph.nodes.keys()) {
|
|
125
|
+
calculateLevel(path);
|
|
126
|
+
}
|
|
127
|
+
// 레벨별로 그룹화
|
|
128
|
+
for (const [path, level] of nodeLevel) {
|
|
129
|
+
while (levels.length <= level) {
|
|
130
|
+
levels.push([]);
|
|
131
|
+
}
|
|
132
|
+
levels[level].push(path);
|
|
133
|
+
}
|
|
134
|
+
return levels;
|
|
135
|
+
}
|
|
136
|
+
/**
|
|
137
|
+
* 역방향 위상 정렬 (리프부터 루트로)
|
|
138
|
+
*/
|
|
139
|
+
export function reverseTopologicalSort(graph) {
|
|
140
|
+
return [...graph.topologicalOrder].reverse();
|
|
141
|
+
}
|
|
142
|
+
/**
|
|
143
|
+
* 부분 그래프의 위상 정렬
|
|
144
|
+
*/
|
|
145
|
+
export function partialTopologicalSort(graph, paths) {
|
|
146
|
+
const pathSet = new Set(paths);
|
|
147
|
+
return graph.topologicalOrder.filter((p) => pathSet.has(p));
|
|
148
|
+
}
|
|
149
|
+
/**
|
|
150
|
+
* 변경된 경로들의 영향을 받는 경로들의 위상 정렬된 순서
|
|
151
|
+
*/
|
|
152
|
+
export function getAffectedOrder(graph, changedPaths) {
|
|
153
|
+
const affected = new Set();
|
|
154
|
+
// BFS로 영향받는 모든 경로 수집
|
|
155
|
+
const queue = [...changedPaths];
|
|
156
|
+
while (queue.length > 0) {
|
|
157
|
+
const current = queue.shift();
|
|
158
|
+
if (affected.has(current))
|
|
159
|
+
continue;
|
|
160
|
+
affected.add(current);
|
|
161
|
+
const dependents = graph.dependents.get(current);
|
|
162
|
+
if (dependents) {
|
|
163
|
+
for (const dep of dependents) {
|
|
164
|
+
if (!affected.has(dep)) {
|
|
165
|
+
queue.push(dep);
|
|
166
|
+
}
|
|
167
|
+
}
|
|
168
|
+
}
|
|
169
|
+
}
|
|
170
|
+
// 위상 정렬 순서로 필터링
|
|
171
|
+
return graph.topologicalOrder.filter((p) => affected.has(p));
|
|
172
|
+
}
|
|
173
|
+
//# sourceMappingURL=topological.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"topological.js","sourceRoot":"","sources":["../../src/dag/topological.ts"],"names":[],"mappings":"AAUA;;GAEG;AACH,MAAM,UAAU,iCAAiC,CAC/C,KAAsB;IAEtB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACjD,MAAM,MAAM,GAAmB,EAAE,CAAC;IAElC,YAAY;IACZ,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,WAAW;IACX,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC9C,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,KAAK,EAAE,CAAC;YACV,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5B,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,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACjD,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC/C,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;gBAC7B,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;oBACpB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAClB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC9C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC9B,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CACrB,KAAsB,EACtB,QAAmC;IAEnC,MAAM,UAAU,GAAmB,EAAE,CAAC;IAEtC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACtC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;YACf,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;QACxC,MAAM,cAAc,GAAmB,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;QAExC,SAAS,GAAG,CAAC,IAAkB;YAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAElB,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,IAAI,EAAE,CAAC;gBACT,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACtB,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;wBACvB,IAAI,KAAK;4BAAE,OAAO,KAAK,CAAC;oBAC1B,CAAC;yBAAM,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC5B,QAAQ;wBACR,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;wBAC/C,OAAO,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;oBAC1C,CAAC;gBACH,CAAC;YACH,CAAC;YAED,cAAc,CAAC,GAAG,EAAE,CAAC;YACrB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;gBACxB,IAAI,KAAK;oBAAE,OAAO,KAAK,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,KAAsB;IAClD,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAElD,cAAc;IACd,SAAS,cAAc,CAAC,IAAkB;QACxC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAC9B,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC7B,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACvB,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC;QACrB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,WAAW,GAAG,CAAC,CAAC;QAC9B,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,cAAc,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IAED,WAAW;IACX,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,OAAO,MAAM,CAAC,MAAM,IAAI,KAAK,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAsB;IAC3D,OAAO,CAAC,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAsB,EACtB,KAAqB;IAErB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAsB,EACtB,YAA4B;IAE5B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgB,CAAC;IAEzC,qBAAqB;IACrB,MAAM,KAAK,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACpC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAEtB,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACjD,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACvB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAClB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,OAAO,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC"}
|
|
@@ -0,0 +1,82 @@
|
|
|
1
|
+
import type { ZodType } from 'zod';
|
|
2
|
+
import type { ManifestoDomain, PathDefinitions, ActionDefinition, DomainMeta, SourceDefinition, DerivedDefinition, AsyncDefinition, SemanticPath, SemanticMeta, FieldPolicy, ConditionRef, ActionSemanticMeta } from './types.js';
|
|
3
|
+
import type { Expression } from '../expression/types.js';
|
|
4
|
+
import type { Effect } from '../effect/types.js';
|
|
5
|
+
/**
|
|
6
|
+
* Domain 정의 옵션
|
|
7
|
+
*/
|
|
8
|
+
export type DefineDomainOptions<TData, TState> = {
|
|
9
|
+
id: string;
|
|
10
|
+
name: string;
|
|
11
|
+
description: string;
|
|
12
|
+
dataSchema: ZodType<TData>;
|
|
13
|
+
stateSchema: ZodType<TState>;
|
|
14
|
+
initialState: TState;
|
|
15
|
+
paths?: Partial<PathDefinitions<TData, TState>>;
|
|
16
|
+
actions?: Record<string, ActionDefinition>;
|
|
17
|
+
meta?: DomainMeta;
|
|
18
|
+
};
|
|
19
|
+
/**
|
|
20
|
+
* 도메인 정의 헬퍼 함수
|
|
21
|
+
*/
|
|
22
|
+
export declare function defineDomain<TData, TState>(options: DefineDomainOptions<TData, TState>): ManifestoDomain<TData, TState>;
|
|
23
|
+
/**
|
|
24
|
+
* Source 정의 헬퍼
|
|
25
|
+
*/
|
|
26
|
+
export type DefineSourceOptions = {
|
|
27
|
+
schema: ZodType;
|
|
28
|
+
defaultValue?: unknown;
|
|
29
|
+
policy?: FieldPolicy;
|
|
30
|
+
semantic: SemanticMeta;
|
|
31
|
+
};
|
|
32
|
+
export declare function defineSource(options: DefineSourceOptions): SourceDefinition;
|
|
33
|
+
/**
|
|
34
|
+
* Derived 정의 헬퍼
|
|
35
|
+
*/
|
|
36
|
+
export type DefineDerivedOptions = {
|
|
37
|
+
deps: SemanticPath[];
|
|
38
|
+
expr: Expression;
|
|
39
|
+
semantic: SemanticMeta;
|
|
40
|
+
};
|
|
41
|
+
export declare function defineDerived(options: DefineDerivedOptions): DerivedDefinition;
|
|
42
|
+
/**
|
|
43
|
+
* Async 정의 헬퍼
|
|
44
|
+
*/
|
|
45
|
+
export type DefineAsyncOptions = {
|
|
46
|
+
deps: SemanticPath[];
|
|
47
|
+
condition?: Expression;
|
|
48
|
+
debounce?: number;
|
|
49
|
+
effect: Effect;
|
|
50
|
+
resultPath: SemanticPath;
|
|
51
|
+
loadingPath: SemanticPath;
|
|
52
|
+
errorPath: SemanticPath;
|
|
53
|
+
semantic: SemanticMeta;
|
|
54
|
+
};
|
|
55
|
+
export declare function defineAsync(options: DefineAsyncOptions): AsyncDefinition;
|
|
56
|
+
/**
|
|
57
|
+
* Action 정의 헬퍼
|
|
58
|
+
*/
|
|
59
|
+
export type DefineActionOptions = {
|
|
60
|
+
deps: SemanticPath[];
|
|
61
|
+
input?: ZodType;
|
|
62
|
+
effect: Effect;
|
|
63
|
+
preconditions?: ConditionRef[];
|
|
64
|
+
semantic: ActionSemanticMeta;
|
|
65
|
+
};
|
|
66
|
+
export declare function defineAction(options: DefineActionOptions): ActionDefinition;
|
|
67
|
+
/**
|
|
68
|
+
* FieldPolicy 빌더
|
|
69
|
+
*/
|
|
70
|
+
export declare function fieldPolicy(options: {
|
|
71
|
+
relevantWhen?: ConditionRef[];
|
|
72
|
+
editableWhen?: ConditionRef[];
|
|
73
|
+
requiredWhen?: ConditionRef[];
|
|
74
|
+
}): FieldPolicy;
|
|
75
|
+
/**
|
|
76
|
+
* ConditionRef 빌더
|
|
77
|
+
*/
|
|
78
|
+
export declare function condition(path: SemanticPath, options?: {
|
|
79
|
+
expect?: 'true' | 'false';
|
|
80
|
+
reason?: string;
|
|
81
|
+
}): ConditionRef;
|
|
82
|
+
//# sourceMappingURL=define.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"define.d.ts","sourceRoot":"","sources":["../../src/domain/define.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,KAAK,CAAC;AACnC,OAAO,KAAK,EACV,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,kBAAkB,EACnB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,MAAM,MAAM,mBAAmB,CAAC,KAAK,EAAE,MAAM,IAAI;IAC/C,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3B,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAChD,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC3C,IAAI,CAAC,EAAE,UAAU,CAAC;CACnB,CAAC;AAEF;;GAEG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EACxC,OAAO,EAAE,mBAAmB,CAAC,KAAK,EAAE,MAAM,CAAC,GAC1C,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAgBhC;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,MAAM,EAAE,OAAO,CAAC;IAChB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,QAAQ,EAAE,YAAY,CAAC;CACxB,CAAC;AAEF,wBAAgB,YAAY,CAAC,OAAO,EAAE,mBAAmB,GAAG,gBAAgB,CAW3E;AAED;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,YAAY,CAAC;CACxB,CAAC;AAEF,wBAAgB,aAAa,CAAC,OAAO,EAAE,oBAAoB,GAAG,iBAAiB,CAU9E;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,SAAS,CAAC,EAAE,UAAU,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,YAAY,CAAC;IACzB,WAAW,EAAE,YAAY,CAAC;IAC1B,SAAS,EAAE,YAAY,CAAC;IACxB,QAAQ,EAAE,YAAY,CAAC;CACxB,CAAC;AAEF,wBAAgB,WAAW,CAAC,OAAO,EAAE,kBAAkB,GAAG,eAAe,CAexE;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,YAAY,EAAE,CAAC;IAC/B,QAAQ,EAAE,kBAAkB,CAAC;CAC9B,CAAC;AAEF,wBAAgB,YAAY,CAAC,OAAO,EAAE,mBAAmB,GAAG,gBAAgB,CAc3E;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE;IACnC,YAAY,CAAC,EAAE,YAAY,EAAE,CAAC;IAC9B,YAAY,CAAC,EAAE,YAAY,EAAE,CAAC;IAC9B,YAAY,CAAC,EAAE,YAAY,EAAE,CAAC;CAC/B,GAAG,WAAW,CAEd;AAED;;GAEG;AACH,wBAAgB,SAAS,CACvB,IAAI,EAAE,YAAY,EAClB,OAAO,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACvD,YAAY,CAMd"}
|
|
@@ -0,0 +1,91 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* 도메인 정의 헬퍼 함수
|
|
3
|
+
*/
|
|
4
|
+
export function defineDomain(options) {
|
|
5
|
+
return {
|
|
6
|
+
id: options.id,
|
|
7
|
+
name: options.name,
|
|
8
|
+
description: options.description,
|
|
9
|
+
dataSchema: options.dataSchema,
|
|
10
|
+
stateSchema: options.stateSchema,
|
|
11
|
+
initialState: options.initialState,
|
|
12
|
+
paths: {
|
|
13
|
+
sources: options.paths?.sources ?? {},
|
|
14
|
+
derived: options.paths?.derived ?? {},
|
|
15
|
+
async: options.paths?.async ?? {},
|
|
16
|
+
},
|
|
17
|
+
actions: options.actions ?? {},
|
|
18
|
+
meta: options.meta,
|
|
19
|
+
};
|
|
20
|
+
}
|
|
21
|
+
export function defineSource(options) {
|
|
22
|
+
return {
|
|
23
|
+
schema: options.schema,
|
|
24
|
+
defaultValue: options.defaultValue,
|
|
25
|
+
policy: options.policy,
|
|
26
|
+
semantic: {
|
|
27
|
+
readable: true,
|
|
28
|
+
writable: true,
|
|
29
|
+
...options.semantic,
|
|
30
|
+
},
|
|
31
|
+
};
|
|
32
|
+
}
|
|
33
|
+
export function defineDerived(options) {
|
|
34
|
+
return {
|
|
35
|
+
deps: options.deps,
|
|
36
|
+
expr: options.expr,
|
|
37
|
+
semantic: {
|
|
38
|
+
readable: true,
|
|
39
|
+
writable: false,
|
|
40
|
+
...options.semantic,
|
|
41
|
+
},
|
|
42
|
+
};
|
|
43
|
+
}
|
|
44
|
+
export function defineAsync(options) {
|
|
45
|
+
return {
|
|
46
|
+
deps: options.deps,
|
|
47
|
+
condition: options.condition,
|
|
48
|
+
debounce: options.debounce,
|
|
49
|
+
effect: options.effect,
|
|
50
|
+
resultPath: options.resultPath,
|
|
51
|
+
loadingPath: options.loadingPath,
|
|
52
|
+
errorPath: options.errorPath,
|
|
53
|
+
semantic: {
|
|
54
|
+
readable: true,
|
|
55
|
+
writable: false,
|
|
56
|
+
...options.semantic,
|
|
57
|
+
},
|
|
58
|
+
};
|
|
59
|
+
}
|
|
60
|
+
export function defineAction(options) {
|
|
61
|
+
return {
|
|
62
|
+
deps: options.deps,
|
|
63
|
+
input: options.input,
|
|
64
|
+
effect: options.effect,
|
|
65
|
+
preconditions: options.preconditions,
|
|
66
|
+
semantic: {
|
|
67
|
+
readable: true,
|
|
68
|
+
writable: false,
|
|
69
|
+
risk: 'none',
|
|
70
|
+
reversible: false,
|
|
71
|
+
...options.semantic,
|
|
72
|
+
},
|
|
73
|
+
};
|
|
74
|
+
}
|
|
75
|
+
/**
|
|
76
|
+
* FieldPolicy 빌더
|
|
77
|
+
*/
|
|
78
|
+
export function fieldPolicy(options) {
|
|
79
|
+
return options;
|
|
80
|
+
}
|
|
81
|
+
/**
|
|
82
|
+
* ConditionRef 빌더
|
|
83
|
+
*/
|
|
84
|
+
export function condition(path, options) {
|
|
85
|
+
return {
|
|
86
|
+
path,
|
|
87
|
+
expect: options?.expect ?? 'true',
|
|
88
|
+
reason: options?.reason,
|
|
89
|
+
};
|
|
90
|
+
}
|
|
91
|
+
//# sourceMappingURL=define.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"define.js","sourceRoot":"","sources":["../../src/domain/define.ts"],"names":[],"mappings":"AAiCA;;GAEG;AACH,MAAM,UAAU,YAAY,CAC1B,OAA2C;IAE3C,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,KAAK,EAAE;YACL,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,IAAI,EAAE;YACrC,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,IAAI,EAAE;YACrC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE;SAClC;QACD,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;QAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC;AACJ,CAAC;AAYD,MAAM,UAAU,YAAY,CAAC,OAA4B;IACvD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,QAAQ,EAAE;YACR,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,IAAI;YACd,GAAG,OAAO,CAAC,QAAQ;SACpB;KACF,CAAC;AACJ,CAAC;AAWD,MAAM,UAAU,aAAa,CAAC,OAA6B;IACzD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,QAAQ,EAAE;YACR,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,KAAK;YACf,GAAG,OAAO,CAAC,QAAQ;SACpB;KACF,CAAC;AACJ,CAAC;AAgBD,MAAM,UAAU,WAAW,CAAC,OAA2B;IACrD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,QAAQ,EAAE;YACR,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,KAAK;YACf,GAAG,OAAO,CAAC,QAAQ;SACpB;KACF,CAAC;AACJ,CAAC;AAaD,MAAM,UAAU,YAAY,CAAC,OAA4B;IACvD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,QAAQ,EAAE;YACR,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,KAAK;YACf,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,KAAK;YACjB,GAAG,OAAO,CAAC,QAAQ;SACpB;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,OAI3B;IACC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CACvB,IAAkB,EAClB,OAAwD;IAExD,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,MAAM;QACjC,MAAM,EAAE,OAAO,EAAE,MAAM;KACxB,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC"}
|
|
@@ -0,0 +1,203 @@
|
|
|
1
|
+
import type { ZodType } from 'zod';
|
|
2
|
+
import type { Expression } from '../expression/types.js';
|
|
3
|
+
import type { Effect } from '../effect/types.js';
|
|
4
|
+
/**
|
|
5
|
+
* SemanticPath: 의미론적 주소
|
|
6
|
+
* 도메인 내 모든 값에 부여되는 고유한 주소
|
|
7
|
+
*
|
|
8
|
+
* Namespaces:
|
|
9
|
+
* - data.*: 사용자 입력 데이터
|
|
10
|
+
* - state.*: 시스템/비동기 상태
|
|
11
|
+
* - derived.*: 계산된 값
|
|
12
|
+
* - actions.*: 실행 가능한 조작
|
|
13
|
+
*/
|
|
14
|
+
export type SemanticPath = string;
|
|
15
|
+
/**
|
|
16
|
+
* SemanticMeta: AI 이해용 메타데이터
|
|
17
|
+
*/
|
|
18
|
+
export type SemanticMeta = {
|
|
19
|
+
/** 의미 유형 */
|
|
20
|
+
type: string;
|
|
21
|
+
/** 자연어 설명 */
|
|
22
|
+
description: string;
|
|
23
|
+
/** 중요도 */
|
|
24
|
+
importance?: 'critical' | 'high' | 'medium' | 'low';
|
|
25
|
+
/** Agent가 값을 볼 수 있는지 */
|
|
26
|
+
readable?: boolean;
|
|
27
|
+
/** Agent가 값을 변경할 수 있는지 */
|
|
28
|
+
writable?: boolean;
|
|
29
|
+
/** 값 예시 */
|
|
30
|
+
examples?: unknown[];
|
|
31
|
+
/** 추가 힌트 */
|
|
32
|
+
hints?: Record<string, unknown>;
|
|
33
|
+
};
|
|
34
|
+
/**
|
|
35
|
+
* ConditionRef: 조건 참조
|
|
36
|
+
*/
|
|
37
|
+
export type ConditionRef = {
|
|
38
|
+
/** 참조하는 경로 */
|
|
39
|
+
path: SemanticPath;
|
|
40
|
+
/** 기대 값 */
|
|
41
|
+
expect?: 'true' | 'false';
|
|
42
|
+
/** 사람/AI가 읽을 수 있는 이유 */
|
|
43
|
+
reason?: string;
|
|
44
|
+
};
|
|
45
|
+
/**
|
|
46
|
+
* FieldPolicy: 도메인 레벨의 필드 정책
|
|
47
|
+
*/
|
|
48
|
+
export type FieldPolicy = {
|
|
49
|
+
/** 이 필드가 의미있는 조건 */
|
|
50
|
+
relevantWhen?: ConditionRef[];
|
|
51
|
+
/** 이 필드가 수정 가능한 조건 */
|
|
52
|
+
editableWhen?: ConditionRef[];
|
|
53
|
+
/** 이 필드가 필수인 조건 */
|
|
54
|
+
requiredWhen?: ConditionRef[];
|
|
55
|
+
};
|
|
56
|
+
/**
|
|
57
|
+
* SourceDefinition: 외부 입력 경로
|
|
58
|
+
*/
|
|
59
|
+
export type SourceDefinition = {
|
|
60
|
+
/** 값 스키마 */
|
|
61
|
+
schema: ZodType;
|
|
62
|
+
/** 기본값 */
|
|
63
|
+
defaultValue?: unknown;
|
|
64
|
+
/** 필드 정책 */
|
|
65
|
+
policy?: FieldPolicy;
|
|
66
|
+
/** Semantic 메타데이터 */
|
|
67
|
+
semantic: SemanticMeta;
|
|
68
|
+
};
|
|
69
|
+
/**
|
|
70
|
+
* DerivedDefinition: 동기 계산 경로
|
|
71
|
+
*/
|
|
72
|
+
export type DerivedDefinition = {
|
|
73
|
+
/** 의존하는 경로들 */
|
|
74
|
+
deps: SemanticPath[];
|
|
75
|
+
/** 계산 표현식 */
|
|
76
|
+
expr: Expression;
|
|
77
|
+
/** Semantic 메타데이터 */
|
|
78
|
+
semantic: SemanticMeta;
|
|
79
|
+
};
|
|
80
|
+
/**
|
|
81
|
+
* AsyncDefinition: 비동기 획득 경로
|
|
82
|
+
*/
|
|
83
|
+
export type AsyncDefinition = {
|
|
84
|
+
/** 트리거 경로들 */
|
|
85
|
+
deps: SemanticPath[];
|
|
86
|
+
/** 실행 조건 (없으면 deps 변경 시 항상) */
|
|
87
|
+
condition?: Expression;
|
|
88
|
+
/** 디바운스 (ms) */
|
|
89
|
+
debounce?: number;
|
|
90
|
+
/** 실행할 Effect */
|
|
91
|
+
effect: Effect;
|
|
92
|
+
/** 결과 저장 경로 */
|
|
93
|
+
resultPath: SemanticPath;
|
|
94
|
+
/** 로딩 상태 경로 */
|
|
95
|
+
loadingPath: SemanticPath;
|
|
96
|
+
/** 에러 상태 경로 */
|
|
97
|
+
errorPath: SemanticPath;
|
|
98
|
+
/** Semantic 메타데이터 */
|
|
99
|
+
semantic: SemanticMeta;
|
|
100
|
+
};
|
|
101
|
+
/**
|
|
102
|
+
* ActionSemanticMeta: 액션 전용 메타데이터
|
|
103
|
+
*/
|
|
104
|
+
export type ActionSemanticMeta = SemanticMeta & {
|
|
105
|
+
/** 동사 (AI가 이해하는 행위) */
|
|
106
|
+
verb: string;
|
|
107
|
+
/** 위험도 */
|
|
108
|
+
risk?: 'none' | 'low' | 'medium' | 'high' | 'critical';
|
|
109
|
+
/** 예상 결과 */
|
|
110
|
+
expectedOutcome?: string;
|
|
111
|
+
/** 되돌릴 수 있는지 */
|
|
112
|
+
reversible?: boolean;
|
|
113
|
+
};
|
|
114
|
+
/**
|
|
115
|
+
* ActionDefinition: 액션 정의
|
|
116
|
+
*/
|
|
117
|
+
export type ActionDefinition = {
|
|
118
|
+
/** 의존하는 경로들 */
|
|
119
|
+
deps: SemanticPath[];
|
|
120
|
+
/** 입력 파라미터 스키마 */
|
|
121
|
+
input?: ZodType;
|
|
122
|
+
/** 실행할 Effect */
|
|
123
|
+
effect: Effect;
|
|
124
|
+
/** 실행 전제조건 */
|
|
125
|
+
preconditions?: ConditionRef[];
|
|
126
|
+
/** Semantic 메타데이터 */
|
|
127
|
+
semantic: ActionSemanticMeta;
|
|
128
|
+
};
|
|
129
|
+
/**
|
|
130
|
+
* PathDefinitions: 모든 Semantic Path의 정의
|
|
131
|
+
*/
|
|
132
|
+
export type PathDefinitions<TData = unknown, TState = unknown> = {
|
|
133
|
+
/** Source Paths: 외부 입력 */
|
|
134
|
+
sources: Record<SemanticPath, SourceDefinition>;
|
|
135
|
+
/** Derived Paths: 동기 계산 */
|
|
136
|
+
derived: Record<SemanticPath, DerivedDefinition>;
|
|
137
|
+
/** Async Paths: 비동기 획득 */
|
|
138
|
+
async: Record<SemanticPath, AsyncDefinition>;
|
|
139
|
+
};
|
|
140
|
+
/**
|
|
141
|
+
* DomainMeta: 도메인 수준 메타데이터
|
|
142
|
+
*/
|
|
143
|
+
export type DomainMeta = {
|
|
144
|
+
/** 도메인 버전 */
|
|
145
|
+
version?: string;
|
|
146
|
+
/** 도메인 카테고리 */
|
|
147
|
+
category?: string;
|
|
148
|
+
/** AI용 도메인 설명 */
|
|
149
|
+
aiDescription?: string;
|
|
150
|
+
};
|
|
151
|
+
/**
|
|
152
|
+
* ManifestoDomain: 비즈니스 도메인의 완전한 정의
|
|
153
|
+
*/
|
|
154
|
+
export type ManifestoDomain<TData = unknown, TState = unknown> = {
|
|
155
|
+
/** 도메인 식별자 */
|
|
156
|
+
id: string;
|
|
157
|
+
/** 도메인 이름 */
|
|
158
|
+
name: string;
|
|
159
|
+
/** 도메인 설명 */
|
|
160
|
+
description: string;
|
|
161
|
+
/** Semantic Paths 정의 */
|
|
162
|
+
paths: PathDefinitions<TData, TState>;
|
|
163
|
+
/** Actions 정의 */
|
|
164
|
+
actions: Record<string, ActionDefinition>;
|
|
165
|
+
/** Data Schema (Zod) */
|
|
166
|
+
dataSchema: ZodType<TData>;
|
|
167
|
+
/** State Schema (Zod) */
|
|
168
|
+
stateSchema: ZodType<TState>;
|
|
169
|
+
/** 초기 상태 */
|
|
170
|
+
initialState: TState;
|
|
171
|
+
/** 도메인 메타데이터 */
|
|
172
|
+
meta?: DomainMeta;
|
|
173
|
+
};
|
|
174
|
+
/**
|
|
175
|
+
* ValidationIssue: 개별 검증 이슈
|
|
176
|
+
*/
|
|
177
|
+
export type ValidationIssue = {
|
|
178
|
+
/** 이슈 코드 */
|
|
179
|
+
code: string;
|
|
180
|
+
/** 사람이 읽을 수 있는 메시지 */
|
|
181
|
+
message: string;
|
|
182
|
+
/** 해당 경로 */
|
|
183
|
+
path: SemanticPath;
|
|
184
|
+
/** 심각도 */
|
|
185
|
+
severity: 'error' | 'warning' | 'info' | 'suggestion';
|
|
186
|
+
/** 자동 수정 제안 */
|
|
187
|
+
suggestedFix?: {
|
|
188
|
+
/** 수정 설명 */
|
|
189
|
+
description: string;
|
|
190
|
+
/** 수정 값 표현식 */
|
|
191
|
+
value: Expression;
|
|
192
|
+
};
|
|
193
|
+
};
|
|
194
|
+
/**
|
|
195
|
+
* ValidationResult: 검증 결과
|
|
196
|
+
*/
|
|
197
|
+
export type ValidationResult = {
|
|
198
|
+
/** 전체 유효 여부 */
|
|
199
|
+
valid: boolean;
|
|
200
|
+
/** 검증 이슈 목록 */
|
|
201
|
+
issues: ValidationIssue[];
|
|
202
|
+
};
|
|
203
|
+
//# sourceMappingURL=types.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/domain/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,KAAK,CAAC;AACnC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;;;;;;;GASG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAElC;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,YAAY;IACZ,IAAI,EAAE,MAAM,CAAC;IAEb,aAAa;IACb,WAAW,EAAE,MAAM,CAAC;IAEpB,UAAU;IACV,UAAU,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IAEpD,wBAAwB;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;IAEnB,0BAA0B;IAC1B,QAAQ,CAAC,EAAE,OAAO,CAAC;IAEnB,WAAW;IACX,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC;IAErB,YAAY;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,cAAc;IACd,IAAI,EAAE,YAAY,CAAC;IAEnB,WAAW;IACX,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAE1B,wBAAwB;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,oBAAoB;IACpB,YAAY,CAAC,EAAE,YAAY,EAAE,CAAC;IAE9B,sBAAsB;IACtB,YAAY,CAAC,EAAE,YAAY,EAAE,CAAC;IAE9B,mBAAmB;IACnB,YAAY,CAAC,EAAE,YAAY,EAAE,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,YAAY;IACZ,MAAM,EAAE,OAAO,CAAC;IAEhB,UAAU;IACV,YAAY,CAAC,EAAE,OAAO,CAAC;IAEvB,YAAY;IACZ,MAAM,CAAC,EAAE,WAAW,CAAC;IAErB,qBAAqB;IACrB,QAAQ,EAAE,YAAY,CAAC;CACxB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,eAAe;IACf,IAAI,EAAE,YAAY,EAAE,CAAC;IAErB,aAAa;IACb,IAAI,EAAE,UAAU,CAAC;IAEjB,qBAAqB;IACrB,QAAQ,EAAE,YAAY,CAAC;CACxB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,cAAc;IACd,IAAI,EAAE,YAAY,EAAE,CAAC;IAErB,+BAA+B;IAC/B,SAAS,CAAC,EAAE,UAAU,CAAC;IAEvB,gBAAgB;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,iBAAiB;IACjB,MAAM,EAAE,MAAM,CAAC;IAEf,eAAe;IACf,UAAU,EAAE,YAAY,CAAC;IAEzB,eAAe;IACf,WAAW,EAAE,YAAY,CAAC;IAE1B,eAAe;IACf,SAAS,EAAE,YAAY,CAAC;IAExB,qBAAqB;IACrB,QAAQ,EAAE,YAAY,CAAC;CACxB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,YAAY,GAAG;IAC9C,uBAAuB;IACvB,IAAI,EAAE,MAAM,CAAC;IAEb,UAAU;IACV,IAAI,CAAC,EAAE,MAAM,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,CAAC;IAEvD,YAAY;IACZ,eAAe,CAAC,EAAE,MAAM,CAAC;IAEzB,gBAAgB;IAChB,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,eAAe;IACf,IAAI,EAAE,YAAY,EAAE,CAAC;IAErB,kBAAkB;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAEhB,iBAAiB;IACjB,MAAM,EAAE,MAAM,CAAC;IAEf,cAAc;IACd,aAAa,CAAC,EAAE,YAAY,EAAE,CAAC;IAE/B,qBAAqB;IACrB,QAAQ,EAAE,kBAAkB,CAAC;CAC9B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,OAAO,IAAI;IAC/D,0BAA0B;IAC1B,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAEhD,2BAA2B;IAC3B,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAEjD,0BAA0B;IAC1B,KAAK,EAAE,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;CAC9C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,aAAa;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,iBAAiB;IACjB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,OAAO,IAAI;IAC/D,cAAc;IACd,EAAE,EAAE,MAAM,CAAC;IAEX,aAAa;IACb,IAAI,EAAE,MAAM,CAAC;IAEb,aAAa;IACb,WAAW,EAAE,MAAM,CAAC;IAEpB,wBAAwB;IACxB,KAAK,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAEtC,iBAAiB;IACjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAE1C,wBAAwB;IACxB,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAE3B,yBAAyB;IACzB,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAE7B,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,gBAAgB;IAChB,IAAI,CAAC,EAAE,UAAU,CAAC;CACnB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,YAAY;IACZ,IAAI,EAAE,MAAM,CAAC;IAEb,sBAAsB;IACtB,OAAO,EAAE,MAAM,CAAC;IAEhB,YAAY;IACZ,IAAI,EAAE,YAAY,CAAC;IAEnB,UAAU;IACV,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,YAAY,CAAC;IAEtD,eAAe;IACf,YAAY,CAAC,EAAE;QACb,YAAY;QACZ,WAAW,EAAE,MAAM,CAAC;QAEpB,eAAe;QACf,KAAK,EAAE,UAAU,CAAC;KACnB,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,eAAe;IACf,KAAK,EAAE,OAAO,CAAC;IAEf,eAAe;IACf,MAAM,EAAE,eAAe,EAAE,CAAC;CAC3B,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/domain/types.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
import type { ManifestoDomain, ValidationResult } from './types.js';
|
|
2
|
+
/**
|
|
3
|
+
* 도메인 유효성 검증 옵션
|
|
4
|
+
*/
|
|
5
|
+
export type ValidateDomainOptions = {
|
|
6
|
+
/** 순환 의존성 검사 여부 */
|
|
7
|
+
checkCycles?: boolean;
|
|
8
|
+
/** 미사용 경로 검사 여부 */
|
|
9
|
+
checkUnused?: boolean;
|
|
10
|
+
/** 누락된 의존성 검사 여부 */
|
|
11
|
+
checkMissingDeps?: boolean;
|
|
12
|
+
};
|
|
13
|
+
/**
|
|
14
|
+
* 도메인 정의 유효성 검증
|
|
15
|
+
*/
|
|
16
|
+
export declare function validateDomain<TData, TState>(domain: ManifestoDomain<TData, TState>, options?: ValidateDomainOptions): ValidationResult;
|
|
17
|
+
//# sourceMappingURL=validate.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/domain/validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,eAAe,EAEf,gBAAgB,EAEjB,MAAM,YAAY,CAAC;AAEpB;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,mBAAmB;IACnB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,mBAAmB;IACnB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,oBAAoB;IACpB,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,CAAC;AAQF;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAC1C,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,EACtC,OAAO,GAAE,qBAAuC,GAC/C,gBAAgB,CA6ClB"}
|