@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.
Files changed (115) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +434 -0
  3. package/dist/dag/graph.d.ts +62 -0
  4. package/dist/dag/graph.d.ts.map +1 -0
  5. package/dist/dag/graph.js +244 -0
  6. package/dist/dag/graph.js.map +1 -0
  7. package/dist/dag/index.d.ts +4 -0
  8. package/dist/dag/index.d.ts.map +1 -0
  9. package/dist/dag/index.js +4 -0
  10. package/dist/dag/index.js.map +1 -0
  11. package/dist/dag/propagation.d.ts +58 -0
  12. package/dist/dag/propagation.d.ts.map +1 -0
  13. package/dist/dag/propagation.js +224 -0
  14. package/dist/dag/propagation.js.map +1 -0
  15. package/dist/dag/topological.d.ts +33 -0
  16. package/dist/dag/topological.d.ts.map +1 -0
  17. package/dist/dag/topological.js +173 -0
  18. package/dist/dag/topological.js.map +1 -0
  19. package/dist/domain/define.d.ts +82 -0
  20. package/dist/domain/define.d.ts.map +1 -0
  21. package/dist/domain/define.js +91 -0
  22. package/dist/domain/define.js.map +1 -0
  23. package/dist/domain/index.d.ts +4 -0
  24. package/dist/domain/index.d.ts.map +1 -0
  25. package/dist/domain/index.js +4 -0
  26. package/dist/domain/index.js.map +1 -0
  27. package/dist/domain/types.d.ts +203 -0
  28. package/dist/domain/types.d.ts.map +1 -0
  29. package/dist/domain/types.js +2 -0
  30. package/dist/domain/types.js.map +1 -0
  31. package/dist/domain/validate.d.ts +17 -0
  32. package/dist/domain/validate.d.ts.map +1 -0
  33. package/dist/domain/validate.js +204 -0
  34. package/dist/domain/validate.js.map +1 -0
  35. package/dist/effect/index.d.ts +4 -0
  36. package/dist/effect/index.d.ts.map +1 -0
  37. package/dist/effect/index.js +4 -0
  38. package/dist/effect/index.js.map +1 -0
  39. package/dist/effect/result.d.ts +100 -0
  40. package/dist/effect/result.d.ts.map +1 -0
  41. package/dist/effect/result.js +163 -0
  42. package/dist/effect/result.js.map +1 -0
  43. package/dist/effect/runner.d.ts +98 -0
  44. package/dist/effect/runner.d.ts.map +1 -0
  45. package/dist/effect/runner.js +321 -0
  46. package/dist/effect/runner.js.map +1 -0
  47. package/dist/effect/types.d.ts +169 -0
  48. package/dist/effect/types.d.ts.map +1 -0
  49. package/dist/effect/types.js +28 -0
  50. package/dist/effect/types.js.map +1 -0
  51. package/dist/expression/analyzer.d.ts +42 -0
  52. package/dist/expression/analyzer.d.ts.map +1 -0
  53. package/dist/expression/analyzer.js +166 -0
  54. package/dist/expression/analyzer.js.map +1 -0
  55. package/dist/expression/evaluator.d.ts +16 -0
  56. package/dist/expression/evaluator.d.ts.map +1 -0
  57. package/dist/expression/evaluator.js +382 -0
  58. package/dist/expression/evaluator.js.map +1 -0
  59. package/dist/expression/index.d.ts +5 -0
  60. package/dist/expression/index.d.ts.map +1 -0
  61. package/dist/expression/index.js +5 -0
  62. package/dist/expression/index.js.map +1 -0
  63. package/dist/expression/parser.d.ts +37 -0
  64. package/dist/expression/parser.d.ts.map +1 -0
  65. package/dist/expression/parser.js +201 -0
  66. package/dist/expression/parser.js.map +1 -0
  67. package/dist/expression/types.d.ts +123 -0
  68. package/dist/expression/types.d.ts.map +1 -0
  69. package/dist/expression/types.js +10 -0
  70. package/dist/expression/types.js.map +1 -0
  71. package/dist/index.d.ts +17 -0
  72. package/dist/index.d.ts.map +1 -0
  73. package/dist/index.js +51 -0
  74. package/dist/index.js.map +1 -0
  75. package/dist/policy/field-policy.d.ts +63 -0
  76. package/dist/policy/field-policy.d.ts.map +1 -0
  77. package/dist/policy/field-policy.js +138 -0
  78. package/dist/policy/field-policy.js.map +1 -0
  79. package/dist/policy/index.d.ts +3 -0
  80. package/dist/policy/index.d.ts.map +1 -0
  81. package/dist/policy/index.js +3 -0
  82. package/dist/policy/index.js.map +1 -0
  83. package/dist/policy/precondition.d.ts +58 -0
  84. package/dist/policy/precondition.d.ts.map +1 -0
  85. package/dist/policy/precondition.js +115 -0
  86. package/dist/policy/precondition.js.map +1 -0
  87. package/dist/runtime/index.d.ts +4 -0
  88. package/dist/runtime/index.d.ts.map +1 -0
  89. package/dist/runtime/index.js +4 -0
  90. package/dist/runtime/index.js.map +1 -0
  91. package/dist/runtime/runtime.d.ts +94 -0
  92. package/dist/runtime/runtime.d.ts.map +1 -0
  93. package/dist/runtime/runtime.js +294 -0
  94. package/dist/runtime/runtime.js.map +1 -0
  95. package/dist/runtime/snapshot.d.ts +39 -0
  96. package/dist/runtime/snapshot.d.ts.map +1 -0
  97. package/dist/runtime/snapshot.js +264 -0
  98. package/dist/runtime/snapshot.js.map +1 -0
  99. package/dist/runtime/subscription.d.ts +82 -0
  100. package/dist/runtime/subscription.d.ts.map +1 -0
  101. package/dist/runtime/subscription.js +222 -0
  102. package/dist/runtime/subscription.js.map +1 -0
  103. package/dist/schema/index.d.ts +3 -0
  104. package/dist/schema/index.d.ts.map +1 -0
  105. package/dist/schema/index.js +3 -0
  106. package/dist/schema/index.js.map +1 -0
  107. package/dist/schema/integration.d.ts +89 -0
  108. package/dist/schema/integration.d.ts.map +1 -0
  109. package/dist/schema/integration.js +171 -0
  110. package/dist/schema/integration.js.map +1 -0
  111. package/dist/schema/validation.d.ts +51 -0
  112. package/dist/schema/validation.d.ts.map +1 -0
  113. package/dist/schema/validation.js +212 -0
  114. package/dist/schema/validation.js.map +1 -0
  115. 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,4 @@
1
+ export * from './types.js';
2
+ export * from './define.js';
3
+ export * from './validate.js';
4
+ //# sourceMappingURL=index.d.ts.map
@@ -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,4 @@
1
+ export * from './types.js';
2
+ export * from './define.js';
3
+ export * from './validate.js';
4
+ //# sourceMappingURL=index.js.map
@@ -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,2 @@
1
+ export {};
2
+ //# sourceMappingURL=types.js.map
@@ -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"}