ws-spec-kit 0.1.0-beta.0

package/dist/engine/approvals.js

@@ -0,0 +1,239 @@
+import { readFile } from "node:fs/promises";
+import path from "node:path";
+import * as canonicalizeModule from "canonicalize";
+import { computeWorkspaceTreeDigest, sha256 } from "../domain/digests.js";
+import { verifyArtifact } from "../domain/artifacts.js";
+import { transitionStage, transitionWorkItem } from "../domain/states.js";
+import { readControlPlane } from "../storage/control-plane.js";
+import { mutateControlPlane } from "./scheduler.js";
+const canonicalize = canonicalizeModule.default;
+function normalizedApprovalArtifact(artifact) {
+    return {
+        artifactType: artifact.artifactType,
+        outputId: artifact.outputId ?? null,
+        artifactId: artifact.artifactId ?? null,
+        schemaVersion: artifact.schemaVersion,
+        path: artifact.path,
+        revision: artifact.revision,
+        contentHash: artifact.contentHash,
+        mediaType: artifact.mediaType ?? null,
+    };
+}
+export function sortApprovalArtifacts(artifacts) {
+    return artifacts.map((artifact) => {
+        const key = canonicalize(normalizedApprovalArtifact(artifact));
+        if (key === undefined)
+            throw new ApprovalError("WSSPEC_APPROVAL_DIGEST_INVALID", "审批 Artifact 引用无法规范化。");
+        return { artifact, key: Buffer.from(key, "utf8") };
+    }).sort((left, right) => Buffer.compare(left.key, right.key)).map(({ artifact }) => artifact);
+}
+export class ApprovalError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "ApprovalError";
+    }
+}
+export function approvalBindingDigest(input) {
+    const binding = canonicalize({
+        version: 1,
+        stageId: input.stageId,
+        attemptId: input.attemptId,
+        artifacts: sortApprovalArtifacts(input.artifacts).map(normalizedApprovalArtifact),
+    });
+    if (binding === undefined)
+        throw new ApprovalError("WSSPEC_APPROVAL_DIGEST_INVALID", "审批 Artifact 引用无法规范化。");
+    return sha256(binding);
+}
+export async function prepareArtifactApproval(input) {
+    const worktree = await worktreeFor(input.cwd, input.workItemId);
+    const artifacts = await Promise.all(input.artifacts.map(async (reference) => {
+        if (reference.path === undefined)
+            throw new ApprovalError("WSSPEC_ARTIFACT_REFERENCE_INVALID", `Artifact ${reference.artifactType} 缺少路径。`);
+        const verified = await verifyArtifact(path.join(worktree, reference.path), {
+            repositoryRoot: worktree,
+            artifactType: reference.artifactType,
+            workItemId: input.workItemId,
+            stageId: input.stageId,
+            attemptId: input.attemptId,
+        });
+        if ((reference.contentHash !== undefined && reference.contentHash !== verified.contentHash)
+            || (reference.revision !== undefined && reference.revision !== verified.revision)) {
+            throw new ApprovalError("WSSPEC_ARTIFACT_REFERENCE_INVALID", `Artifact ${reference.artifactType} 引用与文件不一致。`);
+        }
+        return verified;
+    }));
+    const sortedArtifacts = sortApprovalArtifacts(artifacts);
+    const artifactContents = await Promise.all(sortedArtifacts.map(async (artifact) => ({
+        artifact,
+        content: await readFile(path.join(worktree, artifact.path), "utf8"),
+    })));
+    const contentHash = approvalBindingDigest({ stageId: input.stageId, attemptId: input.attemptId, artifacts: sortedArtifacts });
+    const artifactPath = sortedArtifacts[0]?.path;
+    const artifactDiff = artifactContents
+        .map(({ artifact, content }) => `--- /dev/null\n+++ ${artifact.path}\n${content.split("\n").map((line) => `+${line}`).join("\n")}`)
+        .join("\n")
+        .slice(0, 65536);
+    return {
+        requestId: `approval-${crypto.randomUUID()}`,
+        stageId: input.stageId,
+        attemptId: input.attemptId,
+        ...(artifactPath === undefined ? {} : { artifactPath }),
+        contentHash,
+        artifacts: sortedArtifacts,
+        ...(artifactDiff === "" ? {} : { artifactDiff }),
+        workspaceTreeDigest: await computeWorkspaceTreeDigest(worktree),
+        requestedBy: input.actor ?? "engine",
+        status: "pending",
+        createdAt: (input.now ?? new Date()).toISOString(),
+    };
+}
+async function worktreeFor(cwd, workItemId) {
+    const projection = await readControlPlane(cwd, workItemId);
+    const locator = JSON.parse(await readFile(path.join(path.dirname(projection.controlPlane), "locator.json"), "utf8"));
+    const cache = JSON.parse(await readFile(path.resolve(projection.controlPlane, "../../../repository.json"), "utf8"));
+    return path.join(cache.repositoryRoot, locator.worktree);
+}
+export async function requestArtifactApproval(input) {
+    let projection = await readControlPlane(input.cwd, input.workItemId);
+    if (projection.stages[input.stageId]?.status !== "validating")
+        throw new ApprovalError("WSSPEC_APPROVAL_NOT_READY", "Stage 尚未进入 validating。");
+    const request = await prepareArtifactApproval({
+        ...input,
+        artifacts: [{ artifactType: input.artifactType, schemaVersion: 1, path: input.artifactPath }],
+    });
+    return mutateControlPlane({
+        cwd: input.cwd, workItemId: input.workItemId, eventType: "approval.requested", idempotencyKey: `approval-request:${request.requestId}`,
+        stageId: input.stageId, attemptId: input.attemptId, operationInput: request,
+        mutate: (current) => {
+            if (current.stages[input.stageId]?.status !== "validating")
+                throw new ApprovalError("WSSPEC_APPROVAL_NOT_READY", "Stage 尚未进入 validating。");
+            const next = {
+                ...current,
+                workItem: transitionWorkItem(current.workItem, { type: "transition", to: "awaiting_approval" }),
+                stages: { ...current.stages, [input.stageId]: transitionStage(current.stages[input.stageId], { type: "transition", to: "awaiting_approval" }) },
+                approvals: { ...current.approvals, [request.requestId]: request },
+            };
+            return { projection: next, value: request };
+        },
+    });
+}
+function assertPendingApproval(current, request, expectedDigest) {
+    if (request === undefined) {
+        throw new ApprovalError("WSSPEC_APPROVAL_NOT_PENDING", "审批请求不存在、已经处理或绑定已变化。");
+    }
+    const pending = current.approvals[request.requestId];
+    if (pending?.status !== "pending"
+        || current.stages[pending.stageId]?.status !== "awaiting_approval") {
+        throw new ApprovalError("WSSPEC_APPROVAL_NOT_PENDING", "审批请求不存在、已经处理或绑定已变化。");
+    }
+    if (expectedDigest !== undefined && pending.contentHash !== expectedDigest) {
+        throw new ApprovalError("WSSPEC_APPROVAL_DIGEST_MISMATCH", "审批摘要与当前请求不一致。");
+    }
+    if (pending.stageId !== request.stageId
+        || pending.attemptId !== request.attemptId
+        || pending.contentHash !== request.contentHash
+        || pending.workspaceTreeDigest !== request.workspaceTreeDigest
+        || pending.requestedBy !== request.requestedBy
+        || JSON.stringify(pending.artifacts) !== JSON.stringify(request.artifacts)) {
+        throw new ApprovalError("WSSPEC_APPROVAL_NOT_PENDING", "审批请求不存在、已经处理或绑定已变化。");
+    }
+    return pending;
+}
+async function verifyApprovalArtifacts(worktree, workItemId, request) {
+    const references = request.artifacts ?? (request.artifactPath === undefined ? [] : [{
+            artifactType: path.basename(request.artifactPath, ".md"),
+            schemaVersion: 1,
+            path: request.artifactPath,
+            contentHash: request.contentHash,
+            revision: 1,
+        }]);
+    const verifiedReferences = await Promise.all(references.map((reference) => verifyArtifact(path.join(worktree, reference.path), {
+        repositoryRoot: worktree,
+        artifactType: reference.artifactType,
+        workItemId,
+        stageId: request.stageId,
+        attemptId: request.attemptId,
+    })));
+    const sortedVerifiedReferences = sortApprovalArtifacts(verifiedReferences);
+    if (request.artifacts !== undefined) {
+        const boundReferences = sortApprovalArtifacts(request.artifacts);
+        if (sortedVerifiedReferences.some((verified, index) => {
+            const bound = boundReferences[index];
+            return bound === undefined
+                || verified.artifactType !== bound.artifactType
+                || verified.path !== bound.path
+                || verified.revision !== bound.revision
+                || verified.contentHash !== bound.contentHash;
+        })) {
+            throw new ApprovalError("WSSPEC_APPROVAL_DIGEST_MISMATCH", "审批绑定的 Artifact 引用已经变化。");
+        }
+    }
+    const verifiedDigest = approvalBindingDigest({ stageId: request.stageId, attemptId: request.attemptId, artifacts: sortedVerifiedReferences });
+    if (verifiedDigest !== request.contentHash)
+        throw new ApprovalError("WSSPEC_APPROVAL_DIGEST_MISMATCH", "审批绑定的 Artifact 集合摘要已经变化。");
+}
+async function expireArtifactApproval(input) {
+    await mutateControlPlane({
+        cwd: input.cwd,
+        workItemId: input.workItemId,
+        eventType: "approval.expired",
+        idempotencyKey: `approval-expired:${input.request.requestId}`,
+        stageId: input.request.stageId,
+        attemptId: input.request.attemptId,
+        operationInput: { requestId: input.request.requestId, workspaceTreeDigest: input.request.workspaceTreeDigest },
+        mutate: async (current) => {
+            const pending = assertPendingApproval(current, input.request);
+            if (await computeWorkspaceTreeDigest(input.worktree) === pending.workspaceTreeDigest) {
+                throw new ApprovalError("WSSPEC_APPROVAL_NOT_EXPIRED", "审批绑定的工作区当前未变化，请重试决定。");
+            }
+            const expired = { ...pending, status: "expired", decidedAt: new Date().toISOString() };
+            return { projection: { ...current, approvals: { ...current.approvals, [pending.requestId]: expired } }, value: expired };
+        },
+    });
+}
+export async function decideArtifactApproval(input) {
+    if (input.terminal.isTTY !== true)
+        throw new ApprovalError("WSSPEC_INTERACTIVE_TTY_REQUIRED", "批准或拒绝必须来自真实交互式 TTY。");
+    const projection = await readControlPlane(input.cwd, input.workItemId);
+    const request = projection.approvals[input.requestId];
+    const worktree = await worktreeFor(input.cwd, input.workItemId);
+    try {
+        return await mutateControlPlane({
+            cwd: input.cwd, workItemId: input.workItemId, eventType: "approval.decided", idempotencyKey: `approval-decision:${input.requestId}`,
+            ...(request === undefined ? {} : { stageId: request.stageId, attemptId: request.attemptId }),
+            actor: input.actor ?? "interactive-user", operationInput: { requestId: input.requestId, decision: input.decision, reason: input.reason ?? null, expectedDigest: input.expectedDigest ?? null },
+            mutate: async (current) => {
+                const pending = assertPendingApproval(current, request, input.expectedDigest);
+                if (await computeWorkspaceTreeDigest(worktree) !== pending.workspaceTreeDigest) {
+                    throw new ApprovalError("WSSPEC_APPROVAL_EXPIRED", "审批绑定的工作区已经变化，请重新请求审批。");
+                }
+                await verifyApprovalArtifacts(worktree, input.workItemId, pending);
+                const status = input.decision === "approve" ? "approved" : "rejected";
+                const decided = {
+                    ...pending,
+                    status,
+                    decidedBy: input.actor ?? "interactive-user",
+                    decidedAt: new Date().toISOString(),
+                };
+                const next = {
+                    ...current,
+                    workItem: transitionWorkItem(current.workItem, { type: "transition", to: "active" }),
+                    stages: { ...current.stages, [pending.stageId]: transitionStage(current.stages[pending.stageId], { type: "transition", to: input.decision === "approve" ? "succeeded" : "revision_required" }) },
+                    approvals: { ...current.approvals, [pending.requestId]: decided },
+                };
+                return { projection: next, value: decided };
+            },
+        });
+    }
+    catch (error) {
+        if (!(error instanceof ApprovalError) || error.code !== "WSSPEC_APPROVAL_EXPIRED")
+            throw error;
+        if (request === undefined)
+            throw error;
+        await expireArtifactApproval({ cwd: input.cwd, workItemId: input.workItemId, request, worktree });
+        throw error;
+    }
+}
+//# sourceMappingURL=approvals.js.map

package/dist/engine/approvals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"approvals.js","sourceRoot":"","sources":["../../src/engine/approvals.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,KAAK,kBAAkB,MAAM,cAAc,CAAC;AAEnD,OAAO,EAAE,0BAA0B,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAwB,MAAM,6BAA6B,CAAC;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAEpD,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAA4D,CAAC;AAIrG,SAAS,0BAA0B,CAAC,QAAmC;IACrE,OAAO;QACL,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,IAAI,IAAI;QACnC,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,IAAI;QACvC,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,SAAS,EAAE,QAAQ,CAAC,SAAS,IAAI,IAAI;KACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAsC,SAAuB;IAChG,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/D,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,aAAa,CAAC,gCAAgC,EAAE,sBAAsB,CAAC,CAAC;QACzG,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;AAChG,CAAC;AAED,MAAM,OAAO,aAAc,SAAQ,KAAK;IACjB;IAArB,YAAqB,IAAY,EAAE,OAAe;QAAI,KAAK,CAAC,OAAO,CAAC,CAAC;QAAhD,SAAI,GAAJ,IAAI,CAAQ;QAAqC,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;IAAC,CAAC;CACrG;AAED,MAAM,UAAU,qBAAqB,CAAC,KAIrC;IACC,MAAM,OAAO,GAAG,YAAY,CAAC;QAC3B,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS,EAAE,qBAAqB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,0BAA0B,CAAC;KAClF,CAAC,CAAC;IACH,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,aAAa,CAAC,gCAAgC,EAAE,sBAAsB,CAAC,CAAC;IAC7G,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,KAQ7C;IACC,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE;QAC1E,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,aAAa,CAAC,mCAAmC,EAAE,YAAY,SAAS,CAAC,YAAY,QAAQ,CAAC,CAAC;QAC3I,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE;YACzE,cAAc,EAAE,QAAQ;YACxB,YAAY,EAAE,SAAS,CAAC,YAAY;YACpC,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,SAAS,EAAE,KAAK,CAAC,SAAS;SAC3B,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,WAAW,KAAK,SAAS,IAAI,SAAS,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,CAAC;eACtF,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpF,MAAM,IAAI,aAAa,CAAC,mCAAmC,EAAE,YAAY,SAAS,CAAC,YAAY,YAAY,CAAC,CAAC;QAC/G,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,CAAC,CAAC;IACJ,MAAM,eAAe,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,gBAAgB,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;QAClF,QAAQ;QACR,OAAO,EAAE,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;KACpE,CAAC,CAAC,CAAC,CAAC;IACL,MAAM,WAAW,GAAG,qBAAqB,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,CAAC;IAC9H,MAAM,YAAY,GAAG,eAAe,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAC9C,MAAM,YAAY,GAAG,gBAAgB;SAClC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,sBAAsB,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;SAClI,IAAI,CAAC,IAAI,CAAC;SACV,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACnB,OAAO;QACL,SAAS,EAAE,YAAY,MAAM,CAAC,UAAU,EAAE,EAAE;QAC5C,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;QACvD,WAAW;QACX,SAAS,EAAE,eAAe;QAC1B,GAAG,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;QAChD,mBAAmB,EAAE,MAAM,0BAA0B,CAAC,QAAQ,CAAC;QAC/D,WAAW,EAAE,KAAK,CAAC,KAAK,IAAI,QAAQ;QACpC,MAAM,EAAE,SAAS;QACjB,SAAS,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE;KACnD,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,GAAW,EAAE,UAAkB;IACxD,MAAM,UAAU,GAAG,MAAM,gBAAgB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAyB,CAAC;IAC7I,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,EAAE,0BAA0B,CAAC,EAAE,MAAM,CAAC,CAA+B,CAAC;IAClJ,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,KAA0I;IACtL,IAAI,UAAU,GAAG,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACrE,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,MAAM,KAAK,YAAY;QAAE,MAAM,IAAI,aAAa,CAAC,2BAA2B,EAAE,wBAAwB,CAAC,CAAC;IAC9I,MAAM,OAAO,GAAG,MAAM,uBAAuB,CAAC;QAC5C,GAAG,KAAK;QACR,SAAS,EAAE,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC;KAC9F,CAAC,CAAC;IACH,OAAO,kBAAkB,CAAC;QACxB,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,oBAAoB,EAAE,cAAc,EAAE,oBAAoB,OAAO,CAAC,SAAS,EAAE;QACtI,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,cAAc,EAAE,OAAO;QAC3E,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;YAClB,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,MAAM,KAAK,YAAY;gBAAE,MAAM,IAAI,aAAa,CAAC,2BAA2B,EAAE,wBAAwB,CAAC,CAAC;YAC3I,MAAM,IAAI,GAAG;gBACX,GAAG,OAAO;gBACV,QAAQ,EAAE,kBAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,mBAAmB,EAAE,CAAC;gBAC/F,MAAM,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,mBAAmB,EAAE,CAAC,EAAE;gBAChJ,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE;aAClE,CAAC;YACF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAC9C,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAqD,EACrD,OAAoC,EACpC,cAAuB;IAEvB,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,aAAa,CAAC,6BAA6B,EAAE,qBAAqB,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACrD,IAAI,OAAO,EAAE,MAAM,KAAK,SAAS;WAC5B,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,KAAK,mBAAmB,EAAE,CAAC;QACrE,MAAM,IAAI,aAAa,CAAC,6BAA6B,EAAE,qBAAqB,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,cAAc,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,KAAK,cAAc,EAAE,CAAC;QAC3E,MAAM,IAAI,aAAa,CAAC,iCAAiC,EAAE,eAAe,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO;WAClC,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS;WACvC,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW;WAC3C,OAAO,CAAC,mBAAmB,KAAK,OAAO,CAAC,mBAAmB;WAC3D,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW;WAC3C,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,aAAa,CAAC,6BAA6B,EAAE,qBAAqB,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAC,QAAgB,EAAE,UAAkB,EAAE,OAAwB;IACnG,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAClF,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC;YACxD,aAAa,EAAE,CAAC;YAChB,IAAI,EAAE,OAAO,CAAC,YAAY;YAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,QAAQ,EAAE,CAAC;SACZ,CAAC,CAAC,CAAC;IACJ,MAAM,kBAAkB,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE;QAC7H,cAAc,EAAE,QAAQ;QACxB,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,UAAU;QACV,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,OAAO,CAAC,SAAS;KAC7B,CAAC,CAAC,CAAC,CAAC;IACL,MAAM,wBAAwB,GAAG,qBAAqB,CAAC,kBAAkB,CAAC,CAAC;IAC3E,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,eAAe,GAAG,qBAAqB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACjE,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;YACpD,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;YACrC,OAAO,KAAK,KAAK,SAAS;mBACrB,QAAQ,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;mBAC5C,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;mBAC5B,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;mBACpC,QAAQ,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,CAAC;QAClD,CAAC,CAAC,EAAE,CAAC;YACH,MAAM,IAAI,aAAa,CAAC,iCAAiC,EAAE,wBAAwB,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,qBAAqB,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,SAAS,EAAE,wBAAwB,EAAE,CAAC,CAAC;IAC9I,IAAI,cAAc,KAAK,OAAO,CAAC,WAAW;QAAE,MAAM,IAAI,aAAa,CAAC,iCAAiC,EAAE,0BAA0B,CAAC,CAAC;AACrI,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,KAAsF;IAC1H,MAAM,kBAAkB,CAAC;QACvB,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,kBAAkB;QAC7B,cAAc,EAAE,oBAAoB,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE;QAC7D,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;QAC9B,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS;QAClC,cAAc,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,mBAAmB,EAAE,KAAK,CAAC,OAAO,CAAC,mBAAmB,EAAE;QAC9G,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;YACxB,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAC9D,IAAI,MAAM,0BAA0B,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,mBAAmB,EAAE,CAAC;gBACrF,MAAM,IAAI,aAAa,CAAC,6BAA6B,EAAE,sBAAsB,CAAC,CAAC;YACjF,CAAC;YACD,MAAM,OAAO,GAAoB,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;YACxG,OAAO,EAAE,UAAU,EAAE,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAC3H,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,KAAsL;IACjO,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI;QAAE,MAAM,IAAI,aAAa,CAAC,iCAAiC,EAAE,qBAAqB,CAAC,CAAC;IACrH,MAAM,UAAU,GAAG,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IAChE,IAAI,CAAC;QACH,OAAO,MAAM,kBAAkB,CAAC;YAC9B,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,kBAAkB,EAAE,cAAc,EAAE,qBAAqB,KAAK,CAAC,SAAS,EAAE;YACnI,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;YAC5F,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,kBAAkB,EAAE,cAAc,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI,EAAE;YAC9L,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBACxB,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;gBAC9E,IAAI,MAAM,0BAA0B,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,mBAAmB,EAAE,CAAC;oBAC/E,MAAM,IAAI,aAAa,CAAC,yBAAyB,EAAE,uBAAuB,CAAC,CAAC;gBAC9E,CAAC;gBACD,MAAM,uBAAuB,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBACnE,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;gBACtE,MAAM,OAAO,GAAoB;oBAC/B,GAAG,OAAO;oBACV,MAAM;oBACN,SAAS,EAAE,KAAK,CAAC,KAAK,IAAI,kBAAkB;oBAC5C,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACpC,CAAC;gBACF,MAAM,IAAI,GAAG;oBACX,GAAG,OAAO;oBACV,QAAQ,EAAE,kBAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;oBACpF,MAAM,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,mBAAmB,EAAE,CAAC,EAAE;oBACjM,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE;iBAClE,CAAC;gBACF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;YAC9C,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,aAAa,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,yBAAyB;YAAE,MAAM,KAAK,CAAC;QAC/F,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,KAAK,CAAC;QACvC,MAAM,sBAAsB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAClG,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/engine/archive.d.ts

@@ -0,0 +1,24 @@
+import type { ApplicationSnapshot, SnapshotProfile } from "../application/state.js";
+import type { ProjectGatePolicy } from "./compiler.js";
+import { type RuntimeProjection } from "../storage/control-plane.js";
+export interface CloseDecision {
+    allowed: boolean;
+    missing: Array<{
+        category: "step" | "artifact" | "approval" | "evidence" | "external-receipt";
+        id: string;
+    }>;
+}
+export interface CloseChecklistInput {
+    profile: SnapshotProfile;
+    projection: RuntimeProjection;
+    gatePolicy: ProjectGatePolicy;
+    gates: ApplicationSnapshot["gates"];
+    workspaceTreeDigest: string;
+    configDigest: string;
+}
+export interface WorktreeCloseChecklistInput extends CloseChecklistInput {
+    worktree: string;
+    source: ApplicationSnapshot["source"];
+}
+export declare function closeChecklist(input: CloseChecklistInput): CloseDecision;
+export declare function closeChecklistForWorktree(input: WorktreeCloseChecklistInput): Promise<CloseDecision>;