codex-workflow-v2 2.0.0-alpha.6.2 → 2.0.0-alpha.7.1

package/dist/src/workflow.d.ts

@@ -1,7 +1,8 @@
-import { type AdoptionPostureEvent, type ContextEnvelope, type CorrectiveDecisionEvent, 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 { 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 ActiveMilestoneAutonomy, type MilestoneAutonomyPreparation } from './alpha7/autonomy.js';
 import { type RepositoryIdentity } from './repository.js';
 import { type ReviewerCommandRunner } from './reviewer.js';
 import { WriterLockManager } from './state/lock.js';
@@ -45,7 +46,7 @@ export interface MilestoneScopeChangePreparation {
         memberships: MilestoneState['memberships'];
     };
 }
-export interface Alpha6C1StrictReviewRescuePreflight {
+export interface Alpha6StrictReviewRescuePreflight {
     eligible: boolean;
     mutationFree: true;
     runnerPackageVersion: string;
@@ -54,6 +55,8 @@ export interface Alpha6C1StrictReviewRescuePreflight {
     projectId: string;
     repositoryRoot: string;
     clean: boolean;
+    activeLeases: WriterLease[];
+    staleLeases: WriterLease[];
     candidate: {
         taskId: string;
         taskRevision: number;
@@ -61,62 +64,20 @@ export interface Alpha6C1StrictReviewRescuePreflight {
         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 interface Alpha6CorrectiveRescuePreflight {
-    eligible: boolean;
-    mutationFree: true;
-    runnerPackageVersion: string;
-    requiredProjectPackageVersion: '2.0.0-alpha.6';
-    declaredProjectPackageVersion: string | null;
-    requiredHead: string;
-    currentHead: string;
-    clean: boolean;
-    candidate: {
-        taskId: string;
-        taskRevision: 14;
-        taskStatus: 'ready';
-        stepId: 'STEP-001';
-        stepStatus: 'failed';
-        attemptCount: 2;
-        briefHash: string;
-        planHash: string;
-        claimant: string;
-        lease: Omit<WriterLease, 'token'> & {
-            stale: boolean;
-            tokenBound: true;
-        };
-        milestoneScopeHash: string | null;
     } | null;
     blockers: string[];
+    requiredActions: Array<{
+        action: 'locks repair' | 'task step-review';
+        entityId?: string;
+        taskId?: string;
+        stepId?: string;
+        expectedRevision?: number;
+    }>;
 }
 export declare class WorkflowService {
     readonly store: FileStateStore;
     private readonly now;
-    private readonly alpha6CorrectiveRescueHead;
-    constructor(store?: FileStateStore, now?: () => Date, alpha6CorrectiveRescueHead?: string);
+    constructor(store?: FileStateStore, now?: () => Date);
     context(repository: string): WorkflowContext;
     prepareDelegation(repository: string, input: DelegationPolicyInput): DelegationGrantGate;
     grantDelegation(repository: string, input: DelegationPolicyInput, confirmationCode: string): DelegationGrant;
@@ -136,6 +97,9 @@ 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;
+    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;
     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;
@@ -170,15 +134,12 @@ export declare class WorkflowService {
         lease: WriterLease;
         envelope: ContextEnvelope;
     };
-    taskContext(repository: string, taskId: string, role: Exclude<WorkflowRole, 'scope-lead' | 'worker'>, allowHistoricalStrictReview?: boolean): 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[], 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): CorrectiveDecisionEvent;
+    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;
@@ -201,18 +162,12 @@ export declare class WorkflowService {
     updatePreflight(repository: string): UpdatePreflightResult & {
         adoption: AdoptionPreparation;
     };
-    alpha6CorrectiveRescuePreflight(repository: string): Alpha6CorrectiveRescuePreflight;
-    alpha6CorrectiveRescueApply(repository: string, taskId: string, expectedRevision: number, actor: string, writerToken: string, plan: TaskPlanInput, decisionAudit: CorrectivePlanAuditInput, correctivePlanAudit: CorrectivePlanAuditInput): {
-        task: TaskState;
-        decision: CorrectiveDecisionEvent;
-        lease: Omit<WriterLease, 'token'> & {
-            tokenRetained: true;
-        };
-    };
+    alpha6StrictReviewRescuePreflight(repository: string): Alpha6StrictReviewRescuePreflight;
     scanKnowledgeMap(repository: string): ProjectKnowledgeMap;
     showKnowledgeMap(repository: string): ProjectKnowledgeMap;
     knowledgeMapStatus(repository: string): ProjectKnowledgeMap;
     approveKnowledgeMap(repository: string, expectedRevision: number, selections: KnowledgeSelection[], actor: string, delegationGrantId?: string | null): ProjectKnowledgeMap;
+    private approveKnowledgeMapForTaskRefresh;
     reconcileKnowledgeMap(repository: string, expectedRevision: number): ProjectKnowledgeMap;
     graphRefreshRequest(repository: string, graphKind: GraphKind, mode?: GraphMode): GraphRefreshRequest;
     graphStatus(repository: string, graphKind: GraphKind, mode?: GraphMode): {
@@ -227,6 +182,7 @@ export declare class WorkflowService {
     private nextForTaskWithDelegation;
     private delegatedApprovalOptions;
     private delegatedContextRefreshOptions;
+    private assertPlanBoundedSupportingSourceGrant;
     private assertDelegationScopeExists;
     private assertExecutionAuthorizationFresh;
     private assertMilestoneAuthorizationFresh;