@aster-cloud/aster-lang-ts 1.0.36 → 1.1.0

package/dist/src/typecheck/generics.d.ts

@@ -3,4 +3,9 @@ import { DiagnosticBuilder } from './diagnostics.js';
 import type { ModuleContext } from './context.js';
 export declare function unifyTypeParameters(expected: Core.Type, actual: Core.Type, bindings: Map<string, Core.Type>, diagnostics: DiagnosticBuilder, span: Span | undefined): void;
 export declare function checkGenericTypeParameters(ctx: ModuleContext, f: Core.Func, diagnostics: DiagnosticBuilder): void;
+/**
+ * 内置类型名：全部内置标量类型和常用容器类型。类型检查据此判定疑似类型变量，
+ * 名称解析 R1（ADR 0051）据此判定类型位置是否未解析。
+ */
+export declare const BUILTIN_TYPE_NAMES: ReadonlySet<string>;
 //# sourceMappingURL=generics.d.ts.map

package/dist/src/typecheck/generics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generics.d.ts","sourceRoot":"","sources":["../../../src/typecheck/generics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAMlD,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,IAAI,CAAC,IAAI,EACnB,MAAM,EAAE,IAAI,CAAC,IAAI,EACjB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAChC,WAAW,EAAE,iBAAiB,EAC9B,IAAI,EAAE,IAAI,GAAG,SAAS,GACrB,IAAI,CAkBN;AAED,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,aAAa,EAClB,CAAC,EAAE,IAAI,CAAC,IAAI,EACZ,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAuEN"}
+{"version":3,"file":"generics.d.ts","sourceRoot":"","sources":["../../../src/typecheck/generics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAMlD,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,IAAI,CAAC,IAAI,EACnB,MAAM,EAAE,IAAI,CAAC,IAAI,EACjB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAChC,WAAW,EAAE,iBAAiB,EAC9B,IAAI,EAAE,IAAI,GAAG,SAAS,GACrB,IAAI,CAkBN;AAED,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,aAAa,EAClB,CAAC,EAAE,IAAI,CAAC,IAAI,EACZ,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAuEN;AA0BD;;;GAGG;AACH,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,MAAM,CASjD,CAAC"}

package/dist/src/typecheck/generics.js

@@ -112,18 +112,25 @@ class EffectParamCollector extends DefaultTypeVisitor {
         super.visitFuncType?.(ft, ctx);
     }
 }
+/**
+ * 内置类型名：全部内置标量类型和常用容器类型。类型检查据此判定疑似类型变量，
+ * 名称解析 R1（ADR 0051）据此判定类型位置是否未解析。
+ */
+export const BUILTIN_TYPE_NAMES = new Set([
+    'Text', 'Int', 'Bool', 'Float', 'Long', 'Double', 'Unit',
+    // ADR 0025：Decimal 为内置标量
+    'Decimal',
+    // 与 PrimitiveTypeName（types/type-inference.ts）对齐：DateTime 为内置基础类型
+    'DateTime',
+    'Result', 'Option', 'List', 'Map', 'Set', 'Workflow',
+    // ADR 0039：Verdict 为内置类型，不是疑似类型变量
+    VERDICT_TYPE_NAME,
+]);
 class UnknownTypeFinder extends DefaultTypeVisitor {
-    // 包含所有内置标量类型和常用容器类型
-    static KNOWN_SCALARS = new Set([
-        'Text', 'Int', 'Bool', 'Float', 'Long', 'Double', 'Unit',
-        'Result', 'Option', 'List', 'Map', 'Set', 'Workflow',
-        // ADR 0039：Verdict 为内置类型，不是疑似类型变量
-        VERDICT_TYPE_NAME,
-    ]);
     static isMaybeTypeVarLike = (name) => /^[A-Z][A-Za-z0-9_]*$/.test(name);
     visitTypeName(n, context) {
         const nm = n.name;
-        if (!UnknownTypeFinder.KNOWN_SCALARS.has(nm) &&
+        if (!BUILTIN_TYPE_NAMES.has(nm) &&
             !context.ctx.datas.has(nm) &&
             !context.ctx.enums.has(nm) &&
             UnknownTypeFinder.isMaybeTypeVarLike(nm)) {

package/dist/src/typecheck/generics.js.map

@@ -1 +1 @@
-{"version":3,"file":"generics.js","sourceRoot":"","sources":["../../../src/typecheck/generics.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAG3D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,MAAM,UAAU,mBAAmB,CACjC,QAAmB,EACnB,MAAiB,EACjB,QAAgC,EAChC,WAA8B,EAC9B,IAAsB;IAEtB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC9C,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC;QAAE,OAAO;IAE1D,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;gBACtC,WAAW,CAAC,KAAK,8CAAiC,IAAI,EAAE;oBACtD,IAAI;oBACJ,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;oBAC9B,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;iBACzB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,GAAkB,EAClB,CAAY,EACZ,WAA8B;IAE9B,MAAM,UAAU,GAAI,CAAmD,CAAC,UAAU,IAAI,EAAE,CAAC;IAEzF,aAAa;IACb,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,UAAU,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,SAAS,GAAG,IAAI,kBAAkB,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAEjC,eAAe;IACf,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,KAAK,6CAAgC,CAAC,CAAC,IAAI,EAAE;gBACvD,IAAI,EAAE,CAAC;gBACP,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,aAAa;IACb,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,WAAW,CAAC,OAAO,2CAA8B,CAAC,CAAC,IAAI,EAAE;gBACvD,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IACtE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAE3C,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,WAAW,CAAC,KAAK,iDAAoC,CAAC,CAAC,IAAI,EAAE;gBAC3D,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,MAAM,YAAY,GAAI,CAAqD,CAAC,YAAY,IAAI,EAAE,CAAC;IAC/F,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,YAAY,CAAC,CAAC;IACzD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,YAAY,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACzE,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAE9C,sCAAsC;IACtC,MAAM,mBAAmB,GAAI,CAAyD,CAAC,eAAe,IAAI,EAAE,CAAC;IAC7G,KAAK,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;QACtC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAK,GAAyB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC/F,cAAc,CAAC,GAAG,CAAE,GAAwB,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;QAChC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,KAAK,+CAAkC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,kBAAkB,EAAE,CAAC;QACpC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,WAAW,CAAC,OAAO,2CAA8B,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,kBAAmB,SAAQ,kBAA+B;IACrD,YAAY,CAAC,CAAe,EAAE,GAAgB;QACrD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;CACF;AAED,MAAM,oBAAqB,SAAQ,kBAA+B;IACvD,YAAY,CAAC,EAAgB,EAAE,IAAiB,IAAS,CAAC;IAC1D,cAAc,CAAC,EAAkB,EAAE,GAAgB;QAC1D,mCAAmC;QACnC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACQ,aAAa,CAAC,EAAiB,EAAE,GAAgB;QACxD,8BAA8B;QAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;YACtC,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,eAAe,EAAE,CAAC;gBACrC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC3B,IAAI,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,KAAK,CAAC,aAAa,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACjC,CAAC;CACF;AAED,MAAM,iBAAkB,SAAQ,kBAAiE;IAC/F,oBAAoB;IACZ,MAAM,CAAU,aAAa,GAAG,IAAI,GAAG,CAAC;QAC9C,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM;QACxD,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU;QACpD,kCAAkC;QAClC,iBAAiB;KAClB,CAAC,CAAC;IACK,MAAM,CAAU,kBAAkB,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEjG,aAAa,CAAC,CAAgB,EAAE,OAAsD;QAC7F,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC;QAClB,IACE,CAAC,iBAAiB,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,iBAAiB,CAAC,kBAAkB,CAAC,EAAE,CAAC,EACxC,CAAC;YACD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC"}
+{"version":3,"file":"generics.js","sourceRoot":"","sources":["../../../src/typecheck/generics.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAG3D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,MAAM,UAAU,mBAAmB,CACjC,QAAmB,EACnB,MAAiB,EACjB,QAAgC,EAChC,WAA8B,EAC9B,IAAsB;IAEtB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC9C,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC;QAAE,OAAO;IAE1D,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;gBACtC,WAAW,CAAC,KAAK,8CAAiC,IAAI,EAAE;oBACtD,IAAI;oBACJ,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;oBAC9B,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;iBACzB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,GAAkB,EAClB,CAAY,EACZ,WAA8B;IAE9B,MAAM,UAAU,GAAI,CAAmD,CAAC,UAAU,IAAI,EAAE,CAAC;IAEzF,aAAa;IACb,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,UAAU,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,SAAS,GAAG,IAAI,kBAAkB,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAEjC,eAAe;IACf,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,KAAK,6CAAgC,CAAC,CAAC,IAAI,EAAE;gBACvD,IAAI,EAAE,CAAC;gBACP,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,aAAa;IACb,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,WAAW,CAAC,OAAO,2CAA8B,CAAC,CAAC,IAAI,EAAE;gBACvD,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IACtE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAE3C,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,WAAW,CAAC,KAAK,iDAAoC,CAAC,CAAC,IAAI,EAAE;gBAC3D,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,MAAM,YAAY,GAAI,CAAqD,CAAC,YAAY,IAAI,EAAE,CAAC;IAC/F,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,YAAY,CAAC,CAAC;IACzD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,YAAY,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACzE,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAE9C,sCAAsC;IACtC,MAAM,mBAAmB,GAAI,CAAyD,CAAC,eAAe,IAAI,EAAE,CAAC;IAC7G,KAAK,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;QACtC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAK,GAAyB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC/F,cAAc,CAAC,GAAG,CAAE,GAAwB,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;QAChC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,KAAK,+CAAkC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,kBAAkB,EAAE,CAAC;QACpC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,WAAW,CAAC,OAAO,2CAA8B,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,kBAAmB,SAAQ,kBAA+B;IACrD,YAAY,CAAC,CAAe,EAAE,GAAgB;QACrD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;CACF;AAED,MAAM,oBAAqB,SAAQ,kBAA+B;IACvD,YAAY,CAAC,EAAgB,EAAE,IAAiB,IAAS,CAAC;IAC1D,cAAc,CAAC,EAAkB,EAAE,GAAgB;QAC1D,mCAAmC;QACnC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACQ,aAAa,CAAC,EAAiB,EAAE,GAAgB;QACxD,8BAA8B;QAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;YACtC,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,eAAe,EAAE,CAAC;gBACrC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC3B,IAAI,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QACD,KAAK,CAAC,aAAa,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACjC,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAwB,IAAI,GAAG,CAAC;IAC7D,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM;IACxD,yBAAyB;IACzB,SAAS;IACT,kEAAkE;IAClE,UAAU;IACV,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU;IACpD,kCAAkC;IAClC,iBAAiB;CAClB,CAAC,CAAC;AAEH,MAAM,iBAAkB,SAAQ,kBAAiE;IACvF,MAAM,CAAU,kBAAkB,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEjG,aAAa,CAAC,CAAgB,EAAE,OAAsD;QAC7F,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC;QAClB,IACE,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,iBAAiB,CAAC,kBAAkB,CAAC,EAAE,CAAC,EACxC,CAAC;YACD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC"}

package/dist/src/typecheck/statement.d.ts

@@ -8,6 +8,16 @@ export declare class TypecheckVisitor extends DefaultCoreVisitor<TypecheckWalker
     visitBlock(block: Core.Block, context: TypecheckWalkerContext): void;
     visitStatement(statement: Core.Statement, context: TypecheckWalkerContext): void;
 }
+/**
+ * 在**当前**作用域检查语句块，不另开作用域。
+ *
+ * 与 Java 端 BaseTypeChecker.checkBlock 对齐：If 分支、函数体、workflow step 都与外层共享作用域，
+ * 因此在分支里 `Let` 一个外层已有的名字、或 `Let` 一个与形参同名的变量，都报 E104 DUPLICATE_SYMBOL。
+ * 只有 Scope 语句、match 分支与 lambda 才开新作用域（见 typecheckScopedBlock / typecheckCase）。
+ * 两端规则不一致时，编辑器会对服务端保存门禁拒绝的源码显示「可编译」（aster-lang-ts#231）。
+ */
 export declare function typecheckBlock(ctx: ModuleContext, symbols: SymbolTable, block: Core.Block, diagnostics: DiagnosticBuilder): Core.Type;
+/** 在新的块作用域里检查语句块：用于显式的 Scope 语句（对应 Java 端 CoreModel.Scope 分支）。 */
+export declare function typecheckScopedBlock(ctx: ModuleContext, symbols: SymbolTable, block: Core.Block, diagnostics: DiagnosticBuilder): Core.Type;
 export declare function typecheckCase(ctx: ModuleContext, symbols: SymbolTable, caseClause: Core.Case, scrutineeType: Core.Type, diagnostics: DiagnosticBuilder): Core.Type;
 //# sourceMappingURL=statement.d.ts.map

package/dist/src/typecheck/statement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"statement.d.ts","sourceRoot":"","sources":["../../../src/typecheck/statement.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,OAAO,KAAK,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAE1E,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAW1D,qBAAa,gBAAiB,SAAQ,kBAAkB,CAAC,sBAAsB,CAAC;IACvE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAiB;IAEhC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,sBAAsB,GAAG,IAAI;IASpE,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,sBAAsB,GAAG,IAAI;CA8I1F;AAED,wBAAgB,cAAc,CAC5B,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,WAAW,EACpB,KAAK,EAAE,IAAI,CAAC,KAAK,EACjB,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAAC,IAAI,CASX;AAED,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,WAAW,EACpB,UAAU,EAAE,IAAI,CAAC,IAAI,EACrB,aAAa,EAAE,IAAI,CAAC,IAAI,EACxB,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAAC,IAAI,CAWX"}
+{"version":3,"file":"statement.d.ts","sourceRoot":"","sources":["../../../src/typecheck/statement.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,OAAO,KAAK,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAG1E,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAW1D,qBAAa,gBAAiB,SAAQ,kBAAkB,CAAC,sBAAsB,CAAC;IACvE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAiB;IAEhC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,sBAAsB,GAAG,IAAI;IASpE,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,sBAAsB,GAAG,IAAI;CA+I1F;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC5B,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,WAAW,EACpB,KAAK,EAAE,IAAI,CAAC,KAAK,EACjB,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAAC,IAAI,CAIX;AAED,kEAAkE;AAClE,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,WAAW,EACpB,KAAK,EAAE,IAAI,CAAC,KAAK,EACjB,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAAC,IAAI,CAOX;AAED,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,WAAW,EACpB,UAAU,EAAE,IAAI,CAAC,IAAI,EACrB,aAAa,EAAE,IAAI,CAAC,IAAI,EACxB,WAAW,EAAE,iBAAiB,GAC7B,IAAI,CAAC,IAAI,CAWX"}

package/dist/src/typecheck/statement.js

@@ -1,5 +1,6 @@
 import { DefaultCoreVisitor } from '../core/visitor.js';
 import { assignSymbol, defineSymbol } from './context.js';
+import { originToSpan } from './pure.js';
 import { formatType, isUnknown, typesEqual, unknownType, } from './pure.js';
 import { rejectVerdictInBoolContext, typeOfExpr } from './expression.js';
 import { bindPattern } from './pattern.js';
@@ -19,7 +20,8 @@ export class TypecheckVisitor extends DefaultCoreVisitor {
         switch (statement.kind) {
             case 'Let': {
                 const valueType = typeOfExpr(module, symbols, statement.expr, diagnostics);
-                defineSymbol(context, statement.name, valueType, 'var', statement.span);
+                // 降级后的 Let 节点只带 origin（无 span）：用 origin 定位，否则 E104 诊断没有行列，编辑器无法标红。
+                defineSymbol(context, statement.name, valueType, 'var', statement.span ?? originToSpan(statement.origin));
                 this.result = valueType;
                 return;
             }
@@ -130,7 +132,7 @@ export class TypecheckVisitor extends DefaultCoreVisitor {
                     statements: statement.statements,
                     span: statement.span,
                 };
-                this.result = typecheckBlock(module, symbols, nested, diagnostics);
+                this.result = typecheckScopedBlock(module, symbols, nested, diagnostics);
                 return;
             }
             case 'Start': {
@@ -149,12 +151,24 @@ export class TypecheckVisitor extends DefaultCoreVisitor {
         }
     }
 }
+/**
+ * 在**当前**作用域检查语句块，不另开作用域。
+ *
+ * 与 Java 端 BaseTypeChecker.checkBlock 对齐：If 分支、函数体、workflow step 都与外层共享作用域，
+ * 因此在分支里 `Let` 一个外层已有的名字、或 `Let` 一个与形参同名的变量，都报 E104 DUPLICATE_SYMBOL。
+ * 只有 Scope 语句、match 分支与 lambda 才开新作用域（见 typecheckScopedBlock / typecheckCase）。
+ * 两端规则不一致时，编辑器会对服务端保存门禁拒绝的源码显示「可编译」（aster-lang-ts#231）。
+ */
 export function typecheckBlock(ctx, symbols, block, diagnostics) {
+    const visitor = new TypecheckVisitor();
+    visitor.visitBlock(block, { module: ctx, symbols, diagnostics });
+    return visitor.result;
+}
+/** 在新的块作用域里检查语句块：用于显式的 Scope 语句（对应 Java 端 CoreModel.Scope 分支）。 */
+export function typecheckScopedBlock(ctx, symbols, block, diagnostics) {
     symbols.enterScope('block');
     try {
-        const visitor = new TypecheckVisitor();
-        visitor.visitBlock(block, { module: ctx, symbols, diagnostics });
-        return visitor.result;
+        return typecheckBlock(ctx, symbols, block, diagnostics);
     }
     finally {
         symbols.exitScope();

package/dist/src/typecheck/statement.js.map

@@ -1 +1 @@
-{"version":3,"file":"statement.js","sourceRoot":"","sources":["../../../src/typecheck/statement.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAGxD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAG1D,OAAO,EACL,UAAU,EACV,SAAS,EACT,UAAU,EACV,WAAW,GACZ,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,0BAA0B,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAElD,MAAM,OAAO,gBAAiB,SAAQ,kBAA0C;IACvE,MAAM,GAAc,WAAW,EAAE,CAAC;IAEhC,UAAU,CAAC,KAAiB,EAAE,OAA+B;QACpE,IAAI,IAAI,GAAc,WAAW,EAAE,CAAC;QACpC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACxC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IACrB,CAAC;IAEQ,cAAc,CAAC,SAAyB,EAAE,OAA+B;QAChF,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC;QACjD,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC3E,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;gBACxE,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;gBACxB,OAAO;YACT,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC3E,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;gBACjE,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;gBACxB,OAAO;YACT,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,IAAI,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBACvE,OAAO;YACT,CAAC;YACD,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,0BAA0B,CACxB,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,EACxD,SAAS,CAAC,IAAI,EACd,WAAW,CACZ,CAAC;gBACF,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;gBACnF,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS;oBAClC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC;oBACnE,CAAC,CAAC,WAAW,EAAE,CAAC;gBAClB,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACxB,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACzB,CAAC;qBAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC/B,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACzB,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;wBACpC,WAAW,CAAC,KAAK,4CAA+B,SAAS,CAAC,IAAI,EAAE;4BAC9D,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;4BAC9B,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;yBAC/B,CAAC,CAAC;oBACL,CAAC;oBACD,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACzB,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC/E,IAAI,UAAU,GAAqB,IAAI,CAAC;gBACxC,IAAI,WAAW,GAAG,KAAK,CAAC;gBACxB,IAAI,cAAc,GAAG,KAAK,CAAC;gBAC3B,MAAM,QAAQ,GACZ,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,IAAI,KAAK,UAAU;oBAC5D,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC;oBACtC,CAAC,CAAC,SAAS,CAAC;gBAChB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;gBACnC,IAAI,WAAW,GAAG,KAAK,CAAC;gBACxB,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;oBACzC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;oBACxF,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,UAAU,GAAG,QAAQ,CAAC;oBACxB,CAAC;yBAAM,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC7C,WAAW,CAAC,KAAK,+CAEf,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EACtC;4BACE,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC;4BAChC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;yBAC7B,CACF,CAAC;oBACJ,CAAC;oBACD,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;wBAAE,WAAW,GAAG,IAAI,CAAC;;wBACzD,cAAc,GAAG,IAAI,CAAC;oBAC3B,IAAI,QAAQ,EAAE,CAAC;wBACb,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;4BAC1C,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gCACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oCAC1C,WAAW,CAAC,OAAO,6CAEjB,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EACzC,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CACvD,CAAC;gCACJ,CAAC;gCACD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;4BACxC,CAAC;iCAAM,CAAC;gCACN,WAAW,GAAG,IAAI,CAAC;4BACrB,CAAC;wBACH,CAAC;6BAAM,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;4BACjD,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gCAC5D,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;oCAC9C,WAAW,CAAC,OAAO,6CAEjB,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EACzC,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAC3D,CAAC;gCACJ,CAAC;gCACD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;4BAC5C,CAAC;wBACH,CAAC;6BAAM,CAAC;4BACN,WAAW,GAAG,IAAI,CAAC;wBACrB,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAChE,IAAI,CAAC,CAAC,WAAW,IAAI,cAAc,CAAC,EAAE,CAAC;wBACrC,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC;wBAC/F,WAAW,CAAC,OAAO,8CAAiC,SAAS,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnF,CAAC;gBACH,CAAC;qBAAM,IAAI,QAAQ,IAAI,CAAC,WAAW,EAAE,CAAC;oBACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;oBAC5E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACvB,WAAW,CAAC,OAAO,6CAAgC,SAAS,CAAC,IAAI,EAAE;4BACjE,IAAI,EAAE,QAAQ,CAAC,IAAI;4BACnB,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;yBAC5B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,MAAM,GAAG,UAAU,IAAI,WAAW,EAAE,CAAC;gBAC1C,OAAO;YACT,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,MAAM,GAAe;oBACzB,IAAI,EAAE,OAAO;oBACb,UAAU,EAAE,SAAS,CAAC,UAAU;oBAChC,IAAI,EAAE,SAAS,CAAC,IAAI;iBACP,CAAC;gBAChB,IAAI,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;gBACnE,OAAO;YACT,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,KAAK,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC9D,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;gBAC5B,OAAO;YACT,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;gBAC5B,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,IAAI,CAAC,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,SAA0B,CAAC,CAAC;gBACrE,OAAO;YACT,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,MAAM,UAAU,cAAc,CAC5B,GAAkB,EAClB,OAAoB,EACpB,KAAiB,EACjB,WAA8B;IAE9B,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACvC,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;QACjE,OAAO,OAAO,CAAC,MAAM,CAAC;IACxB,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,GAAkB,EAClB,OAAoB,EACpB,UAAqB,EACrB,aAAwB,EACxB,WAA8B;IAE9B,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;QAC1E,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,OAAO,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACpE,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,EAAE,CAAC;IACtB,CAAC;AACH,CAAC"}
+{"version":3,"file":"statement.js","sourceRoot":"","sources":["../../../src/typecheck/statement.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAGxD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAGzC,OAAO,EACL,UAAU,EACV,SAAS,EACT,UAAU,EACV,WAAW,GACZ,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,0BAA0B,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAElD,MAAM,OAAO,gBAAiB,SAAQ,kBAA0C;IACvE,MAAM,GAAc,WAAW,EAAE,CAAC;IAEhC,UAAU,CAAC,KAAiB,EAAE,OAA+B;QACpE,IAAI,IAAI,GAAc,WAAW,EAAE,CAAC;QACpC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACxC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IACrB,CAAC;IAEQ,cAAc,CAAC,SAAyB,EAAE,OAA+B;QAChF,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC;QACjD,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC3E,mEAAmE;gBACnE,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,IAAI,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;gBAC1G,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;gBACxB,OAAO;YACT,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC3E,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;gBACjE,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;gBACxB,OAAO;YACT,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,IAAI,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBACvE,OAAO;YACT,CAAC;YACD,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,0BAA0B,CACxB,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,EACxD,SAAS,CAAC,IAAI,EACd,WAAW,CACZ,CAAC;gBACF,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;gBACnF,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS;oBAClC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC;oBACnE,CAAC,CAAC,WAAW,EAAE,CAAC;gBAClB,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACxB,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACzB,CAAC;qBAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC/B,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACzB,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;wBACpC,WAAW,CAAC,KAAK,4CAA+B,SAAS,CAAC,IAAI,EAAE;4BAC9D,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;4BAC9B,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC;yBAC/B,CAAC,CAAC;oBACL,CAAC;oBACD,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACzB,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC/E,IAAI,UAAU,GAAqB,IAAI,CAAC;gBACxC,IAAI,WAAW,GAAG,KAAK,CAAC;gBACxB,IAAI,cAAc,GAAG,KAAK,CAAC;gBAC3B,MAAM,QAAQ,GACZ,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,IAAI,KAAK,UAAU;oBAC5D,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC;oBACtC,CAAC,CAAC,SAAS,CAAC;gBAChB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;gBACnC,IAAI,WAAW,GAAG,KAAK,CAAC;gBACxB,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;oBACzC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;oBACxF,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,UAAU,GAAG,QAAQ,CAAC;oBACxB,CAAC;yBAAM,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC7C,WAAW,CAAC,KAAK,+CAEf,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EACtC;4BACE,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC;4BAChC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;yBAC7B,CACF,CAAC;oBACJ,CAAC;oBACD,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;wBAAE,WAAW,GAAG,IAAI,CAAC;;wBACzD,cAAc,GAAG,IAAI,CAAC;oBAC3B,IAAI,QAAQ,EAAE,CAAC;wBACb,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;4BAC1C,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gCACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oCAC1C,WAAW,CAAC,OAAO,6CAEjB,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EACzC,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CACvD,CAAC;gCACJ,CAAC;gCACD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;4BACxC,CAAC;iCAAM,CAAC;gCACN,WAAW,GAAG,IAAI,CAAC;4BACrB,CAAC;wBACH,CAAC;6BAAM,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;4BACjD,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gCAC5D,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;oCAC9C,WAAW,CAAC,OAAO,6CAEjB,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,EACzC,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAC3D,CAAC;gCACJ,CAAC;gCACD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;4BAC5C,CAAC;wBACH,CAAC;6BAAM,CAAC;4BACN,WAAW,GAAG,IAAI,CAAC;wBACrB,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,aAAa,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAChE,IAAI,CAAC,CAAC,WAAW,IAAI,cAAc,CAAC,EAAE,CAAC;wBACrC,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC;wBAC/F,WAAW,CAAC,OAAO,8CAAiC,SAAS,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnF,CAAC;gBACH,CAAC;qBAAM,IAAI,QAAQ,IAAI,CAAC,WAAW,EAAE,CAAC;oBACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;oBAC5E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACvB,WAAW,CAAC,OAAO,6CAAgC,SAAS,CAAC,IAAI,EAAE;4BACjE,IAAI,EAAE,QAAQ,CAAC,IAAI;4BACnB,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;yBAC5B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,MAAM,GAAG,UAAU,IAAI,WAAW,EAAE,CAAC;gBAC1C,OAAO;YACT,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,MAAM,GAAe;oBACzB,IAAI,EAAE,OAAO;oBACb,UAAU,EAAE,SAAS,CAAC,UAAU;oBAChC,IAAI,EAAE,SAAS,CAAC,IAAI;iBACP,CAAC;gBAChB,IAAI,CAAC,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;gBACzE,OAAO;YACT,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,KAAK,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC9D,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;gBAC5B,OAAO;YACT,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,CAAC,MAAM,GAAG,WAAW,EAAE,CAAC;gBAC5B,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,IAAI,CAAC,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,SAA0B,CAAC,CAAC;gBACrE,OAAO;YACT,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,GAAkB,EAClB,OAAoB,EACpB,KAAiB,EACjB,WAA8B;IAE9B,MAAM,OAAO,GAAG,IAAI,gBAAgB,EAAE,CAAC;IACvC,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;IACjE,OAAO,OAAO,CAAC,MAAM,CAAC;AACxB,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,oBAAoB,CAClC,GAAkB,EAClB,OAAoB,EACpB,KAAiB,EACjB,WAA8B;IAE9B,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,OAAO,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IAC1D,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,GAAkB,EAClB,OAAoB,EACpB,UAAqB,EACrB,aAAwB,EACxB,WAA8B;IAE9B,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;QAC1E,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,OAAO,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACpE,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,EAAE,CAAC;IACtB,CAAC;AACH,CAAC"}

package/dist/src/types.d.ts

@@ -13,6 +13,10 @@ export interface Origin {
     readonly file?: string;
     readonly start: Position;
     readonly end: Position;
+    /** ADR 0051：源码原写法，仅在与规范名不同时写入 */
+    readonly written?: string;
+    /** ADR 0051：该写法按哪种角色解析，与 written 同时出现 */
+    readonly role?: ResolvedRole;
 }
 /**
  * AST 节点的基础元数据接口
@@ -143,13 +147,39 @@ export interface TypecheckDiagnostic {
     source?: 'aster-typecheck' | 'aster-pii';
 }
 export type AstNode = Base.BaseNode<Span>;
+/**
+ * 名称解析角色（ADR 0051）。R1/R2 写入 AST 标识符节点的 `resolved.role`，
+ * 表示该写法在当前位置按哪种角色解析。`VALUE_REF`（§5 值位置单段名）只出现在未解析诊断中：
+ * 解析成功时记录命中层的具体角色。
+ */
+export type ResolvedRole = 'TYPE_DECL' | 'FIELD_DECL' | 'MEMBER_DECL' | 'FUNC_DECL' | 'TYPE' | 'FIELD_REF' | 'MEMBER_REF' | 'FUNC_REF' | 'VALUE_REF' | 'LOCAL';
+/**
+ * 名称解析结果：`written` 为源码原写法，`canonical` 为规范名。
+ * 节点自身的 name 字段保持原写法不变，下游以 canonical 产出 Core。
+ */
+export interface Resolved {
+    readonly canonical: string;
+    readonly role: ResolvedRole;
+    readonly written: string;
+}
+/** 携带名称解析结果的 AST 节点（R1/R2 写入，解析前缺省）。 */
+export interface Resolvable {
+    readonly resolved?: Resolved;
+}
 export interface Module extends Base.BaseModule<Span, Declaration> {
     span: Span;
+    /**
+     * ADR 0051：`Type X as …` 类型别名的原写法名（按出现顺序）。仅存在于 AST，供名称解析
+     * 作为 TYPE_DECL；别名不产出 Core 声明（与 Java 一致）。无别名时省略。
+     */
+    readonly typeAliases?: readonly string[];
+    /** R1 对 typeAliases 的 TYPE_DECL 解析结果，与 typeAliases 同长（解析前缺省） */
+    readonly resolvedTypeAliases?: readonly Resolved[];
 }
 export interface Import extends Base.BaseImport<Span> {
     span: Span;
 }
-export interface Data extends Base.BaseData<Span, Type> {
+export interface Data extends Resolvable, Base.BaseData<Span, Type> {
     readonly fields: readonly Field[];
     span: Span;
 }
@@ -181,21 +211,23 @@ export interface ConstraintPattern {
  * CNL 约束联合类型
  */
 export type Constraint = ConstraintRequired | ConstraintRange | ConstraintPattern;
-export interface Field extends Base.BaseField<Type> {
+export interface Field extends Resolvable, Base.BaseField<Type> {
     /** CNL 约束列表 */
     readonly constraints?: readonly Constraint[];
     /** 标记类型是否为推断得出（用于诊断和文档生成） */
     readonly typeInferred?: boolean;
     span: Span;
 }
-export interface Enum extends Base.BaseEnum<Span> {
+export interface Enum extends Resolvable, Base.BaseEnum<Span> {
     span: Span;
     /** R30+ audit P1：LSP / 诊断需要枚举名的精确 span。 */
     readonly nameSpan?: Span;
     /** R30+ audit P1：每个 variant 的精确 span，与 variants 数组同长。 */
     readonly variantSpans?: readonly Span[];
+    /** ADR 0051：每个 variant 的 MEMBER_DECL 解析结果，与 variants 数组同长。 */
+    readonly resolvedVariants?: readonly Resolved[];
 }
-export interface Func extends Base.BaseFunc<Span, readonly string[], Type> {
+export interface Func extends Resolvable, Base.BaseFunc<Span, readonly string[], Type> {
     readonly retType: Type;
     readonly annotations?: readonly Annotation[];
     /** 标记返回类型是否为推断得出（用于诊断和文档生成） */
@@ -207,7 +239,7 @@ export interface Func extends Base.BaseFunc<Span, readonly string[], Type> {
     readonly nameSpan?: Span;
     span: Span;
 }
-export interface Parameter extends Base.BaseParameter<Type> {
+export interface Parameter extends Resolvable, Base.BaseParameter<Type> {
     /** CNL 约束列表 */
     readonly constraints?: readonly Constraint[];
     /** 标记类型是否为推断得出（用于诊断和文档生成） */
@@ -219,7 +251,7 @@ export interface Block extends Base.BaseBlock<Span, Statement> {
 }
 export type Declaration = Import | Data | Enum | Func;
 export type Statement = Let | Set | Return | If | Match | Start | Wait | WorkflowStmt | Expression | Block;
-export interface Let extends Base.BaseLet<Span, Expression> {
+export interface Let extends Resolvable, Base.BaseLet<Span, Expression> {
     span: Span;
     readonly nameSpan?: Span;
 }
@@ -258,10 +290,10 @@ export type Pattern = PatternNull | PatternCtor | PatternName | PatternInt;
 export interface PatternNull extends Base.BasePatternNull<Span> {
     span: Span;
 }
-export interface PatternCtor extends Base.BasePatternCtor<Span, Pattern> {
+export interface PatternCtor extends Resolvable, Base.BasePatternCtor<Span, Pattern> {
     span: Span;
 }
-export interface PatternName extends Base.BasePatternName<Span> {
+export interface PatternName extends Resolvable, Base.BasePatternName<Span> {
     span: Span;
 }
 export interface PatternInt extends Base.BasePatternInt<Span> {
@@ -279,7 +311,7 @@ export interface IfExpr extends Base.BaseIfExpr<Span, Expression> {
 export interface ListLit extends Base.BaseListLit<Span, Expression> {
     span: Span;
 }
-export interface Name extends Base.BaseName<Span> {
+export interface Name extends Resolvable, Base.BaseName<Span> {
     span: Span;
 }
 export interface Bool extends Base.BaseBool<Span> {
@@ -311,10 +343,10 @@ export interface Lambda extends Base.BaseLambda<Span, Type, Block> {
     readonly retType: Type;
     span: Span;
 }
-export interface Construct extends Base.BaseConstruct<Span, ConstructField> {
+export interface Construct extends Resolvable, Base.BaseConstruct<Span, ConstructField> {
     span: Span;
 }
-export interface ConstructField extends Base.BaseConstructField<Expression> {
+export interface ConstructField extends Resolvable, Base.BaseConstructField<Expression> {
     span: Span;
 }
 export interface Ok extends Base.BaseOk<Span, Expression> {
@@ -359,7 +391,7 @@ export interface TypePii extends AstNode {
     readonly category: PiiDataCategory;
     span: Span;
 }
-export interface TypeName extends Base.BaseTypeName<Span> {
+export interface TypeName extends Resolvable, Base.BaseTypeName<Span> {
     span: Span;
 }
 export interface TypeVar extends Base.BaseTypeVar<Span> {
@@ -370,7 +402,7 @@ export interface EffectVar extends AstNode {
     readonly name: string;
     span: Span;
 }
-export interface TypeApp extends Base.BaseTypeApp<Span, Type> {
+export interface TypeApp extends Resolvable, Base.BaseTypeApp<Span, Type> {
     span: Span;
 }
 export interface Maybe extends Base.BaseMaybe<Span, Type> {

package/dist/src/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,KAAK,KAAK,IAAI,MAAM,iBAAiB,CAAC;AAE7C,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;CACxB;AAGD,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,8BAA8B;IAC9B,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,oCAAoC;IACpC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,eAAe;IACf,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,wBAAwB;IACxB,UAAU,EAAE,UAAU,CAAC;IACvB,8BAA8B;IAC9B,kBAAkB,EAAE,OAAO,CAAC;CAC7B;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,sBAAsB,EAAE,cAAc,CAAC;AAE3E,gCAAgC;AAChC,MAAM,MAAM,UAAU,GAAG,SAAS,cAAc,EAAE,CAAC;AAEnD,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAE/D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACjC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,YAAY,CAAC;IAChE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,oBAAY,SAAS;IACnB,GAAG,QAAQ;IACX,OAAO,YAAY;IACnB,MAAM,WAAW;IACjB,MAAM,WAAW;IAGjB,SAAS,cAAc;IACvB,GAAG,QAAQ;IACX,KAAK,UAAU;IACf,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,QAAQ,aAAa;IACrB,QAAQ,aAAa;IACrB,MAAM,WAAW;IACjB,EAAE,OAAO;IACT,IAAI,SAAS;IACb,IAAI,SAAS;IACb,KAAK,UAAU;IACf,KAAK,UAAU;IACf,EAAE,OAAO;IACT,EAAE,OAAO;IACT,GAAG,QAAQ;IACX,GAAG,QAAQ;IACX,GAAG,QAAQ;IACX,QAAQ,aAAa;IACrB,EAAE,OAAO;IACT,KAAK,UAAU;IACf,UAAU,eAAe;IACzB,MAAM,WAAW;IACjB,GAAG,QAAQ;IACX,KAAK,UAAU;IACf,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,IAAI,SAAS;IACb,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,OAAO,YAAY;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,YAAY,CAAC;CAC1C;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,KAAK,GAAG;IAC7D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;CAC9B,CAEA;AAGD,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAE9C,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,iBAAiB,GAAG,WAAW,CAAC;CAC1C;AAGD,MAAM,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAE1C,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC;IAChE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAClC,IAAI,EAAE,IAAI,CAAC;CACZ;AAMD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,kBAAkB,GAAG,eAAe,GAAG,iBAAiB,CAAC;AAElF,MAAM,WAAW,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;IACjD,eAAe;IACf,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC7C,6BAA6B;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;IACX,2CAA2C;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,yDAAyD;IACzD,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;CACzC;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,CAAC;IACxE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC7C,+BAA+B;IAC/B,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,SAAU,SAAQ,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;IACzD,eAAe;IACf,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC7C,6BAA6B;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC;IAC5D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAEtD,MAAM,MAAM,SAAS,GACjB,GAAG,GACH,GAAG,GACH,MAAM,GACN,EAAE,GACF,KAAK,GACL,KAAK,GACL,IAAI,GACJ,YAAY,GACZ,UAAU,GACV,KAAK,CAAC;AAEV,MAAM,WAAW,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC;IACzD,IAAI,EAAE,IAAI,CAAC;IACX,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC;IACzD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC;IAC/D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,EAAG,SAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC;IAC9D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC;IACnE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;IACxE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC;IAC7D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,YACf,SAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC;IAC/D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,QAAS,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAC1D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,WAAY,SAAQ,IAAI,CAAC,eAAe;CAAG;AAE5D,MAAM,WAAW,OAAQ,SAAQ,IAAI,CAAC,WAAW;CAAG;AAEpD,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,CAAC;AAE3E,MAAM,WAAW,WAAY,SAAQ,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;IAC7D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,WAAY,SAAQ,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;IACtE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,WAAY,SAAQ,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;IAC7D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,UAAW,SAAQ,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC;IAC3D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,MAAM,UAAU,GAClB,IAAI,GACJ,IAAI,GACJ,GAAG,GACH,IAAI,GACJ,MAAM,GACN,OAAO,GACP,MAAM,GACN,IAAI,GACJ,IAAI,GACJ,SAAS,GACT,EAAE,GACF,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,MAAM,GACN,KAAK,GACL,MAAM,GACN,OAAO,CAAC;AAEZ,MAAM,WAAW,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC;IAC7D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,yCAAyC;AACzC,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC;IAC/D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,sCAAsC;AACtC,MAAM,WAAW,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC;IACjE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IAC7C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,+CAA+C;AAC/C,MAAM,WAAW,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;IACrD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC3D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC;IAChE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,SAAU,SAAQ,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,cAAc,CAAC;IACzE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,cAAe,SAAQ,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC;IACzE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,EAAG,SAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC;IACvD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC;IACzD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC3D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,MAAM,IAAI,GACZ,QAAQ,GACR,KAAK,GACL,MAAM,GACN,MAAM,GACN,IAAI,GACJ,GAAG,GACH,OAAO,GACP,OAAO,GACP,SAAS,GACT,QAAQ,GACR,OAAO,CAAC;AAEZ;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAErD;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,OAAO,GACP,OAAO,GACP,KAAK,GACL,SAAS,GACT,WAAW,GACX,QAAQ,GACR,MAAM,GACN,WAAW,CAAC;AAEhB,eAAO,MAAM,UAAU,6BAA8B,CAAC;AACtD,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;CACxC;AAED;;;GAGG;AACH,MAAM,WAAW,OAAQ,SAAQ,OAAO;IACtC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,QAAS,SAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;IACvD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;IACrD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,SAAU,SAAQ,OAAO;IACxC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC;IAC3D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC;IACvD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC;IACzD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC;IACzD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACrD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,QAAS,SAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC;IAC7D,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAC7C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,UAAU,GAAG,SAAS,CAAC,EAAE,CAAC;IAC/D,IAAI,EAAE,IAAI,CAAC;CACZ;AAGD,yBAAiB,IAAI,CAAC;IACpB,KAAY,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAE7C,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,WAAW,CAAC;KAAG;IAEvE,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;KAAG;IAE1D,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;QACvD,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;KACnC;IAGD,UAAiB,kBAAkB;QACjC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;KAC3B;IAED,UAAiB,eAAe;QAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;KACvB;IAED,UAAiB,iBAAiB;QAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB;IAED,KAAY,UAAU,GAAG,kBAAkB,GAAG,eAAe,GAAG,iBAAiB,CAAC;IAElF,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QACjD,eAAe;QACf,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;KAC9C;IAED,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,EAAE,IAAI,CAAC;QAC9E,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;QACnB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;QAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;QACtC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QAC1C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,UAAU,GAAG,SAAS,CAAC,EAAE,CAAC;QAC/D,+BAA+B;QAC/B,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;QACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;QACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5C;IAED,UAAiB,SAAU,SAAQ,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QACzD,eAAe;QACf,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;QAC7C,6BAA6B;QAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;KACjC;IAED,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC;KAAG;IAEnE,KAAY,WAAW,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IAEtD,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEpE,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC;KAAG;IAEnE,UAAiB,QACf,SAAQ,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC;QAC7D,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;KACjC;IAED,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;QACxD,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;KACjC;IAED,UAAiB,WAAY,SAAQ,IAAI,CAAC,eAAe;KAAG;IAE5D,UAAiB,OAAQ,SAAQ,IAAI,CAAC,WAAW;KAAG;IAEpD,KAAY,SAAS,GACjB,GAAG,GACH,GAAG,GACH,MAAM,GACN,EAAE,GACF,KAAK,GACL,KAAK,GACL,KAAK,GACL,IAAI,GACJ,QAAQ,CAAC;IAEb,UAAiB,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEhE,UAAiB,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEhE,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEtE,UAAiB,EAAG,SAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC;KAAG;IAErE,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC;KAAG;IAE1E,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;KAAG;IAE/E,KAAY,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;IAE3D,UAAiB,OAAQ,SAAQ,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC;KAAG;IAEhE,UAAiB,OAAQ,SAAQ,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC;KAAG;IAEzE,UAAiB,OAAQ,SAAQ,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC;KAAG;IAEhE,UAAiB,MAAO,SAAQ,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;KAAG;IAE9D,KAAY,UAAU,GAClB,IAAI,GACJ,IAAI,GACJ,GAAG,GACH,IAAI,GACJ,MAAM,GACN,OAAO,GACP,MAAM,GACN,IAAI,GACJ,IAAI,GACJ,SAAS,GACT,EAAE,GACF,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,MAAM,GACN,KAAK,GACL,MAAM,GACN,OAAO,CAAC;IAEZ,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;KAAG;IAEpD,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;KAAG;IAE1D,+CAA+C;IAC/C,UAAiB,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;KAAG;IAE5D,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;KAAG;IAE1D,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAElE,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;QAClE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;QACnB,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;KACvC;IAED,UAAiB,SAAU,SAAQ,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,cAAc,CAAC;KAAG;IAEhF,UAAiB,cAAe,SAAQ,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC;KAAG;IAE9E,UAAiB,EAAG,SAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAE9D,UAAiB,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEhE,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAElE,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEpE,qEAAqE;IACrE,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEtE,2EAA2E;IAC3E,UAAiB,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAGxE,KAAY,IAAI,GACZ,QAAQ,GACR,KAAK,GACL,MAAM,GACN,MAAM,GACN,IAAI,GACJ,GAAG,GACH,OAAO,GACP,OAAO,GACP,SAAS,GACT,QAAQ,GACR,OAAO,CAAC;IAEZ;;;OAGG;IACH,UAAiB,OAAQ,SAAQ,QAAQ;QACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;QACxB,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;QAC1C,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;KACpC;IAED,UAAiB,QAAS,SAAQ,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;KAAG;IAE9D,UAAiB,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;KAAG;IAE5D,UAAiB,SAAU,SAAQ,QAAQ;QACzC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;QAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB;IAED,UAAiB,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAElE,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAE9D,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAEhE,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAEhE,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAE5D,UAAiB,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAE1D,UAAiB,QAAS,SAAQ,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC;QAC/D,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QAC1C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC;KAC7D;CACF"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,KAAK,KAAK,IAAI,MAAM,iBAAiB,CAAC;AAE7C,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;CACxB;AAGD,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,iCAAiC;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,yCAAyC;IACzC,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;CAC9B;AAED;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,8BAA8B;IAC9B,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,oCAAoC;IACpC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,eAAe;IACf,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,wBAAwB;IACxB,UAAU,EAAE,UAAU,CAAC;IACvB,8BAA8B;IAC9B,kBAAkB,EAAE,OAAO,CAAC;CAC7B;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,sBAAsB,EAAE,cAAc,CAAC;AAE3E,gCAAgC;AAChC,MAAM,MAAM,UAAU,GAAG,SAAS,cAAc,EAAE,CAAC;AAEnD,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAE/D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACjC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,YAAY,CAAC;IAChE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,oBAAY,SAAS;IACnB,GAAG,QAAQ;IACX,OAAO,YAAY;IACnB,MAAM,WAAW;IACjB,MAAM,WAAW;IAGjB,SAAS,cAAc;IACvB,GAAG,QAAQ;IACX,KAAK,UAAU;IACf,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,QAAQ,aAAa;IACrB,QAAQ,aAAa;IACrB,MAAM,WAAW;IACjB,EAAE,OAAO;IACT,IAAI,SAAS;IACb,IAAI,SAAS;IACb,KAAK,UAAU;IACf,KAAK,UAAU;IACf,EAAE,OAAO;IACT,EAAE,OAAO;IACT,GAAG,QAAQ;IACX,GAAG,QAAQ;IACX,GAAG,QAAQ;IACX,QAAQ,aAAa;IACrB,EAAE,OAAO;IACT,KAAK,UAAU;IACf,UAAU,eAAe;IACzB,MAAM,WAAW;IACjB,GAAG,QAAQ;IACX,KAAK,UAAU;IACf,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,IAAI,SAAS;IACb,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,OAAO,YAAY;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,YAAY,CAAC;CAC1C;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,KAAK,GAAG;IAC7D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;CAC9B,CAEA;AAGD,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAE9C,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,iBAAiB,GAAG,WAAW,CAAC;CAC1C;AAGD,MAAM,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAE1C;;;;GAIG;AACH,MAAM,MAAM,YAAY,GACpB,WAAW,GACX,YAAY,GACZ,aAAa,GACb,WAAW,GACX,MAAM,GACN,WAAW,GACX,YAAY,GACZ,UAAU,GACV,WAAW,GACX,OAAO,CAAC;AAEZ;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,wCAAwC;AACxC,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC;IAChE,IAAI,EAAE,IAAI,CAAC;IACX;;;OAGG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,gEAAgE;IAChE,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CACpD;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACjE,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAClC,IAAI,EAAE,IAAI,CAAC;CACZ;AAMD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,kBAAkB,GAAG,eAAe,GAAG,iBAAiB,CAAC;AAElF,MAAM,WAAW,KAAM,SAAQ,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;IAC7D,eAAe;IACf,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC7C,6BAA6B;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3D,IAAI,EAAE,IAAI,CAAC;IACX,2CAA2C;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,yDAAyD;IACzD,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;IACxC,8DAA8D;IAC9D,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CACjD;AAED,MAAM,WAAW,IAAK,SAAQ,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,CAAC;IACpF,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC7C,+BAA+B;IAC/B,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,SAAU,SAAQ,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;IACrE,eAAe;IACf,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC7C,6BAA6B;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC;IAC5D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAEtD,MAAM,MAAM,SAAS,GACjB,GAAG,GACH,GAAG,GACH,MAAM,GACN,EAAE,GACF,KAAK,GACL,KAAK,GACL,IAAI,GACJ,YAAY,GACZ,UAAU,GACV,KAAK,CAAC;AAEV,MAAM,WAAW,GAAI,SAAQ,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC;IACrE,IAAI,EAAE,IAAI,CAAC;IACX,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC;IACzD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC;IAC/D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,EAAG,SAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC;IAC9D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC;IACnE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;IACxE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC;IAC7D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,YACf,SAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC;IAC/D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,QAAS,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAC1D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,WAAY,SAAQ,IAAI,CAAC,eAAe;CAAG;AAE5D,MAAM,WAAW,OAAQ,SAAQ,IAAI,CAAC,WAAW;CAAG;AAEpD,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,CAAC;AAE3E,MAAM,WAAW,WAAY,SAAQ,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;IAC7D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,WAAY,SAAQ,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;IAClF,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,WAAY,SAAQ,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;IACzE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,UAAW,SAAQ,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC;IAC3D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,MAAM,UAAU,GAClB,IAAI,GACJ,IAAI,GACJ,GAAG,GACH,IAAI,GACJ,MAAM,GACN,OAAO,GACP,MAAM,GACN,IAAI,GACJ,IAAI,GACJ,SAAS,GACT,EAAE,GACF,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,MAAM,GACN,KAAK,GACL,MAAM,GACN,OAAO,CAAC;AAEZ,MAAM,WAAW,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC;IAC7D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,yCAAyC;AACzC,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC;IAC/D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,sCAAsC;AACtC,MAAM,WAAW,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC;IACjE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IAC7C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,+CAA+C;AAC/C,MAAM,WAAW,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;IACrD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC3D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC;IAChE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,SAAU,SAAQ,UAAU,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,cAAc,CAAC;IACrF,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,cAAe,SAAQ,UAAU,EAAE,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC;IACrF,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,EAAG,SAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC;IACvD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC;IACzD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC3D,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,MAAM,IAAI,GACZ,QAAQ,GACR,KAAK,GACL,MAAM,GACN,MAAM,GACN,IAAI,GACJ,GAAG,GACH,OAAO,GACP,OAAO,GACP,SAAS,GACT,QAAQ,GACR,OAAO,CAAC;AAEZ;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAErD;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,OAAO,GACP,OAAO,GACP,KAAK,GACL,SAAS,GACT,WAAW,GACX,QAAQ,GACR,MAAM,GACN,WAAW,CAAC;AAEhB,eAAO,MAAM,UAAU,6BAA8B,CAAC;AACtD,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC;CACxC;AAED;;;GAGG;AACH,MAAM,WAAW,OAAQ,SAAQ,OAAO;IACtC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,QAAS,SAAQ,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;IACnE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;IACrD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,SAAU,SAAQ,OAAO;IACxC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,OAAQ,SAAQ,UAAU,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC;IACvE,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC;IACvD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC;IACzD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC;IACzD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACrD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,QAAS,SAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC;IAC7D,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAC7C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,UAAU,GAAG,SAAS,CAAC,EAAE,CAAC;IAC/D,IAAI,EAAE,IAAI,CAAC;CACZ;AAGD,yBAAiB,IAAI,CAAC;IACpB,KAAY,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAE7C,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,WAAW,CAAC;KAAG;IAEvE,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;KAAG;IAE1D,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;QACvD,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;KACnC;IAGD,UAAiB,kBAAkB;QACjC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;KAC3B;IAED,UAAiB,eAAe;QAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;KACvB;IAED,UAAiB,iBAAiB;QAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB;IAED,KAAY,UAAU,GAAG,kBAAkB,GAAG,eAAe,GAAG,iBAAiB,CAAC;IAElF,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QACjD,eAAe;QACf,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;KAC9C;IAED,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,EAAE,IAAI,CAAC;QAC9E,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;QACnB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;QAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;QACtC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QAC1C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,UAAU,GAAG,SAAS,CAAC,EAAE,CAAC;QAC/D,+BAA+B;QAC/B,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;QACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC;QACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5C;IAED,UAAiB,SAAU,SAAQ,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QACzD,eAAe;QACf,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;QAC7C,6BAA6B;QAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;KACjC;IAED,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC;KAAG;IAEnE,KAAY,WAAW,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IAEtD,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEpE,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC;KAAG;IAEnE,UAAiB,QACf,SAAQ,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC;QAC7D,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;KACjC;IAED,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;QACxD,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;KACjC;IAED,UAAiB,WAAY,SAAQ,IAAI,CAAC,eAAe;KAAG;IAE5D,UAAiB,OAAQ,SAAQ,IAAI,CAAC,WAAW;KAAG;IAEpD,KAAY,SAAS,GACjB,GAAG,GACH,GAAG,GACH,MAAM,GACN,EAAE,GACF,KAAK,GACL,KAAK,GACL,KAAK,GACL,IAAI,GACJ,QAAQ,CAAC;IAEb,UAAiB,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEhE,UAAiB,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEhE,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEtE,UAAiB,EAAG,SAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC;KAAG;IAErE,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC;KAAG;IAE1E,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;KAAG;IAE/E,KAAY,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;IAE3D,UAAiB,OAAQ,SAAQ,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC;KAAG;IAEhE,UAAiB,OAAQ,SAAQ,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC;KAAG;IAEzE,UAAiB,OAAQ,SAAQ,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC;KAAG;IAEhE,UAAiB,MAAO,SAAQ,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;KAAG;IAE9D,KAAY,UAAU,GAClB,IAAI,GACJ,IAAI,GACJ,GAAG,GACH,IAAI,GACJ,MAAM,GACN,OAAO,GACP,MAAM,GACN,IAAI,GACJ,IAAI,GACJ,SAAS,GACT,EAAE,GACF,GAAG,GACH,IAAI,GACJ,IAAI,GACJ,MAAM,GACN,KAAK,GACL,MAAM,GACN,OAAO,CAAC;IAEZ,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;KAAG;IAEpD,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;KAAG;IAE1D,+CAA+C;IAC/C,UAAiB,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;KAAG;IAE5D,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;KAAG;IAE1D,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAElE,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;QAClE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;QACnB,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;KACvC;IAED,UAAiB,SAAU,SAAQ,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,cAAc,CAAC;KAAG;IAEhF,UAAiB,cAAe,SAAQ,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC;KAAG;IAE9E,UAAiB,EAAG,SAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAE9D,UAAiB,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEhE,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAElE,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;KAAG;IAEtD,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEpE,qEAAqE;IACrE,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAEtE,2EAA2E;IAC3E,UAAiB,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC;KAAG;IAGxE,KAAY,IAAI,GACZ,QAAQ,GACR,KAAK,GACL,MAAM,GACN,MAAM,GACN,IAAI,GACJ,GAAG,GACH,OAAO,GACP,OAAO,GACP,SAAS,GACT,QAAQ,GACR,OAAO,CAAC;IAEZ;;;OAGG;IACH,UAAiB,OAAQ,SAAQ,QAAQ;QACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;QACxB,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;QAC1C,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;KACpC;IAED,UAAiB,QAAS,SAAQ,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;KAAG;IAE9D,UAAiB,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;KAAG;IAE5D,UAAiB,SAAU,SAAQ,QAAQ;QACzC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;QAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB;IAED,UAAiB,OAAQ,SAAQ,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAElE,UAAiB,KAAM,SAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAE9D,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAEhE,UAAiB,MAAO,SAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAEhE,UAAiB,IAAK,SAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAE5D,UAAiB,GAAI,SAAQ,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;KAAG;IAE1D,UAAiB,QAAS,SAAQ,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC;QAC/D,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QAC1C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC;KAC7D;CACF"}

package/dist/src/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA,sCAAsC;AA6FtC,MAAM,CAAN,IAAY,SAuCX;AAvCD,WAAY,SAAS;IACnB,wBAAW,CAAA;IACX,gCAAmB,CAAA;IACnB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,uDAAuD;IACvD,wDAAwD;IACxD,oCAAuB,CAAA;IACvB,wBAAW,CAAA;IACX,4BAAe,CAAA;IACf,4BAAe,CAAA;IACf,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,kCAAqB,CAAA;IACrB,kCAAqB,CAAA;IACrB,8BAAiB,CAAA;IACjB,sBAAS,CAAA;IACT,0BAAa,CAAA;IACb,0BAAa,CAAA;IACb,4BAAe,CAAA;IACf,4BAAe,CAAA;IACf,sBAAS,CAAA;IACT,sBAAS,CAAA;IACT,wBAAW,CAAA;IACX,wBAAW,CAAA;IACX,wBAAW,CAAA;IACX,kCAAqB,CAAA;IACrB,sBAAS,CAAA;IACT,4BAAe,CAAA;IACf,sCAAyB,CAAA;IACzB,8BAAiB,CAAA;IACjB,wBAAW,CAAA;IACX,4BAAe,CAAA;IACf,0BAAa,CAAA;IACb,gCAAmB,CAAA;IACnB,0BAAa,CAAA;IACb,0BAAa,CAAA;IACb,gCAAmB,CAAA;IACnB,gCAAmB,CAAA;AACrB,CAAC,EAvCW,SAAS,KAAT,SAAS,QAuCpB;AAaD;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,KAAY;IAIzC,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,CAAC;AAC1C,CAAC;AAED,8CAA8C;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AA8T9C,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAU,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAiGtC,MAAM,CAAN,IAAY,SAuCX;AAvCD,WAAY,SAAS;IACnB,wBAAW,CAAA;IACX,gCAAmB,CAAA;IACnB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,uDAAuD;IACvD,wDAAwD;IACxD,oCAAuB,CAAA;IACvB,wBAAW,CAAA;IACX,4BAAe,CAAA;IACf,4BAAe,CAAA;IACf,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,kCAAqB,CAAA;IACrB,kCAAqB,CAAA;IACrB,8BAAiB,CAAA;IACjB,sBAAS,CAAA;IACT,0BAAa,CAAA;IACb,0BAAa,CAAA;IACb,4BAAe,CAAA;IACf,4BAAe,CAAA;IACf,sBAAS,CAAA;IACT,sBAAS,CAAA;IACT,wBAAW,CAAA;IACX,wBAAW,CAAA;IACX,wBAAW,CAAA;IACX,kCAAqB,CAAA;IACrB,sBAAS,CAAA;IACT,4BAAe,CAAA;IACf,sCAAyB,CAAA;IACzB,8BAAiB,CAAA;IACjB,wBAAW,CAAA;IACX,4BAAe,CAAA;IACf,0BAAa,CAAA;IACb,gCAAmB,CAAA;IACnB,0BAAa,CAAA;IACb,0BAAa,CAAA;IACb,gCAAmB,CAAA;IACnB,gCAAmB,CAAA;AACrB,CAAC,EAvCW,SAAS,KAAT,SAAS,QAuCpB;AAaD;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,KAAY;IAIzC,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,CAAC;AAC1C,CAAC;AAED,8CAA8C;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAuW9C,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAU,CAAC"}

package/dist/src/version.d.ts

@@ -0,0 +1,17 @@
+/**
+ * 工具链分量版本常量（ADR 0051 §7）
+ *
+ * cloud 据此组装 toolchainId：
+ * `abi=<CORE_IR_ABI>;core=<engine>;validator=<v>;resolver=<RESOLVER_VERSION>;casefold=<CASEFOLD_VERSION>;build=<b>`
+ * 任一分量变化都会使已封存 envelope 失配，因此这些值只能随对应变更递增。
+ */
+/** 名称解析算法版本；名称解析规则发生变更时递增 */
+export declare const RESOLVER_VERSION = 1;
+/** 标识符折叠表（foldKey）所用的 Unicode 版本：取自生成的折叠表本身，数据与版本不可能分离 */
+export { CASEFOLD_VERSION } from './config/lexicons/identifiers/casefold-table.generated.js';
+/**
+ * Core IR 工具链 ABI 版本；与 Core IR 序列化格式（core_ir_json 的 envelope version）独立。
+ * 升级 casefold 时需同步递增，并触发全量重编译。
+ */
+export declare const CORE_IR_ABI = "1.1";
+//# sourceMappingURL=version.d.ts.map

package/dist/src/version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../src/version.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,6BAA6B;AAC7B,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAElC,0DAA0D;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,2DAA2D,CAAC;AAE7F;;;GAGG;AACH,eAAO,MAAM,WAAW,QAAQ,CAAC"}

package/dist/src/version.js

@@ -0,0 +1,17 @@
+/**
+ * 工具链分量版本常量（ADR 0051 §7）
+ *
+ * cloud 据此组装 toolchainId：
+ * `abi=<CORE_IR_ABI>;core=<engine>;validator=<v>;resolver=<RESOLVER_VERSION>;casefold=<CASEFOLD_VERSION>;build=<b>`
+ * 任一分量变化都会使已封存 envelope 失配，因此这些值只能随对应变更递增。
+ */
+/** 名称解析算法版本；名称解析规则发生变更时递增 */
+export const RESOLVER_VERSION = 1;
+/** 标识符折叠表（foldKey）所用的 Unicode 版本：取自生成的折叠表本身，数据与版本不可能分离 */
+export { CASEFOLD_VERSION } from './config/lexicons/identifiers/casefold-table.generated.js';
+/**
+ * Core IR 工具链 ABI 版本；与 Core IR 序列化格式（core_ir_json 的 envelope version）独立。
+ * 升级 casefold 时需同步递增，并触发全量重编译。
+ */
+export const CORE_IR_ABI = '1.1';
+//# sourceMappingURL=version.js.map

package/dist/src/version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/version.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,6BAA6B;AAC7B,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAElC,0DAA0D;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,2DAA2D,CAAC;AAE7F;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,KAAK,CAAC"}

package/dist/test/integration/builtin-enum-vocabulary.test.d.ts

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

package/dist/test/integration/builtin-enum-vocabulary.test.d.ts.map

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

package/dist/test/integration/builtin-enum-vocabulary.test.js

@@ -0,0 +1,51 @@
+/**
+ * 内置领域词汇的枚举成员端到端（ADR 0051 R26）：
+ * 内置 finance.loan 词汇的枚举成员声明了所属枚举，本地化拼写经注册中心解析为规范成员。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { DE_DE, ZH_CN, compileAndTypecheck, evaluate, initBuiltinVocabularies, resolvePolicyTypes, vocabularyRegistry, } from '../../src/browser.js';
+const CASES = [
+    {
+        locale: 'de-DE',
+        lexicon: DE_DE,
+        source: 'Modul kredit.\n\n' +
+            'Definiere CreditLevel als eines von Ausgezeichnet, Gut, Befriedigend, Mangelhaft.\n\n' +
+            'Regel einstufen gegeben x als Ganzzahl, liefert CreditLevel:\n' +
+            '  gib zurueck CreditLevel.Ausgezeichnet.\n',
+        member: 'Ausgezeichnet',
+        canonical: 'Excellent',
+    },
+    {
+        locale: 'zh-CN',
+        lexicon: ZH_CN,
+        source: '模块 kredit。\n\n' +
+            '定义 CreditLevel 为以下之一 优秀, 良好, 一般, 较差。\n\n' +
+            '规则 einstufen 给定 x 作为 整数，产出 CreditLevel：\n' +
+            '  返回 CreditLevel.优秀。\n',
+        member: '优秀',
+        canonical: 'Excellent',
+    },
+];
+describe('内置 finance.loan 词汇的枚举成员解析', () => {
+    initBuiltinVocabularies();
+    for (const c of CASES) {
+        it(`${c.locale}：Define CreditLevel 的本地化成员解析为规范成员`, () => {
+            const vocabulary = vocabularyRegistry.get('finance.loan', c.locale).vocabulary;
+            const resolved = resolvePolicyTypes(c.source, { locale: c.locale, vocabulary });
+            assert.equal(resolved.ok, true, JSON.stringify(resolved));
+            if (!resolved.ok)
+                return;
+            const level = resolved.types.enums.find((e) => e.canonical === 'CreditLevel');
+            assert.ok(level, JSON.stringify(resolved.types.enums));
+            assert.deepEqual(level.members.map((m) => m.canonical), ['Excellent', 'Good', 'Fair', 'Poor']);
+            assert.equal(level.members[0].written, c.member);
+            const result = compileAndTypecheck(c.source, { lexicon: c.lexicon, vocabulary });
+            assert.equal(result.success, true, JSON.stringify(result));
+            const value = evaluate(result.core, 'einstufen', { x: 1 });
+            assert.equal(value.success, true, value.error);
+            assert.deepEqual(value.value, { __type: '?', _enum: 'CreditLevel', value: c.canonical, variant: c.canonical, args: [] });
+        });
+    }
+});
+//# sourceMappingURL=builtin-enum-vocabulary.test.js.map

package/dist/test/integration/builtin-enum-vocabulary.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtin-enum-vocabulary.test.js","sourceRoot":"","sources":["../../../test/integration/builtin-enum-vocabulary.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EACL,KAAK,EACL,KAAK,EACL,mBAAmB,EACnB,QAAQ,EACR,uBAAuB,EACvB,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,sBAAsB,CAAC;AAI9B,MAAM,KAAK,GAA2G;IACpH;QACE,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,KAAK;QACd,MAAM,EACJ,mBAAmB;YACnB,uFAAuF;YACvF,gEAAgE;YAChE,4CAA4C;QAC9C,MAAM,EAAE,eAAe;QACvB,SAAS,EAAE,WAAW;KACvB;IACD;QACE,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,KAAK;QACd,MAAM,EACJ,gBAAgB;YAChB,0CAA0C;YAC1C,2CAA2C;YAC3C,wBAAwB;QAC1B,MAAM,EAAE,IAAI;QACZ,SAAS,EAAE,WAAW;KACvB;CACF,CAAC;AAEF,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,uBAAuB,EAAE,CAAC;IAE1B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,mCAAmC,EAAE,GAAG,EAAE;YACtD,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,MAAM,CAAE,CAAC,UAAU,CAAC;YAEhF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YAChF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,QAAQ,CAAC,EAAE;gBAAE,OAAO;YACzB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC;YAC9E,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAC/F,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAElD,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAmB,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC1E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/C,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3H,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/test/integration/compliance/compliance-smoke.test.js

@@ -30,6 +30,10 @@ const COMPLIANCE_DEMOS = [
         moduleName: 'examples.compliance.soc2_audit_demo',
         expectedFunctions: ['compute_hash', 'verify_record_integrity', 'verify_chain_link', 'verify_one_record', 'verify_audit_chain', 'generate_soc2_report', 'create_genesis_record', 'append_audit_record', 'demo_valid_chain', 'demo_tampered_chain'],
         expectedRecords: ['AuditRecord', 'ChainVerificationResult', 'ChainState'],
+        // 样本 L56 与 L59 两个兄弟 If 分支各 `Let msg`；Java 的 If 分支与函数体共享作用域，第二次定义处（L59）
+        // 报 E104，生产 aster-api 实测一致。TS 已按同一规则对齐（aster-lang-ts#231），故精确登记；样本修复后
+        // （aster-lang-test#164）本条会因「已知错误未出现」而失败，届时删除。
+        knownParityErrors: [{ code: 'E104', line: 59 }],
     },
     {
         name: 'HIPAA 访问控制验证',
@@ -53,12 +57,10 @@ const COMPLIANCE_DEMOS = [
         expectedRecords: ['Prescription', 'DrugInteraction', 'PharmacyVerification', 'VerificationStep'],
     },
 ];
-/**
- * 完整编译管道函数
- * @param source CNL 源代码
- * @returns 编译结果和诊断信息
- */
-function compileEnd2End(source) {
+function isKnownParityError(d, known) {
+    return known.some((k) => k.code === d.code && k.line === d.span?.start.line);
+}
+function compileEnd2End(source, known = []) {
     try {
         // 阶段 1: 规范化
         const canonical = canonicalize(source);
@@ -70,8 +72,8 @@ function compileEnd2End(source) {
         const core = lowerModule(ast);
         // 阶段 5: 类型检查
         const diagnostics = typecheckModule(core);
-        // 只有 error 级别的诊断才算失败
-        const errors = diagnostics.filter(d => d.severity === 'error');
+        // 只有 error 级别的诊断才算失败；已精确登记的跨引擎已知错误（code + 行号）不计入
+        const errors = diagnostics.filter(d => d.severity === 'error' && !isKnownParityError(d, known));
         return {
             success: errors.length === 0,
             ast,
@@ -103,7 +105,7 @@ describe('合规示例冒烟测试', () => {
             let result;
             before(() => {
                 source = readDemoFile(demo.corpusPath);
-                result = compileEnd2End(source);
+                result = compileEnd2End(source, demo.knownParityErrors ?? []);
             });
             it('corpus 样本应该可被加载', () => {
                 const sample = readSample(demo.corpusPath);
@@ -120,6 +122,11 @@ describe('合规示例冒烟测试', () => {
                 }
                 assert.ok(result.success, '编译应该成功');
             });
+            it('已登记的跨引擎已知错误必须仍然出现（样本修复后删除登记）', () => {
+                for (const k of demo.knownParityErrors ?? []) {
+                    assert.ok(result.diagnostics.some((d) => d.severity === 'error' && isKnownParityError(d, [k])), `已知错误 ${k.code}@L${k.line} 未出现：样本可能已修复，请删除 knownParityErrors 登记`);
+                }
+            });
             it('应该生成有效的 AST', () => {
                 assert.ok(result.ast, 'AST 不应该为空');
                 assert.equal(result.ast.kind, 'Module', 'AST 根节点应该是 Module');