codex-workflow-v2 2.0.0-beta.13 → 2.0.0-beta.13.10

package/dist/src/workflow.d.ts

@@ -1,8 +1,11 @@
+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 { appendTaskClaim, appendTaskHandback, readTaskC1Posture } from './alpha6/handoff.js';
 import { prepareDownstreamProofInvalidation, prepareDownstreamProofReplanRecovery } 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 { FileStateStore } from './state/store.js';
@@ -133,11 +136,18 @@ interface MilestoneInitialAssemblyNavigation {
     executionAvailable: false;
     options: MilestoneInitialAssemblyOption[];
 }
+export interface WorkflowTransactionHooks {
+    afterPreExecutionReplanTargetWrite?: (index: number, target: {
+        path: string;
+        content: string | null;
+    }) => void;
+}
 export declare class WorkflowService {
     #private;
     readonly store: FileStateStore;
     private readonly now;
-    constructor(store?: FileStateStore, now?: () => Date);
+    private readonly transactionHooks;
+    constructor(store?: FileStateStore, now?: () => Date, transactionHooks?: WorkflowTransactionHooks);
     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;
@@ -189,6 +199,7 @@ export declare class WorkflowService {
     setMilestonePlan(repository: string, milestoneId: string, expectedRevision: number, plan: MilestonePlanInput): MilestoneState;
     prepareMilestoneScopeChange(repository: string, milestoneId: string, expectedRevision: number, plan: MilestonePlanInput, actor: string): MilestoneScopeChangePreparation;
     applyMilestoneScopeChange(repository: string, milestoneId: string, expectedRevision: number, plan: MilestonePlanInput, actor: string, confirmationCode: string): MilestoneState;
+    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;
     evolveMilestonePlanAutonomously(repository: string, milestoneId: string, expectedRevision: number, plan: MilestonePlanInput, actor: string): MilestoneState;
@@ -201,6 +212,16 @@ export declare class WorkflowService {
     refreshTaskContext(repository: string, taskId: string, expectedTaskRevision: number, expectedKnowledgeMapRevision: number, actor: string, delegationGrantId: string | null): TaskContextRefreshResult;
     authorizeTask(repository: string, taskId: string, expectedRevision: number, actor: string, reason?: string, delegationGrantId?: string | null): TaskState;
     recordPlanRiskAudit(repository: string, taskId: string, expectedRevision: number, input: RecordPlanRiskAuditInput): PlanRiskAuditEvent;
+    recordPreExecutionReplan(repository: string, taskId: string, expectedRevision: number, actor: string, reason: string, binding: {
+        expectedBriefHash: string;
+        expectedPlanHash: string;
+        expectedPlanRiskAuditEventHash: string;
+        expectedHeadCommit: string;
+    }, input: RecordPlanRiskAuditInput): {
+        task: TaskState;
+        audit: PlanRiskAuditEvent;
+        event: PreExecutionReplanEvent;
+    };
     showTaskHandoff(repository: string, taskId: string): {
         task: TaskState;
         posture: ReturnType<typeof readTaskC1Posture>;
@@ -280,10 +301,24 @@ export declare class WorkflowService {
     };
     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;
+        eligible: boolean;
+        blockers: string[];
+        taskHead: string;
+        baseTransportCommit: string | null;
+    };
+    recoverPendingReviewDependency(repository: string, taskId: string, expectedRevision: number, source: PendingReviewUpdateBinding, actor: string, reason: string): TaskState;
     updatePreflight(repository: string): UpdatePreflightResult & {
         adoption: AdoptionPreparation | null;
     };
     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;
@@ -313,6 +348,53 @@ export declare class WorkflowService {
     };
     bindGraph(repository: string, expectedRevision: number | null, request: GraphRefreshRequest, evidence: GraphRefreshEvidence): GraphBinding;
     recordGraphFallback(repository: string, graphKind: GraphKind, mode: GraphMode, expectedRevision: number | null, reason: string): GraphBinding;
+    explainChange(repository: string, taskId: string, input: ChangeExplanationInput): {
+        kind: string;
+        version: number;
+        readOnly: boolean;
+        authority: string;
+        changeKind: string;
+        decisionBasis: string;
+        binding: {
+            projectId: string;
+            repositoryRoot: string;
+            taskId: string | null;
+            revision: number | null;
+            planHash: string | null;
+            head: string;
+            proposedPaths: string[];
+            observedDirtyPaths: string[];
+            proposedPathBytesHash: string | null;
+            requestHash: string;
+            existingAction: string;
+        };
+        proposalHash: string;
+        executionContext: {
+            state: string;
+            externallyEnforced: boolean;
+        };
+        blockers: {
+            layer: string;
+            code: string;
+            resolution: string;
+        }[];
+        existingRoute: {
+            action: string;
+            blockedByExplanation: boolean;
+            recheckNextBeforeMutation: boolean;
+        };
+        proposedPaths: string[];
+        outsideCurrentStep: string[];
+        boundedAmendment: {
+            route: string;
+            prerequisite: string | null;
+            scopeExtensions: string[];
+            effect: unknown;
+        } | null;
+        requiresUser: boolean | null;
+        validationNeeded: string[];
+        limitations: string[];
+    };
     next(repository: string, taskId?: string | null): Record<string, unknown>;
     private nextFromStatus;
     private delegatedAuthorization;
@@ -343,6 +425,7 @@ export declare class WorkflowService {
     private carriedPostRebindCheckSupportDirtyCarryover;
     private assessPostRebindCheckSupportDirtyCarryover;
     private inspectDependencyProvenanceCandidate;
+    private assessCurrentRootCauseReplanDirtyCarryover;
     private inspectHistoricalStepProvenanceCandidate;
     private withTaskNavigationContracts;
     private writerCredentialRecoveryActor;