@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/typecheck/utils.js

@@ -0,0 +1,110 @@
+import { join, resolve } from 'node:path';
+import { getIOPrefixes, getCPUPrefixes } from '../config/effect_config.js';
+import { TypeSystem } from './type_system.js';
+// 类型检查工具模块：收敛常量、类型辅助与路径规范化逻辑，供多个子模块复用。
+export const UNKNOWN_TYPE = TypeSystem.unknown();
+export const UNIT_TYPE = { kind: 'TypeName', name: 'Unit' };
+export const IO_EFFECT_TYPE = { kind: 'TypeName', name: 'IO' };
+export const CPU_EFFECT_TYPE = { kind: 'TypeName', name: 'CPU' };
+export const PURE_EFFECT_TYPE = { kind: 'TypeName', name: 'PURE' };
+// 从配置获取效果推断前缀（模块级，避免重复调用）
+export const IO_PREFIXES = getIOPrefixes();
+export const CPU_PREFIXES = getCPUPrefixes();
+/**
+ * 解析导入别名到真实模块前缀
+ * @param name 原始名称（如 "H.get"）
+ * @param imports 别名映射（如 {H: "Http"}）
+ * @returns 解析后的名称（如 "Http.get"）
+ */
+export function resolveAlias(name, imports) {
+    if (!name.includes('.'))
+        return name;
+    const [prefix, ...rest] = name.split('.');
+    const resolved = imports.get(prefix);
+    return resolved ? `${resolved}.${rest.join('.')}` : name;
+}
+/**
+ * 判断是否启用 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 function shouldEnforcePii() {
+    // 优先级 1: LSP 配置注入（IDE 会话通过 --enforce-pii 参数启用）
+    if (globalThis.lspConfig?.enforcePiiChecks !== undefined) {
+        return globalThis.lspConfig.enforcePiiChecks;
+    }
+    // 优先级 2: 环境变量（向后兼容 CLI 工具和测试，大小写无关匹配）
+    const envValue = process.env.ENFORCE_PII || process.env.ASTER_ENFORCE_PII;
+    if (envValue?.toLowerCase() === 'true') {
+        return true;
+    }
+    // 优先级 3: 默认禁用 PII 检查（渐进式启用策略）
+    return false;
+}
+export function isUnknown(type) {
+    if (!type)
+        return true;
+    return type.kind === 'TypeName' && type.name === 'Unknown';
+}
+export function unknownType() {
+    return UNKNOWN_TYPE;
+}
+export function normalizeType(type) {
+    return type ?? UNKNOWN_TYPE;
+}
+export function formatType(type) {
+    return TypeSystem.format(normalizeType(type));
+}
+export function isWorkflowType(type) {
+    return type.kind === 'TypeApp' && type.base === 'Workflow' && type.args.length >= 1;
+}
+export function unwrapWorkflowResult(type) {
+    if (isWorkflowType(type)) {
+        return normalizeType(type.args[0]);
+    }
+    return type;
+}
+export function typesEqual(a, b, strict = false) {
+    const left = normalizeType(a);
+    const right = normalizeType(b);
+    if (isWorkflowType(left) && !isWorkflowType(right)) {
+        return typesEqual(unwrapWorkflowResult(left), right, strict);
+    }
+    if (!isWorkflowType(left) && isWorkflowType(right)) {
+        return typesEqual(left, unwrapWorkflowResult(right), strict);
+    }
+    return TypeSystem.equals(left, right, strict);
+}
+export function originToSpan(origin) {
+    if (!origin)
+        return undefined;
+    return { start: origin.start, end: origin.end };
+}
+export function defaultModuleSearchPaths() {
+    const cwd = process.cwd();
+    return [cwd, join(cwd, '.aster', 'packages')];
+}
+export function normalizeModuleSearchPaths(paths) {
+    const source = paths && paths.length > 0 ? paths : defaultModuleSearchPaths();
+    const normalized = new Set();
+    for (const candidate of source) {
+        if (!candidate)
+            continue;
+        normalized.add(resolve(candidate));
+    }
+    return [...normalized];
+}
+//# sourceMappingURL=utils.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../src/typecheck/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,uCAAuC;AAEvC,MAAM,CAAC,MAAM,YAAY,GAAc,UAAU,CAAC,OAAO,EAAE,CAAC;AAC5D,MAAM,CAAC,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACvE,MAAM,CAAC,MAAM,cAAc,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC1E,MAAM,CAAC,MAAM,eAAe,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC5E,MAAM,CAAC,MAAM,gBAAgB,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAE9E,0BAA0B;AAC1B,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,EAAE,CAAC;AAC3C,MAAM,CAAC,MAAM,YAAY,GAAG,cAAc,EAAE,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,OAAoC;IAC7E,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,MAAO,CAAC,CAAC;IACtC,OAAO,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,gBAAgB;IAC9B,+CAA+C;IAC/C,IAAI,UAAU,CAAC,SAAS,EAAE,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACzD,OAAO,UAAU,CAAC,SAAS,CAAC,gBAAgB,CAAC;IAC/C,CAAC;IAED,sCAAsC;IACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;IAC1E,IAAI,QAAQ,EAAE,WAAW,EAAE,KAAK,MAAM,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8BAA8B;IAC9B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAkC;IAC1D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,WAAW;IACzB,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAkC;IAC9D,OAAO,IAAI,IAAI,YAAY,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAkC;IAC3D,OAAO,UAAU,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAe;IAC5C,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAe;IAClD,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAc,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,CAA+B,EAAE,CAA+B,EAAE,MAAM,GAAG,KAAK;IACzG,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAE/B,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,UAAU,CAAC,IAAI,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAA0B;IACrD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAC1B,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAyB;IAClE,MAAM,MAAM,GAAG,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,wBAAwB,EAAE,CAAC;IAC9E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC;AACzB,CAAC"}

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

@@ -0,0 +1,8 @@
+import type { Core } from '../types.js';
+import type { TypecheckWalkerContext } from './context.js';
+import type { DiagnosticBuilder } from './diagnostics.js';
+export declare function checkRetrySemantics(workflow: Core.Workflow, diagnostics: DiagnosticBuilder): void;
+export declare function checkTimeoutSemantics(workflow: Core.Workflow, diagnostics: DiagnosticBuilder): void;
+export declare function typecheckWorkflow(context: TypecheckWalkerContext, workflow: Core.Workflow): Core.Type;
+export declare function typecheckStep(context: TypecheckWalkerContext, step: Core.Step, effectCache?: Map<Core.Step, Set<'io' | 'cpu'>>): Core.Type;
+//# sourceMappingURL=workflow.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["../../../src/typecheck/workflow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAQ,MAAM,aAAa,CAAC;AAI9C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AA6C1D,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,iBAAiB,GAAG,IAAI,CAgCjG;AAED,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,iBAAiB,GAAG,IAAI,CAiBnG;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,sBAAsB,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,IAAI,CAmBrG;AAED,wBAAgB,aAAa,CAC3B,OAAO,EAAE,sBAAsB,EAC/B,IAAI,EAAE,IAAI,CAAC,IAAI,EACf,WAAW,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,GAC9C,IAAI,CAAC,IAAI,CAwBX"}

package/dist/src/typecheck/workflow.js

@@ -0,0 +1,247 @@
+import { CapabilityKind } from '../config/semantic.js';
+import { TypeSystem } from './type_system.js';
+import { CPU_EFFECT_TYPE, IO_EFFECT_TYPE, PURE_EFFECT_TYPE, UNIT_TYPE, formatType, isUnknown, normalizeType, originToSpan, unknownType, } from './utils.js';
+import { collectEffects } from './effects.js';
+import { typecheckBlock } from './statement.js';
+const RETRY_RECOMMENDED_MAX_ATTEMPTS = 10;
+const RETRY_BASE_DELAY_MS = 1_000;
+const RETRY_LINEAR_WAIT_LIMIT_MS = 5 * 60_000;
+const RETRY_EXPONENTIAL_WAIT_LIMIT_MS = 15 * 60_000;
+function estimateRetryWaitMs(retry) {
+    const attempts = Math.max(0, Math.floor(retry.maxAttempts));
+    if (attempts <= 1)
+        return 0;
+    if (retry.backoff === 'linear') {
+        const waitUnits = (attempts * (attempts - 1)) / 2;
+        return waitUnits * RETRY_BASE_DELAY_MS;
+    }
+    if (attempts > 30) {
+        return Number.POSITIVE_INFINITY;
+    }
+    const waitUnits = Math.pow(2, attempts - 1) - 1;
+    return waitUnits * RETRY_BASE_DELAY_MS;
+}
+function describeDuration(ms) {
+    if (!Number.isFinite(ms) || ms === Number.POSITIVE_INFINITY) {
+        return '不可估算';
+    }
+    if (ms < 1_000)
+        return `${ms}ms`;
+    if (ms < 600_000)
+        return `${Math.round(ms / 1_000)}秒`;
+    if (ms < 3_600_000)
+        return `${Math.round(ms / 60_000)}分钟`;
+    if (ms < 86_400_000)
+        return `${Math.round(ms / 3_600_000)}小时`;
+    return `${Math.round(ms / 86_400_000)}天`;
+}
+export function checkRetrySemantics(workflow, diagnostics) {
+    if (!workflow.retry)
+        return;
+    const { retry, timeout } = workflow;
+    const { maxAttempts, backoff } = retry;
+    if (maxAttempts <= 0)
+        return;
+    const estimatedWaitMs = estimateRetryWaitMs(retry);
+    const timeoutMs = timeout?.milliseconds ?? null;
+    const reasonPrefix = `retry(backoff=${backoff}, maxAttempts=${maxAttempts})`;
+    if (timeoutMs && timeoutMs > 0 && estimatedWaitMs > timeoutMs) {
+        diagnostics.warning("W105" /* ErrorCode.WORKFLOW_RETRY_INCONSISTENT */, originToSpan(workflow.origin), {
+            reason: `${reasonPrefix} 预估累计等待 ${describeDuration(estimatedWaitMs)}，超过 timeout=${describeDuration(timeoutMs)}`,
+        });
+        return;
+    }
+    if (maxAttempts > RETRY_RECOMMENDED_MAX_ATTEMPTS) {
+        diagnostics.warning("W105" /* ErrorCode.WORKFLOW_RETRY_INCONSISTENT */, originToSpan(workflow.origin), {
+            reason: `${reasonPrefix} 预计累计等待 ${describeDuration(estimatedWaitMs)}，建议最多 ${RETRY_RECOMMENDED_MAX_ATTEMPTS} 次`,
+        });
+        return;
+    }
+    const waitLimit = backoff === 'linear' ? RETRY_LINEAR_WAIT_LIMIT_MS : RETRY_EXPONENTIAL_WAIT_LIMIT_MS;
+    if (estimatedWaitMs > waitLimit) {
+        diagnostics.warning("W105" /* ErrorCode.WORKFLOW_RETRY_INCONSISTENT */, originToSpan(workflow.origin), {
+            reason: `${reasonPrefix} 预计累计等待 ${describeDuration(estimatedWaitMs)}，超过推荐窗口 ${describeDuration(waitLimit)}`,
+        });
+    }
+}
+export function checkTimeoutSemantics(workflow, diagnostics) {
+    if (!workflow.timeout)
+        return;
+    const { milliseconds } = workflow.timeout;
+    if (milliseconds <= 0)
+        return;
+    if (milliseconds <= 1_000) {
+        diagnostics.warning("W106" /* ErrorCode.WORKFLOW_TIMEOUT_UNREASONABLE */, originToSpan(workflow.origin), {
+            reason: `timeout=${milliseconds}ms (${Math.round(milliseconds / 1_000)}秒) 过短，可能导致正常操作超时`,
+        });
+    }
+    if (milliseconds > 3_600_000) {
+        diagnostics.warning("W106" /* ErrorCode.WORKFLOW_TIMEOUT_UNREASONABLE */, originToSpan(workflow.origin), {
+            reason: `timeout=${milliseconds}ms (${Math.round(milliseconds / 60_000)}分钟) 过长，建议不超过 1 小时`,
+        });
+    }
+}
+export function typecheckWorkflow(context, workflow) {
+    checkRetrySemantics(workflow, context.diagnostics);
+    checkTimeoutSemantics(workflow, context.diagnostics);
+    let resultType = unknownType();
+    const stepEffects = new Map();
+    for (const step of workflow.steps) {
+        resultType = typecheckStep(context, step, stepEffects);
+    }
+    checkWorkflowDependencies(workflow, context.diagnostics);
+    validateWorkflowMetadata(workflow, context.diagnostics);
+    const effectType = workflowEffectType(context, workflow, stepEffects);
+    return {
+        kind: 'TypeApp',
+        base: 'Workflow',
+        args: [normalizeType(resultType), effectType],
+    };
+}
+export function typecheckStep(context, step, effectCache) {
+    const bodyType = typecheckBlock(context.module, context.symbols, step.body, context.diagnostics);
+    const effects = collectEffects(context.module, step.body);
+    if (step.compensate) {
+        const compensateType = typecheckBlock(context.module, context.symbols, step.compensate, context.diagnostics);
+        validateCompensateBlock(context, step, bodyType, compensateType);
+        // 合并 compensate 块的效应
+        const compensateEffects = collectEffects(context.module, step.compensate);
+        for (const eff of compensateEffects) {
+            effects.add(eff);
+        }
+    }
+    else if (stepHasSideEffects(step, effects)) {
+        context.diagnostics.warning("E023" /* ErrorCode.WORKFLOW_COMPENSATE_MISSING */, originToSpan(step.origin), {
+            step: step.name,
+        });
+    }
+    // 缓存合并后的效应（包含 body 和 compensate）
+    if (effectCache) {
+        effectCache.set(step, effects);
+    }
+    return bodyType;
+}
+function validateCompensateBlock(context, step, bodyType, compensateType) {
+    const expected = normalizeType(bodyType);
+    if (expected.kind !== 'Result')
+        return;
+    const expectedErr = normalizeType(expected.err);
+    const targetSpan = originToSpan(step.compensate?.origin ?? step.origin);
+    if (compensateType.kind !== 'Result') {
+        context.diagnostics.error("E022" /* ErrorCode.WORKFLOW_COMPENSATE_TYPE */, targetSpan, {
+            step: step.name,
+            expectedErr: formatType(expectedErr),
+            actual: formatType(compensateType),
+        });
+        return;
+    }
+    const okMatchesUnit = TypeSystem.equals(compensateType.ok, UNIT_TYPE) || isUnknown(compensateType.ok);
+    const errMatches = TypeSystem.equals(normalizeType(compensateType.err), expectedErr) ||
+        TypeSystem.isSubtype(normalizeType(compensateType.err), expectedErr);
+    if (!okMatchesUnit || !errMatches) {
+        context.diagnostics.error("E022" /* ErrorCode.WORKFLOW_COMPENSATE_TYPE */, targetSpan, {
+            step: step.name,
+            expectedErr: formatType(expectedErr),
+            actual: formatType(compensateType),
+        });
+    }
+}
+function workflowEffectType(context, workflow, cachedEffects) {
+    let hasIOCap = workflow.effectCaps.some(cap => cap !== CapabilityKind.CPU);
+    let hasCpuCap = workflow.effectCaps.some(cap => cap === CapabilityKind.CPU);
+    if (!hasIOCap) {
+        for (const step of workflow.steps) {
+            // 优先使用缓存（已包含 compensate 效应），否则动态收集
+            let effects = cachedEffects?.get(step);
+            if (!effects) {
+                effects = collectEffects(context.module, step.body);
+                if (step.compensate) {
+                    const compensateEffects = collectEffects(context.module, step.compensate);
+                    for (const eff of compensateEffects) {
+                        effects.add(eff);
+                    }
+                }
+            }
+            if (effects.has('io')) {
+                hasIOCap = true;
+                break;
+            }
+            if (effects.has('cpu')) {
+                hasCpuCap = true;
+            }
+        }
+    }
+    if (hasIOCap)
+        return IO_EFFECT_TYPE;
+    if (hasCpuCap)
+        return CPU_EFFECT_TYPE;
+    return PURE_EFFECT_TYPE;
+}
+function checkWorkflowDependencies(workflow, diagnostics) {
+    if (workflow.steps.length === 0)
+        return;
+    const stepMap = new Map();
+    const stepSpans = new Map();
+    for (const step of workflow.steps) {
+        stepMap.set(step.name, step);
+        stepSpans.set(step.name, originToSpan(step.origin));
+    }
+    for (const step of workflow.steps) {
+        for (const dep of step.dependencies ?? []) {
+            if (!stepMap.has(dep)) {
+                diagnostics.error("E029" /* ErrorCode.WORKFLOW_UNKNOWN_STEP_DEPENDENCY */, originToSpan(step.origin), {
+                    step: step.name,
+                    dependency: dep,
+                });
+            }
+        }
+    }
+    const visiting = new Set();
+    const visited = new Set();
+    const reportedCycles = new Set();
+    const dfs = (node, path) => {
+        if (visiting.has(node)) {
+            const cycleNodes = [...path, node];
+            const cycleString = cycleNodes.join(' -> ');
+            if (!reportedCycles.has(cycleString)) {
+                diagnostics.error("E030" /* ErrorCode.WORKFLOW_CIRCULAR_DEPENDENCY */, stepSpans.get(node) ?? originToSpan(workflow.origin), { cycle: cycleString });
+                reportedCycles.add(cycleString);
+            }
+            return;
+        }
+        if (visited.has(node))
+            return;
+        visiting.add(node);
+        const deps = stepMap.get(node)?.dependencies ?? [];
+        for (const dep of deps) {
+            if (!stepMap.has(dep))
+                continue;
+            dfs(dep, [...path, node]);
+        }
+        visiting.delete(node);
+        visited.add(node);
+    };
+    for (const step of workflow.steps) {
+        if (!visited.has(step.name)) {
+            dfs(step.name, []);
+        }
+    }
+}
+function validateWorkflowMetadata(workflow, diagnostics) {
+    if (workflow.retry && workflow.retry.maxAttempts <= 0) {
+        diagnostics.error("E024" /* ErrorCode.WORKFLOW_RETRY_INVALID */, originToSpan(workflow.origin), {
+            maxAttempts: workflow.retry.maxAttempts,
+        });
+    }
+    if (workflow.timeout && workflow.timeout.milliseconds <= 0) {
+        diagnostics.error("E025" /* ErrorCode.WORKFLOW_TIMEOUT_INVALID */, originToSpan(workflow.origin), {
+            milliseconds: workflow.timeout.milliseconds,
+        });
+    }
+}
+function stepHasSideEffects(step, effects) {
+    if (effects.has('io'))
+        return true;
+    return step.effectCaps.some(cap => cap !== CapabilityKind.CPU);
+}
+//# sourceMappingURL=workflow.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.js","sourceRoot":"","sources":["../../../src/typecheck/workflow.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EACL,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,SAAS,EACT,UAAU,EACV,SAAS,EACT,aAAa,EACb,YAAY,EACZ,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEhD,MAAM,8BAA8B,GAAG,EAAE,CAAC;AAC1C,MAAM,mBAAmB,GAAG,KAAK,CAAC;AAClC,MAAM,0BAA0B,GAAG,CAAC,GAAG,MAAM,CAAC;AAC9C,MAAM,+BAA+B,GAAG,EAAE,GAAG,MAAM,CAAC;AAEpD,SAAS,mBAAmB,CAAC,KAAuB;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;IAC5D,IAAI,QAAQ,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,CAAC,QAAQ,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClD,OAAO,SAAS,GAAG,mBAAmB,CAAC;IACzC,CAAC;IACD,IAAI,QAAQ,GAAG,EAAE,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC,iBAAiB,CAAC;IAClC,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAChD,OAAO,SAAS,GAAG,mBAAmB,CAAC;AACzC,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAU;IAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAC5D,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,EAAE,GAAG,KAAK;QAAE,OAAO,GAAG,EAAE,IAAI,CAAC;IACjC,IAAI,EAAE,GAAG,OAAO;QAAE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC;IACtD,IAAI,EAAE,GAAG,SAAS;QAAE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IAC1D,IAAI,EAAE,GAAG,UAAU;QAAE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC;IAC9D,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,QAAuB,EAAE,WAA8B;IACzF,IAAI,CAAC,QAAQ,CAAC,KAAK;QAAE,OAAO;IAE5B,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;IACpC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAEvC,IAAI,WAAW,IAAI,CAAC;QAAE,OAAO;IAE7B,MAAM,eAAe,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,OAAO,EAAE,YAAY,IAAI,IAAI,CAAC;IAChD,MAAM,YAAY,GAAG,iBAAiB,OAAO,iBAAiB,WAAW,GAAG,CAAC;IAE7E,IAAI,SAAS,IAAI,SAAS,GAAG,CAAC,IAAI,eAAe,GAAG,SAAS,EAAE,CAAC;QAC9D,WAAW,CAAC,OAAO,qDAAwC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;YACxF,MAAM,EAAE,GAAG,YAAY,WAAW,gBAAgB,CAAC,eAAe,CAAC,eAAe,gBAAgB,CAAC,SAAS,CAAC,EAAE;SAChH,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,IAAI,WAAW,GAAG,8BAA8B,EAAE,CAAC;QACjD,WAAW,CAAC,OAAO,qDAAwC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;YACxF,MAAM,EAAE,GAAG,YAAY,WAAW,gBAAgB,CAAC,eAAe,CAAC,SAAS,8BAA8B,IAAI;SAC/G,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,+BAA+B,CAAC;IACtG,IAAI,eAAe,GAAG,SAAS,EAAE,CAAC;QAChC,WAAW,CAAC,OAAO,qDAAwC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;YACxF,MAAM,EAAE,GAAG,YAAY,WAAW,gBAAgB,CAAC,eAAe,CAAC,WAAW,gBAAgB,CAAC,SAAS,CAAC,EAAE;SAC5G,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,QAAuB,EAAE,WAA8B;IAC3F,IAAI,CAAC,QAAQ,CAAC,OAAO;QAAE,OAAO;IAE9B,MAAM,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC;IAC1C,IAAI,YAAY,IAAI,CAAC;QAAE,OAAO;IAE9B,IAAI,YAAY,IAAI,KAAK,EAAE,CAAC;QAC1B,WAAW,CAAC,OAAO,uDAA0C,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;YAC1F,MAAM,EAAE,WAAW,YAAY,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,GAAG,KAAK,CAAC,kBAAkB;SACzF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,YAAY,GAAG,SAAS,EAAE,CAAC;QAC7B,WAAW,CAAC,OAAO,uDAA0C,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;YAC1F,MAAM,EAAE,WAAW,YAAY,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,GAAG,MAAM,CAAC,mBAAmB;SAC3F,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAA+B,EAAE,QAAuB;IACxF,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACnD,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAErD,IAAI,UAAU,GAAc,WAAW,EAAE,CAAC;IAC1C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC5D,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,UAAU,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACzD,CAAC;IAED,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACzD,wBAAwB,CAAC,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IAEtE,OAAO;QACL,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,OAA+B,EAC/B,IAAe,EACf,WAA+C;IAE/C,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAE1D,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;QAC7G,uBAAuB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;QACjE,qBAAqB;QACrB,MAAM,iBAAiB,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1E,KAAK,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;YACpC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;SAAM,IAAI,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC7C,OAAO,CAAC,WAAW,CAAC,OAAO,qDAAwC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;YAC5F,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB,CAAC,CAAC;IACL,CAAC;IAED,iCAAiC;IACjC,IAAI,WAAW,EAAE,CAAC;QAChB,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAA+B,EAC/B,IAAe,EACf,QAAmB,EACnB,cAAyB;IAEzB,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO;IAEvC,MAAM,WAAW,GAAG,aAAa,CAAC,QAAQ,CAAC,GAAgB,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC;IAExE,IAAI,cAAc,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,WAAW,CAAC,KAAK,kDAAqC,UAAU,EAAE;YACxE,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,WAAW,EAAE,UAAU,CAAC,WAAW,CAAC;YACpC,MAAM,EAAE,UAAU,CAAC,cAAc,CAAC;SACnC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,MAAM,aAAa,GACjB,UAAU,CAAC,MAAM,CAAC,cAAc,CAAC,EAAe,EAAE,SAAS,CAAC,IAAI,SAAS,CAAC,cAAc,CAAC,EAAe,CAAC,CAAC;IAC5G,MAAM,UAAU,GACd,UAAU,CAAC,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,GAAgB,CAAC,EAAE,WAAW,CAAC;QAC9E,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,cAAc,CAAC,GAAgB,CAAC,EAAE,WAAW,CAAC,CAAC;IAEpF,IAAI,CAAC,aAAa,IAAI,CAAC,UAAU,EAAE,CAAC;QAClC,OAAO,CAAC,WAAW,CAAC,KAAK,kDAAqC,UAAU,EAAE;YACxE,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,WAAW,EAAE,UAAU,CAAC,WAAW,CAAC;YACpC,MAAM,EAAE,UAAU,CAAC,cAAc,CAAC;SACnC,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,OAA+B,EAC/B,QAAuB,EACvB,aAAiD;IAEjD,IAAI,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,cAAc,CAAC,GAAG,CAAC,CAAC;IAC3E,IAAI,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,cAAc,CAAC,GAAG,CAAC,CAAC;IAE5E,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,mCAAmC;YACnC,IAAI,OAAO,GAAG,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACpB,MAAM,iBAAiB,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC1E,KAAK,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;wBACpC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACnB,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,QAAQ,GAAG,IAAI,CAAC;gBAChB,MAAM;YACR,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvB,SAAS,GAAG,IAAI,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,QAAQ;QAAE,OAAO,cAAc,CAAC;IACpC,IAAI,SAAS;QAAE,OAAO,eAAe,CAAC;IACtC,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED,SAAS,yBAAyB,CAAC,QAAuB,EAAE,WAA8B;IACxF,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAExC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAA4B,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,WAAW,CAAC,KAAK,0DAA6C,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;oBACvF,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,UAAU,EAAE,GAAG;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,IAAc,EAAQ,EAAE;QACjD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC;YACnC,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;gBACrC,WAAW,CAAC,KAAK,sDAEf,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EACpD,EAAE,KAAK,EAAE,WAAW,EAAE,CACvB,CAAC;gBACF,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAClC,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,IAAI,EAAE,CAAC;QACnD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAChC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5B,CAAC;QACD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,QAAuB,EAAE,WAA8B;IACvF,IAAI,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC;QACtD,WAAW,CAAC,KAAK,gDAAmC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;YACjF,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW;SACxC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC;QAC3D,WAAW,CAAC,KAAK,kDAAqC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE;YACnF,YAAY,EAAE,QAAQ,CAAC,OAAO,CAAC,YAAY;SAC5C,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAe,EAAE,OAA0B;IACrE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,cAAc,CAAC,GAAG,CAAC,CAAC;AACjE,CAAC"}

package/dist/src/typecheck-pii.d.ts

@@ -0,0 +1,3 @@
+import type { Core, TypecheckDiagnostic } from './types.js';
+export declare function checkModulePII(funcs: readonly Core.Func[], diagnostics: TypecheckDiagnostic[], imports?: ReadonlyMap<string, string>): void;
+//# sourceMappingURL=typecheck-pii.d.ts.map

package/dist/src/typecheck-pii.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecheck-pii.d.ts","sourceRoot":"","sources":["../../src/typecheck-pii.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAmC,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAiD7F,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,EAC3B,WAAW,EAAE,mBAAmB,EAAE,EAClC,OAAO,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa,GAC/C,IAAI,CAgBN"}