@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.
- package/README.md +67 -18
- package/dist/chunk-BH25NHMN.js +74 -0
- package/dist/chunk-BH25NHMN.js.map +1 -0
- package/dist/chunk-D62NIFP4.js +33 -0
- package/dist/chunk-D62NIFP4.js.map +1 -0
- package/dist/chunk-MKLDAZ2Z.js +6920 -0
- package/dist/chunk-MKLDAZ2Z.js.map +1 -0
- package/dist/esbuild.d.ts +8 -0
- package/dist/esbuild.js +14 -0
- package/dist/esbuild.js.map +1 -0
- package/dist/index.d.ts +2810 -11
- package/dist/index.js +2425 -43
- package/dist/index.js.map +1 -1
- package/dist/node-loader.d.ts +18 -0
- package/dist/node-loader.js +47 -0
- package/dist/node-loader.js.map +1 -0
- package/dist/rollup.d.ts +8 -0
- package/dist/rollup.js +14 -0
- package/dist/rollup.js.map +1 -0
- package/dist/rspack.d.ts +7 -0
- package/dist/rspack.js +14 -0
- package/dist/rspack.js.map +1 -0
- package/dist/unplugin-6wnvFiEo.d.ts +17 -0
- package/dist/vite.d.ts +8 -17
- package/dist/vite.js +13 -33
- package/dist/vite.js.map +1 -1
- package/dist/webpack.d.ts +8 -0
- package/dist/webpack.js +14 -0
- package/dist/webpack.js.map +1 -0
- package/package.json +40 -22
- package/dist/analyzer/index.d.ts +0 -6
- package/dist/analyzer/index.d.ts.map +0 -1
- package/dist/analyzer/index.js +0 -6
- package/dist/analyzer/index.js.map +0 -1
- package/dist/analyzer/scope.d.ts +0 -77
- package/dist/analyzer/scope.d.ts.map +0 -1
- package/dist/analyzer/scope.js +0 -296
- package/dist/analyzer/scope.js.map +0 -1
- package/dist/analyzer/validator.d.ts +0 -60
- package/dist/analyzer/validator.d.ts.map +0 -1
- package/dist/analyzer/validator.js +0 -439
- package/dist/analyzer/validator.js.map +0 -1
- package/dist/api/compile-mel-patch-collector.d.ts +0 -32
- package/dist/api/compile-mel-patch-collector.d.ts.map +0 -1
- package/dist/api/compile-mel-patch-collector.js +0 -425
- package/dist/api/compile-mel-patch-collector.js.map +0 -1
- package/dist/api/compile-mel-patch-expr.d.ts +0 -9
- package/dist/api/compile-mel-patch-expr.d.ts.map +0 -1
- package/dist/api/compile-mel-patch-expr.js +0 -179
- package/dist/api/compile-mel-patch-expr.js.map +0 -1
- package/dist/api/compile-mel-patch-location.d.ts +0 -10
- package/dist/api/compile-mel-patch-location.d.ts.map +0 -1
- package/dist/api/compile-mel-patch-location.js +0 -48
- package/dist/api/compile-mel-patch-location.js.map +0 -1
- package/dist/api/compile-mel-patch.d.ts +0 -6
- package/dist/api/compile-mel-patch.d.ts.map +0 -1
- package/dist/api/compile-mel-patch.js +0 -244
- package/dist/api/compile-mel-patch.js.map +0 -1
- package/dist/api/compile-mel.d.ts +0 -126
- package/dist/api/compile-mel.d.ts.map +0 -1
- package/dist/api/compile-mel.js +0 -114
- package/dist/api/compile-mel.js.map +0 -1
- package/dist/api/index.d.ts +0 -10
- package/dist/api/index.d.ts.map +0 -1
- package/dist/api/index.js +0 -9
- package/dist/api/index.js.map +0 -1
- package/dist/diagnostics/codes.d.ts +0 -25
- package/dist/diagnostics/codes.d.ts.map +0 -1
- package/dist/diagnostics/codes.js +0 -154
- package/dist/diagnostics/codes.js.map +0 -1
- package/dist/diagnostics/index.d.ts +0 -6
- package/dist/diagnostics/index.d.ts.map +0 -1
- package/dist/diagnostics/index.js +0 -6
- package/dist/diagnostics/index.js.map +0 -1
- package/dist/diagnostics/types.d.ts +0 -67
- package/dist/diagnostics/types.d.ts.map +0 -1
- package/dist/diagnostics/types.js +0 -58
- package/dist/diagnostics/types.js.map +0 -1
- package/dist/evaluation/context.d.ts +0 -91
- package/dist/evaluation/context.d.ts.map +0 -1
- package/dist/evaluation/context.js +0 -53
- package/dist/evaluation/context.js.map +0 -1
- package/dist/evaluation/evaluate-expr.d.ts +0 -24
- package/dist/evaluation/evaluate-expr.d.ts.map +0 -1
- package/dist/evaluation/evaluate-expr.js +0 -577
- package/dist/evaluation/evaluate-expr.js.map +0 -1
- package/dist/evaluation/evaluate-patch.d.ts +0 -123
- package/dist/evaluation/evaluate-patch.d.ts.map +0 -1
- package/dist/evaluation/evaluate-patch.js +0 -202
- package/dist/evaluation/evaluate-patch.js.map +0 -1
- package/dist/evaluation/evaluate-runtime-patch.d.ts +0 -86
- package/dist/evaluation/evaluate-runtime-patch.d.ts.map +0 -1
- package/dist/evaluation/evaluate-runtime-patch.js +0 -185
- package/dist/evaluation/evaluate-runtime-patch.js.map +0 -1
- package/dist/evaluation/index.d.ts +0 -15
- package/dist/evaluation/index.d.ts.map +0 -1
- package/dist/evaluation/index.js +0 -13
- package/dist/evaluation/index.js.map +0 -1
- package/dist/generator/index.d.ts +0 -7
- package/dist/generator/index.d.ts.map +0 -1
- package/dist/generator/index.js +0 -7
- package/dist/generator/index.js.map +0 -1
- package/dist/generator/ir.d.ts +0 -348
- package/dist/generator/ir.d.ts.map +0 -1
- package/dist/generator/ir.js +0 -715
- package/dist/generator/ir.js.map +0 -1
- package/dist/generator/lowering.d.ts +0 -11
- package/dist/generator/lowering.d.ts.map +0 -1
- package/dist/generator/lowering.js +0 -369
- package/dist/generator/lowering.js.map +0 -1
- package/dist/generator/normalizer.d.ts +0 -16
- package/dist/generator/normalizer.d.ts.map +0 -1
- package/dist/generator/normalizer.js +0 -181
- package/dist/generator/normalizer.js.map +0 -1
- package/dist/index.d.ts.map +0 -1
- package/dist/lexer/index.d.ts +0 -7
- package/dist/lexer/index.d.ts.map +0 -1
- package/dist/lexer/index.js +0 -7
- package/dist/lexer/index.js.map +0 -1
- package/dist/lexer/lexer.d.ts +0 -59
- package/dist/lexer/lexer.d.ts.map +0 -1
- package/dist/lexer/lexer.js +0 -433
- package/dist/lexer/lexer.js.map +0 -1
- package/dist/lexer/source-location.d.ts +0 -41
- package/dist/lexer/source-location.d.ts.map +0 -1
- package/dist/lexer/source-location.js +0 -33
- package/dist/lexer/source-location.js.map +0 -1
- package/dist/lexer/tokens.d.ts +0 -47
- package/dist/lexer/tokens.d.ts.map +0 -1
- package/dist/lexer/tokens.js +0 -73
- package/dist/lexer/tokens.js.map +0 -1
- package/dist/loader.d.ts +0 -23
- package/dist/loader.d.ts.map +0 -1
- package/dist/loader.js +0 -62
- package/dist/loader.js.map +0 -1
- package/dist/lowering/context.d.ts +0 -96
- package/dist/lowering/context.d.ts.map +0 -1
- package/dist/lowering/context.js +0 -42
- package/dist/lowering/context.js.map +0 -1
- package/dist/lowering/errors.d.ts +0 -84
- package/dist/lowering/errors.d.ts.map +0 -1
- package/dist/lowering/errors.js +0 -81
- package/dist/lowering/errors.js.map +0 -1
- package/dist/lowering/index.d.ts +0 -20
- package/dist/lowering/index.d.ts.map +0 -1
- package/dist/lowering/index.js +0 -13
- package/dist/lowering/index.js.map +0 -1
- package/dist/lowering/lower-expr.d.ts +0 -76
- package/dist/lowering/lower-expr.d.ts.map +0 -1
- package/dist/lowering/lower-expr.js +0 -366
- package/dist/lowering/lower-expr.js.map +0 -1
- package/dist/lowering/lower-patch.d.ts +0 -231
- package/dist/lowering/lower-patch.d.ts.map +0 -1
- package/dist/lowering/lower-patch.js +0 -146
- package/dist/lowering/lower-patch.js.map +0 -1
- package/dist/lowering/lower-runtime-patch.d.ts +0 -100
- package/dist/lowering/lower-runtime-patch.d.ts.map +0 -1
- package/dist/lowering/lower-runtime-patch.js +0 -49
- package/dist/lowering/lower-runtime-patch.js.map +0 -1
- package/dist/mel-module.d.ts +0 -13
- package/dist/mel-module.d.ts.map +0 -1
- package/dist/mel-module.js +0 -33
- package/dist/mel-module.js.map +0 -1
- package/dist/parser/ast.d.ts +0 -344
- package/dist/parser/ast.d.ts.map +0 -1
- package/dist/parser/ast.js +0 -24
- package/dist/parser/ast.js.map +0 -1
- package/dist/parser/index.d.ts +0 -7
- package/dist/parser/index.d.ts.map +0 -1
- package/dist/parser/index.js +0 -7
- package/dist/parser/index.js.map +0 -1
- package/dist/parser/parser.d.ts +0 -92
- package/dist/parser/parser.d.ts.map +0 -1
- package/dist/parser/parser.js +0 -892
- package/dist/parser/parser.js.map +0 -1
- package/dist/parser/precedence.d.ts +0 -44
- package/dist/parser/precedence.d.ts.map +0 -1
- package/dist/parser/precedence.js +0 -69
- package/dist/parser/precedence.js.map +0 -1
- package/dist/renderer/expr-node.d.ts +0 -172
- package/dist/renderer/expr-node.d.ts.map +0 -1
- package/dist/renderer/expr-node.js +0 -218
- package/dist/renderer/expr-node.js.map +0 -1
- package/dist/renderer/fragment.d.ts +0 -84
- package/dist/renderer/fragment.d.ts.map +0 -1
- package/dist/renderer/fragment.js +0 -172
- package/dist/renderer/fragment.js.map +0 -1
- package/dist/renderer/index.d.ts +0 -23
- package/dist/renderer/index.d.ts.map +0 -1
- package/dist/renderer/index.js +0 -27
- package/dist/renderer/index.js.map +0 -1
- package/dist/renderer/patch-op.d.ts +0 -82
- package/dist/renderer/patch-op.d.ts.map +0 -1
- package/dist/renderer/patch-op.js +0 -204
- package/dist/renderer/patch-op.js.map +0 -1
- package/dist/renderer/type-expr.d.ts +0 -61
- package/dist/renderer/type-expr.d.ts.map +0 -1
- package/dist/renderer/type-expr.js +0 -131
- package/dist/renderer/type-expr.js.map +0 -1
- package/dist/vite.d.ts.map +0 -1
- 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"}
|
package/dist/mel-module.d.ts
DELETED
|
@@ -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
|
package/dist/mel-module.d.ts.map
DELETED
|
@@ -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"}
|
package/dist/mel-module.js
DELETED
|
@@ -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
|
package/dist/mel-module.js.map
DELETED
|
@@ -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"}
|