@fitlab-ai/agent-infra 0.12.0 → 0.12.1

package/dist/lib/platform/pr-summary.js

@@ -6,16 +6,19 @@ import { parseTypedTaskFrontmatter } from '../task/frontmatter.js';
 import { resolveTaskRef } from '../task/resolve-ref.js';
 import { readPrDeliveryFact } from '../task/pr-delivery-fact.js';
 import { resolvePlatformProviderContext } from './context.js';
-import { normalizeCommentContent } from './issue-comments.js';
+import { inspectPlatformPullRequest } from './pull-requests.js';
+import { normalizeCommentContent, syncCommentPlan } from './issue-comments.js';
 import { CONTROL_MARKER_PATTERN, sanitizeMarkdownDocument, splitDocumentPlaceholder } from './comment-safety.js';
 import { platformResult } from './types.js';
-import { coordinatePlatformWrite } from './operation-coordinator.js';
-import { providerError, providerOperationContext, providerStatus, providerResourceToken, resourceIdentityNumber, unsupportedProviderOperation } from './provider-bridge.js';
-import { resourceIdentityEquals } from './resource-identity.js';
+import { providerError, providerOperationContext, resourceIdentityNumber, unsupportedProviderOperation } from './provider-bridge.js';
+import { parseResourceIdentity, resourceIdentityEquals } from './resource-identity.js';
 import { buildPrChangeReport, CANONICAL_REPORT_PLACEHOLDER, readPrChangeReport, replaceCanonicalReportPlaceholder, runMechanicalChangeReport, taskIntentDigest, validateMechanicalReport, validatePrecheckCandidate, writePrChangeReportAtomic } from './pr-change-report.js';
 import { MANUAL_VALIDATION_RECEIPT_PLACEHOLDER, manualValidationFinalSummaryProjectionMatches } from '../task/manual-validation-receipt.js';
 import { readManualValidationCompletion } from '../task/manual-validation-completion.js';
 import { readManualValidationTransaction } from '../task/manual-validation-transaction.js';
+import { parsePrSummaryContent, renderPrSummaryContent } from './pr-summary-content.js';
+import { runSummaryContentPipeline } from './summary-content-pipeline.js';
+import { parseLedgerDocument } from '../task/ledger.js';
 function summaryMarker(taskId) {
     return `<!-- sync-pr:${taskId}:summary -->`;
 }
@@ -58,17 +61,6 @@ function platformError(error) {
 function buildPullRequestSummary(taskId, body, headSha) {
     return normalizeCommentContent(`${summaryMarker(taskId)}\n<!-- last-commit: ${headSha} -->\n\n${body.replace(/\s+$/, '')}\n`);
 }
-function reconcileSummaryComment(comments, taskId, desired) {
-    const marker = summaryMarker(taskId);
-    const matches = comments.filter((comment) => comment.body.includes(marker));
-    if (matches.length > 1)
-        return { action: 'conflict', commentId: null };
-    if (matches.length === 0)
-        return { action: 'create', commentId: null };
-    return normalizeCommentContent(matches[0].body) === normalizeCommentContent(desired)
-        ? { action: 'no-op', commentId: matches[0].id }
-        : { action: 'update', commentId: matches[0].id };
-}
 function canonicalArtifacts(taskDir) {
     const allowed = /^(plan|review-plan|code|review-code|manual-validation)(?:-r\d+)?\.md$/;
     const byFamily = new Map();
@@ -102,6 +94,247 @@ function isHardSummaryFailure(error) {
 function inspectionError(error) {
     return error.retryable ? 'blocked' : 'failed';
 }
+function preparationError(code, message) {
+    return Object.assign(new Error(message), { code });
+}
+function validateManualSummaryPhase(manual, rendered) {
+    const hasFinal = /###\s+✅\s+(?:Manual Validation Passed|人工验证已通过)/u.test(rendered);
+    if (hasFinal && (!manual || manual.phase !== 'final'))
+        throw preparationError('MANUAL_VALIDATION_TRANSACTION_REQUIRED', 'final manual-validation summary requires the transaction coordinator');
+    if (manual && (manual.phase === 'pending' ? hasFinal : !hasFinal))
+        throw preparationError('MANUAL_VALIDATION_SUMMARY_PHASE_INVALID', 'manual-validation summary phase does not match the requested writer phase');
+}
+function readPendingManualEvidence(resolved, manual, current, prNumber) {
+    const transaction = readManualValidationTransaction(resolved.taskDir, { transactionId: manual.transactionId, taskId: resolved.taskId, prNumber, prHeadSha: current.head.sha });
+    if (!transaction.ok)
+        throw preparationError(transaction.error.code, transaction.error.message);
+    return null;
+}
+function readFinalManualEvidence(resolved, manual, rendered, current, prNumber) {
+    if (!manual.receiptDigest || manual.prHeadSha !== current.head.sha || manual.authority !== 'coordinator')
+        throw preparationError('MANUAL_VALIDATION_TRANSACTION_REQUIRED', 'final manual-validation summary requires transaction, receipt, and current head identity');
+    const completion = readManualValidationCompletion(resolved.taskDir, { transactionId: manual.transactionId, taskId: resolved.taskId, prNumber, prHeadSha: current.head.sha, receiptDigest: manual.receiptDigest });
+    if (!completion.ok)
+        throw preparationError(completion.error.code, completion.error.message);
+    if (completion.value.transaction.phase !== 'final-promotion-in-progress' || !completion.value.transaction.eventAppended
+        || !manualValidationFinalSummaryProjectionMatches(rendered, completion.value.receipt))
+        throw preparationError('MANUAL_VALIDATION_SUMMARY_PROJECTION_INVALID', 'final summary does not match the receipt-backed promotion intent');
+    return completion.value.receipt.evidenceDigest;
+}
+async function manualValidationEvidence(resolved, manual, rendered, current) {
+    validateManualSummaryPhase(manual, rendered);
+    if (!manual)
+        return null;
+    const prNumber = current.number;
+    if (!Number.isSafeInteger(prNumber) || prNumber <= 0)
+        throw preparationError('MANUAL_VALIDATION_PR_NUMBER_REQUIRED', 'manual-validation summary requires a positive safe pull-request number from the authoritative snapshot');
+    if (!manual.transactionId)
+        throw preparationError('MANUAL_VALIDATION_TRANSACTION_REQUIRED', 'manual-validation summary requires a transaction ID');
+    return manual.phase === 'pending'
+        ? readPendingManualEvidence(resolved, manual, current, prNumber)
+        : readFinalManualEvidence(resolved, manual, rendered, current, prNumber);
+}
+function validatedSummaryReport(resolved, options, current, taskContent) {
+    if (!options.changeReportFile)
+        throw preparationError('PR_CHANGE_REPORT_MISSING', 'summary-sync requires --change-report-file');
+    const reportPath = taskReportPath(resolved.taskDir);
+    if (path.resolve(resolved.repoRoot, options.changeReportFile) !== reportPath)
+        throw preparationError('PR_CHANGE_REPORT_PATH_INVALID', 'summary-sync must consume the task-bound pr-change-report.json');
+    const report = readPrChangeReport(reportPath);
+    if (!report.ok)
+        throw preparationError(report.error.code, report.error.message);
+    const checked = currentReportCheck(report.value, current, taskContent, resolved.repoRoot);
+    if (!checked.ok)
+        throw preparationError(checked.error.code, checked.error.message);
+    return report.value;
+}
+function renderedSummaryBody(taskId, rendered, report, manual, evidenceDigest, headSha) {
+    const split = splitDocumentPlaceholder(rendered, CANONICAL_REPORT_PLACEHOLDER);
+    if (!split.ok)
+        throw preparationError('PR_SUMMARY_BODY_CONTRACT_INVALID', split.error.message);
+    const prefix = sanitizeMarkdownDocument(split.value.prefix, { reservedMarkers: [CONTROL_MARKER_PATTERN] });
+    const suffix = sanitizeMarkdownDocument(split.value.suffix, { reservedMarkers: [CONTROL_MARKER_PATTERN] });
+    if (!prefix.ok || !suffix.ok)
+        throw preparationError('PR_SUMMARY_BODY_CONTRACT_INVALID', 'PR summary body contract is invalid');
+    const replaced = replaceCanonicalReportPlaceholder(`${prefix.value}${CANONICAL_REPORT_PLACEHOLDER}${suffix.value}`, report);
+    if (!replaced.ok)
+        throw preparationError(replaced.error.code, replaced.error.message);
+    const withReceipt = manual?.phase === 'final' ? replaced.value.replace(MANUAL_VALIDATION_RECEIPT_PLACEHOLDER, `<!-- manual-validation-receipt: transaction=${manual.transactionId}; receipt=${manual.receiptDigest}; evidence=${evidenceDigest}; head=${manual.prHeadSha} -->`) : replaced.value;
+    const body = buildPullRequestSummary(taskId, withReceipt, headSha);
+    if (!isSafeSummaryEnvelope(body, taskId))
+        throw preparationError('PR_SUMMARY_RENDER_INVALID', 'Summary contains an invalid or duplicated reserved control marker');
+    return body;
+}
+function prepareBoundSummaryContent(body, taskContent) {
+    try {
+        return prepareAndRenderPrSummaryContent(JSON.parse(body), taskContent);
+    }
+    catch (error) {
+        throw preparationError('PR_SUMMARY_CONTENT_INVALID', error instanceof Error ? error.message : String(error));
+    }
+}
+async function prepareBoundPullRequestSummary(resolved, options, context, loaded, expectedIdentity) {
+    const taskSnapshot = readBoundTaskSnapshot(resolved.taskMdPath);
+    if (taskSnapshot.factError)
+        throw preparationError(taskSnapshot.factError.code, taskSnapshot.factError.message);
+    if (!taskSnapshot.boundFact || !resourceIdentityEquals(taskSnapshot.boundFact.identity.resource, expectedIdentity))
+        throw preparationError('PLATFORM_OPERATION_IDENTITY_MISMATCH', 'Bound pull request identity changed while the summary was queued');
+    const preparedContent = prepareBoundSummaryContent(options.body, taskSnapshot.taskContent);
+    const current = await inspectBoundPullRequest(context, resolved.repoRoot, expectedIdentity, loaded);
+    if (!current.ok)
+        throw preparationError(current.error?.code || 'PR_SNAPSHOT_UNAVAILABLE', current.error?.message || 'Pull-request snapshot is unavailable');
+    const evidenceDigest = await manualValidationEvidence(resolved, options.manualValidation, preparedContent.rendered, current.value);
+    const report = validatedSummaryReport(resolved, options, current.value, taskSnapshot.taskContent);
+    const body = renderedSummaryBody(resolved.taskId, preparedContent.rendered, report, options.manualValidation, evidenceDigest, current.value.head.sha);
+    return {
+        parent: expectedIdentity,
+        item: { marker: summaryMarker(resolved.taskId), body, content: options.body, part: 1, total: 1 },
+        snapshot: current.value,
+        rendered: body,
+        manual: options.manualValidation,
+        prNumber: current.value.number,
+        precheckVerdict: report.precheck.verdict,
+        nextAction: report.precheck.route
+    };
+}
+async function validateBoundPullRequestSummary(resolved, options, context, loaded, prepared) {
+    const latest = await inspectBoundPullRequest(context, resolved.repoRoot, prepared.parent, loaded);
+    if (!latest.ok)
+        return latest.error;
+    if (!sameIdentity(prepared.snapshot, latest.value))
+        return { code: 'PR_SUMMARY_HEAD_RACE', message: 'Pull-request identity or base/head snapshot changed during summary publication', retryable: true };
+    const frontmatter = parseTypedTaskFrontmatter(fs.readFileSync(resolved.taskMdPath, 'utf8'));
+    const bound = readPrDeliveryFact(frontmatter, options.runtimeVersion);
+    if (bound.status !== 'valid' || bound.fact.state !== 'bound' || !resourceIdentityEquals(bound.fact.identity.resource, prepared.parent))
+        return { code: 'PLATFORM_OPERATION_IDENTITY_MISMATCH', message: 'Bound pull request identity changed during summary publication', retryable: true };
+    try {
+        await manualValidationEvidence(resolved, prepared.manual, prepared.rendered, latest.value);
+    }
+    catch (error) {
+        const value = error;
+        return { code: value.code || 'MANUAL_VALIDATION_TRANSACTION_REQUIRED', message: value.message || String(error), retryable: false };
+    }
+    return null;
+}
+async function syncBoundPullRequestSummary(resolved, options, context, loaded, expectedIdentity, preserveFailure) {
+    const state = { prepared: null };
+    const expectedDigest = createHash('sha256').update(options.body).digest('hex');
+    const operation = {
+        taskRef: resolved.taskId, cwd: resolved.repoRoot, kind: 'pull-request-summary',
+        target: JSON.stringify(expectedIdentity), expectedDigest, dependency: 'deferred',
+        pullRequestSummary: {
+            body: options.body, changeReportFile: options.changeReportFile ?? taskReportPath(resolved.taskDir),
+            ...(options.manualValidation?.transactionId ? { manualValidation: { ...options.manualValidation, transactionId: options.manualValidation.transactionId } } : {})
+        }
+    };
+    const strategy = {
+        taskId: resolved.taskId, cwd: resolved.repoRoot, agent: options.agent, client: options.client, resolved: { loaded, context },
+        parentKind: 'pull-request', kind: 'summary', markerPrefix: summaryMarker(resolved.taskId).replace(/ -->$/u, ''),
+        dryRun: options.dryRun, verifyReadback: true,
+        prepare: async () => {
+            const prepared = await prepareBoundPullRequestSummary(resolved, options, context, loaded, expectedIdentity);
+            state.prepared = prepared;
+            return { parent: prepared.parent, items: [prepared.item] };
+        },
+        validate: async () => state.prepared ? validateBoundPullRequestSummary(resolved, options, context, loaded, state.prepared) : null
+    };
+    const output = await syncCommentPlan(strategy, operation, options.queuedOperation);
+    if (output.error || output.status === 'failed' || output.status === 'blocked')
+        return preserveFailure({
+            ...output, resource: { kind: 'pull-request', number: state.prepared?.prNumber ?? resourceIdentityNumber(expectedIdentity), identity: expectedIdentity }
+        }, state.prepared?.prNumber ?? resourceIdentityNumber(expectedIdentity));
+    const info = state.prepared
+        ? { precheckVerdict: state.prepared.precheckVerdict, nextAction: state.prepared.nextAction }
+        : { precheckVerdict: 'needs-review', nextAction: 'review-code' };
+    return {
+        ...output,
+        resource: { kind: 'pull-request', number: state.prepared?.prNumber ?? resourceIdentityNumber(expectedIdentity), identity: expectedIdentity },
+        comment: output.comment ? { ...output.comment, kind: 'summary' } : null,
+        result: null, warnings: [], ...info
+    };
+}
+function validateUnboundPrSummaryInput(options, taskContent, knownPrNumber) {
+    try {
+        prepareAndRenderPrSummaryContent(JSON.parse(options.body), taskContent);
+        return null;
+    }
+    catch (error) {
+        return platformResult('failed', {
+            resource: { kind: 'pull-request', number: knownPrNumber },
+            error: { code: 'PR_SUMMARY_CONTENT_INVALID', message: error instanceof Error ? error.message : String(error), retryable: false }
+        });
+    }
+}
+function boundSummaryPhase(raw) {
+    if (!raw || typeof raw !== 'object' || Array.isArray(raw))
+        return null;
+    const input = raw;
+    const manual = input.manualValidation && typeof input.manualValidation === 'object' && !Array.isArray(input.manualValidation)
+        ? input.manualValidation : {};
+    const state = typeof manual.state === 'string' ? manual.state : null;
+    const overview = typeof input.overview === 'string' ? input.overview : '';
+    return {
+        passed: state === 'passed' || /###\s+✅\s+(?:Manual Validation Passed|人工验证已通过)/u.test(overview),
+        known: state !== null || overview.length > 0
+    };
+}
+function manualSummaryPhaseFailure(options, phase) {
+    const manual = options.manualValidation;
+    if (phase.passed && (manual?.phase !== 'final' || manual.authority !== 'coordinator'))
+        return {
+            code: 'MANUAL_VALIDATION_TRANSACTION_REQUIRED', message: 'final manual-validation summary requires the transaction coordinator'
+        };
+    if (!manual || !phase.known)
+        return null;
+    if ((manual.phase === 'pending' && phase.passed) || (manual.phase === 'final' && !phase.passed))
+        return {
+            code: 'MANUAL_VALIDATION_SUMMARY_PHASE_INVALID', message: 'manual-validation summary phase does not match the requested writer phase'
+        };
+    return null;
+}
+function boundSummaryPhaseError(options, raw, knownPrNumber) {
+    const phase = boundSummaryPhase(raw);
+    if (!phase)
+        return null;
+    const error = manualSummaryPhaseFailure(options, phase);
+    return error ? platformResult('failed', { resource: { kind: 'pull-request', number: knownPrNumber }, error: { ...error, retryable: false } }) : null;
+}
+function validateBoundPrSummaryInput(options, knownPrNumber) {
+    try {
+        return boundSummaryPhaseError(options, JSON.parse(options.body), knownPrNumber);
+    }
+    catch (error) {
+        return platformResult('failed', {
+            resource: { kind: 'pull-request', number: knownPrNumber },
+            error: { code: 'PR_SUMMARY_CONTENT_INVALID', message: error instanceof Error ? error.message : String(error), retryable: false }
+        });
+    }
+}
+async function prepareSummarySync(taskRef, options) {
+    const resolved = resolveTaskRef(taskRef, options.cwd ? { repoRoot: options.cwd } : {});
+    if (!resolved.ok)
+        return { ok: false, knownPrNumber: null, error: platformResult('failed', { error: { code: resolved.code, message: resolved.message, retryable: false } }) };
+    const knownPrNumber = boundPrNumberForWarning(resolved.taskMdPath);
+    const taskContent = fs.readFileSync(resolved.taskMdPath, 'utf8');
+    const fact = readPrDeliveryFact(parseTypedTaskFrontmatter(taskContent), options.runtimeVersion);
+    if (fact.status === 'invalid')
+        return { ok: false, knownPrNumber, error: platformResult('failed', { error: { code: fact.error.code, message: fact.error.message, retryable: false } }) };
+    const isBound = fact.status === 'valid' && fact.fact.state === 'bound';
+    const contentError = isBound
+        ? validateBoundPrSummaryInput(options, knownPrNumber)
+        : validateUnboundPrSummaryInput(options, taskContent, knownPrNumber);
+    if (contentError)
+        return { ok: false, knownPrNumber, error: contentError };
+    if (!options.changeReportFile && (options.dryRun || fact.status !== 'valid' || fact.fact.state !== 'bound'))
+        return {
+            ok: false, knownPrNumber, error: platformResult('failed', { error: { code: 'PR_CHANGE_REPORT_MISSING', message: 'summary-sync requires --change-report-file', retryable: false } })
+        };
+    const loaded = await resolvePlatformProviderContext({ cwd: resolved.repoRoot, client: options.client });
+    const context = loaded.ok ? loaded.value.context : loaded.context;
+    if (!loaded.ok || !context.platform.repository || !['no-op', 'degraded'].includes(context.status))
+        return { ok: false, knownPrNumber, error: context };
+    return { ok: true, resolved, fact, knownPrNumber, loaded: loaded.value, context };
+}
 async function inspectBoundPullRequest(context, repoRoot, prIdentity, loadedContext) {
     if (!context.platform.repository) {
         return { ok: false, status: context.status, error: context.error };
@@ -441,10 +674,10 @@ async function reportWrite(taskRef, options) {
 async function syncPullRequestSummary(taskRef, options) {
     const warningResult = warningResultForPrimary(options.primaryResult);
     let knownPrNumber = null;
-    const softenFailure = (output) => {
+    const softenFailure = (output, fallbackNumber = knownPrNumber) => {
         const prNumber = output.resource.kind === 'pull-request' && output.resource.number
             ? output.resource.number
-            : knownPrNumber;
+            : fallbackNumber;
         const warning = output.error && prNumber && output.error.code !== 'PR_NOT_LINKED'
             ? {
                 code: output.error.code,
@@ -467,277 +700,78 @@ async function syncPullRequestSummary(taskRef, options) {
             }
             : { ...output, result: null, warnings: [] };
     };
-    const preserveFailure = (output) => options.strict
+    const preserveFailure = (output, fallbackNumber = knownPrNumber) => options.strict
+        || isHardSummaryFailure(output.error)
         ? { ...output, result: null, warnings: [] }
-        : softenFailure(output);
-    const resolved = resolveTaskRef(taskRef, options.cwd ? { repoRoot: options.cwd } : {});
-    if (!resolved.ok)
-        return softenFailure(platformResult('failed', { error: { code: resolved.code, message: resolved.message, retryable: false } }));
-    const fail = (status, context, error, prNumber = knownPrNumber) => {
-        const output = basePlatformResult(status, context, resolved.taskId, prNumber, error);
-        return options.strict || isHardSummaryFailure(error)
-            ? { ...output, result: null, warnings: [] }
-            : { ...softenFailure(output) };
-    };
-    const frontmatter = parseTypedTaskFrontmatter(fs.readFileSync(resolved.taskMdPath, 'utf8'));
-    const fact = readPrDeliveryFact(frontmatter, options.runtimeVersion);
-    if (fact.status === 'invalid')
-        return preserveFailure(platformResult('failed', { error: { code: fact.error.code, message: fact.error.message, retryable: false } }));
-    if (!options.changeReportFile)
-        return preserveFailure(platformResult('failed', { error: { code: 'PR_CHANGE_REPORT_MISSING', message: 'summary-sync requires --change-report-file', retryable: false } }));
-    const loaded = await resolvePlatformProviderContext({ cwd: resolved.repoRoot, client: options.client });
-    const context = loaded.ok ? loaded.value.context : loaded.context;
-    if (!loaded.ok || !context.platform.repository || !['no-op', 'degraded'].includes(context.status)) {
-        // Preserve the known PR target for diagnostics when provider context resolution fails.
-        knownPrNumber = boundPrNumberForWarning(resolved.taskMdPath);
-        return preserveFailure(context);
+        : softenFailure(output, fallbackNumber);
+    const prepared = await prepareSummarySync(taskRef, options);
+    if (!prepared.ok)
+        return preserveFailure(prepared.error, prepared.knownPrNumber);
+    const { resolved, fact, loaded, context } = prepared;
+    knownPrNumber = prepared.knownPrNumber;
+    if (fact.status === 'valid' && fact.fact.state === 'bound') {
+        return syncBoundPullRequestSummary(resolved, options, context, loaded, fact.fact.identity.resource, preserveFailure);
     }
+    return preserveFailure(platformResult(options.dryRun ? 'blocked' : 'failed', { error: {
+            code: 'PR_NOT_LINKED', message: 'Task has no verified bound pull request', retryable: false
+        } }));
+}
+async function replayPullRequestSummary(taskId, operation, options) {
+    const intent = operation.pullRequestSummary;
+    if (!intent)
+        return platformResult('blocked', { error: { code: 'PLATFORM_OPERATION_PAYLOAD_INVALID', message: 'Queued pull-request summary content is missing', retryable: false } });
+    let target;
     try {
-        const execute = async () => {
-            const { taskContent, boundFact, factError } = readBoundTaskSnapshot(resolved.taskMdPath);
-            if (factError)
-                return {
-                    ...platformResult('failed', { resource: { kind: 'pull-request', number: null }, error: { code: factError.code, message: factError.message, retryable: false } }),
-                    result: null, warnings: []
-                };
-            if (!boundFact)
-                return {
-                    ...platformResult('failed', { resource: { kind: 'pull-request', number: null }, error: { code: 'PR_NOT_LINKED', message: 'Task has no verified bound pull request', retryable: false } }),
-                    result: null, warnings: []
-                };
-            const prIdentity = boundFact.identity.resource;
-            const boundPrNumber = resourceIdentityNumber(prIdentity);
-            knownPrNumber = boundPrNumber;
-            let prNumber = boundPrNumber;
-            const initial = await inspectBoundPullRequest(context, resolved.repoRoot, prIdentity, loaded.value);
-            if (!initial.ok)
-                return fail(initial.status, context, initial.error);
-            const manual = options.manualValidation;
-            let manualEvidenceDigest = null;
-            const hasFinalManualValidation = /###\s+✅\s+(?:Manual Validation Passed|人工验证已通过)/u.test(options.body);
-            if (hasFinalManualValidation && (!manual || manual.phase !== 'final'))
-                return fail('failed', context, { code: 'MANUAL_VALIDATION_TRANSACTION_REQUIRED', message: 'final manual-validation summary requires the transaction coordinator', retryable: false }, prNumber);
-            if (manual && (manual.phase === 'pending' ? hasFinalManualValidation : !hasFinalManualValidation))
-                return fail('failed', context, { code: 'MANUAL_VALIDATION_SUMMARY_PHASE_INVALID', message: 'manual-validation summary phase does not match the requested writer phase', retryable: false }, prNumber);
-            if (manual) {
-                if (!Number.isSafeInteger(initial.value.number) || initial.value.number <= 0)
-                    return fail('failed', context, { code: 'MANUAL_VALIDATION_PR_NUMBER_REQUIRED', message: 'manual-validation summary requires a positive safe pull-request number from the authoritative snapshot', retryable: false }, prNumber);
-                prNumber = initial.value.number;
-                knownPrNumber = prNumber;
-                if (!manual.transactionId)
-                    return fail('failed', context, { code: 'MANUAL_VALIDATION_TRANSACTION_REQUIRED', message: 'manual-validation summary requires a transaction ID', retryable: false }, prNumber);
-                if (manual.phase === 'pending') {
-                    const transaction = readManualValidationTransaction(resolved.taskDir, {
-                        transactionId: manual.transactionId,
-                        taskId: resolved.taskId,
-                        prNumber,
-                        prHeadSha: initial.value.head.sha
-                    });
-                    if (!transaction.ok)
-                        return fail('failed', context, platformError(transaction.error), prNumber);
-                }
-                if (manual.phase === 'final' && (!manual.receiptDigest || !manual.prHeadSha || manual.prHeadSha !== initial.value.head.sha))
-                    return fail('failed', context, { code: 'MANUAL_VALIDATION_TRANSACTION_REQUIRED', message: 'final manual-validation summary requires transaction, receipt, and current head identity', retryable: false }, prNumber);
-                if (manual.phase === 'final') {
-                    if (manual.authority !== 'coordinator')
-                        return fail('failed', context, { code: 'MANUAL_VALIDATION_TRANSACTION_REQUIRED', message: 'final manual-validation summary requires coordinator authority', retryable: false }, prNumber);
-                    const completion = readManualValidationCompletion(resolved.taskDir, {
-                        transactionId: manual.transactionId,
-                        taskId: resolved.taskId,
-                        prNumber,
-                        prHeadSha: initial.value.head.sha,
-                        receiptDigest: manual.receiptDigest
-                    });
-                    if (!completion.ok)
-                        return fail('failed', context, platformError(completion.error), prNumber);
-                    const { receipt, transaction } = completion.value;
-                    manualEvidenceDigest = receipt.evidenceDigest;
-                    if (transaction.phase !== 'final-promotion-in-progress' || !transaction.eventAppended)
-                        return fail('failed', context, { code: 'MANUAL_VALIDATION_TRANSACTION_PHASE_INVALID', message: 'final summary requires a receipt-backed promotion intent', retryable: false }, prNumber);
-                    if (!manualValidationFinalSummaryProjectionMatches(options.body, receipt))
-                        return fail('failed', context, { code: 'MANUAL_VALIDATION_SUMMARY_PROJECTION_INVALID', message: 'final summary body does not match the canonical receipt projection', retryable: false }, prNumber);
-                }
-            }
-            const expectedReportPath = taskReportPath(resolved.taskDir);
-            const suppliedReportPath = path.resolve(resolved.repoRoot, options.changeReportFile);
-            if (suppliedReportPath !== expectedReportPath)
-                return fail('failed', context, { code: 'PR_CHANGE_REPORT_PATH_INVALID', message: 'summary-sync must consume the task-bound pr-change-report.json', retryable: false });
-            const report = readPrChangeReport(suppliedReportPath);
-            if (!report.ok)
-                return fail('failed', context, platformError(report.error));
-            const checked = currentReportCheck(report.value, initial.value, taskContent, resolved.repoRoot);
-            if (!checked.ok)
-                return fail('failed', context, checked.error);
-            const placeholder = CANONICAL_REPORT_PLACEHOLDER;
-            const split = splitDocumentPlaceholder(options.body, placeholder);
-            if (!split.ok)
-                return fail('failed', context, {
-                    code: 'PR_SUMMARY_BODY_CONTRACT_INVALID',
-                    message: split.error.message,
-                    retryable: false
-                });
-            const prefix = sanitizeMarkdownDocument(split.value.prefix, { reservedMarkers: [CONTROL_MARKER_PATTERN] });
-            const suffix = sanitizeMarkdownDocument(split.value.suffix, { reservedMarkers: [CONTROL_MARKER_PATTERN] });
-            if (!prefix.ok) {
-                return fail('failed', context, {
-                    code: 'PR_SUMMARY_BODY_CONTRACT_INVALID',
-                    message: `${prefix.error.message} at offset ${prefix.error.offset}`,
-                    retryable: false
-                });
-            }
-            if (!suffix.ok) {
-                return fail('failed', context, {
-                    code: 'PR_SUMMARY_BODY_CONTRACT_INVALID',
-                    message: `${suffix.error.message} at offset ${suffix.error.offset}`,
-                    retryable: false
-                });
-            }
-            const replaced = replaceCanonicalReportPlaceholder(`${prefix.value}${placeholder}${suffix.value}`, report.value);
-            if (!replaced.ok)
-                return fail('failed', context, platformError(replaced.error));
-            const renderedBody = manual?.phase === 'final'
-                ? replaced.value.replace(MANUAL_VALIDATION_RECEIPT_PLACEHOLDER, `<!-- manual-validation-receipt: transaction=${manual.transactionId}; receipt=${manual.receiptDigest}; evidence=${manualEvidenceDigest}; head=${manual.prHeadSha} -->`)
-                : replaced.value;
-            const desired = buildPullRequestSummary(resolved.taskId, renderedBody, initial.value.head.sha);
-            if (!isSafeSummaryEnvelope(desired, resolved.taskId))
-                return fail('failed', context, {
-                    code: 'PR_SUMMARY_RENDER_INVALID',
-                    message: 'Summary contains an invalid or duplicated reserved control marker',
-                    retryable: false
-                });
-            const listed = loaded.value.provider.comments?.list
-                ? await loaded.value.provider.comments.list({ context: providerOperationContext(loaded.value), parent: prIdentity }).then((response) => response.ok
-                    ? { ok: true, value: response.value.map((comment) => ({ id: /^\d+$/.test(comment.id) ? Number(comment.id) : comment.id, body: comment.body })) }
-                    : response)
-                : unsupportedProviderOperation(loaded.value.provider, 'comments.list');
-            if (!listed.ok)
-                return fail(providerStatus(listed.error) === 'blocked' ? 'blocked' : 'failed', context, providerError(listed.error, 'PLATFORM_PROVIDER_OPERATION_FAILED'));
-            const reconciliation = reconcileSummaryComment(listed.value, resolved.taskId, desired);
-            if (reconciliation.action === 'conflict')
-                return fail('failed', context, { code: 'PR_SUMMARY_MARKER_AMBIGUOUS', message: 'Multiple PR comments contain the summary marker', retryable: false });
-            const previousBody = reconciliation.action === 'update'
-                ? listed.value.find((comment) => comment.id === reconciliation.commentId)?.body ?? null
-                : null;
-            const info = { precheckVerdict: report.value.precheck.verdict, nextAction: report.value.precheck.route };
-            const beforeWrite = await inspectBoundPullRequest(context, resolved.repoRoot, prIdentity, loaded.value);
-            if (!beforeWrite.ok)
-                return fail(beforeWrite.status, context, beforeWrite.error, prNumber);
-            if (!sameIdentity(initial.value, beforeWrite.value))
-                return fail('blocked', context, {
-                    code: 'PR_SUMMARY_HEAD_RACE',
-                    message: 'Pull request head changed before publishing the summary',
-                    retryable: true
-                }, prNumber);
-            if (reconciliation.action === 'no-op')
-                return {
-                    ...basePlatformResult('no-op', context, resolved.taskId, prNumber),
-                    comment: { kind: 'summary', marker: summaryMarker(resolved.taskId), ids: [reconciliation.commentId], parts: 1 },
-                    result: null, warnings: [], ...info
-                };
-            if (options.dryRun)
-                return {
-                    ...basePlatformResult('planned', context, resolved.taskId, prNumber),
-                    operations: [{ name: `summary:${reconciliation.action}`, status: 'planned', reasonCode: null }],
-                    result: null, warnings: [], ...info
-                };
-            const publish = async () => {
-                const existingComment = reconciliation.commentId === null
-                    ? undefined
-                    : providerResourceToken(loaded.value.provider, 'comment', String(reconciliation.commentId));
-                const written = loaded.value.provider.comments?.write
-                    ? await loaded.value.provider.comments.write({
-                        context: providerOperationContext(loaded.value),
-                        parent: prIdentity,
-                        body: desired,
-                        ...(existingComment ? { existingComment } : {}),
-                        mutation: { idempotencyKey: `pr-summary:${resolved.taskId}` }
-                    })
-                    : unsupportedProviderOperation(loaded.value.provider, 'comments.write');
-                if (!written.ok)
-                    return fail(providerStatus(written.error) === 'blocked' ? 'blocked' : 'failed', context, providerError(written.error, 'PLATFORM_PROVIDER_OPERATION_FAILED'), prNumber);
-                const after = await inspectBoundPullRequest(context, resolved.repoRoot, prIdentity, loaded.value);
-                const id = /^\d+$/.test(written.value.remoteId) ? Number(written.value.remoteId) : written.value.remoteId;
-                const compensateWrittenSummary = async () => reconciliation.action === 'create'
-                    ? written.value.remoteId && loaded.value.provider.comments?.delete
-                        ? await loaded.value.provider.comments.delete({
-                            context: providerOperationContext(loaded.value),
-                            parent: prIdentity,
-                            comment: providerResourceToken(loaded.value.provider, 'comment', written.value.remoteId),
-                            mutation: { idempotencyKey: `pr-summary-delete:${resolved.taskId}:${written.value.remoteId}` }
-                        })
-                        : { ok: false, error: { code: 'PR_SUMMARY_RACE_COMPENSATION_FAILED', message: 'Created summary comment has no valid id', retryable: true } }
-                    : reconciliation.commentId && previousBody !== null && loaded.value.provider.comments?.write
-                        ? await loaded.value.provider.comments.write({
-                            context: providerOperationContext(loaded.value),
-                            parent: prIdentity,
-                            body: previousBody,
-                            existingComment: providerResourceToken(loaded.value.provider, 'comment', String(reconciliation.commentId)),
-                            mutation: { idempotencyKey: `pr-summary-restore:${resolved.taskId}` }
-                        })
-                        : { ok: false, error: { code: 'PR_SUMMARY_RACE_COMPENSATION_FAILED', message: 'Previous summary body is unavailable for restoration', retryable: true } };
-                if (!after.ok) {
-                    const compensated = await compensateWrittenSummary();
-                    if (!compensated.ok)
-                        return fail('blocked', context, {
-                            code: 'PR_SUMMARY_RACE_COMPENSATION_FAILED',
-                            message: `Summary post-write verification failed and compensation failed: ${compensated.error.message}`,
-                            retryable: true
-                        }, prNumber);
-                    return fail('blocked', context, {
-                        code: 'PR_SUMMARY_POSTWRITE_VERIFY_FAILED',
-                        message: `Summary was written but pull-request verification failed: ${after.error?.message || 'unknown verification error'}; the previous summary was restored or the new comment was deleted`,
-                        retryable: true
-                    }, prNumber);
-                }
-                if (!sameIdentity(initial.value, after.value)) {
-                    const compensated = await compensateWrittenSummary();
-                    if (!compensated.ok)
-                        return fail('blocked', context, {
-                            code: 'PR_SUMMARY_RACE_COMPENSATION_FAILED',
-                            message: `Pull-request head changed and summary compensation failed: ${compensated.error.message}`,
-                            retryable: true
-                        }, prNumber);
-                    return fail('blocked', context, {
-                        code: 'PR_SUMMARY_HEAD_RACE',
-                        message: 'Pull-request head changed while publishing; the previous summary was restored or the new comment was deleted; rerun report and summary sync',
-                        retryable: true
-                    }, prNumber);
-                }
-                return {
-                    ...basePlatformResult('applied', context, resolved.taskId, prNumber),
-                    comment: { kind: 'summary', marker: summaryMarker(resolved.taskId), ids: Number.isInteger(id) ? [id] : [], parts: 1 },
-                    operations: [{ name: `summary:${reconciliation.action}`, status: 'applied', reasonCode: null }],
-                    result: null, warnings: [], ...info
-                };
-            };
-            const operation = {
-                taskRef: resolved.taskId,
-                cwd: resolved.repoRoot,
-                kind: 'pull-request-summary',
-                target: JSON.stringify(prIdentity),
-                expectedDigest: createHash('sha256').update(desired).digest('hex'),
-                dependency: 'deferred',
-                pullRequestSummary: {
-                    body: options.body,
-                    changeReportFile: options.changeReportFile,
-                    ...(manual?.transactionId ? { manualValidation: { ...manual, transactionId: manual.transactionId } } : {})
-                }
-            };
-            if (options.skipQueue)
-                return publish();
-            return coordinatePlatformWrite({
-                operation,
-                agent: options.agent,
-                execute: publish,
-                block: (error) => fail('blocked', context, error, prNumber),
-                persistenceFailure: (error) => fail('failed', context, error, prNumber)
-            });
-        };
-        return await execute();
+        target = parseResourceIdentity(JSON.parse(operation.target), 'queued pull-request summary identity');
     }
-    catch (error) {
-        return fail('failed', context, { code: 'PR_SUMMARY_FAILED', message: error instanceof Error ? error.message : String(error), retryable: false });
+    catch {
+        return platformResult('failed', { error: { code: 'PLATFORM_OPERATION_PAYLOAD_INVALID', message: 'Queued pull-request summary identity is invalid', retryable: false } });
+    }
+    const bound = await inspectPlatformPullRequest(taskId, { cwd: options.cwd, client: options.client });
+    if (!bound.pullRequest || !resourceIdentityEquals(bound.pullRequest.identity, target))
+        return platformResult('blocked', {
+            resource: bound.pullRequest ? { kind: 'pull-request', number: bound.pullRequest.number, identity: bound.pullRequest.identity } : undefined,
+            error: bound.error ?? { code: 'PLATFORM_OPERATION_IDENTITY_MISMATCH', message: 'Bound pull request differs from the queued summary target', retryable: false }
+        });
+    const replayed = await syncPullRequestSummary(taskId, {
+        agent: options.agent, cwd: options.cwd, client: options.client, body: intent.body,
+        changeReportFile: intent.changeReportFile, ...(intent.manualValidation ? { manualValidation: intent.manualValidation } : {}),
+        primaryResult: 'no_op', strict: true, queuedOperation: operation
+    });
+    return (replayed.status === 'applied' || replayed.status === 'no-op') && !replayed.error && replayed.warnings.length === 0
+        ? replayed
+        : platformResult('blocked', { resource: replayed.resource, error: replayed.error ?? {
+                code: 'PR_SUMMARY_RECOVERY_UNCONFIRMED', message: 'Pull-request summary preparation or recovery did not confirm the frozen operation', retryable: true
+            } });
+}
+function correctPrSummaryContent(value, taskContent) {
+    if (!value || typeof value !== 'object' || Array.isArray(value))
+        return parsePrSummaryContent(value);
+    const input = { ...value };
+    const ledger = parseLedgerDocument(taskContent);
+    if (ledger.present) {
+        const decisions = ledger.rows.filter((row) => row.id.startsWith('HD-'));
+        const open = decisions.filter((row) => row.status === 'needs-human-decision').length;
+        const resolved = decisions.filter((row) => row.status === 'human-decided').length;
+        const current = input.humanDecisions && typeof input.humanDecisions === 'object' && !Array.isArray(input.humanDecisions)
+            ? { ...input.humanDecisions }
+            : {};
+        if (!Number.isSafeInteger(current.open) || Number(current.open) < 0)
+            current.open = open;
+        if (!Number.isSafeInteger(current.resolved) || Number(current.resolved) < 0)
+            current.resolved = resolved;
+        if (typeof current.detail !== 'string' || !current.detail.trim())
+            current.detail = `Task decision ledger: ${open} open, ${resolved} resolved.`;
+        input.humanDecisions = current;
     }
+    return input;
+}
+export function prepareAndRenderPrSummaryContent(value, taskContent) {
+    return runSummaryContentPipeline(value, {
+        validate: parsePrSummaryContent,
+        correct: (input) => correctPrSummaryContent(input, taskContent),
+        render: renderPrSummaryContent
+    });
 }
-export { buildPullRequestSummary, reconcileSummaryComment, reportWrite, summaryCommentState, summaryContext, summaryMarker, syncPullRequestSummary, warningResultForPrimary };
+export { buildPullRequestSummary, reportWrite, summaryCommentState, summaryContext, summaryMarker, syncPullRequestSummary, replayPullRequestSummary, warningResultForPrimary };
 //# sourceMappingURL=pr-summary.js.map