@akagilnc/pi-workflow-roles 0.1.4021 → 0.1.4035

package/src/public-cli/settlement.ts

@@ -56,28 +56,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 +146,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 +159,7 @@ export type SettlementCourtScope = {
 };
 
 function ledgerReadScope(
-  admitted: AdmittedRoleInvocation,
+  admitted: Pick<AdmittedRoleInvocation, "runDirectory">,
   scope?: SettlementCourtScope,
 ): { home: string; attemptId?: string } {
   return {
@@ -178,12 +172,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 };
@@ -227,7 +231,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,18 +247,18 @@ export function withSubmissions<T extends TerminalResult>(
 ): T {
   if (submissions.length === 0) return terminal;
   const roleOutcome = terminal.roleOutcome;
+  // Full ledger sequence always wins the role-result block (#881): do not keep a
+  // narrower pre-filtered payloads array when attach brings the complete set.
   const withPayloads =
-    roleOutcome.kind === "accepted" || roleOutcome.kind === "audit_escalation"
-      ? { ...roleOutcome, payloads: (roleOutcome.payloads ?? []).length > 0 ? roleOutcome.payloads : submissions }
-      : roleOutcome.kind === "failure"
-        ? { ...roleOutcome, payloads: roleOutcome.payloads ?? submissions }
-        : roleOutcome;
+    roleOutcome.kind === "accepted" || roleOutcome.kind === "audit_escalation" || roleOutcome.kind === "failure"
+      ? { ...roleOutcome, payloads: submissions }
+      : roleOutcome;
   return { ...terminal, roleOutcome: withPayloads, submissions };
 }
 
 /** 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> {
@@ -313,7 +317,6 @@ import {
   exitCodeForTerminalOutcome,
   formatTerminalResult,
   isLawfulTypedTerminalOutcome,
-  lastRolePayloadRecord,
   recommendationNavigatorFact,
   type ControlledFailureCause,
   type TerminalArtifactRef,
@@ -334,9 +337,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 +468,7 @@ function isTypedActivationError(
     cause === "activation" ||
     cause === "session" ||
     cause === "output" ||
-    cause === "timeout" ||
-    cause === "unrecognized"
+    cause === "timeout"
   );
 }
 
@@ -494,21 +497,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 +541,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 +549,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 +576,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 +590,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 +644,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 +732,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 +1170,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 +2357,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 +2371,6 @@ export async function publishCoderArtifacts(
         runId: admitted.runId,
         phase: admitted.phase,
         outcome: roleOutcome,
-        ...(options.coderOutput === undefined
-          ? {}
-          : { receipt: options.coderOutput }),
       },
       null,
       2,
@@ -2487,10 +2526,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 +2534,6 @@ async function settleLawfulCoderTerminalResult(
     roleOutcome,
     coordinates,
     {
-      ...(output === undefined ? {} : { coderOutput: output }),
       ...(options.methodProvenance === undefined
         ? {}
         : { methodProvenance: options.methodProvenance }),
@@ -2590,7 +2624,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 +2638,6 @@ export async function publishFixerArtifacts(
         runId: admitted.runId,
         phase: admitted.phase,
         outcome: roleOutcome,
-        ...(options.fixerOutput === undefined
-          ? {}
-          : { receipt: options.fixerOutput }),
       },
       null,
       2,
@@ -2666,10 +2696,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 +2711,6 @@ async function settleLawfulFixerTerminalResult(
     roleOutcome,
     coordinates,
     {
-      ...(output === undefined ? {} : { fixerOutput: output }),
       methodProvenance: options.methodProvenance,
       methodInvocations,
     },
@@ -2725,9 +2750,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 +2762,6 @@ export async function publishCollectorArtifacts(
         role: "collector",
         runId: admitted.runId,
         outcome: roleOutcome,
-        ...(options.collectorReceipt === undefined
-          ? {}
-          : { receipt: options.collectorReceipt }),
       },
       null,
       2,
@@ -2810,14 +2829,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 +2919,6 @@ export async function publishDoctorArtifacts(
   roleOutcome: TerminalRoleOutcome,
   coordinates: DurablePrincipalCoordinates,
   options: {
-    readonly doctorOutput?: DoctorOutput;
     readonly cost?: DoctorCaseCost;
     readonly auditNoReceipt?: unknown;
   } = {},
@@ -2918,10 +2934,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 +2999,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 +3008,6 @@ async function settleLawfulDoctorTerminalResult(
     roleOutcome,
     coordinates,
     {
-      doctorOutput: output,
       ...(cost === undefined ? {} : { cost }),
       ...(auditNoReceipt === undefined ? {} : { auditNoReceipt }),
     },
@@ -3433,7 +3443,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 +3456,6 @@ export async function publishReviewerArtifacts(
         role: "reviewer",
         runId: admitted.runId,
         outcome: roleOutcome,
-        ...(options.reviewerReceipt === undefined
-          ? {}
-          : { receipt: options.reviewerReceipt }),
       },
       null,
       2,
@@ -3509,7 +3515,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 +3528,6 @@ async function settleLawfulReviewerTerminalResult(
     roleOutcome,
     coordinates,
     {
-      ...(receipt === undefined ? {} : { reviewerReceipt: receipt }),
       methodProvenance: options.methodProvenance,
       methodInvocations,
     },
@@ -3612,7 +3616,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 +3629,6 @@ export async function publishMergerArtifacts(
         role: "merger",
         runId: admitted.runId,
         outcome: roleOutcome,
-        ...(options.mergerOutput === undefined
-          ? {}
-          : { receipt: options.mergerOutput }),
       },
       null,
       2,
@@ -3711,7 +3711,6 @@ async function settleLawfulMergerTerminalResult(
     accepted,
     coordinates,
     {
-      mergerOutput: (lastRolePayloadRecord(accepted.payloads ?? []) ?? {}) as MergerOutput,
       methodProvenance: options.methodProvenance,
       methodInvocations,
     },
@@ -3941,7 +3940,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 +3965,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 +4044,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 +4064,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 +4081,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 +4121,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;