@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/typecheck/type_system.js

@@ -0,0 +1,529 @@
+const UNKNOWN_TYPENAME = { kind: 'TypeName', name: 'Unknown' };
+function cloneType(type) {
+    switch (type.kind) {
+        case 'TypeName':
+        case 'TypeVar':
+        case 'EffectVar':
+            return { ...type };
+        case 'Maybe':
+        case 'Option':
+        case 'List':
+            return { ...type, type: cloneType(type.type) };
+        case 'Result':
+            return {
+                ...type,
+                ok: cloneType(type.ok),
+                err: cloneType(type.err),
+            };
+        case 'Map':
+            return {
+                ...type,
+                key: cloneType(type.key),
+                val: cloneType(type.val),
+            };
+        case 'TypeApp':
+            return {
+                ...type,
+                args: type.args.map(arg => cloneType(arg)),
+            };
+        case 'FuncType':
+            return {
+                ...type,
+                params: type.params.map(param => cloneType(param)),
+                ret: cloneType(type.ret),
+                ...(type.effectParams ? { effectParams: [...type.effectParams] } : {}),
+                ...(type.declaredEffects
+                    ? { declaredEffects: [...type.declaredEffects] }
+                    : {}),
+            };
+        case 'PiiType':
+            return {
+                ...type,
+                baseType: cloneType(type.baseType),
+            };
+        default:
+            // Exhaustiveness check: all Core.Type kinds should be handled above
+            return type;
+    }
+}
+function isUnknown(type) {
+    if (!type)
+        return true;
+    if (type.kind === 'TypeName' && type.name === 'Unknown')
+        return true;
+    return false;
+}
+function normalizeEffectList(list) {
+    if (!list || list.length === 0)
+        return [];
+    return list.map(effect => String(effect));
+}
+function effectListsEqual(a, b) {
+    const left = normalizeEffectList(a);
+    const right = normalizeEffectList(b);
+    if (left.length !== right.length)
+        return false;
+    for (let i = 0; i < left.length; i += 1) {
+        if (left[i] !== right[i])
+            return false;
+    }
+    return true;
+}
+function stringListsEqual(a, b) {
+    const left = (a ?? []);
+    const right = (b ?? []);
+    if (left.length !== right.length)
+        return false;
+    for (let i = 0; i < left.length; i += 1) {
+        if (left[i] !== right[i])
+            return false;
+    }
+    return true;
+}
+export class TypeSystem {
+    static unknown() {
+        return UNKNOWN_TYPENAME;
+    }
+    static effectRank(type) {
+        if (type.kind === 'EffectVar')
+            return null;
+        if (type.kind === 'TypeName') {
+            switch (type.name) {
+                case 'PURE':
+                    return 0;
+                case 'CPU':
+                    return 1;
+                case 'IO':
+                    return 2;
+                case 'Workflow':
+                    return 3;
+                default:
+                    return null;
+            }
+        }
+        if (type.kind === 'TypeApp' && type.base === 'Workflow')
+            return 3;
+        return null;
+    }
+    static equals(t1, t2, strict = false) {
+        if (!strict && (isUnknown(t1) || isUnknown(t2)))
+            return true;
+        if (!strict &&
+            t1.kind === 'TypeName' &&
+            t2.kind === 'TypeName' &&
+            ((t1.name === 'DateTime' && t2.name === 'Text') || (t1.name === 'Text' && t2.name === 'DateTime'))) {
+            return true;
+        }
+        if (t1.kind !== t2.kind)
+            return false;
+        switch (t1.kind) {
+            case 'TypeName':
+                return t1.name === t2.name;
+            case 'TypeVar':
+                return t1.name === t2.name;
+            case 'EffectVar':
+                return t1.name === t2.name;
+            case 'TypeApp': {
+                const a = t1;
+                const b = t2;
+                if (a.base !== b.base)
+                    return false;
+                if (a.args.length !== b.args.length)
+                    return false;
+                for (let i = 0; i < a.args.length; i++) {
+                    if (!TypeSystem.equals(a.args[i], b.args[i], strict))
+                        return false;
+                }
+                return true;
+            }
+            case 'Maybe':
+            case 'Option':
+                return TypeSystem.equals(t1.type, t2.type, strict);
+            case 'Result': {
+                const a = t1;
+                const b = t2;
+                return (TypeSystem.equals(a.ok, b.ok, strict) &&
+                    TypeSystem.equals(a.err, b.err, strict));
+            }
+            case 'List':
+                return TypeSystem.equals(t1.type, t2.type, strict);
+            case 'Map': {
+                const a = t1;
+                const b = t2;
+                return (TypeSystem.equals(a.key, b.key, strict) &&
+                    TypeSystem.equals(a.val, b.val, strict));
+            }
+            case 'FuncType': {
+                const a = t1;
+                const b = t2;
+                if (a.params.length !== b.params.length)
+                    return false;
+                for (let i = 0; i < a.params.length; i++) {
+                    if (!TypeSystem.equals(a.params[i], b.params[i], strict))
+                        return false;
+                }
+                if (!stringListsEqual(a.effectParams, b.effectParams))
+                    return false;
+                if (!effectListsEqual(a.declaredEffects, b.declaredEffects))
+                    return false;
+                return TypeSystem.equals(a.ret, b.ret, strict);
+            }
+            case 'PiiType': {
+                const a = t1;
+                const b = t2;
+                return (a.sensitivity === b.sensitivity &&
+                    a.category === b.category &&
+                    TypeSystem.equals(a.baseType, b.baseType, strict));
+            }
+            default:
+                return false;
+        }
+    }
+    static unify(t1, t2, bindings = new Map()) {
+        if (isUnknown(t1) || isUnknown(t2))
+            return true;
+        if (t1.kind === 'TypeVar') {
+            return TypeSystem.bindTypeVar(t1, t2, bindings);
+        }
+        if (t2.kind === 'TypeVar') {
+            return TypeSystem.bindTypeVar(t2, t1, bindings);
+        }
+        if (t1.kind === 'EffectVar') {
+            return TypeSystem.bindEffectVar(t1, t2, bindings);
+        }
+        if (t2.kind === 'EffectVar') {
+            return TypeSystem.bindEffectVar(t2, t1, bindings);
+        }
+        if (t1.kind !== t2.kind)
+            return false;
+        switch (t1.kind) {
+            case 'Maybe':
+            case 'Option':
+                return TypeSystem.unify(t1.type, t2.type, bindings);
+            case 'Result': {
+                const a = t1;
+                const b = t2;
+                return (TypeSystem.unify(a.ok, b.ok, bindings) &&
+                    TypeSystem.unify(a.err, b.err, bindings));
+            }
+            case 'List':
+                return TypeSystem.unify(t1.type, t2.type, bindings);
+            case 'Map': {
+                const a = t1;
+                const b = t2;
+                return (TypeSystem.unify(a.key, b.key, bindings) &&
+                    TypeSystem.unify(a.val, b.val, bindings));
+            }
+            case 'TypeApp': {
+                const a = t1;
+                const b = t2;
+                if (a.base !== b.base)
+                    return false;
+                if (a.args.length !== b.args.length)
+                    return false;
+                for (let i = 0; i < a.args.length; i++) {
+                    if (!TypeSystem.unify(a.args[i], b.args[i], bindings))
+                        return false;
+                }
+                return true;
+            }
+            case 'FuncType': {
+                const a = t1;
+                const b = t2;
+                if (a.params.length !== b.params.length)
+                    return false;
+                for (let i = 0; i < a.params.length; i++) {
+                    if (!TypeSystem.unify(a.params[i], b.params[i], bindings))
+                        return false;
+                }
+                if (!stringListsEqual(a.effectParams, b.effectParams))
+                    return false;
+                if (!effectListsEqual(a.declaredEffects, b.declaredEffects))
+                    return false;
+                return TypeSystem.unify(a.ret, b.ret, bindings);
+            }
+            case 'PiiType': {
+                const a = t1;
+                const b = t2;
+                if (a.sensitivity !== b.sensitivity || a.category !== b.category)
+                    return false;
+                return TypeSystem.unify(a.baseType, b.baseType, bindings);
+            }
+            default:
+                return TypeSystem.equals(t1, t2, true);
+        }
+    }
+    static bindTypeVar(tv, type, bindings) {
+        const name = tv.name;
+        const current = bindings.get(name);
+        if (!current) {
+            bindings.set(name, type);
+            return true;
+        }
+        return TypeSystem.equals(current, type);
+    }
+    static bindEffectVar(ev, type, bindings) {
+        const key = `$effect:${ev.name}`;
+        const current = bindings.get(key);
+        if (!current) {
+            bindings.set(key, type);
+            return true;
+        }
+        const rankA = TypeSystem.effectRank(current);
+        const rankB = TypeSystem.effectRank(type);
+        if (rankA !== null && rankB !== null) {
+            return rankA === rankB;
+        }
+        return TypeSystem.equals(current, type, true);
+    }
+    static isSubtype(sub, sup) {
+        if (TypeSystem.equals(sub, sup))
+            return true;
+        if (isUnknown(sup))
+            return true;
+        if (isUnknown(sub))
+            return false;
+        const leftEffect = TypeSystem.effectRank(sub);
+        const rightEffect = TypeSystem.effectRank(sup);
+        if (leftEffect !== null && rightEffect !== null) {
+            return leftEffect <= rightEffect;
+        }
+        // Option<T> and Maybe<T> are considered subtypes when inner types match.
+        if (sup.kind === 'Option' && sub.kind === 'Maybe') {
+            return TypeSystem.isSubtype(sub.type, sup.type);
+        }
+        if (sup.kind === 'Maybe' && sub.kind === 'Option') {
+            return TypeSystem.isSubtype(sub.type, sup.type);
+        }
+        // Result<T, E> subtyping checks both components.
+        if (sub.kind === 'Result' && sup.kind === 'Result') {
+            const s = sub;
+            const t = sup;
+            return (TypeSystem.isSubtype(s.ok, t.ok) &&
+                TypeSystem.isSubtype(s.err, t.err));
+        }
+        if (sub.kind === 'TypeApp' && sup.kind === 'TypeApp') {
+            const s = sub;
+            const t = sup;
+            if (s.base === 'Workflow' && t.base === 'Workflow' && s.args.length >= 2 && t.args.length >= 2) {
+                const [sRes, sEff] = s.args;
+                const [tRes, tEff] = t.args;
+                return TypeSystem.isSubtype(sRes, tRes) && TypeSystem.isSubtype(sEff, tEff);
+            }
+        }
+        return false;
+    }
+    static expand(type, aliases) {
+        const visited = new Set();
+        return TypeSystem.expandRecursive(type, aliases, visited);
+    }
+    static expandRecursive(type, aliases, visited) {
+        if (type.kind === 'TypeName') {
+            const alias = aliases.get(type.name);
+            if (!alias)
+                return type;
+            if (visited.has(type.name))
+                return type;
+            visited.add(type.name);
+            const expanded = TypeSystem.expandRecursive(alias, aliases, visited);
+            visited.delete(type.name);
+            return expanded;
+        }
+        if (type.kind === 'Maybe' || type.kind === 'Option' || type.kind === 'List') {
+            return {
+                ...type,
+                type: TypeSystem.expandRecursive(type.type, aliases, visited),
+            };
+        }
+        if (type.kind === 'Result') {
+            return {
+                ...type,
+                ok: TypeSystem.expandRecursive(type.ok, aliases, visited),
+                err: TypeSystem.expandRecursive(type.err, aliases, visited),
+            };
+        }
+        if (type.kind === 'Map') {
+            return {
+                ...type,
+                key: TypeSystem.expandRecursive(type.key, aliases, visited),
+                val: TypeSystem.expandRecursive(type.val, aliases, visited),
+            };
+        }
+        if (type.kind === 'TypeApp') {
+            return {
+                ...type,
+                args: type.args.map(arg => TypeSystem.expandRecursive(arg, aliases, visited)),
+            };
+        }
+        if (type.kind === 'FuncType') {
+            return {
+                ...type,
+                params: type.params.map(param => TypeSystem.expandRecursive(param, aliases, visited)),
+                ret: TypeSystem.expandRecursive(type.ret, aliases, visited),
+            };
+        }
+        if (type.kind === 'PiiType') {
+            return {
+                ...type,
+                baseType: TypeSystem.expandRecursive(type.baseType, aliases, visited),
+            };
+        }
+        return type;
+    }
+    static inferListElementType(elements) {
+        const elementTypes = [];
+        for (const element of elements) {
+            const inferred = TypeSystem.inferStaticType(element);
+            if (inferred)
+                elementTypes.push(inferred);
+        }
+        if (elementTypes.length === 0)
+            return TypeSystem.unknown();
+        const current = cloneType(elementTypes[0]);
+        for (let i = 1; i < elementTypes.length; i++) {
+            if (!TypeSystem.equals(current, elementTypes[i])) {
+                return TypeSystem.unknown();
+            }
+        }
+        return current;
+    }
+    static inferFunctionType(params, body) {
+        const paramTypes = params.map(p => cloneType(p.type));
+        const ret = TypeSystem.inferReturnType(body);
+        return {
+            kind: 'FuncType',
+            params: paramTypes,
+            ret,
+        };
+    }
+    static format(type) {
+        if (!type)
+            return 'Unknown';
+        switch (type.kind) {
+            case 'TypeName':
+                return type.name;
+            case 'TypeVar':
+                return type.name;
+            case 'TypeApp':
+                if (type.base === 'Workflow' && type.args.length === 2) {
+                    const [resultType, effectRow] = type.args;
+                    return `Workflow<${TypeSystem.format(resultType)}, ${TypeSystem.format(effectRow)}>`;
+                }
+                return `${type.base}<${type.args.map(arg => TypeSystem.format(arg)).join(', ')}>`;
+            case 'Maybe':
+                return `${TypeSystem.format(type.type)}?`;
+            case 'Option':
+                return `Option<${TypeSystem.format(type.type)}>`;
+            case 'Result':
+                return `Result<${TypeSystem.format(type.ok)}, ${TypeSystem.format(type.err)}>`;
+            case 'List':
+                return `List<${TypeSystem.format(type.type)}>`;
+            case 'Map':
+                return `Map<${TypeSystem.format(type.key)}, ${TypeSystem.format(type.val)}>`;
+            case 'FuncType':
+                return `(${type.params.map(param => TypeSystem.format(param)).join(', ')}) -> ${TypeSystem.format(type.ret)}`;
+            case 'PiiType':
+                return `@pii(${type.sensitivity}, ${type.category}) ${TypeSystem.format(type.baseType)}`;
+            default:
+                return 'Unknown';
+        }
+    }
+    static inferReturnType(body) {
+        for (let i = body.length - 1; i >= 0; i--) {
+            const stmt = body[i];
+            if (stmt.kind === 'Return') {
+                const ret = TypeSystem.inferStaticType(stmt.expr);
+                return ret ?? TypeSystem.unknown();
+            }
+        }
+        return TypeSystem.unknown();
+    }
+    static inferStaticType(expr) {
+        if (!expr)
+            return null;
+        switch (expr.kind) {
+            case 'Bool':
+                return { kind: 'TypeName', name: 'Bool' };
+            case 'Int':
+                return { kind: 'TypeName', name: 'Int' };
+            case 'Long':
+                return { kind: 'TypeName', name: 'Long' };
+            case 'Double':
+                return { kind: 'TypeName', name: 'Double' };
+            case 'String':
+                return { kind: 'TypeName', name: 'Text' };
+            case 'Null':
+                return { kind: 'Maybe', type: TypeSystem.unknown() };
+            case 'Ok': {
+                const inner = TypeSystem.inferStaticType(expr.expr) ?? TypeSystem.unknown();
+                return { kind: 'Result', ok: inner, err: TypeSystem.unknown() };
+            }
+            case 'Err': {
+                const inner = TypeSystem.inferStaticType(expr.expr) ?? TypeSystem.unknown();
+                return { kind: 'Result', ok: TypeSystem.unknown(), err: inner };
+            }
+            case 'Some': {
+                const inner = TypeSystem.inferStaticType(expr.expr) ?? TypeSystem.unknown();
+                return { kind: 'Option', type: inner };
+            }
+            case 'None':
+                return { kind: 'Option', type: TypeSystem.unknown() };
+            case 'Lambda': {
+                const params = expr.params.map(p => cloneType(p.type));
+                const ret = cloneType(expr.ret);
+                return {
+                    kind: 'FuncType',
+                    params,
+                    ret,
+                };
+            }
+            case 'Construct':
+                return { kind: 'TypeName', name: expr.typeName };
+            case 'Call': {
+                if (expr.target.kind === 'Name') {
+                    switch (expr.target.name) {
+                        case 'Text.concat':
+                        case 'Crypto.hash':
+                        case 'Int.toString':
+                        case 'Bool.toString':
+                            return { kind: 'TypeName', name: 'Text' };
+                        case 'Text.length':
+                            return { kind: 'TypeName', name: 'Int' };
+                    }
+                }
+                return null;
+            }
+            default: {
+                const annotated = expr.inferredType;
+                if (annotated)
+                    return annotated;
+                return null;
+            }
+        }
+    }
+}
+export class ConstraintSolver {
+    constraints = [];
+    addConstraint(constraint) {
+        this.constraints.push(constraint);
+    }
+    solve() {
+        const bindings = new Map();
+        for (const constraint of this.constraints) {
+            switch (constraint.kind) {
+                case 'equals': {
+                    if (!TypeSystem.unify(constraint.left, constraint.right, bindings))
+                        return null;
+                    break;
+                }
+                case 'subtype': {
+                    if (!TypeSystem.isSubtype(constraint.left, constraint.right))
+                        return null;
+                    break;
+                }
+            }
+        }
+        return bindings;
+    }
+}
+//# sourceMappingURL=type_system.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type_system.js","sourceRoot":"","sources":["../../../src/typecheck/type_system.ts"],"names":[],"mappings":"AAIA,MAAM,gBAAgB,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAE9E,SAAS,SAAS,CAAC,IAAU;IAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;QACrB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM;YACT,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAY,CAAC,EAAE,CAAC;QACzD,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,EAAU,CAAC;gBAC9B,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,GAAW,CAAC;aACjC,CAAC;QACJ,KAAK,KAAK;YACR,OAAO;gBACL,GAAG,IAAI;gBACP,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,GAAW,CAAC;gBAChC,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,GAAW,CAAC;aACjC,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAW,CAAC,CAAyB;aAC3E,CAAC;QACJ,KAAK,UAAU;YACb,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,KAAa,CAAC,CAAyB;gBAClF,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,GAAW,CAAC;gBAChC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,IAAI,CAAC,YAAY,CAAsB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3F,GAAG,CAAC,IAAI,CAAC,eAAe;oBACtB,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,CAAiC,EAAE;oBAChF,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,QAAgB,CAAC;aAC3C,CAAC;QACJ;YACE,oEAAoE;YACpE,OAAO,IAAY,CAAC;IACxB,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAA6B;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAID,SAAS,mBAAmB,CAAC,IAA8C;IACzE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,gBAAgB,CACvB,CAA2C,EAC3C,CAA2C;IAE3C,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAgC,EAAE,CAAgC;IAC1F,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAsB,CAAC;IAC5C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAsB,CAAC;IAC7C,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,OAAO,UAAU;IACrB,MAAM,CAAC,OAAO;QACZ,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAEO,MAAM,CAAC,UAAU,CAAC,IAAU;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,IAAI,CAAC;QAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,MAAM;oBACT,OAAO,CAAC,CAAC;gBACX,KAAK,KAAK;oBACR,OAAO,CAAC,CAAC;gBACX,KAAK,IAAI;oBACP,OAAO,CAAC,CAAC;gBACX,KAAK,UAAU;oBACb,OAAO,CAAC,CAAC;gBACX;oBACE,OAAO,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,EAAQ,EAAE,EAAQ,EAAE,MAAM,GAAG,KAAK;QAC9C,IAAI,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7D,IACE,CAAC,MAAM;YACP,EAAE,CAAC,IAAI,KAAK,UAAU;YACtB,EAAE,CAAC,IAAI,KAAK,UAAU;YACtB,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,EAClG,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACtC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,UAAU;gBACb,OAAQ,EAAoB,CAAC,IAAI,KAAM,EAAoB,CAAC,IAAI,CAAC;YACnE,KAAK,SAAS;gBACZ,OAAQ,EAAmB,CAAC,IAAI,KAAM,EAAmB,CAAC,IAAI,CAAC;YACjE,KAAK,WAAW;gBACd,OAAQ,EAAqB,CAAC,IAAI,KAAM,EAAqB,CAAC,IAAI,CAAC;YACrE,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,MAAM,CAAC,GAAG,EAAkB,CAAC;gBAC7B,MAAM,CAAC,GAAG,EAAkB,CAAC;gBAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;oBAAE,OAAO,KAAK,CAAC;gBACpC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACvC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAS,EAAE,MAAM,CAAC;wBAAE,OAAO,KAAK,CAAC;gBACrF,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,KAAK,OAAO,CAAC;YACb,KAAK,QAAQ;gBACX,OAAO,UAAU,CAAC,MAAM,CACrB,EAA+B,CAAC,IAAY,EAC5C,EAA+B,CAAC,IAAY,EAC7C,MAAM,CACP,CAAC;YACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,CAAC,GAAG,EAAiB,CAAC;gBAC5B,MAAM,CAAC,GAAG,EAAiB,CAAC;gBAC5B,OAAO,CACL,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC,EAAU,EAAE,MAAM,CAAC;oBACrD,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,GAAW,EAAE,CAAC,CAAC,GAAW,EAAE,MAAM,CAAC,CACxD,CAAC;YACJ,CAAC;YACD,KAAK,MAAM;gBACT,OAAO,UAAU,CAAC,MAAM,CACrB,EAAgB,CAAC,IAAY,EAC7B,EAAgB,CAAC,IAAY,EAC9B,MAAM,CACP,CAAC;YACJ,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,CAAC,GAAG,EAAc,CAAC;gBACzB,MAAM,CAAC,GAAG,EAAc,CAAC;gBACzB,OAAO,CACL,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,GAAW,EAAE,CAAC,CAAC,GAAW,EAAE,MAAM,CAAC;oBACvD,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,GAAW,EAAE,CAAC,CAAC,GAAW,EAAE,MAAM,CAAC,CACxD,CAAC;YACJ,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,CAAC,GAAG,EAAmB,CAAC;gBAC9B,MAAM,CAAC,GAAG,EAAmB,CAAC;gBAC9B,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAS,EAAE,MAAM,CAAC;wBAAE,OAAO,KAAK,CAAC;gBACzF,CAAC;gBACD,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACpE,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,eAAe,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC1E,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,GAAW,EAAE,CAAC,CAAC,GAAW,EAAE,MAAM,CAAC,CAAC;YACjE,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,MAAM,CAAC,GAAG,EAAkB,CAAC;gBAC7B,MAAM,CAAC,GAAG,EAAkB,CAAC;gBAC7B,OAAO,CACL,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW;oBAC/B,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;oBACzB,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,QAAgB,EAAE,CAAC,CAAC,QAAgB,EAAE,MAAM,CAAC,CAClE,CAAC;YACJ,CAAC;YACD;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,EAAQ,EAAE,EAAQ,EAAE,WAA8B,IAAI,GAAG,EAAE;QACtE,IAAI,SAAS,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAEhD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,UAAU,CAAC,WAAW,CAAC,EAAkB,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,UAAU,CAAC,WAAW,CAAC,EAAkB,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC5B,OAAO,UAAU,CAAC,aAAa,CAAC,EAAoB,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC5B,OAAO,UAAU,CAAC,aAAa,CAAC,EAAoB,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QAEtC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,OAAO,CAAC;YACb,KAAK,QAAQ;gBACX,OAAO,UAAU,CAAC,KAAK,CACpB,EAA+B,CAAC,IAAY,EAC5C,EAA+B,CAAC,IAAY,EAC7C,QAAQ,CACT,CAAC;YACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,CAAC,GAAG,EAAiB,CAAC;gBAC5B,MAAM,CAAC,GAAG,EAAiB,CAAC;gBAC5B,OAAO,CACL,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC,EAAU,EAAE,QAAQ,CAAC;oBACtD,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,GAAW,EAAE,CAAC,CAAC,GAAW,EAAE,QAAQ,CAAC,CACzD,CAAC;YACJ,CAAC;YACD,KAAK,MAAM;gBACT,OAAO,UAAU,CAAC,KAAK,CACpB,EAAgB,CAAC,IAAY,EAC7B,EAAgB,CAAC,IAAY,EAC9B,QAAQ,CACT,CAAC;YACJ,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,CAAC,GAAG,EAAc,CAAC;gBACzB,MAAM,CAAC,GAAG,EAAc,CAAC;gBACzB,OAAO,CACL,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,GAAW,EAAE,CAAC,CAAC,GAAW,EAAE,QAAQ,CAAC;oBACxD,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,GAAW,EAAE,CAAC,CAAC,GAAW,EAAE,QAAQ,CAAC,CACzD,CAAC;YACJ,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,MAAM,CAAC,GAAG,EAAkB,CAAC;gBAC7B,MAAM,CAAC,GAAG,EAAkB,CAAC;gBAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;oBAAE,OAAO,KAAK,CAAC;gBACpC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACvC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAS,EAAE,QAAQ,CAAC;wBAAE,OAAO,KAAK,CAAC;gBACtF,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,CAAC,GAAG,EAAmB,CAAC;gBAC9B,MAAM,CAAC,GAAG,EAAmB,CAAC;gBAC9B,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAS,EAAE,QAAQ,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAC1F,CAAC;gBACD,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACpE,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,eAAe,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC1E,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,GAAW,EAAE,CAAC,CAAC,GAAW,EAAE,QAAQ,CAAC,CAAC;YAClE,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,MAAM,CAAC,GAAG,EAAkB,CAAC;gBAC7B,MAAM,CAAC,GAAG,EAAkB,CAAC;gBAC7B,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;oBAAE,OAAO,KAAK,CAAC;gBAC/E,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,QAAgB,EAAE,CAAC,CAAC,QAAgB,EAAE,QAAQ,CAAC,CAAC;YAC5E,CAAC;YACD;gBACE,OAAO,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAEO,MAAM,CAAC,WAAW,CAAC,EAAgB,EAAE,IAAU,EAAE,QAA2B;QAClF,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;QACrB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IAEO,MAAM,CAAC,aAAa,CAAC,EAAkB,EAAE,IAAU,EAAE,QAA2B;QACtF,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACxB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACrC,OAAO,KAAK,KAAK,KAAK,CAAC;QACzB,CAAC;QACD,OAAO,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,CAAC,SAAS,CAAC,GAAS,EAAE,GAAS;QACnC,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7C,IAAI,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAChC,IAAI,SAAS,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAEjC,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,WAAW,GAAG,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAC/C,IAAI,UAAU,KAAK,IAAI,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YAChD,OAAO,UAAU,IAAI,WAAW,CAAC;QACnC,CAAC;QAED,yEAAyE;QACzE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAClD,OAAO,UAAU,CAAC,SAAS,CAAE,GAAkB,CAAC,IAAY,EAAG,GAAmB,CAAC,IAAY,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClD,OAAO,UAAU,CAAC,SAAS,CAAE,GAAmB,CAAC,IAAY,EAAG,GAAkB,CAAC,IAAY,CAAC,CAAC;QACnG,CAAC;QAED,iDAAiD;QACjD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,GAAkB,CAAC;YAC7B,MAAM,CAAC,GAAG,GAAkB,CAAC;YAC7B,OAAO,CACL,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC,EAAU,CAAC;gBAChD,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,GAAW,EAAE,CAAC,CAAC,GAAW,CAAC,CACnD,CAAC;QACJ,CAAC;QAED,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACrD,MAAM,CAAC,GAAG,GAAmB,CAAC;YAC9B,MAAM,CAAC,GAAG,GAAmB,CAAC;YAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC/F,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;gBAC5B,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;gBAC5B,OAAO,UAAU,CAAC,SAAS,CAAC,IAAY,EAAE,IAAY,CAAC,IAAI,UAAU,CAAC,SAAS,CAAC,IAAY,EAAE,IAAY,CAAC,CAAC;YAC9G,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAU,EAAE,OAA0B;QAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,OAAO,UAAU,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5D,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,IAAU,EAAE,OAA0B,EAAE,OAAoB;QACzF,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC;YACxB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACxC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,MAAM,QAAQ,GAAG,UAAU,CAAC,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACrE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1B,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5E,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,IAAY,EAAE,OAAO,EAAE,OAAO,CAAC;aACtE,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,OAAO;gBACL,GAAG,IAAI;gBACP,EAAE,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,EAAU,EAAE,OAAO,EAAE,OAAO,CAAC;gBACjE,GAAG,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,GAAW,EAAE,OAAO,EAAE,OAAO,CAAC;aACpE,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,GAAG,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,GAAW,EAAE,OAAO,EAAE,OAAO,CAAC;gBACnE,GAAG,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,GAAW,EAAE,OAAO,EAAE,OAAO,CAAC;aACpE,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,GAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAyB;aAC9G,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,KAAa,EAAE,OAAO,EAAE,OAAO,CAAC,CAAyB;gBACrH,GAAG,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,GAAW,EAAE,OAAO,EAAE,OAAO,CAAC;aACpE,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,QAAgB,EAAE,OAAO,EAAE,OAAO,CAAC;aAC9E,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,oBAAoB,CAAC,QAAoC;QAC9D,MAAM,YAAY,GAAW,EAAE,CAAC;QAChC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,UAAU,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YACrD,IAAI,QAAQ;gBAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;gBAClD,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC;YAC9B,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,MAAiC,EAAE,IAA+B;QACzF,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAY,CAAC,CAAyB,CAAC;QACtF,MAAM,GAAG,GAAG,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAC7C,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,UAAU;YAClB,GAAG;SACJ,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAA6B;QACzC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,IAAI,CAAC;YACnB,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,IAAI,CAAC;YACnB,KAAK,SAAS;gBACZ,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvD,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;oBAC1C,OAAO,YAAY,UAAU,CAAC,MAAM,CAAC,UAAkB,CAAC,KAAK,UAAU,CAAC,MAAM,CAAC,SAAiB,CAAC,GAAG,CAAC;gBACvG,CAAC;gBACD,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,GAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC5F,KAAK,OAAO;gBACV,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAY,CAAC,GAAG,CAAC;YACpD,KAAK,QAAQ;gBACX,OAAO,UAAU,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAY,CAAC,GAAG,CAAC;YAC3D,KAAK,QAAQ;gBACX,OAAO,UAAU,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAU,CAAC,KAAK,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,GAAW,CAAC,GAAG,CAAC;YACjG,KAAK,MAAM;gBACT,OAAO,QAAQ,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAY,CAAC,GAAG,CAAC;YACzD,KAAK,KAAK;gBACR,OAAO,OAAO,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,GAAW,CAAC,KAAK,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,GAAW,CAAC,GAAG,CAAC;YAC/F,KAAK,UAAU;gBACb,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,KAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,GAAW,CAAC,EAAE,CAAC;YAChI,KAAK,SAAS;gBACZ,OAAO,QAAQ,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,QAAQ,KAAK,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,QAAgB,CAAC,EAAE,CAAC;YACnG;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,IAA+B;QAC5D,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;YACtB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC3B,MAAM,GAAG,GAAG,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClD,OAAO,GAAG,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YACrC,CAAC;QACH,CAAC;QACD,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC;IAC9B,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,IAAwC;QACrE,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM;gBACT,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC5C,KAAK,KAAK;gBACR,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YAC3C,KAAK,MAAM;gBACT,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC5C,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC9C,KAAK,QAAQ;gBACX,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC5C,KAAK,MAAM;gBACT,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACvD,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,MAAM,KAAK,GAAG,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;gBAC5E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YAClE,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,KAAK,GAAG,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;gBAC5E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;YAClE,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,KAAK,GAAG,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;gBAC5E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YACzC,CAAC;YACD,KAAK,MAAM;gBACT,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACxD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAY,CAAC,CAAyB,CAAC;gBACvF,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,GAAW,CAAC,CAAC;gBACxC,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM;oBACN,GAAG;iBACJ,CAAC;YACJ,CAAC;YACD,KAAK,WAAW;gBACd,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAChC,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;wBACzB,KAAK,aAAa,CAAC;wBACnB,KAAK,aAAa,CAAC;wBACnB,KAAK,cAAc,CAAC;wBACpB,KAAK,eAAe;4BAClB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;wBAC5C,KAAK,aAAa;4BAChB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;oBAC7C,CAAC;gBACH,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;gBACR,MAAM,SAAS,GAAI,IAAgC,CAAC,YAAY,CAAC;gBACjE,IAAI,SAAS;oBAAE,OAAO,SAAS,CAAC;gBAChC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;CACF;AASD,MAAM,OAAO,gBAAgB;IACV,WAAW,GAAqB,EAAE,CAAC;IAEpD,aAAa,CAAC,UAA0B;QACtC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpC,CAAC;IAED,KAAK;QACH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgB,CAAC;QACzC,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAC1C,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,QAAQ,CAAC,CAAC,CAAC;oBACd,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC;wBAAE,OAAO,IAAI,CAAC;oBAChF,MAAM;gBACR,CAAC;gBACD,KAAK,SAAS,CAAC,CAAC,CAAC;oBACf,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC;wBAAE,OAAO,IAAI,CAAC;oBAC1E,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}

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

@@ -0,0 +1,45 @@
+import type { Core, Origin, Span } from '../types.js';
+export declare const UNKNOWN_TYPE: Core.Type;
+export declare const UNIT_TYPE: Core.Type;
+export declare const IO_EFFECT_TYPE: Core.Type;
+export declare const CPU_EFFECT_TYPE: Core.Type;
+export declare const PURE_EFFECT_TYPE: Core.Type;
+export declare const IO_PREFIXES: readonly string[];
+export declare const CPU_PREFIXES: readonly string[];
+/**
+ * 解析导入别名到真实模块前缀
+ * @param name 原始名称（如 "H.get"）
+ * @param imports 别名映射（如 {H: "Http"}）
+ * @returns 解析后的名称（如 "Http.get"）
+ */
+export declare function resolveAlias(name: string, imports: ReadonlyMap<string, string>): string;
+/**
+ * 判断是否启用 PII 检查
+ *
+ * 采用渐进式启用策略，默认禁用 PII 检查，需显式启用。
+ * 配置优先级（从高到低）：
+ * 1. LSP 配置注入（globalThis.lspConfig.enforcePiiChecks）
+ * 2. 环境变量（ENFORCE_PII 或 ASTER_ENFORCE_PII，大小写不敏感）
+ * 3. 默认值 false（opt-in 策略）
+ *
+ * 设计理由：
+ * 1. 兼容性：避免破坏现有项目，给团队时间逐步迁移
+ * 2. 渐进式：允许团队按自己的节奏采纳 PII 检查
+ * 3. 明确性：需要显式声明启用，避免意外启用
+ * 4. 统一性：与 Java 编译器的 shouldEnforcePii() 保持一致（大小写无关匹配）
+ * 5. 解耦性：通过 globalThis 注入避免 LSP 与 typecheck 模块循环依赖
+ *
+ * @returns true 表示启用 PII 检查，false 表示禁用
+ */
+export declare function shouldEnforcePii(): boolean;
+export declare function isUnknown(type: Core.Type | undefined | null): boolean;
+export declare function unknownType(): Core.Type;
+export declare function normalizeType(type: Core.Type | undefined | null): Core.Type;
+export declare function formatType(type: Core.Type | undefined | null): string;
+export declare function isWorkflowType(type: Core.Type): type is Core.TypeApp;
+export declare function unwrapWorkflowResult(type: Core.Type): Core.Type;
+export declare function typesEqual(a: Core.Type | undefined | null, b: Core.Type | undefined | null, strict?: boolean): boolean;
+export declare function originToSpan(origin: Origin | undefined): Span | undefined;
+export declare function defaultModuleSearchPaths(): string[];
+export declare function normalizeModuleSearchPaths(paths?: readonly string[]): readonly string[];
+//# sourceMappingURL=utils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/typecheck/utils.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAMtD,eAAO,MAAM,YAAY,EAAE,IAAI,CAAC,IAA2B,CAAC;AAC5D,eAAO,MAAM,SAAS,EAAE,IAAI,CAAC,IAAyC,CAAC;AACvE,eAAO,MAAM,cAAc,EAAE,IAAI,CAAC,IAAuC,CAAC;AAC1E,eAAO,MAAM,eAAe,EAAE,IAAI,CAAC,IAAwC,CAAC;AAC5E,eAAO,MAAM,gBAAgB,EAAE,IAAI,CAAC,IAAyC,CAAC;AAG9E,eAAO,MAAM,WAAW,mBAAkB,CAAC;AAC3C,eAAO,MAAM,YAAY,mBAAmB,CAAC;AAE7C;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAKvF;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,gBAAgB,IAAI,OAAO,CAc1C;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,OAAO,CAGrE;AAED,wBAAgB,WAAW,IAAI,IAAI,CAAC,IAAI,CAEvC;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,IAAI,CAAC,IAAI,CAE3E;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,MAAM,CAErE;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,OAAO,CAEpE;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAK/D;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,EAAE,MAAM,UAAQ,GAAG,OAAO,CAYpH;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,SAAS,CAGzE;AAED,wBAAgB,wBAAwB,IAAI,MAAM,EAAE,CAGnD;AAED,wBAAgB,0BAA0B,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAQvF"}