@akagilnc/pi-workflow-roles 0.1.3685 → 0.1.3702

package/src/judge-auditor.ts

@@ -1,45 +1,7 @@
-import {
-  runComplianceAudit,
-  type AuditorSummon,
-  type ComplianceDecision,
-} from "./compliance-transport.ts";
-import { auditorRunDirectory } from "./auditor-dossier-tool.ts";
-import {
-  readJudgeAuditSubjects,
-  requireAuditMaterials,
-  resolveAuditDossier,
-} from "./dossier-resolution.ts";
-import type { HostContext } from "./host-contracts.ts";
-
-export const JUDGE_AUDIT_TOOL_NAME = "ak_soul_audit_decision";
-export const SOUL_AUDIT_TOOL_NAME = JUDGE_AUDIT_TOOL_NAME;
-
-export type JudgeAuditOptions = {
-  context: HostContext;
-  signal?: AbortSignal;
-  /** Same seam as runComplianceAudit options — offline tracers only. */
-  summonAuditor?: AuditorSummon;
-};
-
 /**
- * Judge compliance via public auditor activation (#675 / ADR 0062 / owner r11).
- * 审刑院 is an independent role; subject=judge selects souls/judge-auditor.md.
+ * Judge nested-audit tool name retained for settlement / historical session faces.
+ * Live judge↔auditor review queue is the shared gate envelope (#756) — no
+ * createPiJudgeAuditor compliance wrapper remains.
  */
-export function createPiJudgeAuditor(): (options: JudgeAuditOptions) => Promise<ComplianceDecision> {
-  return async (options) => {
-    const dossier = resolveAuditDossier();
-    requireAuditMaterials(dossier);
-    const subjects = readJudgeAuditSubjects(options.context);
-    requireAuditMaterials(subjects);
-
-    return runComplianceAudit({
-      subject: "judge",
-      context: options.context,
-      ...(auditorRunDirectory(options.context) === undefined
-        ? {}
-        : { runDirectory: auditorRunDirectory(options.context) }),
-      ...(options.signal === undefined ? {} : { signal: options.signal }),
-      ...(options.summonAuditor === undefined ? {} : { summonAuditor: options.summonAuditor }),
-    });
-  };
-}
+export const JUDGE_AUDIT_TOOL_NAME = "ak_soul_audit_decision";
+export const SOUL_AUDIT_TOOL_NAME = JUDGE_AUDIT_TOOL_NAME;

package/src/judge-role.ts

@@ -2,19 +2,20 @@ import type { RoleHost, HostContext, HostToolResult, HostGatekeeperActions } fro
 import { stringEnum } from "./host-contracts.ts";
 import { Type, type Static } from "typebox";
 
-import { disposeComplianceDecision } from "./audit-escalation.ts";
-import type { ComplianceDecision } from "./compliance-transport.ts";
-import { joinReadableGateItems } from "./readable-gate-item.ts";
 import { withInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.ts";
+import { ParentQueueReaskError } from "./submission-errors.ts";
 
 import {
-  JUDGE_ACCEPTED_AUDIT_NO_RECEIPT_TEXT,
   JUDGE_ACCEPTED_TEXT,
   JUDGE_OUTPUT_TOOL_NAME,
   validateAcceptedJudgeDetails,
   type JudgeVerdict,
 } from "./package-contracts/judge-output.ts";
 
+const JUDGE_QUEUE_STATUSES = new Set(["converged", "continue", "escalate"]);
+const JUDGE_STATUS_REASK =
+  "judgeStatus 不是 converged、continue、escalate 三态之一。请重新交卷，status 写明其一。" as const;
+
 export { JUDGE_OUTPUT_TOOL_NAME };
 export type { JudgeVerdict };
 
@@ -53,13 +54,8 @@ export const judgeVerdictSchema = withInfrastructureFailureDeclaration(
 
 type JudgeVerdictParameters = Static<typeof judgeVerdictSchema>;
 
-export type SoulAuditResult = ComplianceDecision;
-
 export type JudgeRoleDependencies = {
   loadSoul(): Promise<string>;
-  auditSoulCompliance(
-    options: { context: HostContext; signal?: AbortSignal },
-  ): Promise<SoulAuditResult>;
 };
 
 export type JudgeRoleHostActions = HostGatekeeperActions;
@@ -86,15 +82,34 @@ export function createJudgeRoleRuntime(
         pi.registerTool({
           name: JUDGE_OUTPUT_TOOL_NAME,
           label: "大理寺输出",
-          description: "提交大理寺终局判词；受理前经审刑院审计。",
+          description: "提交大理寺终局判词；受理前经符宝郎内闸与审刑院合规审核。",
           promptSnippet: "提交大理寺终局判词",
           parameters: judgeVerdictSchema,
           async execute(toolCallId: string, parameters: Static<typeof judgeVerdictSchema>, signal: AbortSignal | undefined, _onUpdate: unknown, ctx: HostContext): Promise<HostToolResult<unknown>> {
             if (soul === undefined) throw new Error("大理寺职分未装载");
+            // #756 queue: read judgeStatus only — escalate skips gates (thrown to caller);
+            // unreadable status returns to judge; else 符宝郎内闸 then 审刑院合规.
+            const rawStatus =
+              parameters !== null && typeof parameters === "object" && !Array.isArray(parameters)
+              && typeof (parameters as Record<string, unknown>).judgeStatus === "string"
+                ? (parameters as Record<string, unknown>).judgeStatus as string
+                : undefined;
+            if (rawStatus === undefined || !JUDGE_QUEUE_STATUSES.has(rawStatus)) {
+              throw new ParentQueueReaskError(JUDGE_STATUS_REASK);
+            }
+            if (rawStatus === "escalate") {
+              // Parent escalate → throw to caller as-is; officers do not attend (#753 / #756).
+              const verdict = validateVerdict(parameters);
+              return {
+                content: [{ type: "text" as const, text: JUDGE_ACCEPTED_TEXT }],
+                details: verdict,
+                terminate: true as const,
+              };
+            }
             const verdict = validateVerdict(parameters);
             // Candidate verdict is already on the parent session books as this
             // tool-call leaf (first-record-then-audit; run 019fea05 L61/L62).
-            // Gatekeeper runs after the draft is booked and before existing auditor.
+            // #753: 符宝郎内闸 — queue only, raw receipt on bounce/escalate.
             await pi.requireGatekeeperPass!({
               context: ctx,
               subject: { kind: "judge_draft" },
@@ -102,49 +117,21 @@ export function createJudgeRoleRuntime(
               hostActions,
               toolCallId,
             });
-            let audit: SoulAuditResult;
-            try {
-              audit = await dependencies.auditSoulCompliance(
-                signal === undefined
-                  ? { context: ctx }
-                  : { context: ctx, signal },
-              );
-            } catch (error) {
-              hostActions.failInfrastructure(error, ctx, toolCallId);
-            }
-            const acceptedDetails = verdict;
-            return disposeComplianceDecision<HostToolResult<unknown>>(
-              audit,
-              {
-                pass: (usage) => ({
-                  content: [{ type: "text" as const, text: JUDGE_ACCEPTED_TEXT }],
-                  details: acceptedDetails,
-                  terminate: true as const,
-                  ...(usage === undefined ? {} : { usage }),
-                }),
-                noReceipt: (auditNoReceipt, usageProjection) => ({
-                  content: [{ type: "text" as const, text: JUDGE_ACCEPTED_AUDIT_NO_RECEIPT_TEXT }],
-                  details: { ...acceptedDetails, auditNoReceipt },
-                  terminate: true as const,
-                  ...usageProjection,
-                }),
-                // #757: parent stands with auditor raw reply — no unreadable judgment.
-                received: (auditReceived, usageProjection) => ({
-                  content: [{ type: "text" as const, text: JUDGE_ACCEPTED_TEXT }],
-                  details: { ...acceptedDetails, audit: auditReceived.reply },
-                  terminate: true as const,
-                  ...usageProjection,
-                }),
-                bounce: (violations) => {
-                  throw new Error(
-                    `大理寺回执违 soul：${joinReadableGateItems(violations)}`,
-                  );
-                },
-                escalate: (result) => result,
-              },
-              // #380: escalate deliveredOutput must carry the same mechanical projection.
-              acceptedDetails,
-            );
+            // #756: 审刑院合规路径 — same review-queue law as 符宝郎/察院.
+            // pass → accept; bounce|escalate → raw auditor receipt back to judge;
+            // not three-state → resume auditor; no round cap; no disposeCompliance mapping.
+            await pi.requireGatekeeperPass!({
+              context: ctx,
+              subject: { kind: "judge_compliance" },
+              ...(signal === undefined ? {} : { signal }),
+              hostActions,
+              toolCallId,
+            });
+            return {
+              content: [{ type: "text" as const, text: JUDGE_ACCEPTED_TEXT }],
+              details: verdict,
+              terminate: true as const,
+            };
           },
         });
         pi.on("before_agent_start", (event) => {

package/src/notary-contracts.ts

@@ -53,13 +53,10 @@ export type NotarySourceRunLocator = {
   readonly role: string;
 };
 
+/** Recognition face only — fields retained as submitted (#753, no disposition/findings forge). */
 export type NotaryOutput =
-  | { readonly status: "pass"; readonly findings: readonly string[] }
-  | {
-      readonly status: "bounce";
-      readonly disposition: "rewrite";
-      readonly findings: readonly string[];
-    }
+  | { readonly status: "pass"; readonly findings?: unknown }
+  | { readonly status: "bounce"; readonly findings?: unknown }
   | {
       readonly status: "escalate";
       readonly reason?: unknown;
@@ -70,32 +67,16 @@ function isRecord(value: unknown): value is Record<string, unknown> {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 
-function asStringArray(value: unknown): readonly string[] {
-  if (!Array.isArray(value)) return [];
-  return value.filter((item): item is string => typeof item === "string");
-}
-
 /**
- * Project one lawful explicit Notary release (pass | bounce | escalate).
- * No throw on shape — ADR 0055 / 第 0 条: already-submitted params are retained as-is;
- * public-terminal projects non-usable releases via typed failure cause.
+ * Recognize one lawful explicit Notary release (pass | bounce | escalate).
+ * #753: no field rewrite — submitted params retained as-is (no disposition forge,
+ * no findings array rewrite). Recognition only for recording/settlement callers.
  */
 export function projectLawfulNotaryOutput(value: unknown): NotaryOutput | undefined {
   if (!isRecord(value)) return undefined;
   const status = typeof value.status === "string" ? value.status : undefined;
-  if (status === "bounce") {
-    const clone = structuredClone(value) as Record<string, unknown>;
-    if (clone.disposition === undefined) clone.disposition = "rewrite";
-    if (!Array.isArray(clone.findings)) clone.findings = asStringArray(clone.findings);
-    return clone as NotaryOutput;
-  }
-  if (status === "pass") {
-    const clone = structuredClone(value) as Record<string, unknown>;
-    if (!Array.isArray(clone.findings)) clone.findings = asStringArray(clone.findings);
-    return clone as NotaryOutput;
-  }
-  if (status === "escalate") {
-    return structuredClone(value) as NotaryOutput;
+  if (status === "bounce" || status === "pass" || status === "escalate") {
+    return value as NotaryOutput;
   }
   return undefined;
 }

package/src/notary-role.ts

@@ -12,8 +12,6 @@ import {
   NOTARY_SOURCE_RUN_FLAG,
   NOTARY_TICKET_FLAG,
   notaryOutputSchema,
-  projectLawfulNotaryOutput,
-  retainNotarySubmission,
   type NotarySourceRunLocator,
 } from "./notary-contracts.ts";
 
@@ -170,14 +168,11 @@ export function createNotaryRoleRuntime(
             if (activation === undefined) {
               throw new Error("符宝郎未激活");
             }
-            // Unique submission + terminate only. Shape is not an admission gate
-            // (第 0 条 / ADR 0055): lawful pass/bounce/escalate projected; else params as-is.
+            // #753: handler only records — params as submitted, no findings/disposition rewrite.
             // #541 infra declaration + sole-final barrier are ledger-owned (#575).
-            const lawful = projectLawfulNotaryOutput(parameters);
-            const details = lawful ?? retainNotarySubmission(parameters);
             return {
               content: [{ type: "text" as const, text: NOTARY_ACCEPTED_TEXT }],
-              details,
+              details: parameters,
               terminate: true as const,
             };
           },

package/src/package-contracts/judge-output.ts

@@ -3,7 +3,6 @@
 
 export const JUDGE_OUTPUT_TOOL_NAME = "ak_judge_output";
 export const JUDGE_ACCEPTED_TEXT = "大理寺回执已接受";
-export const JUDGE_ACCEPTED_AUDIT_NO_RECEIPT_TEXT = "大理寺回执已接受；审计无回执";
 
 export type JudgeClass = {
   name: string;

package/src/package-contracts/terminating-tools.ts

@@ -221,10 +221,10 @@ export function validateAcceptedDetails(
     [COLLECTOR_OUTPUT_TOOL]: [],
     [DOCTOR_OUTPUT_TOOL_NAME]: ["completed", "refused"],
     [MERGER_OUTPUT_TOOL_NAME]: ["completed", "escalate"],
-    [NOTARY_OUTPUT_TOOL_NAME]: ["pass", "bounce"],
+    [NOTARY_OUTPUT_TOOL_NAME]: ["pass", "bounce", "escalate"],
     [COUNTERSIGN_OUTPUT_TOOL_NAME]: ["converged", "continue", "escalate"],
     [GLEANER_LEFT_OUTPUT_TOOL_NAME]: ["completed"],
-    [INSPECTOR_OUTPUT_TOOL_NAME]: ["pass", "bounce"],
+    [INSPECTOR_OUTPUT_TOOL_NAME]: ["pass", "bounce", "escalate"],
     [GATEKEEPER_OUTPUT_TOOL_NAME]: ["dispatch", "pass"],
     [NAVIGATOR_OUTPUT_TOOL_NAME]: ["advice"],
     [AUDITOR_OUTPUT_TOOL_NAME]: ["pass", "bounce", "escalate"],

package/src/public-cli/inspector-run.ts

@@ -44,6 +44,17 @@ import {
 export type InspectorRunEnv = PostAdmissionEnv & {
   principalAuthority: DurablePrincipalAuthority;
   createRunId?: () => string;
+  /**
+   * #753 nested gate re-ask: plain-language instruction on same-ticket resume.
+   * Only set by summonPublicRole when the prior officer reply was not three-state.
+   * Never a public CLI argv — must not pollute the 卷宗指针 parentRunPath key (#747).
+   */
+  reviewReask?: string;
+  /**
+   * #753/#750 same-parent re-summons: human-readable new-submission pointers.
+   * Rides summons.instruction when reviewReask is absent. Fresh mint keeps argv 卷宗指针.
+   */
+  gateReviewInstruction?: string;
 };
 
 /** Project admitted invocation onto the host-neutral turn request. */
@@ -87,11 +98,18 @@ export async function runPublicInspector(
   // #771: no mechanical ticket match against instruction text; parent-run path only.
   // No bare catch→fresh: lookup/resume failures surface; only true absence mints new.
   const projectRoot = parsed.project ?? env.cwd;
+  // #747: parentRunPath is the pure 卷宗指针 path only — never reask/materials text.
+  // #753: gate re-ask / new-submission pointers ride summons.instruction on resume.
   const parentRunPath = parentRunPathFromGatePointerInstruction(parsed.instruction);
   if (parentRunPath !== undefined) {
+    const resumeInstruction = env.reviewReask ?? env.gateReviewInstruction;
     const summons: SameTicketSummonsMaterials = {
-      instruction: parsed.instruction,
-      instructionEmpty: parsed.instruction.trim() === "",
+      ...(resumeInstruction === undefined
+        ? {
+            instruction: parsed.instruction,
+            instructionEmpty: parsed.instruction.trim() === "",
+          }
+        : { instruction: resumeInstruction, instructionEmpty: false }),
       attachmentPaths: parsed.attachmentPaths,
     };
     const resumed = await tryResumeSameTicketSeatRun({
@@ -109,6 +127,18 @@ export async function runPublicInspector(
         ),
     });
     if (resumed !== undefined) return resumed;
+    // Reask without a prior same-parent run cannot deliver the plain-language ask
+    // on a fresh mint without inventing a second prompt path — fail loud (#753).
+    // gateReviewInstruction alone is resume-only; fresh mint keeps argv 卷宗指针.
+    if (env.reviewReask !== undefined) {
+      presentStructuralRejection(
+        new CliUsageError(
+          "inspector review reask requires a prior same-parent run to resume",
+        ),
+        io,
+      );
+      return { exitCode: 2 };
+    }
   }
 
   let admitted: AdmittedInspectorInvocation;

package/src/public-cli/instruction-seat-run.ts

@@ -63,6 +63,17 @@ export type AdmittedInstructionSeatInvocation =
 export type InstructionSeatRunEnv = PostAdmissionEnv & {
   principalAuthority: DurablePrincipalAuthority;
   createRunId?: () => string;
+  /**
+   * #756 nested gate re-ask for auditor: plain-language instruction on same-ticket resume.
+   * Only set by summonPublicRole when the prior officer reply was not three-state.
+   * Never a public CLI argv — must not pollute the --source-run parent lookup key (#747).
+   */
+  reviewReask?: string;
+  /**
+   * #753/#750 same-parent re-summons: human-readable new-submission pointers.
+   * Rides summons.instruction when reviewReask is absent. Fresh mint keeps argv instruction.
+   */
+  gateReviewInstruction?: string;
 };
 
 /** Project an admitted instruction-seat invocation onto the host-neutral turn request. */
@@ -283,9 +294,15 @@ export async function runPublicInstructionSeat(
     }
   }
 
+  // #756: auditor reask / new-submission pointers ride summons.instruction on resume.
+  const resumeInstruction = env.reviewReask ?? env.gateReviewInstruction;
   const summons: SameTicketSummonsMaterials = {
-    instruction: parsed.instruction,
-    instructionEmpty: parsed.instruction.trim() === "",
+    ...(resumeInstruction === undefined
+      ? {
+          instruction: parsed.instruction,
+          instructionEmpty: parsed.instruction.trim() === "",
+        }
+      : { instruction: resumeInstruction, instructionEmpty: false }),
     attachmentPaths: parsed.attachmentPaths,
   };
   if (role === "auditor" && auditorSourceRun !== undefined) {
@@ -309,6 +326,17 @@ export async function runPublicInstructionSeat(
         }),
     });
     if (resumed !== undefined) return resumed;
+    // Reask without a prior same-parent run cannot deliver the plain-language ask
+    // on a fresh mint without inventing a second prompt path — fail loud (#753 / #756).
+    if (env.reviewReask !== undefined) {
+      presentStructuralRejection(
+        new CliUsageError(
+          "auditor review reask requires a prior same-parent run to resume",
+        ),
+        io,
+      );
+      return { exitCode: 2 };
+    }
   }
 
   let admitted: AdmittedInstructionSeatInvocation;

package/src/public-cli/notary-run.ts

@@ -4,9 +4,6 @@
  * the shared post-admission seam; this module keeps only Notary adapters.
  * #637 / #747: same-parent (--source-run) re-summons resume the seat's previous run.
  */
-import { existsSync } from "node:fs";
-
-import { gateSubmissionCandidatePath } from "../auditor-dossier-tool.ts";
 import type { DurablePrincipalAuthority, RoleTurnRequest } from "../host-contracts.ts";
 import {
   NotarySourceRunError,
@@ -22,6 +19,7 @@ import {
 } from "./invocation.ts";
 import { tryResumeSameTicketSeatRun } from "./seat-ticket-binding.ts";
 import {
+  prepareSummonsResumeMaterials,
   runPostAdmissionOneShot,
   type PostAdmissionAdapters,
   type PostAdmissionEnv,
@@ -29,7 +27,6 @@ import {
   resumeTurnRequestProjectionOptions,
 } from "./post-admission.ts";
 import {
-  appendResumeMaterialReread,
   loadResumableNotaryRun,
   markRunAdmitted,
   type PublicResumeRequest,
@@ -49,6 +46,17 @@ import {
 export type NotaryRunEnv = PostAdmissionEnv & {
   principalAuthority: DurablePrincipalAuthority;
   createRunId?: () => string;
+  /**
+   * #753 nested gate re-ask: plain-language instruction on same-ticket resume.
+   * Only set by summonPublicRole when the prior officer reply was not three-state.
+   * Never a public CLI argv — external callers still have zero prompt.
+   */
+  reviewReask?: string;
+  /**
+   * #753/#750 same-parent re-summons: human-readable new-submission pointers.
+   * Rides summons.instruction when reviewReask is absent. Fresh mint ignores it.
+   */
+  gateReviewInstruction?: string;
 };
 
 /** Project admitted invocation onto the host-neutral turn request. */
@@ -112,10 +120,16 @@ export async function runPublicNotary(
     throw error;
   }
   // #747: officer resume key is this parent source-run path (not ticket number).
+  // #753: gate re-ask and new-submission pointers share summons.instruction
+  // (reask wins when both present; no parallel stack).
   {
+    const resumeInstruction = env.reviewReask ?? env.gateReviewInstruction;
     const summons: SameTicketSummonsMaterials = {
       sourceRunPath: source.runDirectory,
       sourceRun: source,
+      ...(resumeInstruction === undefined
+        ? {}
+        : { instruction: resumeInstruction, instructionEmpty: false }),
     };
     const resumed = await tryResumeSameTicketSeatRun({
       home: env.home,
@@ -132,6 +146,18 @@ export async function runPublicNotary(
         ),
     });
     if (resumed !== undefined) return resumed;
+    // Reask without a prior same-parent run cannot deliver the plain-language ask
+    // on a fresh mint without inventing a second prompt path — fail loud (#753).
+    // gateReviewInstruction alone is resume-only materials; fresh mint ignores it.
+    if (env.reviewReask !== undefined) {
+      presentStructuralRejection(
+        new CliUsageError(
+          "notary review reask requires a prior same-parent run to resume",
+        ),
+        io,
+      );
+      return { exitCode: 2 };
+    }
   }
 
   let admitted: AdmittedNotaryInvocation;
@@ -238,20 +264,26 @@ export async function runPublicNotaryResume(
       }
       return loaded;
     },
-    buildTurnRequest: (admitted, effective) => {
-      const projection = resumeTurnRequestProjectionOptions(
+    buildTurnRequest: async (admitted, effective) => {
+      // #755: review continuation is plain dialogue / resume envelope — no
+      //「重新读」candidate line, no engine handbook packaging.
+      // #753: non-three-state re-ask rides as summons.instruction (人话重问).
+      const summonsPrepared =
+        effective.summons === undefined
+          ? undefined
+          : await prepareSummonsResumeMaterials(
+              admitted.runDirectory,
+              effective.summons,
+            );
+      return buildNotaryTurnRequest(
         admitted,
-        effective,
-        env,
+        resumeTurnRequestProjectionOptions(
+          admitted,
+          effective,
+          env,
+          summonsPrepared,
+        ),
       );
-      const candidatePath = gateSubmissionCandidatePath(admitted.sourceRunPath);
-      const prompt = existsSync(candidatePath)
-        ? appendResumeMaterialReread(projection.continuation.prompt, candidatePath)
-        : projection.continuation.prompt;
-      return buildNotaryTurnRequest(admitted, {
-        ...projection,
-        continuation: { kind: "resume", prompt },
-      });
     },
     adapters: notaryAdapters(),
     ...(env.engine === undefined ? {} : { effectiveEngine: env.engine }),

package/src/public-cli/post-admission.ts

@@ -11,7 +11,7 @@ import { isAbsolute, join, resolve } from "node:path";
 
 import {
   buildResumeContinuationPrompt,
-  instructResumeHandbookRead,
+  RESUME_TRANSPORT_ENVELOPE,
   type PublicResumeRequest,
   type SameTicketSummonsMaterials,
 } from "./run-lifecycle.ts";
@@ -22,7 +22,6 @@ import {
   freezeAttachmentsIntoRun,
 } from "./invocation.ts";
 import { pathContainedIn } from "../activation-ledger-topology.ts";
-import { engineSessionMaterialFromOptions } from "../package-resources/engine-material.ts";
 
 import type {
   ControlledFailureCause,
@@ -494,15 +493,18 @@ export async function dispatchPostAdmissionTurn<
 }
 
 /**
- * Shared resume continuation projection (#471 / #600 / #633 / #637): seat-table
- * model/engine/timeout axes, restored correlation, and either
- * - manual resume: package envelope / optional caller message (unchanged), or
- * - same-ticket summons: this turn's instruction + frozen attachment paths.
- * Caller message and summons materials each keep their place: a resume message
- * keeps manual-resume prompt semantics while open-court frozen attachments still
- * ride; summons instruction is only the prompt base when no caller message.
+ * Shared resume continuation projection (#471 / #600 / #633 / #637 / #755):
+ * seat-table model/engine/timeout axes, restored correlation, and either
+ * - manual resume (no same-ticket summons): package envelope / optional caller
+ *   message, with engine-axis handbook via buildResumeContinuationPrompt, or
+ * - same-ticket summons (审核循环续话): caller/peer words + optional frozen
+ *   attachment paths only — no「重新读」、no engine handbook packaging
+ *   (#750/#755), whether or not attachments are present.
+ * Caller message wins as prompt base when supplied (bytes unchanged, including
+ * blank/whitespace); else summons instruction. Attachment projection must not
+ * re-interpret the caller message as instructionEmpty.
  * Seats add only their activation projection. Call prepareSummonsResumeMaterials
- * first when request.summons carries attachment paths.
+ * first when request.summons carries instruction or attachment paths.
  */
 export function resumeTurnRequestProjectionOptions(
   admitted: AdmittedRoleInvocation,
@@ -514,32 +516,21 @@ export function resumeTurnRequestProjectionOptions(
     readonly attachments: readonly { frozenPath: string }[];
   },
 ): RoleTurnRequestProjectionOptions {
-  const engineMaterial = engineSessionMaterialFromOptions({
-    ...(env.engine === undefined ? {} : { engine: env.engine }),
-    packageRoot: env.packageRoot,
-  });
   let prompt: string;
   if (request.message !== undefined) {
-    // Manual resume caller-message semantics stay authoritative for the prompt:
-    // message present → base bytes unchanged (including blank/whitespace).
-    // Open-court frozen attachments still continue when present; attachment
-    // projection must not re-interpret the caller message as instructionEmpty.
-    if (
-      summonsPrepared !== undefined &&
-      summonsPrepared.attachments.length > 0
-    ) {
-      prompt = instructResumeHandbookRead(
-        buildInstructionTransportPrompt(
-          {
-            instruction: request.message,
-            instructionEmpty: false,
-            attachments: summonsPrepared.attachments,
-          },
-          engineMaterial,
-        ),
-        engineMaterial,
-      );
+    if (summonsPrepared !== undefined) {
+      // #755: same-ticket review / open-court — caller words + optional paths.
+      // Attachments are not a gate: message-only summons must stay plain too.
+      prompt = buildInstructionTransportPrompt({
+        instruction: request.message,
+        instructionEmpty: false,
+        attachments: summonsPrepared.attachments,
+      });
+    } else if (request.summons !== undefined) {
+      // #755: same-ticket summons without prepared materials — caller words only.
+      prompt = request.message;
     } else {
+      // Bare manual resume — outsourcing engine axis keeps handbook (#600/#736).
       prompt = buildResumeContinuationPrompt({
         packageRoot: env.packageRoot,
         ...(env.engine === undefined ? {} : { engine: env.engine }),
@@ -547,11 +538,14 @@ export function resumeTurnRequestProjectionOptions(
       });
     }
   } else if (summonsPrepared !== undefined) {
-    prompt = instructResumeHandbookRead(
-      buildInstructionTransportPrompt(summonsPrepared, engineMaterial),
-      engineMaterial,
-    );
+    // #755: same-ticket review summons — instruction/attachments only.
+    prompt = buildInstructionTransportPrompt(summonsPrepared);
+  } else if (request.summons !== undefined) {
+    // #755: same-ticket summons with no instruction/attachments (e.g. notary
+    // source-run pointer) — plain resume envelope, no handbook / 重新读.
+    prompt = RESUME_TRANSPORT_ENVELOPE;
   } else {
+    // Bare manual resume — outsourcing engine axis keeps handbook (#600/#736).
     prompt = buildResumeContinuationPrompt({
       packageRoot: env.packageRoot,
       ...(env.engine === undefined ? {} : { engine: env.engine }),