@runfusion/fusion 0.77.0-beta.5 → 0.77.0-beta.7

package/dist/migrations/0065_fn_149_review_convergence_stage.sql

@@ -0,0 +1,3 @@
+-- FN-149 durable bounded review-convergence state.
+ALTER TABLE project.tasks ADD COLUMN IF NOT EXISTS review_convergence_stage integer DEFAULT 0;
+ALTER TABLE project.tasks ADD COLUMN IF NOT EXISTS review_convergence_escalation_count integer DEFAULT 0;

package/dist/pi-claude-cli/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fusion/pi-claude-cli",
-  "version": "0.77.0-beta.5",
+  "version": "0.77.0-beta.7",
   "type": "module",
   "private": true,
   "main": "index.ts",

package/dist/plugin-sdk/index.d.ts

@@ -233,7 +233,7 @@ type WorkflowStepMode = "prompt" | "script";
 type WorkflowStepToolMode = "readonly" | "coding";
 type WorkflowStepGateMode = "gate" | "advisory";
 type WorkflowReviewFindingSeverity = "low" | "medium" | "high" | "critical";
-type WorkflowReviewFindingResolution = "open" | "resolved-in-review" | "superseded";
+type WorkflowReviewFindingResolution = "open" | "resolved-in-review" | "superseded" | "dispute-upheld";
 interface WorkflowReviewFinding {
     id: string;
     title: string;
@@ -242,6 +242,10 @@ interface WorkflowReviewFinding {
     line?: number;
     severity?: WorkflowReviewFindingSeverity;
     resolution?: WorkflowReviewFindingResolution;
+    disputeRationale?: string;
+    disputedAt?: string;
+    disputeRebuttedAt?: string;
+    rebutsDisputedFindingId?: string;
 }
 interface WorkflowRepositoryReviewOutcome {
     repository: string;
@@ -327,6 +331,14 @@ interface WorkflowStepResult {
     findings?: WorkflowReviewFinding[];
     repositoryReviewOutcomes?: WorkflowRepositoryReviewOutcome[];
     repositoryScopeRevision?: number;
+    remediationArchivedAt?: string;
+    remediationArchivedFromStatus?: WorkflowStepResult["status"];
+    reviewInputFingerprint?: string;
+    arbitrationDecision?: "UPHOLD_REVIEW" | "UPHOLD_IMPLEMENTER" | "SPLIT";
+    arbitrationBindingFindingCount?: number;
+    arbitratedAttemptAt?: string;
+    arbitratedAt?: string;
+    arbitrationNotes?: string;
     supersededFindingSourceWorkflowStepId?: string;
     supersededFindingIds?: string[];
     verdict?: "APPROVE" | "APPROVE_WITH_NOTES" | "REVISE" | "CLOSE_NO_OP";
@@ -338,7 +350,7 @@ interface WorkflowStepResult {
     bypassedBy?: string;
     bypassedAt?: string;
     bypassReason?: string;
-    bypassedFromStatus?: WorkflowStepResult["status"];
+    bypassedFromStatus?: WorkflowStepResult["status"] | "absent";
     bypassedFromVerdict?: WorkflowStepResult["verdict"];
     supersededAt?: string;
     supersededReason?: "dependency-change";
@@ -610,6 +622,8 @@ interface TaskRow {
     branchConflictRecoveryCount: number | null;
     reviewerContextRetryCount: number | null;
     reviewerFallbackRetryCount: number | null;
+    reviewConvergenceStage: number | null;
+    reviewConvergenceEscalationCount: number | null;
     nextRecoveryAt: string | null;
     error: string | null;
     summary: string | null;
@@ -1188,7 +1202,7 @@ interface CustomFieldRejection {
     detail: string;
 }
 
-type WorkflowLifecycleWarningCode = "missing-completion-summary" | "missing-merge-region" | "unsafe-terminal-before-merge" | "optional-group-after-execution" | "review-gate-without-failure-route";
+type WorkflowLifecycleWarningCode = "missing-completion-summary" | "missing-merge-region" | "unsafe-terminal-before-merge" | "optional-group-after-execution" | "review-gate-without-failure-route" | "write-capable-node-after-code-review";
 interface WorkflowLifecycleWarning {
     code: WorkflowLifecycleWarningCode;
     nodeId?: string;
@@ -5593,6 +5607,8 @@ declare class TaskStore extends EventEmitter<TaskStoreEvents> {
         branchConflictRecoveryCount?: number | null;
         reviewerContextRetryCount?: number | null;
         reviewerFallbackRetryCount?: number | null;
+        reviewConvergenceStage?: number | null;
+        reviewConvergenceEscalationCount?: number | null;
         nextRecoveryAt?: string | null;
         enabledWorkflowSteps?: string[];
         noCommitsExpected?: boolean | null;
@@ -5698,12 +5714,17 @@ declare class TaskStore extends EventEmitter<TaskStoreEvents> {
     dismissAiMergeReviewFinding(taskId: string, findingId: string, reason: string, actor?: string): Promise<Task>;
     linkTaskRecommendation(id: string, recommendationId: string, createdTaskId: string, completeColumns?: ReadonlySet<string>): Promise<Task>;
     normalizeWorkspaceTaskWorktreeMetadata(id: string): Promise<Task>;
-    mergeWorkspaceWorktreeEntry(id: string, repoRelPath: string, patch: Partial<WorkspaceWorktreeEntry>, options?: {
+    mergeWorkspaceWorktreeEntry(id: string, repoRelPath: string, patch: Partial<WorkspaceWorktreeEntry> | ((current: Task) => Promise<Partial<WorkspaceWorktreeEntry>>), options?: {
         requireExistingEntry?: boolean;
         clearSingularWorktree?: boolean;
+        validateBeforePersist?: (current: Task) => Promise<void>;
     }): Promise<Task>;
     updateTaskRepositoryScope(id: string, repositoryScope: TaskRepositoryScope | undefined): Promise<Task>;
     mutateTaskRepositoryScope(id: string, mutation: TaskRepositoryScopeMutation): Promise<Task>;
+    updateWorkspaceReviewState(id: string, expectedScopeRevision: number, reviewRemediation: TaskRepositoryScope["reviewRemediation"] | null): Promise<{
+        task: Task;
+        updated: boolean;
+    }>;
     resolveTaskWedgeNotificationEpisode(id: string, episodeId: string): Promise<{
         task: Task;
         resolved: boolean;
@@ -5754,6 +5775,12 @@ declare class TaskStore extends EventEmitter<TaskStoreEvents> {
     checkAndRecordUnplannedExecutionBlock(id: string, episode: string): Promise<boolean>;
     transitionQueuedEpisode(id: string, transition: QueuedEpisodeTransition): Promise<QueuedEpisodeTransitionResult>;
     logEntry(id: string, action: string, outcome?: string, runContext?: RunMutationContext): Promise<Task>;
+    logEntryOnce(id: string, input: {
+        action: string;
+        outcome?: string;
+        dedupeKey: string;
+        windowMs: number;
+    }): Promise<boolean>;
     getMutationsForRun(runId: string): Promise<TaskLogEntry[]>;
     rowToMergeQueueEntry(row: MergeQueueRow): MergeQueueEntry;
     normalizeMergeRequestState(value: string): MergeRequestState;
@@ -5800,6 +5827,13 @@ declare class TaskStore extends EventEmitter<TaskStoreEvents> {
     replaceActiveTaskWorkflowContinuation(input: WorkflowWorkItemUpsertInput & {
         kind: "task";
     }): Promise<WorkflowWorkItem>;
+    seedWorkspaceCodeReviewContinuationIfIdle(input: WorkflowWorkItemUpsertInput & {
+        kind: "task";
+    }): Promise<{
+        seeded: boolean;
+        reason?: "active-continuation";
+        workItemId?: string;
+    }>;
     seedStrandedPlanReviewContinuation(input: WorkflowWorkItemUpsertInput & {
         kind: "task";
     }, options?: {
@@ -6939,6 +6973,7 @@ interface TaskLogEntry {
     timestamp: string;
     action: string;
     outcome?: string;
+    dedupeKey?: string;
     runContext?: RunMutationContext;
 }
 type WorkflowTransitionNotificationKind = "manual-merge-hold" | "recovery-requeue";
@@ -7004,7 +7039,7 @@ type TaskReviewVerdict = "APPROVE" | "APPROVE_WITH_NOTES" | "REVISE" | "RETHINK"
 type TaskReviewerType = "plan" | "code";
 type TaskReviewItemStatus = "queued" | "in-progress" | "addressed" | "failed";
 type TaskReviewFindingSeverity = "low" | "medium" | "high" | "critical";
-type TaskReviewFindingResolution = "open" | "resolved-in-review" | "superseded";
+type TaskReviewFindingResolution = "open" | "resolved-in-review" | "superseded" | "dispute-upheld";
 interface LegacyTaskReviewItem {
     id: string;
     source: TaskReviewSource;
@@ -7600,6 +7635,11 @@ interface TaskRepositoryScope {
         fingerprint: string;
         approvedAt: string;
     }>;
+    reviewRemediation?: {
+        scopeRevision: number;
+        repository: string;
+        inputSignature: string;
+    };
     extensions?: Array<{
         repository: string;
         requestedAt: string;
@@ -7611,6 +7651,16 @@ interface TaskRepositoryScope {
         refusalReason?: string;
     }>;
 }
+interface WorkspaceLandFailure {
+    category: "environment" | "review" | "content-conflict" | "internal-technical";
+    message: string;
+    at: string;
+    branch?: string;
+    repository?: string;
+    resource?: string;
+    action?: string;
+    technicalDetail?: string;
+}
 interface WorkspaceWorktreeEntry {
     worktreePath: string;
     branch: string;
@@ -7619,11 +7669,7 @@ interface WorkspaceWorktreeEntry {
     baseCommitSha?: string;
     landedSha?: string;
     revertBoundarySha?: string;
-    landFailure?: {
-        message: string;
-        at: string;
-        branch?: string;
-    };
+    landFailure?: WorkspaceLandFailure;
 }
 type AiMergeFindingDisposition = "pending" | "corrected" | "absent-from-squash" | "still-present" | "dismissed";
 interface AiMergeReviewFinding {
@@ -7645,6 +7691,7 @@ interface AiMergeReviewReconciliation {
     findings: AiMergeReviewFinding[];
     consecutiveCleanApprovals: number;
     correctivePasses: number;
+    invalidAcknowledgementCandidateSha?: string;
     terminal?: boolean;
 }
 interface Task {
@@ -7772,6 +7819,8 @@ interface Task {
     branchConflictRecoveryCount?: number;
     reviewerContextRetryCount?: number;
     reviewerFallbackRetryCount?: number;
+    reviewConvergenceStage?: number;
+    reviewConvergenceEscalationCount?: number;
     retrySummary?: RetrySummary;
     nextRecoveryAt?: string;
     awaitingApprovalReason?: "release-authorization" | "plan-review-replan-cap" | "merge-blocked-by-policy" | "code-review-non-convergence";
@@ -8167,6 +8216,7 @@ interface GlobalSettings {
     openrouterModelFilters?: OpenRouterModelFilters;
     openrouterProviderPreferences?: OpenRouterProviderPreferences;
     opencodeGoModelSync?: boolean;
+    orcarouterModelSync?: boolean;
     updateCheckEnabled?: boolean;
     fnBinaryCheckEnabled?: boolean;
     githubTrackingDefaultRepo?: string;
@@ -8348,6 +8398,12 @@ interface ProjectSettings {
     executorEscalationProvider?: string;
     executorEscalationModelId?: string;
     executorEscalationNodeId?: string;
+    reviewConvergenceEscalationEnabled?: boolean;
+    reviewConvergenceEscalationProvider?: string;
+    reviewConvergenceEscalationModelId?: string;
+    reviewArbitrationEnabled?: boolean;
+    reviewArbitrationProvider?: string;
+    reviewArbitrationModelId?: string;
     maxConcurrentVerifications?: number;
     maxWorktrees: number;
     worktreeLimitEnabled?: boolean;

package/dist/plugin-sdk/index.js

@@ -5879,6 +5879,8 @@ var tasks = projectSchema.table("tasks", {
   branchConflictRecoveryCount: integer("branch_conflict_recovery_count").default(0),
   reviewerContextRetryCount: integer("reviewer_context_retry_count").default(0),
   reviewerFallbackRetryCount: integer("reviewer_fallback_retry_count").default(0),
+  reviewConvergenceStage: integer("review_convergence_stage").default(0),
+  reviewConvergenceEscalationCount: integer("review_convergence_escalation_count").default(0),
   nextRecoveryAt: text("next_recovery_at"),
   error: text("error"),
   summary: text("summary"),
@@ -8976,6 +8978,7 @@ var DEFAULT_GLOBAL_SETTINGS = {
   openrouterAppAttribution: void 0,
   openrouterModelFilters: void 0,
   openrouterProviderPreferences: void 0,
+  orcarouterModelSync: true,
   opencodeGoModelSync: true,
   updateCheckEnabled: true,
   fnBinaryCheckEnabled: true,
@@ -9391,6 +9394,12 @@ var DEFAULT_PROJECT_SETTINGS = {
   executorEscalationProvider: void 0,
   executorEscalationModelId: void 0,
   executorEscalationNodeId: void 0,
+  reviewConvergenceEscalationEnabled: true,
+  reviewConvergenceEscalationProvider: void 0,
+  reviewConvergenceEscalationModelId: void 0,
+  reviewArbitrationEnabled: true,
+  reviewArbitrationProvider: void 0,
+  reviewArbitrationModelId: void 0,
   /**
    * FNXC:Merge 2026-06-26-00:00:
    * New and unconfigured projects default AI merge to sync a dirty checked-out integration branch, restoring the legacy stash → fast-forward → restore landing behavior. Explicit persisted merger.allowDirtyLocalCheckoutSync values still win, and no existing-project migration stamps this default into storage.
@@ -12461,6 +12470,49 @@ var BUILTIN_REVIEW_REVISION_SETTINGS = [
     default: DEFAULT_CODE_REVIEW_BLOCKING_SEVERITY,
     description: 'Minimum finding severity that lets Code Review block merge. A REVISE carrying no finding at or above this level is recorded as APPROVE_WITH_NOTES and its findings are handed to the implementer. Choose "any" to block on every REVISE.'
   },
+  /*
+   * FNXC:ReviewConvergence 2026-08-22-05:42:
+   * FN-149 keeps recovery targets workflow-native so operators choose the cost and
+   * capability of automatic review convergence without widening project policy.
+   */
+  {
+    id: "reviewConvergenceEscalationEnabled",
+    name: "Review convergence escalation",
+    type: "boolean",
+    default: true,
+    description: "Run one bounded alternate-model or replan recovery when a review repeats unchanged input."
+  },
+  {
+    id: "reviewConvergenceEscalationProvider",
+    name: "Review convergence escalation provider",
+    type: "string",
+    description: "Provider for the optional alternate-model review remediation target."
+  },
+  {
+    id: "reviewConvergenceEscalationModelId",
+    name: "Review convergence escalation model",
+    type: "string",
+    description: "Model for the optional alternate-model review remediation target."
+  },
+  {
+    id: "reviewArbitrationEnabled",
+    name: "Review arbitration",
+    type: "boolean",
+    default: true,
+    description: "Enable bounded third-model arbitration after a review disagreement persists."
+  },
+  {
+    id: "reviewArbitrationProvider",
+    name: "Review arbitration provider",
+    type: "string",
+    description: "Provider for the optional review arbitration target."
+  },
+  {
+    id: "reviewArbitrationModelId",
+    name: "Review arbitration model",
+    type: "string",
+    description: "Model for the optional review arbitration target."
+  },
   {
     id: "planReviewReplanCap",
     name: "Plan Review replan cap",
@@ -12666,16 +12718,11 @@ You have tools to report progress. The board updates in real-time.
 
 /*
 FNXC:TaskRecommendations 2026-08-09-04:06:
-FN-8850 requires optional, non-blocking discoveries to be captured only at the explicit accepted
-completion boundary. Immediate task creation remains for required dependency coordination or an
-operator-directed filing, while workflow step sessions remain unable to write recommendations.
+FN-125 requires task-execution sessions to preserve optional, non-blocking discoveries only at the
+accepted completion boundary. Durable Workflow Executor sessions cannot create or delegate tasks;
+in-scope work remains in the current task and external blockers use the honest blocked exit.
 */
-**Out-of-scope findings at completion:** Do not automatically create a task for optional, non-blocking work discovered outside this task. When recommendation capture is enabled, at the final accepted \`fn_task_done(outcome="completed")\` checkpoint evaluate genuine task-ready follow-ups and send \`recommendations\` (or \`recommendations: []\` when none qualify). Each recommendation needs a stable unique \`id\`, \`title\`, \`description\`, and \`category\`; never use it for a required current-task fix, blocker, secret, executable command, reasoning transcript, or filler.
-
-Use \`task_create\` or \`fn_delegate_task\` only when the task explicitly requires immediate filing, necessary dependency coordination, or the operator directs it. When creating multiple related tasks, declare dependencies between them:
-\`task_create(description="load door sounds", dependencies=[])\` \u2192 returns KB-050
-\`task_create(description="play sound on door open/close", dependencies=["KB-050"])\`
-
+**Out-of-scope findings at completion:** This task-execution session cannot create or delegate tasks. When recommendation capture is enabled, at the final accepted \`fn_task_done(outcome="completed")\` checkpoint evaluate optional, non-blocking findings as genuine task-ready \`recommendations\` (or \`recommendations: []\` when none qualify). Each recommendation needs a stable unique \`id\`, \`title\`, \`description\`, and \`category\`; never use it for a required current-task fix, blocker, secret, executable command, reasoning transcript, or filler. Implement required in-scope work directly in this task.
 **Discovered a dependency:** \`task_add_dep(task_id="KB-XXX")\` \u2014 use when you discover mid-execution that another task must be completed first. This will return a warning first \u2014 you must call again with \`confirm=true\` to proceed. Adding a dependency stops execution, discards current work, and moves the task to triage for re-specification.
 
 ## Task Documents
@@ -12747,16 +12794,16 @@ If you attempt to write to a path outside the worktree, the file tools will reje
 FNXC:WorkflowRouting 2026-06-22-17:26:
 Executors must not move the workflow of the task they are executing unless the user explicitly asked for that task's workflow. Agents remain free to set workflows on tasks they create because they are the creator for those new tasks.
 -->
-- Do not call \`fn_workflow_select\` to change the workflow of the task you are executing; you did not create that task, the user or triage did. The only exception is when the user explicitly requested a specific workflow for this task in a steering comment, task instruction, or similar direct instruction. You may still set the workflow on tasks you create via \`fn_task_create\` or \`fn_delegate_task\`, because you are the creator of those new tasks.
+- Do not call \`fn_workflow_select\` to change the workflow of the task you are executing; you did not create that task, the user or triage did. The only exception is when the user explicitly requested a specific workflow for this task in a steering comment, task instruction, or similar direct instruction.
 - **NEVER kill processes on port 4040.** Port 4040 is the production dashboard. Do not run \`kill\`, \`pkill\`, \`killall\`, or \`lsof -ti:4040 | xargs kill\` against it. If you need to start a test server, use \`--port 0\` for a random free port. If port 4040 is occupied, pick a different port \u2014 do NOT kill the occupant.
 - Treat the File Scope in PROMPT.md as the expected starting scope, not a hard boundary when quality gates fail
 - Read "Context to Read First" files before starting
 - Follow the "Do NOT" section strictly
 - If tests, lint, build, or typecheck fail and the fix requires touching code outside the declared File Scope, fix those failures directly and keep the repo green
-- Use \`task_create\` for genuinely separate follow-up work, not for mandatory fixes required to make this task land cleanly
+- Implement mandatory and in-scope work directly in this task. Preserve optional out-of-scope follow-ups as completion recommendations.
 - Update documentation listed in "Must Update" and check "Check If Affected"
 - NEVER delete, remove, or gut modules, interfaces, settings, exports, or test files outside your File Scope
-- NEVER remove features as "cleanup" \u2014 if something seems unused, create a task for investigation instead
+- NEVER remove features as "cleanup" \u2014 if something seems unused, record an optional completion recommendation for investigation instead
 - Removing code is acceptable ONLY when it is explicitly part of your task's mission
 - If you remove existing functionality, you MUST create a changeset in \`.changeset/\` explaining the removal and rationale
 
@@ -13430,7 +13477,7 @@ You have tools to report progress. The board updates in real-time.
 
 **Logging important actions:** \`task_log(message="what happened")\`
 
-**Out-of-scope findings at completion:** When recommendation capture is enabled, retain optional, non-blocking discoveries as task-ready \`fn_task_done\` recommendations at accepted completion, or send \`recommendations: []\` when none qualify. Use \`task_create\` only for explicit immediate filing, dependency coordination, or operator direction; never recommend required current-task work, blockers, secrets, commands, reasoning, or filler.
+**Out-of-scope findings at completion:** This task-execution session cannot create or delegate tasks. When recommendation capture is enabled, retain optional, non-blocking discoveries as task-ready \`fn_task_done\` recommendations at accepted completion, or send \`recommendations: []\` when none qualify. Implement required in-scope work directly here; use the honest blocked exit only for a real external blocker. Never recommend required current-task work, blockers, secrets, commands, reasoning, or filler.
 
 **Discovered a dependency:** \`task_add_dep(task_id="KB-XXX")\` \u2014 use when you discover mid-execution that another task must be completed first. This will return a warning first \u2014 you must call again with \`confirm=true\` to proceed. Adding a dependency stops execution, discards current work, and moves the task to triage for re-specification.
 
@@ -13500,15 +13547,15 @@ If you attempt to write to a path outside the worktree, the file tools will reje
 FNXC:WorkflowRouting 2026-06-22-17:26:
 Executors must not move the workflow of the task they are executing unless the user explicitly asked for that task's workflow. Agents remain free to set workflows on tasks they create because they are the creator for those new tasks.
 -->
-- Do not call \`fn_workflow_select\` to change the workflow of the task you are executing; you did not create that task, the user or triage did. The only exception is when the user explicitly requested a specific workflow for this task in a steering comment, task instruction, or similar direct instruction. You may still set the workflow on tasks you create via \`fn_task_create\` or \`fn_delegate_task\`, because you are the creator of those new tasks.
+- Do not call \`fn_workflow_select\` to change the workflow of the task you are executing; you did not create that task, the user or triage did. The only exception is when the user explicitly requested a specific workflow for this task in a steering comment, task instruction, or similar direct instruction.
 - **NEVER kill processes on port 4040.** Port 4040 is the production dashboard. Do not run \`kill\`, \`pkill\`, \`killall\`, or \`lsof -ti:4040 | xargs kill\` against it. If you need to start a test server, use \`--port 0\` for a random free port. If port 4040 is occupied, pick a different port \u2014 do NOT kill the occupant.
 - Treat the File Scope in PROMPT.md as the expected starting scope, not a hard boundary when quality gates fail
 - Read "Context to Read First" files before starting
 - Follow the "Do NOT" section strictly
 - If tests, lint, build, or typecheck fail and the fix requires touching code outside the declared File Scope, fix those failures directly and keep the repo green
-- Use \`task_create\` for genuinely separate follow-up work, not for mandatory fixes required to make this task land cleanly
+- Implement mandatory and in-scope work directly in this task. Preserve optional out-of-scope follow-ups as completion recommendations.
 - NEVER delete, remove, or gut modules, interfaces, settings, exports, or test files outside your File Scope
-- NEVER remove features as "cleanup" \u2014 if something seems unused, create a task for investigation instead
+- NEVER remove features as "cleanup" \u2014 if something seems unused, record an optional completion recommendation for investigation instead
 - If you remove existing functionality, you MUST create a changeset in \`.changeset/\` explaining the removal and rationale
 
 ## Spawning Child Agents
@@ -14375,11 +14422,15 @@ var RAW_BUILTIN_CODING_WORKFLOW_IR = {
     // execute → browser-verification (optional-group) → review. When the group is
     // disabled it passes through with outcome=success and routes straight to review.
     { from: "execute", to: "browser-verification", condition: "success" },
-    // browser-verification → code-review → review. Each optional-group passes through with
-    // outcome=success when disabled, so a task with both off routes straight to review.
-    { from: "browser-verification", to: "code-review", condition: "success" },
-    { from: "code-review", to: "completion-summary", condition: "success" },
-    { from: "completion-summary", to: "review", condition: "success" },
+    /*
+    FNXC:WorkspaceReviewSeal 2026-08-21-19:36:
+    Completion summary runs before Code Review because its agent may acquire and write the task
+    worktree. The approving review is the final write-capable pre-merge stage, so landing consumes
+    evidence for the branch it will publish rather than evidence invalidated by a later summary.
+    */
+    { from: "browser-verification", to: "completion-summary", condition: "success" },
+    { from: "completion-summary", to: "code-review", condition: "success" },
+    { from: "code-review", to: "review", condition: "success" },
     { from: "review", to: "merge-gate", condition: "success" },
     { from: "merge-gate", to: "branch-group-member-integration", condition: "outcome:auto-on" },
     { from: "merge-gate", to: "merge-manual-hold", condition: "outcome:auto-off" },
@@ -14392,6 +14443,12 @@ var RAW_BUILTIN_CODING_WORKFLOW_IR = {
     { from: "merge-attempt", to: "post-merge-verification", condition: "success" },
     { from: "post-merge-verification", to: "end", condition: "success" },
     { from: "merge-attempt", to: "merge-retry", condition: "outcome:transient-failure" },
+    /*
+    FNXC:WorkspaceReviewReroute 2026-08-21-20:11:
+    Evidence rejected during an active graph merge is a fresh Code Review obligation, never a
+    merge retry. Route the typed result to the final review gate before another landing attempt.
+    */
+    { from: "merge-attempt", to: "code-review", condition: "outcome:workspace-review-required", kind: "rework" },
     { from: "merge-attempt", to: "merge-manual-hold", condition: "outcome:manual-required" },
     { from: "recovery-router", to: "merge-attempt", condition: "outcome:wake-merge", kind: "rework" },
     { from: "planning", to: "end", condition: "failure" },
@@ -14689,12 +14746,15 @@ var RAW_BUILTIN_STEPWISE_CODING_WORKFLOW_IR = {
     // KTD-5: bounded rework exhaustion → manual hold; release re-enters the group.
     { from: "steps", to: "rework-hold", condition: "outcome:rework-exhausted" },
     { from: "rework-hold", to: "browser-verification", condition: "success" },
-    // browser-verification → code-review → completion-summary → merge-gate; each
-    // optional-group passes through (outcome=success) when disabled, so a task with
-    // both off routes straight to completion summary and merge policy.
-    { from: "browser-verification", to: "code-review", condition: "success" },
-    { from: "code-review", to: "completion-summary", condition: "success" },
-    { from: "completion-summary", to: "merge-gate", condition: "success" },
+    /*
+    FNXC:WorkspaceReviewSeal 2026-08-21-19:36:
+    A completion-summary agent can acquire the task worktree. It therefore precedes Code Review;
+    the approval becomes the final write-sensitive pre-merge gate and cannot be invalidated by the
+    built-in workflow after it is recorded.
+    */
+    { from: "browser-verification", to: "completion-summary", condition: "success" },
+    { from: "completion-summary", to: "code-review", condition: "success" },
+    { from: "code-review", to: "merge-gate", condition: "success" },
     { from: "browser-verification", to: "browser-verification-remediation", condition: "failure" },
     { from: "browser-verification-remediation", to: "browser-verification", condition: "success", kind: "rework" },
     { from: "code-review", to: "code-review-remediation", condition: "failure" },
@@ -14720,6 +14780,12 @@ var RAW_BUILTIN_STEPWISE_CODING_WORKFLOW_IR = {
     { from: "merge-attempt", to: "post-merge-verification", condition: "success" },
     { from: "post-merge-verification", to: "end", condition: "success" },
     { from: "merge-attempt", to: "merge-retry", condition: "outcome:transient-failure" },
+    /*
+    FNXC:WorkspaceReviewReroute 2026-08-21-20:11:
+    A stale workspace approval returns to the final Code Review gate through a bounded rework
+    edge, preserving the existing graph owner instead of burning a merge retry.
+    */
+    { from: "merge-attempt", to: "code-review", condition: "outcome:workspace-review-required", kind: "rework" },
     { from: "merge-attempt", to: "merge-manual-hold", condition: "outcome:manual-required" },
     { from: "recovery-router", to: "merge-attempt", condition: "outcome:wake-merge", kind: "rework" },
     { from: "merge-attempt", to: "end", condition: "failure" }
@@ -14782,11 +14848,11 @@ var RAW_BUILTIN_STEPWISE_FINAL_REVIEW_CODING_WORKFLOW_IR = (() => {
   if (!ir.edges.some((edge) => edge.from === "plan-replan" && edge.to === "plan-review" && edge.condition === "success")) {
     ir.edges.push({ from: "plan-replan", to: "plan-review", condition: "success", kind: "rework" });
   }
-  if (!ir.edges.some((edge) => edge.from === "code-review" && edge.to === "completion-summary" && edge.condition === "success")) {
-    ir.edges.push({ from: "code-review", to: "completion-summary", condition: "success" });
+  if (!ir.edges.some((edge) => edge.from === "completion-summary" && edge.to === "code-review" && edge.condition === "success")) {
+    ir.edges.push({ from: "completion-summary", to: "code-review", condition: "success" });
   }
-  if (!ir.edges.some((edge) => edge.from === "completion-summary" && edge.to === "merge-gate" && edge.condition === "success")) {
-    ir.edges.push({ from: "completion-summary", to: "merge-gate", condition: "success" });
+  if (!ir.edges.some((edge) => edge.from === "code-review" && edge.to === "merge-gate" && edge.condition === "success")) {
+    ir.edges.push({ from: "code-review", to: "merge-gate", condition: "success" });
   }
   return ir;
 })();
@@ -14866,8 +14932,8 @@ var RAW_BUILTIN_CODING_IDEAS_WORKFLOW_IR = (() => {
   ]);
   v2.nodes = v2.nodes.filter((node) => !removedNodeIds.has(node.id));
   v2.edges = v2.edges.filter((edge) => !removedNodeIds.has(edge.from) && !removedNodeIds.has(edge.to));
-  if (!v2.edges.some((edge) => edge.from === "steps" && edge.to === "code-review")) {
-    v2.edges.push({ from: "steps", to: "code-review", condition: "success" });
+  if (!v2.edges.some((edge) => edge.from === "steps" && edge.to === "completion-summary")) {
+    v2.edges.push({ from: "steps", to: "completion-summary", condition: "success" });
   }
   if (!v2.edges.some((edge) => edge.from === "merge-attempt" && edge.to === "end" && edge.condition === "success")) {
     v2.edges.push({ from: "merge-attempt", to: "end", condition: "success" });
@@ -15454,10 +15520,12 @@ function linear(spec) {
     ...hasBrowserVerification ? [browserVerificationRemediationNode("in-progress")] : [],
     ...hasCodeReview ? [codeReviewRemediationNode("in-progress")] : []
   ] : [];
+  const noOpTerminalNode = hasPlanReview ? { id: "plan-review-no-op", kind: "gate", column: "todo", config: { workflowAction: "plan-review-no-op" } } : void 0;
   const nodes2 = [
     { id: "start", kind: "start" },
     ...workflowNodes,
     ...remediationNodes,
+    ...noOpTerminalNode ? [noOpTerminalNode] : [],
     { id: "end", kind: "end" }
   ];
   const edges = [];
@@ -15473,6 +15541,8 @@ function linear(spec) {
   }
   if (hasPlanReview) {
     edges.push({ from: "plan-replan", to: "plan-review", condition: "success", kind: "rework" });
+    edges.push({ from: "plan-review", to: "plan-review-no-op", condition: "outcome:close-no-op" });
+    edges.push({ from: "plan-review-no-op", to: "end", condition: "success" });
   }
   if (hasBrowserVerification) {
     edges.push({