opencode-plugin-flow 5.1.1 → 5.2.0

package/dist/domain/limits.d.ts

@@ -1 +1,4 @@
 export declare const MAX_ORCHESTRATION_PASSES = 50;
+export declare const MAX_HISTORY_ENTRIES = 500;
+export declare const MAX_SESSION_ID_LENGTH = 128;
+export declare const MAX_REVIEW_ASSIGNMENT_RESULT_BYTES: number;

package/dist/domain/session-invariants.d.ts

@@ -0,0 +1,8 @@
+import type { Session } from "./session.js";
+/**
+ * Validate relationships that cannot be expressed by the local Session v4
+ * object schemas. The first returned error is stable, curated recovery
+ * evidence; callers must treat any error as corruption and never partially
+ * hydrate the graph.
+ */
+export declare function validateSessionInvariants(session: Session): string | null;

package/dist/domain/session.d.ts

@@ -6,6 +6,8 @@ export type FinalReviewPolicy = "broad" | "detailed";
 export type ValidationScope = "targeted" | "broad";
 export type SnapshotId = string;
 export type EvidenceId = string;
+export type FeatureRunId = string;
+export type ReviewAssignmentId = string;
 export type EvidenceArtifactRef = {
     kind: "restricted_evidence_v1";
     digest: `sha256:${string}`;
@@ -57,10 +59,6 @@ export type OrchestrationTelemetry = {
     skippedCandidateDecisionCount: number;
     latestPasses: OrchestrationPassRecord[];
 };
-export type ReviewFinding = {
-    summary: string;
-    severity: "blocking" | "advisory";
-};
 export type ReviewFindingTaxonomy = "implementation_defect" | "regression_coverage_gap" | "evidence_gap" | "advisory";
 export type ReviewExecutionFindingInput = {
     taxonomy: ReviewFindingTaxonomy;
@@ -74,6 +72,8 @@ export type ReviewExecutionFinding = ReviewExecutionFindingInput & {
     fingerprint: string;
 };
 export type ReviewExecutionInput = {
+    assignmentId: ReviewAssignmentId;
+    featureRunId: FeatureRunId;
     attemptId: string;
     logicalPassId: string;
     featureId: FeatureId;
@@ -88,6 +88,48 @@ export type ReviewExecutionInput = {
 export type ReviewExecution = Omit<ReviewExecutionInput, "findings"> & {
     findings: ReviewExecutionFinding[];
 };
+export type FeatureRun = {
+    id: FeatureRunId;
+    featureId: FeatureId;
+    sequence: number;
+    status: "active" | "completed" | "blocked" | "reset" | "deferred" | "abandoned";
+    startedAt: string;
+    endedAt: string | null;
+};
+export type BoundReviewPrerequisite = {
+    assignmentId: ReviewAssignmentId;
+    result: ReviewAssignmentResultInput;
+    resultDigest: string;
+};
+export type ReviewAssignment = {
+    id: ReviewAssignmentId;
+    operationId: string;
+    featureRunId: FeatureRunId;
+    featureId: FeatureId;
+    reviewKind: "feature" | "final";
+    validationScope: ValidationScope;
+    validationEvidenceRefs: EvidenceId[];
+    sourceDigest: string;
+    packetDigest: string;
+    packetSummary: string;
+    riskLenses: string[];
+    prerequisite: BoundReviewPrerequisite | null;
+    attemptId: string;
+    logicalPassId: string;
+    startedAt: string;
+    requiredDepth: FeatureReviewDepth | FinalReviewPolicy;
+    status: "pending" | "submitted" | "observed_unsubmitted" | "invalidated";
+    completedAt: string | null;
+    invalidatedAt: string | null;
+    invalidationReason: "feature_reset" | "source_changed" | "session_deferred" | "session_abandoned" | null;
+};
+export type ReviewAssignmentResultInput = {
+    assignmentId: ReviewAssignmentId;
+    verdict: "passed" | "failed";
+    findings: ReviewExecutionFindingInput[];
+    completedAt: string;
+    terminalDisposition: "submitted" | "observed_unsubmitted";
+};
 export type ReviewLifecycleTelemetry = {
     featureAttemptCount: number;
     finalAttemptCount: number;
@@ -104,24 +146,15 @@ export type ObservedReviewWorkerLedger = {
     reconciliationStatus: "reconciled";
     observedExecutionCount: number;
 };
-export type Review = {
-    status: "passed" | "failed";
-    summary: string;
-    blockingFindings: ReviewFinding[];
-};
-export type FinalReview = Review & {
-    reviewDepth: FinalReviewPolicy;
-};
-export type ValidationRun = {
-    command: string;
-    status: "passed" | "failed";
-    summary: string;
-};
 export type ValidationEvidence = {
     kind: "validation";
     evidenceId: EvidenceId;
+    featureRunId: FeatureRunId;
+    capturedAtRevision: number;
+    capturedAtSnapshotId: SnapshotId;
     snapshotId: SnapshotId;
     sourceDigest: string;
+    commandDigest: string;
     commandClass: ValidationCommandClass;
     startedAt: string;
     completedAt: string;
@@ -133,6 +166,10 @@ export type ValidationEvidence = {
 export type ReviewEvidence = {
     kind: "review";
     evidenceId: EvidenceId;
+    featureRunId: FeatureRunId;
+    assignmentId: ReviewAssignmentId;
+    capturedAtRevision: number;
+    capturedAtSnapshotId: SnapshotId;
     snapshotId: SnapshotId;
     sourceDigest: string;
     attemptId: string;
@@ -143,8 +180,9 @@ export type ReviewEvidence = {
 export type EvidenceRecord = ValidationEvidence | ReviewEvidence;
 export type CausalMutationRecord = {
     operationId: string;
-    operationKind: "plan_save" | "plan_approve" | "run_start" | "review_record" | "evidence_record" | "feature_complete" | "feature_reset" | "session_close";
+    operationKind: "plan_save" | "plan_approve" | "run_start" | "review_start" | "feature_complete" | "feature_reset" | "session_close";
     requestDigest: string;
+    featureRunId: FeatureRunId | null;
     priorMutationDigest: string | null;
     mutationDigest: string;
     priorRevision: number;
@@ -170,36 +208,25 @@ export type CausalState = {
     mutations: CausalMutationRecord[];
     evidence: EvidenceRecord[];
 };
-type ReviewerProjectionRequestBase = {
-    featureId: FeatureId;
-    packetHash: string;
-    evidenceRefs: string[];
-    expectedRevision?: number | undefined;
-    expectedSnapshotId?: SnapshotId | undefined;
+export type ReviewerProjectionRequest = {
+    assignmentId: ReviewAssignmentId;
 };
-export type ReviewerProjectionRequest = (ReviewerProjectionRequestBase & {
-    reviewKind: "feature";
-}) | (ReviewerProjectionRequestBase & {
-    reviewKind: "final";
-});
-type ReviewerProjectionBase = {
+export type AssignmentReviewerProjection = {
     view: "reviewer";
+    assignmentId: ReviewAssignmentId;
+    assignmentStatus: ReviewAssignment["status"];
+    featureRunId: FeatureRunId;
     featureId: FeatureId;
+    reviewKind: "feature" | "final";
     assignedScope: string[];
-    packetHash: string;
-    evidenceRefs: string[];
-    expectedRevision: number;
-    expectedSnapshotId: SnapshotId;
+    requiredDepth: FeatureReviewDepth | FinalReviewPolicy;
+    packetSummary: string;
+    riskLenses: string[];
+    validationScope: ValidationScope;
+    validationEvidenceCount: number;
+    terminalDisposition: "submitted" | "observed_unsubmitted" | null;
 };
-export type ReviewerProjection = (ReviewerProjectionBase & {
-    reviewKind: "feature";
-    requiredDepth: FeatureReviewDepth;
-}) | (ReviewerProjectionBase & {
-    reviewKind: "final";
-    requiredDepth: FinalReviewPolicy;
-    requirements: string[];
-    decisions: string[];
-});
+export type ReviewerProjection = AssignmentReviewerProjection;
 export type Artifact = {
     path: string;
 };
@@ -223,6 +250,7 @@ export type Plan = {
 };
 export type ExecutionProjection = {
     view: "execution";
+    featureRunId?: FeatureRunId | undefined;
     goal: string;
     plan: {
         summary: string;
@@ -262,76 +290,48 @@ export type PlanInput = {
         dependsOn?: FeatureId[] | undefined;
     }>;
 };
-export type CompletedWorkerOutcome = {
+export type ExecutionOutcome = {
+    kind: "blocked";
+    summary: string;
+    resolutionHint?: string | undefined;
+} | {
     kind: "completed";
     summary?: string | undefined;
     resolutionHint?: string | undefined;
 };
-export type NeedsInputOutcome = {
-    kind: "blocked" | "needs_input" | "replan_required";
-    summary: string;
-    resolutionHint?: string | undefined;
-};
-export type WorkerOutcome = CompletedWorkerOutcome | NeedsInputOutcome;
-type WorkerResultBase = {
-    operationId?: string | undefined;
-    expectedRevision?: number | undefined;
-    expectedSnapshotId?: SnapshotId | undefined;
-    /** Trusted application-boundary digest of the normalized public request. */
-    requestDigest?: string | undefined;
-    featureId: FeatureId;
-    summary: string;
-    artifactsChanged: Artifact[];
-    validationRun: ValidationRun[];
-    validationScope?: ValidationScope | undefined;
-    featureReviewDepth?: FeatureReviewDepth | undefined;
-    featureReview?: Review | undefined;
-    finalReview?: FinalReview | undefined;
-    reviewExecutions?: ReviewExecutionInput[] | undefined;
-    evidence?: EvidenceRecord[] | undefined;
-    orchestrationPasses: OrchestrationPassRecord[];
-};
-export type WorkerResult = (WorkerResultBase & {
-    status: "ok";
-    validationScope: ValidationScope;
-    featureReviewDepth: FeatureReviewDepth;
-    featureReview: Review;
-    outcome?: CompletedWorkerOutcome | undefined;
-}) | (WorkerResultBase & {
-    status: "needs_input";
-    outcome: NeedsInputOutcome;
-});
 export type ExecutionHistoryEntry = {
+    featureRunId: FeatureRunId;
     featureId: FeatureId;
-    status: "completed" | "blocked" | "needs_input";
+    status: "completed" | "blocked";
     summary: string;
     recordedAt: string;
     artifactsChanged: Artifact[];
-    validationRun: ValidationRun[];
-    validationScope?: ValidationScope | undefined;
-    featureReviewDepth?: FeatureReviewDepth | undefined;
-    featureReview?: Review | undefined;
-    finalReview?: FinalReview | undefined;
-    outcome?: WorkerOutcome | undefined;
+    validationScope: ValidationScope;
+    validationEvidenceRefs: EvidenceId[];
+    reviewAssignmentIds: ReviewAssignmentId[];
+    outcome: ExecutionOutcome;
     orchestrationPasses: OrchestrationPassRecord[];
 };
 export type BudgetTelemetry = {
     reviewCount: number;
     failedReviewCount: number;
-    failedReviewAttemptsByFeature: Record<string, number>;
+    failedReviewAttemptsByFeatureRun: Record<string, number>;
     reviewExecutions: ReviewExecution[];
     reviewLifecycle: ReviewLifecycleTelemetry;
     observedReviewWorkers: ObservedReviewWorkerLedger;
     orchestration: OrchestrationTelemetry;
 };
 export type Session = {
-    version: 3;
+    version: 4;
     id: SessionId;
     goal: string;
     status: SessionStatus;
     approval: "pending" | "approved";
     plan: Plan | null;
     activeFeatureId: FeatureId | null;
+    activeFeatureRunId: FeatureRunId | null;
+    featureRuns: FeatureRun[];
+    reviewAssignments: ReviewAssignment[];
     history: ExecutionHistoryEntry[];
     budget: BudgetTelemetry;
     causal: CausalState;
@@ -339,6 +339,7 @@ export type Session = {
         kind: "completed" | "deferred" | "abandoned";
         summary: string;
         recordedAt: string;
+        retryOperationId: string;
     } | null;
     lastError: {
         tool: string;

package/dist/domain/transitions.d.ts

@@ -1,9 +1,11 @@
-import type { CausalGuard, CausalMutationRecord, EvidenceRecord, ExecutionProjection, Feature, FeatureId, FeatureReviewDepth, PlanInput, ReviewExecution, ReviewExecutionFindingInput, ReviewExecutionInput, ReviewerProjection, ReviewerProjectionRequest, Session, SessionId, SnapshotId, WorkerResult } from "./session.js";
+import type { CausalGuard, CausalMutationRecord, EvidenceRecord, ExecutionProjection, Feature, FeatureId, FeatureRunId, OrchestrationPassRecord, PlanInput, ReviewAssignment, ReviewAssignmentId, ReviewAssignmentResultInput, ReviewExecutionFindingInput, ReviewerProjection, ReviewerProjectionRequest, Session, SessionId, SnapshotId } from "./session.js";
 export declare const MAX_EXECUTION_PROJECTION_BYTES: number;
+export declare const MAX_REVIEWER_PROJECTION_BYTES = 3000;
 export type TransitionEnvironment = {
     now(): string;
     newSessionId(): SessionId;
     newOperationId?(revision: number): string;
+    newRuntimeId?(kind: "feature-run" | "review-assignment"): string;
 };
 export type TransitionResult<T> = {
     ok: true;
@@ -14,25 +16,59 @@ export type TransitionResult<T> = {
     recovery?: string;
     session?: Session;
 };
+export type ReviewStartInput = CausalGuard & {
+    requestDigest: string;
+    featureId: FeatureId;
+    reviewKind: "feature" | "final";
+    validationScope: "targeted" | "broad";
+    packetSummary: string;
+    riskLenses: string[];
+    sourceDigest: string;
+    validationEvidence: Extract<EvidenceRecord, {
+        kind: "validation";
+    }>[];
+    featureReview?: ReviewAssignmentResultInput | undefined;
+};
+export type AssignedFeatureCompletionInput = CausalGuard & {
+    featureId: FeatureId;
+    sourceDigest: string;
+    result: {
+        kind: "completed";
+        summary: string;
+        artifactsChanged: Array<{
+            path: string;
+        }>;
+        validationScope: "targeted";
+        featureReview: ReviewAssignmentResultInput;
+        orchestrationPasses: OrchestrationPassRecord[];
+    } | {
+        kind: "completed";
+        summary: string;
+        artifactsChanged: Array<{
+            path: string;
+        }>;
+        validationScope: "broad";
+        finalReview: ReviewAssignmentResultInput;
+        orchestrationPasses: OrchestrationPassRecord[];
+    } | {
+        kind: "blocked";
+        summary: string;
+        review: ReviewAssignmentResultInput;
+        resolutionHint?: string | undefined;
+        orchestrationPasses: OrchestrationPassRecord[];
+    };
+};
+export type AssignedFeatureCompletionPreflightInput = Omit<AssignedFeatureCompletionInput, "sourceDigest">;
+export declare function canonicalReviewAssignmentResultDigest(result: ReviewAssignmentResultInput): string;
+export declare function canonicalReviewAttemptId(assignmentId: ReviewAssignmentId): string;
+export declare function canonicalLogicalReviewPassId(featureRunId: FeatureRunId, reviewKind: ReviewAssignment["reviewKind"]): string;
+export declare function canonicalReviewPacketDigest(assignment: Pick<ReviewAssignment, "featureRunId" | "featureId" | "reviewKind" | "validationScope" | "validationEvidenceRefs" | "sourceDigest" | "packetSummary" | "riskLenses" | "prerequisite">): string;
+export declare function canonicalValidationCommandDigest(command: string): string;
 export declare function canonicalOperationRequestDigest(kind: CausalMutationRecord["operationKind"], input: unknown): string;
 export declare function canonicalSessionSnapshotId(session: Session): SnapshotId;
 export declare function canonicalEvidenceId(evidence: EvidenceRecord): string;
 export declare function validateCausalChain(session: Session): string | null;
 export declare function stableReviewFindingFingerprint(finding: ReviewExecutionFindingInput): string;
-export type LogicalReviewPassProjection = {
-    logicalPassId: string;
-    featureId: FeatureId;
-    reviewKind: ReviewExecution["reviewKind"];
-    reviewSnapshotId: string;
-    latestAttemptId: string;
-    verdict: ReviewExecution["verdict"];
-    attemptCount: number;
-};
-export declare function projectLogicalReviewPasses(executions: readonly ReviewExecution[]): LogicalReviewPassProjection[];
-export declare function recordReviewExecutions(session: Session, executions: readonly ReviewExecutionInput[], environment: TransitionEnvironment, operationId?: string, guard?: Pick<CausalGuard, "expectedRevision" | "expectedSnapshotId">): TransitionResult<Session>;
-export declare function mergeReviewExecutionsForCompletion(session: Session, executions: readonly ReviewExecutionInput[]): TransitionResult<Session>;
-export declare function mergeEvidenceForCompletion(session: Session, evidenceRecords: readonly EvidenceRecord[]): TransitionResult<Session>;
-export declare function recordEvidence(session: Session, evidenceRecords: readonly EvidenceRecord[], environment: TransitionEnvironment, operationId?: string): TransitionResult<Session>;
 export declare function createSession(goal: string, environment: TransitionEnvironment): Session;
 export declare function applyPlan(session: Session, planInput: PlanInput, environment: TransitionEnvironment): TransitionResult<Session>;
 export declare function approvePlan(session: Session, environment: TransitionEnvironment): TransitionResult<Session>;
@@ -40,7 +76,12 @@ export declare function startRun(session: Session, environment: TransitionEnviro
     session: Session;
     feature: Feature;
 }>;
-export declare function completeFeature(session: Session, worker: WorkerResult, environment: TransitionEnvironment): TransitionResult<Session>;
+export declare function startReviewAssignment(session: Session, input: ReviewStartInput, environment: TransitionEnvironment): TransitionResult<{
+    session: Session;
+    assignment: ReviewAssignment;
+}>;
+export declare function preflightAssignedFeatureCompletion(session: Session, input: AssignedFeatureCompletionPreflightInput, acceptedAt?: string): TransitionResult<"new" | "replay">;
+export declare function completeAssignedFeature(session: Session, input: AssignedFeatureCompletionInput, environment: TransitionEnvironment): TransitionResult<Session>;
 export declare function resetFeature(session: Session, featureId: FeatureId, environment: TransitionEnvironment, guard?: CausalGuard): TransitionResult<Session>;
 export declare function closeSession(session: Session, kind: "completed" | "deferred" | "abandoned", environment: TransitionEnvironment, summary?: string, guard?: CausalGuard): TransitionResult<Session>;
 export declare function serializedUtf8JsonBytes(value: unknown): number;
@@ -51,6 +92,7 @@ export declare function compactSessionProjection(session: Session): {
     approval: "approved" | "pending";
     revision: number;
     snapshotId: string;
+    featureRunId: string | null;
     feature: {
         id: FeatureId;
         status: import("./session.js").FeatureStatus;
@@ -66,6 +108,7 @@ export declare function compactSessionProjection(session: Session): {
     };
     closure: {
         kind: "abandoned" | "completed" | "deferred";
+        retryOperationId: string;
     } | null;
     nextAction: string;
 };
@@ -79,6 +122,7 @@ export declare function detailSessionProjection(session: Session): {
         approval: "approved" | "pending";
         revision: number;
         snapshotId: string;
+        featureRunId: string | null;
         feature: {
             id: FeatureId;
             status: import("./session.js").FeatureStatus;
@@ -94,9 +138,20 @@ export declare function detailSessionProjection(session: Session): {
         };
         closure: {
             kind: "abandoned" | "completed" | "deferred";
+            retryOperationId: string;
         } | null;
         nextAction: string;
     };
+    finalReviewRetry: {
+        finalReviewAssignmentId: string;
+        featureRunId: string;
+        sourceDigest: string;
+        prerequisite: {
+            assignmentId: string;
+            result: ReviewAssignmentResultInput;
+            resultDigest: string;
+        };
+    } | null;
     plan: {
         summary: string;
         overview: string;
@@ -108,20 +163,55 @@ export declare function detailSessionProjection(session: Session): {
             title: string;
             summary: string;
             status: import("./session.js").FeatureStatus;
-            reviewDepth: FeatureReviewDepth;
+            reviewDepth: import("./session.js").FeatureReviewDepth;
             targets: string[];
             dependsOn: FeatureId[];
         }[];
     } | null;
     history: {
+        featureRunId: string;
         featureId: FeatureId;
-        status: "blocked" | "completed" | "needs_input";
+        status: "blocked" | "completed";
         summary: string;
         recordedAt: string;
+        validationScope: import("./session.js").ValidationScope;
         validation: {
-            status: "failed" | "passed";
-            summary: string;
+            evidenceId: string;
+            commandClass: import("./validation-command.js").ValidationCommandClass;
+            status: string;
+            completedAt: string;
         }[];
+        reviews: {
+            assignmentId: string;
+            reviewKind: "feature" | "final";
+            requiredDepth: "broad" | "detailed" | "quick" | "standard";
+            status: "invalidated" | "observed_unsubmitted" | "pending" | "submitted";
+            verdict: "failed" | "passed" | null;
+            blockingFindingCount: number;
+        }[];
+    }[];
+    featureRuns: {
+        id: FeatureRunId;
+        featureId: FeatureId;
+        sequence: number;
+        status: "active" | "completed" | "blocked" | "reset" | "deferred" | "abandoned";
+        startedAt: string;
+        endedAt: string | null;
+    }[];
+    reviewAssignments: {
+        id: string;
+        featureRunId: string;
+        featureId: FeatureId;
+        reviewKind: "feature" | "final";
+        status: "invalidated" | "observed_unsubmitted" | "pending" | "submitted";
+        startedAt: string;
+        completedAt: string | null;
+        invalidatedAt: string | null;
+        invalidationReason: "feature_reset" | "session_abandoned" | "session_deferred" | "source_changed" | null;
+        prerequisite: {
+            assignmentId: string;
+            resultDigest: string;
+        } | null;
     }[];
     causal: {
         revision: number;
@@ -131,12 +221,15 @@ export declare function detailSessionProjection(session: Session): {
     };
 };
 export declare function reviewerSessionProjection(session: Session, request: ReviewerProjectionRequest): TransitionResult<ReviewerProjection>;
-export declare function mutationReceiptProjection(session: Session, warnings?: readonly string[], operationId?: string): {
+export declare function mutationReceiptProjection(session: Session, warnings?: readonly string[], operationId?: string, operationKind?: CausalMutationRecord["operationKind"], acceptedWithoutMutation?: boolean): {
     view: "mutation_receipt";
     status: import("./session.js").SessionStatus;
+    operationAccepted: boolean;
+    operationIdConsumed: boolean;
     operationId: string | null;
     revision: number;
     snapshotId: string;
+    featureRunId: string | null;
     changedEntity: {
         kind: "session" | "plan" | "feature" | "review" | "evidence" | "closure";
         id: string;
@@ -150,6 +243,25 @@ export declare function mutationReceiptProjection(session: Session, warnings?: r
     warnings: string[];
     nextAction: string;
 };
+export declare function rejectedMutationReceiptProjection(session: Session | null, warnings?: readonly string[], operationId?: string): {
+    view: "mutation_receipt";
+    status: import("./session.js").SessionStatus | null;
+    operationAccepted: boolean;
+    operationIdConsumed: boolean;
+    operationId: string | null;
+    revision: number | null;
+    snapshotId: string | null;
+    featureRunId: string | null;
+    changedEntity: null;
+    changedFields: never[];
+    blockerDelta: {
+        added: never[];
+        removed: never[];
+    };
+    evidenceRefs: never[];
+    warnings: string[];
+    nextAction: string;
+};
 export declare function causalDeltaProjection(session: Session, sinceRevision: number): TransitionResult<{
     view: "delta";
     changed: boolean;