ws-spec-kit 0.1.0-beta.0

package/dist/engine/external-effects/reconciliation.js

@@ -0,0 +1,18 @@
+export function evaluateExternalDelivery(input) {
+    const warnings = [];
+    const blockers = [];
+    if (input.issueUpdate !== "verified")
+        blockers.push("WSSPEC_EXTERNAL_ISSUE_UPDATE_NOT_VERIFIED");
+    if (input.knowledge !== "verified") {
+        if (input.knowledgeRequired)
+            blockers.push("WSSPEC_REQUIRED_KNOWLEDGE_NOT_VERIFIED");
+        else if (input.knowledge === "warning")
+            warnings.push("WSSPEC_OPTIONAL_KNOWLEDGE_FAILED");
+        else if (input.knowledge !== "absent" && input.knowledge !== "skipped")
+            blockers.push("WSSPEC_OPTIONAL_KNOWLEDGE_NOT_SETTLED");
+    }
+    if (input.issueClose !== "verified")
+        blockers.push("WSSPEC_EXTERNAL_ISSUE_CLOSE_NOT_VERIFIED");
+    return { allowed: blockers.length === 0, warnings, blockers };
+}
+//# sourceMappingURL=reconciliation.js.map

package/dist/engine/external-effects/reconciliation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconciliation.js","sourceRoot":"","sources":["../../../src/engine/external-effects/reconciliation.ts"],"names":[],"mappings":"AAYA,MAAM,UAAU,wBAAwB,CAAC,KAKxC;IACC,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,IAAI,KAAK,CAAC,WAAW,KAAK,UAAU;QAAE,QAAQ,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IACjG,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,iBAAiB;YAAE,QAAQ,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;aAChF,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;aACrF,IAAI,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;YAAE,QAAQ,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACjI,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,KAAK,UAAU;QAAE,QAAQ,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IAC/F,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChE,CAAC"}

package/dist/engine/results.d.ts

@@ -0,0 +1,14 @@
+import type { ProfileDecision, RuntimeProfileProjection } from "../application/profile.js";
+import { type RiskEvaluationInput } from "../policy/risk.js";
+import type { SubmitResult } from "../protocol/application.js";
+import type { RuntimeProjection } from "../storage/control-plane.js";
+export interface SubmitProfileEvaluation {
+    profile: RuntimeProfileProjection;
+    decision?: ProfileDecision;
+}
+export declare function evaluateSubmitProfileDecision(input: {
+    projection: RuntimeProjection;
+    result: SubmitResult;
+    stepId: string;
+    workflow: RiskEvaluationInput["workflow"];
+}): SubmitProfileEvaluation;

package/dist/engine/results.js

@@ -0,0 +1,88 @@
+import { evaluateProfileUpgrade, selectProfile } from "../policy/profile.js";
+import { evaluateRiskRules } from "../policy/risk.js";
+function record(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value) ? value : undefined;
+}
+function strings(value) {
+    return Array.isArray(value) ? value.filter((item) => typeof item === "string" && item !== "") : [];
+}
+function riskLevel(value) {
+    return value === "low" || value === "medium" || value === "high" ? value : undefined;
+}
+const riskStrength = { low: 0, medium: 1, high: 2 };
+function strongestRisk(values) {
+    return values.reduce((current, candidate) => current === null || riskStrength[candidate] > riskStrength[current] ? candidate : current, null);
+}
+function unique(values) {
+    return [...new Set(values)].sort();
+}
+function hasExternalProviderWrite(result) {
+    return result.externalWrites.some((value) => record(value)?.action !== "git.commit");
+}
+function mergeRiskSignals(previous, result) {
+    const signals = [...result.remainingRisks, ...result.evidence].map(record).filter((value) => value !== undefined);
+    const affectedPaths = unique(signals.flatMap((signal) => strings(signal.affectedPaths)));
+    const modifiedPaths = unique(result.modifiedFiles);
+    const paths = [...affectedPaths, ...modifiedPaths];
+    return {
+        levels: unique([
+            ...previous.levels,
+            ...signals.flatMap((signal) => {
+                const value = riskLevel(signal.risk) ?? riskLevel(signal.level) ?? riskLevel(signal.requirementRisk);
+                return value === undefined ? [] : [value];
+            }),
+        ]),
+        affectedPaths: unique([...previous.affectedPaths, ...affectedPaths]),
+        modifiedPaths: unique([...previous.modifiedPaths, ...modifiedPaths]),
+        issueLabels: unique([...previous.issueLabels, ...signals.flatMap((signal) => strings(signal.issueLabels))]),
+        fileTypes: unique([
+            ...previous.fileTypes,
+            ...signals.flatMap((signal) => strings(signal.fileTypes)),
+            ...paths.flatMap((candidate) => {
+                const basename = candidate.split("/").at(-1);
+                const dot = basename?.lastIndexOf(".") ?? -1;
+                return basename === undefined || dot <= 0 || dot === basename.length - 1 ? [] : [basename.slice(dot + 1)];
+            }),
+        ]),
+        plannedActions: unique([
+            ...previous.plannedActions,
+            ...signals.flatMap((signal) => strings(signal.plannedActions)),
+            ...(hasExternalProviderWrite(result) ? ["external-write"] : []),
+        ]),
+    };
+}
+export function evaluateSubmitProfileDecision(input) {
+    const riskSignals = mergeRiskSignals(input.projection.profile.riskSignals, input.result);
+    const profile = { ...input.projection.profile, riskSignals };
+    const postExplore = input.stepId === "explore";
+    const hasRuntimeEvidence = Object.values(riskSignals).some((values) => values.length > 0);
+    if (profile.mode === "auto" && profile.provisional && !postExplore)
+        return { profile };
+    if (!postExplore && !hasRuntimeEvidence)
+        return { profile };
+    if (profile.mode !== "auto" && !hasRuntimeEvidence)
+        return { profile };
+    const evaluation = evaluateRiskRules({
+        workflow: input.workflow,
+        issueLabels: riskSignals.issueLabels,
+        requirementRisk: strongestRisk(riskSignals.levels),
+        affectedPaths: riskSignals.affectedPaths,
+        modifiedPaths: riskSignals.modifiedPaths,
+        fileTypes: riskSignals.fileTypes,
+        plannedActions: riskSignals.plannedActions,
+    });
+    const minimum = profile.mode === "auto" && postExplore
+        ? selectProfile({ mode: "auto", phase: "post-explore", risk: evaluation.risk }).id
+        : evaluation.minimum;
+    const upgrade = evaluateProfileUpgrade({ current: profile.selected, minimum, affectedSteps: evaluation.affectedSteps });
+    return {
+        profile,
+        decision: {
+            previous: profile.selected,
+            selected: upgrade.profile,
+            reasonRuleIds: evaluation.matchedRules,
+            invalidatedStepIds: upgrade.affectedSteps,
+        },
+    };
+}
+//# sourceMappingURL=results.js.map

package/dist/engine/results.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"results.js","sourceRoot":"","sources":["../../src/engine/results.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAkB,MAAM,sBAAsB,CAAC;AAC7F,OAAO,EAAE,iBAAiB,EAA4B,MAAM,mBAAmB,CAAC;AAIhF,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAgC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7H,CAAC;AAED,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACrH,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACvF,CAAC;AAED,MAAM,YAAY,GAA8B,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AAE/E,SAAS,aAAa,CAAC,MAA4B;IACjD,OAAO,MAAM,CAAC,MAAM,CAAmB,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CAC5D,OAAO,KAAK,IAAI,IAAI,YAAY,CAAC,SAAS,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AACrG,CAAC;AAED,SAAS,MAAM,CAAmB,MAAoB;IACpD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAoB;IACpD,OAAO,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,KAAK,YAAY,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,gBAAgB,CAAC,QAA4B,EAAE,MAAoB;IAC1E,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,cAAc,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAoC,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACpJ,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,CAAC,GAAG,aAAa,EAAE,GAAG,aAAa,CAAC,CAAC;IACnD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC;YACb,GAAG,QAAQ,CAAC,MAAM;YAClB,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;gBAC5B,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;gBACrG,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5C,CAAC,CAAC;SACH,CAAC;QACF,aAAa,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,aAAa,EAAE,GAAG,aAAa,CAAC,CAAC;QACpE,aAAa,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,aAAa,EAAE,GAAG,aAAa,CAAC,CAAC;QACpE,WAAW,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC3G,SAAS,EAAE,MAAM,CAAC;YAChB,GAAG,QAAQ,CAAC,SAAS;YACrB,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACzD,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;gBAC7B,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7C,MAAM,GAAG,GAAG,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC7C,OAAO,QAAQ,KAAK,SAAS,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5G,CAAC,CAAC;SACH,CAAC;QACF,cAAc,EAAE,MAAM,CAAC;YACrB,GAAG,QAAQ,CAAC,cAAc;YAC1B,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;YAC9D,GAAG,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAChE,CAAC;KACH,CAAC;AACJ,CAAC;AAOD,MAAM,UAAU,6BAA6B,CAAC,KAK7C;IACC,MAAM,WAAW,GAAG,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACzF,MAAM,OAAO,GAAG,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC;IAC7D,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;IAC/C,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1F,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,WAAW,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACvF,IAAI,CAAC,WAAW,IAAI,CAAC,kBAAkB;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC5D,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,kBAAkB;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAEvE,MAAM,UAAU,GAAG,iBAAiB,CAAC;QACnC,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,eAAe,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC;QAClD,aAAa,EAAE,WAAW,CAAC,aAAa;QACxC,aAAa,EAAE,WAAW,CAAC,aAAa;QACxC,SAAS,EAAE,WAAW,CAAC,SAAS;QAChC,cAAc,EAAE,WAAW,CAAC,cAAc;KAC3C,CAAC,CAAC;IACH,MAAM,OAAO,GAAc,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,WAAW;QAC/D,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE;QAClF,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC;IACvB,MAAM,OAAO,GAAG,sBAAsB,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;IACxH,OAAO;QACL,OAAO;QACP,QAAQ,EAAE;YACR,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,QAAQ,EAAE,OAAO,CAAC,OAAO;YACzB,aAAa,EAAE,UAAU,CAAC,YAAY;YACtC,kBAAkB,EAAE,OAAO,CAAC,aAAa;SAC1C;KACF,CAAC;AACJ,CAAC"}

package/dist/engine/scheduler.d.ts

@@ -0,0 +1,60 @@
+import { type StageStatus, type WorkItemStatus } from "../domain/states.js";
+import { type DomainEvent } from "../storage/events.js";
+import { type RuntimeProjection } from "../storage/control-plane.js";
+export declare class ControlPlaneError extends Error {
+    readonly code: string;
+    constructor(code: string, message: string);
+}
+export type TransitionInput = {
+    cwd: string;
+    workItemId: string;
+    idempotencyKey: string;
+    actor?: string;
+    simulateProjectionFailure?: boolean;
+} & ({
+    scope: "work-item";
+    to: WorkItemStatus;
+    stageId?: never;
+} | {
+    scope: "stage";
+    stageId: string;
+    to: StageStatus;
+});
+type MutationEventType = Exclude<DomainEvent["eventType"], "work-item.transitioned" | "stage.transitioned">;
+export declare function readIdempotentControlPlaneResult<T>(input: {
+    cwd: string;
+    workItemId: string;
+    idempotencyKey: string;
+    operationInput: unknown;
+}): Promise<T | undefined>;
+export declare function mutateControlPlane<T>(input: {
+    cwd: string;
+    workItemId: string;
+    eventType: MutationEventType | ((value: T) => MutationEventType);
+    idempotencyKey: string;
+    actor?: string;
+    stageId?: string | ((value: T) => string | undefined);
+    attemptId?: string | ((value: T) => string | undefined);
+    operationInput: unknown;
+    resolveIdentity?: (projection: RuntimeProjection) => {
+        idempotencyKey: string;
+        operationInput: unknown;
+    };
+    eventDetails?: (value: T) => Record<string, unknown>;
+    simulateEventFailure?: boolean;
+    simulateEventReturnFailure?: boolean;
+    simulateEventVerificationFailure?: boolean;
+    simulateProjectionFailure?: boolean;
+    mutate: (projection: RuntimeProjection) => Promise<{
+        projection: RuntimeProjection;
+        value: T;
+        rollback?: () => Promise<void>;
+    }> | {
+        projection: RuntimeProjection;
+        value: T;
+        rollback?: () => Promise<void>;
+    };
+}): Promise<T>;
+export declare function transitionProjectionLocked(projection: RuntimeProjection, input: TransitionInput): Promise<RuntimeProjection>;
+export declare function transitionRuntime(input: TransitionInput): Promise<RuntimeProjection>;
+export {};

package/dist/engine/scheduler.js

@@ -0,0 +1,225 @@
+import { readFile } from "node:fs/promises";
+import path from "node:path";
+import * as canonicalizeModule from "canonicalize";
+import { parse } from "yaml";
+import { sha256 } from "../domain/digests.js";
+import { assertExternalReceipts } from "../domain/external-receipt.js";
+import { assertExternalActionProjection } from "./external-effects/authorization.js";
+import { transitionStage, transitionWorkItem } from "../domain/states.js";
+import { appendEventUnlocked, readEvents, withControlPlaneLock } from "../storage/events.js";
+import { readControlPlane, replayEvents, writeProjection } from "../storage/control-plane.js";
+const canonicalize = canonicalizeModule.default;
+export class ControlPlaneError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "ControlPlaneError";
+    }
+}
+function operationInputDigest(operationInput) {
+    const encodedInput = canonicalize(operationInput);
+    if (encodedInput === undefined)
+        throw new ControlPlaneError("WSSPEC_EVENT_INVALID", "操作输入无法规范化。");
+    return sha256(encodedInput);
+}
+export async function readIdempotentControlPlaneResult(input) {
+    const projection = await readControlPlane(input.cwd, input.workItemId);
+    const previousSequence = projection.idempotency[input.idempotencyKey];
+    if (previousSequence === undefined)
+        return undefined;
+    const previous = (await readEvents(projection.controlPlane))[previousSequence - 1];
+    if (previous?.inputDigest !== operationInputDigest(input.operationInput)) {
+        throw new ControlPlaneError("WSSPEC_IDEMPOTENCY_CONFLICT", "幂等键已被不同输入使用。");
+    }
+    return previous.result.value;
+}
+export async function mutateControlPlane(input) {
+    const initial = await readControlPlane(input.cwd, input.workItemId);
+    return withControlPlaneLock(initial.controlPlane, async () => {
+        const projection = await readControlPlane(input.cwd, input.workItemId);
+        const mutationIdentity = input.resolveIdentity?.(projection) ?? {
+            idempotencyKey: input.idempotencyKey,
+            operationInput: input.operationInput,
+        };
+        const inputDigest = operationInputDigest(mutationIdentity.operationInput);
+        const previousSequence = projection.idempotency[mutationIdentity.idempotencyKey];
+        if (previousSequence !== undefined) {
+            const previous = (await readEvents(projection.controlPlane))[previousSequence - 1];
+            if (previous?.inputDigest !== inputDigest)
+                throw new ControlPlaneError("WSSPEC_IDEMPOTENCY_CONFLICT", "幂等键已被不同输入使用。");
+            return previous.result.value;
+        }
+        if (projection.readOnly)
+            throw new ControlPlaneError("WSSPEC_CONTROL_PLANE_READ_ONLY", "Work Item 已关闭，运行控制面只读。");
+        const mutation = await input.mutate(projection);
+        let eventPersisted = false;
+        let eventAppendAttempted = false;
+        let eventId;
+        try {
+            assertExternalActionProjection(mutation.projection.externalActions, mutation.projection.externalActionIdempotency);
+            assertExternalReceipts(mutation.projection.evidence, "WSSPEC_EVENT_INVALID");
+            const metadata = await eventMetadata(projection);
+            const snapshot = {
+                workItem: mutation.projection.workItem,
+                stages: mutation.projection.stages,
+                profile: mutation.projection.profile,
+                claims: mutation.projection.claims,
+                contexts: mutation.projection.contexts,
+                approvals: mutation.projection.approvals,
+                externalActions: mutation.projection.externalActions,
+                externalActionIdempotency: mutation.projection.externalActionIdempotency,
+                evidence: mutation.projection.evidence,
+                loops: mutation.projection.loops,
+                retries: mutation.projection.retries,
+                readOnly: mutation.projection.readOnly,
+            };
+            const eventType = typeof input.eventType === "function" ? input.eventType(mutation.value) : input.eventType;
+            eventId = `event-${crypto.randomUUID()}`;
+            const event = {
+                eventId,
+                eventType,
+                occurredAt: new Date().toISOString(),
+                actor: input.actor ?? "engine",
+                repositoryId: projection.repositoryId,
+                workItemId: projection.workItemId,
+                stageId: (typeof input.stageId === "function" ? input.stageId(mutation.value) : input.stageId) ?? null,
+                attemptId: (typeof input.attemptId === "function" ? input.attemptId(mutation.value) : input.attemptId) ?? null,
+                from: projection.workItem.status,
+                to: mutation.projection.workItem.status,
+                idempotencyKey: mutationIdentity.idempotencyKey,
+                ...metadata,
+                inputWorkspaceTreeDigest: metadata.baselineTreeDigest,
+                outputWorkspaceTreeDigest: null,
+                inputDigest,
+                result: {
+                    ...(eventType === "artifact.authored" ? {} : { projection: snapshot }),
+                    value: mutation.value,
+                    ...(input.eventDetails?.(mutation.value) ?? {}),
+                },
+            };
+            if (input.simulateEventFailure === true)
+                throw new ControlPlaneError("WSSPEC_EVENT_INVALID", "模拟的事件追加失败。");
+            eventAppendAttempted = true;
+            const stored = await appendEventUnlocked(projection.controlPlane, event);
+            if (input.simulateEventReturnFailure === true) {
+                throw new ControlPlaneError("WSSPEC_EVENT_INVALID", "模拟事件已经持久化但调用方未收到结果。");
+            }
+            eventPersisted = true;
+            const next = mutation.projection;
+            next.lastSequence = stored.sequence;
+            next.lastEventHash = stored.eventHash;
+            next.idempotency = { ...projection.idempotency, [mutationIdentity.idempotencyKey]: stored.sequence };
+            if (input.simulateProjectionFailure === true)
+                throw new ControlPlaneError("WSSPEC_PROJECTION_WRITE_FAILED", "已追加事件，但模拟的投影写入失败。");
+            await writeProjection(next);
+            return mutation.value;
+        }
+        catch (error) {
+            let eventDefinitelyAbsent = !eventAppendAttempted;
+            if (!eventPersisted && eventAppendAttempted && eventId !== undefined) {
+                try {
+                    if (input.simulateEventVerificationFailure === true) {
+                        throw new ControlPlaneError("WSSPEC_EVENT_INVALID", "模拟的事件日志验证读取失败。");
+                    }
+                    const latest = (await readEvents(projection.controlPlane)).at(-1);
+                    eventPersisted = latest?.eventId === eventId;
+                    eventDefinitelyAbsent = !eventPersisted;
+                }
+                catch {
+                    // Preserve the file when append durability is unknowable; recovery can reconcile an orphan, not a missing target.
+                    eventDefinitelyAbsent = false;
+                }
+            }
+            if (!eventPersisted && eventDefinitelyAbsent)
+                await mutation.rollback?.();
+            throw error;
+        }
+    });
+}
+async function eventMetadata(projection) {
+    const locatorRoot = path.dirname(projection.controlPlane);
+    const locator = JSON.parse(await readFile(path.join(locatorRoot, "locator.json"), "utf8"));
+    const repositoryCache = JSON.parse(await readFile(path.resolve(projection.controlPlane, "../../../repository.json"), "utf8"));
+    if (repositoryCache.repositoryId !== projection.repositoryId) {
+        throw new ControlPlaneError("WSSPEC_REPOSITORY_ID_MISMATCH", "控制面仓库缓存身份不一致。");
+    }
+    const manifestPath = path.join(repositoryCache.repositoryRoot, locator.worktree, ".wsspec", "work-items", projection.workItemId, "work-item.yaml");
+    const manifest = parse(await readFile(manifestPath, "utf8"));
+    return manifest.execution;
+}
+function apply(projection, input) {
+    if (input.scope === "work-item") {
+        return { ...projection, workItem: transitionWorkItem(projection.workItem, { type: "transition", to: input.to }) };
+    }
+    const stage = projection.stages[input.stageId];
+    if (stage === undefined)
+        throw new ControlPlaneError("WSSPEC_STAGE_NOT_FOUND", `找不到 Stage：${input.stageId}`);
+    return { ...projection, stages: { ...projection.stages, [input.stageId]: transitionStage(stage, { type: "transition", to: input.to }) } };
+}
+export async function transitionProjectionLocked(projection, input) {
+    if (projection.readOnly)
+        throw new ControlPlaneError("WSSPEC_CONTROL_PLANE_READ_ONLY", "Work Item 已关闭，运行控制面只读。");
+    const currentStage = input.scope === "stage" ? projection.stages[input.stageId] : undefined;
+    if (input.scope === "stage" && currentStage === undefined) {
+        throw new ControlPlaneError("WSSPEC_STAGE_NOT_FOUND", `找不到 Stage：${input.stageId}`);
+    }
+    const metadata = await eventMetadata(projection);
+    const from = input.scope === "work-item" ? projection.workItem.status : currentStage.status;
+    const inputContent = canonicalize({ scope: input.scope, stageId: input.stageId ?? null, to: input.to });
+    if (inputContent === undefined)
+        throw new ControlPlaneError("WSSPEC_EVENT_INVALID", "状态转换输入无法规范化。");
+    const inputDigest = sha256(inputContent);
+    const previousSequence = projection.idempotency[input.idempotencyKey];
+    if (previousSequence !== undefined) {
+        const events = await readEvents(projection.controlPlane);
+        const previous = events[previousSequence - 1];
+        if (previous?.inputDigest !== inputDigest)
+            throw new ControlPlaneError("WSSPEC_IDEMPOTENCY_CONFLICT", "幂等键已被不同输入使用。");
+        return replayEvents({
+            repositoryId: projection.repositoryId,
+            workItemId: projection.workItemId,
+            stageIds: Object.keys(projection.stages),
+            controlPlane: projection.controlPlane,
+            events: events.slice(0, previousSequence),
+        });
+    }
+    const next = apply(projection, input);
+    const event = {
+        eventId: `event-${crypto.randomUUID()}`,
+        eventType: input.scope === "work-item" ? "work-item.transitioned" : "stage.transitioned",
+        occurredAt: new Date().toISOString(),
+        actor: input.actor ?? "engine",
+        repositoryId: projection.repositoryId,
+        workItemId: projection.workItemId,
+        stageId: input.stageId ?? null,
+        attemptId: null,
+        from,
+        to: input.to,
+        idempotencyKey: input.idempotencyKey,
+        ...metadata,
+        inputWorkspaceTreeDigest: metadata.baselineTreeDigest,
+        outputWorkspaceTreeDigest: null,
+        inputDigest,
+        result: input.scope === "work-item" ? next.workItem : next.stages[input.stageId],
+    };
+    const stored = await appendEventUnlocked(projection.controlPlane, event);
+    next.lastSequence = stored.sequence;
+    next.lastEventHash = stored.eventHash;
+    next.idempotency = { ...projection.idempotency, [input.idempotencyKey]: stored.sequence };
+    if (input.simulateProjectionFailure === true) {
+        throw new ControlPlaneError("WSSPEC_PROJECTION_WRITE_FAILED", "已追加事件，但模拟的投影写入失败。");
+    }
+    return next;
+}
+export async function transitionRuntime(input) {
+    const initial = await readControlPlane(input.cwd, input.workItemId);
+    return withControlPlaneLock(initial.controlPlane, async () => {
+        const projection = await readControlPlane(input.cwd, input.workItemId);
+        const next = await transitionProjectionLocked(projection, input);
+        if (next.lastSequence >= projection.lastSequence)
+            await writeProjection(next);
+        return next;
+    });
+}
+//# sourceMappingURL=scheduler.js.map

package/dist/engine/scheduler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scheduler.js","sourceRoot":"","sources":["../../src/engine/scheduler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,KAAK,kBAAkB,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAE7B,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAyC,MAAM,qBAAqB,CAAC;AACjH,OAAO,EAAE,mBAAmB,EAAE,UAAU,EAAE,oBAAoB,EAAoB,MAAM,sBAAsB,CAAC;AAC/G,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,eAAe,EAA0B,MAAM,6BAA6B,CAAC;AAEtH,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAA4D,CAAC;AAErG,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IACrB;IAArB,YAAqB,IAAY,EAAE,OAAe;QAChD,KAAK,CAAC,OAAO,CAAC,CAAC;QADI,SAAI,GAAJ,IAAI,CAAQ;QAE/B,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAeD,SAAS,oBAAoB,CAAC,cAAuB;IACnD,MAAM,YAAY,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;IAClD,IAAI,YAAY,KAAK,SAAS;QAAE,MAAM,IAAI,iBAAiB,CAAC,sBAAsB,EAAE,YAAY,CAAC,CAAC;IAClG,OAAO,MAAM,CAAC,YAAY,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gCAAgC,CAAI,KAKzD;IACC,MAAM,UAAU,GAAG,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACvE,MAAM,gBAAgB,GAAG,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACtE,IAAI,gBAAgB,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrD,MAAM,QAAQ,GAAG,CAAC,MAAM,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC;IACnF,IAAI,QAAQ,EAAE,WAAW,KAAK,oBAAoB,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,iBAAiB,CAAC,6BAA6B,EAAE,cAAc,CAAC,CAAC;IAC7E,CAAC;IACD,OAAQ,QAAQ,CAAC,MAAuB,CAAC,KAAK,CAAC;AACjD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAI,KAwB3C;IACC,MAAM,OAAO,GAAG,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACpE,OAAO,oBAAoB,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,UAAU,GAAG,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QACvE,MAAM,gBAAgB,GAAG,KAAK,CAAC,eAAe,EAAE,CAAC,UAAU,CAAC,IAAI;YAC9D,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,cAAc,EAAE,KAAK,CAAC,cAAc;SACrC,CAAC;QACF,MAAM,WAAW,GAAG,oBAAoB,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC;QAC1E,MAAM,gBAAgB,GAAG,UAAU,CAAC,WAAW,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC;QACjF,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,CAAC,MAAM,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC;YACnF,IAAI,QAAQ,EAAE,WAAW,KAAK,WAAW;gBAAE,MAAM,IAAI,iBAAiB,CAAC,6BAA6B,EAAE,cAAc,CAAC,CAAC;YACtH,OAAQ,QAAQ,CAAC,MAAuB,CAAC,KAAK,CAAC;QACjD,CAAC;QACD,IAAI,UAAU,CAAC,QAAQ;YAAE,MAAM,IAAI,iBAAiB,CAAC,gCAAgC,EAAE,wBAAwB,CAAC,CAAC;QACjH,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,cAAc,GAAG,KAAK,CAAC;QAC3B,IAAI,oBAAoB,GAAG,KAAK,CAAC;QACjC,IAAI,OAA2B,CAAC;QAChC,IAAI,CAAC;YACH,8BAA8B,CAAC,QAAQ,CAAC,UAAU,CAAC,eAAe,EAAE,QAAQ,CAAC,UAAU,CAAC,yBAAyB,CAAC,CAAC;YACnH,sBAAsB,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAC;YAC7E,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,CAAC,CAAC;YACjD,MAAM,QAAQ,GAAG;gBACf,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,QAAQ;gBACtC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM;gBAClC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,OAAO;gBACpC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM;gBAClC,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,QAAQ;gBACtC,SAAS,EAAE,QAAQ,CAAC,UAAU,CAAC,SAAS;gBACxC,eAAe,EAAE,QAAQ,CAAC,UAAU,CAAC,eAAe;gBACpD,yBAAyB,EAAE,QAAQ,CAAC,UAAU,CAAC,yBAAyB;gBACxE,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,QAAQ;gBACtC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK;gBAChC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,OAAO;gBACpC,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,QAAQ;aACvC,CAAC;YACF,MAAM,SAAS,GAAG,OAAO,KAAK,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC;YAC5G,OAAO,GAAG,SAAS,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC;YACzC,MAAM,KAAK,GAAgB;gBACzB,OAAO;gBACP,SAAS;gBACT,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACpC,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,QAAQ;gBAC9B,YAAY,EAAE,UAAU,CAAC,YAAY;gBACrC,UAAU,EAAE,UAAU,CAAC,UAAU;gBACjC,OAAO,EAAE,CAAC,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI;gBACtG,SAAS,EAAE,CAAC,OAAO,KAAK,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI;gBAC9G,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM;gBAChC,EAAE,EAAE,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM;gBACvC,cAAc,EAAE,gBAAgB,CAAC,cAAc;gBAC/C,GAAG,QAAQ;gBACX,wBAAwB,EAAE,QAAQ,CAAC,kBAAkB;gBACrD,yBAAyB,EAAE,IAAI;gBAC/B,WAAW;gBACX,MAAM,EAAE;oBACN,GAAG,CAAC,SAAS,KAAK,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;oBACtE,KAAK,EAAE,QAAQ,CAAC,KAAK;oBACrB,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;iBAChD;aACF,CAAC;YACF,IAAI,KAAK,CAAC,oBAAoB,KAAK,IAAI;gBAAE,MAAM,IAAI,iBAAiB,CAAC,sBAAsB,EAAE,YAAY,CAAC,CAAC;YAC3G,oBAAoB,GAAG,IAAI,CAAC;YAC5B,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,UAAU,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;YACzE,IAAI,KAAK,CAAC,0BAA0B,KAAK,IAAI,EAAE,CAAC;gBAC9C,MAAM,IAAI,iBAAiB,CAAC,sBAAsB,EAAE,qBAAqB,CAAC,CAAC;YAC7E,CAAC;YACD,cAAc,GAAG,IAAI,CAAC;YACtB,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC;YACjC,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC;YACpC,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC;YACtC,IAAI,CAAC,WAAW,GAAG,EAAE,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC,gBAAgB,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;YACrG,IAAI,KAAK,CAAC,yBAAyB,KAAK,IAAI;gBAAE,MAAM,IAAI,iBAAiB,CAAC,gCAAgC,EAAE,mBAAmB,CAAC,CAAC;YACjI,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;YAC5B,OAAO,QAAQ,CAAC,KAAK,CAAC;QACxB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,qBAAqB,GAAG,CAAC,oBAAoB,CAAC;YAClD,IAAI,CAAC,cAAc,IAAI,oBAAoB,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBACrE,IAAI,CAAC;oBACH,IAAI,KAAK,CAAC,gCAAgC,KAAK,IAAI,EAAE,CAAC;wBACpD,MAAM,IAAI,iBAAiB,CAAC,sBAAsB,EAAE,gBAAgB,CAAC,CAAC;oBACxE,CAAC;oBACD,MAAM,MAAM,GAAG,CAAC,MAAM,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBAClE,cAAc,GAAG,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC;oBAC7C,qBAAqB,GAAG,CAAC,cAAc,CAAC;gBAC1C,CAAC;gBAAC,MAAM,CAAC;oBACP,kHAAkH;oBAClH,qBAAqB,GAAG,KAAK,CAAC;gBAChC,CAAC;YACH,CAAC;YACD,IAAI,CAAC,cAAc,IAAI,qBAAqB;gBAAE,MAAM,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC;YAC1E,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,UAA6B;IACxD,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAyB,CAAC;IACnH,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,EAAE,0BAA0B,CAAC,EAAE,MAAM,CAAC,CAAqD,CAAC;IAClL,IAAI,eAAe,CAAC,YAAY,KAAK,UAAU,CAAC,YAAY,EAAE,CAAC;QAC7D,MAAM,IAAI,iBAAiB,CAAC,+BAA+B,EAAE,eAAe,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,cAAc,EAAE,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;IACnJ,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAgG,CAAC;IAC5J,OAAO,QAAQ,CAAC,SAAS,CAAC;AAC5B,CAAC;AAED,SAAS,KAAK,CAAC,UAA6B,EAAE,KAAsB;IAClE,IAAI,KAAK,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QAChC,OAAO,EAAE,GAAG,UAAU,EAAE,QAAQ,EAAE,kBAAkB,CAAC,UAAU,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;IACpH,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,iBAAiB,CAAC,wBAAwB,EAAE,aAAa,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7G,OAAO,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;AAC5I,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAAC,UAA6B,EAAE,KAAsB;IAClG,IAAI,UAAU,CAAC,QAAQ;QAAE,MAAM,IAAI,iBAAiB,CAAC,gCAAgC,EAAE,wBAAwB,CAAC,CAAC;IACjH,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5F,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC1D,MAAM,IAAI,iBAAiB,CAAC,wBAAwB,EAAE,aAAa,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,YAAa,CAAC,MAAM,CAAC;IAC7F,MAAM,YAAY,GAAG,YAAY,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IACxG,IAAI,YAAY,KAAK,SAAS;QAAE,MAAM,IAAI,iBAAiB,CAAC,sBAAsB,EAAE,cAAc,CAAC,CAAC;IACpG,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;IACzC,MAAM,gBAAgB,GAAG,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACtE,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC;QAC9C,IAAI,QAAQ,EAAE,WAAW,KAAK,WAAW;YAAE,MAAM,IAAI,iBAAiB,CAAC,6BAA6B,EAAE,cAAc,CAAC,CAAC;QACtH,OAAO,YAAY,CAAC;YAClB,YAAY,EAAE,UAAU,CAAC,YAAY;YACrC,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;YACxC,YAAY,EAAE,UAAU,CAAC,YAAY;YACrC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC;SAC1C,CAAC,CAAC;IACL,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,KAAK,GAAgB;QACzB,OAAO,EAAE,SAAS,MAAM,CAAC,UAAU,EAAE,EAAE;QACvC,SAAS,EAAE,KAAK,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,oBAAoB;QACxF,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,QAAQ;QAC9B,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,IAAI;QAC9B,SAAS,EAAE,IAAI;QACf,IAAI;QACJ,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,GAAG,QAAQ;QACX,wBAAwB,EAAE,QAAQ,CAAC,kBAAkB;QACrD,yBAAyB,EAAE,IAAI;QAC/B,WAAW;QACX,MAAM,EAAE,KAAK,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;KACjF,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,UAAU,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;IACzE,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC;IACpC,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC;IACtC,IAAI,CAAC,WAAW,GAAG,EAAE,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;IAC1F,IAAI,KAAK,CAAC,yBAAyB,KAAK,IAAI,EAAE,CAAC;QAC7C,MAAM,IAAI,iBAAiB,CAAC,gCAAgC,EAAE,mBAAmB,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,KAAsB;IAC5D,MAAM,OAAO,GAAG,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACpE,OAAO,oBAAoB,CAAC,OAAO,CAAC,YAAY,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,UAAU,GAAG,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QACvE,MAAM,IAAI,GAAG,MAAM,0BAA0B,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACjE,IAAI,IAAI,CAAC,YAAY,IAAI,UAAU,CAAC,YAAY;YAAE,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/engine/tdd/green-gate.d.ts

@@ -0,0 +1,6 @@
+import type { GreenEvidenceInput, TddCycleEvidence, TrustedEvidence } from "./types.js";
+export declare function recordGreenEvidenceDetails(input: GreenEvidenceInput): Promise<{
+    cycle: TddCycleEvidence;
+    evidence: TrustedEvidence;
+}>;
+export declare function recordGreenEvidence(input: GreenEvidenceInput): Promise<TddCycleEvidence>;

package/dist/engine/tdd/green-gate.js

@@ -0,0 +1,72 @@
+import { computeWorkspaceTreeDigest } from "../../domain/digests.js";
+import { executeTrustedTestGate, parseTrustedEvidence, testAssetScopeManifest, testFileManifest, trustedTestAssetFiles } from "./red-gate.js";
+import { VerificationError } from "./types.js";
+export async function recordGreenEvidenceDetails(input) {
+    const initialGreen = input.step.id === "verify-green" && input.step.action === "quality.test" && input.step.expectedOutcome === "success";
+    const reviewGreen = input.step.id === "verify" && input.step.action === "quality.verify";
+    if (input.step.uses !== "command.execute" || (!initialGreen && !reviewGreen)) {
+        throw new VerificationError("WSSPEC_TDD_STEP_INVALID", "Green Evidence 只能由编译后的 verify-green Step 产生。 ");
+    }
+    const currentWorkspaceDigest = await computeWorkspaceTreeDigest(input.worktree);
+    const parsedRed = parseTrustedEvidence(input.redEvidence);
+    if (parsedRed === undefined)
+        throw new VerificationError("WSSPEC_TDD_EVIDENCE_INVALIDATED", "Red Evidence 结构或内容摘要无效。 ");
+    const [currentTests, currentAssets] = await Promise.all([
+        testFileManifest(input.worktree, parsedRed.testPaths, parsedRed.testPathRules),
+        testAssetScopeManifest(input.worktree, input.gate),
+    ]);
+    if (parsedRed.taskId !== input.taskId
+        || input.redEvidence.commandId !== input.gate.commandId
+        || JSON.stringify(parsedRed.testPathRules) !== JSON.stringify(input.gate.testPathRules)
+        || JSON.stringify(parsedRed.testAssetPaths) !== JSON.stringify(input.gate.testAssetPaths)
+        || JSON.stringify(parsedRed.testAssetRoots) !== JSON.stringify(input.gate.testAssetRoots)
+        || JSON.stringify(parsedRed.productPaths) !== JSON.stringify(input.gate.productPaths)
+        || input.redEvidence.testPathsDigest !== currentTests.digest
+        || parsedRed.testAssetsDigest !== currentAssets.digest
+        || input.workspaceDigest !== currentWorkspaceDigest) {
+        throw new VerificationError("WSSPEC_TDD_EVIDENCE_INVALIDATED", "Red Evidence 与当前命令、测试或 workspace 不再一致。 ");
+    }
+    const evidence = await executeTrustedTestGate({
+        taskId: input.taskId,
+        phase: "green",
+        stepId: input.step.id,
+        gate: input.gate,
+        worktree: input.worktree,
+        workspaceDigest: input.workspaceDigest,
+        testPaths: input.redEvidence.testPaths,
+        expectedCommandDigest: parsedRed.commandDigest,
+    });
+    const redTrustedAssets = trustedTestAssetFiles(parsedRed.testAssets, parsedRed);
+    const greenTrustedAssets = trustedTestAssetFiles(evidence.testAssets, evidence);
+    const sameAssets = greenTrustedAssets.length === redTrustedAssets.length
+        && greenTrustedAssets.every((asset, index) => asset.path === redTrustedAssets[index]?.path && asset.digest === redTrustedAssets[index]?.digest);
+    if (evidence.testAssetsDigest !== parsedRed.testAssetsDigest || !sameAssets) {
+        const redPaths = new Set(parsedRed.testAssets.map(({ path }) => path));
+        const greenPaths = new Set(evidence.testAssets.map(({ path }) => path));
+        const missing = [...redPaths].filter((filename) => !greenPaths.has(filename)).sort();
+        const added = [...greenPaths].filter((filename) => !redPaths.has(filename)).sort();
+        const changed = evidence.testAssets.filter((asset) => parsedRed.testAssets.some((red) => red.path === asset.path && red.digest !== asset.digest)).map(({ path }) => path);
+        throw new VerificationError("WSSPEC_TDD_EVIDENCE_INVALIDATED", `Green 执行覆盖的测试资产集合与 Red 不一致（missing: ${missing.join(", ") || "none"}; added: ${added.join(", ") || "none"}; changed: ${changed.join(", ") || "none"}）。 `);
+    }
+    const cycle = {
+        taskId: input.taskId,
+        testPaths: [...input.redEvidence.testPaths],
+        testPathRules: [...input.redEvidence.testPathRules],
+        testAssets: input.redEvidence.testAssets.map((asset) => ({ ...asset })),
+        testAssetsDigest: input.redEvidence.testAssetsDigest,
+        testAssetPaths: [...input.redEvidence.testAssetPaths],
+        testAssetRoots: [...input.redEvidence.testAssetRoots],
+        productPaths: [...input.redEvidence.productPaths],
+        commandId: input.gate.commandId,
+        redEvidenceId: input.redEvidence.evidenceId,
+        greenEvidenceId: input.previousCycle?.greenEvidenceId ?? evidence.evidenceId,
+        ...(input.previousCycle === undefined && input.refactorEvidenceId === undefined
+            ? {}
+            : { refactorEvidenceId: input.refactorEvidenceId ?? evidence.evidenceId }),
+    };
+    return { cycle, evidence };
+}
+export async function recordGreenEvidence(input) {
+    return (await recordGreenEvidenceDetails(input)).cycle;
+}
+//# sourceMappingURL=green-gate.js.map

package/dist/engine/tdd/green-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"green-gate.js","sourceRoot":"","sources":["../../../src/engine/tdd/green-gate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAE9I,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAE/C,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAAC,KAAyB;IACxE,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS,CAAC;IAC1I,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,gBAAgB,CAAC;IACzF,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,iBAAiB,CAAC,yBAAyB,EAAE,+CAA+C,CAAC,CAAC;IAC1G,CAAC;IACD,MAAM,sBAAsB,GAAG,MAAM,0BAA0B,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChF,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,SAAS;QAAE,MAAM,IAAI,iBAAiB,CAAC,iCAAiC,EAAE,0BAA0B,CAAC,CAAC;IACxH,MAAM,CAAC,YAAY,EAAE,aAAa,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACtD,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,aAAa,CAAC;QAC9E,sBAAsB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC;KACnD,CAAC,CAAC;IACH,IAAI,SAAS,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;WAChC,KAAK,CAAC,WAAW,CAAC,SAAS,KAAK,KAAK,CAAC,IAAI,CAAC,SAAS;WACpD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC;WACpF,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC;WACtF,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC;WACtF,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC;WAClF,KAAK,CAAC,WAAW,CAAC,eAAe,KAAK,YAAY,CAAC,MAAM;WACzD,SAAS,CAAC,gBAAgB,KAAK,aAAa,CAAC,MAAM;WACnD,KAAK,CAAC,eAAe,KAAK,sBAAsB,EAAE,CAAC;QACtD,MAAM,IAAI,iBAAiB,CAAC,iCAAiC,EAAE,yCAAyC,CAAC,CAAC;IAC5G,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC;QAC5C,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,OAAO;QACd,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;QACrB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS;QACtC,qBAAqB,EAAE,SAAS,CAAC,aAAa;KAC/C,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAChF,MAAM,kBAAkB,GAAG,qBAAqB,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAChF,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM;WACnE,kBAAkB,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,gBAAgB,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;IAClJ,IAAI,QAAQ,CAAC,gBAAgB,KAAK,SAAS,CAAC,gBAAgB,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACvE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACxE,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACnF,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC1K,MAAM,IAAI,iBAAiB,CAAC,iCAAiC,EAAE,uCAAuC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,YAAY,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,cAAc,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC;IAC3N,CAAC;IACD,MAAM,KAAK,GAAqB;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC;QAC3C,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,aAAa,CAAC;QACnD,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QACvE,gBAAgB,EAAE,KAAK,CAAC,WAAW,CAAC,gBAAgB;QACpD,cAAc,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,cAAc,CAAC;QACrD,cAAc,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,cAAc,CAAC;QACrD,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC;QACjD,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS;QAC/B,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,UAAU;QAC3C,eAAe,EAAE,KAAK,CAAC,aAAa,EAAE,eAAe,IAAI,QAAQ,CAAC,UAAU;QAC5E,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,kBAAkB,KAAK,SAAS;YAC7E,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;KAC7E,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,KAAyB;IACjE,OAAO,CAAC,MAAM,0BAA0B,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AACzD,CAAC"}

package/dist/engine/tdd/red-gate.d.ts

@@ -0,0 +1,30 @@
+import { type FixedTestGate, type RedEvidenceInput, type TddCycleEvidence, type TestFileDigest, type TestPathRule, type TrustedEvidence } from "./types.js";
+export declare function isTestPath(filename: string, rules?: readonly TestPathRule[]): boolean;
+export declare function testFileManifest(worktree: string, testPaths: readonly string[], rules: readonly TestPathRule[]): Promise<{
+    files: TestFileDigest[];
+    digest: string;
+}>;
+type TestingScope = Pick<FixedTestGate, "testAssetPaths" | "testAssetRoots" | "productPaths">;
+export declare function deriveTestAssetRoots(patterns: readonly string[]): string[];
+export declare function isTrustedTestAssetPath(filename: string, scope: TestingScope): boolean;
+export declare function trustedTestAssetFiles(files: readonly TestFileDigest[], scope: TestingScope): TestFileDigest[];
+export declare function testAssetScopeManifest(worktree: string, scope: TestingScope): Promise<{
+    files: TestFileDigest[];
+    digest: string;
+}>;
+export declare function parseTrustedEvidence(value: unknown): TrustedEvidence | undefined;
+export declare function parseTddCycleEvidence(value: unknown): TddCycleEvidence | undefined;
+export declare function executeTrustedTestGate(input: {
+    taskId: string;
+    phase: "red" | "green";
+    stepId: string;
+    gate: FixedTestGate;
+    worktree: string;
+    workspaceDigest: string;
+    testPaths: readonly string[];
+    expectedCommandDigest?: string;
+    secrets?: readonly string[];
+}): Promise<TrustedEvidence>;
+export declare function recordRedEvidence(input: RedEvidenceInput): Promise<TrustedEvidence>;
+export declare function fixedGateCommandDigest(gate: FixedTestGate, worktree: string): Promise<string>;
+export {};