@manifesto-ai/compiler 1.6.1 → 1.7.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 +64 -16
- package/dist/chunk-DJY6BFGK.js +74 -0
- package/dist/chunk-DJY6BFGK.js.map +1 -0
- package/dist/chunk-QP2LGMBA.js +4522 -0
- package/dist/chunk-QP2LGMBA.js.map +1 -0
- package/dist/chunk-QXLPDCLA.js +33 -0
- package/dist/chunk-QXLPDCLA.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 +2710 -11
- package/dist/index.js +2189 -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 +42 -24
- 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.d.ts +0 -126
- package/dist/api/compile-mel.d.ts.map +0 -1
- package/dist/api/compile-mel.js +0 -129
- 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 -59
- 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 -576
- 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 -153
- 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 -709
- 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 -368
- 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 -351
- 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 -203
- 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
package/dist/api/compile-mel.js
DELETED
|
@@ -1,129 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* MEL Text Ingest API
|
|
3
|
-
*
|
|
4
|
-
* Compiles MEL text to DomainSchema or RuntimeConditionalPatchOp[].
|
|
5
|
-
*
|
|
6
|
-
* @see SPEC v0.4.0 §19
|
|
7
|
-
*/
|
|
8
|
-
import { tokenize } from "../lexer/index.js";
|
|
9
|
-
import { parse } from "../parser/index.js";
|
|
10
|
-
import { generate } from "../generator/ir.js";
|
|
11
|
-
// ============ Main Functions ============
|
|
12
|
-
/**
|
|
13
|
-
* Compile MEL text to DomainSchema.
|
|
14
|
-
*
|
|
15
|
-
* Takes a complete MEL domain definition and produces a DomainSchema
|
|
16
|
-
* suitable for use with core.compute().
|
|
17
|
-
*
|
|
18
|
-
* @param melText - MEL domain source text
|
|
19
|
-
* @param options - Compilation options
|
|
20
|
-
* @returns Compilation result with schema or errors
|
|
21
|
-
*
|
|
22
|
-
* @see SPEC v0.4.0 §19.1
|
|
23
|
-
*/
|
|
24
|
-
export function compileMelDomain(melText, options) {
|
|
25
|
-
const trace = [];
|
|
26
|
-
const warnings = [];
|
|
27
|
-
const errors = [];
|
|
28
|
-
// Phase 1: Lex
|
|
29
|
-
const lexStart = performance.now();
|
|
30
|
-
let tokens;
|
|
31
|
-
try {
|
|
32
|
-
const lexResult = tokenize(melText);
|
|
33
|
-
tokens = lexResult.tokens;
|
|
34
|
-
}
|
|
35
|
-
catch (e) {
|
|
36
|
-
const error = e;
|
|
37
|
-
errors.push({
|
|
38
|
-
severity: "error",
|
|
39
|
-
code: "E_LEX",
|
|
40
|
-
message: error.message,
|
|
41
|
-
location: { start: { line: 1, column: 1, offset: 0 }, end: { line: 1, column: 1, offset: 0 } },
|
|
42
|
-
});
|
|
43
|
-
trace.push({ phase: "lex", durationMs: performance.now() - lexStart });
|
|
44
|
-
return { schema: null, trace, warnings, errors };
|
|
45
|
-
}
|
|
46
|
-
trace.push({ phase: "lex", durationMs: performance.now() - lexStart, details: { tokenCount: tokens.length } });
|
|
47
|
-
// Phase 2: Parse
|
|
48
|
-
const parseStart = performance.now();
|
|
49
|
-
let ast;
|
|
50
|
-
try {
|
|
51
|
-
const parseResult = parse(tokens);
|
|
52
|
-
const parseErrors = parseResult.diagnostics.filter(d => d.severity === "error");
|
|
53
|
-
if (parseErrors.length > 0) {
|
|
54
|
-
errors.push(...parseErrors);
|
|
55
|
-
trace.push({ phase: "parse", durationMs: performance.now() - parseStart });
|
|
56
|
-
return { schema: null, trace, warnings, errors };
|
|
57
|
-
}
|
|
58
|
-
ast = parseResult.program;
|
|
59
|
-
}
|
|
60
|
-
catch (e) {
|
|
61
|
-
const error = e;
|
|
62
|
-
errors.push({
|
|
63
|
-
severity: "error",
|
|
64
|
-
code: "E_PARSE",
|
|
65
|
-
message: error.message,
|
|
66
|
-
location: { start: { line: 1, column: 1, offset: 0 }, end: { line: 1, column: 1, offset: 0 } },
|
|
67
|
-
});
|
|
68
|
-
trace.push({ phase: "parse", durationMs: performance.now() - parseStart });
|
|
69
|
-
return { schema: null, trace, warnings, errors };
|
|
70
|
-
}
|
|
71
|
-
trace.push({ phase: "parse", durationMs: performance.now() - parseStart });
|
|
72
|
-
// Phase 3: Generate IR
|
|
73
|
-
const genStart = performance.now();
|
|
74
|
-
const genResult = generate(ast);
|
|
75
|
-
trace.push({ phase: "generate", durationMs: performance.now() - genStart });
|
|
76
|
-
// Separate warnings and errors from generation
|
|
77
|
-
for (const diag of genResult.diagnostics) {
|
|
78
|
-
if (diag.severity === "warning") {
|
|
79
|
-
warnings.push(diag);
|
|
80
|
-
}
|
|
81
|
-
else {
|
|
82
|
-
errors.push(diag);
|
|
83
|
-
}
|
|
84
|
-
}
|
|
85
|
-
return {
|
|
86
|
-
schema: genResult.schema,
|
|
87
|
-
trace,
|
|
88
|
-
warnings,
|
|
89
|
-
errors,
|
|
90
|
-
};
|
|
91
|
-
}
|
|
92
|
-
/**
|
|
93
|
-
* Compile MEL patch text to RuntimeConditionalPatchOp[].
|
|
94
|
-
*
|
|
95
|
-
* Takes MEL patch statements (set, unset, merge) and produces
|
|
96
|
-
* RuntimeConditionalPatchOp[] with Core IR expressions.
|
|
97
|
-
*
|
|
98
|
-
* The returned ops still contain expressions that need to be evaluated
|
|
99
|
-
* by evaluateRuntimePatches() to get concrete values.
|
|
100
|
-
*
|
|
101
|
-
* Constraints:
|
|
102
|
-
* - §20.3: $system.* is forbidden in Translator path
|
|
103
|
-
*
|
|
104
|
-
* @param melText - MEL patch source text
|
|
105
|
-
* @param options - Compilation options
|
|
106
|
-
* @returns Compilation result with ops or errors
|
|
107
|
-
*
|
|
108
|
-
* @see SPEC v0.4.0 §19.2
|
|
109
|
-
*/
|
|
110
|
-
export function compileMelPatch(melText, options) {
|
|
111
|
-
const trace = [];
|
|
112
|
-
const warnings = [];
|
|
113
|
-
const errors = [];
|
|
114
|
-
// Note: MEL patch text parsing is not yet implemented.
|
|
115
|
-
// For now, use lowerRuntimePatches() with MelRuntimePatch[] directly.
|
|
116
|
-
// This function will be fully implemented when MEL patch grammar is defined.
|
|
117
|
-
if (melText.trim().length > 0) {
|
|
118
|
-
warnings.push({
|
|
119
|
-
severity: "warning",
|
|
120
|
-
code: "W_NOT_IMPLEMENTED",
|
|
121
|
-
message: "MEL patch text parsing is not yet implemented. Use lowerRuntimePatches() with MelRuntimePatch[] directly.",
|
|
122
|
-
location: { start: { line: 1, column: 1, offset: 0 }, end: { line: 1, column: 1, offset: 0 } },
|
|
123
|
-
});
|
|
124
|
-
}
|
|
125
|
-
// Return empty ops for now
|
|
126
|
-
// Users should use lowerRuntimePatches() directly with MelRuntimePatch[] objects
|
|
127
|
-
return { ops: [], trace, warnings, errors };
|
|
128
|
-
}
|
|
129
|
-
//# sourceMappingURL=compile-mel.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"compile-mel.js","sourceRoot":"","sources":["../../src/api/compile-mel.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAMH,OAAO,EAAE,QAAQ,EAAc,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,KAAK,EAAoB,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAmG9C,2CAA2C;AAE3C;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAe,EACf,OAAiC;IAEjC,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAClC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,eAAe;IACf,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACnC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAC5B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,CAAU,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE;SAC/F,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC;QACvE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAE/G,iBAAiB;IACjB,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACrC,IAAI,GAAgB,CAAC;IACrB,IAAI,CAAC;QACH,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QAChF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;YAC3E,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnD,CAAC;QACD,GAAG,GAAG,WAAW,CAAC,OAAsB,CAAC;IAC3C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,CAAU,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE;SAC/F,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;QAC3E,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;IAE3E,uBAAuB;IACvB,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IACnC,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC;IAE5E,+CAA+C;IAC/C,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;QACzC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,KAAK;QACL,QAAQ;QACR,MAAM;KACP,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAe,EACf,OAA+B;IAE/B,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAClC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,uDAAuD;IACvD,sEAAsE;IACtE,6EAA6E;IAE7E,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,2GAA2G;YACpH,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE;SAC/F,CAAC,CAAC;IACL,CAAC;IAED,2BAA2B;IAC3B,iFAAiF;IACjF,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC9C,CAAC"}
|
package/dist/api/index.d.ts
DELETED
|
@@ -1,10 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Compile API
|
|
3
|
-
*
|
|
4
|
-
* MEL text ingest functions.
|
|
5
|
-
*
|
|
6
|
-
* @see SPEC v0.4.0 §19
|
|
7
|
-
*/
|
|
8
|
-
export type { CompileTrace, CompileMelDomainOptions, CompileMelDomainResult, CompileMelPatchOptions, CompileMelPatchResult, } from "./compile-mel.js";
|
|
9
|
-
export { compileMelDomain, compileMelPatch } from "./compile-mel.js";
|
|
10
|
-
//# sourceMappingURL=index.d.ts.map
|
package/dist/api/index.d.ts.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/api/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,YAAY,EACV,YAAY,EACZ,uBAAuB,EACvB,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC"}
|
package/dist/api/index.js
DELETED
package/dist/api/index.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/api/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAUH,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC"}
|
|
@@ -1,25 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* MEL Compiler Diagnostic Codes
|
|
3
|
-
* Based on MEL SPEC v0.3.3 Appendix A
|
|
4
|
-
*/
|
|
5
|
-
/**
|
|
6
|
-
* Diagnostic code information
|
|
7
|
-
*/
|
|
8
|
-
export interface DiagnosticCode {
|
|
9
|
-
code: string;
|
|
10
|
-
message: string;
|
|
11
|
-
category: "syntax" | "semantic" | "type" | "system";
|
|
12
|
-
}
|
|
13
|
-
/**
|
|
14
|
-
* All diagnostic codes
|
|
15
|
-
*/
|
|
16
|
-
export declare const DIAGNOSTIC_CODES: Record<string, DiagnosticCode>;
|
|
17
|
-
/**
|
|
18
|
-
* Get diagnostic code information
|
|
19
|
-
*/
|
|
20
|
-
export declare function getDiagnosticInfo(code: string): DiagnosticCode | undefined;
|
|
21
|
-
/**
|
|
22
|
-
* Format a diagnostic code for display
|
|
23
|
-
*/
|
|
24
|
-
export declare function formatDiagnosticCode(code: string): string;
|
|
25
|
-
//# sourceMappingURL=codes.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"codes.d.ts","sourceRoot":"","sources":["../../src/diagnostics/codes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,GAAG,UAAU,GAAG,MAAM,GAAG,QAAQ,CAAC;CACrD;AAED;;GAEG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAwI3D,CAAC;AAEF;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAE1E;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMzD"}
|
|
@@ -1,154 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* MEL Compiler Diagnostic Codes
|
|
3
|
-
* Based on MEL SPEC v0.3.3 Appendix A
|
|
4
|
-
*/
|
|
5
|
-
/**
|
|
6
|
-
* All diagnostic codes
|
|
7
|
-
*/
|
|
8
|
-
export const DIAGNOSTIC_CODES = {
|
|
9
|
-
// ============ Syntax Errors (E0xx) ============
|
|
10
|
-
E001: {
|
|
11
|
-
code: "E001",
|
|
12
|
-
message: "$system.* cannot be used in computed expressions (non-deterministic)",
|
|
13
|
-
category: "semantic",
|
|
14
|
-
},
|
|
15
|
-
E002: {
|
|
16
|
-
code: "E002",
|
|
17
|
-
message: "$system.* cannot be used in state initializers",
|
|
18
|
-
category: "semantic",
|
|
19
|
-
},
|
|
20
|
-
E003: {
|
|
21
|
-
code: "E003",
|
|
22
|
-
message: "Invalid $system reference",
|
|
23
|
-
category: "semantic",
|
|
24
|
-
},
|
|
25
|
-
E004: {
|
|
26
|
-
code: "E004",
|
|
27
|
-
message: "Identifier starts with reserved prefix '__sys__'",
|
|
28
|
-
category: "syntax",
|
|
29
|
-
},
|
|
30
|
-
// ============ v0.3.3 Errors (E0xx) ============
|
|
31
|
-
E005: {
|
|
32
|
-
code: "E005",
|
|
33
|
-
message: "available expression must be pure (no Effects, no $system.*)",
|
|
34
|
-
category: "semantic",
|
|
35
|
-
},
|
|
36
|
-
E006: {
|
|
37
|
-
code: "E006",
|
|
38
|
-
message: "fail must be inside a guard (when or once)",
|
|
39
|
-
category: "semantic",
|
|
40
|
-
},
|
|
41
|
-
E007: {
|
|
42
|
-
code: "E007",
|
|
43
|
-
message: "stop must be inside a guard (when or once)",
|
|
44
|
-
category: "semantic",
|
|
45
|
-
},
|
|
46
|
-
E008: {
|
|
47
|
-
code: "E008",
|
|
48
|
-
message: "stop message suggests waiting/pending - use 'Already processed' style instead",
|
|
49
|
-
category: "semantic",
|
|
50
|
-
},
|
|
51
|
-
E009: {
|
|
52
|
-
code: "E009",
|
|
53
|
-
message: "Primitive aggregation (sum, min, max) only allowed in computed",
|
|
54
|
-
category: "semantic",
|
|
55
|
-
},
|
|
56
|
-
E010: {
|
|
57
|
-
code: "E010",
|
|
58
|
-
message: "Primitive aggregation does not allow composition - use direct reference only",
|
|
59
|
-
category: "semantic",
|
|
60
|
-
},
|
|
61
|
-
E011: {
|
|
62
|
-
code: "E011",
|
|
63
|
-
message: "reduce/fold/scan is forbidden - use sum, min, max for aggregation",
|
|
64
|
-
category: "semantic",
|
|
65
|
-
},
|
|
66
|
-
// ============ Scope Errors (E1xx) ============
|
|
67
|
-
E_UNDEFINED: {
|
|
68
|
-
code: "E_UNDEFINED",
|
|
69
|
-
message: "Undefined identifier",
|
|
70
|
-
category: "semantic",
|
|
71
|
-
},
|
|
72
|
-
E_DUPLICATE: {
|
|
73
|
-
code: "E_DUPLICATE",
|
|
74
|
-
message: "Duplicate identifier",
|
|
75
|
-
category: "semantic",
|
|
76
|
-
},
|
|
77
|
-
E_INVALID_ACCESS: {
|
|
78
|
-
code: "E_INVALID_ACCESS",
|
|
79
|
-
message: "Invalid access to identifier in this context",
|
|
80
|
-
category: "semantic",
|
|
81
|
-
},
|
|
82
|
-
// ============ Statement Errors (E2xx) ============
|
|
83
|
-
E_UNGUARDED_STMT: {
|
|
84
|
-
code: "E_UNGUARDED_STMT",
|
|
85
|
-
message: "Statement must be inside a guard (when or once)",
|
|
86
|
-
category: "semantic",
|
|
87
|
-
},
|
|
88
|
-
E_UNGUARDED_PATCH: {
|
|
89
|
-
code: "E_UNGUARDED_PATCH",
|
|
90
|
-
message: "Patch must be inside a guard",
|
|
91
|
-
category: "semantic",
|
|
92
|
-
},
|
|
93
|
-
E_UNGUARDED_EFFECT: {
|
|
94
|
-
code: "E_UNGUARDED_EFFECT",
|
|
95
|
-
message: "Effect must be inside a guard",
|
|
96
|
-
category: "semantic",
|
|
97
|
-
},
|
|
98
|
-
// ============ Type Errors (E3xx) ============
|
|
99
|
-
E_ARG_COUNT: {
|
|
100
|
-
code: "E_ARG_COUNT",
|
|
101
|
-
message: "Wrong number of arguments",
|
|
102
|
-
category: "type",
|
|
103
|
-
},
|
|
104
|
-
E_TYPE_MISMATCH: {
|
|
105
|
-
code: "E_TYPE_MISMATCH",
|
|
106
|
-
message: "Type mismatch",
|
|
107
|
-
category: "type",
|
|
108
|
-
},
|
|
109
|
-
// ============ Warnings (W0xx) ============
|
|
110
|
-
W_NON_BOOL_COND: {
|
|
111
|
-
code: "W_NON_BOOL_COND",
|
|
112
|
-
message: "Condition may not be boolean",
|
|
113
|
-
category: "semantic",
|
|
114
|
-
},
|
|
115
|
-
W_UNUSED: {
|
|
116
|
-
code: "W_UNUSED",
|
|
117
|
-
message: "Unused identifier",
|
|
118
|
-
category: "semantic",
|
|
119
|
-
},
|
|
120
|
-
W012: {
|
|
121
|
-
code: "W012",
|
|
122
|
-
message: "Anonymous object type in state field - use named type declaration instead",
|
|
123
|
-
category: "type",
|
|
124
|
-
},
|
|
125
|
-
// ============ Lexer Errors ============
|
|
126
|
-
MEL_LEXER: {
|
|
127
|
-
code: "MEL_LEXER",
|
|
128
|
-
message: "Lexer error",
|
|
129
|
-
category: "syntax",
|
|
130
|
-
},
|
|
131
|
-
// ============ Parser Errors ============
|
|
132
|
-
MEL_PARSER: {
|
|
133
|
-
code: "MEL_PARSER",
|
|
134
|
-
message: "Parser error",
|
|
135
|
-
category: "syntax",
|
|
136
|
-
},
|
|
137
|
-
};
|
|
138
|
-
/**
|
|
139
|
-
* Get diagnostic code information
|
|
140
|
-
*/
|
|
141
|
-
export function getDiagnosticInfo(code) {
|
|
142
|
-
return DIAGNOSTIC_CODES[code];
|
|
143
|
-
}
|
|
144
|
-
/**
|
|
145
|
-
* Format a diagnostic code for display
|
|
146
|
-
*/
|
|
147
|
-
export function formatDiagnosticCode(code) {
|
|
148
|
-
const info = DIAGNOSTIC_CODES[code];
|
|
149
|
-
if (info) {
|
|
150
|
-
return `${code}: ${info.message}`;
|
|
151
|
-
}
|
|
152
|
-
return code;
|
|
153
|
-
}
|
|
154
|
-
//# sourceMappingURL=codes.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"codes.js","sourceRoot":"","sources":["../../src/diagnostics/codes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAWH;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAmC;IAC9D,iDAAiD;IACjD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,sEAAsE;QAC/E,QAAQ,EAAE,UAAU;KACrB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,gDAAgD;QACzD,QAAQ,EAAE,UAAU;KACrB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,2BAA2B;QACpC,QAAQ,EAAE,UAAU;KACrB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,kDAAkD;QAC3D,QAAQ,EAAE,QAAQ;KACnB;IAED,iDAAiD;IACjD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,8DAA8D;QACvE,QAAQ,EAAE,UAAU;KACrB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,4CAA4C;QACrD,QAAQ,EAAE,UAAU;KACrB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,4CAA4C;QACrD,QAAQ,EAAE,UAAU;KACrB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,+EAA+E;QACxF,QAAQ,EAAE,UAAU;KACrB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,gEAAgE;QACzE,QAAQ,EAAE,UAAU;KACrB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,8EAA8E;QACvF,QAAQ,EAAE,UAAU;KACrB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,mEAAmE;QAC5E,QAAQ,EAAE,UAAU;KACrB;IAED,gDAAgD;IAChD,WAAW,EAAE;QACX,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,sBAAsB;QAC/B,QAAQ,EAAE,UAAU;KACrB;IACD,WAAW,EAAE;QACX,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,sBAAsB;QAC/B,QAAQ,EAAE,UAAU;KACrB;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,8CAA8C;QACvD,QAAQ,EAAE,UAAU;KACrB;IAED,oDAAoD;IACpD,gBAAgB,EAAE;QAChB,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,iDAAiD;QAC1D,QAAQ,EAAE,UAAU;KACrB;IACD,iBAAiB,EAAE;QACjB,IAAI,EAAE,mBAAmB;QACzB,OAAO,EAAE,8BAA8B;QACvC,QAAQ,EAAE,UAAU;KACrB;IACD,kBAAkB,EAAE;QAClB,IAAI,EAAE,oBAAoB;QAC1B,OAAO,EAAE,+BAA+B;QACxC,QAAQ,EAAE,UAAU;KACrB;IAED,+CAA+C;IAC/C,WAAW,EAAE;QACX,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,2BAA2B;QACpC,QAAQ,EAAE,MAAM;KACjB;IACD,eAAe,EAAE;QACf,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,eAAe;QACxB,QAAQ,EAAE,MAAM;KACjB;IAED,4CAA4C;IAC5C,eAAe,EAAE;QACf,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,8BAA8B;QACvC,QAAQ,EAAE,UAAU;KACrB;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,mBAAmB;QAC5B,QAAQ,EAAE,UAAU;KACrB;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,2EAA2E;QACpF,QAAQ,EAAE,MAAM;KACjB;IAED,yCAAyC;IACzC,SAAS,EAAE;QACT,IAAI,EAAE,WAAW;QACjB,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,QAAQ;KACnB;IAED,0CAA0C;IAC1C,UAAU,EAAE;QACV,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,cAAc;QACvB,QAAQ,EAAE,QAAQ;KACnB;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,GAAG,IAAI,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;IACpC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/diagnostics/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC"}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/diagnostics/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC"}
|
|
@@ -1,67 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Diagnostic Types for MEL Compiler
|
|
3
|
-
* Error and warning reporting structures
|
|
4
|
-
*/
|
|
5
|
-
import type { SourceLocation } from "../lexer/source-location.js";
|
|
6
|
-
/**
|
|
7
|
-
* Severity level of a diagnostic
|
|
8
|
-
*/
|
|
9
|
-
export type DiagnosticSeverity = "error" | "warning" | "info";
|
|
10
|
-
/**
|
|
11
|
-
* A diagnostic message (error, warning, or info)
|
|
12
|
-
*/
|
|
13
|
-
export interface Diagnostic {
|
|
14
|
-
/** Severity level */
|
|
15
|
-
severity: DiagnosticSeverity;
|
|
16
|
-
/** Error code (e.g., "MEL001", "MEL_LEXER") */
|
|
17
|
-
code: string;
|
|
18
|
-
/** Human-readable message */
|
|
19
|
-
message: string;
|
|
20
|
-
/** Location in source */
|
|
21
|
-
location: SourceLocation;
|
|
22
|
-
/** The source line containing the error */
|
|
23
|
-
source?: string;
|
|
24
|
-
/** Suggested fix */
|
|
25
|
-
suggestion?: string;
|
|
26
|
-
/** Related diagnostics */
|
|
27
|
-
related?: RelatedDiagnostic[];
|
|
28
|
-
}
|
|
29
|
-
/**
|
|
30
|
-
* A related diagnostic (for multi-location errors)
|
|
31
|
-
*/
|
|
32
|
-
export interface RelatedDiagnostic {
|
|
33
|
-
message: string;
|
|
34
|
-
location: SourceLocation;
|
|
35
|
-
}
|
|
36
|
-
/**
|
|
37
|
-
* Create an error diagnostic
|
|
38
|
-
*/
|
|
39
|
-
export declare function createError(code: string, message: string, location: SourceLocation, options?: {
|
|
40
|
-
source?: string;
|
|
41
|
-
suggestion?: string;
|
|
42
|
-
related?: RelatedDiagnostic[];
|
|
43
|
-
}): Diagnostic;
|
|
44
|
-
/**
|
|
45
|
-
* Create a warning diagnostic
|
|
46
|
-
*/
|
|
47
|
-
export declare function createWarning(code: string, message: string, location: SourceLocation, options?: {
|
|
48
|
-
source?: string;
|
|
49
|
-
suggestion?: string;
|
|
50
|
-
}): Diagnostic;
|
|
51
|
-
/**
|
|
52
|
-
* Create an info diagnostic
|
|
53
|
-
*/
|
|
54
|
-
export declare function createInfo(code: string, message: string, location: SourceLocation): Diagnostic;
|
|
55
|
-
/**
|
|
56
|
-
* Check if a diagnostic is an error
|
|
57
|
-
*/
|
|
58
|
-
export declare function isError(diagnostic: Diagnostic): boolean;
|
|
59
|
-
/**
|
|
60
|
-
* Check if any diagnostics contain errors
|
|
61
|
-
*/
|
|
62
|
-
export declare function hasErrors(diagnostics: Diagnostic[]): boolean;
|
|
63
|
-
/**
|
|
64
|
-
* Filter diagnostics by severity
|
|
65
|
-
*/
|
|
66
|
-
export declare function filterBySeverity(diagnostics: Diagnostic[], severity: DiagnosticSeverity): Diagnostic[];
|
|
67
|
-
//# sourceMappingURL=types.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/diagnostics/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAElE;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE9D;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,qBAAqB;IACrB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,6BAA6B;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,QAAQ,EAAE,cAAc,CAAC;IACzB,2CAA2C;IAC3C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,oBAAoB;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,0BAA0B;IAC1B,OAAO,CAAC,EAAE,iBAAiB,EAAE,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,cAAc,EACxB,OAAO,CAAC,EAAE;IACR,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,iBAAiB,EAAE,CAAC;CAC/B,GACA,UAAU,CAQZ;AAED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,cAAc,EACxB,OAAO,CAAC,EAAE;IACR,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GACA,UAAU,CAQZ;AAED;;GAEG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,cAAc,GACvB,UAAU,CAOZ;AAED;;GAEG;AACH,wBAAgB,OAAO,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAEvD;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,OAAO,CAE5D;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,WAAW,EAAE,UAAU,EAAE,EACzB,QAAQ,EAAE,kBAAkB,GAC3B,UAAU,EAAE,CAEd"}
|
|
@@ -1,58 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Diagnostic Types for MEL Compiler
|
|
3
|
-
* Error and warning reporting structures
|
|
4
|
-
*/
|
|
5
|
-
/**
|
|
6
|
-
* Create an error diagnostic
|
|
7
|
-
*/
|
|
8
|
-
export function createError(code, message, location, options) {
|
|
9
|
-
return {
|
|
10
|
-
severity: "error",
|
|
11
|
-
code,
|
|
12
|
-
message,
|
|
13
|
-
location,
|
|
14
|
-
...options,
|
|
15
|
-
};
|
|
16
|
-
}
|
|
17
|
-
/**
|
|
18
|
-
* Create a warning diagnostic
|
|
19
|
-
*/
|
|
20
|
-
export function createWarning(code, message, location, options) {
|
|
21
|
-
return {
|
|
22
|
-
severity: "warning",
|
|
23
|
-
code,
|
|
24
|
-
message,
|
|
25
|
-
location,
|
|
26
|
-
...options,
|
|
27
|
-
};
|
|
28
|
-
}
|
|
29
|
-
/**
|
|
30
|
-
* Create an info diagnostic
|
|
31
|
-
*/
|
|
32
|
-
export function createInfo(code, message, location) {
|
|
33
|
-
return {
|
|
34
|
-
severity: "info",
|
|
35
|
-
code,
|
|
36
|
-
message,
|
|
37
|
-
location,
|
|
38
|
-
};
|
|
39
|
-
}
|
|
40
|
-
/**
|
|
41
|
-
* Check if a diagnostic is an error
|
|
42
|
-
*/
|
|
43
|
-
export function isError(diagnostic) {
|
|
44
|
-
return diagnostic.severity === "error";
|
|
45
|
-
}
|
|
46
|
-
/**
|
|
47
|
-
* Check if any diagnostics contain errors
|
|
48
|
-
*/
|
|
49
|
-
export function hasErrors(diagnostics) {
|
|
50
|
-
return diagnostics.some(isError);
|
|
51
|
-
}
|
|
52
|
-
/**
|
|
53
|
-
* Filter diagnostics by severity
|
|
54
|
-
*/
|
|
55
|
-
export function filterBySeverity(diagnostics, severity) {
|
|
56
|
-
return diagnostics.filter((d) => d.severity === severity);
|
|
57
|
-
}
|
|
58
|
-
//# sourceMappingURL=types.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/diagnostics/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAqCH;;GAEG;AACH,MAAM,UAAU,WAAW,CACzB,IAAY,EACZ,OAAe,EACf,QAAwB,EACxB,OAIC;IAED,OAAO;QACL,QAAQ,EAAE,OAAO;QACjB,IAAI;QACJ,OAAO;QACP,QAAQ;QACR,GAAG,OAAO;KACX,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,OAAe,EACf,QAAwB,EACxB,OAGC;IAED,OAAO;QACL,QAAQ,EAAE,SAAS;QACnB,IAAI;QACJ,OAAO;QACP,QAAQ;QACR,GAAG,OAAO;KACX,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,OAAe,EACf,QAAwB;IAExB,OAAO;QACL,QAAQ,EAAE,MAAM;QAChB,IAAI;QACJ,OAAO;QACP,QAAQ;KACT,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,OAAO,CAAC,UAAsB;IAC5C,OAAO,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,WAAyB;IACjD,OAAO,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,WAAyB,EACzB,QAA4B;IAE5B,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;AAC5D,CAAC"}
|
|
@@ -1,91 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Evaluation Context Types
|
|
3
|
-
*
|
|
4
|
-
* Defines context for expression evaluation.
|
|
5
|
-
*
|
|
6
|
-
* @see SPEC v0.4.0 §18.3
|
|
7
|
-
*/
|
|
8
|
-
/**
|
|
9
|
-
* Minimal snapshot shape for evaluation.
|
|
10
|
-
*
|
|
11
|
-
* @see SPEC v0.4.0 §18.7
|
|
12
|
-
*/
|
|
13
|
-
export interface EvaluationSnapshot {
|
|
14
|
-
/**
|
|
15
|
-
* Domain data (matches StateSpec).
|
|
16
|
-
* Path resolution default target.
|
|
17
|
-
*/
|
|
18
|
-
data: unknown;
|
|
19
|
-
/**
|
|
20
|
-
* Computed values (matches ComputedSpec).
|
|
21
|
-
* Accessed via "computed.*" paths.
|
|
22
|
-
*/
|
|
23
|
-
computed: Record<string, unknown>;
|
|
24
|
-
}
|
|
25
|
-
/**
|
|
26
|
-
* Intent metadata for evaluation.
|
|
27
|
-
*
|
|
28
|
-
* @see SPEC v0.4.0 §18.3
|
|
29
|
-
*/
|
|
30
|
-
export interface EvaluationMeta {
|
|
31
|
-
/**
|
|
32
|
-
* Intent identifier.
|
|
33
|
-
*/
|
|
34
|
-
intentId: string;
|
|
35
|
-
/**
|
|
36
|
-
* Actor reference (optional).
|
|
37
|
-
*/
|
|
38
|
-
actor?: {
|
|
39
|
-
type: string;
|
|
40
|
-
id: string;
|
|
41
|
-
};
|
|
42
|
-
/**
|
|
43
|
-
* Timestamp (optional).
|
|
44
|
-
*/
|
|
45
|
-
timestamp?: number;
|
|
46
|
-
}
|
|
47
|
-
/**
|
|
48
|
-
* Evaluation context.
|
|
49
|
-
*
|
|
50
|
-
* @see SPEC v0.4.0 §18.3
|
|
51
|
-
*/
|
|
52
|
-
export interface EvaluationContext {
|
|
53
|
-
/**
|
|
54
|
-
* Current snapshot for state lookups.
|
|
55
|
-
* Paths resolve to snapshot.data.* by default.
|
|
56
|
-
*/
|
|
57
|
-
snapshot: EvaluationSnapshot;
|
|
58
|
-
/**
|
|
59
|
-
* Intent metadata.
|
|
60
|
-
* Paths starting with "meta.*" resolve here.
|
|
61
|
-
*/
|
|
62
|
-
meta: EvaluationMeta;
|
|
63
|
-
/**
|
|
64
|
-
* Intent input.
|
|
65
|
-
* Paths starting with "input.*" resolve here.
|
|
66
|
-
*/
|
|
67
|
-
input: Record<string, unknown>;
|
|
68
|
-
/**
|
|
69
|
-
* Current $item value (for effect.args evaluation).
|
|
70
|
-
* Paths starting with "$item.*" resolve here.
|
|
71
|
-
*/
|
|
72
|
-
item?: unknown;
|
|
73
|
-
}
|
|
74
|
-
/**
|
|
75
|
-
* Create a minimal evaluation context.
|
|
76
|
-
*
|
|
77
|
-
* @param options - Context options
|
|
78
|
-
* @returns Evaluation context
|
|
79
|
-
*/
|
|
80
|
-
export declare function createEvaluationContext(options: Partial<EvaluationContext> & {
|
|
81
|
-
meta: EvaluationMeta;
|
|
82
|
-
}): EvaluationContext;
|
|
83
|
-
/**
|
|
84
|
-
* Create a working snapshot by cloning and applying a patch.
|
|
85
|
-
*
|
|
86
|
-
* Used for sequential evaluation semantics.
|
|
87
|
-
*
|
|
88
|
-
* @see FDR-MEL-070
|
|
89
|
-
*/
|
|
90
|
-
export declare function applyPatchToWorkingSnapshot(snapshot: EvaluationSnapshot, path: string, value: unknown): EvaluationSnapshot;
|
|
91
|
-
//# sourceMappingURL=context.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/evaluation/context.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;OAGG;IACH,IAAI,EAAE,OAAO,CAAC;IAEd;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B;;OAEG;IACH,QAAQ,EAAE,MAAM,CAAC;IAEjB;;OAEG;IACH,KAAK,CAAC,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,EAAE,EAAE,MAAM,CAAC;KACZ,CAAC;IAEF;;OAEG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC;;;OAGG;IACH,QAAQ,EAAE,kBAAkB,CAAC;IAE7B;;;OAGG;IACH,IAAI,EAAE,cAAc,CAAC;IAErB;;;OAGG;IACH,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAE/B;;;OAGG;IACH,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,OAAO,CAAC,iBAAiB,CAAC,GAAG;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,GAC7D,iBAAiB,CAOnB;AAED;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,kBAAkB,EAC5B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,OAAO,GACb,kBAAkB,CAWpB"}
|
|
@@ -1,59 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Evaluation Context Types
|
|
3
|
-
*
|
|
4
|
-
* Defines context for expression evaluation.
|
|
5
|
-
*
|
|
6
|
-
* @see SPEC v0.4.0 §18.3
|
|
7
|
-
*/
|
|
8
|
-
/**
|
|
9
|
-
* Create a minimal evaluation context.
|
|
10
|
-
*
|
|
11
|
-
* @param options - Context options
|
|
12
|
-
* @returns Evaluation context
|
|
13
|
-
*/
|
|
14
|
-
export function createEvaluationContext(options) {
|
|
15
|
-
return {
|
|
16
|
-
snapshot: options.snapshot ?? { data: {}, computed: {} },
|
|
17
|
-
meta: options.meta,
|
|
18
|
-
input: options.input ?? {},
|
|
19
|
-
item: options.item,
|
|
20
|
-
};
|
|
21
|
-
}
|
|
22
|
-
/**
|
|
23
|
-
* Create a working snapshot by cloning and applying a patch.
|
|
24
|
-
*
|
|
25
|
-
* Used for sequential evaluation semantics.
|
|
26
|
-
*
|
|
27
|
-
* @see FDR-MEL-070
|
|
28
|
-
*/
|
|
29
|
-
export function applyPatchToWorkingSnapshot(snapshot, path, value) {
|
|
30
|
-
// Deep clone data
|
|
31
|
-
const newData = structuredClone(snapshot.data);
|
|
32
|
-
// Apply patch at path
|
|
33
|
-
setValueAtPath(newData, path, value);
|
|
34
|
-
return {
|
|
35
|
-
data: newData,
|
|
36
|
-
computed: snapshot.computed,
|
|
37
|
-
};
|
|
38
|
-
}
|
|
39
|
-
/**
|
|
40
|
-
* Set value at a dot-separated path.
|
|
41
|
-
*
|
|
42
|
-
* @param obj - Target object
|
|
43
|
-
* @param path - Dot-separated path (e.g., "user.name")
|
|
44
|
-
* @param value - Value to set
|
|
45
|
-
*/
|
|
46
|
-
function setValueAtPath(obj, path, value) {
|
|
47
|
-
const parts = path.split(".");
|
|
48
|
-
let current = obj;
|
|
49
|
-
for (let i = 0; i < parts.length - 1; i++) {
|
|
50
|
-
const part = parts[i];
|
|
51
|
-
if (!(part in current) || typeof current[part] !== "object") {
|
|
52
|
-
current[part] = {};
|
|
53
|
-
}
|
|
54
|
-
current = current[part];
|
|
55
|
-
}
|
|
56
|
-
const lastPart = parts[parts.length - 1];
|
|
57
|
-
current[lastPart] = value;
|
|
58
|
-
}
|
|
59
|
-
//# sourceMappingURL=context.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"context.js","sourceRoot":"","sources":["../../src/evaluation/context.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AA6EH;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAA8D;IAE9D,OAAO;QACL,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QACxD,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CACzC,QAA4B,EAC5B,IAAY,EACZ,KAAc;IAEd,kBAAkB;IAClB,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,CAA4B,CAAC;IAE1E,sBAAsB;IACtB,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAErC,OAAO;QACL,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,QAAQ,CAAC,QAAQ;KAC5B,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CACrB,GAA4B,EAC5B,IAAY,EACZ,KAAc;IAEd,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,OAAO,GAA4B,GAAG,CAAC;IAE3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC5D,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QACrB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,IAAI,CAA4B,CAAC;IACrD,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,OAAO,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;AAC5B,CAAC"}
|