@aster-cloud/aster-lang-ts 1.0.7 → 1.0.10

package/dist/test/unit/multiline-continuation.test.js

@@ -0,0 +1,87 @@
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { compile, evaluate, EN_US, initializeAllBundledLexicons } from '../../src/browser.js';
+// 等缩进多行表达式续行（ADR 0026）—— TS 引擎。续行（与语句起始行同缩进、二元运算符打头/结尾）
+// 解析到与单行**完全相同**的 Core IR（零新节点）；双引擎一致由 tier1-parity（multiline_continuation
+// 样本）锁。安全性（Codex 审查 019f157b）：只跨等缩进 NEWLINE，不碰 INDENT/DEDENT，块结构零风险。
+initializeAllBundledLexicons();
+function run(body, entry, ctx) {
+    const c = compile(`Module probe.\n${body}\n`, { lexicon: EN_US });
+    assert.ok(c.success && c.core, `compile: ${JSON.stringify(c.parseErrors ?? [])}`);
+    const ev = evaluate(c.core, entry, ctx);
+    assert.ok(ev.success, `eval: ${ev.error ?? ''}`);
+    return ev.value;
+}
+function compiles(body) {
+    return compile(`Module probe.\n${body}\n`, { lexicon: EN_US }).success;
+}
+/** 剥 origin 的结构指纹，用于比较多行版 ≡ 单行版 Core IR。 */
+function fingerprint(body) {
+    const c = compile(`Module probe.\n${body}\n`, { lexicon: EN_US });
+    assert.ok(c.core, `compile: ${JSON.stringify(c.parseErrors ?? [])}`);
+    return JSON.stringify(stripOrigin(c.core));
+}
+function stripOrigin(o) {
+    if (Array.isArray(o))
+        return o.map(stripOrigin);
+    if (o && typeof o === 'object') {
+        const r = {};
+        for (const k of Object.keys(o)) {
+            if (k === 'origin' || k === 'span')
+                continue;
+            r[k] = stripOrigin(o[k]);
+        }
+        return r;
+    }
+    return o;
+}
+describe('ADR 0026 — 等缩进多行续行求值正确', () => {
+    it('加法链跨行：a plus 10 plus 20 (a=5) = 35', () => {
+        assert.equal(run('Rule total given a as Int, produce Int:\n  Return a\n  plus 10\n  plus 20.', 'total', { a: 5 }), 35);
+    });
+    it('字符串拼接跨行', () => {
+        assert.equal(run('Rule g given name as Text, produce Text:\n  Return "Hello, "\n  plus name\n  plus "!".', 'g', { name: 'world' }), 'Hello, world!');
+    });
+    it('行尾运算符续行：a plus\\n 10', () => {
+        assert.equal(run('Rule t given a as Int, produce Int:\n  Return a plus\n  10.', 't', { a: 5 }), 15);
+    });
+    it('乘法链跨行', () => {
+        assert.equal(run('Rule s given a as Int, produce Int:\n  Return a\n  times 2\n  times 3.', 's', { a: 4 }), 24);
+    });
+    it('比较+逻辑跨行', () => {
+        assert.equal(run('Rule r given x as Int, produce Bool:\n  Return x at least 1\n  and x at most 9.', 'r', { x: 5 }), true);
+    });
+});
+describe('ADR 0026 — 多行版 ≡ 单行版 Core IR（纯解析层）', () => {
+    it('加法链：多行与单行结构一致', () => {
+        const ml = fingerprint('Rule total given a as Int, produce Int:\n  Return a\n  plus 10\n  plus 20.');
+        const sl = fingerprint('Rule total given a as Int, produce Int:\n  Return a plus 10 plus 20.');
+        assert.equal(ml, sl);
+    });
+});
+describe('ADR 0026 — 边界（本批仅等缩进）', () => {
+    it('更深缩进续行仍拒（本批不支持）', () => {
+        assert.equal(compiles('Rule t given a as Int, produce Int:\n  Return a\n    plus 1.'), false);
+    });
+    it('不跨行续接第二个比较（不扩大 TS/Java 链式比较分歧）', () => {
+        // Codex 审查 019f157b §5：Java comparisonExpr 单比较非链式。续行若跨行续接第二个比较会
+        // 与 Java 分歧 → 故 `a < b\n< c` 多行链式比较不被续行接受（首个比较的行首/行尾续行仍支持）。
+        assert.equal(compiles('Rule r given a as Int, produce Bool:\n  Return a less than 5\n  less than 10.'), false);
+        // 但首个比较的行首续行仍可：`a\n< b`。
+        assert.equal(run('Rule r given a as Int, produce Bool:\n  Return a\n  less than 10.', 'r', { a: 5 }), true);
+    });
+    it('块边界不被续行误并：两条独立语句', () => {
+        const c = compile('Module probe.\nRule r given a as Int, produce Int:\n  Let m be a plus 1.\n  Return m.\n', { lexicon: EN_US });
+        assert.ok(c.success && c.core);
+        const fn = c.core.decls.find(d => d.kind === 'Func' && d.name === 'r');
+        assert.ok(fn && fn.kind === 'Func', 'rule r found');
+        assert.equal(fn.body?.statements.length, 2, '应为两条独立语句');
+    });
+    it('续行不影响行内运算符链（无换行时行为不变）', () => {
+        // 回归保护：单行运算符链照常工作，续行逻辑只在 NEWLINE 后命中，不干扰行内解析。
+        assert.equal(run('Rule r given a as Int, produce Int:\n  Return a plus 1 plus 2 plus 3.', 'r', { a: 0 }), 6);
+        // 注：前缀 operatorCall `+(a,b)` 是 Java-grammar-only 形（TS 本就不支持，见 Codex 审查
+        // 019f157b 的双引擎差异），与本续行特性无关——续行只在 expr 循环内、NEWLINE 后触发。
+    });
+});
+//# sourceMappingURL=multiline-continuation.test.js.map

package/dist/test/unit/multiline-continuation.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"multiline-continuation.test.js","sourceRoot":"","sources":["../../../test/unit/multiline-continuation.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAC;AAE9F,wDAAwD;AACxD,2EAA2E;AAC3E,qEAAqE;AACrE,4BAA4B,EAAE,CAAC;AAE/B,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,GAA4B;IACpE,MAAM,CAAC,GAAG,OAAO,CAAC,kBAAkB,IAAI,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IAClE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE,YAAY,IAAI,CAAC,SAAS,CAAE,CAA+B,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACjH,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACzC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;IACjD,OAAO,EAAE,CAAC,KAAK,CAAC;AAClB,CAAC;AACD,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,OAAO,CAAC,kBAAkB,IAAI,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC;AACzE,CAAC;AACD,4CAA4C;AAC5C,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,kBAAkB,IAAI,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IAClE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,IAAI,CAAC,SAAS,CAAE,CAA+B,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACpG,OAAO,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7C,CAAC;AACD,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,GAA4B,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,MAAM;gBAAE,SAAS;YAC7C,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAE,CAA6B,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,4EAA4E,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACzH,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;QACjB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,wFAAwF,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;IACvJ,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,6DAA6D,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACtG,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;QACf,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,wEAAwE,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACjH,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;QACjB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,iFAAiF,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5H,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,EAAE,GAAG,WAAW,CAAC,4EAA4E,CAAC,CAAC;QACrG,MAAM,EAAE,GAAG,WAAW,CAAC,sEAAsE,CAAC,CAAC;QAC/F,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,8DAA8D,CAAC,EAAE,KAAK,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,gEAAgE;QAChE,4DAA4D;QAC5D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,+EAA+E,CAAC,EAAE,KAAK,CAAC,CAAC;QAC/G,yBAAyB;QACzB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,mEAAmE,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,yFAAyF,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACjI,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,IAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QACxE,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,cAAc,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,8CAA8C;QAC9C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,uEAAuE,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7G,uEAAuE;QACvE,wDAAwD;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/stdlib-collections.test.js

@@ -61,4 +61,62 @@ describe('ADR 0024 stdlib — 通用集合 builtin', () => {
     it('List.combinations first subset is [0,1] indices', () => assert.equal(run(R('List.get(List.get(List.combinations([10, 20, 30], 2), 0), 0)')), 10));
     it('List.combinations second subset is [0,2] → [10,30]', () => assert.equal(run(R('List.get(List.get(List.combinations([10, 20, 30], 2), 1), 1)')), 30));
 });
+// 红队 P0-B：List.range 内存耗尽 DoS 防护。range 是唯一「从标量凭空造大列表」的
+// builtin，MAX_STEPS 只数解释器步进不数 native 循环 → 必须按结果长度设上限。
+describe('红队 P0-B — List.range DoS 上限', () => {
+    // 返回 evaluate 结果（不 assert 成功），用于断言失败路径。
+    function tryRun(body) {
+        const c = compile(`Module probe.\n${body}\n`);
+        assert.ok(c.core, `compile: ${JSON.stringify(c.parseErrors ?? [])}`);
+        return evaluate(c.core, 'main', { seed: 0 });
+    }
+    it('range 超上限（超 1e6）被拒绝，报内存耗尽 DoS', () => {
+        // 2_000_000 > MAX_RANGE_SIZE(1_000_000)
+        const ev = tryRun(R('List.length(List.range(0, 2000000))'));
+        assert.equal(ev.success, false, '超上限 range 必须失败，不得占死内存');
+        assert.match(String(ev.error), /List\.range: 长度过大.*拒绝以防内存耗尽 DoS/);
+    });
+    it('range 恰在上限内（1e6）成功', () => {
+        // 边界：正好 MAX_RANGE_SIZE 应放行；用较高 maxSteps 让 length 计算有余量
+        const c = compile(`Module probe.\n${R('List.length(List.range(0, 1000000))')}\n`);
+        assert.ok(c.core);
+        const ev = evaluate(c.core, 'main', { seed: 0 }, { maxSteps: 5_000_000 });
+        assert.ok(ev.success, `边界内 range 应成功: ${ev.error ?? ''}`);
+        assert.equal(ev.value, 1000000);
+    });
+    it('range 常规小区间不受影响', () => {
+        assert.equal(run(R('List.length(List.range(2, 7))')), 5);
+    });
+});
+// 红队 P2-I：Map.keys/values 确定性顺序（插入序）。TS 用 JS object，Object.keys/values
+// 天然插入序；truffle 侧改用 LinkedHashMap 对齐。此处锁 TS 契约，与 truffle
+// StdlibCollectionTest.mapKeysPreserveInsertionOrder 双引擎一致。
+describe('红队 P2-I — Map.keys/values 插入序确定性', () => {
+    // 返回原始值（不强转 Int），供 List 结果断言。
+    function runVal(body) {
+        const c = compile(`Module probe.\n${body}\n`);
+        assert.ok(c.core, `compile: ${JSON.stringify(c.parseErrors ?? [])}`);
+        const ev = evaluate(c.core, 'main', { seed: 0 });
+        assert.ok(ev.success, `eval: ${ev.error ?? ''}`);
+        return ev.value;
+    }
+    // produce 无类型标注，返回 List（keys 是文本列表）。
+    const RList = (expr) => `Rule main given seed as Int, produce:\n  Return ${expr}.`;
+    it('Map.keys 保留插入序（非哈希序/字母序）', () => {
+        // zebra→apple→mango→delta 插入，keys 必须按此序（非字母序）
+        const expr = 'Map.keys(Map.put(Map.put(Map.put(Map.put(Map.empty(), "zebra", 1), "apple", 2), "mango", 3), "delta", 4))';
+        const keys = runVal(RList(expr));
+        assert.deepEqual(keys, ['zebra', 'apple', 'mango', 'delta']);
+    });
+    it('Map.values 保留插入序', () => {
+        const expr = 'Map.values(Map.put(Map.put(Map.put(Map.empty(), "zebra", 10), "apple", 20), "mango", 30))';
+        const vals = runVal(RList(expr));
+        assert.deepEqual(vals, [10, 20, 30]);
+    });
+    it('Map.remove 后剩余键保持相对序', () => {
+        const expr = 'Map.keys(Map.remove(Map.put(Map.put(Map.put(Map.empty(), "zebra", 1), "apple", 2), "mango", 3), "apple"))';
+        const keys = runVal(RList(expr));
+        assert.deepEqual(keys, ['zebra', 'mango']);
+    });
+});
 //# sourceMappingURL=stdlib-collections.test.js.map

package/dist/test/unit/stdlib-collections.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"stdlib-collections.test.js","sourceRoot":"","sources":["../../../test/unit/stdlib-collections.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAEzD,4DAA4D;AAC5D,mEAAmE;AACnE,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,kDAAkD;IAClD,MAAM,KAAK,GAAG;;;;;;;;yBAQS,CAAC;IACxB,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,mCAAmC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,oEAAoE;AACpE,SAAS,GAAG,CAAC,IAAY;IACvB,MAAM,CAAC,GAAG,OAAO,CAAC,kBAAkB,IAAI,IAAI,CAAC,CAAC;IAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,IAAI,CAAC,SAAS,CAAE,CAA+B,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACpG,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAClD,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;IACjD,OAAO,EAAE,CAAC,KAAK,CAAC;AAClB,CAAC;AACD,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,uDAAuD,IAAI,GAAG,CAAC;AACnG,MAAM,EAAE,GAAG,CAAC,MAAc,EAAE,IAAY,EAAU,EAAE,CAAC,GAAG,MAAM,yDAAyD,IAAI,GAAG,CAAC;AAE/H,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACzE,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,6CAA6C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClG,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjF,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9F,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,wDAAwD,EAAE,kCAAkC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/I,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,6CAA6C,EAAE,0CAA0C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7I,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,wCAAwC,EAAE,2BAA2B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,wCAAwC,EAAE,2BAA2B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,kDAAkD,EAAE,8CAA8C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvJ,yDAAyD;IACzD,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,qDAAqD,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7H,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,0DAA0D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACxJ,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7G,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,8DAA8D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACtJ,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,8DAA8D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAC3J,CAAC,CAAC,CAAC"}
+{"version":3,"file":"stdlib-collections.test.js","sourceRoot":"","sources":["../../../test/unit/stdlib-collections.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAEzD,4DAA4D;AAC5D,mEAAmE;AACnE,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,kDAAkD;IAClD,MAAM,KAAK,GAAG;;;;;;;;yBAQS,CAAC;IACxB,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,mCAAmC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,oEAAoE;AACpE,SAAS,GAAG,CAAC,IAAY;IACvB,MAAM,CAAC,GAAG,OAAO,CAAC,kBAAkB,IAAI,IAAI,CAAC,CAAC;IAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,IAAI,CAAC,SAAS,CAAE,CAA+B,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACpG,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAClD,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;IACjD,OAAO,EAAE,CAAC,KAAK,CAAC;AAClB,CAAC;AACD,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,uDAAuD,IAAI,GAAG,CAAC;AACnG,MAAM,EAAE,GAAG,CAAC,MAAc,EAAE,IAAY,EAAU,EAAE,CAAC,GAAG,MAAM,yDAAyD,IAAI,GAAG,CAAC;AAE/H,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACzE,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,6CAA6C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClG,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjF,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9F,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,wDAAwD,EAAE,kCAAkC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/I,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,6CAA6C,EAAE,0CAA0C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7I,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,wCAAwC,EAAE,2BAA2B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,wCAAwC,EAAE,2BAA2B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,kDAAkD,EAAE,8CAA8C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvJ,yDAAyD;IACzD,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,qDAAqD,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7H,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,0DAA0D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACxJ,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7G,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,8DAA8D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACtJ,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,8DAA8D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAC3J,CAAC,CAAC,CAAC;AAEH,uDAAuD;AACvD,sDAAsD;AACtD,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,wCAAwC;IACxC,SAAS,MAAM,CAAC,IAAY;QAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,kBAAkB,IAAI,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,IAAI,CAAC,SAAS,CAAE,CAA+B,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACpG,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,wCAAwC;QACxC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,uBAAuB,CAAC,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,iCAAiC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,uDAAuD;QACvD,MAAM,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,qCAAqC,CAAC,IAAI,CAAC,CAAC;QAClF,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QAC3E,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,kBAAkB,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,uEAAuE;AACvE,yDAAyD;AACzD,4DAA4D;AAC5D,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,8BAA8B;IAC9B,SAAS,MAAM,CAAC,IAAY;QAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,kBAAkB,IAAI,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,IAAI,CAAC,SAAS,CAAE,CAA+B,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACpG,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAClD,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;QACjD,OAAO,EAAE,CAAC,KAAK,CAAC;IAClB,CAAC;IACD,qCAAqC;IACrC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CACrC,mDAAmD,IAAI,GAAG,CAAC;IAE7D,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,8CAA8C;QAC9C,MAAM,IAAI,GACR,2GAA2G,CAAC;QAC9G,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAI,GACR,2FAA2F,CAAC;QAC9F,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,IAAI,GACR,2GAA2G,CAAC;QAC9G,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/tides-ballad.test.d.ts

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

package/dist/test/unit/tides-ballad.test.d.ts.map

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

package/dist/test/unit/tides-ballad.test.js

@@ -0,0 +1,80 @@
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { readFileSync, existsSync } from 'node:fs';
+import { fileURLToPath } from 'node:url';
+import { dirname, join } from 'node:path';
+import { compile, evaluate, EN_US, initializeAllBundledLexicons } from '../../src/browser.js';
+import { SemanticTokenKind } from '../../src/config/token-kind.js';
+// examples/alias-poem-story/tides.ballad.aster 的 CI 防回归：第二首谣曲展示 Match（behold）分支 +
+// List 生成（List.range/List.sum）+ 等缩进多行续行，全经生产引擎编译执行。与 nightfall 同用 Bard
+// 方言别名（recognition-side，ADR 0022）。
+initializeAllBundledLexicons();
+/** 与 bard.mjs 同源的 Bard 方言（含 Match→behold / When→as）。 */
+const BARD_EN = {
+    ...EN_US,
+    id: 'bard-en',
+    name: 'Bard (English)',
+    aliases: {
+        [SemanticTokenKind.MODULE_DECL]: ['Ballad'],
+        [SemanticTokenKind.FUNC_TO]: ['Verse'],
+        [SemanticTokenKind.FUNC_GIVEN]: ['of'],
+        [SemanticTokenKind.LET]: ['let'],
+        [SemanticTokenKind.BE]: ['become'],
+        [SemanticTokenKind.IF]: ['where'],
+        [SemanticTokenKind.RETURN]: ['sing'],
+        [SemanticTokenKind.MATCH]: ['behold'],
+        [SemanticTokenKind.WHEN]: ['as'],
+        [SemanticTokenKind.PLUS]: ['then'],
+        [SemanticTokenKind.AT_MOST]: ['but'],
+        [SemanticTokenKind.AT_LEAST]: ['past'],
+        [SemanticTokenKind.MINUS_WORD]: ['less'],
+    },
+};
+function repoRoot() {
+    let dir = dirname(fileURLToPath(import.meta.url));
+    for (let i = 0; i < 8; i++) {
+        if (existsSync(join(dir, 'package.json')) && existsSync(join(dir, 'examples')))
+            return dir;
+        dir = dirname(dir);
+    }
+    throw new Error('repo root (with examples/) not found');
+}
+const TIDES = readFileSync(join(repoRoot(), 'examples', 'alias-poem-story', 'tides.ballad.aster'), 'utf8');
+function seasong(phase) {
+    const c = compile(TIDES, { lexicon: BARD_EN });
+    assert.ok(c.success && c.core, `tides compile: ${JSON.stringify(c.parseErrors ?? [])}`);
+    const ev = evaluate(c.core, 'seasong', { phase });
+    assert.ok(ev.success, `seasong: ${ev.error ?? ''}`);
+    return String(ev.value);
+}
+describe('examples/alias-poem-story — tides 谣曲 (Match + List)', () => {
+    it('Bard 方言源码编译成功', () => {
+        const c = compile(TIDES, { lexicon: BARD_EN });
+        assert.ok(c.success && c.core, `compile: ${JSON.stringify(c.parseErrors ?? [])}`);
+    });
+    it('Match（behold）按月相选 omen，四相各不同（押 -eep 韵）', () => {
+        // 第一行（moon 行）押 -eep 韵：deep / sleep / leap / creep。
+        assert.match(seasong(0), /^The new moon hides; the cove lies black and deep,/);
+        assert.match(seasong(1), /^The crescent leans; the shallows stir from sleep,/);
+        assert.match(seasong(2), /^The full moon climbs; the breakers rise to leap,/);
+        assert.match(seasong(3), /^The old moon wanes; the long grey waters creep,/);
+    });
+    it('List 驱动意象（数字退到幕后）：swell 高度选潮汐意象，不念数字', () => {
+        // swell(count)=List.sum(List.range(1,count)) 算出高度，behold 高度选意象（不印数字）；
+        // 第二行也押 -eep 韵（keep）。phase p → height = sum(1..p)（半开区间 range(1,p+1)）。
+        assert.match(seasong(0), /and not one wave to keep\.$/); // height 0
+        assert.match(seasong(1), /and a single tide to keep\.$/); // height 1
+        assert.match(seasong(2), /and a rising tide to keep\.$/); // height 3
+        assert.match(seasong(3), /and a flood the shore will keep\.$/); // height 6
+        // 台面上看不到阿拉伯数字。
+        assert.doesNotMatch(seasong(3), /[0-9]/);
+    });
+    it('多行续行 + 分行：seasong 是两行押韵对句', () => {
+        const out = seasong(2);
+        const lines = out.split('\n');
+        assert.equal(lines.length, 2, 'moon 行 + swell 行');
+        assert.equal(lines[0], 'The full moon climbs; the breakers rise to leap,');
+        assert.equal(lines[1], 'and a rising tide to keep.');
+    });
+});
+//# sourceMappingURL=tides-ballad.test.js.map

package/dist/test/unit/tides-ballad.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tides-ballad.test.js","sourceRoot":"","sources":["../../../test/unit/tides-ballad.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAC;AAC9F,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAGnE,kFAAkF;AAClF,uEAAuE;AACvE,mCAAmC;AACnC,4BAA4B,EAAE,CAAC;AAE/B,wDAAwD;AACxD,MAAM,OAAO,GAAY;IACvB,GAAG,KAAK;IACR,EAAE,EAAE,SAAS;IACb,IAAI,EAAE,gBAAgB;IACtB,OAAO,EAAE;QACP,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC,QAAQ,CAAC;QAC3C,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC;QACtC,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC;QACtC,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;QAChC,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;QAClC,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC;QACjC,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC;QACpC,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC;QACrC,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;QAChC,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC;QAClC,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC;QACpC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC;QACtC,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC;KACzC;CACF,CAAC;AAEF,SAAS,QAAQ;IACf,IAAI,GAAG,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC;QAC3F,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,KAAK,GAAG,YAAY,CACxB,IAAI,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,kBAAkB,EAAE,oBAAoB,CAAC,EACtE,MAAM,CACP,CAAC;AAEF,SAAS,OAAO,CAAC,KAAa;IAC5B,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IAC/C,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE,kBAAkB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACxF,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAK,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IACnD,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,QAAQ,CAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,EAAE,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,mDAAmD;QACnD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,oDAAoD,CAAC,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,oDAAoD,CAAC,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,mDAAmD,CAAC,CAAC;QAC9E,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,kDAAkD,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,sEAAsE;QACtE,sEAAsE;QACtE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,6BAA6B,CAAC,CAAC,CAAM,WAAW;QACzE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC,CAAK,WAAW;QACzE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC,CAAK,WAAW;QACzE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,oCAAoC,CAAC,CAAC,CAAC,WAAW;QAC3E,eAAe;QACf,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,kDAAkD,CAAC,CAAC;QAC3E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,4BAA4B,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

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