fix(engine): 打不回的验收卡不摆那颗钮 —— 全 auto 的放行步没有模型能接住那句意见

用户:「评审放行与落账确认这一步的验收卡不应该有重做的选项,因为这里都没有接入 ai」。

W05 的 T_release 整个由配方跑完(guide 是空串,不问模型),件又是只读的 ——
打回之后没有任何东西能接住那句意见:配方只会原样再提交一次,撞在「打回之后台账没动过
就不许再提交」那道闸上,连撞两拍落成一张「连续撞在同一条判据上」的兜底卡。
一颗按下去只会把单子推进死胡同的钮,不如不摆(墙要配路;没有路就别立那扇门)。

· 契约:AcceptanceWorkOrder.redoable(不写 = 打得回,老卡老行为);
· 装配层按放行那一步的声明现算 —— releaseRedoable 纯函数(有 auto 且 guide 空 → 打不回;
  半 auto 与模型驱动照旧打得回,那儿真有模型会读意见),与 decisionCardFace /
  executionCardVariant 同一种做法、同一个测试位;
· 卡面收起理由框与那颗钮,换一句真路:「这一步只落账,退不回上一步 —— 有异议就别确认,
  去终止这一单重开」;
· **服务端才是门**:redoable:false 的卡收到非 pass 的回传当场拒(redo-unavailable),
  直调 API 绕不过;拒回把真路指出来。

S3 结论审核那张审核卡不受影响 —— 它的重做真会带着意见重判(昨夜那一轮)。
测:card-rules 3 条 + releaseRedoable 4 条,两处变异验证;e2e w05 5/5 released、被拒 0。

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LKMZDwMbyKzjw6Hembwvet

api-report/apps/api/src/modules/release/contract.d.ts

@@ -28,6 +28,8 @@ export type SubmitForReleaseInput = {
     readonly criteria: readonly CriterionCheck[];
     /** 人工验收清单(剧本声明,固定):卡上一条一枚开关,全部达标才能通过 */
     readonly checklist?: ReadonlyArray<string>;
+    /** 这张卡打回得了吗 —— `false` = 打回之后没人接得住(见契约 `AcceptanceWorkOrder.redoable`) */
+    readonly redoable?: boolean;
     /** 报告可修订:AI 拟值已填的表单字段 */
     readonly fields?: ReadonlyArray<Record<string, unknown>>;
     /**

api-report/apps/api/src/modules/release/port.d.ts

@@ -93,6 +93,8 @@ export type CardGateway = {
         }>;
         /** 人工验收清单 —— 原样带上卡 */
         checklist?: ReadonlyArray<string> | undefined;
+        /** 这张卡打回得了吗(`false` = 那颗钮不摆)—— 端口不声明它,值就在装配层被丢掉,这行不能省 */
+        redoable?: boolean | undefined;
         /**
          * 可修订字段 —— 验收报告「AI 已填好、可编辑」改的就是它们(带 `ai` 拟值与 `ledger` 落回地址)。
          * **端口不声明它,值就在装配层被丢掉**:上游一路传下来,而 TypeScript 对条件展开

api-report/packages/contracts/src/api/workbench.d.ts

@@ -1225,6 +1225,7 @@ export declare const taskDetailSchema: z.ZodObject<{
             because: z.ZodString;
         }, z.core.$strip>>;
         passLabel: z.ZodOptional<z.ZodString>;
+        redoable: z.ZodOptional<z.ZodBoolean>;
         id: z.core.$ZodBranded<z.ZodString, "WorkOrderId", "out">;
         at: z.ZodISODateTime;
         title: z.ZodString;
@@ -1819,6 +1820,7 @@ export declare const taskDetailSchema: z.ZodObject<{
             because: z.ZodString;
         }, z.core.$strip>>;
         passLabel: z.ZodOptional<z.ZodString>;
+        redoable: z.ZodOptional<z.ZodBoolean>;
         id: z.core.$ZodBranded<z.ZodString, "WorkOrderId", "out">;
         at: z.ZodISODateTime;
         title: z.ZodString;
@@ -3155,6 +3157,7 @@ export declare const taskDetailRoute: {
                 because: z.ZodString;
             }, z.core.$strip>>;
             passLabel: z.ZodOptional<z.ZodString>;
+            redoable: z.ZodOptional<z.ZodBoolean>;
             id: z.core.$ZodBranded<z.ZodString, "WorkOrderId", "out">;
             at: z.ZodISODateTime;
             title: z.ZodString;
@@ -3749,6 +3752,7 @@ export declare const taskDetailRoute: {
                 because: z.ZodString;
             }, z.core.$strip>>;
             passLabel: z.ZodOptional<z.ZodString>;
+            redoable: z.ZodOptional<z.ZodBoolean>;
             id: z.core.$ZodBranded<z.ZodString, "WorkOrderId", "out">;
             at: z.ZodISODateTime;
             title: z.ZodString;

api-report/packages/contracts/src/card.d.ts

@@ -1208,6 +1208,7 @@ export declare const acceptanceWorkOrderSchema: z.ZodObject<{
         because: z.ZodString;
     }, z.core.$strip>>;
     passLabel: z.ZodOptional<z.ZodString>;
+    redoable: z.ZodOptional<z.ZodBoolean>;
     id: z.core.$ZodBranded<z.ZodString, "WorkOrderId", "out">;
     at: z.ZodISODateTime;
     title: z.ZodString;
@@ -1803,6 +1804,7 @@ export declare const workOrderSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         because: z.ZodString;
     }, z.core.$strip>>;
     passLabel: z.ZodOptional<z.ZodString>;
+    redoable: z.ZodOptional<z.ZodBoolean>;
     id: z.core.$ZodBranded<z.ZodString, "WorkOrderId", "out">;
     at: z.ZodISODateTime;
     title: z.ZodString;