@aster-cloud/aster-lang-ts 1.0.37 → 1.2.0

package/dist/test/integration/builtin-enum-vocabulary.test.js

@@ -0,0 +1,51 @@
+/**
+ * 内置领域词汇的枚举成员端到端（ADR 0051 R26）：
+ * 内置 finance.loan 词汇的枚举成员声明了所属枚举，本地化拼写经注册中心解析为规范成员。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { DE_DE, ZH_CN, compileAndTypecheck, evaluate, initBuiltinVocabularies, resolvePolicyTypes, vocabularyRegistry, } from '../../src/browser.js';
+const CASES = [
+    {
+        locale: 'de-DE',
+        lexicon: DE_DE,
+        source: 'Modul kredit.\n\n' +
+            'Definiere CreditLevel als eines von Ausgezeichnet, Gut, Befriedigend, Mangelhaft.\n\n' +
+            'Regel einstufen gegeben x als Ganzzahl, liefert CreditLevel:\n' +
+            '  gib zurueck CreditLevel.Ausgezeichnet.\n',
+        member: 'Ausgezeichnet',
+        canonical: 'Excellent',
+    },
+    {
+        locale: 'zh-CN',
+        lexicon: ZH_CN,
+        source: '模块 kredit。\n\n' +
+            '定义 CreditLevel 为以下之一 优秀, 良好, 一般, 较差。\n\n' +
+            '规则 einstufen 给定 x 作为 整数，产出 CreditLevel：\n' +
+            '  返回 CreditLevel.优秀。\n',
+        member: '优秀',
+        canonical: 'Excellent',
+    },
+];
+describe('内置 finance.loan 词汇的枚举成员解析', () => {
+    initBuiltinVocabularies();
+    for (const c of CASES) {
+        it(`${c.locale}：Define CreditLevel 的本地化成员解析为规范成员`, () => {
+            const vocabulary = vocabularyRegistry.get('finance.loan', c.locale).vocabulary;
+            const resolved = resolvePolicyTypes(c.source, { locale: c.locale, vocabulary });
+            assert.equal(resolved.ok, true, JSON.stringify(resolved));
+            if (!resolved.ok)
+                return;
+            const level = resolved.types.enums.find((e) => e.canonical === 'CreditLevel');
+            assert.ok(level, JSON.stringify(resolved.types.enums));
+            assert.deepEqual(level.members.map((m) => m.canonical), ['Excellent', 'Good', 'Fair', 'Poor']);
+            assert.equal(level.members[0].written, c.member);
+            const result = compileAndTypecheck(c.source, { lexicon: c.lexicon, vocabulary });
+            assert.equal(result.success, true, JSON.stringify(result));
+            const value = evaluate(result.core, 'einstufen', { x: 1 });
+            assert.equal(value.success, true, value.error);
+            assert.deepEqual(value.value, { __type: '?', _enum: 'CreditLevel', value: c.canonical, variant: c.canonical, args: [] });
+        });
+    }
+});
+//# sourceMappingURL=builtin-enum-vocabulary.test.js.map

package/dist/test/integration/builtin-enum-vocabulary.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtin-enum-vocabulary.test.js","sourceRoot":"","sources":["../../../test/integration/builtin-enum-vocabulary.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EACL,KAAK,EACL,KAAK,EACL,mBAAmB,EACnB,QAAQ,EACR,uBAAuB,EACvB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,sBAAsB,CAAC;AAI9B,MAAM,KAAK,GAA2G;IACpH;QACE,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,KAAK;QACd,MAAM,EACJ,mBAAmB;YACnB,uFAAuF;YACvF,gEAAgE;YAChE,4CAA4C;QAC9C,MAAM,EAAE,eAAe;QACvB,SAAS,EAAE,WAAW;KACvB;IACD;QACE,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,KAAK;QACd,MAAM,EACJ,gBAAgB;YAChB,0CAA0C;YAC1C,2CAA2C;YAC3C,wBAAwB;QAC1B,MAAM,EAAE,IAAI;QACZ,SAAS,EAAE,WAAW;KACvB;CACF,CAAC;AAEF,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,uBAAuB,EAAE,CAAC;IAE1B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,mCAAmC,EAAE,GAAG,EAAE;YACtD,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,MAAM,CAAE,CAAC,UAAU,CAAC;YAEhF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YAChF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,QAAQ,CAAC,EAAE;gBAAE,OAAO;YACzB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC;YAC9E,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAC/F,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAElD,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAmB,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC1E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/C,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3H,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/test/integration/lsp/lsp-rename-safety.test.js

@@ -97,18 +97,5 @@ describe('领域词汇（finance.loan）', () => {
         const def = (await c.request('textDocument/definition', { textDocument: td, position: inside(use, 0) }));
         assert.deepEqual(def?.range.start, rangeOf(ZH, '乙', 0).start);
     });
-    it('★词汇词本身不可重命名（它不是用户标识符，位置也不能基于推算）', async () => {
-        const c = await open('zh-CN', ZH, init);
-        await assertNotRenameable(c, inside(rangeOf(ZH, '申请人', 0)), '申请人');
-    });
-    /* 用户自己写的 Applicant 与词汇词「申请人」规范化后同名：重命名若只改逐字对齐的那处，
-     *   会让两者从同一个名字变成两个名字（语义改变）。必须整体拒绝。 */
-    it('★与词汇词同名的标识符：重命名整体拒绝，而不是只改一部分', async () => {
-        const T = ['模块 demo.p。', '', '规则 评估 给定 甲 作为 申请人，乙 作为 Applicant 产出 整数：', '  返回 1。', ''].join('\n');
-        const c = await open('zh-CN', T, init);
-        const at = inside(rangeOf(T, 'Applicant', 0), 2);
-        assert.equal(await c.request('textDocument/prepareRename', { textDocument: td, position: at }), null);
-        assert.equal(await c.request('textDocument/rename', { textDocument: td, position: at, newName: 'Borrower' }), null);
-    });
 });
 //# sourceMappingURL=lsp-rename-safety.test.js.map

package/dist/test/integration/lsp/lsp-rename-safety.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"lsp-rename-safety.test.js","sourceRoot":"","sources":["../../../../test/integration/lsp/lsp-rename-safety.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wEAAwE,CAAC;AAE5G,MAAM,MAAM,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAAC;AACjD,MAAM,GAAG,GAAG,iCAAiC,CAAC;AAG9C,SAAS,OAAO,CAAC,IAAY,EAAE,IAAY,EAAE,GAAG,GAAG,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC/C,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACzF,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC;YAAC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC;YACrF,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,SAAS;YACnE,IAAI,IAAI,EAAE,KAAK,GAAG;gBAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1G,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,GAAG,YAAY,CAAC,CAAC;AAC9C,CAAC;AACD,MAAM,MAAM,GAAG,CAAC,CAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC,CAAC;AAC/F,MAAM,KAAK,GAAG,CAAC,EAAW,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;AAE5H,IAAI,OAAe,CAAC;AACpB,IAAI,MAAM,GAAqB,IAAI,CAAC;AACpC,MAAM,CAAC,GAAG,EAAE,GAAG,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/E,KAAK,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAErF,KAAK,UAAU,IAAI,CAAC,MAAc,EAAE,IAAY,EAAE,wBAAiD,EAAE;IACnG,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,MAAM,CAAC,GAAG,IAAI,SAAS,EAAE,CAAC;IAC1B,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;IAClC,MAAM,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAClH,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,MAAM,CAAC,kCAAkC,EAAE,EAAE,QAAQ,EAAE,EAAE,mBAAmB,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3H,CAAC,CAAC,MAAM,CAAC,sBAAsB,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5G,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7C,MAAM,GAAG,CAAC,CAAC;IACX,OAAO,CAAC,CAAC;AACX,CAAC;AACD,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAExB,KAAK,UAAU,mBAAmB,CAAC,CAAY,EAAE,EAAuC,EAAE,KAAa;IACrG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,KAAK,EAAE,CAAC,CAAC;IAChI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,KAAK,EAAE,CAAC,CAAC;IAClI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,yBAAyB,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,cAAc,KAAK,EAAE,CAAC,CAAC;AACrK,CAAC;AAED,MAAM,EAAE,GAAG;IACT,gBAAgB,EAAE,EAAE;IACpB,0CAA0C,EAAE,oBAAoB,EAAE,EAAE;IACpE,yCAAyC,EAAE,sDAAsD,EAAE,mBAAmB,EAAE,EAAE;CAC3H,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;QACrD,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,EAAE,GAAG,CAAC,eAAe,EAAE,EAAE,EAAE,iEAAiE,EAAE,6BAA6B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClJ,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,0DAA0D;IAC1D,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,yDAAyD;QACzD,MAAM,CAAC,GAAG,CAAC,gBAAgB,EAAE,EAAE,EAAE,qCAAqC,EAAE,2BAA2B,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpI,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,gCAAgC,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAA4B,CAAC;QACvI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAyD,CAAC;QACvK,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,MAAM,EAAE,GAAG;IACT,YAAY,EAAE,EAAE;IAChB,kCAAkC,EAAE,SAAS,EAAE,EAAE;CAClD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,MAAM,IAAI,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,kBAAkB,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC;IAEnF,EAAE,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,gCAAgC,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAA4B,CAAC;QAC1I,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,yBAAyB,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAA4B,CAAC;QACpI,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH;0CACsC;IACtC,EAAE,CAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;QAC5C,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,EAAE,yCAAyC,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClG,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACtG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACtH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"lsp-rename-safety.test.js","sourceRoot":"","sources":["../../../../test/integration/lsp/lsp-rename-safety.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wEAAwE,CAAC;AAE5G,MAAM,MAAM,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAAC;AACjD,MAAM,GAAG,GAAG,iCAAiC,CAAC;AAG9C,SAAS,OAAO,CAAC,IAAY,EAAE,IAAY,EAAE,GAAG,GAAG,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC/C,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACzF,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC;YAAC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC;YACrF,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,SAAS;YACnE,IAAI,IAAI,EAAE,KAAK,GAAG;gBAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1G,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,GAAG,YAAY,CAAC,CAAC;AAC9C,CAAC;AACD,MAAM,MAAM,GAAG,CAAC,CAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC,CAAC;AAC/F,MAAM,KAAK,GAAG,CAAC,EAAW,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;AAE5H,IAAI,OAAe,CAAC;AACpB,IAAI,MAAM,GAAqB,IAAI,CAAC;AACpC,MAAM,CAAC,GAAG,EAAE,GAAG,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/E,KAAK,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAErF,KAAK,UAAU,IAAI,CAAC,MAAc,EAAE,IAAY,EAAE,wBAAiD,EAAE;IACnG,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,MAAM,CAAC,GAAG,IAAI,SAAS,EAAE,CAAC;IAC1B,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;IAClC,MAAM,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,qBAAqB,EAAE,CAAC,CAAC;IAClH,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,MAAM,CAAC,kCAAkC,EAAE,EAAE,QAAQ,EAAE,EAAE,mBAAmB,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3H,CAAC,CAAC,MAAM,CAAC,sBAAsB,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5G,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7C,MAAM,GAAG,CAAC,CAAC;IACX,OAAO,CAAC,CAAC;AACX,CAAC;AACD,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAExB,KAAK,UAAU,mBAAmB,CAAC,CAAY,EAAE,EAAuC,EAAE,KAAa;IACrG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,KAAK,EAAE,CAAC,CAAC;IAChI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,KAAK,EAAE,CAAC,CAAC;IAClI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,yBAAyB,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,cAAc,KAAK,EAAE,CAAC,CAAC;AACrK,CAAC;AAED,MAAM,EAAE,GAAG;IACT,gBAAgB,EAAE,EAAE;IACpB,0CAA0C,EAAE,oBAAoB,EAAE,EAAE;IACpE,yCAAyC,EAAE,sDAAsD,EAAE,mBAAmB,EAAE,EAAE;CAC3H,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;QACrD,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,EAAE,GAAG,CAAC,eAAe,EAAE,EAAE,EAAE,iEAAiE,EAAE,6BAA6B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClJ,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,0DAA0D;IAC1D,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,yDAAyD;QACzD,MAAM,CAAC,GAAG,CAAC,gBAAgB,EAAE,EAAE,EAAE,qCAAqC,EAAE,2BAA2B,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpI,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,gCAAgC,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAA4B,CAAC;QACvI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAyD,CAAC;QACvK,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,MAAM,EAAE,GAAG;IACT,YAAY,EAAE,EAAE;IAChB,kCAAkC,EAAE,SAAS,EAAE,EAAE;CAClD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,MAAM,IAAI,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,kBAAkB,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC;IAEnF,EAAE,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,gCAAgC,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAA4B,CAAC;QAC1I,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,yBAAyB,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAA4B,CAAC;QACpI,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/integration/name-resolution-entrypoints.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=name-resolution-entrypoints.test.d.ts.map

package/dist/test/integration/name-resolution-entrypoints.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"name-resolution-entrypoints.test.d.ts","sourceRoot":"","sources":["../../../test/integration/name-resolution-entrypoints.test.ts"],"names":[],"mappings":""}

package/dist/test/integration/name-resolution-entrypoints.test.js

@@ -0,0 +1,109 @@
+/**
+ * 全部编译入口都经名称解析（ADR 0051 R1/R2），任一 E8xx 时不产出 IR、如实报告失败。
+ * 覆盖：aster-convert compile-to-json、aster core、AI 校验器、语义桥、LSP 诊断（租户词汇）。
+ */
+import { describe, it, before, after } from 'node:test';
+import assert from 'node:assert/strict';
+import { spawnSync } from 'node:child_process';
+import fs from 'node:fs';
+import os from 'node:os';
+import path from 'node:path';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+import { DiagnosticSeverity } from 'vscode-languageserver/node.js';
+import { PolicyValidator } from '../../src/ai/validator.js';
+import { runSemanticBridge } from '../../src/mapping/pipeline.js';
+import { computeDiagnostics } from '../../src/lsp/diagnostics.js';
+import { parseDocumentText } from '../../src/lsp/parse-document.js';
+import { EN_US } from '../../src/config/lexicons/en-US.js';
+import { vocabularyRegistry, initBuiltinVocabularies } from '../../src/config/lexicons/identifiers/registry.js';
+import { IdentifierKind } from '../../src/config/lexicons/identifiers/types.js';
+/** y 未定义：解析通过，名称解析报 E802 */
+const UNRESOLVED = 'Module m.\n\nRule f given x as Int, produce Int:\n  Return y.\n';
+const VALID = 'Module m.\n\nRule f given x as Int, produce Int:\n  Return x.\n';
+const ROOT = process.cwd();
+let dir = '';
+const write = (name, content) => {
+    const p = path.join(dir, name);
+    fs.writeFileSync(p, content);
+    return p;
+};
+const run = (script, args) => spawnSync(process.execPath, [path.join(ROOT, script), ...args], { cwd: dir, encoding: 'utf8' });
+before(() => {
+    dir = fs.mkdtempSync(path.join(os.tmpdir(), 'adr0051-entry-'));
+});
+after(() => {
+    fs.rmSync(dir, { recursive: true, force: true });
+});
+describe('命令行入口以 E8xx 拦截 IR', () => {
+    it('aster-convert compile-to-json：E8xx 退出码非 0 且不输出 JSON', () => {
+        const r = run('dist/src/cli/policy-converter.js', ['compile-to-json', write('bad.aster', UNRESOLVED)]);
+        assert.notEqual(r.status, 0);
+        assert.match(r.stderr, /E802/);
+        assert.equal(r.stdout.trim(), '');
+        const ok = run('dist/src/cli/policy-converter.js', ['compile-to-json', write('ok.aster', VALID)]);
+        assert.equal(ok.status, 0, ok.stderr);
+        assert.ok(ok.stdout.includes('"kind"'));
+    });
+    it('aster core：E8xx 退出码非 0 且不输出 Core', () => {
+        const r = run('dist/scripts/aster.js', ['core', write('bad2.aster', UNRESOLVED)]);
+        assert.notEqual(r.status, 0);
+        assert.match(r.stdout + r.stderr, /E802/);
+        assert.doesNotMatch(r.stdout, /"kind": "Module"/);
+        const ok = run('dist/scripts/aster.js', ['core', write('ok2.aster', VALID)]);
+        assert.equal(ok.status, 0, ok.stderr);
+        assert.match(ok.stdout, /"kind": "Module"/);
+    });
+});
+describe('库入口以 E8xx 拦截 IR', () => {
+    it('AI 校验器报告 E8xx，不返回 coreIR', async () => {
+        const result = await new PolicyValidator().validate(UNRESOLVED);
+        assert.equal(result.valid, false);
+        assert.equal(result.coreIR, undefined);
+        assert.ok(result.diagnostics.some((d) => d.code === 'E802'), JSON.stringify(result.diagnostics));
+    });
+    it('语义桥：E8xx 归入编译失败，不生成候选', () => {
+        const result = runSemanticBridge(UNRESOLVED);
+        assert.ok(result.diagnostics.some((d) => d.includes('E802')), JSON.stringify(result.diagnostics));
+    });
+});
+describe('LSP 诊断发布名称解析结果（租户词汇）', () => {
+    const TENANT = 'tenant-adr0051-lsp';
+    const DOMAIN = 'adr0051.lsp';
+    const VOCAB = {
+        id: DOMAIN, name: 'lsp', locale: 'en-US', version: '1',
+        structs: [{ canonical: 'Customer', localized: 'Kunde', kind: IdentifierKind.STRUCT }],
+        fields: [{ canonical: 'age', localized: 'alter', kind: IdentifierKind.FIELD, parent: 'Customer' }],
+        functions: [],
+    };
+    const source = (field) => 'Module m.\n\nDefine Customer has age as Int.\n\n' +
+        `Rule f given x as Kunde, produce Int:\n  Return x.${field}.\n`;
+    async function diagnose(text, uri, tenantId) {
+        const doc = TextDocument.create(uri, 'aster', 1, text);
+        const getOrParse = () => ({ text, ...parseDocumentText(text, EN_US, tenantId, tenantId ? DOMAIN : undefined) });
+        return computeDiagnostics(doc, getOrParse, EN_US);
+    }
+    before(() => {
+        initBuiltinVocabularies();
+        vocabularyRegistry.registerCustom(TENANT, VOCAB);
+    });
+    after(() => {
+        vocabularyRegistry.unregisterCustom(TENANT, DOMAIN, 'en-US');
+    });
+    it('租户词汇下未解析字段显示为 E801，位置是原文中的写法', async () => {
+        const text = source('gewicht');
+        const diags = await diagnose(text, 'file:///adr0051/e801.aster', TENANT);
+        const e801 = diags.find((d) => d.code === 'E801');
+        assert.ok(e801, JSON.stringify(diags));
+        assert.equal(e801.severity, DiagnosticSeverity.Error);
+        assert.equal(e801.range.start.line, 5);
+        assert.equal(e801.range.start.character, text.split('\n')[5].indexOf('x.gewicht'));
+    });
+    it('租户词汇使本地化写法通过解析；无租户上下文时同一文档报 E801', async () => {
+        const withTenant = await diagnose(source('alter'), 'file:///adr0051/ok.aster', TENANT);
+        assert.deepEqual(withTenant.filter((d) => String(d.code ?? '').startsWith('E80')), []);
+        // 无词汇时 Kunde 未声明，成为隐式类型参数；类型参数上的字段段 alter 无法解析
+        const without = await diagnose(source('alter'), 'file:///adr0051/no-tenant.aster', undefined);
+        assert.ok(without.some((d) => d.code === 'E801'), JSON.stringify(without));
+    });
+});
+//# sourceMappingURL=name-resolution-entrypoints.test.js.map

package/dist/test/integration/name-resolution-entrypoints.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"name-resolution-entrypoints.test.js","sourceRoot":"","sources":["../../../test/integration/name-resolution-entrypoints.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,SAAS,EAAyB,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAoC,MAAM,+BAA+B,CAAC;AAErG,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,KAAK,EAAE,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAChH,OAAO,EAAE,cAAc,EAAE,MAAM,gDAAgD,CAAC;AAGhF,4BAA4B;AAC5B,MAAM,UAAU,GAAG,iEAAiE,CAAC;AACrF,MAAM,KAAK,GAAG,iEAAiE,CAAC;AAEhF,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;AAC3B,IAAI,GAAG,GAAG,EAAE,CAAC;AACb,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,OAAe,EAAU,EAAE;IACtD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/B,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AACF,MAAM,GAAG,GAAG,CAAC,MAAc,EAAE,IAAc,EAA4B,EAAE,CACvE,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AAElG,MAAM,CAAC,GAAG,EAAE;IACV,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AACH,KAAK,CAAC,GAAG,EAAE;IACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,GAAG,CAAC,kCAAkC,EAAE,CAAC,iBAAiB,EAAE,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;QACvG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,GAAG,CAAC,kCAAkC,EAAE,CAAC,iBAAiB,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAClG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,GAAG,CAAC,uBAAuB,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC1C,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,GAAG,CAAC,uBAAuB,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,0BAA0B,EAAE,KAAK,IAAI,EAAE;QACxC,MAAM,MAAM,GAAG,MAAM,IAAI,eAAe,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAChE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACvC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAC7C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,MAAM,MAAM,GAAG,oBAAoB,CAAC;IACpC,MAAM,MAAM,GAAG,aAAa,CAAC;IAC7B,MAAM,KAAK,GAAqB;QAC9B,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG;QACtD,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,CAAC;QACrF,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;QAClG,SAAS,EAAE,EAAE;KACd,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CACvC,kDAAkD;QAClD,qDAAqD,KAAK,KAAK,CAAC;IAElE,KAAK,UAAU,QAAQ,CAAC,IAAY,EAAE,GAAW,EAAE,QAA4B;QAC7E,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,UAAU,GAAG,GAA4D,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACzK,OAAO,kBAAkB,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,CAAC,GAAG,EAAE;QACV,uBAAuB,EAAE,CAAC;QAC1B,kBAAkB,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,KAAK,CAAC,GAAG,EAAE;QACT,kBAAkB,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,4BAA4B,EAAE,MAAM,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAClD,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,UAAU,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,0BAA0B,EAAE,MAAM,CAAC,CAAC;QACvF,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvF,+CAA+C;QAC/C,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,iCAAiC,EAAE,SAAS,CAAC,CAAC;QAC9F,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/integration/scripts/typecheck-cli-repl.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=typecheck-cli-repl.test.d.ts.map

package/dist/test/integration/scripts/typecheck-cli-repl.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecheck-cli-repl.test.d.ts","sourceRoot":"","sources":["../../../../test/integration/scripts/typecheck-cli-repl.test.ts"],"names":[],"mappings":""}

package/dist/test/integration/scripts/typecheck-cli-repl.test.js

@@ -0,0 +1,133 @@
+/**
+ * scripts/typecheck-cli.ts 与 scripts/repl.ts 的子进程级集成测试（#248）。
+ *
+ * 两个入口此前没有任何测试；这里按用户实际调用方式运行编译产物 dist/scripts/*.js，
+ * 校验输出格式、退出码与名称解析（ADR 0051）拦截。
+ */
+import { describe, it, before, after } from 'node:test';
+import assert from 'node:assert/strict';
+import { spawnSync } from 'node:child_process';
+import fs from 'node:fs';
+import os from 'node:os';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+// 编译后位于 dist/test/integration/scripts：上溯 4 级到仓库根
+const ROOT = fileURLToPath(new URL('../../../../', import.meta.url));
+const TYPECHECK_CLI = path.join(ROOT, 'dist', 'scripts', 'typecheck-cli.js');
+const REPL = path.join(ROOT, 'dist', 'scripts', 'repl.js');
+const VALID = 'Module m.\n\nRule f given x as Int, produce Int:\n  Return x.\n';
+/** y 未定义：解析通过，名称解析报 E802 */
+const UNRESOLVED = 'Module m.\n\nRule f given x as Int, produce Int:\n  Return y.\n';
+/** 返回类型不符：类型检查报 E003 */
+const TYPE_ERROR = 'Module m.\n\nRule f given x as Int, produce Int:\n  Return "s".\n';
+let dir = '';
+const write = (name, content) => {
+    const p = path.join(dir, name);
+    fs.writeFileSync(p, content);
+    return p;
+};
+function run(script, args, options = {}) {
+    return spawnSync(process.execPath, [script, ...args], {
+        cwd: dir,
+        encoding: 'utf8',
+        input: options.input ?? '',
+        env: { ...process.env, ...options.env },
+        timeout: 30_000,
+    });
+}
+/** stdout 必须是单个 JSON 文档（日志走 stderr） */
+function payloadOf(r) {
+    assert.equal(r.status, 0, r.stderr);
+    return JSON.parse(r.stdout);
+}
+before(() => {
+    dir = fs.mkdtempSync(path.join(os.tmpdir(), 'aster-cli-scripts-'));
+});
+after(() => {
+    fs.rmSync(dir, { recursive: true, force: true });
+});
+describe('typecheck-cli', () => {
+    it('合法程序：输出 JSON，无诊断', () => {
+        const file = write('ok.aster', VALID);
+        const p = payloadOf(run(TYPECHECK_CLI, [file]));
+        assert.equal(p.source, file);
+        assert.deepEqual(p.diagnostics, []);
+        assert.deepEqual(p.summary, { total: 0, error: 0, warning: 0, info: 0 });
+    });
+    it('类型错误：报告诊断并汇总严重级别（退出码仍为 0，由调用方读 summary）', () => {
+        const p = payloadOf(run(TYPECHECK_CLI, [write('type.aster', TYPE_ERROR)]));
+        assert.deepEqual(p.diagnostics.map((d) => d.code), ['E003']);
+        assert.equal(p.summary.error, 1);
+    });
+    it('★名称解析失败（E8xx）只报告名称解析诊断，不再对不可信的 Core 做类型检查', () => {
+        const p = payloadOf(run(TYPECHECK_CLI, [write('unresolved.aster', UNRESOLVED)]));
+        assert.deepEqual(p.diagnostics.map((d) => d.code), ['E802']);
+        assert.match(p.diagnostics[0].message, /'y'/);
+    });
+    it('--filter-codes 只保留指定码（大小写不敏感）', () => {
+        const file = write('filter.aster', TYPE_ERROR);
+        assert.deepEqual(payloadOf(run(TYPECHECK_CLI, ['--filter-codes=e003', file])).diagnostics.map((d) => d.code), ['E003']);
+        const none = payloadOf(run(TYPECHECK_CLI, ['--filter-codes=E999', file]));
+        assert.deepEqual(none.diagnostics, []);
+        assert.equal(none.summary.total, 0);
+    });
+    it('--help 打印用法并以 0 退出；缺少文件参数打印用法并以 2 退出', () => {
+        const help = run(TYPECHECK_CLI, ['--help']);
+        assert.equal(help.status, 0);
+        assert.match(help.stdout, /typecheck-cli\.js <file\.aster>/);
+        const missing = run(TYPECHECK_CLI, []);
+        assert.equal(missing.status, 2);
+        assert.match(missing.stdout, /typecheck-cli\.js <file\.aster>/);
+    });
+    it('输入文件不存在、ASTER_CAPS 无法读取时以 1 退出并在 stderr 说明', () => {
+        const noFile = run(TYPECHECK_CLI, [path.join(dir, 'nope.aster')]);
+        assert.equal(noFile.status, 1);
+        assert.match(noFile.stderr, /nope\.aster/);
+        const badCaps = run(TYPECHECK_CLI, [write('caps.aster', VALID)], { env: { ASTER_CAPS: path.join(dir, 'missing-caps.json') } });
+        assert.equal(badCaps.status, 1);
+        assert.match(badCaps.stderr, /ASTER_CAPS/);
+    });
+    it('ASTER_CAPS 指向合法 manifest 时照常输出', () => {
+        const caps = write('caps.json', JSON.stringify({ allow: {} }));
+        const p = payloadOf(run(TYPECHECK_CLI, [write('caps-ok.aster', VALID)], { env: { ASTER_CAPS: caps } }));
+        assert.equal(p.summary.error, 0);
+    });
+});
+/** REPL：空行触发求值，所以每段输入必须没有内部空行 */
+const replInput = (...chunks) => `${chunks.join('\n\n')}\n\n:q\n`;
+const COMPACT_VALID = 'Module m.\nRule f given x as Int, produce Int:\n  Return x.';
+const COMPACT_UNRESOLVED = 'Module m.\nRule f given x as Int, produce Int:\n  Return y.';
+describe('repl', () => {
+    it('求值模块并输出 Core 伪代码，:q 正常退出', () => {
+        const r = run(REPL, [], { input: replInput(COMPACT_VALID) });
+        assert.equal(r.status, 0, r.stderr);
+        assert.match(r.stdout, /Aster REPL/);
+        assert.match(r.stdout, /func f\(x: Int\): Int = \{\s+return x\s+\}/);
+        assert.equal(r.stderr, '');
+    });
+    it(':f 切换为 JSON 输出', () => {
+        const r = run(REPL, [], { input: `:f\n${replInput(COMPACT_VALID)}` });
+        assert.equal(r.status, 0, r.stderr);
+        assert.match(r.stdout, /Formatter: off/);
+        assert.match(r.stdout, /"kind": "Module"/);
+    });
+    it('★名称解析失败（E8xx）报错且不输出 IR，之后的输入继续可用', () => {
+        const r = run(REPL, [], { input: replInput(COMPACT_UNRESOLVED, COMPACT_VALID) });
+        assert.equal(r.status, 0);
+        assert.match(r.stderr, /E802/);
+        assert.match(r.stdout, /func f\(x: Int\): Int/);
+        assert.equal((r.stdout.match(/func f/g) ?? []).length, 1, '出错的那段不应输出 IR');
+    });
+    it('词法错误按诊断格式输出位置', () => {
+        const r = run(REPL, [], { input: replInput('Module m.\nRule g, produce Text:\n  Return "abc.') });
+        assert.equal(r.status, 0);
+        assert.match(r.stderr, /L002/);
+        assert.match(r.stderr, /3:10/);
+    });
+    it(':h 打印帮助；输入流结束（无 :q）也以 0 退出', () => {
+        const r = run(REPL, [], { input: ':h\n' });
+        assert.equal(r.status, 0);
+        assert.match(r.stdout, /:f {2}toggle formatter output/);
+    });
+});
+//# sourceMappingURL=typecheck-cli-repl.test.js.map

package/dist/test/integration/scripts/typecheck-cli-repl.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecheck-cli-repl.test.js","sourceRoot":"","sources":["../../../../test/integration/scripts/typecheck-cli-repl.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,SAAS,EAAyB,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,iDAAiD;AACjD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACrE,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC;AAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;AAE3D,MAAM,KAAK,GAAG,iEAAiE,CAAC;AAChF,4BAA4B;AAC5B,MAAM,UAAU,GAAG,iEAAiE,CAAC;AACrF,wBAAwB;AACxB,MAAM,UAAU,GAAG,mEAAmE,CAAC;AAEvF,IAAI,GAAG,GAAG,EAAE,CAAC;AACb,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,OAAe,EAAU,EAAE;IACtD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/B,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF,SAAS,GAAG,CAAC,MAAc,EAAE,IAAuB,EAAE,UAAuD,EAAE;IAC7G,OAAO,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE;QACpD,GAAG,EAAE,GAAG;QACR,QAAQ,EAAE,MAAM;QAChB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE;QAC1B,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE;QACvC,OAAO,EAAE,MAAM;KAChB,CAAC,CAAC;AACL,CAAC;AAQD,uCAAuC;AACvC,SAAS,SAAS,CAAC,CAA2B;IAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAY,CAAC;AACzC,CAAC;AAED,MAAM,CAAC,GAAG,EAAE;IACV,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;AACrE,CAAC,CAAC,CAAC;AACH,KAAK,CAAC,GAAG,EAAE;IACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QACxH,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,mBAAmB,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/H,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QACxG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iCAAiC;AACjC,MAAM,SAAS,GAAG,CAAC,GAAG,MAAgB,EAAU,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;AACpF,MAAM,aAAa,GAAG,6DAA6D,CAAC;AACpF,MAAM,kBAAkB,GAAG,6DAA6D,CAAC;AAEzF,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;IACpB,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,4CAA4C,CAAC,CAAC;QACrE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,SAAS,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,cAAc,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,kDAAkD,CAAC,EAAE,CAAC,CAAC;QAClG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,+BAA+B,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/integration/vocabulary-resolution.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=vocabulary-resolution.test.d.ts.map

package/dist/test/integration/vocabulary-resolution.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vocabulary-resolution.test.d.ts","sourceRoot":"","sources":["../../../test/integration/vocabulary-resolution.test.ts"],"names":[],"mappings":""}