@aster-cloud/aster-lang-ts 1.0.29 → 1.0.31

package/dist/test/unit/parser/governance-sugar.test.js

@@ -0,0 +1,258 @@
+/**
+ * ADR 0046 §2/§5：Profile 声明与 When/Otherwise 语法糖在 TS 前端的解析与降糖。
+ *
+ * 降糖须与 aster-lang-core（AstBuilder）产出逐字段一致的 Core IR：
+ * `When c, outcome.` → `If c: Return Verdict.*(…)`（无 else）；`Otherwise outcome.` → `Return Verdict.*(…)`。
+ * 语法糖把 If 与 Return 写在同一行，故与长写法只在去掉 origin 后相等。
+ */
+import { describe, test } from 'node:test';
+import assert from 'node:assert/strict';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parseWithLexicon } from '../../../src/parser.js';
+import { lowerModule } from '../../../src/lower_to_core.js';
+import { formatCNL } from '../../../src/formatter.js';
+import { EN_US } from '../../../src/config/lexicons/en-US.js';
+import { ZH_CN } from '../../../src/config/lexicons/zh-CN.js';
+import { DE_DE } from '../../../src/config/lexicons/de-DE.js';
+import { HI_IN } from '../../../src/config/lexicons/hi-IN.js';
+// 源码 → Core 的完整管线；任何解析错误都抛出（消息即首条诊断）
+function toCore(source, lexicon = EN_US) {
+    const tokens = lex(canonicalize(source, lexicon), lexicon);
+    const result = parseWithLexicon(tokens, lexicon);
+    const errors = result.diagnostics.filter((d) => d.severity === 'error');
+    if (errors.length > 0)
+        throw new Error(errors.map((d) => d.message).join('\n'));
+    return lowerModule(result.ast);
+}
+function stripOrigins(o) {
+    if (Array.isArray(o))
+        return o.map(stripOrigins);
+    if (!o || typeof o !== 'object')
+        return o;
+    const out = {};
+    for (const [k, v] of Object.entries(o)) {
+        if (k !== 'origin')
+            out[k] = stripOrigins(v);
+    }
+    return out;
+}
+function bodyOf(core) {
+    const func = core.decls[0];
+    return func.body.statements;
+}
+const OUTCOME_ERROR = /Expected allow, deny, escalate or require approval by … because … after When\/Otherwise/;
+/** 单条语句作为 Verdict 规则体时，须报语法糖结论错误。 */
+function assertOutcomeError(stmt) {
+    assert.throws(() => toCore(['Module m.', '', 'Rule r given n, produce Verdict:', stmt, ''].join('\n')), OUTCOME_ERROR, stmt);
+}
+const SUGAR_MESSAGES = /Otherwise must be the last statement|Expected allow, deny, escalate/;
+/** 规则体须报给定的普通解析错误，且不带任何语法糖消息。 */
+function assertPlainParseError(body, expected) {
+    const src = ['Module m.', '', 'Rule r given n as Int, produce Verdict:', body, ''].join('\n');
+    assert.throws(() => toCore(src), (e) => {
+        assert.doesNotMatch(e.message, SUGAR_MESSAGES, body);
+        assert.match(e.message, expected, body);
+        return true;
+    });
+}
+describe('ADR 0046 — Profile 声明', () => {
+    test('Profile 声明进入 Core.Module.profile', () => {
+        const core = toCore('Module m.\nProfile "governed".\n\nRule r produce Int:\n  Return 1.\n');
+        assert.equal(core.profile, 'governed');
+    });
+    test('带连字符的档案 id 可声明', () => {
+        const core = toCore('Module m.\nProfile "eu-ai-act-high-risk".\n\nRule r produce Int:\n  Return 1.\n');
+        assert.equal(core.profile, 'eu-ai-act-high-risk');
+    });
+    test('未声明档案时 Core.Module 不含 profile 键', () => {
+        const core = toCore('Module m.\n\nRule r produce Int:\n  Return 1.\n');
+        assert.equal('profile' in core, false);
+        assert.equal(JSON.stringify(core).includes('"profile"'), false);
+    });
+    test('小写 profile 参数名不受影响', () => {
+        const core = toCore('Module m.\n\nRule r given profile, produce Int:\n  Return profile.\n');
+        assert.equal('profile' in core, false);
+    });
+    test('档案 id 形态非法抛错', () => {
+        assert.throws(() => toCore('Module m.\nProfile "Bad_Id".\n'), /Profile id must match \^\[a-z\]\[a-z0-9-\]\{0,63\}\$: Bad_Id/);
+    });
+    test('重复声明或不在模块头之后抛错', () => {
+        const misplaced = /Profile must follow the Module header and appear at most once/;
+        assert.throws(() => toCore('Module m.\nProfile "a".\nProfile "b".\n'), misplaced);
+        assert.throws(() => toCore('Profile "a".\nModule m.\n'), misplaced);
+        assert.throws(() => toCore('Module m.\n\nRule r produce Int:\n  Return 1.\n\nProfile "a".\n'), misplaced);
+        // 第二个模块头本身即被拒绝（与 Java 一致），其后的 Profile 无从覆盖已声明的档案
+        assert.throws(() => toCore('Module a.\nProfile "x".\nModule b.\nProfile "y".\n'), /Module header must appear once, at the start of the file/);
+    });
+});
+describe('ADR 0046 — When/Otherwise 语法糖', () => {
+    test('语法糖与长写法的 Core 去 origin 后相等', () => {
+        const sugar = ['Module m.', '', 'Rule decide given amount, produce Verdict:',
+            '  When amount at least 100, require approval by "Officer" because "large".',
+            '  When amount at most 0, deny "negative".',
+            '  When amount at least 50, escalate "review".',
+            '  Otherwise allow.', ''].join('\n');
+        const long = ['Module m.', '', 'Rule decide given amount, produce Verdict:',
+            '  If amount at least 100:', '    Return Verdict.require_approval("Officer", "large").',
+            '  If amount at most 0:', '    Return Verdict.deny("negative").',
+            '  If amount at least 50:', '    Return Verdict.escalate("review").',
+            '  Return Verdict.allow().', ''].join('\n');
+        assert.deepEqual(stripOrigins(toCore(sugar)), stripOrigins(toCore(long)));
+    });
+    test('合成节点带有源码行号（不是第 0 行）', () => {
+        const core = toCore(['Module m.', '', 'Rule r given n, produce Verdict:',
+            '  When n at least 1, deny "x".', '  Otherwise allow.', ''].join('\n'));
+        const [when, otherwise] = bodyOf(core);
+        assert.equal(when.origin?.start.line, 4);
+        assert.equal(when.thenBlock.origin?.start.line, 4);
+        assert.equal(when.thenBlock.statements[0].origin?.start.line, 4);
+        assert.equal(otherwise.origin?.start.line, 5);
+    });
+    test('Otherwise 之后还有语句抛错', () => {
+        assert.throws(() => toCore(['Module m.', '', 'Rule r produce Verdict:', '  Otherwise allow.',
+            '  Return Verdict.deny("x").', ''].join('\n')), /Otherwise must be the last statement of its block/);
+    });
+    test('Otherwise 只收尾所在块：嵌套块内收尾不影响外层后续语句', () => {
+        const core = toCore(['Module m.', '', 'Rule r given n as Int, produce Verdict:', '  If n at least 1:',
+            '    Otherwise deny "x".', '  Return Verdict.allow().', ''].join('\n'));
+        assert.equal(bodyOf(core).length, 2);
+        assert.throws(() => toCore(['Module m.', '', 'Rule r given n as Int, produce Verdict:', '  If n at least 1:',
+            '    Otherwise deny "x".', '    Return Verdict.allow().', ''].join('\n')), /Otherwise must be the last statement of its block/);
+    });
+    test('结论词组合非法抛错', () => {
+        for (const outcome of ['allow "x"', 'deny', 'approve "x"',
+            'require approval by "a"', 'require approval by "a" since "b"']) {
+            assert.throws(() => toCore(['Module m.', '', 'Rule r given n, produce Verdict:',
+                `  When n at least 1, ${outcome}.`, '  Otherwise allow.', ''].join('\n')), OUTCOME_ERROR, outcome);
+        }
+        assert.throws(() => toCore(['Module m.', '', 'Rule r produce Verdict:',
+            '  Otherwise approve "x".', ''].join('\n')), OUTCOME_ERROR);
+    });
+    test('结论含非单词记号同样报结论错误（对齐 Java A5）', () => {
+        for (const outcome of ['deny 42', 'deny "a" + "b"', 'escalate ("x")', 'allow, deny "x"',
+            'deny "x" because 1', 'require approval by "a" because "b" now', 'allow 1.5']) {
+            assertOutcomeError(`  When n at least 1, ${outcome}.`);
+            assertOutcomeError(`  Otherwise ${outcome}.`);
+        }
+    });
+    test('结论中的句点结束语句：错误与 Java 相同', () => {
+        const rule = (...body) => ['Module m.', '', 'Rule r given n, produce Verdict:', ...body, ''].join('\n');
+        // When 的结论只剩 `deny x`，`y.` 成为下一条语句，Otherwise 仍收尾：报结论错误
+        assert.throws(() => toCore(rule('  When n at least 1, deny x.y.', '  Otherwise allow.')), OUTCOME_ERROR);
+        // Otherwise 之后的 `y.` 是下一条语句：报 Otherwise 收尾错误，而非结论错误
+        assert.throws(() => toCore(rule('  Otherwise deny x.y.')), (e) => {
+            assert.equal(e.message.split('\n')[0], 'Otherwise must be the last statement of its block');
+            return true;
+        });
+    });
+    test('同一块内 Otherwise 收尾检查先于结论校验（对齐 Java AstBuilder）', () => {
+        const src = ['Module m.', '', 'Rule r given n, produce Verdict:', '  When n at least 1, deny 42.',
+            '  Otherwise allow.', '  Return Verdict.deny("x").', ''].join('\n');
+        assert.throws(() => toCore(src), (e) => {
+            assert.equal(e.message.split('\n')[0], 'Otherwise must be the last statement of its block');
+            return true;
+        });
+    });
+    test('Otherwise 后紧跟逗号或冒号不是语法糖：报普通解析错误而非语法糖消息', () => {
+        // If 块之后：按 else 分支解析，缺换行
+        assertPlainParseError('  If n at least 1:\n    Return Verdict.deny("x").\n  Otherwise, Return Verdict.allow().', /^Expected newline$/);
+        assertPlainParseError('  If n at least 1:\n    Return Verdict.deny("x").\n  Otherwise: Return Verdict.allow().', /^Expected newline$/);
+        // 没有前置 If：结论不得以逗号或冒号开头
+        assertPlainParseError('  Otherwise, Return Verdict.allow().', /^Unexpected ',' where an outcome was expected$/);
+        assertPlainParseError('  Otherwise: Return Verdict.allow().', /^Unexpected ':' where an outcome was expected$/);
+    });
+    test('If 块后的 Otherwise 换行块仍是 else 分支', () => {
+        const core = toCore(['Module m.', '', 'Rule r given a, produce Int:', '  If a at least 1:', '    Return 1.',
+            '  Otherwise:', '    Return 2.', ''].join('\n'));
+        const body = bodyOf(core);
+        assert.equal(body.length, 1);
+        const first = body[0];
+        assert.equal(first.kind, 'If');
+        assert.ok(first.elseBlock, '应有 else 块');
+        assert.equal(first.elseBlock.statements.length, 1);
+    });
+    test('If 块后紧随 Otherwise 语法糖是独立语句，不被吞作 else', () => {
+        const core = toCore(['Module m.', '', 'Rule r given a, produce Verdict:', '  If a at least 1:',
+            '    Return Verdict.deny("x").', '  Otherwise allow.', ''].join('\n'));
+        const body = bodyOf(core);
+        assert.equal(body.length, 2);
+        assert.equal(body[0].kind, 'If');
+        assert.equal(body[0].elseBlock, null);
+        assert.equal(body[1].kind, 'Return');
+    });
+    test('Match 分支的 When 不受影响', () => {
+        const core = toCore(['Module m.', '', 'Rule r given n, produce Int:',
+            '  Match n:', '    When 1, Return 10.', '    When x, Return 20.', ''].join('\n'));
+        assert.equal(bodyOf(core)[0].kind, 'Match');
+    });
+    test('Verdict 成员调用不受新词影响', () => {
+        const core = toCore('Module m.\n\nRule r produce Verdict:\n  Return Verdict.allow().\n');
+        const ret = bodyOf(core)[0];
+        assert.equal(ret.kind, 'Return');
+        assert.equal(ret.expr.kind, 'Call');
+    });
+    test('中文与德文档案与语法糖同样降糖', () => {
+        // 英文长写法关闭冠词删除，保留与中德源文同名的参数 a（对齐 Java 测试的同一组源文）
+        const enKeepArticles = {
+            ...EN_US,
+            canonicalization: { ...EN_US.canonicalization, removeArticles: false },
+        };
+        const expected = stripOrigins(toCore(['Module m.', 'Profile "governed".', '',
+            'Rule r given a produce Verdict:',
+            '  If a at least 100:', '    Return Verdict.require_approval("Officer", "large").',
+            '  If a at least 50:', '    Return Verdict.escalate("review").',
+            '  If a at least 1:', '    Return Verdict.deny("x").',
+            '  Return Verdict.allow().', ''].join('\n'), enKeepArticles));
+        const zhSrc = ['模块 m。', '档案 "governed"。', '',
+            '规则 r 给定 a 产出 Verdict：',
+            '  当 a 至少 100，需审批人 "Officer" 因为 "large"。',
+            '  当 a 至少 50，升级 "review"。',
+            '  当 a 至少 1，拒绝 "x"。',
+            '  否则 允许。', ''].join('\n');
+        const deSrc = ['Modul m.', 'Profil "governed".', '',
+            'Regel r gegeben a liefert Verdict:',
+            '  bei a mindestens 100, Genehmigung durch "Officer" weil "large".',
+            '  bei a mindestens 50, eskalieren "review".',
+            '  bei a mindestens 1, ablehnen "x".',
+            '  sonst erlauben.', ''].join('\n');
+        assert.deepEqual(stripOrigins(toCore(zhSrc, ZH_CN)), expected, 'zh-CN');
+        assert.deepEqual(stripOrigins(toCore(deSrc, DE_DE)), expected, 'de-DE');
+    });
+    test('印地语档案与语法糖同样降糖', () => {
+        // 用词取自真实 hi-IN 词法包（暂定，待母语审校）；与中德用例同一策略与期望
+        const enKeepArticles = {
+            ...EN_US,
+            canonicalization: { ...EN_US.canonicalization, removeArticles: false },
+        };
+        const expected = stripOrigins(toCore(['Module m.', 'Profile "governed".', '',
+            'Rule r given a produce Verdict:',
+            '  If a at least 100:', '    Return Verdict.require_approval("Officer", "large").',
+            '  If a at least 50:', '    Return Verdict.escalate("review").',
+            '  If a at least 1:', '    Return Verdict.deny("x").',
+            '  Return Verdict.allow().', ''].join('\n'), enKeepArticles));
+        const hiSrc = ['मॉड्यूल m।', 'प्रोफ़ाइल "governed"।', '',
+            'नियम r दिया गया a उत्पन्न Verdict:',
+            '  जब a कम से कम 100, अनुमोदक "Officer" क्योंकि "large"।',
+            '  जब a कम से कम 50, आगे बढ़ाएँ "review"।',
+            '  जब a कम से कम 1, अस्वीकार "x"।',
+            '  अन्यथा अनुमति।', ''].join('\n');
+        const hi = toCore(hiSrc, HI_IN);
+        assert.equal(hi.profile, 'governed');
+        assert.deepEqual(stripOrigins(hi), expected, 'hi-IN');
+    });
+});
+describe('ADR 0046 — 格式化器', () => {
+    test('格式化器保留 Profile 行', () => {
+        const out = formatCNL('Module m.\nProfile "governed".\n\nRule r produce Int:\n  Return 1.\n');
+        assert.match(out, /^Module m\.\nProfile "governed"\./);
+    });
+    test('格式化器把语法糖按长写法输出（ADR 0046 §10 已知限制）', () => {
+        const sugar = ['Module m.', '', 'Rule r given n, produce Verdict:',
+            '  When n at least 1, deny "x".', '  Otherwise allow.', ''].join('\n');
+        const long = ['Module m.', '', 'Rule r given n, produce Verdict:',
+            '  If n at least 1:', '    Return Verdict.deny("x").', '  Return Verdict.allow().', ''].join('\n');
+        assert.equal(formatCNL(sugar), formatCNL(long));
+    });
+});
+//# sourceMappingURL=governance-sugar.test.js.map

package/dist/test/unit/parser/governance-sugar.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"governance-sugar.test.js","sourceRoot":"","sources":["../../../../test/unit/parser/governance-sugar.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uCAAuC,CAAC;AAI9D,qCAAqC;AACrC,SAAS,MAAM,CAAC,MAAc,EAAE,UAAmB,KAAK;IACtD,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC1C,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,QAAQ;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,MAAM,CAAC,IAAiB;IAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC;IACxC,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;AAC9B,CAAC;AAED,MAAM,aAAa,GAAG,yFAAyF,CAAC;AAEhH,qCAAqC;AACrC,SAAS,kBAAkB,CAAC,IAAY;IACtC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACpG,aAAa,EAAE,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,cAAc,GAAG,qEAAqE,CAAC;AAE7F,iCAAiC;AACjC,SAAS,qBAAqB,CAAC,IAAY,EAAE,QAAgB;IAC3D,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,yCAAyC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9F,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAQ,EAAE,EAAE;QAC5C,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,sEAAsE,CAAC,CAAC;QAC5F,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,iFAAiF,CAAC,CAAC;QACvG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,iDAAiD,CAAC,CAAC;QACvE,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,EAAE,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,sEAAsE,CAAC,CAAC;QAC5F,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,gCAAgC,CAAC,EAC1D,8DAA8D,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC1B,MAAM,SAAS,GAAG,+DAA+D,CAAC;QAClF,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,yCAAyC,CAAC,EAAE,SAAS,CAAC,CAAC;QAClF,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,2BAA2B,CAAC,EAAE,SAAS,CAAC,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,iEAAiE,CAAC,EAAE,SAAS,CAAC,CAAC;QAC1G,iDAAiD;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,oDAAoD,CAAC,EAC9E,0DAA0D,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAI,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,4CAA4C;YAC1E,4EAA4E;YAC5E,2CAA2C;YAC3C,+CAA+C;YAC/C,oBAAoB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,4CAA4C;YACzE,2BAA2B,EAAE,0DAA0D;YACvF,wBAAwB,EAAE,sCAAsC;YAChE,0BAA0B,EAAE,wCAAwC;YACpE,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC;YACtE,gCAAgC,EAAE,oBAAoB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,MAAM,CAAC,IAAI,CAA2B,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,yBAAyB,EAAE,oBAAoB;YAC1F,6BAA6B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,mDAAmD,CAAC,CAAC;IACzG,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,yCAAyC,EAAE,oBAAoB;YACnG,yBAAyB,EAAE,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,yCAAyC,EAAE,oBAAoB;YAC1G,yBAAyB,EAAE,6BAA6B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAC3E,mDAAmD,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE;QACrB,KAAK,MAAM,OAAO,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa;YACvD,yBAAyB,EAAE,mCAAmC,CAAC,EAAE,CAAC;YAClE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC;gBAC7E,wBAAwB,OAAO,GAAG,EAAE,oBAAoB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;QACvG,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,yBAAyB;YACpE,0BAA0B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACvC,KAAK,MAAM,OAAO,IAAI,CAAC,SAAS,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,iBAAiB;YACrF,oBAAoB,EAAE,yCAAyC,EAAE,WAAW,CAAC,EAAE,CAAC;YAChF,kBAAkB,CAAC,wBAAwB,OAAO,GAAG,CAAC,CAAC;YACvD,kBAAkB,CAAC,eAAe,OAAO,GAAG,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAClC,MAAM,IAAI,GAAG,CAAC,GAAG,IAAc,EAAU,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC,EAAE,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1H,uDAAuD;QACvD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,gCAAgC,EAAE,oBAAoB,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;QACzG,oDAAoD;QACpD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,EAAE,CAAC,CAAQ,EAAE,EAAE;YACtE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,mDAAmD,CAAC,CAAC;YAC5F,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC,EAAE,+BAA+B;YAC/F,oBAAoB,EAAE,6BAA6B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAQ,EAAE,EAAE;YAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,mDAAmD,CAAC,CAAC;YAC5F,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAClD,yBAAyB;QACzB,qBAAqB,CAAC,yFAAyF,EAC7G,oBAAoB,CAAC,CAAC;QACxB,qBAAqB,CAAC,yFAAyF,EAC7G,oBAAoB,CAAC,CAAC;QACxB,uBAAuB;QACvB,qBAAqB,CAAC,sCAAsC,EAAE,gDAAgD,CAAC,CAAC;QAChH,qBAAqB,CAAC,sCAAsC,EAAE,gDAAgD,CAAC,CAAC;IAClH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,8BAA8B,EAAE,oBAAoB,EAAE,eAAe;YACzG,cAAc,EAAE,eAAe,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAY,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,SAAU,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC,EAAE,oBAAoB;YAC5F,+BAA+B,EAAE,oBAAoB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAE,IAAI,CAAC,CAAC,CAAa,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,EAAE,8BAA8B;YAClE,YAAY,EAAE,wBAAwB,EAAE,wBAAwB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACpF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,mEAAmE,CAAC,CAAC;QACzF,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAgB,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC3B,+CAA+C;QAC/C,MAAM,cAAc,GAAY;YAC9B,GAAG,KAAK;YACR,gBAAgB,EAAE,EAAE,GAAG,KAAK,CAAC,gBAAgB,EAAE,cAAc,EAAE,KAAK,EAAE;SACvE,CAAC;QACF,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,qBAAqB,EAAE,EAAE;YAC1E,iCAAiC;YACjC,sBAAsB,EAAE,0DAA0D;YAClF,qBAAqB,EAAE,wCAAwC;YAC/D,oBAAoB,EAAE,+BAA+B;YACrD,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,gBAAgB,EAAE,EAAE;YAC1C,uBAAuB;YACvB,yCAAyC;YACzC,0BAA0B;YAC1B,oBAAoB;YACpB,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,CAAC,UAAU,EAAE,oBAAoB,EAAE,EAAE;YACjD,oCAAoC;YACpC,mEAAmE;YACnE,6CAA6C;YAC7C,qCAAqC;YACrC,mBAAmB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE;QACzB,0CAA0C;QAC1C,MAAM,cAAc,GAAY;YAC9B,GAAG,KAAK;YACR,gBAAgB,EAAE,EAAE,GAAG,KAAK,CAAC,gBAAgB,EAAE,cAAc,EAAE,KAAK,EAAE;SACvE,CAAC;QACF,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,qBAAqB,EAAE,EAAE;YAC1E,iCAAiC;YACjC,sBAAsB,EAAE,0DAA0D;YAClF,qBAAqB,EAAE,wCAAwC;YAC/D,oBAAoB,EAAE,+BAA+B;YACrD,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,CAAC,YAAY,EAAE,uBAAuB,EAAE,EAAE;YACtD,oCAAoC;YACpC,yDAAyD;YACzD,0CAA0C;YAC1C,kCAAkC;YAClC,kBAAkB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QACrC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,sEAAsE,CAAC,CAAC;QAC9F,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,mCAAmC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC;YAChE,gCAAgC,EAAE,oBAAoB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,CAAC,WAAW,EAAE,EAAE,EAAE,kCAAkC;YAC/D,oBAAoB,EAAE,+BAA+B,EAAE,2BAA2B,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/parser/module-header.test.d.ts

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

package/dist/test/unit/parser/module-header.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-header.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/parser/module-header.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/parser/module-header.test.js

@@ -0,0 +1,25 @@
+/**
+ * 模块头只能出现一次且位于文件开头（与 Java `module : NEWLINE* (moduleHeader …)? … topLevelDecl*` 一致）。
+ */
+import { test } from 'node:test';
+import assert from 'node:assert/strict';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parse } from '../../../src/parser.js';
+const MISPLACED = 'Module header must appear once, at the start of the file';
+function errorsOf(source) {
+    return parse(lex(canonicalize(source))).diagnostics
+        .filter((d) => d.severity === 'error')
+        .map((d) => d.message);
+}
+test('第二个模块头报错', () => {
+    assert.deepEqual(errorsOf('Module a.\nModule b.\n\nRule r produce Int:\n  Return 1.\n'), [MISPLACED]);
+});
+test('声明之后的模块头报错', () => {
+    assert.deepEqual(errorsOf('Rule r produce Int:\n  Return 1.\n\nModule a.\n'), [MISPLACED]);
+});
+test('单个模块头与无模块头都照常解析', () => {
+    assert.deepEqual(errorsOf('Module a.\n\nRule r produce Int:\n  Return 1.\n'), []);
+    assert.deepEqual(errorsOf('Rule r produce Int:\n  Return 1.\n'), []);
+});
+//# sourceMappingURL=module-header.test.js.map

package/dist/test/unit/parser/module-header.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-header.test.js","sourceRoot":"","sources":["../../../../test/unit/parser/module-header.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAE/C,MAAM,SAAS,GAAG,0DAA0D,CAAC;AAE7E,SAAS,QAAQ,CAAC,MAAc;IAC9B,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW;SAChD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC3B,CAAC;AAED,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE;IACpB,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,4DAA4D,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;AACxG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;IACtB,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,iDAAiD,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;AAC7F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC3B,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,iDAAiD,CAAC,EAAE,EAAE,CAAC,CAAC;IAClF,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,oCAAoC,CAAC,EAAE,EAAE,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC"}

package/dist/test/unit/parser/positional-annotation-args.test.d.ts

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

package/dist/test/unit/parser/positional-annotation-args.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"positional-annotation-args.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/parser/positional-annotation-args.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/parser/positional-annotation-args.test.js

@@ -0,0 +1,26 @@
+import { test } from 'node:test';
+import assert from 'node:assert/strict';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parse } from '../../../src/parser.js';
+import { lowerModule } from '../../../src/lower_to_core.js';
+function lower(src) {
+    const ast = parse(lex(canonicalize(src))).ast;
+    return lowerModule(ast);
+}
+test('位置字符串参数注解降为 $0 键', () => {
+    const core = lower('Module probe.\n@id("PII-001")\nRule main produce Bool:\n  Return true.\n');
+    const fn = core.decls.find((d) => d.kind === 'Func');
+    assert.deepEqual(fn.annotations, [{ name: 'id', args: [{ name: '$0', value: 'PII-001' }] }]);
+});
+test('多个位置参数依次编号', () => {
+    const core = lower('Module probe.\n@tag("a", "b")\nRule main produce Bool:\n  Return true.\n');
+    const fn = core.decls.find((d) => d.kind === 'Func');
+    assert.deepEqual(fn.annotations[0].args.map((a) => a.name), ['$0', '$1']);
+});
+test('命名参数仍按原名保留', () => {
+    const core = lower('Module probe.\n@id(value: "X")\nRule main produce Bool:\n  Return true.\n');
+    const fn = core.decls.find((d) => d.kind === 'Func');
+    assert.deepEqual(fn.annotations[0].args.map((a) => a.name), ['value']);
+});
+//# sourceMappingURL=positional-annotation-args.test.js.map

package/dist/test/unit/parser/positional-annotation-args.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"positional-annotation-args.test.js","sourceRoot":"","sources":["../../../../test/unit/parser/positional-annotation-args.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAG5D,SAAS,KAAK,CAAC,GAAW;IACxB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAgB,CAAC;IAC3D,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC/F,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAsG,CAAC;IAC1J,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC/F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,0EAA0E,CAAC,CAAC;IAC/F,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAwE,CAAC;IAC5H,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,WAAY,CAAC,CAAC,CAAE,CAAC,IAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAC/E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,2EAA2E,CAAC,CAAC;IAChG,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAwE,CAAC;IAC5H,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,WAAY,CAAC,CAAC,CAAE,CAAC,IAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC"}

package/dist/test/unit/parser/prefix-operator-call.test.d.ts

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

package/dist/test/unit/parser/prefix-operator-call.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefix-operator-call.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/parser/prefix-operator-call.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/parser/prefix-operator-call.test.js

@@ -0,0 +1,69 @@
+/**
+ * 前缀运算符调用 `<op>(a, b)`：与 Java AsterParser.operatorCall 对齐。
+ * 降为与中缀写法相同的 Call(Name(规范符号), [a, b])，`=` 与中缀一样规范为 `==`；恰好 2 个参数。
+ */
+import { describe, test } from 'node:test';
+import assert from 'node:assert/strict';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parse } from '../../../src/parser.js';
+import { lowerModule } from '../../../src/lower_to_core.js';
+import { typecheckModule } from '../../../src/typecheck.js';
+function toCore(source) {
+    const result = parse(lex(canonicalize(source)));
+    const errors = result.diagnostics.filter((d) => d.severity === 'error');
+    if (errors.length > 0)
+        throw new Error(errors.map((d) => `${d.code} ${d.message}`).join('\n'));
+    return lowerModule(result.ast);
+}
+function stripOrigins(o) {
+    if (Array.isArray(o))
+        return o.map(stripOrigins);
+    if (!o || typeof o !== 'object')
+        return o;
+    const out = {};
+    for (const [k, v] of Object.entries(o)) {
+        if (k !== 'origin')
+            out[k] = stripOrigins(v);
+    }
+    return out;
+}
+function ruleReturning(expr, ret) {
+    return `Module m.\n\nRule r given x as Int, y as Int, produce ${ret}:\n  Return ${expr}.\n`;
+}
+// [前缀运算符, 等价中缀写法, 返回类型]
+const CASES = [
+    ['<', 'x < y', 'Bool'],
+    ['>', 'x > y', 'Bool'],
+    ['<=', 'x <= y', 'Bool'],
+    ['>=', 'x >= y', 'Bool'],
+    ['!=', 'x != y', 'Bool'],
+    ['==', 'x == y', 'Bool'],
+    ['=', 'x = y', 'Bool'],
+    ['+', 'x + y', 'Int'],
+    ['-', 'x - y', 'Int'],
+    ['*', 'x * y', 'Int'],
+    ['/', 'x / y', 'Int'],
+];
+describe('前缀运算符调用', () => {
+    for (const [op, infix, ret] of CASES) {
+        test(`${op}(x, y) 与 ${infix} 的 Core IR 相同`, () => {
+            const prefix = toCore(ruleReturning(`${op}(x, y)`, ret));
+            assert.deepEqual(stripOrigins(prefix), stripOrigins(toCore(ruleReturning(infix, ret))));
+            assert.deepEqual(typecheckModule(prefix).filter((d) => d.severity === 'error'), []);
+        });
+    }
+    test('= 规范为 ==', () => {
+        const func = toCore(ruleReturning('=(x, y)', 'Bool')).decls[0];
+        const ret = func.body.statements[0];
+        assert.equal(ret.expr.target.name, '==');
+    });
+    test('实参可为任意表达式，且前缀调用可作中缀操作数', () => {
+        assert.deepEqual(stripOrigins(toCore(ruleReturning('>=(x plus 1, y) and =(x, 2)', 'Bool'))), stripOrigins(toCore(ruleReturning('x plus 1 at least y and x = 2', 'Bool'))));
+    });
+    test('参数个数不是 2 时报错（与 Java 同一消息）', () => {
+        assert.throws(() => toCore(ruleReturning('+(x, y, x)', 'Int')), /前缀操作符调用需要 2 个参数，但实际为 3/);
+        assert.throws(() => toCore(ruleReturning('>=(x)', 'Bool')), /前缀操作符调用需要 2 个参数，但实际为 1/);
+    });
+});
+//# sourceMappingURL=prefix-operator-call.test.js.map

package/dist/test/unit/parser/prefix-operator-call.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefix-operator-call.test.js","sourceRoot":"","sources":["../../../../test/unit/parser/prefix-operator-call.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAG5D,SAAS,MAAM,CAAC,MAAc;IAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/F,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC1C,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,QAAQ;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,GAAW;IAC9C,OAAO,yDAAyD,GAAG,eAAe,IAAI,KAAK,CAAC;AAC9F,CAAC;AAED,wBAAwB;AACxB,MAAM,KAAK,GAAqD;IAC9D,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC;IACtB,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC;IACtB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;IACxB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;IACxB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;IACxB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC;IACxB,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC;IACtB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;IACrB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;IACrB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;IACrB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;CACtB,CAAC;AAEF,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;QACrC,IAAI,CAAC,GAAG,EAAE,YAAY,KAAK,eAAe,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;YACzD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACxF,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE;QACpB,MAAM,IAAI,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC;QAC5E,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAgB,CAAC;QACnD,MAAM,CAAC,KAAK,CAAG,GAAG,CAAC,IAAkB,CAAC,MAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,SAAS,CACd,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,6BAA6B,EAAE,MAAM,CAAC,CAAC,CAAC,EAC1E,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC,+BAA+B,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;QAC1F,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/scripts/corpus-loader.test.d.ts

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

package/dist/test/unit/scripts/corpus-loader.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus-loader.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/scripts/corpus-loader.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/scripts/corpus-loader.test.js

@@ -0,0 +1,85 @@
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import fs from 'node:fs';
+import os from 'node:os';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { assertCorpusFrom, loadCorpus, corpusLoaderPath, CORPUS_PATH_ENV } from '../../../scripts/corpus-loader.js';
+// ★issue #194：corpus-regression 工作流设置 ASTER_LANG_TEST_PATH，golden.ts 却静态
+//   import npm 包，变量零读取。这里守住两件事：变量生效、生效与否可被察觉。
+describe('corpus-loader：ASTER_LANG_TEST_PATH 必须生效且可验证', () => {
+    const sample = (absPath) => ({ absPath, meta: { tier: 1 } });
+    it('样本全部位于 checkout 之下 → 通过', () => {
+        const root = path.join(os.tmpdir(), 'aster-lang-test');
+        const mod = { listSamples: () => [sample(path.join(root, 'corpus', 'a.aster'))] };
+        assert.doesNotThrow(() => assertCorpusFrom(mod, root));
+    });
+    it('★样本来自别处（例如 node_modules 里的 npm 版本）→ 失败并指出来源', () => {
+        const root = path.join(os.tmpdir(), 'aster-lang-test');
+        const stray = path.join(os.tmpdir(), 'node_modules', 'pkg', 'corpus', 'a.aster');
+        const mod = { listSamples: () => [sample(stray)] };
+        assert.throws(() => assertCorpusFrom(mod, root), new RegExp(`未生效.*${stray.replace(/[/\\]/g, '.')}`));
+    });
+    it('同名前缀目录不算「位于其下」', () => {
+        const root = path.join(os.tmpdir(), 'aster-lang-test');
+        const mod = { listSamples: () => [sample(`${root}-other${path.sep}a.aster`)] };
+        assert.throws(() => assertCorpusFrom(mod, root), /未生效/);
+    });
+    it('空样本集也视为未生效', () => {
+        assert.throws(() => assertCorpusFrom({ listSamples: () => [] }, '/x'), /未生效/);
+    });
+    // ★issue #203：ESM loader 对模块路径 realpath，样本 absPath 是真实路径；root 若只
+    //   path.resolve，经过任意一层符号链接就被误判「未生效」。两侧都按真实路径比较。
+    it('★root 经符号链接、样本为真实路径（或反之）→ 通过', () => {
+        const base = fs.mkdtempSync(path.join(os.tmpdir(), 'aster-corpus-link-'));
+        try {
+            const real = path.join(base, 'real');
+            fs.mkdirSync(path.join(real, 'corpus'), { recursive: true });
+            const file = path.join(real, 'corpus', 'a.aster');
+            fs.writeFileSync(file, '');
+            const link = path.join(base, 'link');
+            fs.symlinkSync(real, link);
+            const viaReal = { listSamples: () => [sample(fs.realpathSync.native(file))] };
+            assert.doesNotThrow(() => assertCorpusFrom(viaReal, link));
+            const viaLink = { listSamples: () => [sample(path.join(link, 'corpus', 'a.aster'))] };
+            assert.doesNotThrow(() => assertCorpusFrom(viaLink, real));
+        }
+        finally {
+            fs.rmSync(base, { recursive: true, force: true });
+        }
+    });
+    it('★loadCorpus：变量指向符号链接的 checkout → 生效，样本来自该 checkout', async () => {
+        // 按 issue 复现步骤：把 npm 包的 loader 与语料复制成 checkout 布局，再经软链加载。
+        const pkgRoot = path.resolve(path.dirname(fileURLToPath(import.meta.resolve('@aster-cloud/aster-lang-test'))), '..');
+        const base = fs.mkdtempSync(path.join(os.tmpdir(), 'aster-corpus-checkout-'));
+        try {
+            const real = path.join(base, 'real');
+            fs.cpSync(path.join(pkgRoot, 'corpus'), path.join(real, 'corpus'), { recursive: true });
+            fs.mkdirSync(path.dirname(corpusLoaderPath(real)), { recursive: true });
+            fs.copyFileSync(path.join(pkgRoot, 'dist', 'loader.js'), corpusLoaderPath(real));
+            const link = path.join(base, 'link');
+            fs.symlinkSync(real, link);
+            const mod = await loadCorpus({ [CORPUS_PATH_ENV]: link });
+            const samples = mod.listSamples();
+            assert.ok(samples.length > 0);
+            assert.ok(samples[0].absPath.startsWith(fs.realpathSync.native(real) + path.sep));
+        }
+        finally {
+            fs.rmSync(base, { recursive: true, force: true });
+        }
+    });
+    it('未设置变量 → 回退到 npm 依赖', async () => {
+        const mod = await loadCorpus({});
+        assert.equal(typeof mod.listSamples, 'function');
+    });
+    it('★变量指向没有 loader 产物的目录 → 失败并提示构建', async () => {
+        const dir = fs.mkdtempSync(path.join(os.tmpdir(), 'aster-corpus-missing-'));
+        try {
+            await assert.rejects(loadCorpus({ [CORPUS_PATH_ENV]: dir }), /pnpm run build/);
+        }
+        finally {
+            fs.rmSync(dir, { recursive: true, force: true });
+        }
+    });
+});
+//# sourceMappingURL=corpus-loader.test.js.map

package/dist/test/unit/scripts/corpus-loader.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus-loader.test.js","sourceRoot":"","sources":["../../../../test/unit/scripts/corpus-loader.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,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;AACzC,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AAEpH,yEAAyE;AACzE,8CAA8C;AAC9C,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IAErE,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,EAAW,CAAC;QAC3F,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC;QACvD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QACjF,MAAM,GAAG,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAW,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,SAAS,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,EAAW,CAAC;QACxF,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,EAAW,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,iEAAiE;IACjE,iDAAiD;IACjD,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QAC1E,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClD,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3B,MAAM,OAAO,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAW,CAAC;YACvF,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YAC3D,MAAM,OAAO,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,EAAW,CAAC;YAC/F,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7D,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,0DAA0D;QAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACrH,MAAM,IAAI,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC;QAC9E,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACxF,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACxE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;YACjF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3B,MAAM,GAAG,GAAG,MAAM,UAAU,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;YAClC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACrF,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,KAAK,IAAI,EAAE;QAClC,MAAM,GAAG,GAAG,MAAM,UAAU,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,KAAK,IAAI,EAAE;QAC9C,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;QAC5E,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACjF,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aster-cloud/aster-lang-ts",
-  "version": "1.0.29",
+  "version": "1.0.31",
   "description": "Aster CNL (Controlled Natural Language) TypeScript Compiler - Lexer, Parser, AST, Core IR, Type Checker",
   "type": "module",
   "main": "./dist/src/index.js",