@akagilnc/pi-workflow-roles 0.1.4021 → 0.1.4062

package/src/public-cli/settlement.ts

@@ -15,6 +15,7 @@ import { readSitianRecords, resolveSitianRecordPath, sitianReport } from "../sit
 
 import {
   hasFreshAttemptSubmission,
+  readAttemptScopedSubmissionRows,
   readRecordedSubmissionRows,
   readRecordedSubmissions,
 } from "../submission-ledger.ts";
@@ -56,28 +57,22 @@ import {
 } from "../package-contracts/judge-output.ts";
 import {
   COLLECTOR_OUTPUT_TOOL,
-  type CollectorReceipt,
 } from "../package-contracts/collector-output.ts";
 import {
   CODER_OUTPUT_TOOL_NAME,
   FIXER_OUTPUT_TOOL_NAME,
-  type CoderOutput,
-  type FixerOutput,
 } from "../package-contracts/worker-output.ts";
 
 import {
   DOCTOR_OUTPUT_TOOL_NAME,
   type DoctorCaseCost,
-  type DoctorOutput,
 } from "../doctor-contracts.ts";
 import { DOCTOR_CANDIDATE_ENTRY_TYPE } from "../dossier-resolution.ts";
 import {
   REVIEWER_OUTPUT_TOOL_NAME,
-  type ReviewerIntent,
 } from "../package-contracts/reviewer-output.ts";
 import {
   MERGER_OUTPUT_TOOL_NAME,
-  type MergerOutput,
 } from "../merger-contracts.ts";
 import {
   NOTARY_OUTPUT_TOOL_NAME,
@@ -152,7 +147,7 @@ import {
 } from "./invocation.ts";
 
 /** Ledger reads use the run's machine home — not ambient process HOME (child write vs parent settle). */
-function sealedLedgerHome(admitted: AdmittedRoleInvocation): string {
+function sealedLedgerHome(admitted: Pick<AdmittedRoleInvocation, "runDirectory">): string {
   return homeFromRunDirectory(admitted.runDirectory);
 }
 
@@ -165,7 +160,7 @@ export type SettlementCourtScope = {
 };
 
 function ledgerReadScope(
-  admitted: AdmittedRoleInvocation,
+  admitted: Pick<AdmittedRoleInvocation, "runDirectory">,
   scope?: SettlementCourtScope,
 ): { home: string; attemptId?: string } {
   return {
@@ -178,12 +173,22 @@ function ledgerReadScope(
 
 function roleOutcomeFromRows(
   role: TerminalRoleName,
-  rows: readonly { readonly role: TerminalRoleName; readonly kind: "accepted" | "audit-escalation"; readonly accepted: unknown }[],
+  rows: readonly {
+    readonly role?: TerminalRoleName;
+    readonly kind: "accepted" | "audit-escalation" | "correctable-rejection" | "infrastructure" | "candidate";
+    readonly accepted: unknown;
+  }[],
 ): Extract<TerminalRoleOutcome, { kind: "accepted" | "audit_escalation" }> | undefined {
   const mine = rows.filter((row) => row.role === role);
-  if (mine.length === 0) return undefined;
+  // Terminal acceptance kind still only follows sealed / audit-escalation (#881):
+  // correctable-rejection / infrastructure / candidate stay payloads, not acceptance.
+  const terminal = mine.filter(
+    (row) => row.kind === "accepted" || row.kind === "audit-escalation",
+  );
+  if (terminal.length === 0) return undefined;
+  // Role-result block is the full recorded sequence for this seat, not a sole pick.
   const payloads = mine.map((row) => row.accepted);
-  if (mine.some((row) => row.kind === "audit-escalation")) {
+  if (terminal.some((row) => row.kind === "audit-escalation")) {
     return { kind: "audit_escalation", role, status: "audit_escalation", payloads };
   }
   return { kind: "accepted", role, payloads };
@@ -194,6 +199,22 @@ async function sealedLedgerOutcome(
   role: TerminalRoleName,
   scope?: SettlementCourtScope,
 ): Promise<Extract<TerminalRoleOutcome, { kind: "accepted" | "audit_escalation" }> | undefined> {
+  const home = sealedLedgerHome(admitted);
+  // #879: when court scope is present, roleOutcome is this-court original only —
+  // never last-wins over an undivided historical array, and never falls back to
+  // full-run history when this court sealed zero rows. #836 presentation of full
+  // history stays on attachRecordedSubmissions / terminal.submissions (run-scoped).
+  if (scope?.courtAttemptId !== undefined && scope.courtAttemptId.length > 0) {
+    const thisCourt = await readAttemptScopedSubmissionRows(
+      admitted.projectRoot,
+      admitted.runId,
+      scope.courtAttemptId,
+      home,
+    );
+    // Scope present + zero this-court rows → no this-court outcome (not run history).
+    return roleOutcomeFromRows(role, thisCourt);
+  }
+  // No court scope: keep run-scoped ledger face (#836).
   const rows = await readRecordedSubmissionRows(
     admitted.projectRoot,
     admitted.runId,
@@ -227,7 +248,7 @@ export async function attemptProducedFreshSubmission(
 
 /** #836: every raw role payload in settle scope (调几次记几次). */
 export async function recordedSubmissionPayloads(
-  admitted: AdmittedRoleInvocation,
+  admitted: Pick<AdmittedRoleInvocation, "projectRoot" | "runId" | "runDirectory">,
   scope?: SettlementCourtScope,
 ): Promise<readonly unknown[]> {
   return readRecordedSubmissions(
@@ -243,6 +264,8 @@ export function withSubmissions<T extends TerminalResult>(
 ): T {
   if (submissions.length === 0) return terminal;
   const roleOutcome = terminal.roleOutcome;
+  // #879 keeps an already scoped this-court result; #881 full run history is
+  // presented independently on terminal.submissions. Only fill a missing result payload.
   const withPayloads =
     roleOutcome.kind === "accepted" || roleOutcome.kind === "audit_escalation"
       ? { ...roleOutcome, payloads: (roleOutcome.payloads ?? []).length > 0 ? roleOutcome.payloads : submissions }
@@ -254,11 +277,18 @@ export function withSubmissions<T extends TerminalResult>(
 
 /** Attach full ledger submissions onto any settled terminal (#836). */
 export async function attachRecordedSubmissions<T extends TerminalResult>(
-  admitted: AdmittedRoleInvocation,
+  admitted: Pick<AdmittedRoleInvocation, "projectRoot" | "runId" | "runDirectory">,
   terminal: T,
   scope?: SettlementCourtScope,
 ): Promise<T> {
-  return withSubmissions(terminal, await recordedSubmissionPayloads(admitted, scope));
+  // #836 / #879: submissions presentation is always run-scoped history. Do not
+  // pass courtAttemptId here — roleOutcome already carries this-court payloads
+  // from sealedLedgerOutcome when scoped; withSubmissions keeps them.
+  void scope;
+  return withSubmissions(
+    terminal,
+    await recordedSubmissionPayloads(admitted, undefined),
+  );
 }
 
 /**
@@ -313,7 +343,6 @@ import {
   exitCodeForTerminalOutcome,
   formatTerminalResult,
   isLawfulTypedTerminalOutcome,
-  lastRolePayloadRecord,
   recommendationNavigatorFact,
   type ControlledFailureCause,
   type TerminalArtifactRef,
@@ -334,9 +363,10 @@ export {
   isLawfulTypedTerminalOutcome,
 };
 
-/** Preserved post-admission failure cause (not a role Receipt). */
+/** Preserved post-admission failure (not a role Receipt). */
 export type ControlledFailure = {
-  readonly cause: ControlledFailureCause;
+  /** Typed class only when confirmed; omitted when unknown (#881 — no fabricated label). */
+  readonly cause?: ControlledFailureCause;
   readonly diagnostic: string;
   readonly identity?: {
     readonly name?: string;
@@ -464,8 +494,7 @@ function isTypedActivationError(
     cause === "activation" ||
     cause === "session" ||
     cause === "output" ||
-    cause === "timeout" ||
-    cause === "unrecognized"
+    cause === "timeout"
   );
 }
 
@@ -494,21 +523,20 @@ export function projectThrownFailureLeaf(error: unknown): ControlledFailure {
     }
     return {
       cause: error.knownCause,
-      diagnostic: error.message || error.name || "unrecognized exception",
+      diagnostic: error.message || error.name || "exception",
       identity,
       ...(error.details === undefined ? {} : { details: error.details }),
     };
   }
   if (error instanceof Error) {
     const identity = thrownIdentity(error);
+    // No typed confirmation → keep original diagnostic/identity; do not mint a class (#881).
     return {
-      cause: "unrecognized",
-      diagnostic: error.message || error.name || "unrecognized exception",
+      diagnostic: error.message || error.name || "exception",
       identity,
     };
   }
   return {
-    cause: "unrecognized",
     diagnostic: String(error),
   };
 }
@@ -539,7 +567,7 @@ function classifyThrownFailure(error: unknown): ControlledFailure {
     ...leaves.slice(1).map((leaf) => {
       const secondary = projectThrownFailureLeaf(leaf);
       return {
-        cause: secondary.cause,
+        ...(secondary.cause === undefined ? {} : { cause: secondary.cause }),
         diagnostic: secondary.diagnostic,
         ...(secondary.identity === undefined ? {} : { identity: secondary.identity }),
         ...(secondary.details === undefined ? {} : { details: secondary.details }),
@@ -547,7 +575,7 @@ function classifyThrownFailure(error: unknown): ControlledFailure {
     }),
   ];
   return {
-    cause: primary.cause,
+    ...(primary.cause === undefined ? {} : { cause: primary.cause }),
     diagnostic: primary.diagnostic,
     ...(primary.identity === undefined ? {} : { identity: primary.identity }),
     details: {
@@ -574,7 +602,7 @@ function withKnownDetails(
 }
 
 /**
- * Classify a controlled post-admission failure without washing unrecognized identities.
+ * Classify a controlled post-admission failure without washing original identities.
  * Cause classes are closed; diagnostic text retains the original identity when known.
  *
  * Order: thrown → knownCause → timeout → activation (nonzero) → session → output.
@@ -588,7 +616,7 @@ export function classifyPostAdmissionFailure(input: {
   stderr: string;
   /**
    * Caught post-admission exception. Presence (own key) is distinct from value:
-   * JavaScript permits `throw undefined`, which must stay unrecognized rather than
+   * JavaScript permits `throw undefined`, which must keep the original thrown fact rather than
    * being washed into activation/null-exit paths that treat missing thrown as absence.
    */
   thrown?: unknown;
@@ -642,6 +670,37 @@ export function classifyPostAdmissionFailure(input: {
         : { identity: input.knownIdentity }),
     };
   }
+  // #881: original failure testimony without a typed class — keep diagnostic/identity;
+  // do not fall through to activation/output wash that would mint a substitute class.
+  // Bare knownDetails alone is secondary evidence for later branches (withKnownDetails),
+  // not a stand-in primary failure record.
+  if (
+    (input.knownDiagnostic !== undefined && input.knownDiagnostic.trim() !== "") ||
+    input.knownIdentity !== undefined
+  ) {
+    const diagnostic =
+      input.knownDiagnostic !== undefined && input.knownDiagnostic.trim() !== ""
+        ? input.knownDiagnostic
+        : conciseChildDiagnostic(input.stderr, "role run failed");
+    const { timedOut: _knownTimedOut, ...knownDetails } =
+      input.knownDetails ?? {};
+    const remoteCode = knownDetails.code;
+    return withKnownDetails(
+      {
+        diagnostic,
+        details: {
+          ...knownDetails,
+          ...(remoteCode === undefined ? {} : { code: remoteCode }),
+          exitCode: input.code,
+          ...(input.timedOut ? { timedOut: true as const } : {}),
+        },
+        ...(input.knownIdentity === undefined
+          ? {}
+          : { identity: input.knownIdentity }),
+      },
+      undefined,
+    );
+  }
   if (input.timedOut) {
     return withKnownDetails(
       {
@@ -699,7 +758,7 @@ export function explicitInternalKnownFailureClassificationInput(
 ) {
   if (failure === undefined) return {};
   return {
-    knownCause: failure.cause,
+    ...(failure.cause === undefined ? {} : { knownCause: failure.cause }),
     ...(failure.identity === undefined ? {} : { knownIdentity: failure.identity }),
     ...(failure.diagnostic === undefined ? {} : { knownDiagnostic: failure.diagnostic }),
     ...(failure.details === undefined ? {} : { knownDetails: failure.details }),
@@ -1137,10 +1196,20 @@ function complianceFailureFromAuditorVolumes(
       if (entry?.type !== "custom" || entry.customType !== AUDITOR_COMPLIANCE_FAILURE_ENTRY_TYPE || !isRecord(entry.data)) continue;
       const parent = isRecord(entry.data.parent) ? entry.data.parent : undefined;
       const failure = isRecord(entry.data.failure) ? entry.data.failure : undefined;
-      if (parent?.sessionId !== parentId || parent.sessionFile !== sessionFile || parent.attemptEntryId !== attemptEntryId || (failure?.cause !== "provider" && failure?.cause !== "unrecognized")) continue;
+      if (parent?.sessionId !== parentId || parent.sessionFile !== sessionFile || parent.attemptEntryId !== attemptEntryId) continue;
+      // #881: keep the recorded failure as written — typed cause when present, else raw diagnostic only.
+      if (failure === undefined) continue;
       const identity = isRecord(failure.identity) ? failure.identity : undefined;
+      const typedCause =
+        failure.cause === "provider" ||
+        failure.cause === "activation" ||
+        failure.cause === "session" ||
+        failure.cause === "output" ||
+        failure.cause === "timeout"
+          ? (failure.cause as ControlledFailureCause)
+          : undefined;
       return {
-        cause: failure.cause === "provider" ? "provider" : "unrecognized",
+        ...(typedCause === undefined ? {} : { cause: typedCause }),
         ...(identity === undefined ? {} : { identity: {
           ...(typeof identity.name === "string" ? { name: identity.name } : {}),
           ...(typeof identity.code === "string" || typeof identity.code === "number" ? { code: identity.code } : {}),
@@ -2314,7 +2383,6 @@ export async function publishCoderArtifacts(
   coordinates: DurablePrincipalCoordinates,
   options: {
     readonly methodProvenance?: PackagedMethodSkillProvenance;
-    readonly coderOutput?: CoderOutput;
   } = {},
 ): Promise<TerminalArtifactRef[]> {
   await appendRunAttemptHistory({ role: admitted.role, runId: admitted.runId, sessionFile: coordinates.sessionFile }, roleOutcome);
@@ -2329,9 +2397,6 @@ export async function publishCoderArtifacts(
         runId: admitted.runId,
         phase: admitted.phase,
         outcome: roleOutcome,
-        ...(options.coderOutput === undefined
-          ? {}
-          : { receipt: options.coderOutput }),
       },
       null,
       2,
@@ -2487,10 +2552,6 @@ async function settleLawfulCoderTerminalResult(
   const ledgerOutcome = await closedLedgerOutcome(admitted, "coder", scope);
   if (ledgerOutcome === undefined) return undefined;
   const roleOutcome: TerminalRoleOutcome = ledgerOutcome;
-  const output: CoderOutput | undefined =
-    ledgerOutcome.kind === "accepted"
-      ? (lastRolePayloadRecord(ledgerOutcome.payloads ?? []) as CoderOutput | undefined)
-      : undefined;
   const coordinates = coordinatesFromAdmitted(authority, admitted);
   const entries = await readLawfulSettlementEntries(coordinates.sessionFile) ?? [];
   const navigator = extractNavigatorFact(entries);
@@ -2499,7 +2560,6 @@ async function settleLawfulCoderTerminalResult(
     roleOutcome,
     coordinates,
     {
-      ...(output === undefined ? {} : { coderOutput: output }),
       ...(options.methodProvenance === undefined
         ? {}
         : { methodProvenance: options.methodProvenance }),
@@ -2590,7 +2650,6 @@ export async function publishFixerArtifacts(
   options: {
     readonly methodProvenance: PackagedMethodSkillProvenance;
     readonly methodInvocations?: readonly ObservedPackagedMethodSkillInvocation[];
-    readonly fixerOutput?: FixerOutput;
   },
 ): Promise<TerminalArtifactRef[]> {
   await appendRunAttemptHistory({ role: admitted.role, runId: admitted.runId, sessionFile: coordinates.sessionFile }, roleOutcome);
@@ -2605,9 +2664,6 @@ export async function publishFixerArtifacts(
         runId: admitted.runId,
         phase: admitted.phase,
         outcome: roleOutcome,
-        ...(options.fixerOutput === undefined
-          ? {}
-          : { receipt: options.fixerOutput }),
       },
       null,
       2,
@@ -2666,10 +2722,6 @@ async function settleLawfulFixerTerminalResult(
   const ledgerOutcome = await closedLedgerOutcome(admitted, "fixer", scope);
   if (ledgerOutcome === undefined) return undefined;
   const roleOutcome: TerminalRoleOutcome = ledgerOutcome;
-  const output: FixerOutput | undefined =
-    ledgerOutcome.kind === "accepted"
-      ? (lastRolePayloadRecord(ledgerOutcome.payloads ?? []) as FixerOutput | undefined)
-      : undefined;
   const coordinates = coordinatesFromAdmitted(authority, admitted);
   const { sessionDirectory, sessionFile } = coordinates;
   const entries = await readLawfulSettlementEntries(sessionFile) ?? [];
@@ -2685,7 +2737,6 @@ async function settleLawfulFixerTerminalResult(
     roleOutcome,
     coordinates,
     {
-      ...(output === undefined ? {} : { fixerOutput: output }),
       methodProvenance: options.methodProvenance,
       methodInvocations,
     },
@@ -2725,9 +2776,6 @@ export async function publishCollectorArtifacts(
   admitted: AdmittedCollectorInvocation,
   roleOutcome: TerminalRoleOutcome,
   coordinates: DurablePrincipalCoordinates,
-  options: {
-    readonly collectorReceipt?: CollectorReceipt;
-  } = {},
 ): Promise<TerminalArtifactRef[]> {
   await appendRunAttemptHistory({ role: admitted.role, runId: admitted.runId, sessionFile: coordinates.sessionFile }, roleOutcome);
   const artifactsDir = await ensureRunArtifactsDir(admitted.runDirectory);
@@ -2740,9 +2788,6 @@ export async function publishCollectorArtifacts(
         role: "collector",
         runId: admitted.runId,
         outcome: roleOutcome,
-        ...(options.collectorReceipt === undefined
-          ? {}
-          : { receipt: options.collectorReceipt }),
       },
       null,
       2,
@@ -2810,14 +2855,12 @@ async function settleLawfulCollectorTerminalResult(
     }
     return undefined;
   }
-  const receipt = (lastRolePayloadRecord(roleOutcome.payloads ?? []) ?? {}) as CollectorReceipt;
   const accepted: LawfulCollectorRoleOutcome = roleOutcome;
   const navigator = extractNavigatorFact(entries);
   const artifacts = await publishCollectorArtifacts(
     admitted,
     accepted,
     coordinates,
-    { collectorReceipt: receipt },
   );
   return attachRecordedSubmissions(
     admitted,
@@ -2902,7 +2945,6 @@ export async function publishDoctorArtifacts(
   roleOutcome: TerminalRoleOutcome,
   coordinates: DurablePrincipalCoordinates,
   options: {
-    readonly doctorOutput?: DoctorOutput;
     readonly cost?: DoctorCaseCost;
     readonly auditNoReceipt?: unknown;
   } = {},
@@ -2918,10 +2960,6 @@ export async function publishDoctorArtifacts(
         role: "doctor",
         runId: admitted.runId,
         outcome: roleOutcome,
-        ...(options.doctorOutput === undefined
-          ? {}
-          : { receipt: options.doctorOutput }),
-        // Independent machine fields beside the receipt — not merged into it.
         ...(options.cost === undefined ? {} : { cost: options.cost }),
         ...(options.auditNoReceipt === undefined ? {} : { auditNoReceipt: options.auditNoReceipt }),
       },
@@ -2987,7 +3025,6 @@ async function settleLawfulDoctorTerminalResult(
       sessionDirectory,
     );
   }
-  const output = (lastRolePayloadRecord(sealed.payloads ?? []) ?? {}) as DoctorOutput;
   const roleOutcome = sealed;
   const navigator = extractNavigatorFact(entries);
   const cost = extractDoctorCandidateCostFact(entries);
@@ -2997,7 +3034,6 @@ async function settleLawfulDoctorTerminalResult(
     roleOutcome,
     coordinates,
     {
-      doctorOutput: output,
       ...(cost === undefined ? {} : { cost }),
       ...(auditNoReceipt === undefined ? {} : { auditNoReceipt }),
     },
@@ -3433,7 +3469,6 @@ export async function publishReviewerArtifacts(
   options: {
     readonly methodProvenance: PackagedMethodSkillProvenance;
     readonly methodInvocations?: readonly ObservedPackagedMethodSkillInvocation[];
-    readonly reviewerReceipt?: ReviewerIntent;
   },
 ): Promise<TerminalArtifactRef[]> {
   await appendRunAttemptHistory({ role: admitted.role, runId: admitted.runId, sessionFile: coordinates.sessionFile }, roleOutcome);
@@ -3447,9 +3482,6 @@ export async function publishReviewerArtifacts(
         role: "reviewer",
         runId: admitted.runId,
         outcome: roleOutcome,
-        ...(options.reviewerReceipt === undefined
-          ? {}
-          : { receipt: options.reviewerReceipt }),
       },
       null,
       2,
@@ -3509,7 +3541,6 @@ async function settleLawfulReviewerTerminalResult(
   const coordinates = coordinatesFromAdmitted(authority, admitted);
   const { sessionDirectory, sessionFile } = coordinates;
   const entries = await readLawfulSettlementEntries(sessionFile) ?? [];
-  const receipt = lastRolePayloadRecord(sealed.payloads ?? []) as ReviewerIntent | undefined;
   const roleOutcome: LawfulReviewerRoleOutcome = sealed;
   const navigator = extractNavigatorFact(entries);
   const methodInvocations = extractReviewerMethodInvocations(entries, {
@@ -3523,7 +3554,6 @@ async function settleLawfulReviewerTerminalResult(
     roleOutcome,
     coordinates,
     {
-      ...(receipt === undefined ? {} : { reviewerReceipt: receipt }),
       methodProvenance: options.methodProvenance,
       methodInvocations,
     },
@@ -3612,7 +3642,6 @@ export async function publishMergerArtifacts(
   options: {
     readonly methodProvenance: PackagedMethodSkillProvenance;
     readonly methodInvocations?: readonly ObservedPackagedMethodSkillInvocation[];
-    readonly mergerOutput?: MergerOutput;
   },
 ): Promise<TerminalArtifactRef[]> {
   await appendRunAttemptHistory({ role: admitted.role, runId: admitted.runId, sessionFile: coordinates.sessionFile }, roleOutcome);
@@ -3626,9 +3655,6 @@ export async function publishMergerArtifacts(
         role: "merger",
         runId: admitted.runId,
         outcome: roleOutcome,
-        ...(options.mergerOutput === undefined
-          ? {}
-          : { receipt: options.mergerOutput }),
       },
       null,
       2,
@@ -3711,7 +3737,6 @@ async function settleLawfulMergerTerminalResult(
     accepted,
     coordinates,
     {
-      mergerOutput: (lastRolePayloadRecord(accepted.payloads ?? []) ?? {}) as MergerOutput,
       methodProvenance: options.methodProvenance,
       methodInvocations,
     },
@@ -3941,7 +3966,7 @@ export async function publishFailureArtifacts(
     kind: "error",
     role: admitted.role,
     runId: admitted.runId,
-    cause: failure.cause,
+    ...(failure.cause === undefined ? {} : { cause: failure.cause }),
     diagnostic: failure.diagnostic,
     ...(failure.identity === undefined ? {} : { identity: failure.identity }),
     ...(failure.details === undefined ? {} : { details: failure.details }),
@@ -3966,7 +3991,7 @@ export async function publishFailureArtifacts(
       sha256: a.sha256,
       byteLength: a.byteLength,
     })),
-    failureCause: failure.cause,
+    ...(failure.cause === undefined ? {} : { failureCause: failure.cause }),
   };
   const evidenceWrite = await writeFailureJsonRetainingCause(
     evidenceCandidates,
@@ -4045,7 +4070,7 @@ export async function settleFailureTerminalResult(
   // Private durable artifacts retain the original diagnostic identity (including run ID).
   const artifacts = await publishFailureArtifacts(admitted, failure, authority);
   const decisiveFacts: Record<string, unknown> = {
-    cause: failure.cause,
+    ...(failure.cause === undefined ? {} : { cause: failure.cause }),
     diagnostic: failure.diagnostic,
   };
   if (failure.identity?.name !== undefined) {
@@ -4065,7 +4090,7 @@ export async function settleFailureTerminalResult(
     const roleOutcome: TerminalRoleOutcome = {
       kind: "failure",
       role: admitted.role,
-      cause: failure.cause,
+      ...(failure.cause === undefined ? {} : { cause: failure.cause }),
       diagnostic: failure.diagnostic,
       decisiveFacts,
     };
@@ -4082,7 +4107,7 @@ export async function settleFailureTerminalResult(
   const roleOutcome: TerminalRoleOutcome = {
     kind: "failure",
     role: admitted.role,
-    cause: failure.cause,
+    ...(failure.cause === undefined ? {} : { cause: failure.cause }),
     diagnostic: failure.diagnostic,
     decisiveFacts,
   };
@@ -4122,7 +4147,7 @@ export function presentFailureTerminal(
   io.stdout(formatTerminalResult(terminal));
   if (terminal.roleOutcome.kind === "failure") {
     io.stderr(formatFailureStderrDiagnostic({
-      cause: terminal.roleOutcome.cause,
+      ...(terminal.roleOutcome.cause === undefined ? {} : { cause: terminal.roleOutcome.cause }),
       diagnostic: terminal.roleOutcome.diagnostic,
     }));
     return;

package/src/public-cli/terminal.ts

@@ -73,8 +73,12 @@ export type TerminalRoleOutcome =
   | {
       kind: "failure";
       role: TerminalRoleName;
-      /** Typed cause class — never a fabricated role Receipt status. */
-      cause: ControlledFailureCause;
+      /**
+       * Typed cause class when a typed fact confirms it.
+       * Omitted when unknown — original diagnostic + error artifact carry the fact (#881).
+       * Never a fabricated "unrecognized" label.
+       */
+      cause?: ControlledFailureCause;
       /** Original diagnostic identity retained for the caller. */
       diagnostic: string;
       decisiveFacts: Readonly<Record<string, unknown>>;
@@ -175,19 +179,6 @@ export function roleResultPayloads(outcome: TerminalRoleOutcome): readonly unkno
   return [];
 }
 
-/** Last object payload the role actually wrote. No field remapping. */
-export function lastRolePayloadRecord(
-  payloads: readonly unknown[],
-): Record<string, unknown> | undefined {
-  for (let index = payloads.length - 1; index >= 0; index -= 1) {
-    const payload = payloads[index];
-    if (typeof payload === "object" && payload !== null && !Array.isArray(payload)) {
-      return payload as Record<string, unknown>;
-    }
-  }
-  return undefined;
-}
-
 export type TerminalResult = {
   roleOutcome: TerminalRoleOutcome;
   navigator: TerminalNavigatorFact;
@@ -253,7 +244,7 @@ export function formatTerminalResult(result: TerminalResult): string {
   lines.push("role\toutcome\tstatus");
   const outcomeStatus =
     result.roleOutcome.kind === "failure"
-      ? result.roleOutcome.cause
+      ? result.roleOutcome.cause ?? ""
       : result.roleOutcome.kind === "accepted"
         ? "accepted"
         : result.roleOutcome.status;

package/src/public-role-summons.ts

@@ -62,6 +62,12 @@ export type PublicSummonRequest = {
    * summons.instruction. Never folded into argv / parent-run lookup keys.
    */
   readonly reviewReask?: string;
+  /**
+   * #879 same-parent (and first-mint) gate summons: verbatim parent-submission body.
+   * Rides summons.instruction / first-mint prompt when reviewReask is absent.
+   * Never folded into argv / parent-run lookup keys (binding pointer stays pure).
+   */
+  readonly gateReviewInstruction?: string;
   /**
    * Pi-adapter inject (tests). Used only as the `pi` row when composing the
    * adapter table — never as an override of the child seat's selected host.
@@ -302,6 +308,10 @@ export async function summonPublicRole(
     ...(options.signal === undefined ? {} : { signal: options.signal }),
     // #753: reask rides the existing notary same-ticket resume summons.instruction.
     ...(options.reviewReask === undefined ? {} : { reviewReask: options.reviewReask }),
+    // #879: verbatim submission body on officer dialogue content channel.
+    ...(options.gateReviewInstruction === undefined
+      ? {}
+      : { gateReviewInstruction: options.gateReviewInstruction }),
     ...(options.boundTicketNumber === undefined
       ? {}
       : { boundTicketNumber: options.boundTicketNumber }),
@@ -430,6 +440,12 @@ export async function summonGateOfficer(options: {
    * Never concatenated into argv (inspector parentRunPath is the pure 卷宗指针).
    */
   readonly reask?: string;
+  /**
+   * In-flight parent 交卷 body (tool-call arguments). Relayed verbatim as officer
+   * dialogue content when reask is absent (#879). Binding pointer stays on
+   * --source-run / 卷宗指针 argv — never a content substitute.
+   */
+  readonly submission?: unknown;
   /** Pi-adapter inject — forwarded to summonPublicRole (not a parent-host override). */
   readonly roleTurnHost?: RoleTurnHost;
   readonly hostAdapters?: readonly NamedRoleTurnHostAdapter[];
@@ -444,8 +460,13 @@ export async function summonGateOfficer(options: {
   }
   // Officer host is seat-owned only (#821). Parent invocation.json.host stays a
   // hostTransition consumer in post-admission — not an officer override channel.
-  // #836: officers get the whole parent run directory pointer; code does not
-  // inject a picked toolCall leaf as the resume instruction.
+  // #879: binding pointer = parent run directory; dialogue content = submission body.
+  // Conclusion re-ask keeps sole ownership of reviewReask when present.
+  let gateReviewInstruction: string | undefined;
+  if (options.reask === undefined && options.submission !== undefined) {
+    const { readableGateItem } = await import("./readable-gate-item.ts");
+    gateReviewInstruction = readableGateItem(options.submission);
+  }
   const common = {
     cwd: options.cwd,
     ...(home === undefined ? {} : { home }),
@@ -453,13 +474,16 @@ export async function summonGateOfficer(options: {
     ...(options.io === undefined ? {} : { io: options.io }),
     ...(options.signal === undefined ? {} : { signal: options.signal }),
     ...(options.reask === undefined ? {} : { reviewReask: options.reask }),
+    ...(gateReviewInstruction === undefined
+      ? {}
+      : { gateReviewInstruction }),
     ...(options.roleTurnHost === undefined ? {} : { roleTurnHost: options.roleTurnHost }),
     ...(options.hostAdapters === undefined ? {} : { hostAdapters: options.hostAdapters }),
     ...(options.createRunId === undefined ? {} : { createRunId: options.createRunId }),
   } as const;
   if (options.officer === "notary") {
-    // #753: reask rides summonPublicRole → runPublicNotary summons.instruction
-    // (same resume seam as ordinary same-parent re-summons — no parallel stack).
+    // #753/#879: reask or verbatim body rides summons.instruction / first-mint prompt.
+    // Binding stays --source-run (never folded into content).
     return summonPublicRole({
       role: "notary",
       argv: ["--source-run", options.sourceRunDirectory, "--project", options.cwd],
@@ -468,7 +492,7 @@ export async function summonGateOfficer(options: {
   }
   if (options.officer === "auditor") {
     // #756: judge compliance path — same queue law as notary/inspector.
-    // #836: auditor kickoff is path pointer (同察院), not「本 run 卷宗已就绪」.
+    // Binding pointer on argv; dialogue content rides gateReviewInstruction.
     return summonPublicRole({
       role: "auditor",
       argv: [
@@ -481,8 +505,8 @@ export async function summonGateOfficer(options: {
       ...common,
     });
   }
-  // Inspector: argv stays pure 卷宗指针 (#747 parentRunPath); reask rides env only.
-  // #836 resume 请重读 is added on the resume projection face, not here.
+  // Inspector: argv stays pure 卷宗指针 (#747 parentRunPath lookup key).
+  // Content (body/reask) rides env → summons.instruction / first-mint prompt.
   return summonPublicRole({
     role: "inspector",
     argv: [`卷宗指针：${options.sourceRunDirectory}`],