codex-workflow-v2 2.0.0-alpha.4 → 2.0.0-alpha.6.1

package/dist/src/workflow.d.ts

@@ -1,5 +1,9 @@
-import { type ContextEnvelope, type DelegationGrant, type DelegationGrantGate, type DelegationPolicyInput, type DiscoveryState, type MilestonePlanInput, type MilestoneState, type KnowledgeSelection, type GraphBinding, type GraphKind, type GraphMode, type GraphRefreshEvidence, type GraphRefreshRequest, type ProjectKnowledgeMap, type ReviewInput, type TaskPlanInput, type TaskState, type WriterLease, type WorkflowRole, type WorkspaceOwner } from './contracts.js';
+import { type AdoptionPostureEvent, type ContextEnvelope, type CorrectivePlanAuditInput, type DelegationGrant, type DelegationGrantGate, type DelegationPolicyInput, type DiscoveryState, type MilestonePlanInput, type MilestoneState, type KnowledgeSelection, type GraphBinding, type GraphKind, type GraphMode, type GraphRefreshEvidence, type GraphRefreshRequest, type PlanRiskAuditEvent, type ProjectKnowledgeMap, type ReviewInput, type TaskPlanInput, type TaskContextRefreshResult, type TaskState, type UpdatePreflightResult, type WriterLease, type WorkflowRole, type WorkspaceOwner } from './contracts.js';
+import { appendTaskClaim, appendTaskHandback, readTaskC1Posture } from './alpha6/handoff.js';
+import { type AdoptionPreparation } from './alpha6/adoption.js';
+import { type RecordPlanRiskAuditInput } from './alpha6/plan-risk.js';
 import { type RepositoryIdentity } from './repository.js';
+import { type ReviewerCommandRunner } from './reviewer.js';
 import { WriterLockManager } from './state/lock.js';
 import { FileStateStore } from './state/store.js';
 export interface DiscoveryInput {
@@ -24,6 +28,63 @@ export interface WorkflowContext {
     store: FileStateStore;
     locks: WriterLockManager;
 }
+export interface MilestoneScopeChangePreparation {
+    milestoneId: string;
+    revision: number;
+    actor: string;
+    candidatePlanHash: string;
+    candidateMembershipRevision: number;
+    confirmationCodeBindingHash: string;
+    confirmationCode: string;
+    after: {
+        outcome: string;
+        successSignal: string;
+        acceptance: string[];
+        checks: string[];
+        taskIds: string[];
+        memberships: MilestoneState['memberships'];
+    };
+}
+export interface Alpha6C1StrictReviewRescuePreflight {
+    eligible: boolean;
+    mutationFree: true;
+    runnerPackageVersion: string;
+    requiredProjectPackageVersion: '2.0.0-alpha.6';
+    declaredProjectPackageVersion: string | null;
+    projectId: string;
+    repositoryRoot: string;
+    clean: boolean;
+    candidate: {
+        taskId: string;
+        taskRevision: number;
+        stepId: string;
+        completionCommit: string;
+        currentHead: string;
+        knowledgeBindingStale: boolean;
+        claimant: string | null;
+        handoffExpiresAt: string | null;
+        lease: {
+            entityId: string;
+            owner: string;
+            pid: number;
+            hostname: string;
+            acquiredAt: string;
+            heartbeatAt: string;
+            expiresAt: string;
+            stale: boolean;
+            tokenBound: boolean;
+        } | null;
+    } | null;
+    blockers: string[];
+    requiredAction: {
+        action: 'update rescue-review';
+        taskId: string;
+        stepId: string;
+        expectedRevision: number;
+        actor: string;
+        requiresBoundWriterToken: true;
+    } | null;
+}
 export declare class WorkflowService {
     readonly store: FileStateStore;
     private readonly now;
@@ -45,34 +106,72 @@ export declare class WorkflowService {
         milestoneRoot: string;
     };
     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;
     authorizeMilestone(repository: string, milestoneId: string, expectedRevision: number, actor: string, reason?: string, delegationGrantId?: string | null): MilestoneState;
     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;
-    setTaskPlan(repository: string, taskId: string, expectedRevision: number, plan: TaskPlanInput): TaskState;
+    setTaskPlan(repository: string, taskId: string, expectedRevision: number, plan: TaskPlanInput, correctiveAudit?: CorrectivePlanAuditInput | null, planRiskAudit?: RecordPlanRiskAuditInput | null): TaskState;
     rebindTaskKnowledge(repository: string, taskId: string, expectedRevision: number): TaskState;
+    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;
+    showTaskHandoff(repository: string, taskId: string): {
+        task: TaskState;
+        posture: ReturnType<typeof readTaskC1Posture>;
+        claimTokenAvailable: false;
+    };
+    handoffTask(repository: string, taskId: string, expectedRevision: number, actor: string, targetActor: string, reason: string, writerToken?: string | null, grantId?: string | null, expiresAt?: string | null): {
+        task: TaskState;
+        event: import("./contracts.js").TaskHandoffEvent;
+        bundle: import("./contracts.js").TaskHandoffBundle;
+    };
+    claimTask(repository: string, taskId: string, expectedRevision: number, actor: string, claimToken: string, writerToken?: string | null): {
+        task: TaskState;
+        event: ReturnType<typeof appendTaskClaim>;
+        lease: WriterLease;
+    };
+    handbackTask(repository: string, taskId: string, expectedRevision: number, actor: string, reason: string, writerToken?: string | null, limitations?: readonly string[], recommendedNext?: string): {
+        task: TaskState;
+        event: ReturnType<typeof appendTaskHandback>;
+    };
     startTask(repository: string, taskId: string, expectedRevision: number, workspaceOwner: WorkspaceOwner): TaskState;
-    runStep(repository: string, taskId: string, stepId: string, expectedRevision: number, owner: string, writerToken: string | null): {
+    runStep(repository: string, taskId: string, stepId: string, expectedRevision: number, actor: string, writerToken: string | null): {
         task: TaskState;
         lease: WriterLease;
         envelope: ContextEnvelope;
     };
-    taskContext(repository: string, taskId: string, role: Exclude<WorkflowRole, 'scope-lead' | 'worker'>): ContextEnvelope;
-    completeStep(repository: string, taskId: string, stepId: string, expectedRevision: number, writerToken: string, notes: string[]): TaskState;
-    submitTask(repository: string, taskId: string, expectedRevision: number, writerToken: string): TaskState;
-    recordReview(repository: string, taskId: string, expectedRevision: number, review: ReviewInput): TaskState;
+    taskContext(repository: string, taskId: string, role: Exclude<WorkflowRole, 'scope-lead' | 'worker'>, allowHistoricalStrictReview?: boolean): ContextEnvelope;
+    completeStep(repository: string, taskId: string, stepId: string, expectedRevision: number, writerToken: string, notes: string[], actor?: string): TaskState;
+    alpha6C1StrictReviewRescuePreflight(repository: string): Alpha6C1StrictReviewRescuePreflight;
+    alpha6C1StrictReviewRescue(repository: string, taskId: string, stepId: string, expectedRevision: number, actor: string, writerToken: string, runner?: ReviewerCommandRunner): TaskState;
+    reviewStep(repository: string, taskId: string, stepId: string, expectedRevision: number, runner?: ReviewerCommandRunner, actor?: string, writerToken?: string | null): TaskState;
+    private reviewStepWithKnowledgePolicy;
+    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;
+    recordStepCorrectiveDecision(repository: string, taskId: string, stepId: string, expectedRevision: number, correctiveAudit: CorrectivePlanAuditInput, actor?: string, writerToken?: string | null): import("./contracts.js").CorrectiveDecisionEvent;
     setTaskResult(repository: string, taskId: string, expectedRevision: number, summary: string, limitations: string[]): TaskState;
     acceptTask(repository: string, taskId: string, expectedRevision: number, actor: string, delegationGrantId?: string | null): TaskState;
     syncTaskBase(repository: string, taskId: string, expectedRevision: number): TaskState;
-    mergeTask(repository: string, taskId: string, expectedRevision: number, writerToken: string): TaskState;
-    confirmExternalMerge(repository: string, taskId: string, expectedRevision: number, writerToken: string): TaskState;
+    mergeTask(repository: string, taskId: string, expectedRevision: number, writerToken: string, actor?: string): TaskState;
+    confirmExternalMerge(repository: string, taskId: string, expectedRevision: number, writerToken: string, actor?: string): TaskState;
     status(repository: string): {
         projectId: string;
         discoveries: DiscoveryState[];
         tasks: TaskState[];
         milestones: MilestoneState[];
         delegations: DelegationGrant[];
+        adoption: AdoptionPreparation;
+    };
+    recoverMilestoneTransactions(repository: string): {
+        projectId: string;
+        recoveredMilestoneIds: string[];
+    };
+    prepareAdoption(repository: string): AdoptionPreparation;
+    applyAdoption(repository: string, actor: string, confirmationCode: string): AdoptionPostureEvent;
+    updatePreflight(repository: string): UpdatePreflightResult & {
+        adoption: AdoptionPreparation;
     };
     scanKnowledgeMap(repository: string): ProjectKnowledgeMap;
     showKnowledgeMap(repository: string): ProjectKnowledgeMap;
@@ -88,14 +187,29 @@ export declare class WorkflowService {
     recordGraphFallback(repository: string, graphKind: GraphKind, mode: GraphMode, expectedRevision: number | null, reason: string): GraphBinding;
     next(repository: string): Record<string, unknown>;
     private delegatedAuthorization;
+    private assertHandoffGrant;
     private nextForTaskWithDelegation;
     private delegatedApprovalOptions;
+    private delegatedContextRefreshOptions;
     private assertDelegationScopeExists;
     private assertExecutionAuthorizationFresh;
     private assertMilestoneAuthorizationFresh;
+    private readMilestoneCurrent;
+    private readMilestoneScopeChangeCurrent;
+    private listMilestonesCurrent;
+    private prepareMilestoneScopeChangeCandidate;
+    private proveWriterLeaseTokenForHandoff;
+    private proveOptionalWriterLeaseToken;
+    private assertTaskMutationAllowedByHandoff;
     private readGraphBindingOrNull;
     private requireActiveKnowledgeMap;
+    private strictReviewKnowledgeMap;
+    private inspectAdoptionPreparation;
+    private computeAdoptionBoundaryBlockers;
+    private collectAdoptionSidecarInventory;
     private assertKnowledgeMapBinding;
+    private readCurrentAdoptionPostureStrict;
+    private requireExecutionAdoptionPosture;
     private assertTaskKnowledgeBinding;
     private validateKnowledgeTargets;
     private assertReviewFresh;