@fitchmultz/pi-subagents 0.44.7 → 0.45.0

package/dist/runs/shared/acceptance-finalization.js

@@ -1,192 +1,267 @@
-import { isDeepStrictEqual } from "node:util";
-import { createStructuredOutputRuntime, readStructuredOutput, validateStructuredOutputValue } from "./structured-output.js";
 import { acceptanceFailureMessage, evaluateAcceptance } from "./acceptance-evaluation.js";
-import { acceptanceSelfReviewConfig, formatEvidenceReportFieldMapping, shouldRunAcceptanceFinalization } from "./acceptance-contract.js";
-import { isFailFastAbort } from "./parallel-utils.js";
-import { ACCEPTANCE_REPORT_SCHEMA, formatAcceptanceReportExample, parseAcceptanceReport, stripAcceptanceReport, validateAcceptanceReportShape } from "./acceptance-reports.js";
-export function createFinalizationReportRuntime(publicOutputSchema) {
-    const runtime = createStructuredOutputRuntime({
-        type: "object", properties: {
-            // A schema resource keeps root-local references (including recursive "#") scoped to the public answer.
-            answer: publicOutputSchema ? { $id: "urn:pi-subagents:public-output", ...publicOutputSchema }
-                : { type: "string", pattern: "\\S", description: "Complete standalone final answer, including every requested handoff detail." },
-            report: ACCEPTANCE_REPORT_SCHEMA,
-        }, required: ["answer", "report"], additionalProperties: false,
-    });
-    return { ...runtime, publicOutputSchema };
+import { acceptanceSelfReviewConfig, formatEvidenceReportFieldMapping, formatAcceptanceRequirements, shouldRunAcceptanceFinalization, } from "./acceptance-contract.js";
+export { resolveExecutionOutcome } from "./acceptance-outcome.js";
+import { formatAcceptanceReportExample, parseAcceptanceReport, stripAcceptanceReport, } from "./acceptance-reports.js";
+import { reportAuditOutput } from "./acceptance-submission.js";
+export { createFinalizationReportRuntime, readFinalizationReport, } from "./acceptance-submission.js";
+export function formatUnconfirmedFinalizationOutput(output) {
+    return `UNCONFIRMED task report — retained for audit only; finalization did not deliver a current complete report.\n\n${stripAcceptanceReport(output)}`;
 }
-function readReportValue(value, publicOutputSchema) {
-    if (!value || typeof value !== "object")
-        return;
-    // Stored legacy runtimes retain their original string schema.
-    if (!publicOutputSchema && "report" in value && typeof value.report === "string") {
-        const parsed = parseAcceptanceReport(value.report);
-        if (parsed.report)
-            return { output: value.report, report: parsed.report };
+export function resolveFinalizationOutput(rawOutput, previousOutput) {
+    const prose = stripAcceptanceReport(rawOutput);
+    if (prose.trim().length > 0) {
+        return prose;
     }
-    if (!("answer" in value) || !("report" in value))
-        return;
-    if (validateAcceptanceReportShape(value.report))
-        return;
-    if (publicOutputSchema) {
-        if (validateStructuredOutputValue(publicOutputSchema, value.answer).status === "invalid")
-            return;
-        return { output: JSON.stringify(value.answer), structuredOutput: value.answer, report: value.report };
+    const report = parseAcceptanceReport(rawOutput).report;
+    const summary = report?.diffSummary?.trim() ?? "";
+    if (summary.length > 0) {
+        return summary;
     }
-    if (typeof value.answer !== "string" || !value.answer.trim())
-        return;
-    return { output: value.answer, report: value.report };
+    const notes = report?.notes?.trim() ?? "";
+    return notes.length > 0 ? notes : previousOutput;
 }
-function reportAuditOutput(submission) {
-    return submission.report && !parseAcceptanceReport(submission.output).report
-        ? `${submission.output}\n\n\`\`\`acceptance-report\n${JSON.stringify(submission.report)}\n\`\`\`` : submission.output;
+function skipSelfReview(input, ledger) {
+    return (ledger.status === "blocked" ||
+        !shouldRunAcceptanceFinalization(input.acceptance) ||
+        input.initial.exitCode !== 0 ||
+        (input.initial.error ?? "").length > 0 ||
+        input.initial.interrupted === true ||
+        (input.signal?.aborted === true && (input.recordedTurns ?? 0) === 0));
 }
-/** Pass the current attempt's messages, or its starting offset in a shared native session. */
-export function readFinalizationReport(messages, runtime, options = {}) {
-    messages = messages.slice(options.messageOffset ?? 0);
-    const captured = readStructuredOutput(runtime);
-    const submitted = readReportValue(captured.value, runtime.publicOutputSchema);
-    // Older submissions are audit evidence only, never the current output below.
-    const successfulIds = new Set(messages.flatMap((message) => message.role === "toolResult" && message.toolName === "structured_output" && message.isError === false ? [message.toolCallId] : []));
-    let unconfirmedOutput = submitted && reportAuditOutput(submitted);
-    for (const message of messages) {
-        if (message.role !== "assistant" || !Array.isArray(message.content))
-            continue;
-        for (const call of message.content) {
-            if (call.type !== "toolCall" || call.name !== "structured_output" || !successfulIds.has(call.id))
-                continue;
-            const value = call.arguments.value;
-            const previous = readReportValue(value, runtime.publicOutputSchema);
-            if (previous && validateStructuredOutputValue(runtime.schema, value).status === "valid")
-                unconfirmedOutput = reportAuditOutput(previous);
+/** Owns ordered continuation, cumulative audit evidence, and the authoritative current ledger. */
+class AcceptanceReview {
+    input;
+    initialLedger;
+    selfReview;
+    turns = [];
+    authoritativeLedger;
+    previousFailure;
+    auditOutput;
+    constructor(input, initialLedger, selfReview) {
+        this.input = input;
+        this.initialLedger = initialLedger;
+        this.selfReview = selfReview;
+        this.authoritativeLedger = initialLedger;
+        this.previousFailure = acceptanceFailureMessage(initialLedger);
+        this.auditOutput = reportAuditOutput({
+            output: input.initialOutput,
+            report: input.initialReport,
+        });
+    }
+    finish(status) {
+        return attachFinalizationToLedger({
+            initialLedger: this.initialLedger,
+            authoritativeLedger: this.authoritativeLedger,
+            turns: this.turns,
+            status,
+            maxTurns: this.input.acceptance.finalization.maxTurns,
+        });
+    }
+    processFailure(result, turn, prompt) {
+        if (result.error === undefined || result.error.length === 0) {
+            return undefined;
         }
+        this.turns.push({
+            ...createFinalizationProcessFailureTurn({
+                turn,
+                prompt,
+                rawOutput: result.output,
+                message: result.error,
+            }),
+            ...(this.input.nativeReport === true ? { unconfirmedOutput: this.auditOutput } : {}),
+        });
+        const ledger = buildFinalizationProcessFailureLedger({
+            initialLedger: this.initialLedger,
+            turns: this.turns,
+            maxTurns: this.input.acceptance.finalization.maxTurns,
+            message: result.error,
+        });
+        return this.input.nativeReport === true
+            ? {
+                ...ledger,
+                childReport: undefined,
+                childReportParseError: result.reportSubmissionError,
+                unconfirmedOutput: this.auditOutput,
+            }
+            : ledger;
     }
-    const rejected = (reason) => ({
-        output: "", reportSubmissionError: `No current finalization report: ${reason}`, unconfirmedOutput,
-    });
-    const index = messages.findLastIndex((message) => message.role === "assistant");
-    const last = messages[index];
-    if (last?.role !== "assistant" || last.errorMessage || !["stop", "toolUse"].includes(last.stopReason) || !Array.isArray(last.content)) {
-        return rejected("the latest assistant turn did not finish successfully.");
+    async evaluateTurn(result) {
+        const submissionError = result.reportSubmissionError;
+        const rejectedSubmission = submissionError !== undefined && submissionError.length > 0;
+        // Replay the native boundary's checks, not the workspace left by a later repair.
+        let ledger = !rejectedSubmission && result.acceptance
+            ? result.acceptance
+            : await evaluateAcceptance({
+                acceptance: this.selfReview,
+                governing: this.input.acceptance,
+                output: rejectedSubmission ? "" : result.output,
+                report: rejectedSubmission ? undefined : result.report,
+                cwd: this.input.cwd,
+                signal: this.input.signal,
+            });
+        if (rejectedSubmission) {
+            ledger = {
+                ...ledger,
+                childReportParseError: submissionError,
+                runtimeChecks: [{ id: "finalization-report", status: "failed", message: submissionError }],
+            };
+        }
+        if (this.input.nativeReport === true && (ledger.childReportParseError ?? "").length > 0) {
+            ledger = { ...ledger, unconfirmedOutput: this.auditOutput };
+        }
+        return ledger;
     }
-    // Claude Code returns its schema-constrained payload in the terminal result event, not a Pi tool call.
-    if (options.structuredResult) {
-        if (captured.error)
-            return rejected(captured.error);
-        return submitted ? { ...submitted, unconfirmedOutput } : rejected("the submission must contain a complete answer and a valid acceptance report.");
+    async completeReview(result) {
+        if (result.acceptance || this.selfReview !== this.input.acceptance) {
+            this.authoritativeLedger = await evaluateAcceptance({
+                acceptance: this.input.acceptance,
+                output: result.output,
+                report: result.report,
+                cwd: this.input.cwd,
+                signal: this.input.signal,
+            });
+        }
+        return this.finish(this.input.signal?.aborted === true ? "failed" : "completed");
     }
-    const calls = last.content.filter((part) => part.type === "toolCall");
-    if (calls.length !== 1 || calls[0].name !== "structured_output")
-        return rejected("the latest assistant turn must submit structured_output as its only tool call.");
-    const call = calls[0];
-    const result = messages.slice(index + 1).findLast((message) => message.role === "toolResult" && message.toolCallId === call.id);
-    if (result?.role !== "toolResult" || result.toolName !== "structured_output" || result.isError !== false)
-        return rejected("the latest structured_output call has no matching successful result.");
-    if (captured.error)
-        return rejected(captured.error);
-    if (!isDeepStrictEqual(captured.value, call.arguments.value))
-        return rejected("the capture does not match the latest submission.");
-    if (!submitted)
-        return rejected("the submission must contain a complete answer and a valid acceptance report.");
-    return { ...submitted, unconfirmedOutput };
-}
-export function formatUnconfirmedFinalizationOutput(output) {
-    return `UNCONFIRMED task report — retained for audit only; finalization did not deliver a current complete report.\n\n${stripAcceptanceReport(output)}`;
-}
-export function resolveFinalizationOutput(rawOutput, previousOutput) {
-    const prose = stripAcceptanceReport(rawOutput);
-    if (prose.trim())
-        return prose;
-    const report = parseAcceptanceReport(rawOutput).report;
-    return report?.diffSummary?.trim() || report?.notes?.trim() || previousOutput;
-}
-export function resolveExecutionOutcome(input) {
-    const { result } = input;
-    if (input.signal?.aborted && input.signal.reason instanceof Error && input.signal.reason.name === "TimeoutError") {
-        return { ...result, exitCode: 124, timedOut: true, interrupted: false, error: input.signal.reason.message || "Subagent timed out." };
+    runTurn(turn, prompt) {
+        if (this.input.signal?.aborted === true && turn > (this.input.recordedTurns ?? 0)) {
+            return Promise.resolve({ output: "", error: "Acceptance finalization cancelled." });
+        }
+        return this.input.runTurn(prompt, turn, this.input.sessionFile);
+    }
+    retainAudit(result) {
+        const retained = result.unconfirmedOutput ?? reportAuditOutput(result);
+        if (this.input.nativeReport === true && parseAcceptanceReport(retained).report) {
+            this.auditOutput = retained;
+        }
+    }
+    async performTurn(turn) {
+        const prompt = formatAcceptanceFinalizationPrompt({
+            acceptance: this.input.acceptance,
+            initialOutput: this.input.initialOutput,
+            initialLedger: this.initialLedger,
+            turn,
+            maxTurns: this.input.acceptance.finalization.maxTurns,
+            previousFailure: this.previousFailure,
+            nativeReport: this.input.nativeReport,
+            outputSchema: this.input.outputSchema,
+        });
+        const result = await this.runTurn(turn, prompt);
+        this.retainAudit(result);
+        const processFailure = this.processFailure(result, turn, prompt);
+        if (processFailure) {
+            return processFailure;
+        }
+        this.authoritativeLedger = await this.evaluateTurn(result);
+        this.turns.push(createFinalizationTurn({
+            turn,
+            prompt,
+            rawOutput: result.output,
+            ledger: this.authoritativeLedger,
+        }));
+        if (this.authoritativeLedger.status === "blocked") {
+            return this.finish("blocked");
+        }
+        const failure = acceptanceFailureMessage(this.authoritativeLedger);
+        if (failure === undefined && this.input.signal?.aborted !== true) {
+            return this.completeReview(result);
+        }
+        if (this.input.signal?.aborted === true) {
+            return this.finish("failed");
+        }
+        this.previousFailure = failure;
+        return undefined;
+    }
+    async run() {
+        for (let turn = 1; turn <= this.input.acceptance.finalization.maxTurns; turn++) {
+            // Each repair resumes the same session and consumes the preceding turn's authoritative outcome.
+            // oxlint-disable-next-line no-await-in-loop
+            const finished = await this.performTurn(turn);
+            if (finished) {
+                return finished;
+            }
+        }
+        return this.finish("failed");
     }
-    if (input.signal?.aborted)
-        return { ...result, exitCode: 1, interrupted: false, error: "Subagent cancelled." };
-    if (isFailFastAbort(input.interruptSignal))
-        return { ...result, exitCode: -1, interrupted: false, error: "Interrupted due to fail-fast" };
-    if (result.timedOut || result.resourceLimitExceeded)
-        return { ...result, exitCode: result.timedOut ? 124 : 1, interrupted: result.interrupted === undefined ? undefined : false };
-    if (input.interruptSignal?.aborted || result.interrupted)
-        return { ...result, exitCode: 0, interrupted: true, error: undefined };
-    const failure = input.acceptance?.explicit ? acceptanceFailureMessage(input.acceptance) : undefined;
-    if (failure && result.exitCode === 0)
-        return { ...result, exitCode: 1, error: result.error ? `${result.error}\n${failure}` : failure };
-    return result;
 }
 export async function evaluateRunAcceptance(input) {
     const review = shouldRunAcceptanceFinalization(input.acceptance);
     const selfReview = review ? acceptanceSelfReviewConfig(input.acceptance) : input.acceptance;
-    const initialLedger = input.initialAcceptance ?? await evaluateAcceptance({ acceptance: selfReview, governing: input.acceptance, output: input.initialOutput, report: input.initialReport, cwd: input.cwd, signal: input.signal });
-    if (initialLedger.status === "blocked" || !review || input.initial.exitCode !== 0 || input.initial.error || input.initial.interrupted || (input.signal?.aborted && !input.recordedTurns))
+    const initialLedger = input.initialAcceptance ??
+        (await evaluateAcceptance({
+            acceptance: selfReview,
+            governing: input.acceptance,
+            output: input.initialOutput,
+            report: input.initialReport,
+            cwd: input.cwd,
+            signal: input.signal,
+        }));
+    if (skipSelfReview(input, initialLedger)) {
         return initialLedger;
-    const maxTurns = input.acceptance.finalization.maxTurns;
-    const turns = [];
-    if (!input.sessionFile) {
-        const message = "Acceptance finalization requires a session file for same-session continuation.";
-        turns.push(createFinalizationProcessFailureTurn({ turn: 1, prompt: "", message }));
-        return buildFinalizationProcessFailureLedger({ initialLedger, turns, maxTurns, message });
     }
-    let previousFailure = acceptanceFailureMessage(initialLedger);
-    let authoritativeLedger = initialLedger;
-    let auditOutput = reportAuditOutput({ output: input.initialOutput, report: input.initialReport });
-    for (let turn = 1; turn <= maxTurns; turn++) {
-        const prompt = formatAcceptanceFinalizationPrompt({ acceptance: input.acceptance, initialOutput: input.initialOutput, initialLedger, turn, maxTurns, previousFailure, nativeReport: input.nativeReport, outputSchema: input.outputSchema });
-        const result = input.signal?.aborted && turn > (input.recordedTurns ?? 0)
-            ? { output: "", error: "Acceptance finalization cancelled." }
-            : await input.runTurn(prompt, turn, input.sessionFile);
-        const retained = result.unconfirmedOutput ?? reportAuditOutput(result);
-        if (input.nativeReport && parseAcceptanceReport(retained).report)
-            auditOutput = retained;
-        if (result.error) {
-            turns.push({ ...createFinalizationProcessFailureTurn({ turn, prompt, rawOutput: result.output, message: result.error }),
-                ...(input.nativeReport ? { unconfirmedOutput: auditOutput } : {}) });
-            const ledger = buildFinalizationProcessFailureLedger({ initialLedger, turns, maxTurns, message: result.error });
-            return input.nativeReport ? { ...ledger, childReport: undefined, childReportParseError: result.reportSubmissionError, unconfirmedOutput: auditOutput } : ledger;
-        }
-        // Replay each native boundary's checks, not the workspace left by a later repair.
-        authoritativeLedger = !result.reportSubmissionError && result.acceptance
-            ? result.acceptance
-            : await evaluateAcceptance({ acceptance: selfReview, governing: input.acceptance, output: result.reportSubmissionError ? "" : result.output, report: result.reportSubmissionError ? undefined : result.report, cwd: input.cwd, signal: input.signal });
-        if (result.reportSubmissionError) {
-            authoritativeLedger.childReportParseError = result.reportSubmissionError;
-            authoritativeLedger.runtimeChecks = [{ id: "finalization-report", status: "failed", message: result.reportSubmissionError }];
-        }
-        if (input.nativeReport && authoritativeLedger.childReportParseError)
-            authoritativeLedger.unconfirmedOutput = auditOutput;
-        turns.push(createFinalizationTurn({ turn, prompt, rawOutput: result.output, ledger: authoritativeLedger }));
-        if (authoritativeLedger.status === "blocked")
-            return attachFinalizationToLedger({ initialLedger, authoritativeLedger, turns, status: "blocked", maxTurns });
-        const failure = acceptanceFailureMessage(authoritativeLedger);
-        if (!failure && !input.signal?.aborted) {
-            if (result.acceptance || selfReview !== input.acceptance)
-                authoritativeLedger = await evaluateAcceptance({ acceptance: input.acceptance, output: result.output, report: result.report, cwd: input.cwd, signal: input.signal });
-            return attachFinalizationToLedger({ initialLedger, authoritativeLedger, turns, status: input.signal?.aborted ? "failed" : "completed", maxTurns });
-        }
-        if (input.signal?.aborted)
-            break;
-        previousFailure = failure;
+    if (input.sessionFile === undefined || input.sessionFile.length === 0) {
+        const message = "Acceptance finalization requires a session file for same-session continuation.";
+        const turns = [createFinalizationProcessFailureTurn({ turn: 1, prompt: "", message })];
+        return buildFinalizationProcessFailureLedger({
+            initialLedger,
+            turns,
+            maxTurns: input.acceptance.finalization.maxTurns,
+            message,
+        });
     }
-    return attachFinalizationToLedger({ initialLedger, authoritativeLedger, turns, status: "failed", maxTurns });
+    return new AcceptanceReview({ ...input, sessionFile: input.sessionFile }, initialLedger, selfReview).run();
 }
 const INITIAL_OUTPUT_LIMIT = 8_000;
 function truncateForPrompt(value) {
     const trimmed = stripAcceptanceReport(value).trim();
-    if (trimmed.length <= INITIAL_OUTPUT_LIMIT)
-        return trimmed || "(initial output was empty after removing acceptance-report)";
+    if (trimmed.length <= INITIAL_OUTPUT_LIMIT) {
+        return trimmed.length > 0
+            ? trimmed
+            : "(initial output was empty after removing acceptance-report)";
+    }
     return `${trimmed.slice(0, INITIAL_OUTPUT_LIMIT)}\n...[truncated]`;
 }
 function formatReportForPrompt(ledger) {
-    if (ledger.childReport)
+    if (ledger.childReport) {
         return JSON.stringify(ledger.childReport, null, 2);
+    }
     return `Missing or malformed acceptance report: ${ledger.childReportParseError ?? "no parse detail"}`;
 }
+function initialReviewEvidence(output, ledger, previousFailure) {
+    const lines = [
+        "",
+        "Initial visible output:",
+        truncateForPrompt(output),
+        "",
+        "Initial acceptance report:",
+        formatReportForPrompt(ledger),
+    ];
+    if (previousFailure !== undefined && previousFailure.length > 0) {
+        lines.push("", "Previous finalization failure to address:", previousFailure);
+    }
+    return lines;
+}
+function finalizationInstructions(nativeReport, schema) {
+    if (schema) {
+        const action = nativeReport
+            ? "Your final action must be a sole `structured_output` tool call with {value:{answer,report}}."
+            : "Return the schema-constrained JSON object {answer,report}.";
+        return [
+            `${action} answer must be the complete current public payload matching outputSchema below, including all repairs; do not embed it in a prose string. report is the private typed acceptance object. This submission replaces the initial payload. If more activity follows submission, resubmit the complete current answer and report.\noutputSchema: ${JSON.stringify(schema)}`,
+        ];
+    }
+    const action = nativeReport
+        ? "Now do the self-check. Your final action must be a sole `structured_output` tool call with {value:{answer,report}}. answer must contain the complete standalone final answer with the current result and every requested handoff detail (including paths, identifiers, findings, and evidence), repairs or remaining blockers. report is a typed object matching the schema, never JSON embedded in a string. This answer replaces the initial answer; do not replace useful details with only a statement that you rechecked them. If additional messages prompt more activity after submission, resubmit the complete current answer and report as your final action; a prose-only reply does not finalize the task."
+        : "Now do the self-check. Return a standalone final answer with the current result and every requested handoff detail (including paths, identifiers, findings, and evidence). This answer replaces the initial answer; do not replace useful details with only a statement that you rechecked them. Include repairs or remaining blockers, then finish with exactly one fenced JSON block tagged `acceptance-report`.";
+    return [action, formatAcceptanceReportExample(nativeReport)];
+}
 export function formatAcceptanceFinalizationPrompt(input) {
-    const evidence = [...new Set([...input.acceptance.evidence, ...input.acceptance.criteria.flatMap((criterion) => criterion.evidence)])];
+    const evidence = [
+        ...new Set([
+            ...input.acceptance.evidence,
+            ...input.acceptance.criteria.flatMap((criterion) => criterion.evidence),
+        ]),
+    ];
     const lines = [
         "## Acceptance Finalization",
         "You are continuing the same subagent session. Before this run can be accepted, compare the current work to the acceptance contract and the evidence below.",
@@ -198,13 +273,10 @@ export function formatAcceptanceFinalizationPrompt(input) {
         "Report cumulative evidence for the whole delegated task, not just this finalization turn. Retain still-valid changed files, tests, commands, and other evidence from the initial report; correct or remove evidence only when the final state invalidates it. No new edits during review does not mean changedFiles is empty.",
         "",
         "## Acceptance Contract",
-        "Criteria:",
-        ...(input.acceptance.criteria.length ? input.acceptance.criteria.map((criterion) => `- ${criterion.id}: ${criterion.must}${criterion.evidence.length ? ` (evidence: ${criterion.evidence.join(", ")})` : ""}`) : ["- No explicit criteria were configured; satisfy the requested task and required evidence/checks."]),
-        "",
-        `Required evidence: ${evidence.join(", ") || "none explicitly requested"}`,
+        ...formatAcceptanceRequirements(input.acceptance.criteria, evidence, "- No explicit criteria were configured; satisfy the requested task and required evidence/checks."),
     ];
     if (evidence.length > 0) {
-        lines.push("", `Structured evidence must be present in the ${input.nativeReport || input.outputSchema ? "typed report object" : "final `acceptance-report` JSON fields"}. Markdown sections in the visible answer do not satisfy required evidence by themselves. If the previous visible output already included the evidence, copy or summarize it into the matching JSON field.`, "Evidence field mapping:", ...formatEvidenceReportFieldMapping(evidence));
+        lines.push("", `Structured evidence must be present in the ${input.nativeReport === true || input.outputSchema ? "typed report object" : "final `acceptance-report` JSON fields"}. Markdown sections in the visible answer do not satisfy required evidence by themselves. If the previous visible output already included the evidence, copy or summarize it into the matching JSON field.`, "Evidence field mapping:", ...formatEvidenceReportFieldMapping(evidence));
     }
     if (input.acceptance.verify.length > 0) {
         lines.push("", "Runtime verification commands that must pass:", ...input.acceptance.verify.map((command) => `- ${command.id}: ${command.command}`));
@@ -212,15 +284,7 @@ export function formatAcceptanceFinalizationPrompt(input) {
     if (input.acceptance.stopRules.length > 0) {
         lines.push("", "Stop rules are hard constraints while deciding whether to continue, stop as blocked, or report success:", ...input.acceptance.stopRules.map((rule) => `- ${rule}`));
     }
-    lines.push("", "Initial visible output:", truncateForPrompt(input.initialOutput), "", "Initial acceptance report:", formatReportForPrompt(input.initialLedger));
-    if (input.previousFailure) {
-        lines.push("", "Previous finalization failure to address:", input.previousFailure);
-    }
-    lines.push("", input.outputSchema
-        ? `${input.nativeReport ? "Your final action must be a sole `structured_output` tool call with {value:{answer,report}}." : "Return the schema-constrained JSON object {answer,report}."} answer must be the complete current public payload matching outputSchema below, including all repairs; do not embed it in a prose string. report is the private typed acceptance object. This submission replaces the initial payload. If more activity follows submission, resubmit the complete current answer and report.\noutputSchema: ${JSON.stringify(input.outputSchema)}`
-        : input.nativeReport
-            ? "Now do the self-check. Your final action must be a sole `structured_output` tool call with {value:{answer,report}}. answer must contain the complete standalone final answer with the current result and every requested handoff detail (including paths, identifiers, findings, and evidence), repairs or remaining blockers. report is a typed object matching the schema, never JSON embedded in a string. This answer replaces the initial answer; do not replace useful details with only a statement that you rechecked them. If additional messages prompt more activity after submission, resubmit the complete current answer and report as your final action; a prose-only reply does not finalize the task."
-            : "Now do the self-check. Return a standalone final answer with the current result and every requested handoff detail (including paths, identifiers, findings, and evidence). This answer replaces the initial answer; do not replace useful details with only a statement that you rechecked them. Include repairs or remaining blockers, then finish with exactly one fenced JSON block tagged `acceptance-report`.", ...(input.outputSchema ? [] : [formatAcceptanceReportExample(input.nativeReport)]));
+    lines.push(...initialReviewEvidence(input.initialOutput, input.initialLedger, input.previousFailure), "", ...finalizationInstructions(input.nativeReport === true, input.outputSchema));
     return lines.join("\n");
 }
 export function createFinalizationTurn(input) {
@@ -230,12 +294,17 @@ export function createFinalizationTurn(input) {
         prompt: input.prompt,
         status: input.ledger.status,
         rawOutput: input.rawOutput,
-        ...(input.ledger.unconfirmedOutput !== undefined ? { unconfirmedOutput: input.ledger.unconfirmedOutput } : {}),
+        ...(input.ledger.unconfirmedOutput !== undefined
+            ? { unconfirmedOutput: input.ledger.unconfirmedOutput }
+            : {}),
         ...(input.ledger.childReport ? { report: input.ledger.childReport } : {}),
-        ...(input.ledger.childReportParseError ? { parseError: input.ledger.childReportParseError } : {}),
+        ...(input.ledger.childReportParseError !== undefined &&
+            input.ledger.childReportParseError.length > 0
+            ? { parseError: input.ledger.childReportParseError }
+            : {}),
         runtimeChecks: input.ledger.runtimeChecks,
         verifyRuns: input.ledger.verifyRuns,
-        ...(failureMessage ? { failureMessage } : {}),
+        ...(failureMessage !== undefined && failureMessage.length > 0 ? { failureMessage } : {}),
     };
 }
 export function createFinalizationProcessFailureTurn(input) {
@@ -243,7 +312,9 @@ export function createFinalizationProcessFailureTurn(input) {
         turn: input.turn,
         prompt: input.prompt,
         status: "rejected",
-        ...(input.rawOutput ? { rawOutput: input.rawOutput } : {}),
+        ...(input.rawOutput !== undefined && input.rawOutput.length > 0
+            ? { rawOutput: input.rawOutput }
+            : {}),
         runtimeChecks: [{ id: "finalization-process", status: "failed", message: input.message }],
         verifyRuns: [],
         failureMessage: `Acceptance rejected: ${input.message}`,
@@ -252,8 +323,13 @@ export function createFinalizationProcessFailureTurn(input) {
 export function attachFinalizationToLedger(input) {
     return {
         ...input.authoritativeLedger,
-        ...(input.initialLedger.childReport ? { initialChildReport: input.initialLedger.childReport } : {}),
-        ...(input.initialLedger.childReportParseError ? { initialChildReportParseError: input.initialLedger.childReportParseError } : {}),
+        ...(input.initialLedger.childReport
+            ? { initialChildReport: input.initialLedger.childReport }
+            : {}),
+        ...(input.initialLedger.childReportParseError !== undefined &&
+            input.initialLedger.childReportParseError.length > 0
+            ? { initialChildReportParseError: input.initialLedger.childReportParseError }
+            : {}),
         finalization: {
             mode: "self-review-loop",
             status: input.status,

package/dist/runs/shared/acceptance-outcome.js

@@ -0,0 +1,53 @@
+import { acceptanceFailureMessage } from "./acceptance-evaluation.js";
+import { isFailFastAbort } from "./parallel-utils.js";
+function cancellationOutcome(input) {
+    const { signal, result } = input;
+    if (signal?.aborted === true) {
+        const reason = signal.reason;
+        if (reason instanceof Error && reason.name === "TimeoutError") {
+            return {
+                ...result,
+                exitCode: 124,
+                timedOut: true,
+                interrupted: false,
+                error: reason.message.length > 0 ? reason.message : "Subagent timed out.",
+            };
+        }
+        return { ...result, exitCode: 1, interrupted: false, error: "Subagent cancelled." };
+    }
+    if (isFailFastAbort(input.interruptSignal)) {
+        return { ...result, exitCode: -1, interrupted: false, error: "Interrupted due to fail-fast" };
+    }
+    return undefined;
+}
+function executionStopOutcome(input) {
+    const { result } = input;
+    if (result.timedOut === true || result.resourceLimitExceeded) {
+        return {
+            ...result,
+            exitCode: result.timedOut === true ? 124 : 1,
+            interrupted: result.interrupted === undefined ? undefined : false,
+        };
+    }
+    if (input.interruptSignal?.aborted === true || result.interrupted === true) {
+        return { ...result, exitCode: 0, interrupted: true, error: undefined };
+    }
+    return undefined;
+}
+function configuredAcceptanceFailure(acceptance) {
+    return acceptance?.explicit === true ? acceptanceFailureMessage(acceptance) : undefined;
+}
+/** Cancellation and resource limits outrank interruption; acceptance only rejects successful execution. */
+export function resolveExecutionOutcome(input) {
+    const stopped = cancellationOutcome(input) ?? executionStopOutcome(input);
+    if (stopped) {
+        return stopped;
+    }
+    const { result } = input;
+    const failure = configuredAcceptanceFailure(input.acceptance);
+    if (failure !== undefined && failure.length > 0 && result.exitCode === 0) {
+        const error = (result.error ?? "").length > 0 ? `${result.error ?? ""}\n${failure}` : failure;
+        return { ...result, exitCode: 1, error };
+    }
+    return result;
+}