opencode-swarm 7.184.15 → 7.184.17

package/dist/hooks/pr-workflow-gate.d.ts

@@ -457,6 +457,13 @@ export interface PrWorkflowGateState {
     mode: PrWorkflowMode;
     activatedAt: string;
     updatedAt: string;
+    /**
+     * Skill-contract advisories recorded at activation (and appended by the
+     * auto-resume wake path) when a stale installed copy of the mode's stamped
+     * skill was detected — each names the stale path and the canonical source
+     * (issue #2601). Purely diagnostic: detection never gates activation.
+     */
+    skillContractAdvisories?: string[];
     prHeadSha?: string;
     prReviewBaseRef?: string;
     prReviewBaseSha?: string;
@@ -617,6 +624,17 @@ export declare function activatePrWorkflow(directory: string, sessionID: string,
     requireCheckoutPreflight?: boolean;
     prUrl?: string;
 }): Promise<PrWorkflowGateState>;
+/**
+ * Issue #2601: append skill-contract advisories detected by the auto-resume
+ * wake path onto the durable gate state, independent of activation-time
+ * persistence. Read-modify-write under the session-state mutation lock with
+ * the same CAS writer activation uses; string-equality dedupe; capped at 8.
+ * Fail-open by design: a concurrent gate transition (BLOCKED from the CAS
+ * writer), a missing state, or any error drops the append silently — the
+ * advisory was already surfaced through `advisoryWarn` by the detector, and
+ * an advisory-record failure must never break the gate.
+ */
+export declare function appendPrWorkflowSkillContractAdvisories(directory: string, sessionID: string, advisories: string[]): Promise<void>;
 export declare function readPrWorkflowGateState(directory: string, sessionID: string): Promise<PrWorkflowGateState | null>;
 export type SubmitPrReviewResultOutcome = {
     status: 'recorded' | 'duplicate';
@@ -1455,6 +1473,375 @@ export declare function completePrWorkflow(directory: string, sessionID: string,
     laneLiveness?: PrWorkflowLaneLivenessOptions;
 }): Promise<PrWorkflowCompletionStatus>;
 export declare const _test_exports: {
+    parseGateState: (data: unknown) => z.ZodSafeParseResult<{
+        [x: string]: unknown;
+        schemaVersion: 1;
+        revision: number;
+        sessionID: string;
+        mode: "PR_REVIEW" | "PR_FEEDBACK";
+        activatedAt: string;
+        updatedAt: string;
+        workflowInstanceId?: string | undefined;
+        skillContractAdvisories?: string[] | undefined;
+        prHeadSha?: string | undefined;
+        prReviewBaseRef?: string | undefined;
+        prReviewBaseSha?: string | undefined;
+        prReviewDepthTier?: "L" | "M" | "S" | undefined;
+        prReviewDiffStats?: {
+            changedLines: number;
+            changedFiles: number;
+            hasSubmoduleChange: boolean;
+        } | undefined;
+        prReviewBaseDispatches?: {
+            batchId: string;
+            lanes: {
+                laneId: string;
+                workflowLane: "intent-architecture" | "correctness-state" | "tests-falsifiability" | "security-trust" | "reliability-performance" | "compatibility-delivery";
+                ownedWorkflowLanes?: ("intent-architecture" | "correctness-state" | "tests-falsifiability" | "security-trust" | "reliability-performance" | "compatibility-delivery")[] | undefined;
+            }[];
+            validatedAt: string;
+        }[] | undefined;
+        prReviewBaseDispatch?: {
+            batchId: string;
+            lanes: {
+                laneId: string;
+                workflowLane: "intent-architecture" | "correctness-state" | "tests-falsifiability" | "security-trust" | "reliability-performance" | "compatibility-delivery";
+                ownedWorkflowLanes?: ("intent-architecture" | "correctness-state" | "tests-falsifiability" | "security-trust" | "reliability-performance" | "compatibility-delivery")[] | undefined;
+            }[];
+            validatedAt: string;
+        } | undefined;
+        prReviewResilience?: {
+            policy: {
+                enabled: boolean;
+                canaryProbeMs: number;
+                statusProbeTimeoutMs: number;
+                correlatedFailureThreshold: number;
+                maxRetryAttemptsAfterInitial: number;
+                circuitOpenDurationMs?: number | undefined;
+            };
+            attempts: {
+                attempt: 0 | 1 | 2;
+                targetDimensions: ("intent-architecture" | "correctness-state" | "tests-falsifiability" | "security-trust" | "reliability-performance" | "compatibility-delivery")[];
+                canaryBatchId: string;
+                canaryLaneId: string;
+                canaryWorkflowLane: "intent-architecture" | "correctness-state" | "tests-falsifiability" | "security-trust" | "reliability-performance" | "compatibility-delivery";
+                admittedAt: string;
+                fanoutBatchId?: string | undefined;
+            }[];
+            circuit?: {
+                version: 2;
+                state: "CLOSED" | "OPEN" | "HALF_OPEN";
+                generation: number;
+                contributors: {
+                    batchId: string;
+                    laneId: string;
+                    terminalAt: string;
+                }[];
+                providerClass?: string | undefined;
+                openedAt?: string | undefined;
+                openUntil?: string | undefined;
+                evidenceWaterline?: string | undefined;
+                probe?: {
+                    batchId: string;
+                    laneId: string;
+                    admittedAt: string;
+                } | undefined;
+            } | {
+                signature: string;
+                count: number;
+                contributors: {
+                    batchId: string;
+                    laneId: string;
+                }[];
+                openedAt: string;
+            } | undefined;
+        } | undefined;
+        prReviewContractRetryDimensions?: ("intent-architecture" | "correctness-state" | "tests-falsifiability" | "security-trust" | "reliability-performance" | "compatibility-delivery")[] | undefined;
+        prReviewTriggerLedger?: ({
+            trigger_id: "auth-identity-secrets" | "untrusted-input-boundaries" | "subprocess-platform" | "concurrency-state" | "dependencies-build-release" | "api-schema-migrations" | "test-infrastructure" | "ui-accessibility-i18n" | "privacy-observability" | "generated-provenance" | "unclassified-risk";
+            result: "MATCHED";
+            evidence: string;
+        } | {
+            trigger_id: "auth-identity-secrets" | "untrusted-input-boundaries" | "subprocess-platform" | "concurrency-state" | "dependencies-build-release" | "api-schema-migrations" | "test-infrastructure" | "ui-accessibility-i18n" | "privacy-observability" | "generated-provenance" | "unclassified-risk";
+            result: "NOT_TRIGGERED";
+            evidence: string;
+        })[] | undefined;
+        prReviewTriggerEvalPath?: string | undefined;
+        prReviewTriggerEvalRunId?: string | undefined;
+        prReviewValidationBatches?: {
+            batchId: string;
+            phase: "reviewer" | "critic" | "council";
+            lanes: {
+                laneId: string;
+                workflowLane: string;
+                reviewItemIds?: string[] | undefined;
+            }[];
+            validatedAt: string;
+        }[] | undefined;
+        prReviewBatchCoherence?: Record<string, {
+            [x: string]: unknown;
+            validatedInventory: string[];
+            reviewerItemBindings?: Record<string, string> | undefined;
+            reviewerItemBindingKeyEncoding?: "prefixed-v1" | undefined;
+        }> | undefined;
+        prReviewRetiredReviewerSessionIds?: string[] | undefined;
+        prReviewRetiredConsolidatedLanes?: string[] | undefined;
+        prReviewReservedRunId?: string | undefined;
+        prReviewArtifactRunId?: string | undefined;
+        prReviewFindingsPath?: string | undefined;
+        prReviewPartialBaseCoverage?: {
+            schemaVersion: 2;
+            runId: string;
+            prHeadSha: string;
+            revisionDigest: string;
+            unresolvedDimensions: {
+                dimension: "intent-architecture" | "correctness-state" | "tests-falsifiability" | "security-trust" | "reliability-performance" | "compatibility-delivery";
+                terminalState: "FAILED" | "CANCELLED" | "NOT_LAUNCHED";
+                reasonKind: "cancelled" | "lane_failure" | "not_launched";
+                failureClass?: "contract" | "resource" | "liveness" | "deadline" | undefined;
+                terminalEventId?: string | undefined;
+                batchId?: string | undefined;
+                laneId?: string | undefined;
+                safeDetail?: string | undefined;
+            }[];
+            admittedAt: string;
+        } | {
+            runId: string;
+            prHeadSha: string;
+            revisionDigest: string;
+            missingDimension: "intent-architecture" | "correctness-state" | "tests-falsifiability" | "security-trust" | "reliability-performance" | "compatibility-delivery";
+            failureClass: "contract" | "resource" | "deadline";
+            terminalEventId: string;
+            admittedAt: string;
+        } | undefined;
+        prReviewCoverageDisclosurePath?: string | undefined;
+        prReviewCoverageDisclosureDigest?: string | undefined;
+        prReviewDimensionCancellations?: Record<"intent-architecture" | "correctness-state" | "tests-falsifiability" | "security-trust" | "reliability-performance" | "compatibility-delivery", {
+            reason: string;
+            cancelledAt: string;
+            source: "armed_recovery";
+        }> | undefined;
+        prReviewSubmitRejections?: {
+            childSessionId: string;
+            at: number;
+            message: string;
+            laneId?: string | undefined;
+        }[] | undefined;
+        prReviewArtifactBoundaries?: ("post_explorer" | "post_reviewer" | "post_critic")[] | undefined;
+        prReviewHandoffPath?: string | undefined;
+        prReviewHandoffRequired?: boolean | undefined;
+        checkoutRecovery?: {
+            code: "UNMERGED_INDEX" | "GIT_OPERATION_IN_PROGRESS" | "DIRTY_SUBMODULE" | "SWARM_STATE_TRACKING_ERROR" | "GIT_STATE_INDETERMINATE";
+            retryable: false;
+            requiredAction: string;
+            evidence: {
+                worktreeRoot: string | null;
+                gitDir: string | null;
+                operations: string[];
+                unmergedCodes: string[];
+                paths: string[];
+                trackedCount: number;
+                untrackedCount: number;
+                pathsTruncated: boolean;
+                detail?: string | undefined;
+            };
+            detectedAt: string;
+        } | undefined;
+        prFeedbackTargetUrl?: string | undefined;
+        prFeedbackReviewHandoff?: {
+            path: string;
+            runId: string;
+            sourcePrHeadSha: string;
+            prUrl: string;
+            findingIds: string[];
+            digest: string;
+            sourceWorkflowInstanceId: string;
+            provenance: "active-review-v1" | "external-v1";
+        } | undefined;
+        prFeedbackInventory?: string[] | undefined;
+        prFeedbackInventoryAmendments?: {
+            entry: string;
+            amendedAt: string;
+            batch: number;
+        }[] | undefined;
+        prFeedbackVerifications?: {
+            batchId: string;
+            ownership: {
+                laneId: string;
+                ownedItemIds: string[];
+            }[];
+            validatedAt: string;
+        }[] | undefined;
+        prFeedbackRetiredItemOwnership?: Record<string, string> | undefined;
+        prFeedbackVerification?: {
+            batchId: string;
+            ownership: {
+                laneId: string;
+                ownedItemIds: string[];
+            }[];
+            validatedAt: string;
+        } | undefined;
+        prFeedbackStageA?: {
+            revisionDigest: string;
+            checks: {
+                category: "lint" | "build" | "typecheck" | "diff-check" | "reproduction";
+                command: string[];
+                durationMs: number;
+                workingDirectory?: string | undefined;
+                obligationId?: string | undefined;
+                validatorContract?: {
+                    path: string;
+                    id: string;
+                } | undefined;
+                targets?: string[] | undefined;
+                feedbackTargets?: {
+                    feedbackItemId: string;
+                    target: string;
+                    expectedBehavior: string;
+                    proofKind?: "conflict" | "metadata" | "defect" | "source-proof" | "ci" | "user-decision" | undefined;
+                }[] | undefined;
+            }[];
+            validatedAt: string;
+            feedbackItemIds?: string[] | undefined;
+            applicableCategories?: ("lint" | "build" | "typecheck")[] | undefined;
+            applicableObligations?: {
+                id: string;
+                category: "lint" | "build" | "typecheck";
+                workingDirectory: string;
+                source: string;
+                validatorContract?: {
+                    path: string;
+                    id: string;
+                } | undefined;
+            }[] | undefined;
+        } | undefined;
+        prFeedbackGateBatches?: {
+            batchId: string;
+            phase: "stage-b-reviewer" | "stage-b-test" | "closeout-reviewer" | "closeout-critic";
+            laneId: string;
+            itemIds: string[];
+            revisionDigest: string;
+            validatedAt: string;
+        }[] | undefined;
+        prFeedbackReadyToPublish?: {
+            revisionDigest: string;
+            localHead: string;
+            remoteName: string;
+            remoteBranchRef: string;
+            remoteRef: string;
+            validatedAt: string;
+        } | undefined;
+        prFeedbackPublication?: {
+            schemaVersion: 1;
+            history: {
+                schemaVersion: 1;
+                generation: number;
+                state: "reviewing" | "armed" | "invalidated" | "push_in_flight" | "published" | "cancelled_without_publication";
+                workspaceIdentity: string;
+                sessionID: string;
+                intakeHeadSha: string;
+                localHeadRef: string;
+                localHead: string;
+                remoteName: string;
+                remoteBranchRef: string;
+                remoteRef: string;
+                revisionDigest: string;
+                evidence: {
+                    stageAValidatedAt: string;
+                    batches: {
+                        phase: "stage-b-reviewer" | "stage-b-test" | "closeout-reviewer" | "closeout-critic";
+                        batchId: string;
+                        laneId: string;
+                    }[];
+                };
+                createdAt: string;
+                prTargetUrl?: string | undefined;
+                remoteUrlIdentity?: string | undefined;
+                invalidationReason?: string | undefined;
+                supersededByGeneration?: number | undefined;
+                armedAt?: string | undefined;
+                invalidatedAt?: string | undefined;
+                publishedAt?: string | undefined;
+                cancelledAt?: string | undefined;
+            }[];
+            attempts: {
+                attemptId: string;
+                generation: number;
+                sessionID: string;
+                intentDigest: string;
+                intent: {
+                    remote: string;
+                    sourceSha: string;
+                    destRef: string;
+                };
+                prePush: {
+                    localHead: string;
+                    worktreeClean: boolean;
+                    remoteName: string;
+                    remoteBranchRef: string;
+                    observedRemoteHead: string | null;
+                };
+                startedAt: string;
+                callID?: string | undefined;
+                result?: {
+                    outcome: "completed" | "rejected" | "cancelled" | "uncertain";
+                    exitStatus: number | "not-observed";
+                    diagnostic: string;
+                    postPush: {
+                        localHead: string | null;
+                        observedRemoteHead: string | null;
+                    };
+                    completedAt: string;
+                } | undefined;
+            }[];
+            active?: {
+                schemaVersion: 1;
+                generation: number;
+                state: "reviewing" | "armed" | "invalidated" | "push_in_flight" | "published" | "cancelled_without_publication";
+                workspaceIdentity: string;
+                sessionID: string;
+                intakeHeadSha: string;
+                localHeadRef: string;
+                localHead: string;
+                remoteName: string;
+                remoteBranchRef: string;
+                remoteRef: string;
+                revisionDigest: string;
+                evidence: {
+                    stageAValidatedAt: string;
+                    batches: {
+                        phase: "stage-b-reviewer" | "stage-b-test" | "closeout-reviewer" | "closeout-critic";
+                        batchId: string;
+                        laneId: string;
+                    }[];
+                };
+                createdAt: string;
+                prTargetUrl?: string | undefined;
+                remoteUrlIdentity?: string | undefined;
+                invalidationReason?: string | undefined;
+                supersededByGeneration?: number | undefined;
+                armedAt?: string | undefined;
+                invalidatedAt?: string | undefined;
+                publishedAt?: string | undefined;
+                cancelledAt?: string | undefined;
+            } | undefined;
+        } | undefined;
+        prFeedbackArmedRecovery?: {
+            recoveredAt: string;
+            prHeadSha: string;
+            revisionDigest: string;
+            generation: number;
+            reason: string;
+        } | undefined;
+        prFeedbackRebindCount?: number | undefined;
+        prFeedbackScopes?: {
+            taskId: string;
+            files: string[];
+            revisionDigest: string;
+            declaredAt: string;
+            consumedByCallId?: string | undefined;
+        }[] | undefined;
+    }>;
     classifyPrReviewCircuitSignal: typeof classifyPrReviewCircuitSignal;
     minimumConsolidatedLaneCover: typeof minimumConsolidatedLaneCover;
     analyzePrReviewBatchRecordIntegrity: typeof analyzePrReviewBatchRecordIntegrity;

package/dist/hooks/pr-workflow-response-gate.d.ts

@@ -1,5 +1,6 @@
 import { scanDelegationsForRecovery } from '../background/pending-delegations.js';
 import { claimPrFeedbackMonitorEvents, readPrFeedbackMonitorQueue } from '../background/pr-feedback-event-queue.js';
+import { ensurePrWorkflowSkillContractsFresh } from '../services/pr-workflow-skill-contract.js';
 import { observePrWorkflowAutoWakeEvent } from './pr-workflow-auto-wake.js';
 import { type PrReviewDepthTier, readPrWorkflowGateState } from './pr-workflow-gate.js';
 export declare const DEFAULT_BOUNDARY_QUIET_MS = 120000;
@@ -12,6 +13,7 @@ export declare const _internals: {
     readPrFeedbackMonitorQueue: typeof readPrFeedbackMonitorQueue;
     observePrWorkflowAutoWakeEvent: typeof observePrWorkflowAutoWakeEvent;
     scanDelegationsForRecovery: typeof scanDelegationsForRecovery;
+    ensurePrWorkflowSkillContractsFresh: typeof ensurePrWorkflowSkillContractsFresh;
 };
 /**
  * Maximum number of consecutive unproductive auto-resumes per gated session