ws-spec-kit 0.1.0-beta.0

package/dist/domain/repository-path.js

@@ -0,0 +1,87 @@
+import { lstat, realpath } from "node:fs/promises";
+import path from "node:path";
+const maximumPathLength = 1024;
+export function isRepositoryRelativePattern(value) {
+    if (value === "" || value.length > maximumPathLength || value.includes("\0") || value.includes("\\")
+        || value.startsWith("/") || /^[A-Za-z]:/u.test(value))
+        return false;
+    return !value.split("/").some((segment) => segment === "" || segment === "." || segment === "..");
+}
+function tokens(pattern) {
+    const result = [];
+    for (let index = 0; index < pattern.length; index += 1) {
+        if (pattern[index] === "*" && pattern[index + 1] === "*") {
+            if (pattern[index + 2] === "/") {
+                result.push({ kind: "globstar-slash" });
+                index += 2;
+            }
+            else {
+                result.push({ kind: "globstar" });
+                index += 1;
+            }
+        }
+        else if (pattern[index] === "*")
+            result.push({ kind: "star" });
+        else if (pattern[index] === "?")
+            result.push({ kind: "question" });
+        else
+            result.push({ kind: "literal", value: pattern[index] });
+    }
+    return result;
+}
+export function matchesRepositoryPath(pattern, candidate) {
+    if (!isRepositoryRelativePattern(pattern) || !isRepositoryRelativePattern(candidate))
+        return false;
+    const compiled = tokens(pattern);
+    const memo = new Map();
+    const match = (tokenIndex, candidateIndex) => {
+        const key = `${tokenIndex}:${candidateIndex}`;
+        const cached = memo.get(key);
+        if (cached !== undefined)
+            return cached;
+        const token = compiled[tokenIndex];
+        let result;
+        if (token === undefined)
+            result = candidateIndex === candidate.length;
+        else if (token.kind === "literal")
+            result = candidate[candidateIndex] === token.value && match(tokenIndex + 1, candidateIndex + 1);
+        else if (token.kind === "question")
+            result = candidateIndex < candidate.length && candidate[candidateIndex] !== "/" && match(tokenIndex + 1, candidateIndex + 1);
+        else if (token.kind === "star")
+            result = match(tokenIndex + 1, candidateIndex)
+                || (candidateIndex < candidate.length && candidate[candidateIndex] !== "/" && match(tokenIndex, candidateIndex + 1));
+        else if (token.kind === "globstar")
+            result = match(tokenIndex + 1, candidateIndex)
+                || (candidateIndex < candidate.length && match(tokenIndex, candidateIndex + 1));
+        else
+            result = match(tokenIndex + 1, candidateIndex)
+                || (candidateIndex < candidate.length && (candidate[candidateIndex] === "/"
+                    ? match(tokenIndex + 1, candidateIndex + 1) || match(tokenIndex, candidateIndex + 1)
+                    : match(tokenIndex, candidateIndex + 1)));
+        memo.set(key, result);
+        return result;
+    };
+    return match(0, 0);
+}
+export async function resolveRepositoryRegularFile(root, relativePath) {
+    if (!isRepositoryRelativePattern(relativePath))
+        throw new Error("Path is not repository-relative");
+    const canonicalRoot = await realpath(root);
+    const requested = path.resolve(canonicalRoot, ...relativePath.split("/"));
+    const lexicalRelative = path.relative(canonicalRoot, requested);
+    if (lexicalRelative === "" || lexicalRelative.startsWith("..") || path.isAbsolute(lexicalRelative))
+        throw new Error("Path escapes repository root");
+    const before = await lstat(requested);
+    if (!before.isFile() || before.isSymbolicLink())
+        throw new Error("Path is not a regular file");
+    const canonicalFile = await realpath(requested);
+    const canonicalRelative = path.relative(canonicalRoot, canonicalFile);
+    if (canonicalRelative === "" || canonicalRelative.startsWith("..") || path.isAbsolute(canonicalRelative) || canonicalFile !== requested) {
+        throw new Error("Path escapes repository root or traverses a symlink");
+    }
+    const after = await lstat(canonicalFile);
+    if (!after.isFile() || after.isSymbolicLink())
+        throw new Error("Path is not a regular file");
+    return canonicalFile;
+}
+//# sourceMappingURL=repository-path.js.map

package/dist/domain/repository-path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repository-path.js","sourceRoot":"","sources":["../../src/domain/repository-path.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAE/B,MAAM,UAAU,2BAA2B,CAAC,KAAa;IACvD,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,CAAC,MAAM,GAAG,iBAAiB,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;WAC/F,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,CAAC;AACpG,CAAC;AAID,SAAS,MAAM,CAAC,OAAe;IAC7B,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACzD,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;gBACxC,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;gBAClC,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;aAC5D,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;;YAC9D,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAE,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAe,EAAE,SAAiB;IACtE,IAAI,CAAC,2BAA2B,CAAC,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACnG,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,KAAK,GAAG,CAAC,UAAkB,EAAE,cAAsB,EAAW,EAAE;QACpE,MAAM,GAAG,GAAG,GAAG,UAAU,IAAI,cAAc,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;QACnC,IAAI,MAAe,CAAC;QACpB,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,GAAG,cAAc,KAAK,SAAS,CAAC,MAAM,CAAC;aACjE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,GAAG,SAAS,CAAC,cAAc,CAAC,KAAK,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,CAAC;aAC9H,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,cAAc,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,CAAC;aAC5J,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,GAAG,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,cAAc,CAAC;mBACzE,CAAC,cAAc,GAAG,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,cAAc,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC;aAClH,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,MAAM,GAAG,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,cAAc,CAAC;mBAC7E,CAAC,cAAc,GAAG,SAAS,CAAC,MAAM,IAAI,KAAK,CAAC,UAAU,EAAE,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC;;YAC7E,MAAM,GAAG,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,cAAc,CAAC;mBAC9C,CAAC,cAAc,GAAG,SAAS,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,KAAK,GAAG;oBACzE,CAAC,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,UAAU,EAAE,cAAc,GAAG,CAAC,CAAC;oBACpF,CAAC,CAAC,KAAK,CAAC,UAAU,EAAE,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAAC,IAAY,EAAE,YAAoB;IACnF,IAAI,CAAC,2BAA2B,CAAC,YAAY,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACnG,MAAM,aAAa,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;IAChE,IAAI,eAAe,KAAK,EAAE,IAAI,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IACpJ,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,MAAM,CAAC,cAAc,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC/F,MAAM,aAAa,GAAG,MAAM,QAAQ,CAAC,SAAS,CAAC,CAAC;IAChD,MAAM,iBAAiB,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IACtE,IAAI,iBAAiB,KAAK,EAAE,IAAI,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QACxI,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,aAAa,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,cAAc,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC7F,OAAO,aAAa,CAAC;AACvB,CAAC"}

package/dist/domain/states.d.ts

@@ -0,0 +1,38 @@
+export declare const stageStatuses: readonly ["pending", "ready", "claimed", "running", "paused", "validating", "awaiting_approval", "revision_required", "failed", "retrying", "succeeded", "succeeded_with_warnings", "skipped", "invalidated", "cancelled"];
+export type StageStatus = (typeof stageStatuses)[number];
+export interface StageState {
+    status: StageStatus;
+    suspendedFrom?: "running";
+}
+export interface StageEvent {
+    type: "transition";
+    to: StageStatus;
+}
+export interface LoopProjection {
+    loopId: string;
+    iteration: number;
+    maxIterations: number;
+    status: "running" | "succeeded" | "blocked";
+}
+export interface RetryProjection {
+    stepInstanceId: string;
+    attemptsUsed: number;
+    maxAttempts: number;
+    status: "ready" | "running" | "exhausted";
+}
+export declare const workItemStatuses: readonly ["draft", "active", "awaiting_approval", "verifying", "verified", "blocked", "pending_publish", "reconciliation_required", "paused", "closed", "cancelled"];
+export type WorkItemStatus = (typeof workItemStatuses)[number];
+export interface WorkItemState {
+    status: WorkItemStatus;
+    suspendedFrom?: "active" | "blocked" | "pending_publish";
+}
+export interface WorkItemEvent {
+    type: "transition";
+    to: WorkItemStatus;
+}
+export declare class StateTransitionError extends Error {
+    readonly code = "WSSPEC_STATE_TRANSITION_FORBIDDEN";
+    constructor(scope: "Stage" | "Work Item", from: string, to: string);
+}
+export declare function transitionStage(state: StageState, event: StageEvent): StageState;
+export declare function transitionWorkItem(state: WorkItemState, event: WorkItemEvent): WorkItemState;

package/dist/domain/states.js

@@ -0,0 +1,69 @@
+export const stageStatuses = [
+    "pending", "ready", "claimed", "running", "paused", "validating", "awaiting_approval",
+    "revision_required", "failed", "retrying", "succeeded", "succeeded_with_warnings", "skipped",
+    "invalidated", "cancelled",
+];
+export const workItemStatuses = [
+    "draft", "active", "awaiting_approval", "verifying", "verified", "blocked", "pending_publish",
+    "reconciliation_required", "paused", "closed", "cancelled",
+];
+export class StateTransitionError extends Error {
+    code = "WSSPEC_STATE_TRANSITION_FORBIDDEN";
+    constructor(scope, from, to) {
+        super(`${scope} 状态不允许从 ${from} 转换到 ${to}。`);
+        this.name = "StateTransitionError";
+    }
+}
+const pairs = (values) => new Set(values.map(([from, to]) => `${from}:${to}`));
+const stageTransitions = [
+    ["pending", "ready"], ["pending", "skipped"], ["ready", "claimed"], ["ready", "running"],
+    ["claimed", "running"], ["claimed", "ready"], ["running", "validating"], ["running", "failed"],
+    ["running", "paused"], ["paused", "running"], ["paused", "ready"], ["validating", "succeeded"],
+    ["validating", "succeeded_with_warnings"], ["validating", "awaiting_approval"], ["validating", "failed"],
+    ["awaiting_approval", "succeeded"], ["awaiting_approval", "revision_required"],
+    ["revision_required", "ready"], ["failed", "retrying"], ["retrying", "ready"],
+    ["succeeded", "invalidated"], ["succeeded_with_warnings", "invalidated"], ["skipped", "invalidated"],
+    ["invalidated", "ready"],
+];
+for (const status of ["pending", "ready", "claimed", "running", "paused", "validating", "awaiting_approval", "revision_required", "failed", "retrying"]) {
+    stageTransitions.push([status, "invalidated"]);
+}
+for (const status of ["pending", "ready", "claimed", "running", "paused", "validating", "awaiting_approval", "revision_required", "failed", "retrying", "invalidated"]) {
+    stageTransitions.push([status, "cancelled"]);
+}
+const allowedStageTransitions = pairs(stageTransitions);
+const workItemTransitions = [
+    ["draft", "active"], ["active", "awaiting_approval"], ["awaiting_approval", "active"],
+    ["active", "verifying"], ["verifying", "verified"], ["verifying", "blocked"],
+    ["blocked", "verifying"], ["verified", "closed"], ["verified", "pending_publish"],
+    ["verified", "blocked"],
+    ["pending_publish", "pending_publish"], ["pending_publish", "closed"],
+    ["pending_publish", "reconciliation_required"], ["reconciliation_required", "pending_publish"],
+    ["active", "paused"], ["blocked", "paused"], ["pending_publish", "paused"],
+    ["paused", "active"], ["paused", "blocked"], ["paused", "pending_publish"],
+];
+for (const status of workItemStatuses.filter((value) => value !== "closed" && value !== "cancelled")) {
+    workItemTransitions.push([status, "cancelled"]);
+}
+const allowedWorkItemTransitions = pairs(workItemTransitions);
+export function transitionStage(state, event) {
+    if (!allowedStageTransitions.has(`${state.status}:${event.to}`)) {
+        throw new StateTransitionError("Stage", state.status, event.to);
+    }
+    if (event.to === "paused")
+        return { status: event.to, suspendedFrom: "running" };
+    return { status: event.to };
+}
+export function transitionWorkItem(state, event) {
+    if (!allowedWorkItemTransitions.has(`${state.status}:${event.to}`)) {
+        throw new StateTransitionError("Work Item", state.status, event.to);
+    }
+    if (state.status === "paused" && state.suspendedFrom !== event.to) {
+        throw new StateTransitionError("Work Item", state.status, event.to);
+    }
+    if (event.to === "paused") {
+        return { status: event.to, suspendedFrom: state.status };
+    }
+    return { status: event.to };
+}
+//# sourceMappingURL=states.js.map

package/dist/domain/states.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"states.js","sourceRoot":"","sources":["../../src/domain/states.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,mBAAmB;IACrF,mBAAmB,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,yBAAyB,EAAE,SAAS;IAC5F,aAAa,EAAE,WAAW;CAClB,CAAC;AAoBX,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,iBAAiB;IAC7F,yBAAyB,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW;CAClD,CAAC;AAMX,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACpC,IAAI,GAAG,mCAAmC,CAAC;IAEpD,YAAY,KAA4B,EAAE,IAAY,EAAE,EAAU;QAChE,KAAK,CAAC,GAAG,KAAK,WAAW,IAAI,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED,MAAM,KAAK,GAAG,CAAmB,MAAsC,EAAuB,EAAE,CAC9F,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AAEvD,MAAM,gBAAgB,GAA+C;IACnE,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC;IACxF,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;IAC9F,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,YAAY,EAAE,WAAW,CAAC;IAC9F,CAAC,YAAY,EAAE,yBAAyB,CAAC,EAAE,CAAC,YAAY,EAAE,mBAAmB,CAAC,EAAE,CAAC,YAAY,EAAE,QAAQ,CAAC;IACxG,CAAC,mBAAmB,EAAE,WAAW,CAAC,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAC9E,CAAC,mBAAmB,EAAE,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7E,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,CAAC,yBAAyB,EAAE,aAAa,CAAC,EAAE,CAAC,SAAS,EAAE,aAAa,CAAC;IACpG,CAAC,aAAa,EAAE,OAAO,CAAC;CACzB,CAAC;AACF,KAAK,MAAM,MAAM,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,QAAQ,EAAE,UAAU,CAAU,EAAE,CAAC;IACjK,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;AACjD,CAAC;AACD,KAAK,MAAM,MAAM,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,CAAU,EAAE,CAAC;IAChL,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;AAC/C,CAAC;AACD,MAAM,uBAAuB,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;AAExD,MAAM,mBAAmB,GAAqD;IAC5E,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAAE,CAAC,mBAAmB,EAAE,QAAQ,CAAC;IACrF,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,WAAW,EAAE,SAAS,CAAC;IAC5E,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACjF,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,EAAE,CAAC,iBAAiB,EAAE,QAAQ,CAAC;IACrE,CAAC,iBAAiB,EAAE,yBAAyB,CAAC,EAAE,CAAC,yBAAyB,EAAE,iBAAiB,CAAC;IAC9F,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,iBAAiB,EAAE,QAAQ,CAAC;IAC1E,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC,QAAQ,EAAE,iBAAiB,CAAC;CAC3E,CAAC;AACF,KAAK,MAAM,MAAM,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,WAAW,CAAC,EAAE,CAAC;IACrG,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;AAClD,CAAC;AACD,MAAM,0BAA0B,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;AAE9D,MAAM,UAAU,eAAe,CAAC,KAAiB,EAAE,KAAiB;IAClE,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,KAAK,CAAC,EAAE,KAAK,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;IACjF,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAoB,EAAE,KAAoB;IAC3E,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,oBAAoB,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;QAClE,MAAM,IAAI,oBAAoB,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,KAAK,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,aAAa,EAAE,KAAK,CAAC,MAAkD,EAAE,CAAC;IACvG,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;AAC9B,CAAC"}

package/dist/domain/work-package-identity.d.ts

@@ -0,0 +1,2 @@
+import type { WorkPackage } from "../protocol/work-package.js";
+export declare function workPackageIdentityDigest(workPackage: WorkPackage): string;

package/dist/domain/work-package-identity.js

@@ -0,0 +1,10 @@
+import * as canonicalizeModule from "canonicalize";
+import { sha256 } from "./digests.js";
+const canonicalize = canonicalizeModule.default;
+export function workPackageIdentityDigest(workPackage) {
+    const encoded = canonicalize(workPackage);
+    if (encoded === undefined)
+        throw new Error("Work Package 无法规范化。");
+    return sha256(encoded);
+}
+//# sourceMappingURL=work-package-identity.js.map

package/dist/domain/work-package-identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-package-identity.js","sourceRoot":"","sources":["../../src/domain/work-package-identity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,kBAAkB,MAAM,cAAc,CAAC;AAGnD,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAA4D,CAAC;AAErG,MAAM,UAAU,yBAAyB,CAAC,WAAwB;IAChE,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAClE,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC;AACzB,CAAC"}

package/dist/domain/workflow.d.ts

@@ -0,0 +1,58 @@
+import type { ResolvedSkill } from "../registry/skills/types.js";
+import type { ProfileAudit, ProfilePublishing, WorkflowActorRole, WorkflowRetry } from "../workflow-package/types.js";
+export type SecurityClass = "agent" | "local-read" | "local-write" | "external-read" | "external-write" | "control";
+export type ProfileId = "quick" | "standard" | "governed";
+export interface ArtifactRequirement {
+    outputId: string;
+    required: boolean;
+}
+export interface ArtifactDeclaration {
+    outputId: string;
+    artifact: string;
+    required: boolean;
+    contentLevel?: string;
+}
+export interface CompiledStep {
+    id: string;
+    uses: string;
+    actorRole?: WorkflowActorRole;
+    securityClass: SecurityClass;
+    needs: string[];
+    enabled: boolean;
+    skills: ResolvedSkill[];
+    inputs: ArtifactRequirement[];
+    outputs: ArtifactDeclaration[];
+    gates: string[];
+    approval: boolean;
+    authorizationRequired: boolean;
+    artifactLevel?: string;
+    action?: string;
+    objective?: string;
+    expectedOutcome?: string;
+    when?: string;
+    until?: string;
+    retry?: WorkflowRetry;
+    maxIterations?: number;
+    independentReviewActor?: boolean;
+    steps: CompiledStep[];
+}
+export interface ResolvedChangePolicy {
+    kind: "feature" | "documentation-only";
+    allowedPaths: string[];
+    digest: string;
+}
+export interface CompiledProfile {
+    id: string;
+    publishing: ProfilePublishing;
+    audit: ProfileAudit;
+}
+export interface CompiledWorkflow {
+    version: 1;
+    id: string;
+    packageRef: string;
+    packageDigest: string;
+    profile: CompiledProfile;
+    steps: CompiledStep[];
+    order: string[];
+    changePolicy: ResolvedChangePolicy;
+}

package/dist/domain/workflow.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=workflow.js.map

package/dist/domain/workflow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.js","sourceRoot":"","sources":["../../src/domain/workflow.ts"],"names":[],"mappings":""}

package/dist/engine/actor-roles.d.ts

@@ -0,0 +1,15 @@
+import type { SnapshotProfile, SnapshotStep } from "../application/state.js";
+import type { RuntimeProjection } from "../storage/control-plane.js";
+export declare function implementationActors(input: {
+    profile: SnapshotProfile;
+    projection: RuntimeProjection;
+    loopId: string;
+    iteration: number;
+}): ReadonlySet<string> | undefined;
+export declare function completedReviewActors(input: {
+    loop: SnapshotStep;
+    projection: RuntimeProjection;
+}): Array<{
+    iteration: number;
+    actor?: string;
+}>;

package/dist/engine/actor-roles.js

@@ -0,0 +1,53 @@
+import { parseLoopStepInstanceId } from "./control/loop.js";
+function record(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value)
+        ? value
+        : undefined;
+}
+function completedActor(value) {
+    const source = record(value);
+    return {
+        completed: source?.result?.status === "completed",
+        ...(typeof source?.actor === "string" && source.actor !== "" ? { actor: source.actor } : {}),
+    };
+}
+function topLevelWasSkipped(projection, step) {
+    return projection.stages[step.id]?.status === "skipped"
+        || record(projection.contexts[step.id])?.skipped === true;
+}
+export function implementationActors(input) {
+    const actors = new Set();
+    const implementationSteps = input.profile.steps.filter((step) => {
+        return step.enabled && step.actorRole === "implementation" && !topLevelWasSkipped(input.projection, step);
+    });
+    if (implementationSteps.length === 0)
+        return undefined;
+    for (const step of implementationSteps) {
+        const candidate = completedActor(input.projection.contexts[step.id]);
+        if (!candidate.completed || candidate.actor === undefined)
+            return undefined;
+        actors.add(candidate.actor);
+    }
+    const loop = input.profile.steps.find(({ id }) => id === input.loopId);
+    const fixStepIds = new Set(loop?.steps.filter(({ actorRole }) => actorRole === "fix").map(({ id }) => id) ?? []);
+    for (const [stepInstanceId, value] of Object.entries(input.projection.contexts)) {
+        const parsed = parseLoopStepInstanceId(stepInstanceId);
+        if (parsed?.loopId !== input.loopId || !fixStepIds.has(parsed.stepId) || parsed.iteration >= input.iteration)
+            continue;
+        const candidate = completedActor(value);
+        if (!candidate.completed)
+            continue;
+        if (candidate.actor === undefined)
+            return undefined;
+        actors.add(candidate.actor);
+    }
+    return actors.size === 0 ? undefined : actors;
+}
+export function completedReviewActors(input) {
+    const reviewStepIds = new Set(input.loop.steps.filter(({ actorRole }) => actorRole === "review").map(({ id }) => id));
+    return Object.entries(input.projection.contexts)
+        .map(([stepInstanceId, value]) => ({ parsed: parseLoopStepInstanceId(stepInstanceId), candidate: completedActor(value) }))
+        .filter(({ parsed, candidate }) => parsed?.loopId === input.loop.id && reviewStepIds.has(parsed.stepId) && candidate.completed)
+        .map(({ parsed, candidate }) => ({ iteration: parsed.iteration, ...(candidate.actor === undefined ? {} : { actor: candidate.actor }) }));
+}
+//# sourceMappingURL=actor-roles.js.map

package/dist/engine/actor-roles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"actor-roles.js","sourceRoot":"","sources":["../../src/engine/actor-roles.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAE5D,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAC,KAAgC;QAClC,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAmE,CAAC;IAC/F,OAAO;QACL,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,WAAW;QACjD,GAAG,CAAC,OAAO,MAAM,EAAE,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7F,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,UAA6B,EAAE,IAAkB;IAC3E,OAAO,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,SAAS;WAClD,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,IAAI,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAKpC;IACC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,mBAAmB,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QAC9D,OAAO,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC5G,CAAC,CAAC,CAAC;IACH,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACrE,IAAI,CAAC,SAAS,CAAC,SAAS,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC5E,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IACjH,KAAK,MAAM,CAAC,cAAc,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChF,MAAM,MAAM,GAAG,uBAAuB,CAAC,cAAc,CAAC,CAAC;QACvD,IAAI,MAAM,EAAE,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS;YAAE,SAAS;QACvH,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,CAAC,SAAS,CAAC,SAAS;YAAE,SAAS;QACnC,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACpD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAGrC;IACC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACtH,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC;SAC7C,GAAG,CAAC,CAAC,CAAC,cAAc,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;SACzH,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC;SAC9H,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,MAAO,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9I,CAAC"}

package/dist/engine/approvals.d.ts

@@ -0,0 +1,44 @@
+import type { ArtifactReference } from "../protocol/work-package.js";
+import { type RuntimeApproval } from "../storage/control-plane.js";
+type ApprovalArtifactReference = Pick<NonNullable<RuntimeApproval["artifacts"]>[number], "artifactType" | "outputId" | "artifactId" | "schemaVersion" | "path" | "revision" | "contentHash" | "mediaType">;
+export declare function sortApprovalArtifacts<T extends ApprovalArtifactReference>(artifacts: readonly T[]): T[];
+export declare class ApprovalError extends Error {
+    readonly code: string;
+    constructor(code: string, message: string);
+}
+export declare function approvalBindingDigest(input: {
+    stageId: string;
+    attemptId: string;
+    artifacts: readonly Pick<NonNullable<RuntimeApproval["artifacts"]>[number], "artifactType" | "outputId" | "artifactId" | "schemaVersion" | "path" | "revision" | "contentHash" | "mediaType">[];
+}): string;
+export declare function prepareArtifactApproval(input: {
+    cwd: string;
+    workItemId: string;
+    stageId: string;
+    attemptId: string;
+    artifacts: ArtifactReference[];
+    actor?: string;
+    now?: Date;
+}): Promise<RuntimeApproval>;
+export declare function requestArtifactApproval(input: {
+    cwd: string;
+    workItemId: string;
+    stageId: string;
+    attemptId: string;
+    artifactPath: string;
+    artifactType: string;
+    actor?: string;
+}): Promise<RuntimeApproval>;
+export declare function decideArtifactApproval(input: {
+    cwd: string;
+    workItemId: string;
+    requestId: string;
+    decision: "approve" | "reject";
+    terminal: {
+        isTTY?: boolean;
+    };
+    reason?: string;
+    actor?: string;
+    expectedDigest?: string;
+}): Promise<RuntimeApproval>;
+export {};