@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/config/token-kind.js

@@ -0,0 +1,298 @@
+/**
+ * @module config/token-kind
+ *
+ * 语义化 TokenKind 枚举 - Aster 多语言词法架构的单一真源。
+ *
+ * **设计原则**：
+ * - 语言无关：所有枚举值代表抽象语义概念，不含任何自然语言
+ * - 单一真源：所有 Lexicon 实现必须映射到此枚举
+ * - 类型安全：使用 TypeScript enum 提供编译时检查
+ *
+ * **使用方式**：
+ * - Lexicon 定义：`keywords: { [SemanticTokenKind.IF]: '若' }`
+ * - Lexer 输出：`{ kind: TokenKind.KEYWORD, semanticKind: SemanticTokenKind.IF }`
+ * - Parser 匹配：`expectKeyword(SemanticTokenKind.IF)`
+ */
+/**
+ * 语义化 Token 类型枚举。
+ *
+ * 定义 Aster CNL 中所有具有语义意义的关键词类型。
+ * 每个枚举值对应一个抽象语义概念，由各语言的 Lexicon 映射到具体关键词。
+ */
+export var SemanticTokenKind;
+(function (SemanticTokenKind) {
+    // ============================================================
+    // 模块声明
+    // ============================================================
+    /** 模块声明 - "this module is" / "【模块】" */
+    SemanticTokenKind["MODULE_DECL"] = "MODULE_DECL";
+    /** 导入声明 - "use" / "引用" */
+    SemanticTokenKind["IMPORT"] = "IMPORT";
+    /** 导入别名 - "as" / "作为" */
+    SemanticTokenKind["IMPORT_ALIAS"] = "IMPORT_ALIAS";
+    // ============================================================
+    // 类型定义
+    // ============================================================
+    /** 类型定义 - "define" / "【定义】" */
+    SemanticTokenKind["TYPE_DEF"] = "TYPE_DEF";
+    /** 类型字段 - "with" / "包含" */
+    SemanticTokenKind["TYPE_WITH"] = "TYPE_WITH";
+    /** 枚举类型 - "as one of" / "为以下之一" */
+    SemanticTokenKind["TYPE_ONE_OF"] = "TYPE_ONE_OF";
+    // ============================================================
+    // 函数定义
+    // ============================================================
+    /** 函数入参 - "to" / "入参" */
+    SemanticTokenKind["FUNC_TO"] = "FUNC_TO";
+    /** 函数产出 - "produce" / "产出" */
+    SemanticTokenKind["FUNC_PRODUCE"] = "FUNC_PRODUCE";
+    /** 函数效果声明 - "it performs" / "执行" */
+    SemanticTokenKind["FUNC_PERFORMS"] = "FUNC_PERFORMS";
+    // ============================================================
+    // 控制流
+    // ============================================================
+    /** 条件判断 - "if" / "若" */
+    SemanticTokenKind["IF"] = "IF";
+    /** 否则分支 - "otherwise" / "否则" */
+    SemanticTokenKind["OTHERWISE"] = "OTHERWISE";
+    /** 模式匹配 - "match" / "把" */
+    SemanticTokenKind["MATCH"] = "MATCH";
+    /** 匹配分支 - "when" / "当" */
+    SemanticTokenKind["WHEN"] = "WHEN";
+    /** 返回语句 - "return" / "返回" */
+    SemanticTokenKind["RETURN"] = "RETURN";
+    /** 循环遍历 - "for each" / "对每个" */
+    SemanticTokenKind["FOR_EACH"] = "FOR_EACH";
+    /** 集合成员 - "in" / "在" */
+    SemanticTokenKind["IN"] = "IN";
+    // ============================================================
+    // 变量操作
+    // ============================================================
+    /** 变量声明 - "let" / "令" */
+    SemanticTokenKind["LET"] = "LET";
+    /** 变量初始化 - "be" / "为" */
+    SemanticTokenKind["BE"] = "BE";
+    /** 变量赋值 - "set" / "将" */
+    SemanticTokenKind["SET"] = "SET";
+    /** 赋值目标 - "to" (set ... to) / "设为" */
+    SemanticTokenKind["TO_WORD"] = "TO_WORD";
+    // ============================================================
+    // 布尔运算
+    // ============================================================
+    /** 逻辑或 - "or" / "或" */
+    SemanticTokenKind["OR"] = "OR";
+    /** 逻辑与 - "and" / "且" */
+    SemanticTokenKind["AND"] = "AND";
+    /** 逻辑非 - "not" / "非" */
+    SemanticTokenKind["NOT"] = "NOT";
+    // ============================================================
+    // 算术运算
+    // ============================================================
+    /** 加法 - "plus" / "加" */
+    SemanticTokenKind["PLUS"] = "PLUS";
+    /** 减法 - "minus" / "减" */
+    SemanticTokenKind["MINUS_WORD"] = "MINUS_WORD";
+    /** 乘法 - "times" / "乘" */
+    SemanticTokenKind["TIMES"] = "TIMES";
+    /** 除法 - "divided by" / "除以" */
+    SemanticTokenKind["DIVIDED_BY"] = "DIVIDED_BY";
+    // ============================================================
+    // 比较运算
+    // ============================================================
+    /** 小于 - "less than" / "小于" */
+    SemanticTokenKind["LESS_THAN"] = "LESS_THAN";
+    /** 大于 - "greater than" / "大于" */
+    SemanticTokenKind["GREATER_THAN"] = "GREATER_THAN";
+    /** 等于 - "equals to" / "等于" */
+    SemanticTokenKind["EQUALS_TO"] = "EQUALS_TO";
+    /** 判断 - "is" / "是" */
+    SemanticTokenKind["IS"] = "IS";
+    // ============================================================
+    // 类型构造
+    // ============================================================
+    /** 可选类型 - "maybe" / "可选" */
+    SemanticTokenKind["MAYBE"] = "MAYBE";
+    /** Option 类型 - "option of" */
+    SemanticTokenKind["OPTION_OF"] = "OPTION_OF";
+    /** Result 类型 - "result of" */
+    SemanticTokenKind["RESULT_OF"] = "RESULT_OF";
+    /** 成功值 - "ok of" / "成功" */
+    SemanticTokenKind["OK_OF"] = "OK_OF";
+    /** 错误值 - "err of" / "失败" */
+    SemanticTokenKind["ERR_OF"] = "ERR_OF";
+    /** 有值 - "some of" / "有值" */
+    SemanticTokenKind["SOME_OF"] = "SOME_OF";
+    /** 空值 - "none" / "无" */
+    SemanticTokenKind["NONE"] = "NONE";
+    // ============================================================
+    // 字面量
+    // ============================================================
+    /** 布尔真 - "true" / "真" */
+    SemanticTokenKind["TRUE"] = "TRUE";
+    /** 布尔假 - "false" / "假" */
+    SemanticTokenKind["FALSE"] = "FALSE";
+    /** 空值 - "null" / "空" */
+    SemanticTokenKind["NULL"] = "NULL";
+    // ============================================================
+    // 基础类型
+    // ============================================================
+    /** 文本类型 - "text" / "文本" */
+    SemanticTokenKind["TEXT"] = "TEXT";
+    /** 整数类型 - "int" / "整数" */
+    SemanticTokenKind["INT_TYPE"] = "INT_TYPE";
+    /** 浮点类型 - "float" / "小数" */
+    SemanticTokenKind["FLOAT_TYPE"] = "FLOAT_TYPE";
+    /** 布尔类型 - "bool" / "布尔" */
+    SemanticTokenKind["BOOL_TYPE"] = "BOOL_TYPE";
+    // ============================================================
+    // 效果声明
+    // ============================================================
+    /** IO 效果 - "io" / "输入输出" */
+    SemanticTokenKind["IO"] = "IO";
+    /** CPU 效果 - "cpu" / "计算" */
+    SemanticTokenKind["CPU"] = "CPU";
+    // ============================================================
+    // 工作流
+    // ============================================================
+    /** 工作流定义 - "workflow" / "【流程】" */
+    SemanticTokenKind["WORKFLOW"] = "WORKFLOW";
+    /** 步骤定义 - "step" / "【步骤】" */
+    SemanticTokenKind["STEP"] = "STEP";
+    /** 依赖声明 - "depends" / "依赖" */
+    SemanticTokenKind["DEPENDS"] = "DEPENDS";
+    /** 依赖目标 - "on" / "于" */
+    SemanticTokenKind["ON"] = "ON";
+    /** 补偿操作 - "compensate" / "补偿" */
+    SemanticTokenKind["COMPENSATE"] = "COMPENSATE";
+    /** 重试策略 - "retry" / "重试" */
+    SemanticTokenKind["RETRY"] = "RETRY";
+    /** 超时设置 - "timeout" / "超时" */
+    SemanticTokenKind["TIMEOUT"] = "TIMEOUT";
+    /** 最大尝试次数 - "max attempts" / "最多尝试" */
+    SemanticTokenKind["MAX_ATTEMPTS"] = "MAX_ATTEMPTS";
+    /** 退避策略 - "backoff" / "退避" */
+    SemanticTokenKind["BACKOFF"] = "BACKOFF";
+    // ============================================================
+    // 异步操作
+    // ============================================================
+    /** 作用域 - "within" / "范围" */
+    SemanticTokenKind["WITHIN"] = "WITHIN";
+    /** 作用域块 - "scope" / "域" */
+    SemanticTokenKind["SCOPE"] = "SCOPE";
+    /** 启动异步 - "start" / "启动" */
+    SemanticTokenKind["START"] = "START";
+    /** 异步标记 - "async" / "异步" */
+    SemanticTokenKind["ASYNC"] = "ASYNC";
+    /** 等待结果 - "await" / "等待" */
+    SemanticTokenKind["AWAIT"] = "AWAIT";
+    /** 等待完成 - "wait for" / "等候" */
+    SemanticTokenKind["WAIT_FOR"] = "WAIT_FOR";
+    // ============================================================
+    // 约束声明
+    // ============================================================
+    /** 必填约束 - "required" / "必填" */
+    SemanticTokenKind["REQUIRED"] = "REQUIRED";
+    /** 范围约束 - "between" / "在...之间" */
+    SemanticTokenKind["BETWEEN"] = "BETWEEN";
+    /** 最小值约束 - "at least" / "至少" */
+    SemanticTokenKind["AT_LEAST"] = "AT_LEAST";
+    /** 最大值约束 - "at most" / "至多" */
+    SemanticTokenKind["AT_MOST"] = "AT_MOST";
+    /** 匹配约束 - "matching" / "匹配" */
+    SemanticTokenKind["MATCHING"] = "MATCHING";
+    /** 模式关键字 - "pattern" / "模式" */
+    SemanticTokenKind["PATTERN"] = "PATTERN";
+})(SemanticTokenKind || (SemanticTokenKind = {}));
+/**
+ * 获取所有语义 Token 类型。
+ *
+ * @returns 所有 SemanticTokenKind 值的数组
+ */
+export function getAllSemanticTokenKinds() {
+    return Object.values(SemanticTokenKind);
+}
+/**
+ * 检查字符串是否为有效的 SemanticTokenKind。
+ *
+ * @param value - 要检查的字符串
+ * @returns 如果是有效的 SemanticTokenKind，返回 true
+ */
+export function isSemanticTokenKind(value) {
+    return Object.values(SemanticTokenKind).includes(value);
+}
+/**
+ * SemanticTokenKind 到分类的映射，用于文档和验证。
+ */
+export const SEMANTIC_TOKEN_CATEGORIES = {
+    module: [SemanticTokenKind.MODULE_DECL, SemanticTokenKind.IMPORT, SemanticTokenKind.IMPORT_ALIAS],
+    type: [SemanticTokenKind.TYPE_DEF, SemanticTokenKind.TYPE_WITH, SemanticTokenKind.TYPE_ONE_OF],
+    function: [SemanticTokenKind.FUNC_TO, SemanticTokenKind.FUNC_PRODUCE, SemanticTokenKind.FUNC_PERFORMS],
+    control: [
+        SemanticTokenKind.IF,
+        SemanticTokenKind.OTHERWISE,
+        SemanticTokenKind.MATCH,
+        SemanticTokenKind.WHEN,
+        SemanticTokenKind.RETURN,
+        SemanticTokenKind.FOR_EACH,
+        SemanticTokenKind.IN,
+    ],
+    variable: [SemanticTokenKind.LET, SemanticTokenKind.BE, SemanticTokenKind.SET, SemanticTokenKind.TO_WORD],
+    boolean: [SemanticTokenKind.OR, SemanticTokenKind.AND, SemanticTokenKind.NOT],
+    arithmetic: [
+        SemanticTokenKind.PLUS,
+        SemanticTokenKind.MINUS_WORD,
+        SemanticTokenKind.TIMES,
+        SemanticTokenKind.DIVIDED_BY,
+    ],
+    comparison: [
+        SemanticTokenKind.LESS_THAN,
+        SemanticTokenKind.GREATER_THAN,
+        SemanticTokenKind.EQUALS_TO,
+        SemanticTokenKind.IS,
+    ],
+    typeConstruct: [
+        SemanticTokenKind.MAYBE,
+        SemanticTokenKind.OPTION_OF,
+        SemanticTokenKind.RESULT_OF,
+        SemanticTokenKind.OK_OF,
+        SemanticTokenKind.ERR_OF,
+        SemanticTokenKind.SOME_OF,
+        SemanticTokenKind.NONE,
+    ],
+    literal: [SemanticTokenKind.TRUE, SemanticTokenKind.FALSE, SemanticTokenKind.NULL],
+    primitiveType: [
+        SemanticTokenKind.TEXT,
+        SemanticTokenKind.INT_TYPE,
+        SemanticTokenKind.FLOAT_TYPE,
+        SemanticTokenKind.BOOL_TYPE,
+    ],
+    effect: [SemanticTokenKind.IO, SemanticTokenKind.CPU],
+    workflow: [
+        SemanticTokenKind.WORKFLOW,
+        SemanticTokenKind.STEP,
+        SemanticTokenKind.DEPENDS,
+        SemanticTokenKind.ON,
+        SemanticTokenKind.COMPENSATE,
+        SemanticTokenKind.RETRY,
+        SemanticTokenKind.TIMEOUT,
+        SemanticTokenKind.MAX_ATTEMPTS,
+        SemanticTokenKind.BACKOFF,
+    ],
+    async: [
+        SemanticTokenKind.WITHIN,
+        SemanticTokenKind.SCOPE,
+        SemanticTokenKind.START,
+        SemanticTokenKind.ASYNC,
+        SemanticTokenKind.AWAIT,
+        SemanticTokenKind.WAIT_FOR,
+    ],
+    constraint: [
+        SemanticTokenKind.REQUIRED,
+        SemanticTokenKind.BETWEEN,
+        SemanticTokenKind.AT_LEAST,
+        SemanticTokenKind.AT_MOST,
+        SemanticTokenKind.MATCHING,
+        SemanticTokenKind.PATTERN,
+    ],
+};
+//# sourceMappingURL=token-kind.js.map

package/dist/src/config/token-kind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"token-kind.js","sourceRoot":"","sources":["../../../src/config/token-kind.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH;;;;;GAKG;AACH,MAAM,CAAN,IAAY,iBAwQX;AAxQD,WAAY,iBAAiB;IAC3B,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,uCAAuC;IACvC,gDAA2B,CAAA;IAE3B,0BAA0B;IAC1B,sCAAiB,CAAA;IAEjB,yBAAyB;IACzB,kDAA6B,CAAA;IAE7B,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,+BAA+B;IAC/B,0CAAqB,CAAA;IAErB,2BAA2B;IAC3B,4CAAuB,CAAA;IAEvB,mCAAmC;IACnC,gDAA2B,CAAA;IAE3B,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,yBAAyB;IACzB,wCAAmB,CAAA;IAEnB,8BAA8B;IAC9B,kDAA6B,CAAA;IAE7B,oCAAoC;IACpC,oDAA+B,CAAA;IAE/B,+DAA+D;IAC/D,MAAM;IACN,+DAA+D;IAE/D,wBAAwB;IACxB,8BAAS,CAAA;IAET,gCAAgC;IAChC,4CAAuB,CAAA;IAEvB,2BAA2B;IAC3B,oCAAe,CAAA;IAEf,0BAA0B;IAC1B,kCAAa,CAAA;IAEb,6BAA6B;IAC7B,sCAAiB,CAAA;IAEjB,gCAAgC;IAChC,0CAAqB,CAAA;IAErB,wBAAwB;IACxB,8BAAS,CAAA;IAET,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,yBAAyB;IACzB,gCAAW,CAAA;IAEX,yBAAyB;IACzB,8BAAS,CAAA;IAET,yBAAyB;IACzB,gCAAW,CAAA;IAEX,sCAAsC;IACtC,wCAAmB,CAAA;IAEnB,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,uBAAuB;IACvB,8BAAS,CAAA;IAET,wBAAwB;IACxB,gCAAW,CAAA;IAEX,wBAAwB;IACxB,gCAAW,CAAA;IAEX,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,wBAAwB;IACxB,kCAAa,CAAA;IAEb,yBAAyB;IACzB,8CAAyB,CAAA;IAEzB,yBAAyB;IACzB,oCAAe,CAAA;IAEf,+BAA+B;IAC/B,8CAAyB,CAAA;IAEzB,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,8BAA8B;IAC9B,4CAAuB,CAAA;IAEvB,iCAAiC;IACjC,kDAA6B,CAAA;IAE7B,8BAA8B;IAC9B,4CAAuB,CAAA;IAEvB,sBAAsB;IACtB,8BAAS,CAAA;IAET,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,4BAA4B;IAC5B,oCAAe,CAAA;IAEf,8BAA8B;IAC9B,4CAAuB,CAAA;IAEvB,8BAA8B;IAC9B,4CAAuB,CAAA;IAEvB,2BAA2B;IAC3B,oCAAe,CAAA;IAEf,4BAA4B;IAC5B,sCAAiB,CAAA;IAEjB,4BAA4B;IAC5B,wCAAmB,CAAA;IAEnB,wBAAwB;IACxB,kCAAa,CAAA;IAEb,+DAA+D;IAC/D,MAAM;IACN,+DAA+D;IAE/D,yBAAyB;IACzB,kCAAa,CAAA;IAEb,0BAA0B;IAC1B,oCAAe,CAAA;IAEf,wBAAwB;IACxB,kCAAa,CAAA;IAEb,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,2BAA2B;IAC3B,kCAAa,CAAA;IAEb,0BAA0B;IAC1B,0CAAqB,CAAA;IAErB,4BAA4B;IAC5B,8CAAyB,CAAA;IAEzB,2BAA2B;IAC3B,4CAAuB,CAAA;IAEvB,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,4BAA4B;IAC5B,8BAAS,CAAA;IAET,4BAA4B;IAC5B,gCAAW,CAAA;IAEX,+DAA+D;IAC/D,MAAM;IACN,+DAA+D;IAE/D,kCAAkC;IAClC,0CAAqB,CAAA;IAErB,6BAA6B;IAC7B,kCAAa,CAAA;IAEb,8BAA8B;IAC9B,wCAAmB,CAAA;IAEnB,wBAAwB;IACxB,8BAAS,CAAA;IAET,iCAAiC;IACjC,8CAAyB,CAAA;IAEzB,4BAA4B;IAC5B,oCAAe,CAAA;IAEf,8BAA8B;IAC9B,wCAAmB,CAAA;IAEnB,uCAAuC;IACvC,kDAA6B,CAAA;IAE7B,8BAA8B;IAC9B,wCAAmB,CAAA;IAEnB,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,4BAA4B;IAC5B,sCAAiB,CAAA;IAEjB,2BAA2B;IAC3B,oCAAe,CAAA;IAEf,4BAA4B;IAC5B,oCAAe,CAAA;IAEf,4BAA4B;IAC5B,oCAAe,CAAA;IAEf,4BAA4B;IAC5B,oCAAe,CAAA;IAEf,+BAA+B;IAC/B,0CAAqB,CAAA;IAErB,+DAA+D;IAC/D,OAAO;IACP,+DAA+D;IAE/D,+BAA+B;IAC/B,0CAAqB,CAAA;IAErB,kCAAkC;IAClC,wCAAmB,CAAA;IAEnB,gCAAgC;IAChC,0CAAqB,CAAA;IAErB,+BAA+B;IAC/B,wCAAmB,CAAA;IAEnB,+BAA+B;IAC/B,0CAAqB,CAAA;IAErB,+BAA+B;IAC/B,wCAAmB,CAAA;AACrB,CAAC,EAxQW,iBAAiB,KAAjB,iBAAiB,QAwQ5B;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB;IACtC,OAAO,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAa;IAC/C,OAAO,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,KAA0B,CAAC,CAAC;AAC/E,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAwC;IAC5E,MAAM,EAAE,CAAC,iBAAiB,CAAC,WAAW,EAAE,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,CAAC,YAAY,CAAC;IACjG,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,iBAAiB,CAAC,SAAS,EAAE,iBAAiB,CAAC,WAAW,CAAC;IAC9F,QAAQ,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,iBAAiB,CAAC,YAAY,EAAE,iBAAiB,CAAC,aAAa,CAAC;IACtG,OAAO,EAAE;QACP,iBAAiB,CAAC,EAAE;QACpB,iBAAiB,CAAC,SAAS;QAC3B,iBAAiB,CAAC,KAAK;QACvB,iBAAiB,CAAC,IAAI;QACtB,iBAAiB,CAAC,MAAM;QACxB,iBAAiB,CAAC,QAAQ;QAC1B,iBAAiB,CAAC,EAAE;KACrB;IACD,QAAQ,EAAE,CAAC,iBAAiB,CAAC,GAAG,EAAE,iBAAiB,CAAC,EAAE,EAAE,iBAAiB,CAAC,GAAG,EAAE,iBAAiB,CAAC,OAAO,CAAC;IACzG,OAAO,EAAE,CAAC,iBAAiB,CAAC,EAAE,EAAE,iBAAiB,CAAC,GAAG,EAAE,iBAAiB,CAAC,GAAG,CAAC;IAC7E,UAAU,EAAE;QACV,iBAAiB,CAAC,IAAI;QACtB,iBAAiB,CAAC,UAAU;QAC5B,iBAAiB,CAAC,KAAK;QACvB,iBAAiB,CAAC,UAAU;KAC7B;IACD,UAAU,EAAE;QACV,iBAAiB,CAAC,SAAS;QAC3B,iBAAiB,CAAC,YAAY;QAC9B,iBAAiB,CAAC,SAAS;QAC3B,iBAAiB,CAAC,EAAE;KACrB;IACD,aAAa,EAAE;QACb,iBAAiB,CAAC,KAAK;QACvB,iBAAiB,CAAC,SAAS;QAC3B,iBAAiB,CAAC,SAAS;QAC3B,iBAAiB,CAAC,KAAK;QACvB,iBAAiB,CAAC,MAAM;QACxB,iBAAiB,CAAC,OAAO;QACzB,iBAAiB,CAAC,IAAI;KACvB;IACD,OAAO,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC;IAClF,aAAa,EAAE;QACb,iBAAiB,CAAC,IAAI;QACtB,iBAAiB,CAAC,QAAQ;QAC1B,iBAAiB,CAAC,UAAU;QAC5B,iBAAiB,CAAC,SAAS;KAC5B;IACD,MAAM,EAAE,CAAC,iBAAiB,CAAC,EAAE,EAAE,iBAAiB,CAAC,GAAG,CAAC;IACrD,QAAQ,EAAE;QACR,iBAAiB,CAAC,QAAQ;QAC1B,iBAAiB,CAAC,IAAI;QACtB,iBAAiB,CAAC,OAAO;QACzB,iBAAiB,CAAC,EAAE;QACpB,iBAAiB,CAAC,UAAU;QAC5B,iBAAiB,CAAC,KAAK;QACvB,iBAAiB,CAAC,OAAO;QACzB,iBAAiB,CAAC,YAAY;QAC9B,iBAAiB,CAAC,OAAO;KAC1B;IACD,KAAK,EAAE;QACL,iBAAiB,CAAC,MAAM;QACxB,iBAAiB,CAAC,KAAK;QACvB,iBAAiB,CAAC,KAAK;QACvB,iBAAiB,CAAC,KAAK;QACvB,iBAAiB,CAAC,KAAK;QACvB,iBAAiB,CAAC,QAAQ;KAC3B;IACD,UAAU,EAAE;QACV,iBAAiB,CAAC,QAAQ;QAC1B,iBAAiB,CAAC,OAAO;QACzB,iBAAiB,CAAC,QAAQ;QAC1B,iBAAiB,CAAC,OAAO;QACzB,iBAAiB,CAAC,QAAQ;QAC1B,iBAAiB,CAAC,OAAO;KAC1B;CACF,CAAC"}

package/dist/src/core/core_ir.d.ts

@@ -0,0 +1,50 @@
+import { Effect } from '../types.js';
+import type { Core as CoreTypes } from '../types.js';
+export { Effect };
+export declare const Core: {
+    Module: (name: string | null, decls: readonly CoreTypes.Declaration[]) => CoreTypes.Module;
+    Import: (name: string, asName: string | null) => CoreTypes.Import;
+    Data: (name: string, fields: readonly CoreTypes.Field[]) => CoreTypes.Data;
+    Enum: (name: string, variants: readonly string[]) => CoreTypes.Enum;
+    Func: (name: string, typeParams: readonly string[] | undefined, params: readonly CoreTypes.Parameter[], ret: CoreTypes.Type, effects: readonly Effect[], body: CoreTypes.Block, effectCaps?: readonly import("../types.js").CapabilityKind[], effectCapsExplicit?: boolean, effectParams?: readonly string[], declaredEffects?: readonly (Effect | CoreTypes.EffectVar)[]) => CoreTypes.Func;
+    Block: (statements: readonly CoreTypes.Statement[]) => CoreTypes.Block;
+    Scope: (statements: readonly CoreTypes.Statement[]) => CoreTypes.Scope;
+    Let: (name: string, expr: CoreTypes.Expression) => CoreTypes.Let;
+    Set: (name: string, expr: CoreTypes.Expression) => CoreTypes.Set;
+    Return: (expr: CoreTypes.Expression) => CoreTypes.Return;
+    If: (cond: CoreTypes.Expression, thenBlock: CoreTypes.Block, elseBlock: CoreTypes.Block | null) => CoreTypes.If;
+    Match: (expr: CoreTypes.Expression, cases: readonly CoreTypes.Case[]) => CoreTypes.Match;
+    Case: (pattern: CoreTypes.Pattern, body: CoreTypes.Return | CoreTypes.Block) => CoreTypes.Case;
+    Start: (name: string, expr: CoreTypes.Expression) => CoreTypes.Start;
+    Wait: (names: readonly string[]) => CoreTypes.Wait;
+    Workflow: (steps: readonly CoreTypes.Step[], effectCaps: readonly import("../types.js").CapabilityKind[], retry?: CoreTypes.RetryPolicy, timeout?: CoreTypes.Timeout) => CoreTypes.Workflow;
+    Step: (name: string, body: CoreTypes.Block, effectCaps: readonly import("../types.js").CapabilityKind[], compensate?: CoreTypes.Block, dependencies?: readonly string[]) => CoreTypes.Step;
+    Name: (name: string) => CoreTypes.Name;
+    Bool: (value: boolean) => CoreTypes.Bool;
+    Int: (value: number) => CoreTypes.Int;
+    Long: (value: string) => CoreTypes.Long;
+    Double: (value: number) => CoreTypes.Double;
+    String: (value: string) => CoreTypes.String;
+    Null: () => CoreTypes.Null;
+    Call: (target: CoreTypes.Expression, args: readonly CoreTypes.Expression[]) => CoreTypes.Call;
+    Construct: (typeName: string, fields: readonly CoreTypes.ConstructField[]) => CoreTypes.Construct;
+    Ok: (expr: CoreTypes.Expression) => CoreTypes.Ok;
+    Err: (expr: CoreTypes.Expression) => CoreTypes.Err;
+    Some: (expr: CoreTypes.Expression) => CoreTypes.Some;
+    None: () => CoreTypes.None;
+    TypeName: (name: string) => CoreTypes.TypeName;
+    Maybe: (type: CoreTypes.Type) => CoreTypes.Maybe;
+    Option: (type: CoreTypes.Type) => CoreTypes.Option;
+    Result: (ok: CoreTypes.Type, err: CoreTypes.Type) => CoreTypes.Result;
+    List: (type: CoreTypes.Type) => CoreTypes.List;
+    Map: (key: CoreTypes.Type, val: CoreTypes.Type) => CoreTypes.Map;
+    TypeApp: (base: string, args: readonly CoreTypes.Type[]) => CoreTypes.TypeApp;
+    TypeVar: (name: string) => CoreTypes.TypeVar;
+    Pii: (baseType: CoreTypes.Type, sensitivity: "L1" | "L2" | "L3", category: import("../types.js").PiiDataCategory) => CoreTypes.PiiType;
+    PatNull: () => CoreTypes.PatNull;
+    Await: (expr: CoreTypes.Expression) => CoreTypes.Await;
+    PatCtor: (typeName: string, names?: readonly string[], args?: readonly CoreTypes.Pattern[]) => CoreTypes.PatCtor;
+    PatName: (name: string) => CoreTypes.PatName;
+    PatInt: (value: number) => CoreTypes.PatInt;
+};
+//# sourceMappingURL=core_ir.d.ts.map

package/dist/src/core/core_ir.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core_ir.d.ts","sourceRoot":"","sources":["../../../src/core/core_ir.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,KAAK,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,aAAa,CAAC;AAErD,OAAO,EAAE,MAAM,EAAE,CAAC;AAElB,eAAO,MAAM,IAAI;mBAEA,MAAM,GAAG,IAAI,SAAS,SAAS,SAAS,CAAC,WAAW,EAAE,KAAG,SAAS,CAAC,MAAM;mBAKzE,MAAM,UAAU,MAAM,GAAG,IAAI,KAAG,SAAS,CAAC,MAAM;iBAKlD,MAAM,UAAU,SAAS,SAAS,CAAC,KAAK,EAAE,KAAG,SAAS,CAAC,IAAI;iBAK3D,MAAM,YAAY,SAAS,MAAM,EAAE,KAAG,SAAS,CAAC,IAAI;iBAMzD,MAAM,cACA,SAAS,MAAM,EAAE,GAAG,SAAS,UACjC,SAAS,SAAS,CAAC,SAAS,EAAE,OACjC,SAAS,CAAC,IAAI,WACV,SAAS,MAAM,EAAE,QACpB,SAAS,CAAC,KAAK,eACT,SAAS,OAAO,aAAa,EAAE,cAAc,EAAE,+CAE5C,SAAS,MAAM,EAAE,oBACd,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,EAAE,KAC1D,SAAS,CAAC,IAAI;wBAaG,SAAS,SAAS,CAAC,SAAS,EAAE,KAAG,SAAS,CAAC,KAAK;wBAIhD,SAAS,SAAS,CAAC,SAAS,EAAE,KAAG,SAAS,CAAC,KAAK;gBAMxD,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;gBAClD,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;mBAC/C,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,MAAM;eAE9C,SAAS,CAAC,UAAU,aACf,SAAS,CAAC,KAAK,aACf,SAAS,CAAC,KAAK,GAAG,IAAI,KAChC,SAAS,CAAC,EAAE;kBACD,SAAS,CAAC,UAAU,SAAS,SAAS,SAAS,CAAC,IAAI,EAAE,KAAG,SAAS,CAAC,KAAK;oBAKtE,SAAS,CAAC,OAAO,QAAQ,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,KAAK,KAAG,SAAS,CAAC,IAAI;kBAK9E,MAAM,QAAQ,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,KAAK;kBAKpD,SAAS,MAAM,EAAE,KAAG,SAAS,CAAC,IAAI;sBAEvC,SAAS,SAAS,CAAC,IAAI,EAAE,cACpB,SAAS,OAAO,aAAa,EAAE,cAAc,EAAE,UACnD,SAAS,CAAC,WAAW,YACnB,SAAS,CAAC,OAAO,KAC1B,SAAS,CAAC,QAAQ;iBAQb,MAAM,QACN,SAAS,CAAC,KAAK,cACT,SAAS,OAAO,aAAa,EAAE,cAAc,EAAE,eAC9C,SAAS,CAAC,KAAK,iBACd,SAAS,MAAM,EAAE,KAC9B,SAAS,CAAC,IAAI;iBAUJ,MAAM,KAAG,SAAS,CAAC,IAAI;kBACtB,OAAO,KAAG,SAAS,CAAC,IAAI;iBACzB,MAAM,KAAG,SAAS,CAAC,GAAG;kBACrB,MAAM,KAAG,SAAS,CAAC,IAAI;oBACrB,MAAM,KAAG,SAAS,CAAC,MAAM;oBACzB,MAAM,KAAG,SAAS,CAAC,MAAM;gBAC/B,SAAS,CAAC,IAAI;mBACT,SAAS,CAAC,UAAU,QAAQ,SAAS,SAAS,CAAC,UAAU,EAAE,KAAG,SAAS,CAAC,IAAI;0BAM/E,MAAM,UACR,SAAS,SAAS,CAAC,cAAc,EAAE,KAC1C,SAAS,CAAC,SAAS;eACX,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,EAAE;gBAClC,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,GAAG;iBACnC,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,IAAI;gBACxC,SAAS,CAAC,IAAI;qBAGP,MAAM,KAAG,SAAS,CAAC,QAAQ;kBAC9B,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,KAAK;mBAC/B,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,MAAM;iBACnC,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,MAAM;iBAKtD,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,IAAI;eACjC,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,IAAI,KAAG,SAAS,CAAC,GAAG;oBAC9C,MAAM,QAAQ,SAAS,SAAS,CAAC,IAAI,EAAE,KAAG,SAAS,CAAC,OAAO;oBAK3D,MAAM,KAAG,SAAS,CAAC,OAAO;oBAE9B,SAAS,CAAC,IAAI,eACX,IAAI,GAAG,IAAI,GAAG,IAAI,YACrB,OAAO,aAAa,EAAE,eAAe,KAC9C,SAAS,CAAC,OAAO;mBAQP,SAAS,CAAC,OAAO;kBAChB,SAAS,CAAC,UAAU,KAAG,SAAS,CAAC,KAAK;wBAKxC,MAAM,UACT,SAAS,MAAM,EAAE,SACjB,SAAS,SAAS,CAAC,OAAO,EAAE,KAClC,SAAS,CAAC,OAAO;oBAMJ,MAAM,KAAG,SAAS,CAAC,OAAO;oBAC1B,MAAM,KAAG,SAAS,CAAC,MAAM;CAC1C,CAAC"}

package/dist/src/core/core_ir.js

@@ -0,0 +1,139 @@
+// Core IR for Aster (distinct from CNL AST)
+import { Effect } from '../types.js';
+export { Effect };
+export const Core = {
+    // Program structure
+    Module: (name, decls) => ({
+        kind: 'Module',
+        name,
+        decls,
+    }),
+    Import: (name, asName) => ({
+        kind: 'Import',
+        name,
+        asName,
+    }),
+    Data: (name, fields) => ({
+        kind: 'Data',
+        name,
+        fields,
+    }),
+    Enum: (name, variants) => ({
+        kind: 'Enum',
+        name,
+        variants,
+    }),
+    Func: (name, typeParams, params, ret, effects, body, effectCaps = [], effectCapsExplicit = false, effectParams, declaredEffects) => ({
+        kind: 'Func',
+        name,
+        typeParams: typeParams ?? [],
+        params,
+        ret,
+        effects,
+        effectCaps: [...effectCaps],
+        effectCapsExplicit,
+        body,
+        ...(effectParams && effectParams.length > 0 ? { effectParams } : {}),
+        ...(declaredEffects && declaredEffects.length > 0 ? { declaredEffects } : {}),
+    }),
+    Block: (statements) => ({
+        kind: 'Block',
+        statements,
+    }),
+    Scope: (statements) => ({
+        kind: 'Scope',
+        statements,
+    }),
+    // Statements
+    Let: (name, expr) => ({ kind: 'Let', name, expr }),
+    Set: (name, expr) => ({ kind: 'Set', name, expr }),
+    Return: (expr) => ({ kind: 'Return', expr }),
+    If: (cond, thenBlock, elseBlock) => ({ kind: 'If', cond, thenBlock, elseBlock }),
+    Match: (expr, cases) => ({
+        kind: 'Match',
+        expr,
+        cases,
+    }),
+    Case: (pattern, body) => ({
+        kind: 'Case',
+        pattern,
+        body,
+    }),
+    Start: (name, expr) => ({
+        kind: 'Start',
+        name,
+        expr,
+    }),
+    Wait: (names) => ({ kind: 'Wait', names }),
+    Workflow: (steps, effectCaps, retry, timeout) => ({
+        kind: 'workflow',
+        steps,
+        effectCaps: [...effectCaps],
+        ...(retry ? { retry } : {}),
+        ...(timeout ? { timeout } : {}),
+    }),
+    Step: (name, body, effectCaps, compensate, dependencies = []) => ({
+        kind: 'step',
+        name,
+        body,
+        dependencies,
+        effectCaps: [...effectCaps],
+        ...(compensate ? { compensate } : {}),
+    }),
+    // Expressions
+    Name: (name) => ({ kind: 'Name', name }),
+    Bool: (value) => ({ kind: 'Bool', value }),
+    Int: (value) => ({ kind: 'Int', value }),
+    Long: (value) => ({ kind: 'Long', value }),
+    Double: (value) => ({ kind: 'Double', value }),
+    String: (value) => ({ kind: 'String', value }),
+    Null: () => ({ kind: 'Null' }),
+    Call: (target, args) => ({
+        kind: 'Call',
+        target,
+        args,
+    }),
+    Construct: (typeName, fields) => ({ kind: 'Construct', typeName, fields }),
+    Ok: (expr) => ({ kind: 'Ok', expr }),
+    Err: (expr) => ({ kind: 'Err', expr }),
+    Some: (expr) => ({ kind: 'Some', expr }),
+    None: () => ({ kind: 'None' }),
+    // Types
+    TypeName: (name) => ({ kind: 'TypeName', name }),
+    Maybe: (type) => ({ kind: 'Maybe', type }),
+    Option: (type) => ({ kind: 'Option', type }),
+    Result: (ok, err) => ({
+        kind: 'Result',
+        ok,
+        err,
+    }),
+    List: (type) => ({ kind: 'List', type }),
+    Map: (key, val) => ({ kind: 'Map', key, val }),
+    TypeApp: (base, args) => ({
+        kind: 'TypeApp',
+        base,
+        args,
+    }),
+    TypeVar: (name) => ({ kind: 'TypeVar', name }),
+    Pii: (baseType, sensitivity, category) => ({
+        kind: 'PiiType',
+        baseType,
+        sensitivity,
+        category,
+    }),
+    // Patterns
+    PatNull: () => ({ kind: 'PatNull' }),
+    Await: (expr) => ({
+        kind: 'Await',
+        expr,
+    }),
+    PatCtor: (typeName, names = [], args) => ({
+        kind: 'PatCtor',
+        typeName,
+        names,
+        ...(args && args.length > 0 ? { args } : {}),
+    }),
+    PatName: (name) => ({ kind: 'PatName', name }),
+    PatInt: (value) => ({ kind: 'PatInt', value }),
+};
+//# sourceMappingURL=core_ir.js.map

package/dist/src/core/core_ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core_ir.js","sourceRoot":"","sources":["../../../src/core/core_ir.ts"],"names":[],"mappings":"AAAA,4CAA4C;AAE5C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAGrC,OAAO,EAAE,MAAM,EAAE,CAAC;AAElB,MAAM,CAAC,MAAM,IAAI,GAAG;IAClB,oBAAoB;IACpB,MAAM,EAAE,CAAC,IAAmB,EAAE,KAAuC,EAAoB,EAAE,CAAC,CAAC;QAC3F,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,KAAK;KACN,CAAC;IACF,MAAM,EAAE,CAAC,IAAY,EAAE,MAAqB,EAAoB,EAAE,CAAC,CAAC;QAClE,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,MAAM;KACP,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,MAAkC,EAAkB,EAAE,CAAC,CAAC;QAC3E,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,MAAM;KACP,CAAC;IACF,IAAI,EAAE,CAAC,IAAY,EAAE,QAA2B,EAAkB,EAAE,CAAC,CAAC;QACpE,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,QAAQ;KACT,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,UAAyC,EACzC,MAAsC,EACtC,GAAmB,EACnB,OAA0B,EAC1B,IAAqB,EACrB,aAA8D,EAAE,EAChE,kBAAkB,GAAG,KAAK,EAC1B,YAAgC,EAChC,eAA2D,EAC3C,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,UAAU,EAAG,UAAgC,IAAI,EAAE;QACnD,MAAM;QACN,GAAG;QACH,OAAO;QACP,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,kBAAkB;QAClB,IAAI;QACJ,GAAG,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,eAAe,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9E,CAAC;IACF,KAAK,EAAE,CAAC,UAA0C,EAAmB,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,OAAO;QACb,UAAU;KACX,CAAC;IACF,KAAK,EAAE,CAAC,UAA0C,EAAmB,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,OAAO;QACb,UAAU;KACX,CAAC;IAEF,aAAa;IACb,GAAG,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/F,GAAG,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/F,MAAM,EAAE,CAAC,IAA0B,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACpF,EAAE,EAAE,CACF,IAA0B,EAC1B,SAA0B,EAC1B,SAAiC,EACnB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IAC/D,KAAK,EAAE,CAAC,IAA0B,EAAE,KAAgC,EAAmB,EAAE,CAAC,CAAC;QACzF,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,KAAK;KACN,CAAC;IACF,IAAI,EAAE,CAAC,OAA0B,EAAE,IAAwC,EAAkB,EAAE,CAAC,CAAC;QAC/F,IAAI,EAAE,MAAM;QACZ,OAAO;QACP,IAAI;KACL,CAAC;IACF,KAAK,EAAE,CAAC,IAAY,EAAE,IAA0B,EAAmB,EAAE,CAAC,CAAC;QACrE,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,IAAI;KACL,CAAC;IACF,IAAI,EAAE,CAAC,KAAwB,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC7E,QAAQ,EAAE,CACR,KAAgC,EAChC,UAA2D,EAC3D,KAA6B,EAC7B,OAA2B,EACP,EAAE,CAAC,CAAC;QACxB,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChC,CAAC;IACF,IAAI,EAAE,CACJ,IAAY,EACZ,IAAqB,EACrB,UAA2D,EAC3D,UAA4B,EAC5B,eAAkC,EAAE,EACpB,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,IAAI;QACJ,YAAY;QACZ,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtC,CAAC;IAEF,cAAc;IACd,IAAI,EAAE,CAAC,IAAY,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAChE,IAAI,EAAE,CAAC,KAAc,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACnE,GAAG,EAAE,CAAC,KAAa,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC/D,IAAI,EAAE,CAAC,KAAa,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAClE,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACxE,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACxE,IAAI,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC9C,IAAI,EAAE,CAAC,MAA4B,EAAE,IAAqC,EAAkB,EAAE,CAAC,CAAC;QAC9F,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,IAAI;KACL,CAAC;IACF,SAAS,EAAE,CACT,QAAgB,EAChB,MAA2C,EACtB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnE,EAAE,EAAE,CAAC,IAA0B,EAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxE,GAAG,EAAE,CAAC,IAA0B,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC3E,IAAI,EAAE,CAAC,IAA0B,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC9E,IAAI,EAAE,GAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAE9C,QAAQ;IACR,QAAQ,EAAE,CAAC,IAAY,EAAsB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC5E,KAAK,EAAE,CAAC,IAAoB,EAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3E,MAAM,EAAE,CAAC,IAAoB,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC9E,MAAM,EAAE,CAAC,EAAkB,EAAE,GAAmB,EAAoB,EAAE,CAAC,CAAC;QACtE,IAAI,EAAE,QAAQ;QACd,EAAE;QACF,GAAG;KACJ,CAAC;IACF,IAAI,EAAE,CAAC,IAAoB,EAAkB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACxE,GAAG,EAAE,CAAC,GAAmB,EAAE,GAAmB,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC7F,OAAO,EAAE,CAAC,IAAY,EAAE,IAA+B,EAAqB,EAAE,CAAC,CAAC;QAC9E,IAAI,EAAE,SAAS;QACf,IAAI;QACJ,IAAI;KACL,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACzE,GAAG,EAAE,CACH,QAAwB,EACxB,WAA+B,EAC/B,QAA+C,EAC5B,EAAE,CAAC,CAAC;QACvB,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,WAAW;QACX,QAAQ;KACT,CAAC;IAEF,WAAW;IACX,OAAO,EAAE,GAAsB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACvD,KAAK,EAAE,CAAC,IAA0B,EAAmB,EAAE,CAAC,CAAC;QACvD,IAAI,EAAE,OAAO;QACb,IAAI;KACL,CAAC;IACF,OAAO,EAAE,CACP,QAAgB,EAChB,QAA2B,EAAE,EAC7B,IAAmC,EAChB,EAAE,CAAC,CAAC;QACvB,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,KAAK;QACL,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7C,CAAC;IACF,OAAO,EAAE,CAAC,IAAY,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACzE,MAAM,EAAE,CAAC,KAAa,EAAoB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;CACzE,CAAC"}

package/dist/src/core/core_ir_json.d.ts

@@ -0,0 +1,62 @@
+import type { Core } from '../types.js';
+/**
+ * Core IR JSON 序列化封装（版本化）
+ *
+ * 提供 Core IR 模块的 JSON 序列化和反序列化功能，
+ * 支持版本控制和元数据。
+ */
+/**
+ * Core IR JSON 封装接口
+ * 包含版本信息和可选元数据
+ */
+export interface CoreIREnvelope {
+    /** JSON schema 版本 */
+    version: '1.0';
+    /** Core IR 模块定义 */
+    module: Core.Module;
+    /** 可选元数据 */
+    metadata?: {
+        /** 生成时间（ISO 8601 格式） */
+        generatedAt?: string;
+        /** 源文件路径或描述 */
+        source?: string;
+        /** 编译器版本 */
+        compilerVersion?: string;
+    };
+}
+/**
+ * 将 Core IR 模块序列化为 JSON 字符串
+ *
+ * @param module - Core IR 模块对象
+ * @param metadata - 可选元数据
+ * @returns 格式化的 JSON 字符串（2 空格缩进）
+ *
+ * @example
+ * ```typescript
+ * const coreIR = lowerToCore(ast);
+ * const json = serializeCoreIR(coreIR, { source: 'policy.aster' });
+ * ```
+ */
+export declare function serializeCoreIR(module: Core.Module, metadata?: CoreIREnvelope['metadata']): string;
+/**
+ * 从 JSON 字符串反序列化为 Core IR 模块
+ *
+ * @param json - JSON 字符串
+ * @returns Core IR 模块对象
+ * @throws {Error} 如果 JSON 无效或版本不支持
+ *
+ * @example
+ * ```typescript
+ * const json = fs.readFileSync('policy.json', 'utf8');
+ * const coreIR = deserializeCoreIR(json);
+ * ```
+ */
+export declare function deserializeCoreIR(json: string): Core.Module;
+/**
+ * 验证 JSON 字符串是否为有效的 Core IR 格式
+ *
+ * @param json - JSON 字符串
+ * @returns true 如果有效，false 否则
+ */
+export declare function isValidCoreIRJson(json: string): boolean;
+//# sourceMappingURL=core_ir_json.d.ts.map

package/dist/src/core/core_ir_json.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core_ir_json.d.ts","sourceRoot":"","sources":["../../../src/core/core_ir_json.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC;;;;;GAKG;AAEH;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,qBAAqB;IACrB,OAAO,EAAE,KAAK,CAAC;IACf,mBAAmB;IACnB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;IACpB,YAAY;IACZ,QAAQ,CAAC,EAAE;QACT,wBAAwB;QACxB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,eAAe;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,YAAY;QACZ,eAAe,CAAC,EAAE,MAAM,CAAC;KAC1B,CAAC;CACH;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,IAAI,CAAC,MAAM,EACnB,QAAQ,CAAC,EAAE,cAAc,CAAC,UAAU,CAAC,GACpC,MAAM,CAOR;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,MAAM,CAuC3D;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAOvD"}

package/dist/src/core/core_ir_json.js

@@ -0,0 +1,81 @@
+/**
+ * 将 Core IR 模块序列化为 JSON 字符串
+ *
+ * @param module - Core IR 模块对象
+ * @param metadata - 可选元数据
+ * @returns 格式化的 JSON 字符串（2 空格缩进）
+ *
+ * @example
+ * ```typescript
+ * const coreIR = lowerToCore(ast);
+ * const json = serializeCoreIR(coreIR, { source: 'policy.aster' });
+ * ```
+ */
+export function serializeCoreIR(module, metadata) {
+    const envelope = {
+        version: '1.0',
+        module,
+        ...(metadata ? { metadata } : {}),
+    };
+    return JSON.stringify(envelope, null, 2);
+}
+/**
+ * 从 JSON 字符串反序列化为 Core IR 模块
+ *
+ * @param json - JSON 字符串
+ * @returns Core IR 模块对象
+ * @throws {Error} 如果 JSON 无效或版本不支持
+ *
+ * @example
+ * ```typescript
+ * const json = fs.readFileSync('policy.json', 'utf8');
+ * const coreIR = deserializeCoreIR(json);
+ * ```
+ */
+export function deserializeCoreIR(json) {
+    let envelope;
+    try {
+        envelope = JSON.parse(json);
+    }
+    catch (e) {
+        throw new Error(`Invalid JSON: ${e instanceof Error ? e.message : String(e)}`);
+    }
+    // 类型检查：确保是对象（非数组）
+    if (!envelope || typeof envelope !== 'object' || Array.isArray(envelope)) {
+        throw new Error('Invalid Core IR JSON: expected object');
+    }
+    const typed = envelope;
+    // 版本检查
+    if (!('version' in typed) || typed.version !== '1.0') {
+        throw new Error(`Unsupported Core IR JSON version: ${typed.version ?? 'missing'}. Expected: 1.0`);
+    }
+    // 模块字段检查
+    if (!('module' in typed) || !typed.module || typeof typed.module !== 'object') {
+        throw new Error('Invalid Core IR JSON: missing or invalid "module" field');
+    }
+    // 基本结构验证：检查 module 是否有 kind 和 decls 字段
+    const module = typed.module;
+    if (module.kind !== 'Module') {
+        throw new Error(`Invalid Core IR JSON: expected module.kind === 'Module', got ${module.kind}`);
+    }
+    if (!Array.isArray(module.decls)) {
+        throw new Error('Invalid Core IR JSON: module.decls must be an array');
+    }
+    return typed.module;
+}
+/**
+ * 验证 JSON 字符串是否为有效的 Core IR 格式
+ *
+ * @param json - JSON 字符串
+ * @returns true 如果有效，false 否则
+ */
+export function isValidCoreIRJson(json) {
+    try {
+        deserializeCoreIR(json);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=core_ir_json.js.map