@aster-cloud/aster-lang-ts 0.0.1

package/dist/src/typecheck/async.js

@@ -0,0 +1,369 @@
+import { DefaultCoreVisitor, createVisitorContext } from '../core/visitor.js';
+export class AsyncVisitor extends DefaultCoreVisitor {
+    starts;
+    waits;
+    fallbackSpan;
+    constructor(starts, waits, fallbackSpan) {
+        super();
+        this.starts = starts;
+        this.waits = waits;
+        this.fallbackSpan = fallbackSpan;
+    }
+    ensureEntry(map, name) {
+        let bucket = map.get(name);
+        if (!bucket) {
+            bucket = [];
+            map.set(name, bucket);
+        }
+        return bucket;
+    }
+    toSpan(origin) {
+        return origin ? { start: origin.start, end: origin.end } : undefined;
+    }
+    record(map, name, span) {
+        const bucket = this.ensureEntry(map, name);
+        bucket.push(span ?? this.fallbackSpan);
+    }
+    visitStatement(statement, context) {
+        if (statement.kind === 'Start') {
+            this.record(this.starts, statement.name, this.toSpan(statement.origin));
+        }
+        else if (statement.kind === 'Wait') {
+            for (const name of statement.names) {
+                this.record(this.waits, name, this.toSpan(statement.origin));
+            }
+        }
+        super.visitStatement(statement, context);
+    }
+}
+export class ScheduleBuilder extends DefaultCoreVisitor {
+    nodes = [];
+    taskNames = new Set();
+    index = 0;
+    blockDepth = 0;
+    conditionalStack = [];
+    pathRegistry = new Map();
+    pathLookup = new Map();
+    branchRegistry = new Map();
+    nextConditionalId = 1;
+    nextPathId = 1;
+    isRootBlock = true;
+    toSpan(origin) {
+        return origin ? { start: origin.start, end: origin.end } : undefined;
+    }
+    currentPathId() {
+        if (this.conditionalStack.length === 0)
+            return 0;
+        const key = this.conditionalStack.map(entry => `${entry.id}:${entry.value}`).join('|');
+        let id = this.pathRegistry.get(key);
+        if (id === undefined) {
+            id = this.nextPathId++;
+            this.pathRegistry.set(key, id);
+            this.pathLookup.set(id, key);
+        }
+        return id;
+    }
+    registerBranch(condId, value) {
+        let branches = this.branchRegistry.get(condId);
+        if (!branches) {
+            branches = new Set();
+            this.branchRegistry.set(condId, branches);
+        }
+        branches.add(value);
+    }
+    withConditional(condId, value, fn) {
+        this.registerBranch(condId, value);
+        this.conditionalStack.push({ id: condId, value });
+        try {
+            fn();
+        }
+        finally {
+            this.conditionalStack.pop();
+        }
+    }
+    visitBlock(block, ctx) {
+        const isRoot = this.isRootBlock;
+        if (isRoot) {
+            this.isRootBlock = false;
+        }
+        else {
+            this.blockDepth++;
+        }
+        for (const statement of block.statements) {
+            this.visitStatement(statement, ctx);
+        }
+        if (!isRoot) {
+            this.blockDepth--;
+        }
+    }
+    visitStatement(statement, ctx) {
+        const currentIndex = this.index++;
+        const pathId = this.currentPathId();
+        if (statement.kind === 'Start') {
+            this.nodes.push({
+                kind: 'Start',
+                name: statement.name,
+                index: currentIndex,
+                blockDepth: this.blockDepth,
+                conditionalDepth: pathId,
+                origin: this.toSpan(statement.origin),
+            });
+            this.taskNames.add(statement.name);
+        }
+        else if (statement.kind === 'Wait') {
+            for (const name of statement.names) {
+                this.nodes.push({
+                    kind: 'Wait',
+                    name,
+                    index: currentIndex,
+                    blockDepth: this.blockDepth,
+                    conditionalDepth: pathId,
+                    origin: this.toSpan(statement.origin),
+                });
+                this.taskNames.add(name);
+            }
+        }
+        switch (statement.kind) {
+            case 'Let':
+            case 'Set':
+            case 'Return':
+                this.visitExpression(statement.expr, ctx);
+                return;
+            case 'If': {
+                this.visitExpression(statement.cond, ctx);
+                const condId = this.nextConditionalId++;
+                this.registerBranch(condId, 'then');
+                this.withConditional(condId, 'then', () => {
+                    this.visitBlock(statement.thenBlock, ctx);
+                });
+                this.withConditional(condId, 'else', () => {
+                    if (statement.elseBlock) {
+                        this.visitBlock(statement.elseBlock, ctx);
+                    }
+                });
+                return;
+            }
+            case 'Match': {
+                this.visitExpression(statement.expr, ctx);
+                const condId = this.nextConditionalId++;
+                let branchIndex = 0;
+                for (const kase of statement.cases) {
+                    if (kase.pattern)
+                        this.visitPattern?.(kase.pattern, ctx);
+                    const branchLabel = `case#${branchIndex++}`;
+                    this.withConditional(condId, branchLabel, () => {
+                        if (kase.body.kind === 'Return') {
+                            this.visitExpression(kase.body.expr, ctx);
+                        }
+                        else {
+                            this.visitBlock(kase.body, ctx);
+                        }
+                    });
+                }
+                return;
+            }
+            case 'Scope':
+                this.visitBlock({ kind: 'Block', statements: statement.statements }, ctx);
+                return;
+            case 'Start':
+                this.visitExpression(statement.expr, ctx);
+                return;
+            case 'Wait':
+                return;
+        }
+    }
+    getConditionalPaths() {
+        const result = new Map();
+        result.set(0, 'root');
+        for (const [id, key] of this.pathLookup) {
+            result.set(id, key);
+        }
+        return result;
+    }
+    getConditionalBranches() {
+        return this.branchRegistry;
+    }
+}
+export function collectAsync(block) {
+    const starts = new Map();
+    const waits = new Map();
+    const fallbackSpan = {
+        start: { line: 0, col: 0 },
+        end: { line: 0, col: 0 },
+    };
+    new AsyncVisitor(starts, waits, fallbackSpan).visitBlock(block, createVisitorContext());
+    return { starts, waits };
+}
+export function scheduleAsync(block) {
+    const builder = new ScheduleBuilder();
+    builder.visitBlock(block, createVisitorContext());
+    return {
+        nodes: builder.nodes,
+        taskNames: builder.taskNames,
+        conditionalPaths: builder.getConditionalPaths(),
+        conditionalBranches: builder.getConditionalBranches(),
+    };
+}
+export function validateSchedule(schedule, analysis, diagnostics) {
+    const startsByTask = new Map();
+    const waitsByTask = new Map();
+    for (const node of schedule.nodes) {
+        if (node.kind === 'Start') {
+            const bucket = startsByTask.get(node.name);
+            if (bucket) {
+                bucket.push(node);
+            }
+            else {
+                startsByTask.set(node.name, [node]);
+            }
+        }
+        else {
+            const bucket = waitsByTask.get(node.name);
+            if (bucket) {
+                bucket.push(node);
+            }
+            else {
+                waitsByTask.set(node.name, [node]);
+            }
+        }
+    }
+    const assignmentCache = new Map();
+    const parseAssignments = (node) => {
+        const cached = assignmentCache.get(node.conditionalDepth);
+        if (cached)
+            return cached;
+        const signature = schedule.conditionalPaths.get(node.conditionalDepth);
+        const assignments = new Map();
+        if (signature && signature !== 'root') {
+            for (const part of signature.split('|')) {
+                if (!part)
+                    continue;
+                const [condIdStr, value] = part.split(':', 2);
+                if (!condIdStr || value === undefined)
+                    continue;
+                const idNum = Number(condIdStr);
+                if (!Number.isNaN(idNum)) {
+                    assignments.set(idNum, value);
+                }
+            }
+        }
+        assignmentCache.set(node.conditionalDepth, assignments);
+        return assignments;
+    };
+    const pathsCompatible = (a, b) => {
+        const aAssignments = parseAssignments(a);
+        const bAssignments = parseAssignments(b);
+        for (const [condId, value] of aAssignments) {
+            const other = bAssignments.get(condId);
+            if (other !== undefined && other !== value) {
+                return false;
+            }
+        }
+        for (const [condId, value] of bAssignments) {
+            const other = aAssignments.get(condId);
+            if (other !== undefined && other !== value) {
+                return false;
+            }
+        }
+        return true;
+    };
+    const isPlaceholderSpan = (span) => !span ||
+        (span.start.line === 0 && span.start.col === 0 && span.end.line === 0 && span.end.col === 0);
+    const pickFirstRealSpan = (spans) => spans?.find(span => !isPlaceholderSpan(span));
+    const resolveSpan = (node, fallbacks) => isPlaceholderSpan(node.origin) ? pickFirstRealSpan(fallbacks) : node.origin;
+    const hasBranchCoverage = (candidates) => {
+        if (candidates.length === 0)
+            return false;
+        const coverage = new Map();
+        for (const candidate of candidates) {
+            const assignments = parseAssignments(candidate);
+            if (assignments.size === 0)
+                return false;
+            for (const [condId, value] of assignments) {
+                let bucket = coverage.get(condId);
+                if (!bucket) {
+                    bucket = new Set();
+                    coverage.set(condId, bucket);
+                }
+                bucket.add(value);
+            }
+        }
+        for (const [condId, observed] of coverage) {
+            const possible = schedule.conditionalBranches.get(condId);
+            if (!possible || possible.size === 0)
+                return false;
+            for (const value of possible) {
+                if (!observed.has(value))
+                    return false;
+            }
+        }
+        return coverage.size > 0;
+    };
+    for (const [taskName, waitNodes] of waitsByTask) {
+        const startNodes = startsByTask.get(taskName) ?? [];
+        for (const wait of waitNodes) {
+            const candidates = startNodes.filter(candidate => candidate.index < wait.index && pathsCompatible(candidate, wait));
+            let validStart = candidates.find(candidate => candidate.blockDepth <= wait.blockDepth);
+            if (!validStart) {
+                const deeperCandidates = candidates.filter(candidate => candidate.blockDepth > wait.blockDepth);
+                if (deeperCandidates.length > 0 && hasBranchCoverage(deeperCandidates)) {
+                    validStart = deeperCandidates[0];
+                }
+            }
+            if (!validStart) {
+                diagnostics.error("E504" /* ErrorCode.ASYNC_WAIT_BEFORE_START */, resolveSpan(wait, analysis.waits.get(taskName)), {
+                    task: taskName,
+                });
+            }
+        }
+    }
+    for (const [taskName, startNodes] of startsByTask) {
+        startNodes.sort((a, b) => a.index - b.index);
+        const observed = [];
+        const count = analysis.starts.get(taskName)?.length ?? startNodes.length;
+        for (const start of startNodes) {
+            const conflicting = observed.find(prev => pathsCompatible(prev, start));
+            if (conflicting) {
+                diagnostics.error("E502" /* ErrorCode.ASYNC_DUPLICATE_START */, resolveSpan(start, analysis.starts.get(taskName)), {
+                    task: taskName,
+                    count,
+                });
+            }
+            else {
+                observed.push(start);
+            }
+        }
+    }
+}
+export function checkAsyncDiscipline(f, diagnostics) {
+    const asyncInfo = collectAsync(f.body);
+    const schedule = scheduleAsync(f.body);
+    const isPlaceholderSpan = (span) => span.start.line === 0 && span.start.col === 0 && span.end.line === 0 && span.end.col === 0;
+    const pickSpan = (spans) => spans?.find(s => !isPlaceholderSpan(s));
+    const notWaited = [...asyncInfo.starts.keys()].filter(n => !asyncInfo.waits.has(n));
+    for (const name of notWaited) {
+        const spans = asyncInfo.starts.get(name);
+        const firstSpan = pickSpan(spans);
+        diagnostics.error("E500" /* ErrorCode.ASYNC_START_NOT_WAITED */, firstSpan, { task: name });
+    }
+    const notStarted = [...asyncInfo.waits.keys()].filter(n => !asyncInfo.starts.has(n));
+    for (const name of notStarted) {
+        const spans = asyncInfo.waits.get(name);
+        const firstSpan = pickSpan(spans);
+        diagnostics.error("E501" /* ErrorCode.ASYNC_WAIT_NOT_STARTED */, firstSpan, { task: name });
+    }
+    for (const [name, spans] of asyncInfo.waits) {
+        if (spans.length > 1) {
+            for (let i = 1; i < spans.length; i++) {
+                const span = spans[i];
+                const targetSpan = isPlaceholderSpan(span) ? undefined : span;
+                diagnostics.warning("E503" /* ErrorCode.ASYNC_DUPLICATE_WAIT */, targetSpan, {
+                    task: name,
+                    count: spans.length,
+                });
+            }
+        }
+    }
+    validateSchedule(schedule, asyncInfo, diagnostics);
+}
+//# sourceMappingURL=async.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"async.js","sourceRoot":"","sources":["../../../src/typecheck/async.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AA4B9E,MAAM,OAAO,YAAa,SAAQ,kBAAkB;IAE/B;IACA;IACA;IAHnB,YACmB,MAA2B,EAC3B,KAA0B,EAC1B,YAAkB;QAEnC,KAAK,EAAE,CAAC;QAJS,WAAM,GAAN,MAAM,CAAqB;QAC3B,UAAK,GAAL,KAAK,CAAqB;QAC1B,iBAAY,GAAZ,YAAY,CAAM;IAGrC,CAAC;IAEO,WAAW,CAAC,GAAwB,EAAE,IAAY;QACxD,IAAI,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,EAAE,CAAC;YACZ,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,MAAM,CAAC,MAA0B;QACvC,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,CAAC;IAEO,MAAM,CAAC,GAAwB,EAAE,IAAY,EAAE,IAAsB;QAC3E,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC;IAEQ,cAAc,CAAC,SAAyB,EAAE,OAAoD;QACrG,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1E,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;gBACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QACD,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;CACF;AAED,MAAM,OAAO,eAAgB,SAAQ,kBAAkB;IAC5C,KAAK,GAAmB,EAAE,CAAC;IAC3B,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,GAAG,CAAC,CAAC;IACV,UAAU,GAAG,CAAC,CAAC;IACN,gBAAgB,GAAyC,EAAE,CAAC;IAC5D,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,cAAc,GAAG,IAAI,GAAG,EAAuB,CAAC;IACzD,iBAAiB,GAAG,CAAC,CAAC;IACtB,UAAU,GAAG,CAAC,CAAC;IACf,WAAW,GAAG,IAAI,CAAC;IAEnB,MAAM,CAAC,MAA0B;QACvC,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,CAAC;IAEO,aAAa;QACnB,IAAI,IAAI,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;QACjD,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvF,IAAI,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YACvB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC/B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAEO,cAAc,CAAC,MAAc,EAAE,KAAa;QAClD,IAAI,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;YACrB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC5C,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IAEO,eAAe,CAAC,MAAc,EAAE,KAAa,EAAE,EAAc;QACnE,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;QAClD,IAAI,CAAC;YACH,EAAE,EAAE,CAAC;QACP,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAAC;QAC9B,CAAC;IACH,CAAC;IAEQ,UAAU,CAAC,KAAiB,EAAE,GAAgD;QACrF,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC;QAChC,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC;QAC3B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACtC,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,CAAC;IACH,CAAC;IAEQ,cAAc,CAAC,SAAyB,EAAE,GAAgD;QACjG,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QAEpC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,KAAK,EAAE,YAAY;gBACnB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,gBAAgB,EAAE,MAAM;gBACxB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;aACtC,CAAC,CAAC;YACH,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;gBACnC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,MAAM;oBACZ,IAAI;oBACJ,KAAK,EAAE,YAAY;oBACnB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,gBAAgB,EAAE,MAAM;oBACxB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;iBACtC,CAAC,CAAC;gBACH,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,KAAK,CAAC;YACX,KAAK,KAAK,CAAC;YACX,KAAK,QAAQ;gBACX,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC1C,OAAO;YACT,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACxC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBACpC,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE;oBACxC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBAC5C,CAAC,CAAC,CAAC;gBACH,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE;oBACxC,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;wBACxB,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC,CAAC,CAAC;gBACH,OAAO;YACT,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACxC,IAAI,WAAW,GAAG,CAAC,CAAC;gBACpB,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;oBACnC,IAAI,IAAI,CAAC,OAAO;wBAAE,IAAI,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;oBACzD,MAAM,WAAW,GAAG,QAAQ,WAAW,EAAE,EAAE,CAAC;oBAC5C,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE;wBAC7C,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;4BAChC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;wBAC5C,CAAC;6BAAM,CAAC;4BACN,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;wBAClC,CAAC;oBACH,CAAC,CAAC,CAAC;gBACL,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,OAAO;gBACV,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,UAAU,EAAE,EAAE,GAAG,CAAC,CAAC;gBAC1E,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC1C,OAAO;YACT,KAAK,MAAM;gBACT,OAAO;QACX,CAAC;IACH,CAAC;IAED,mBAAmB;QACjB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACtB,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACtB,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,sBAAsB;QACpB,OAAO,IAAI,CAAC,cAAc,CAAC;IAC7B,CAAC;CACF;AAED,MAAM,UAAU,YAAY,CAAC,KAAiB;IAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,YAAY,GAAS;QACzB,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;KACzB,CAAC;IAEF,IAAI,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,oBAAoB,EAAE,CAAC,CAAC;IACxF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAiB;IAC7C,MAAM,OAAO,GAAG,IAAI,eAAe,EAAE,CAAC;IACtC,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAClD,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,gBAAgB,EAAE,OAAO,CAAC,mBAAmB,EAAE;QAC/C,mBAAmB,EAAE,OAAO,CAAC,sBAAsB,EAAE;KACtD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,QAAuB,EACvB,QAAuB,EACvB,WAA8B;IAE9B,MAAM,YAAY,GAAG,IAAI,GAAG,EAA0B,CAAC;IACvD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA0B,CAAC;IAEtD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC/D,MAAM,gBAAgB,GAAG,CAAC,IAAkB,EAAuB,EAAE;QACnE,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC1D,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,SAAS,GAAG,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACvE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC9C,IAAI,SAAS,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACtC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC9C,IAAI,CAAC,SAAS,IAAI,KAAK,KAAK,SAAS;oBAAE,SAAS;gBAChD,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;gBAChC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oBACzB,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;QACH,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;QACxD,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC;IAEF,MAAM,eAAe,GAAG,CAAC,CAAe,EAAE,CAAe,EAAW,EAAE;QACpE,MAAM,YAAY,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,YAAY,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACzC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,YAAY,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;gBAC3C,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,YAAY,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;gBAC3C,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAG,CAAC,IAAsB,EAAW,EAAE,CAC5D,CAAC,IAAI;QACL,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;IAE/F,MAAM,iBAAiB,GAAG,CAAC,KAAyB,EAAoB,EAAE,CACxE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;IAEhD,MAAM,WAAW,GAAG,CAAC,IAAkB,EAAE,SAA6B,EAAoB,EAAE,CAC1F,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;IAE9E,MAAM,iBAAiB,GAAG,CAAC,UAA0B,EAAW,EAAE;QAChE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;QAChD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACzC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC1C,IAAI,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAClC,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;oBACnB,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBAC/B,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACnD,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gBAC7B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;YACzC,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC;IAEF,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,WAAW,EAAE,CAAC;QAChD,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAClC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,CAC9E,CAAC;YAEF,IAAI,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC;YAEvF,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;gBAChG,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB,CAAC,gBAAgB,CAAC,EAAE,CAAC;oBACvE,UAAU,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBACnC,CAAC;YACH,CAAC;YAED,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,WAAW,CAAC,KAAK,iDAAoC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE;oBACpG,IAAI,EAAE,QAAQ;iBACf,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,YAAY,EAAE,CAAC;QAClD,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAmB,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC;QAEzE,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACxE,IAAI,WAAW,EAAE,CAAC;gBAChB,WAAW,CAAC,KAAK,+CAAkC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE;oBACpG,IAAI,EAAE,QAAQ;oBACd,KAAK;iBACN,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,CAAY,EAAE,WAA8B;IAC/E,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,iBAAiB,GAAG,CAAC,IAAU,EAAW,EAAE,CAChD,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IAC7F,MAAM,QAAQ,GAAG,CAAC,KAAyB,EAAoB,EAAE,CAC/D,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1C,MAAM,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAClC,WAAW,CAAC,KAAK,gDAAmC,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAClC,WAAW,CAAC,KAAK,gDAAmC,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QAC5C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;gBACvB,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC9D,WAAW,CAAC,OAAO,8CAAiC,UAAU,EAAE;oBAC9D,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,KAAK,CAAC,MAAM;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;AACrD,CAAC"}

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

@@ -0,0 +1,20 @@
+import type { Core, Span } from '../types.js';
+import { CapabilityKind } from '../config/semantic.js';
+import type { DiagnosticBuilder } from './diagnostics.js';
+/**
+ * 检查函数声明的能力集是否覆盖实际调用
+ */
+export declare function checkCapabilities(func: Core.Func, diagnostics: DiagnosticBuilder): void;
+/**
+ * 收集块中使用到的能力调用
+ */
+export declare function collectCapabilities(block: Core.Block): Map<CapabilityKind, string[]>;
+/**
+ * 收集 block 内出现的 workflow 语句
+ */
+export declare function collectWorkflows(block: Core.Block): Core.Workflow[];
+/**
+ * 校验 workflow 步骤使用的能力是否都已声明
+ */
+export declare function reportWorkflowCapabilityViolation(diagnostics: DiagnosticBuilder, declaredCaps: Set<CapabilityKind>, observedCaps: Map<CapabilityKind, string[]>, funcName: string, stepName: string, span: Span | undefined): void;
+//# sourceMappingURL=capabilities.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities.d.ts","sourceRoot":"","sources":["../../../src/typecheck/capabilities.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,cAAc,EAA2B,MAAM,uBAAuB,CAAC;AAIhF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAE1D;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,iBAAiB,GAAG,IAAI,CAyBvF;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC,CAqBpF;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAUnE;AAED;;GAEG;AACH,wBAAgB,iCAAiC,CAC/C,WAAW,EAAE,iBAAiB,EAC9B,YAAY,EAAE,GAAG,CAAC,cAAc,CAAC,EACjC,YAAY,EAAE,GAAG,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC,EAC3C,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,IAAI,GAAG,SAAS,GACrB,IAAI,CAUN"}

package/dist/src/typecheck/capabilities.js

@@ -0,0 +1,86 @@
+import { inferCapabilityFromName } from '../config/semantic.js';
+import { ENFORCE_CAPABILITIES } from '../config/runtime.js';
+import { DefaultCoreVisitor, createVisitorContext } from '../core/visitor.js';
+/**
+ * 检查函数声明的能力集是否覆盖实际调用
+ */
+export function checkCapabilities(func, diagnostics) {
+    if (!ENFORCE_CAPABILITIES)
+        return;
+    const meta = func;
+    if (!meta.effectCapsExplicit || meta.effectCaps.length === 0)
+        return;
+    const declared = new Set(meta.effectCaps);
+    const used = collectCapabilities(func.body);
+    for (const [cap, callSites] of used) {
+        if (!declared.has(cap)) {
+            diagnostics.error("E301" /* ErrorCode.EFF_CAP_MISSING */, func.span, {
+                func: func.name,
+                cap,
+                declared: [...declared].join(', '),
+                calls: callSites,
+            });
+        }
+    }
+    for (const cap of declared) {
+        if (!used.has(cap)) {
+            diagnostics.info("E302" /* ErrorCode.EFF_CAP_SUPERFLUOUS */, func.span, { func: func.name, cap });
+        }
+    }
+}
+/**
+ * 收集块中使用到的能力调用
+ */
+export function collectCapabilities(block) {
+    const caps = new Map();
+    class CapabilityVisitor extends DefaultCoreVisitor {
+        visitExpression(expression, context) {
+            if (expression.kind === 'Call' && expression.target.kind === 'Name') {
+                const name = expression.target.name;
+                const inferred = inferCapabilityFromName(name);
+                if (inferred) {
+                    const entries = caps.get(inferred);
+                    if (entries) {
+                        entries.push(name);
+                    }
+                    else {
+                        caps.set(inferred, [name]);
+                    }
+                }
+            }
+            super.visitExpression(expression, context);
+        }
+    }
+    new CapabilityVisitor().visitBlock(block, createVisitorContext());
+    return caps;
+}
+/**
+ * 收集 block 内出现的 workflow 语句
+ */
+export function collectWorkflows(block) {
+    const workflows = [];
+    class WorkflowCollector extends DefaultCoreVisitor {
+        visitStatement(statement, context) {
+            if (statement.kind === 'workflow')
+                workflows.push(statement);
+            super.visitStatement(statement, context);
+        }
+    }
+    new WorkflowCollector().visitBlock(block, createVisitorContext());
+    return workflows;
+}
+/**
+ * 校验 workflow 步骤使用的能力是否都已声明
+ */
+export function reportWorkflowCapabilityViolation(diagnostics, declaredCaps, observedCaps, funcName, stepName, span) {
+    for (const cap of observedCaps.keys()) {
+        if (!declaredCaps.has(cap)) {
+            diagnostics.error("E027" /* ErrorCode.WORKFLOW_UNDECLARED_CAPABILITY */, span, {
+                func: funcName,
+                step: stepName,
+                capability: cap,
+            });
+        }
+    }
+}
+//# sourceMappingURL=capabilities.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities.js","sourceRoot":"","sources":["../../../src/typecheck/capabilities.ts"],"names":[],"mappings":"AACA,OAAO,EAAkB,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAI9E;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAe,EAAE,WAA8B;IAC/E,IAAI,CAAC,oBAAoB;QAAE,OAAO;IAElC,MAAM,IAAI,GAAG,IAAyF,CAAC;IACvG,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAErE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAiB,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE5C,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,WAAW,CAAC,KAAK,yCAA4B,IAAI,CAAC,IAAI,EAAE;gBACtD,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG;gBACH,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClC,KAAK,EAAE,SAAS;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,WAAW,CAAC,IAAI,6CAAgC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAiB;IACnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAA4B,CAAC;IACjD,MAAM,iBAAkB,SAAQ,kBAAkB;QACvC,eAAe,CAAC,UAA2B,EAAE,OAAoD;YACxG,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpE,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;gBACpC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACnC,IAAI,OAAO,EAAE,CAAC;wBACZ,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACrB,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC7B,CAAC;gBACH,CAAC;YACH,CAAC;YACD,KAAK,CAAC,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC7C,CAAC;KACF;IACD,IAAI,iBAAiB,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAiB;IAChD,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,MAAM,iBAAkB,SAAQ,kBAAkB;QACvC,cAAc,CAAC,SAAyB,EAAE,OAAoD;YACrG,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7D,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;KACF;IACD,IAAI,iBAAiB,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAClE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iCAAiC,CAC/C,WAA8B,EAC9B,YAAiC,EACjC,YAA2C,EAC3C,QAAgB,EAChB,QAAgB,EAChB,IAAsB;IAEtB,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,WAAW,CAAC,KAAK,wDAA2C,IAAI,EAAE;gBAChE,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,GAAG;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,31 @@
+import type { Core, Span } from '../types.js';
+import type { EffectSignature } from '../effects/effect_signature.js';
+import type { ModuleCache } from '../lsp/module_cache.js';
+import { DiagnosticBuilder } from './diagnostics.js';
+import { SymbolTable } from './symbol_table.js';
+import type { SymbolKind } from './symbol_table.js';
+export interface FunctionSignature {
+    params: Core.Type[];
+    ret: Core.Type;
+}
+export interface ModuleContext {
+    datas: Map<string, Core.Data>;
+    enums: Map<string, Core.Enum>;
+    imports: Map<string, string>;
+    funcSignatures: Map<string, FunctionSignature>;
+    importedEffects: Map<string, EffectSignature>;
+    moduleSearchPaths: readonly string[];
+}
+export interface TypecheckWalkerContext {
+    module: ModuleContext;
+    symbols: SymbolTable;
+    diagnostics: DiagnosticBuilder;
+}
+export interface TypecheckOptions {
+    uri?: string | null;
+    moduleSearchPaths?: readonly string[];
+    moduleCache?: ModuleCache;
+}
+export declare function defineSymbol(context: TypecheckWalkerContext, name: string, type: Core.Type, kind: SymbolKind, span?: Span): void;
+export declare function assignSymbol(context: TypecheckWalkerContext, name: string, type: Core.Type, span?: Span): void;
+//# sourceMappingURL=context.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/typecheck/context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAE1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAMpD,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACpB,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC;CAChB;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7B,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC/C,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC9C,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,aAAa,CAAC;IACtB,OAAO,EAAE,WAAW,CAAC;IACrB,WAAW,EAAE,iBAAiB,CAAC;CAChC;AAED,MAAM,WAAW,gBAAgB;IAC/B,GAAG,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAED,wBAAgB,YAAY,CAC1B,OAAO,EAAE,sBAAsB,EAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,IAAI,CAAC,IAAI,EACf,IAAI,EAAE,UAAU,EAChB,IAAI,CAAC,EAAE,IAAI,GACV,IAAI,CAcN;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,sBAAsB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI,CAc9G"}

package/dist/src/typecheck/context.js

@@ -0,0 +1,34 @@
+import { TypeSystem } from './type_system.js';
+import { formatType, typesEqual } from './utils.js';
+export function defineSymbol(context, name, type, kind, span) {
+    const existing = context.symbols.lookupInCurrentScope(name);
+    if (existing) {
+        // 报告重复符号错误，而非静默覆盖
+        context.diagnostics.error("E102" /* ErrorCode.DUPLICATE_SYMBOL */, span, {
+            name,
+            previous: existing.span,
+        });
+        return;
+    }
+    const options = {};
+    if (span)
+        options.span = span;
+    options.mutable = kind !== 'param';
+    context.symbols.define(name, type, kind, options);
+}
+export function assignSymbol(context, name, type, span) {
+    const symbol = context.symbols.lookup(name);
+    if (!symbol) {
+        context.diagnostics.undefinedVariable(name, span);
+        return;
+    }
+    if (!typesEqual(symbol.type, type) && !TypeSystem.isSubtype(type, symbol.type)) {
+        context.diagnostics.error("E002" /* ErrorCode.TYPE_MISMATCH_ASSIGN */, span, {
+            name,
+            expected: formatType(symbol.type),
+            actual: formatType(type),
+        });
+    }
+    symbol.type = type;
+}
+//# sourceMappingURL=context.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/typecheck/context.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AA8BpD,MAAM,UAAU,YAAY,CAC1B,OAA+B,EAC/B,IAAY,EACZ,IAAe,EACf,IAAgB,EAChB,IAAW;IAEX,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,QAAQ,EAAE,CAAC;QACb,kBAAkB;QAClB,OAAO,CAAC,WAAW,CAAC,KAAK,0CAA6B,IAAI,EAAE;YAC1D,IAAI;YACJ,QAAQ,EAAE,QAAQ,CAAC,IAAI;SACxB,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAuC,EAAE,CAAC;IACvD,IAAI,IAAI;QAAE,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC;IAC9B,OAAO,CAAC,OAAO,GAAG,IAAI,KAAK,OAAO,CAAC;IACnC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAA+B,EAAE,IAAY,EAAE,IAAe,EAAE,IAAW;IACtG,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,CAAC,WAAW,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClD,OAAO;IACT,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,OAAO,CAAC,WAAW,CAAC,KAAK,8CAAiC,IAAI,EAAE;YAC9D,IAAI;YACJ,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;YACjC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;SACzB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC;AACrB,CAAC"}

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

@@ -0,0 +1,15 @@
+import type { Core, Span, TypecheckDiagnostic } from '../types.js';
+import { ErrorCode } from '../diagnostics/error_codes.js';
+export declare class DiagnosticBuilder {
+    private readonly diagnostics;
+    error(code: ErrorCode, span: Span | undefined, params?: Record<string, unknown>): this;
+    warning(code: ErrorCode, span: Span | undefined, params?: Record<string, unknown>): this;
+    info(code: ErrorCode, span: Span | undefined, params?: Record<string, unknown>): this;
+    typeMismatch(expected: Core.Type, actual: Core.Type, span: Span | undefined): this;
+    undefinedVariable(name: string, span: Span | undefined): this;
+    effectViolation(declared: string[], inferred: string[], span: Span | undefined): this;
+    getDiagnostics(): TypecheckDiagnostic[];
+    hasErrors(): boolean;
+    private add;
+}
+//# sourceMappingURL=diagnostics.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../../src/typecheck/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,SAAS,EAAkC,MAAM,+BAA+B,CAAC;AAc1F,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA6B;IAEzD,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,EAAE,MAAM,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GAAG,IAAI;IAI1F,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,EAAE,MAAM,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GAAG,IAAI;IAI5F,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,EAAE,MAAM,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GAAG,IAAI;IAIzF,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,GAAG,IAAI;IAOlF,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,GAAG,IAAI;IAI7D,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,GAAG,IAAI;IAkCrF,cAAc,IAAI,mBAAmB,EAAE;IAIvC,SAAS,IAAI,OAAO;IAIpB,OAAO,CAAC,GAAG;CAkBZ"}