codex-workflow-v2 2.0.0-beta.13.9 → 2.0.0-beta.14.1

package/dist/src/workflow.d.ts

@@ -1,13 +1,16 @@
+import { type NavigationUpdateReceipt } from './navigation-update.js';
+import { type FailedCheckpointUpdateReceipt } from './failed-checkpoint-update.js';
+import type { CheckExecutionOptions } from './checks/runner.js';
 import { type ChangeExplanationInput } from './change-explanation.js';
-import { type PendingReviewUpdateBinding, type PendingReviewUpdatePreflight } from './pending-review-update.js';
-import { type AdoptionPostureEvent, type AuditedRemediationEvidence, type ContextEnvelope, type CorrectivePlanAuditInput, type DependencyProvenanceRecoveryPreflight, type DelegationGrant, type DelegationGrantGate, type DelegationPolicyInput, type DiscoveryState, type MilestonePlanInput, type MilestoneProgressProjection, type MilestoneState, type KnowledgeSelection, type GraphBinding, type GraphKind, type GraphMode, type GraphRefreshEvidence, type GraphRefreshRequest, type HistoricalStepProvenanceRecoveryPreflight, type PlanRiskAuditEvent, type PublicWriterLease, type PublicWriterLeaseDiagnostic, type PublicWriterLeaseRepairResult, type ProjectKnowledgeMap, type ReviewInput, type StopEscalateOverrideEvent, type StopEscalateOverridePreparation, type TaskPlanInput, type TaskContextRefreshResult, type TaskState, type UpdatePreflightResult, type WriterCredentialResult, type WriterCredentialStatus, type WorkflowObservation, type WorkflowRole, type WorkspaceOwner } from './contracts.js';
+import { type AdoptionPostureEvent, type AuditedRemediationEvidence, type ContextEnvelope, type CorrectivePlanAuditInput, type DependencyProvenanceRecoveryPreflight, type DelegationGrant, type DelegationGrantGate, type DelegationPolicyInput, type DiscoveryState, type MilestonePlanInput, type MilestoneProgressProjection, type MilestoneState, type KnowledgeSelection, type GraphBinding, type GraphKind, type GraphMode, type GraphRefreshEvidence, type GraphRefreshRequest, type HistoricalStepProvenanceRecoveryPreflight, type PlanRiskAuditEvent, type PublicWriterLease, type PublicWriterLeaseDiagnostic, type PublicWriterLeaseRepairResult, type ProjectKnowledgeMap, type ReviewInput, type TaskPlanInput, type TaskContextRefreshResult, type TaskState, type UpdatePreflightResult, type WriterCredentialResult, type WriterCredentialStatus, type WorkflowObservation, type WorkflowRole, type WorkspaceOwner } from './contracts.js';
 import { appendTaskClaim, appendTaskHandback, readTaskC1Posture } from './alpha6/handoff.js';
-import { prepareDownstreamProofInvalidation, prepareDownstreamProofReplanRecovery } from './alpha6/downstream-proof.js';
+import { prepareDownstreamProofInvalidation } from './alpha6/downstream-proof.js';
 import { type AdoptionPreparation } from './alpha6/adoption.js';
 import { type RecordPlanRiskAuditInput } from './alpha6/plan-risk.js';
 import { type PreExecutionReplanEvent } from './alpha6/preexecution-replan.js';
 import { type ActiveMilestoneAutonomy, type MilestoneAutonomyPreparation } from './alpha7/autonomy.js';
 import { type ExternalStrictStepReviewInput, type ExternalStrictTaskReviewInput, type ReviewMode, type ReviewerCommandRunner } from './reviewer.js';
+import { CoreTaskOperationLockManager } from './state/lock.js';
 import { FileStateStore } from './state/store.js';
 import { type CorrectiveYieldExecutionResult } from './state/corrective-yield-executor.js';
 import { type CorrectiveReplanHumanGate, type CorrectiveReplanHumanGateResult, type CorrectiveReplanPublicCandidate, type CorrectiveReplanPublicCredential } from './state/corrective-replan-public.js';
@@ -96,34 +99,6 @@ export interface MilestoneScopeChangePreparation {
         memberships: MilestoneState['memberships'];
     };
 }
-export interface Alpha6StrictReviewRescuePreflight {
-    eligible: boolean;
-    mutationFree: true;
-    runnerPackageVersion: string;
-    requiredProjectPackageVersion: '2.0.0-alpha.6';
-    declaredProjectPackageVersion: string | null;
-    projectId: string;
-    repositoryRoot: string;
-    clean: boolean;
-    activeLeases: PublicWriterLease[];
-    staleLeases: PublicWriterLease[];
-    candidate: {
-        taskId: string;
-        taskRevision: number;
-        stepId: string;
-        completionCommit: string;
-        currentHead: string;
-        knowledgeBindingStale: boolean;
-    } | null;
-    blockers: string[];
-    requiredActions: Array<{
-        action: 'locks repair' | 'task step-review';
-        entityId?: string;
-        taskId?: string;
-        stepId?: string;
-        expectedRevision?: number;
-    }>;
-}
 interface MilestoneInitialAssemblyOption {
     action: 'linked-task-assembly' | 'milestone plan-set';
     commands: string[];
@@ -145,13 +120,13 @@ export interface WorkflowTransactionHooks {
 export declare class WorkflowService {
     #private;
     readonly store: FileStateStore;
+    private readonly checkOptions;
     private readonly now;
     private readonly transactionHooks;
-    constructor(store?: FileStateStore, now?: () => Date, transactionHooks?: WorkflowTransactionHooks);
+    constructor(store?: FileStateStore, now?: () => Date, transactionHooks?: WorkflowTransactionHooks, checkOptions?: CheckExecutionOptions);
     inspectWriterLease(repository: string, entityId: string): PublicWriterLeaseDiagnostic | null;
-    repairStaleWriterLease(repository: string, entityId: string): PublicWriterLeaseRepairResult;
-    prepareTaskStopOverride(repository: string, taskId: string, stepId: string, expectedRevision: number, actor: string, reason: string): StopEscalateOverridePreparation;
-    applyTaskStopOverride(repository: string, taskId: string, stepId: string, expectedRevision: number, actor: string, reason: string, confirmationCode: string): StopEscalateOverrideEvent;
+    repairStaleWriterLease(repository: string, entityId: string): PublicWriterLeaseRepairResult | ReturnType<CoreTaskOperationLockManager['repairExpiredOrphan']>;
+    authorizeDelegatedCorrectiveReplan(repository: string, taskId: string, candidate: CorrectiveReplanPublicCandidate): CorrectiveReplanPublicCredential;
     prepareCorrectiveReplan(repository: string, taskId: string, candidate: CorrectiveReplanPublicCandidate): CorrectiveReplanHumanGateResult;
     confirmCorrectiveReplan(repository: string, taskId: string, candidate: CorrectiveReplanPublicCandidate, gate: CorrectiveReplanHumanGate, confirmationCode: string): CorrectiveReplanPublicCredential;
     executeCorrectiveReplan(repository: string, taskId: string, candidate: CorrectiveReplanPublicCandidate, credential: CorrectiveReplanPublicCredential): CorrectiveReplanExecutionResult;
@@ -162,10 +137,6 @@ export declare class WorkflowService {
         task: TaskState;
         invalidation: ReturnType<typeof prepareDownstreamProofInvalidation>['event'];
     };
-    recoverDownstreamProofReplan(repository: string, taskId: string, expectedTaskRevision: number, actor: string, reason: string): {
-        task: TaskState;
-        recovery: ReturnType<typeof prepareDownstreamProofReplanRecovery>['event'];
-    };
     private correctiveReplanController;
     private observationSnapshot;
     prepareDelegation(repository: string, input: DelegationPolicyInput): DelegationGrantGate;
@@ -202,8 +173,10 @@ export declare class WorkflowService {
     listDelegations(projectId: string): DelegationGrant[];
     prepareMilestoneAutonomy(repository: string, milestoneId: string, expectedRevision: number, principal: string, delegate: string, expiresAt: string): MilestoneAutonomyPreparation;
     grantMilestoneAutonomy(repository: string, milestoneId: string, expectedRevision: number, principal: string, delegate: string, expiresAt: string, confirmationCode: string): ActiveMilestoneAutonomy;
+    bindMilestoneAutonomy(repository: string, milestoneId: string, expectedRevision: number, actor: string, grantId: string): ActiveMilestoneAutonomy;
     evolveMilestonePlanAutonomously(repository: string, milestoneId: string, expectedRevision: number, plan: MilestonePlanInput, actor: string): MilestoneState;
     authorizeMilestone(repository: string, milestoneId: string, expectedRevision: number, actor: string, reason?: string, delegationGrantId?: string | null): MilestoneState;
+    private assertMilestoneValidationReady;
     validateMilestone(repository: string, milestoneId: string, expectedRevision: number): MilestoneState;
     acceptMilestone(repository: string, milestoneId: string, expectedRevision: number, actor: string, confirmationCode: string, delegationGrantId?: string | null): MilestoneState;
     cancelMilestone(repository: string, milestoneId: string, expectedRevision: number, reason: string): MilestoneState;
@@ -281,7 +254,9 @@ export declare class WorkflowService {
     submitTask(repository: string, taskId: string, expectedRevision: number, writerToken: string, actor?: string): TaskState;
     recordReview(repository: string, taskId: string, expectedRevision: number, review: ReviewInput, actor?: string, writerToken?: string | null): TaskState;
     recoverStepCorrectiveDecision(repository: string, taskId: string, stepId: string, expectedRevision: number, actor: string, writerToken: string | null): import("./contracts.js").CorrectiveDecisionRecoveryEvent;
-    recoverRemediationMode(repository: string, taskId: string, stepId: string, expectedRevision: number, actor: string, writerToken: string | null): import("./contracts.js").RemediationModeRecoveryEvent;
+    /** Recording a machine finding may retain its exact failed execution context;
+     * it never approves changed Knowledge or authorizes another task run. */
+    private assessPlanIntegrityRecoveryAdmission;
     recoverPlanIntegrity(repository: string, taskId: string, stepId: string, expectedRevision: number, actor: string, writerToken: string | null): {
         assessment: import("./alpha6/plan-integrity.js").PlanIntegrityRecoveryAssessment;
         event: import("./contracts.js").CorrectiveDecisionEvent;
@@ -300,41 +275,90 @@ export declare class WorkflowService {
         recoveredMilestoneIds: string[];
     };
     prepareAdoption(repository: string): AdoptionPreparation;
-    applyAdoption(repository: string, actor: string, confirmationCode: string): AdoptionPostureEvent;
-    pendingReviewUpdatePreflight(repository: string, taskId: string): PendingReviewUpdatePreflight;
-    pendingReviewDependencyPreflight(repository: string, taskId: string, source: PendingReviewUpdateBinding): {
-        readOnly: boolean;
+    applyAdoption(repository: string, actor: string, confirmationCode: string, delegationGrantId?: string | null): AdoptionPostureEvent;
+    updatePreflight(repository: string): UpdatePreflightResult & {
+        adoption: AdoptionPreparation | null;
+    };
+    private navigationUpdateBoundary;
+    failedCheckpointUpdateSourcePreflight(repository: string, taskId: string, tarball: string): {
+        eligible: boolean;
+        blockers: string[];
+        receipt: FailedCheckpointUpdateReceipt;
+    } | {
         eligible: boolean;
         blockers: string[];
-        taskHead: string;
-        baseTransportCommit: string | null;
+        receipt: null;
     };
-    recoverPendingReviewDependency(repository: string, taskId: string, expectedRevision: number, source: PendingReviewUpdateBinding, actor: string, reason: string): TaskState;
-    updatePreflight(repository: string): UpdatePreflightResult & {
-        adoption: AdoptionPreparation | null;
+    failedCheckpointUpdateTransportPreflight(repository: string, taskId: string, tarball: string, receipt: FailedCheckpointUpdateReceipt): {
+        eligible: boolean;
+        blockers: string[];
+        proof: {
+            receipt: FailedCheckpointUpdateReceipt;
+            target: {
+                commitSha: string;
+                parentCommitSha: string;
+                packageVersion: string;
+            };
+            baseTransport: string;
+            targetHead: string;
+            binding: import("./failed-checkpoint-update.js").FailedCheckpointUpdateBinding;
+        };
+        action: string;
+        expectedRevision: number;
+        actor: string;
+    } | {
+        eligible: boolean;
+        blockers: string[];
+        proof: null;
+        action?: never;
+        expectedRevision?: never;
+        actor?: never;
+    };
+    recoverFailedCheckpointUpdate(repository: string, taskId: string, expectedRevision: number, tarball: string, receipt: FailedCheckpointUpdateReceipt, actor: string, reason: string): TaskState;
+    navigationUpdateSourcePreflight(repository: string, taskId: string, tarball: string): {
+        eligible: boolean;
+        blockers: string[];
+        receipt: NavigationUpdateReceipt;
+    } | {
+        eligible: boolean;
+        blockers: string[];
+        receipt: null;
+    };
+    navigationUpdateTransportPreflight(repository: string, taskId: string, tarball: string, receipt: NavigationUpdateReceipt): {
+        eligible: boolean;
+        blockers: string[];
+        proof: {
+            receipt: NavigationUpdateReceipt;
+            commits: {
+                commitSha: string;
+                parentCommitSha: string;
+                packageVersion: string;
+            }[];
+            baseTransport: string;
+            targetHead: string;
+        };
+        action: string;
+        expectedRevision: number;
+        actor: string;
+    } | {
+        eligible: boolean;
+        blockers: string[];
+        proof: null;
+        action?: never;
+        expectedRevision?: never;
+        actor?: never;
     };
+    recoverNavigationUpdate(repository: string, taskId: string, expectedRevision: number, tarball: string, receipt: NavigationUpdateReceipt, actor: string, reason: string): TaskState;
     dependencyProvenanceRecoveryPreflight(repository: string, taskId: string): DependencyProvenanceRecoveryPreflight;
-    correctiveCarryoverUpdatePreflight(repository: string, taskId: string, candidate?: {
-        plan: TaskPlanInput;
-        planRiskAudit: RecordPlanRiskAuditInput;
-    } | null): Record<string, unknown>;
-    private consumedCarryoverSourceRecoveryPreflight;
     historicalStepProvenanceRecoveryPreflight(repository: string, taskId: string): HistoricalStepProvenanceRecoveryPreflight;
     historicalStepDependencyRecoveryPreflight(repository: string, taskId: string): DependencyProvenanceRecoveryPreflight;
     recoverHistoricalStepProvenance(repository: string, taskId: string, expectedRevision: number, commitSha: string, actor: string, reason: string): TaskState;
     activeDownstreamProofDependencyRecoveryPreflight(repository: string, taskId: string): DependencyProvenanceRecoveryPreflight;
-    downstreamProofReplanUpdatePreflight(repository: string, taskId: string): Record<string, unknown>;
-    planIntegrityUpdatePreflight(repository: string, taskId: string): Record<string, unknown>;
-    planIntegrityDependencyRecoveryPreflight(repository: string, taskId: string): DependencyProvenanceRecoveryPreflight;
-    downstreamProofReplanDependencyRecoveryPreflight(repository: string, taskId: string): DependencyProvenanceRecoveryPreflight;
     recoverDependencyProvenance(repository: string, taskId: string, expectedRevision: number, actor: string, reason: string): TaskState;
     recoverActiveDownstreamProofDependencyProvenance(repository: string, taskId: string, expectedRevision: number, actor: string, reason: string): TaskState;
-    recoverDownstreamProofReplanDependencyProvenance(repository: string, taskId: string, expectedRevision: number, actor: string, reason: string): TaskState;
     recoverHistoricalStepDependencyProvenance(repository: string, taskId: string, expectedRevision: number, actor: string, reason: string): TaskState;
-    recoverPlanIntegrityDependencyProvenance(repository: string, taskId: string, expectedRevision: number, actor: string, reason: string): TaskState;
     private recoverDependencyProvenanceCandidate;
     milestoneProgress(repository: string, milestoneId: string): MilestoneProgressProjection;
-    alpha6StrictReviewRescuePreflight(repository: string): Alpha6StrictReviewRescuePreflight;
     scanKnowledgeMap(repository: string): ProjectKnowledgeMap;
     showKnowledgeMap(repository: string): ProjectKnowledgeMap;
     knowledgeMapStatus(repository: string): ProjectKnowledgeMap;
@@ -345,6 +369,7 @@ export declare class WorkflowService {
     graphStatus(repository: string, graphKind: GraphKind, mode?: GraphMode): {
         request: GraphRefreshRequest;
         binding: GraphBinding | null;
+        observation: WorkflowObservation;
     };
     bindGraph(repository: string, expectedRevision: number | null, request: GraphRefreshRequest, evidence: GraphRefreshEvidence): GraphBinding;
     recordGraphFallback(repository: string, graphKind: GraphKind, mode: GraphMode, expectedRevision: number | null, reason: string): GraphBinding;
@@ -403,11 +428,11 @@ export declare class WorkflowService {
     private currentCorrectiveDerivedTaskAuthority;
     private nextForTaskWithDelegation;
     private taskPlanContract;
-    private assertTaskContextChangeAllowed;
+    private registeredPlanningContextTransport;
+    private taskContextChangeBlocker;
     private stopOverrideContextRebindDecisionId;
     private taskHasTerminalCorrectiveDecision;
     private taskTerminalCorrectivePosture;
-    private assertStopOverrideRepositoryBoundary;
     private delegatedApprovalOptions;
     private delegatedContextRefreshOptions;
     private findDelegatedContextRefreshOwner;
@@ -420,7 +445,6 @@ export declare class WorkflowService {
     private listMilestonesCurrent;
     private listMilestonesObserved;
     private taskGitNavigationOverride;
-    private carriedPlanIntegrityUpdateCompatibility;
     private postRebindCheckSupportCompatibility;
     private carriedPostRebindCheckSupportDirtyCarryover;
     private assessPostRebindCheckSupportDirtyCarryover;