@aster-cloud/aster-lang-ts 0.0.28 → 0.0.30

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

@@ -75,9 +75,9 @@ describe('泛型诊断', () => {
 describe('模式匹配 Result/Maybe 绑定', () => {
     it('Result Ok 模式应正确绑定内部类型', () => {
         const diagnostics = runTypecheck(`
-This module is test.typecheck.pattern.result_ok.
+Module test.typecheck.pattern.result_ok.
 
-To unwrap with value: Result of Int and Text, produce Int:
+Rule unwrap given value: Result of Int and Text, produce Int:
   Match value:
     When Ok(number), Return number.
     When Err(err), Return 0.
@@ -86,9 +86,9 @@ To unwrap with value: Result of Int and Text, produce Int:
     });
     it('Maybe Some 模式应正确绑定内部类型', () => {
         const diagnostics = runTypecheck(`
-This module is test.typecheck.pattern.maybe_some.
+Module test.typecheck.pattern.maybe_some.
 
-To unwrap with value: Option of Text, produce Text:
+Rule unwrap given value: Option of Text, produce Text:
   Match value:
     When Some(text), Return text.
     When None, Return "fallback".
@@ -99,22 +99,22 @@ To unwrap with value: Option of Text, produce Text:
 describe('构造器字段诊断', () => {
     it('缺失必须字段应触发 MISSING_REQUIRED_FIELD', () => {
         const diagnostics = runTypecheck(`
-This module is test.typecheck.construct.missing.
+Module test.typecheck.construct.missing.
 
-Define Profile with id: Int, name: Text.
+Define Profile has id: Int, name: Text.
 
-To build, produce Profile:
+Rule 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.
+Module test.typecheck.construct.duplicate.
 
-Define Profile with id: Int, name: Text.
+Define Profile has id: Int, name: Text.
 
-To build, produce Profile:
+Rule build, produce Profile:
   Return Profile with id = 1, id = "oops", name = "Alice".
 `);
         const mismatch = diagnostics.find(d => d.code === "E012" /* ErrorCode.FIELD_TYPE_MISMATCH */);

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

@@ -2,32 +2,32 @@ 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.
+const validCNL = `Module tests.ai.valid.
 
-To add with x: Int, y: Int, produce Int:
+Rule add given x: Int, y: Int, produce Int:
   Return x plus y.
 `;
-const validCNLComplex = `This module is tests.ai.complex.
+const validCNLComplex = `Module tests.ai.complex.
 
-To greet with name: Text, produce Text:
+Rule greet given name: Text, produce Text:
   Return "Hello".
 
-To double with n: Int, produce Int:
+Rule double given n: Int, produce Int:
   Return n times 2.
 `;
-const invalidCNL_TypeMismatch = `This module is tests.ai.invalid.
+const invalidCNL_TypeMismatch = `Module tests.ai.invalid.
 
-To returnMismatch, produce Int:
+Rule returnMismatch produce Int:
   Return "invalid".
 `;
-const invalidCNL_SyntaxError = `This module is tests.ai.syntax.
+const invalidCNL_SyntaxError = `Module tests.ai.syntax.
 
-To badSyntax, produce Int:
+Rule badSyntax produce Int:
   Return x plus.
 `;
-const invalidCNL_UndefinedVariable = `This module is tests.ai.undefined.
+const invalidCNL_UndefinedVariable = `Module tests.ai.undefined.
 
-To useUndefined, produce Int:
+Rule useUndefined produce Int:
   Return undefinedVar.
 `;
 describe('Policy Validator', () => {
@@ -124,7 +124,7 @@ describe('Policy Validator', () => {
     });
     test('應該處理僅包含模塊聲明的代碼', async () => {
         const validator = new PolicyValidator();
-        const result = await validator.validate('This module is tests.ai.minimal.');
+        const result = await validator.validate('Module tests.ai.minimal.');
         // 僅有模塊聲明可能會通過或產生警告（取決於類型檢查器）
         // 至少不應該崩潰
         assert.ok(result);
@@ -139,10 +139,10 @@ describe('Policy Validator', () => {
     });
     test('應該處理包含註釋的 CNL 代碼', async () => {
         const cnlWithComments = `// This is a comment
-This module is tests.ai.comments.
+Module tests.ai.comments.
 
 // Add two numbers
-To add with x: Int, y: Int, produce Int:
+Rule add given x: Int, y: Int, produce Int:
   Return x plus y.
 `;
         const validator = new PolicyValidator();

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

@@ -1 +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"}
+{"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,0BAA0B,CAAC,CAAC;QAEpE,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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aster-cloud/aster-lang-ts",
-  "version": "0.0.28",
+  "version": "0.0.30",
   "description": "Aster CNL (Controlled Natural Language) TypeScript Compiler - Lexer, Parser, AST, Core IR, Type Checker",
   "type": "module",
   "main": "./dist/src/index.js",
@@ -42,6 +42,18 @@
       "types": "./dist/src/config/lexicons/registry.d.ts",
       "import": "./dist/src/config/lexicons/registry.js"
     },
+    "./lexicons/identifiers": {
+      "types": "./dist/src/config/lexicons/identifiers/index.d.ts",
+      "import": "./dist/src/config/lexicons/identifiers/index.js"
+    },
+    "./lexicons/identifiers/types": {
+      "types": "./dist/src/config/lexicons/identifiers/types.d.ts",
+      "import": "./dist/src/config/lexicons/identifiers/types.js"
+    },
+    "./lexicons/identifiers/registry": {
+      "types": "./dist/src/config/lexicons/identifiers/registry.d.ts",
+      "import": "./dist/src/config/lexicons/identifiers/registry.js"
+    },
     "./token-kind": {
       "types": "./dist/src/config/token-kind.d.ts",
       "import": "./dist/src/config/token-kind.js"
@@ -77,6 +89,47 @@
     "aster-lsp": "./dist/src/lsp/server.js",
     "aster-convert": "./dist/src/cli/policy-converter.js"
   },
+  "scripts": {
+    "build": "tsc && node dist/scripts/build-peg.js",
+    "build:browser": "pnpm run build && node scripts/build-browser.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",
+    "generate:lexicons": "npx tsx scripts/generate-lexicons.ts",
+    "generate:vocabularies": "npx tsx scripts/generate-vocabularies.ts",
+    "verify:lexicons": "pnpm run build && node dist/scripts/verify-lexicon-sync.js",
+    "verify:lexicon-sync": "pnpm run build && node dist/scripts/verify-lexicon-sync.js",
+    "typecheck": "tsc --noEmit",
+    "lsp": "node dist/src/lsp/server.js --stdio",
+    "repl": "node dist/scripts/repl.js",
+    "docs:api": "typedoc --options typedoc.json",
+    "prepublishOnly": "pnpm run clean && pnpm run build && pnpm run test",
+    "release:patch": "npm version patch && git push && git push --tags",
+    "release:minor": "npm version minor && git push && git push --tags",
+    "release:major": "npm version major && git push && git push --tags"
+  },
   "keywords": [
     "programming-language",
     "compiler",
@@ -110,7 +163,7 @@
     "ora": "^9.0.0",
     "p-limit": "^7.2.0",
     "semver": "^7.7.3",
-    "tar": "^7.5.2",
+    "tar": "^7.5.8",
     "vscode-languageserver": "^9.0.1",
     "vscode-languageserver-textdocument": "^1.0.12",
     "vscode-languageserver-types": "^3.17.5"
@@ -143,40 +196,5 @@
   "publishConfig": {
     "access": "public"
   },
-  "scripts": {
-    "build": "tsc && node dist/scripts/build-peg.js",
-    "build:browser": "pnpm run build && node scripts/build-browser.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",
-    "release:patch": "npm version patch && git push && git push --tags",
-    "release:minor": "npm version minor && git push && git push --tags",
-    "release:major": "npm version major && git push && git push --tags"
-  }
-}
+  "packageManager": "pnpm@10.28.0+sha512.05df71d1421f21399e053fde567cea34d446fa02c76571441bfc1c7956e98e363088982d940465fd34480d4d90a0668bc12362f8aa88000a64e83d0b0e47be48"
+}