@manifesto-ai/compiler 1.6.2 → 1.8.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 (201) hide show
  1. package/README.md +67 -18
  2. package/dist/chunk-BH25NHMN.js +74 -0
  3. package/dist/chunk-BH25NHMN.js.map +1 -0
  4. package/dist/chunk-D62NIFP4.js +33 -0
  5. package/dist/chunk-D62NIFP4.js.map +1 -0
  6. package/dist/chunk-MKLDAZ2Z.js +6920 -0
  7. package/dist/chunk-MKLDAZ2Z.js.map +1 -0
  8. package/dist/esbuild.d.ts +8 -0
  9. package/dist/esbuild.js +14 -0
  10. package/dist/esbuild.js.map +1 -0
  11. package/dist/index.d.ts +2810 -11
  12. package/dist/index.js +2425 -43
  13. package/dist/index.js.map +1 -1
  14. package/dist/node-loader.d.ts +18 -0
  15. package/dist/node-loader.js +47 -0
  16. package/dist/node-loader.js.map +1 -0
  17. package/dist/rollup.d.ts +8 -0
  18. package/dist/rollup.js +14 -0
  19. package/dist/rollup.js.map +1 -0
  20. package/dist/rspack.d.ts +7 -0
  21. package/dist/rspack.js +14 -0
  22. package/dist/rspack.js.map +1 -0
  23. package/dist/unplugin-6wnvFiEo.d.ts +17 -0
  24. package/dist/vite.d.ts +8 -17
  25. package/dist/vite.js +13 -33
  26. package/dist/vite.js.map +1 -1
  27. package/dist/webpack.d.ts +8 -0
  28. package/dist/webpack.js +14 -0
  29. package/dist/webpack.js.map +1 -0
  30. package/package.json +40 -22
  31. package/dist/analyzer/index.d.ts +0 -6
  32. package/dist/analyzer/index.d.ts.map +0 -1
  33. package/dist/analyzer/index.js +0 -6
  34. package/dist/analyzer/index.js.map +0 -1
  35. package/dist/analyzer/scope.d.ts +0 -77
  36. package/dist/analyzer/scope.d.ts.map +0 -1
  37. package/dist/analyzer/scope.js +0 -296
  38. package/dist/analyzer/scope.js.map +0 -1
  39. package/dist/analyzer/validator.d.ts +0 -60
  40. package/dist/analyzer/validator.d.ts.map +0 -1
  41. package/dist/analyzer/validator.js +0 -439
  42. package/dist/analyzer/validator.js.map +0 -1
  43. package/dist/api/compile-mel-patch-collector.d.ts +0 -32
  44. package/dist/api/compile-mel-patch-collector.d.ts.map +0 -1
  45. package/dist/api/compile-mel-patch-collector.js +0 -425
  46. package/dist/api/compile-mel-patch-collector.js.map +0 -1
  47. package/dist/api/compile-mel-patch-expr.d.ts +0 -9
  48. package/dist/api/compile-mel-patch-expr.d.ts.map +0 -1
  49. package/dist/api/compile-mel-patch-expr.js +0 -179
  50. package/dist/api/compile-mel-patch-expr.js.map +0 -1
  51. package/dist/api/compile-mel-patch-location.d.ts +0 -10
  52. package/dist/api/compile-mel-patch-location.d.ts.map +0 -1
  53. package/dist/api/compile-mel-patch-location.js +0 -48
  54. package/dist/api/compile-mel-patch-location.js.map +0 -1
  55. package/dist/api/compile-mel-patch.d.ts +0 -6
  56. package/dist/api/compile-mel-patch.d.ts.map +0 -1
  57. package/dist/api/compile-mel-patch.js +0 -244
  58. package/dist/api/compile-mel-patch.js.map +0 -1
  59. package/dist/api/compile-mel.d.ts +0 -126
  60. package/dist/api/compile-mel.d.ts.map +0 -1
  61. package/dist/api/compile-mel.js +0 -114
  62. package/dist/api/compile-mel.js.map +0 -1
  63. package/dist/api/index.d.ts +0 -10
  64. package/dist/api/index.d.ts.map +0 -1
  65. package/dist/api/index.js +0 -9
  66. package/dist/api/index.js.map +0 -1
  67. package/dist/diagnostics/codes.d.ts +0 -25
  68. package/dist/diagnostics/codes.d.ts.map +0 -1
  69. package/dist/diagnostics/codes.js +0 -154
  70. package/dist/diagnostics/codes.js.map +0 -1
  71. package/dist/diagnostics/index.d.ts +0 -6
  72. package/dist/diagnostics/index.d.ts.map +0 -1
  73. package/dist/diagnostics/index.js +0 -6
  74. package/dist/diagnostics/index.js.map +0 -1
  75. package/dist/diagnostics/types.d.ts +0 -67
  76. package/dist/diagnostics/types.d.ts.map +0 -1
  77. package/dist/diagnostics/types.js +0 -58
  78. package/dist/diagnostics/types.js.map +0 -1
  79. package/dist/evaluation/context.d.ts +0 -91
  80. package/dist/evaluation/context.d.ts.map +0 -1
  81. package/dist/evaluation/context.js +0 -53
  82. package/dist/evaluation/context.js.map +0 -1
  83. package/dist/evaluation/evaluate-expr.d.ts +0 -24
  84. package/dist/evaluation/evaluate-expr.d.ts.map +0 -1
  85. package/dist/evaluation/evaluate-expr.js +0 -577
  86. package/dist/evaluation/evaluate-expr.js.map +0 -1
  87. package/dist/evaluation/evaluate-patch.d.ts +0 -123
  88. package/dist/evaluation/evaluate-patch.d.ts.map +0 -1
  89. package/dist/evaluation/evaluate-patch.js +0 -202
  90. package/dist/evaluation/evaluate-patch.js.map +0 -1
  91. package/dist/evaluation/evaluate-runtime-patch.d.ts +0 -86
  92. package/dist/evaluation/evaluate-runtime-patch.d.ts.map +0 -1
  93. package/dist/evaluation/evaluate-runtime-patch.js +0 -185
  94. package/dist/evaluation/evaluate-runtime-patch.js.map +0 -1
  95. package/dist/evaluation/index.d.ts +0 -15
  96. package/dist/evaluation/index.d.ts.map +0 -1
  97. package/dist/evaluation/index.js +0 -13
  98. package/dist/evaluation/index.js.map +0 -1
  99. package/dist/generator/index.d.ts +0 -7
  100. package/dist/generator/index.d.ts.map +0 -1
  101. package/dist/generator/index.js +0 -7
  102. package/dist/generator/index.js.map +0 -1
  103. package/dist/generator/ir.d.ts +0 -348
  104. package/dist/generator/ir.d.ts.map +0 -1
  105. package/dist/generator/ir.js +0 -715
  106. package/dist/generator/ir.js.map +0 -1
  107. package/dist/generator/lowering.d.ts +0 -11
  108. package/dist/generator/lowering.d.ts.map +0 -1
  109. package/dist/generator/lowering.js +0 -369
  110. package/dist/generator/lowering.js.map +0 -1
  111. package/dist/generator/normalizer.d.ts +0 -16
  112. package/dist/generator/normalizer.d.ts.map +0 -1
  113. package/dist/generator/normalizer.js +0 -181
  114. package/dist/generator/normalizer.js.map +0 -1
  115. package/dist/index.d.ts.map +0 -1
  116. package/dist/lexer/index.d.ts +0 -7
  117. package/dist/lexer/index.d.ts.map +0 -1
  118. package/dist/lexer/index.js +0 -7
  119. package/dist/lexer/index.js.map +0 -1
  120. package/dist/lexer/lexer.d.ts +0 -59
  121. package/dist/lexer/lexer.d.ts.map +0 -1
  122. package/dist/lexer/lexer.js +0 -433
  123. package/dist/lexer/lexer.js.map +0 -1
  124. package/dist/lexer/source-location.d.ts +0 -41
  125. package/dist/lexer/source-location.d.ts.map +0 -1
  126. package/dist/lexer/source-location.js +0 -33
  127. package/dist/lexer/source-location.js.map +0 -1
  128. package/dist/lexer/tokens.d.ts +0 -47
  129. package/dist/lexer/tokens.d.ts.map +0 -1
  130. package/dist/lexer/tokens.js +0 -73
  131. package/dist/lexer/tokens.js.map +0 -1
  132. package/dist/loader.d.ts +0 -23
  133. package/dist/loader.d.ts.map +0 -1
  134. package/dist/loader.js +0 -62
  135. package/dist/loader.js.map +0 -1
  136. package/dist/lowering/context.d.ts +0 -96
  137. package/dist/lowering/context.d.ts.map +0 -1
  138. package/dist/lowering/context.js +0 -42
  139. package/dist/lowering/context.js.map +0 -1
  140. package/dist/lowering/errors.d.ts +0 -84
  141. package/dist/lowering/errors.d.ts.map +0 -1
  142. package/dist/lowering/errors.js +0 -81
  143. package/dist/lowering/errors.js.map +0 -1
  144. package/dist/lowering/index.d.ts +0 -20
  145. package/dist/lowering/index.d.ts.map +0 -1
  146. package/dist/lowering/index.js +0 -13
  147. package/dist/lowering/index.js.map +0 -1
  148. package/dist/lowering/lower-expr.d.ts +0 -76
  149. package/dist/lowering/lower-expr.d.ts.map +0 -1
  150. package/dist/lowering/lower-expr.js +0 -366
  151. package/dist/lowering/lower-expr.js.map +0 -1
  152. package/dist/lowering/lower-patch.d.ts +0 -231
  153. package/dist/lowering/lower-patch.d.ts.map +0 -1
  154. package/dist/lowering/lower-patch.js +0 -146
  155. package/dist/lowering/lower-patch.js.map +0 -1
  156. package/dist/lowering/lower-runtime-patch.d.ts +0 -100
  157. package/dist/lowering/lower-runtime-patch.d.ts.map +0 -1
  158. package/dist/lowering/lower-runtime-patch.js +0 -49
  159. package/dist/lowering/lower-runtime-patch.js.map +0 -1
  160. package/dist/mel-module.d.ts +0 -13
  161. package/dist/mel-module.d.ts.map +0 -1
  162. package/dist/mel-module.js +0 -33
  163. package/dist/mel-module.js.map +0 -1
  164. package/dist/parser/ast.d.ts +0 -344
  165. package/dist/parser/ast.d.ts.map +0 -1
  166. package/dist/parser/ast.js +0 -24
  167. package/dist/parser/ast.js.map +0 -1
  168. package/dist/parser/index.d.ts +0 -7
  169. package/dist/parser/index.d.ts.map +0 -1
  170. package/dist/parser/index.js +0 -7
  171. package/dist/parser/index.js.map +0 -1
  172. package/dist/parser/parser.d.ts +0 -92
  173. package/dist/parser/parser.d.ts.map +0 -1
  174. package/dist/parser/parser.js +0 -892
  175. package/dist/parser/parser.js.map +0 -1
  176. package/dist/parser/precedence.d.ts +0 -44
  177. package/dist/parser/precedence.d.ts.map +0 -1
  178. package/dist/parser/precedence.js +0 -69
  179. package/dist/parser/precedence.js.map +0 -1
  180. package/dist/renderer/expr-node.d.ts +0 -172
  181. package/dist/renderer/expr-node.d.ts.map +0 -1
  182. package/dist/renderer/expr-node.js +0 -218
  183. package/dist/renderer/expr-node.js.map +0 -1
  184. package/dist/renderer/fragment.d.ts +0 -84
  185. package/dist/renderer/fragment.d.ts.map +0 -1
  186. package/dist/renderer/fragment.js +0 -172
  187. package/dist/renderer/fragment.js.map +0 -1
  188. package/dist/renderer/index.d.ts +0 -23
  189. package/dist/renderer/index.d.ts.map +0 -1
  190. package/dist/renderer/index.js +0 -27
  191. package/dist/renderer/index.js.map +0 -1
  192. package/dist/renderer/patch-op.d.ts +0 -82
  193. package/dist/renderer/patch-op.d.ts.map +0 -1
  194. package/dist/renderer/patch-op.js +0 -204
  195. package/dist/renderer/patch-op.js.map +0 -1
  196. package/dist/renderer/type-expr.d.ts +0 -61
  197. package/dist/renderer/type-expr.d.ts.map +0 -1
  198. package/dist/renderer/type-expr.js +0 -131
  199. package/dist/renderer/type-expr.js.map +0 -1
  200. package/dist/vite.d.ts.map +0 -1
  201. package/loader.cjs +0 -22
@@ -1,146 +0,0 @@
1
- /**
2
- * Patch Lowering
3
- *
4
- * Transforms PatchFragment[] (MEL IR) to ConditionalPatchOp[] (Core IR).
5
- *
6
- * @see SPEC v0.4.0 §17.4, §17.5
7
- */
8
- import { lowerExprNode } from "./lower-expr.js";
9
- // ============ Lowering Functions ============
10
- /**
11
- * Lower PatchFragment[] to SchemaConditionalPatchOp[].
12
- *
13
- * Transforms MEL IR expressions to Core IR expressions.
14
- * Preserves fragment conditions for evaluation phase.
15
- *
16
- * @param fragments - MEL IR patch fragments from Translator
17
- * @param ctx - Patch lowering context
18
- * @returns Core IR schema conditional patch operations
19
- *
20
- * @see SPEC v0.4.0 §17.5
21
- */
22
- export function lowerPatchFragments(fragments, ctx) {
23
- return fragments.map((fragment) => lowerPatchFragment(fragment, ctx));
24
- }
25
- /**
26
- * Lower a single PatchFragment to SchemaConditionalPatchOp.
27
- */
28
- function lowerPatchFragment(fragment, ctx) {
29
- // Lower condition if present
30
- const condition = fragment.condition
31
- ? lowerExprNode(fragment.condition, createExprContext(ctx, "action"))
32
- : undefined;
33
- // Lower the operation
34
- const op = lowerPatchOp(fragment.op, ctx);
35
- return {
36
- fragmentId: fragment.fragmentId,
37
- condition,
38
- op,
39
- confidence: fragment.confidence,
40
- };
41
- }
42
- /**
43
- * Lower a MelPatchOp to LoweredPatchOp.
44
- *
45
- * Determines context per op-field per AD-COMP-LOW-002.
46
- */
47
- function lowerPatchOp(op, ctx) {
48
- switch (op.kind) {
49
- case "addType":
50
- return {
51
- kind: "addType",
52
- typeName: op.typeName,
53
- typeExpr: lowerTypeExpr(op.typeExpr),
54
- };
55
- case "addField":
56
- return {
57
- kind: "addField",
58
- typeName: op.typeName,
59
- field: {
60
- name: op.field.name,
61
- type: lowerTypeExpr(op.field.type),
62
- optional: op.field.optional,
63
- defaultValue: op.field.defaultValue,
64
- },
65
- };
66
- case "setFieldType":
67
- return {
68
- kind: "setFieldType",
69
- path: op.path,
70
- typeExpr: lowerTypeExpr(op.typeExpr),
71
- };
72
- case "setDefaultValue":
73
- return {
74
- kind: "setDefaultValue",
75
- path: op.path,
76
- value: op.value,
77
- };
78
- case "addConstraint":
79
- // addConstraint.rule → schema context (no $item)
80
- return {
81
- kind: "addConstraint",
82
- targetPath: op.targetPath,
83
- rule: lowerExprNode(op.rule, createExprContext(ctx, "schema")),
84
- message: op.message,
85
- };
86
- case "addComputed":
87
- // addComputed.expr → schema context (no $item)
88
- return {
89
- kind: "addComputed",
90
- name: op.name,
91
- expr: lowerExprNode(op.expr, createExprContext(ctx, "schema")),
92
- deps: op.deps,
93
- };
94
- case "addActionAvailable":
95
- // addActionAvailable.expr → schema context (no $item)
96
- return {
97
- kind: "addActionAvailable",
98
- actionName: op.actionName,
99
- expr: lowerExprNode(op.expr, createExprContext(ctx, "schema")),
100
- };
101
- }
102
- }
103
- /**
104
- * Lower TypeExpr (pass-through, no expressions inside).
105
- */
106
- function lowerTypeExpr(typeExpr) {
107
- switch (typeExpr.kind) {
108
- case "primitive":
109
- return { kind: "primitive", name: typeExpr.name };
110
- case "array":
111
- return { kind: "array", element: lowerTypeExpr(typeExpr.element) };
112
- case "object":
113
- return {
114
- kind: "object",
115
- fields: typeExpr.fields.map((f) => ({
116
- name: f.name,
117
- type: lowerTypeExpr(f.type),
118
- optional: f.optional,
119
- })),
120
- };
121
- case "union":
122
- return {
123
- kind: "union",
124
- members: typeExpr.members.map(lowerTypeExpr),
125
- };
126
- case "literal":
127
- return { kind: "literal", value: typeExpr.value };
128
- case "ref":
129
- return { kind: "ref", name: typeExpr.name };
130
- }
131
- }
132
- /**
133
- * Create expression lowering context from patch context.
134
- *
135
- * @see AD-COMP-LOW-002
136
- */
137
- function createExprContext(patchCtx, mode) {
138
- return {
139
- mode,
140
- allowSysPaths: patchCtx.allowSysPaths,
141
- fnTableVersion: patchCtx.fnTableVersion,
142
- actionName: patchCtx.actionName,
143
- allowItem: false, // Only true for effect.args (not in schema ops)
144
- };
145
- }
146
- //# sourceMappingURL=lower-patch.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"lower-patch.js","sourceRoot":"","sources":["../../src/lowering/lower-patch.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,aAAa,EAAe,MAAM,iBAAiB,CAAC;AA+K7D,+CAA+C;AAE/C;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CACjC,SAA6B,EAC7B,GAAyB;IAEzB,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;AACxE,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,QAA0B,EAC1B,GAAyB;IAEzB,6BAA6B;IAC7B,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS;QAClC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACrE,CAAC,CAAC,SAAS,CAAC;IAEd,sBAAsB;IACtB,MAAM,EAAE,GAAG,YAAY,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAE1C,OAAO;QACL,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,SAAS;QACT,EAAE;QACF,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,EAAc,EAAE,GAAyB;IAC7D,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,EAAE,CAAC,QAAQ;gBACrB,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC,QAAQ,CAAC;aACrC,CAAC;QAEJ,KAAK,UAAU;YACb,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,EAAE,CAAC,QAAQ;gBACrB,KAAK,EAAE;oBACL,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI;oBACnB,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;oBAClC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ;oBAC3B,YAAY,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY;iBACpC;aACF,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC,QAAQ,CAAC;aACrC,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,KAAK,EAAE,EAAE,CAAC,KAAK;aAChB,CAAC;QAEJ,KAAK,eAAe;YAClB,iDAAiD;YACjD,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAC9D,OAAO,EAAE,EAAE,CAAC,OAAO;aACpB,CAAC;QAEJ,KAAK,aAAa;YAChB,+CAA+C;YAC/C,OAAO;gBACL,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAC9D,IAAI,EAAE,EAAE,CAAC,IAAI;aACd,CAAC;QAEJ,KAAK,oBAAoB;YACvB,sDAAsD;YACtD,OAAO;gBACL,IAAI,EAAE,oBAAoB;gBAC1B,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;aAC/D,CAAC;IACN,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,QAAqB;IAC1C,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,WAAW;YACd,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;QAEpD,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAErE,KAAK,QAAQ;YACX,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAClC,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;oBAC3B,QAAQ,EAAE,CAAC,CAAC,QAAQ;iBACrB,CAAC,CAAC;aACJ,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC;aAC7C,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;QAEpD,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;IAChD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CACxB,QAA8B,EAC9B,IAAyB;IAEzB,OAAO;QACL,IAAI;QACJ,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,SAAS,EAAE,KAAK,EAAE,gDAAgD;KACnE,CAAC;AACJ,CAAC"}
@@ -1,100 +0,0 @@
1
- /**
2
- * Runtime Patch Lowering
3
- *
4
- * Transforms MEL runtime patches (set/unset/merge) to Core IR.
5
- *
6
- * @see SPEC v0.4.0 §17.5
7
- */
8
- import type { ExprNode as CoreExprNode } from "@manifesto-ai/core";
9
- import type { ExprLoweringContext } from "./context.js";
10
- import type { MelExprNode } from "./lower-expr.js";
11
- /**
12
- * MEL runtime patch operation type.
13
- *
14
- * @see SPEC v0.4.0 §17.5
15
- */
16
- export type MelRuntimePatchOp = "set" | "unset" | "merge";
17
- /**
18
- * MEL runtime patch (Translator output for action patches).
19
- *
20
- * Contains MEL IR expressions that need lowering to Core IR.
21
- */
22
- export interface MelRuntimePatch {
23
- /**
24
- * Optional condition (MEL IR).
25
- * If present, patch is only applied when condition evaluates to true.
26
- */
27
- condition?: MelExprNode;
28
- /**
29
- * Patch operation type.
30
- */
31
- op: MelRuntimePatchOp;
32
- /**
33
- * Target path in snapshot.
34
- * Uses Core path convention (no $ prefix for data paths).
35
- */
36
- path: string;
37
- /**
38
- * Value expression (MEL IR) for set/merge operations.
39
- * Required for "set" and "merge", forbidden for "unset".
40
- */
41
- value?: MelExprNode;
42
- }
43
- /**
44
- * Runtime ConditionalPatchOp for snapshot state mutations.
45
- *
46
- * This is the intermediate representation between Translator output
47
- * and final concrete Patch[]. Host must call evaluateRuntimePatches()
48
- * to get concrete values.
49
- *
50
- * @see SPEC v0.4.0 §17.5, §20
51
- */
52
- export interface RuntimeConditionalPatchOp {
53
- /**
54
- * Optional condition expression (Core IR).
55
- * If present, patch is only applied when condition evaluates to true.
56
- *
57
- * @see SPEC v0.4.0 §18.6 (boolean-only conditions)
58
- */
59
- condition?: CoreExprNode;
60
- /**
61
- * Patch operation type.
62
- */
63
- op: "set" | "unset" | "merge";
64
- /**
65
- * Target path in snapshot.
66
- *
67
- * @see SPEC v0.4.0 §18.7 for path resolution rules
68
- */
69
- path: string;
70
- /**
71
- * Value expression (Core IR) for set/merge operations.
72
- * Required for "set" and "merge", undefined for "unset".
73
- */
74
- value?: CoreExprNode;
75
- }
76
- /**
77
- * Lower MEL runtime patches to Core IR.
78
- *
79
- * Transforms MEL IR expressions to Core IR expressions.
80
- * The returned patches still contain expressions that need to be
81
- * evaluated by evaluateRuntimePatches() to get concrete values.
82
- *
83
- * @param patches - MEL IR runtime patches from Translator
84
- * @param ctx - Expression lowering context
85
- * @returns Core IR runtime conditional patches
86
- *
87
- * @see SPEC v0.4.0 §17.5
88
- */
89
- export declare function lowerRuntimePatches(patches: MelRuntimePatch[], ctx: ExprLoweringContext): RuntimeConditionalPatchOp[];
90
- /**
91
- * Lower a single MEL runtime patch to Core IR.
92
- */
93
- declare function lowerRuntimePatch(patch: MelRuntimePatch, ctx: ExprLoweringContext): RuntimeConditionalPatchOp;
94
- /**
95
- * Lower a single MEL runtime patch to Core IR.
96
- *
97
- * Exported for cases where individual patch lowering is needed.
98
- */
99
- export { lowerRuntimePatch };
100
- //# sourceMappingURL=lower-runtime-patch.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"lower-runtime-patch.d.ts","sourceRoot":"","sources":["../../src/lowering/lower-runtime-patch.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,IAAI,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAKnD;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,KAAK,GAAG,OAAO,GAAG,OAAO,CAAC;AAE1D;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B;;;OAGG;IACH,SAAS,CAAC,EAAE,WAAW,CAAC;IAExB;;OAEG;IACH,EAAE,EAAE,iBAAiB,CAAC;IAEtB;;;OAGG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;;OAGG;IACH,KAAK,CAAC,EAAE,WAAW,CAAC;CACrB;AAID;;;;;;;;GAQG;AACH,MAAM,WAAW,yBAAyB;IACxC;;;;;OAKG;IACH,SAAS,CAAC,EAAE,YAAY,CAAC;IAEzB;;OAEG;IACH,EAAE,EAAE,KAAK,GAAG,OAAO,GAAG,OAAO,CAAC;IAE9B;;;;OAIG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;;OAGG;IACH,KAAK,CAAC,EAAE,YAAY,CAAC;CACtB;AAID;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,eAAe,EAAE,EAC1B,GAAG,EAAE,mBAAmB,GACvB,yBAAyB,EAAE,CAE7B;AAED;;GAEG;AACH,iBAAS,iBAAiB,CACxB,KAAK,EAAE,eAAe,EACtB,GAAG,EAAE,mBAAmB,GACvB,yBAAyB,CAe3B;AAED;;;;GAIG;AACH,OAAO,EAAE,iBAAiB,EAAE,CAAC"}
@@ -1,49 +0,0 @@
1
- /**
2
- * Runtime Patch Lowering
3
- *
4
- * Transforms MEL runtime patches (set/unset/merge) to Core IR.
5
- *
6
- * @see SPEC v0.4.0 §17.5
7
- */
8
- import { lowerExprNode } from "./lower-expr.js";
9
- // ============ Lowering Function ============
10
- /**
11
- * Lower MEL runtime patches to Core IR.
12
- *
13
- * Transforms MEL IR expressions to Core IR expressions.
14
- * The returned patches still contain expressions that need to be
15
- * evaluated by evaluateRuntimePatches() to get concrete values.
16
- *
17
- * @param patches - MEL IR runtime patches from Translator
18
- * @param ctx - Expression lowering context
19
- * @returns Core IR runtime conditional patches
20
- *
21
- * @see SPEC v0.4.0 §17.5
22
- */
23
- export function lowerRuntimePatches(patches, ctx) {
24
- return patches.map((patch) => lowerRuntimePatch(patch, ctx));
25
- }
26
- /**
27
- * Lower a single MEL runtime patch to Core IR.
28
- */
29
- function lowerRuntimePatch(patch, ctx) {
30
- // Lower condition if present
31
- const condition = patch.condition
32
- ? lowerExprNode(patch.condition, ctx)
33
- : undefined;
34
- // Lower value if present (required for set/merge, forbidden for unset)
35
- const value = patch.value ? lowerExprNode(patch.value, ctx) : undefined;
36
- return {
37
- condition,
38
- op: patch.op,
39
- path: patch.path,
40
- value,
41
- };
42
- }
43
- /**
44
- * Lower a single MEL runtime patch to Core IR.
45
- *
46
- * Exported for cases where individual patch lowering is needed.
47
- */
48
- export { lowerRuntimePatch };
49
- //# sourceMappingURL=lower-runtime-patch.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"lower-runtime-patch.js","sourceRoot":"","sources":["../../src/lowering/lower-runtime-patch.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAgFhD,8CAA8C;AAE9C;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAA0B,EAC1B,GAAwB;IAExB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CACxB,KAAsB,EACtB,GAAwB;IAExB,6BAA6B;IAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS;QAC/B,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC;QACrC,CAAC,CAAC,SAAS,CAAC;IAEd,uEAAuE;IACvE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAExE,OAAO;QACL,SAAS;QACT,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK;KACN,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,OAAO,EAAE,iBAAiB,EAAE,CAAC"}
@@ -1,13 +0,0 @@
1
- /**
2
- * MEL Module Helpers
3
- *
4
- * Utilities for turning MEL source into JavaScript module code.
5
- */
6
- /**
7
- * Compile MEL source and emit ESM source that exports the compiled schema.
8
- *
9
- * @param melSource - MEL domain source text
10
- * @param sourceId - Human-readable source identifier for diagnostics
11
- */
12
- export declare function compileMelToModuleCode(melSource: string, sourceId: string): string;
13
- //# sourceMappingURL=mel-module.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"mel-module.d.ts","sourceRoot":"","sources":["../src/mel-module.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAgBH;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAclF"}
@@ -1,33 +0,0 @@
1
- /**
2
- * MEL Module Helpers
3
- *
4
- * Utilities for turning MEL source into JavaScript module code.
5
- */
6
- import { compileMelDomain } from "./api/index.js";
7
- function formatDiagnostic(diagnostic) {
8
- const location = diagnostic.location;
9
- if (!location) {
10
- return `[${diagnostic.code}] ${diagnostic.message}`;
11
- }
12
- const { line, column } = location.start;
13
- return `[${diagnostic.code}] ${diagnostic.message} (${line}:${column})`;
14
- }
15
- /**
16
- * Compile MEL source and emit ESM source that exports the compiled schema.
17
- *
18
- * @param melSource - MEL domain source text
19
- * @param sourceId - Human-readable source identifier for diagnostics
20
- */
21
- export function compileMelToModuleCode(melSource, sourceId) {
22
- const result = compileMelDomain(melSource, { mode: "domain" });
23
- if (result.errors.length > 0) {
24
- const details = result.errors.map(formatDiagnostic).join("\n");
25
- throw new Error(`MEL compilation failed for ${sourceId}\n${details}`);
26
- }
27
- if (!result.schema) {
28
- throw new Error(`MEL compilation produced no schema for ${sourceId}`);
29
- }
30
- const serializedSchema = JSON.stringify(result.schema, null, 2);
31
- return `export default ${serializedSchema};\n`;
32
- }
33
- //# sourceMappingURL=mel-module.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"mel-module.js","sourceRoot":"","sources":["../src/mel-module.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAElD,SAAS,gBAAgB,CAAC,UAAsB;IAC9C,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;IAErC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,OAAO,EAAE,CAAC;IACtD,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;IACxC,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,OAAO,KAAK,IAAI,IAAI,MAAM,GAAG,CAAC;AAC1E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,SAAiB,EAAE,QAAgB;IACxE,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAE/D,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,KAAK,OAAO,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,0CAA0C,QAAQ,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAChE,OAAO,kBAAkB,gBAAgB,KAAK,CAAC;AACjD,CAAC"}