@aster-cloud/aster-lang-ts 0.0.1

package/dist/test/unit/typecheck/typecheck-advanced.test.d.ts

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

package/dist/test/unit/typecheck/typecheck-advanced.test.d.ts.map

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

package/dist/test/unit/typecheck/typecheck-advanced.test.js

@@ -0,0 +1,125 @@
+import { describe, it } 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 runTypecheck(source) {
+    const canonical = canonicalize(source);
+    const tokens = lex(canonical);
+    const ast = parse(tokens);
+    const core = lowerModule(ast);
+    return typecheckModule(core);
+}
+describe('泛型诊断', () => {
+    it('未声明的类型变量应触发 TYPE_VAR_UNDECLARED', () => {
+        const typeVar = (name) => ({ kind: 'TypeVar', name });
+        const func = {
+            kind: 'Func',
+            name: 'useUndefined',
+            typeParams: [],
+            params: [{ name: 'value', type: typeVar('T'), annotations: [] }],
+            effects: [],
+            effectCaps: [],
+            effectCapsExplicit: false,
+            ret: typeVar('T'),
+            body: {
+                kind: 'Block',
+                statements: [
+                    {
+                        kind: 'Return',
+                        expr: { kind: 'Name', name: 'value' }
+                    }
+                ]
+            }
+        };
+        const mod = {
+            kind: 'Module',
+            name: 'test.typecheck.generic.undeclared',
+            decls: [func]
+        };
+        const diagnostics = typecheckModule(mod);
+        assert.equal(diagnostics.some(d => d.code === "E004" /* ErrorCode.TYPE_VAR_UNDECLARED */), true, '参数类型使用未声明的类型变量应提示错误');
+    });
+    it('疑似类型变量但未声明应触发 TYPEVAR_LIKE_UNDECLARED', () => {
+        const typeName = (name) => ({ kind: 'TypeName', name });
+        const func = {
+            kind: 'Func',
+            name: 'wrap',
+            typeParams: [],
+            params: [{ name: 'value', type: typeName('Foo'), annotations: [] }],
+            effects: [],
+            effectCaps: [],
+            effectCapsExplicit: false,
+            ret: typeName('Foo'),
+            body: {
+                kind: 'Block',
+                statements: [
+                    {
+                        kind: 'Return',
+                        expr: { kind: 'Name', name: 'value' }
+                    }
+                ]
+            }
+        };
+        const mod = {
+            kind: 'Module',
+            name: 'test.typecheck.generic.like_undeclared',
+            decls: [func]
+        };
+        const diagnostics = typecheckModule(mod);
+        assert.equal(diagnostics.some(d => d.code === "E006" /* ErrorCode.TYPEVAR_LIKE_UNDECLARED */), true, '看似类型变量的未声明类型名应提示错误');
+    });
+});
+describe('模式匹配 Result/Maybe 绑定', () => {
+    it('Result Ok 模式应正确绑定内部类型', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.pattern.result_ok.
+
+To unwrap with value: Result of Int and Text, produce Int:
+  Match value:
+    When Ok(number), Return number.
+    When Err(err), Return 0.
+`);
+        assert.equal(diagnostics.length, 0, 'Ok 模式应正确传播 Int 类型');
+    });
+    it('Maybe Some 模式应正确绑定内部类型', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.pattern.maybe_some.
+
+To unwrap with value: Option of Text, produce Text:
+  Match value:
+    When Some(text), Return text.
+    When None, Return "fallback".
+`);
+        assert.equal(diagnostics.length, 0, 'Some 模式应正确传播 Text 类型');
+    });
+});
+describe('构造器字段诊断', () => {
+    it('缺失必须字段应触发 MISSING_REQUIRED_FIELD', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.construct.missing.
+
+Define Profile with id: Int, name: Text.
+
+To build, produce Profile:
+  Return Profile with id = 1.
+`);
+        assert.equal(diagnostics.some(d => d.code === "E013" /* ErrorCode.MISSING_REQUIRED_FIELD */), true, '缺失字段必须提示错误');
+    });
+    it('重复字段类型不符应触发 FIELD_TYPE_MISMATCH', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.construct.duplicate.
+
+Define Profile with id: Int, name: Text.
+
+To build, produce Profile:
+  Return Profile with id = 1, id = "oops", name = "Alice".
+`);
+        const mismatch = diagnostics.find(d => d.code === "E012" /* ErrorCode.FIELD_TYPE_MISMATCH */);
+        assert.ok(mismatch, '重复字段类型不符应报错');
+        assert.equal(mismatch?.severity, 'error');
+    });
+});
+//# sourceMappingURL=typecheck-advanced.test.js.map

package/dist/test/unit/typecheck/typecheck-advanced.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecheck-advanced.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/typecheck-advanced.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,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;AAI5D,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;IACpB,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAiB,CAAC;QAC9E,MAAM,IAAI,GAAc;YACtB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;YAChE,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC;YACjB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAe;qBACnD;iBACF;aACF;SACF,CAAC;QACF,MAAM,GAAG,GAAgB;YACvB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,mCAAmC;YACzC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QACF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAC,EAC/D,IAAI,EACJ,qBAAqB,CACtB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAkB,CAAC;QACjF,MAAM,IAAI,GAAc;YACtB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;YACnE,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC;YACpB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAe;qBACnD;iBACF;aACF;SACF,CAAC;QACF,MAAM,GAAG,GAAgB;YACvB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,wCAAwC;YAC9C,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QACF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,EACnE,IAAI,EACJ,oBAAoB,CACrB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,sBAAsB,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CACV,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAClE,IAAI,EACJ,YAAY,CACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAC,CAAC;QACjF,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/validator.test.d.ts

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

package/dist/test/unit/validator.test.d.ts.map

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

package/dist/test/unit/validator.test.js

@@ -0,0 +1,154 @@
+import { describe, test } from 'node:test';
+import assert from 'node:assert/strict';
+import { PolicyValidator } from '../../src/ai/validator.js';
+// 测试数据
+const validCNL = `This module is tests.ai.valid.
+
+To add with x: Int, y: Int, produce Int:
+  Return x plus y.
+`;
+const validCNLComplex = `This module is tests.ai.complex.
+
+To greet with name: Text, produce Text:
+  Return "Hello".
+
+To double with n: Int, produce Int:
+  Return n times 2.
+`;
+const invalidCNL_TypeMismatch = `This module is tests.ai.invalid.
+
+To returnMismatch, produce Int:
+  Return "invalid".
+`;
+const invalidCNL_SyntaxError = `This module is tests.ai.syntax.
+
+To badSyntax, produce Int:
+  Return x plus.
+`;
+const invalidCNL_UndefinedVariable = `This module is tests.ai.undefined.
+
+To useUndefined, produce Int:
+  Return undefinedVar.
+`;
+describe('Policy Validator', () => {
+    test('應該成功驗證合法的 CNL 代碼', async () => {
+        const validator = new PolicyValidator();
+        const result = await validator.validate(validCNL);
+        assert.equal(result.valid, true);
+        assert.equal(result.diagnostics.length, 0);
+        assert.ok(result.coreIR, 'Should have Core IR when validation succeeds');
+        assert.equal(result.coreIR.name, 'tests.ai.valid');
+    });
+    test('應該成功驗證複雜的合法 CNL 代碼', async () => {
+        const validator = new PolicyValidator();
+        const result = await validator.validate(validCNLComplex);
+        // 檢查沒有錯誤（允許警告）
+        const errors = validator.getErrors(result.diagnostics);
+        assert.equal(errors.length, 0, `Should have no errors, but got: ${JSON.stringify(errors)}`);
+        assert.ok(result.coreIR);
+    });
+    test('應該檢測類型不匹配錯誤', async () => {
+        const validator = new PolicyValidator();
+        const result = await validator.validate(invalidCNL_TypeMismatch);
+        assert.equal(result.valid, false);
+        assert.ok(result.diagnostics.length > 0);
+        assert.equal(result.coreIR, undefined);
+        // 檢查診斷信息包含錯誤
+        const errors = validator.getErrors(result.diagnostics);
+        assert.ok(errors.length > 0);
+        // 檢查錯誤消息包含類型不匹配信息
+        const hasTypeError = result.diagnostics.some(d => d.message.toLowerCase().includes('type') ||
+            d.message.toLowerCase().includes('类型'));
+        assert.ok(hasTypeError, 'Should have type-related error');
+    });
+    test('應該檢測語法錯誤', async () => {
+        const validator = new PolicyValidator();
+        const result = await validator.validate(invalidCNL_SyntaxError);
+        assert.equal(result.valid, false);
+        assert.ok(result.diagnostics.length > 0);
+        assert.equal(result.coreIR, undefined);
+        // 語法錯誤應該在診斷中體現
+        const hasError = result.diagnostics.some(d => d.severity === 'error');
+        assert.ok(hasError);
+    });
+    test('應該檢測未定義變量錯誤', async () => {
+        const validator = new PolicyValidator();
+        const result = await validator.validate(invalidCNL_UndefinedVariable);
+        assert.equal(result.valid, false);
+        assert.ok(result.diagnostics.length > 0);
+        const errors = validator.getErrors(result.diagnostics);
+        assert.ok(errors.length > 0);
+    });
+    test('isValid() 應該返回正確的布爾值', async () => {
+        const validator = new PolicyValidator();
+        const validResult = await validator.isValid(validCNL);
+        assert.equal(validResult, true);
+        const invalidResult = await validator.isValid(invalidCNL_TypeMismatch);
+        assert.equal(invalidResult, false);
+    });
+    test('formatDiagnostics() 應該正確格式化診斷信息', async () => {
+        const validator = new PolicyValidator();
+        const result = await validator.validate(invalidCNL_TypeMismatch);
+        const formatted = validator.formatDiagnostics(result.diagnostics);
+        assert.ok(formatted.length > 0);
+        assert.ok(formatted.includes('[ERROR]') || formatted.includes('[error]'));
+    });
+    test('formatDiagnostics() 應該處理空診斷列表', () => {
+        const validator = new PolicyValidator();
+        const formatted = validator.formatDiagnostics([]);
+        assert.equal(formatted, '无诊断信息');
+    });
+    test('getErrors() 應該只返回錯誤', async () => {
+        const validator = new PolicyValidator();
+        const result = await validator.validate(invalidCNL_TypeMismatch);
+        const errors = validator.getErrors(result.diagnostics);
+        const allAreErrors = errors.every(d => d.severity === 'error');
+        assert.ok(allAreErrors);
+    });
+    test('getWarnings() 應該只返回警告', async () => {
+        const validator = new PolicyValidator();
+        // 使用實際的驗證結果來測試
+        // 對於這個測試，我們只需要驗證 getWarnings 方法能正確過濾
+        const validResult = await validator.validate(validCNL);
+        const warnings = validator.getWarnings(validResult.diagnostics);
+        // 合法代碼應該沒有警告
+        assert.ok(Array.isArray(warnings));
+    });
+    test('應該處理空字符串輸入', async () => {
+        const validator = new PolicyValidator();
+        const result = await validator.validate('');
+        // 空字符串會導致編譯錯誤（缺少模塊聲明）
+        // 實際上可能通過（空模塊），所以只驗證不會崩潰
+        assert.ok(result);
+        assert.ok(Array.isArray(result.diagnostics));
+    });
+    test('應該處理僅包含模塊聲明的代碼', async () => {
+        const validator = new PolicyValidator();
+        const result = await validator.validate('This module is tests.ai.minimal.');
+        // 僅有模塊聲明可能會通過或產生警告（取決於類型檢查器）
+        // 至少不應該崩潰
+        assert.ok(result);
+        assert.ok(Array.isArray(result.diagnostics));
+    });
+    test('驗證結果應該保持穩定（多次調用相同輸入）', async () => {
+        const validator = new PolicyValidator();
+        const result1 = await validator.validate(validCNL);
+        const result2 = await validator.validate(validCNL);
+        assert.equal(result1.valid, result2.valid);
+        assert.equal(result1.diagnostics.length, result2.diagnostics.length);
+    });
+    test('應該處理包含註釋的 CNL 代碼', async () => {
+        const cnlWithComments = `// This is a comment
+This module is tests.ai.comments.
+
+// Add two numbers
+To add with x: Int, y: Int, produce Int:
+  Return x plus y.
+`;
+        const validator = new PolicyValidator();
+        const result = await validator.validate(cnlWithComments);
+        // 註釋應該被正確處理
+        assert.ok(result);
+    });
+});
+//# sourceMappingURL=validator.test.js.map

package/dist/test/unit/validator.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.test.js","sourceRoot":"","sources":["../../../test/unit/validator.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D,OAAO;AACP,MAAM,QAAQ,GAAG;;;;CAIhB,CAAC;AAEF,MAAM,eAAe,GAAG;;;;;;;CAOvB,CAAC;AAEF,MAAM,uBAAuB,GAAG;;;;CAI/B,CAAC;AAEF,MAAM,sBAAsB,GAAG;;;;CAI9B,CAAC;AAEF,MAAM,4BAA4B,GAAG;;;;CAIpC,CAAC;AAEF,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAI,CAAC,kBAAkB,EAAE,KAAK,IAAI,EAAE;QAClC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAElD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,8CAA8C,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oBAAoB,EAAE,KAAK,IAAI,EAAE;QACpC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QAEzD,eAAe;QACf,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,mCAAmC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5F,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,aAAa,EAAE,KAAK,IAAI,EAAE;QAC7B,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;QAEjE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAEvC,aAAa;QACb,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACvD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAE7B,kBAAkB;QAClB,MAAM,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC/C,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC;YACxC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CACvC,CAAC;QACF,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,gCAAgC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE;QAC1B,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC;QAEhE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAEvC,eAAe;QACf,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,aAAa,EAAE,KAAK,IAAI,EAAE;QAC7B,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC;QAEtE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAEzC,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACvD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QAExC,MAAM,WAAW,GAAG,MAAM,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAEhC,MAAM,aAAa,GAAG,MAAM,SAAS,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QACvE,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;QAEjE,MAAM,SAAS,GAAG,SAAS,CAAC,iBAAiB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAElE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACzC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,SAAS,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QAElD,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qBAAqB,EAAE,KAAK,IAAI,EAAE;QACrC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;QAEjE,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACvD,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QAE/D,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,uBAAuB,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QAExC,eAAe;QACf,qCAAqC;QACrC,MAAM,WAAW,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,SAAS,CAAC,WAAW,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;QAEhE,aAAa;QACb,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,YAAY,EAAE,KAAK,IAAI,EAAE;QAC5B,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAE5C,sBAAsB;QACtB,yBAAyB;QACzB,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAClB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gBAAgB,EAAE,KAAK,IAAI,EAAE;QAChC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,kCAAkC,CAAC,CAAC;QAE5E,6BAA6B;QAC7B,UAAU;QACV,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAClB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QAExC,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAEnD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kBAAkB,EAAE,KAAK,IAAI,EAAE;QAClC,MAAM,eAAe,GAAG;;;;;;CAM3B,CAAC;QAEE,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QAEzD,YAAY;QACZ,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/version-utils.test.d.ts

@@ -0,0 +1,12 @@
+/**
+ * version-utils.ts 单元测试
+ *
+ * 测试目标：
+ * 1. 验证parseVersion能正确解析合法版本号
+ * 2. 验证parseVersion对非法版本号返回null
+ * 3. 验证satisfies能正确判断版本约束匹配
+ * 4. 验证maxSatisfying能返回满足约束的最高版本
+ * 5. 验证sortVersions能正确降序排序版本
+ */
+export {};
+//# sourceMappingURL=version-utils.test.d.ts.map

package/dist/test/unit/version-utils.test.d.ts.map

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

package/dist/test/unit/version-utils.test.js

@@ -0,0 +1,112 @@
+/**
+ * version-utils.ts 单元测试
+ *
+ * 测试目标：
+ * 1. 验证parseVersion能正确解析合法版本号
+ * 2. 验证parseVersion对非法版本号返回null
+ * 3. 验证satisfies能正确判断版本约束匹配
+ * 4. 验证maxSatisfying能返回满足约束的最高版本
+ * 5. 验证sortVersions能正确降序排序版本
+ */
+import test from 'node:test';
+import assert from 'node:assert';
+import { parseVersion, satisfies, maxSatisfying, sortVersions, } from '../../src/package/version-utils.js';
+test('version-utils 测试套件', async (t) => {
+    await t.test('parseVersion - 应成功解析合法版本号', () => {
+        const result = parseVersion('1.2.3');
+        assert.ok(result !== null, '应返回SemVer对象');
+        assert.strictEqual(result.major, 1);
+        assert.strictEqual(result.minor, 2);
+        assert.strictEqual(result.patch, 3);
+    });
+    await t.test('parseVersion - 应解析带预发布标识的版本', () => {
+        const result = parseVersion('2.0.0-beta.1');
+        assert.ok(result !== null, '应返回SemVer对象');
+        assert.strictEqual(result.major, 2);
+        assert.strictEqual(result.minor, 0);
+        assert.strictEqual(result.patch, 0);
+        assert.deepStrictEqual(result.prerelease, ['beta', 1]);
+    });
+    await t.test('parseVersion - 应对非法版本返回null', () => {
+        const invalidVersions = [
+            'invalid',
+            '1.2', // 缺少patch版本
+            'abc.def.ghi',
+            '',
+        ];
+        for (const version of invalidVersions) {
+            const result = parseVersion(version);
+            assert.strictEqual(result, null, `"${version}" 应返回null`);
+        }
+    });
+    await t.test('parseVersion - 应接受带v前缀的版本', () => {
+        const result = parseVersion('v1.2.3');
+        assert.ok(result !== null, '应返回SemVer对象');
+        assert.strictEqual(result.major, 1);
+        assert.strictEqual(result.minor, 2);
+        assert.strictEqual(result.patch, 3);
+        assert.strictEqual(result.version, '1.2.3'); // 会自动去掉v前缀
+    });
+    await t.test('satisfies - 应正确匹配caret约束(^)', () => {
+        assert.strictEqual(satisfies('2.1.0', '^2.0.0'), true);
+        assert.strictEqual(satisfies('2.9.9', '^2.0.0'), true);
+        assert.strictEqual(satisfies('1.9.9', '^2.0.0'), false);
+        assert.strictEqual(satisfies('3.0.0', '^2.0.0'), false);
+    });
+    await t.test('satisfies - 应正确匹配tilde约束(~)', () => {
+        assert.strictEqual(satisfies('1.5.4', '~1.5.3'), true);
+        assert.strictEqual(satisfies('1.5.9', '~1.5.3'), true);
+        assert.strictEqual(satisfies('1.6.0', '~1.5.3'), false);
+        assert.strictEqual(satisfies('1.4.9', '~1.5.3'), false);
+    });
+    await t.test('satisfies - 应正确匹配精确版本', () => {
+        assert.strictEqual(satisfies('1.0.0', '1.0.0'), true);
+        assert.strictEqual(satisfies('1.0.1', '1.0.0'), false);
+    });
+    await t.test('satisfies - 应正确匹配范围约束', () => {
+        assert.strictEqual(satisfies('1.5.0', '>=1.0.0 <2.0.0'), true);
+        assert.strictEqual(satisfies('2.0.0', '>=1.0.0 <2.0.0'), false);
+        assert.strictEqual(satisfies('0.9.9', '>=1.0.0 <2.0.0'), false);
+    });
+    await t.test('maxSatisfying - 应返回满足约束的最高版本', () => {
+        const versions = ['1.0.0', '2.1.0', '2.3.5', '3.0.0'];
+        assert.strictEqual(maxSatisfying(versions, '^2.0.0'), '2.3.5');
+        assert.strictEqual(maxSatisfying(versions, '^1.0.0'), '1.0.0');
+        assert.strictEqual(maxSatisfying(versions, '^3.0.0'), '3.0.0');
+    });
+    await t.test('maxSatisfying - 无匹配版本时应返回null', () => {
+        const versions = ['1.0.0', '1.5.0', '1.9.9'];
+        assert.strictEqual(maxSatisfying(versions, '^2.0.0'), null);
+        assert.strictEqual(maxSatisfying(versions, '^3.0.0'), null);
+    });
+    await t.test('maxSatisfying - 空数组应返回null', () => {
+        assert.strictEqual(maxSatisfying([], '^2.0.0'), null);
+    });
+    await t.test('sortVersions - 应按降序排列版本', () => {
+        const versions = ['1.0.0', '2.1.0', '1.5.0', '3.0.0', '2.0.0'];
+        const sorted = sortVersions(versions);
+        assert.deepStrictEqual(sorted, ['3.0.0', '2.1.0', '2.0.0', '1.5.0', '1.0.0']);
+    });
+    await t.test('sortVersions - 应正确排序带预发布标识的版本', () => {
+        const versions = ['2.0.0', '2.0.0-beta.1', '2.0.0-alpha', '1.9.9'];
+        const sorted = sortVersions(versions);
+        // 正式版本 > 预发布版本
+        assert.strictEqual(sorted[0], '2.0.0');
+        assert.strictEqual(sorted[sorted.length - 1], '1.9.9');
+    });
+    await t.test('sortVersions - 不应修改原数组', () => {
+        const original = ['1.0.0', '2.0.0', '1.5.0'];
+        const copy = [...original];
+        sortVersions(original);
+        assert.deepStrictEqual(original, copy, '原数组不应被修改');
+    });
+    await t.test('sortVersions - 空数组应返回空数组', () => {
+        const sorted = sortVersions([]);
+        assert.deepStrictEqual(sorted, []);
+    });
+    await t.test('sortVersions - 单个版本应返回相同数组', () => {
+        const sorted = sortVersions(['1.0.0']);
+        assert.deepStrictEqual(sorted, ['1.0.0']);
+    });
+});
+//# sourceMappingURL=version-utils.test.js.map

package/dist/test/unit/version-utils.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version-utils.test.js","sourceRoot":"","sources":["../../../test/unit/version-utils.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EACL,YAAY,EACZ,SAAS,EACT,aAAa,EACb,YAAY,GACb,MAAM,oCAAoC,CAAC;AAE5C,IAAI,CAAC,oBAAoB,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;IACrC,MAAM,CAAC,CAAC,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACrC,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,IAAI,EAAE,aAAa,CAAC,CAAC;QAC1C,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,IAAI,EAAE,aAAa,CAAC,CAAC;QAC1C,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC/C,MAAM,eAAe,GAAG;YACtB,SAAS;YACT,KAAK,EAAE,YAAY;YACnB,aAAa;YACb,EAAE;SACH,CAAC;QAEF,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YACrC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,OAAO,WAAW,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,IAAI,EAAE,aAAa,CAAC,CAAC;QAC1C,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW;IAC1D,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;QACxD,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;QACxD,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;QACtD,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,IAAI,CAAC,CAAC;QAC/D,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,KAAK,CAAC,CAAC;QAChE,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAChD,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAEtD,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/D,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/D,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACjD,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAE7C,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5D,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QAC3C,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QAEtC,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACjD,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;QACnE,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QAEtC,eAAe;QACf,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACvC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAC1C,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;QAE3B,YAAY,CAAC,QAAQ,CAAC,CAAC;QAEvB,MAAM,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;QAChC,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,CAAC,IAAI,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -0,0 +1,153 @@
+{
+  "name": "@aster-cloud/aster-lang-ts",
+  "version": "0.0.1",
+  "description": "Aster CNL (Controlled Natural Language) TypeScript Compiler - Lexer, Parser, AST, Core IR, Type Checker",
+  "type": "module",
+  "main": "./dist/src/index.js",
+  "types": "./dist/src/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/src/index.d.ts",
+      "import": "./dist/src/index.js"
+    },
+    "./cli": {
+      "types": "./dist/scripts/cli.d.ts",
+      "import": "./dist/scripts/cli.js"
+    },
+    "./core": {
+      "types": "./dist/scripts/emit-core.d.ts",
+      "import": "./dist/scripts/emit-core.js"
+    },
+    "./lexicons": {
+      "types": "./dist/src/config/lexicons/index.d.ts",
+      "import": "./dist/src/config/lexicons/index.js"
+    },
+    "./lexicons/en-US": {
+      "types": "./dist/src/config/lexicons/en-US.d.ts",
+      "import": "./dist/src/config/lexicons/en-US.js"
+    },
+    "./lexicons/zh-CN": {
+      "types": "./dist/src/config/lexicons/zh-CN.d.ts",
+      "import": "./dist/src/config/lexicons/zh-CN.js"
+    },
+    "./lexicons/de-DE": {
+      "types": "./dist/src/config/lexicons/de-DE.d.ts",
+      "import": "./dist/src/config/lexicons/de-DE.js"
+    },
+    "./lexicons/types": {
+      "types": "./dist/src/config/lexicons/types.d.ts",
+      "import": "./dist/src/config/lexicons/types.js"
+    },
+    "./lexicons/registry": {
+      "types": "./dist/src/config/lexicons/registry.d.ts",
+      "import": "./dist/src/config/lexicons/registry.js"
+    },
+    "./token-kind": {
+      "types": "./dist/src/config/token-kind.d.ts",
+      "import": "./dist/src/config/token-kind.js"
+    }
+  },
+  "bin": {
+    "aster": "./dist/scripts/aster.js",
+    "aster-core": "./dist/scripts/emit-core.js",
+    "aster-lsp": "./dist/src/lsp/server.js",
+    "aster-convert": "./dist/src/cli/policy-converter.js"
+  },
+  "keywords": [
+    "programming-language",
+    "compiler",
+    "controlled-natural-language",
+    "cnl",
+    "type-safe",
+    "functional",
+    "lexer",
+    "parser",
+    "ast",
+    "typescript"
+  ],
+  "author": "Aster Language Team",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/aster-cloud/aster-lang-ts.git"
+  },
+  "bugs": {
+    "url": "https://github.com/aster-cloud/aster-lang-ts/issues"
+  },
+  "homepage": "https://aster-lang.cloud",
+  "engines": {
+    "node": ">=22.0.0"
+  },
+  "dependencies": {
+    "@anthropic-ai/sdk": "^0.71.0",
+    "@types/semver": "^7.7.1",
+    "cac": "6.7.14",
+    "openai": "^6.9.1",
+    "ora": "^9.0.0",
+    "p-limit": "^7.2.0",
+    "semver": "^7.7.3",
+    "tar": "^7.5.2",
+    "vscode-languageserver": "^9.0.1",
+    "vscode-languageserver-textdocument": "^1.0.12",
+    "vscode-languageserver-types": "^3.17.5"
+  },
+  "devDependencies": {
+    "@changesets/cli": "^2.29.8",
+    "@types/node": "^24.6.0",
+    "@typescript-eslint/eslint-plugin": "^8.48.1",
+    "@typescript-eslint/parser": "^8.45.0",
+    "ajv": "^8.17.1",
+    "c8": "^10.1.3",
+    "eslint": "^9.36.0",
+    "eslint-config-prettier": "^10.1.8",
+    "eslint-plugin-import": "^2.32.0",
+    "fast-check": "^4.3.0",
+    "nock": "^14.0.10",
+    "peggy": "^5.0.6",
+    "prettier": "^3.7.4",
+    "typedoc": "^0.28.15",
+    "typedoc-plugin-markdown": "^4.9.0",
+    "typescript": "^5.9.2"
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE",
+    "CHANGELOG.md"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc && node dist/scripts/build-peg.js",
+    "build:watch": "tsc --watch",
+    "clean": "rm -rf dist",
+    "dev": "pnpm run build:watch",
+    "test": "pnpm run build && pnpm run test:unit:run && pnpm run test:integration:run",
+    "test:unit": "pnpm run build && pnpm run test:unit:run",
+    "test:unit:run": "node --test 'dist/test/unit/**/*.test.js' 'dist/test/type-checker/**/*.test.js'",
+    "test:unit:coverage": "pnpm run build && c8 node --test 'dist/test/unit/**/*.test.js' 'dist/test/type-checker/**/*.test.js'",
+    "test:integration": "pnpm run build && pnpm run test:integration:run",
+    "test:integration:run": "node --test 'dist/test/integration/**/*.test.js'",
+    "test:golden": "pnpm run build && pnpm run test:golden:run",
+    "test:golden:run": "node dist/scripts/golden.js",
+    "test:property": "pnpm run build && pnpm run test:property:run",
+    "test:property:run": "node --test 'dist/test/property/**/*.test.js'",
+    "test:fuzz": "pnpm run build && pnpm run test:fuzz:run",
+    "test:fuzz:run": "node --test 'dist/test/fuzz/**/*.test.js'",
+    "test:lsp": "pnpm run build && pnpm run test:lsp:run",
+    "test:lsp:run": "node dist/test/property/lsp-props.test.js",
+    "test:converter": "pnpm run build && pnpm run test:converter:run",
+    "test:converter:run": "node --test 'dist/test/policy-converter/**/*.test.js'",
+    "coverage:report": "c8 report --reporter=html --reporter=text",
+    "coverage:check": "c8 check-coverage --lines 75 --functions 75 --branches 70",
+    "lint": "eslint src scripts --ext .ts",
+    "lint:fix": "eslint src scripts --ext .ts --fix",
+    "format": "prettier --write src scripts",
+    "format:check": "prettier --check src scripts",
+    "typecheck": "tsc --noEmit",
+    "lsp": "node dist/src/lsp/server.js --stdio",
+    "repl": "node dist/scripts/repl.js",
+    "docs:api": "typedoc --options typedoc.json"
+  }
+}