@fitlab-ai/agent-infra 0.11.15 → 0.12.1

package/dist/lib/platform/issue-summary-content.js

@@ -0,0 +1,112 @@
+import { runSummaryContentPipeline } from './summary-content-pipeline.js';
+function text(value, name) {
+    if (typeof value !== 'string' || !value.trim())
+        throw new Error(`${name} must be a non-empty string`);
+    return value.trim();
+}
+function isMissingText(value) {
+    return typeof value !== 'string' || !value.trim();
+}
+function fillText(input, key, fallback) {
+    if (isMissingText(input[key]))
+        input[key] = fallback;
+}
+function fillDeliveryVerification(input, fallback) {
+    if (!input.verification || typeof input.verification !== 'object' || Array.isArray(input.verification)) {
+        input.verification = fallback;
+        return;
+    }
+    const verification = { ...input.verification };
+    fillText(verification, 'state', fallback.state);
+    fillText(verification, 'detail', fallback.detail);
+    input.verification = verification;
+}
+function isStringArray(value) {
+    return Array.isArray(value) && value.every((item) => typeof item === 'string' && item.trim());
+}
+export function parseDeliverySummaryContent(value) {
+    if (!value || typeof value !== 'object' || Array.isArray(value))
+        throw new Error('delivery summary must be an object');
+    const input = value;
+    if (!Array.isArray(input.artifacts) || input.artifacts.some((item) => typeof item !== 'string'))
+        throw new Error('artifacts must be a string array');
+    if (!input.verification || typeof input.verification !== 'object' || Array.isArray(input.verification))
+        throw new Error('verification must be an object');
+    const verification = input.verification;
+    return {
+        taskId: text(input.taskId, 'taskId'), title: text(input.title, 'title'), summary: text(input.summary, 'summary'),
+        artifacts: input.artifacts.map((item) => text(item, 'artifacts[]')),
+        verification: { state: text(verification.state, 'verification.state'), detail: text(verification.detail, 'verification.detail') }
+    };
+}
+function correctDeliverySummaryContent(value, sources) {
+    if (!value || typeof value !== 'object' || Array.isArray(value))
+        throw new Error('delivery summary must be an object');
+    const input = { ...value };
+    fillText(input, 'taskId', sources.taskId);
+    if (input.taskId !== sources.taskId)
+        throw new Error('taskId does not match the active task');
+    fillText(input, 'title', sources.title);
+    if (!isStringArray(input.artifacts))
+        input.artifacts = [...sources.artifacts];
+    if (sources.verificationFallback)
+        fillDeliveryVerification(input, sources.verificationFallback);
+    return input;
+}
+export function prepareAndRenderDeliverySummaryContent(value, sources) {
+    return runSummaryContentPipeline(value, {
+        validate: parseDeliverySummaryContent,
+        correct: (input) => correctDeliverySummaryContent(input, sources),
+        render: renderDeliverySummaryContent
+    });
+}
+export function renderDeliverySummaryContent(value) {
+    const content = parseDeliverySummaryContent(value);
+    return [
+        `# ${content.title}`, '', content.summary, '', '## 交付产物', '',
+        ...(content.artifacts.length ? content.artifacts.map((item) => `- ${item}`) : ['- 无']), '',
+        '## 验证', '', `状态：${content.verification.state}`, '', content.verification.detail, ''
+    ].join('\n');
+}
+export function parseCancelSummaryContent(value) {
+    if (!value || typeof value !== 'object' || Array.isArray(value))
+        throw new Error('cancel summary must be an object');
+    const input = value;
+    if (input.outcome !== 'cancelled')
+        throw new Error('outcome must be cancelled');
+    if (input.lastCompletedArtifact !== null && typeof input.lastCompletedArtifact !== 'string')
+        throw new Error('lastCompletedArtifact must be a string or null');
+    return {
+        taskId: text(input.taskId, 'taskId'), title: text(input.title, 'title'), outcome: 'cancelled',
+        reason: text(input.reason, 'reason'), cancelledAt: text(input.cancelledAt, 'cancelledAt'),
+        lastCompletedArtifact: input.lastCompletedArtifact === null ? null : text(input.lastCompletedArtifact, 'lastCompletedArtifact')
+    };
+}
+function correctCancelSummaryContent(value, sources) {
+    if (!value || typeof value !== 'object' || Array.isArray(value))
+        throw new Error('cancel summary must be an object');
+    const input = { ...value };
+    fillText(input, 'taskId', sources.taskId);
+    if (input.taskId !== sources.taskId)
+        throw new Error('taskId does not match the task');
+    fillText(input, 'title', sources.title);
+    fillText(input, 'reason', sources.reason);
+    fillText(input, 'cancelledAt', sources.cancelledAt);
+    if (input.lastCompletedArtifact === undefined
+        || (input.lastCompletedArtifact !== null && (typeof input.lastCompletedArtifact !== 'string' || !input.lastCompletedArtifact.trim()))) {
+        input.lastCompletedArtifact = sources.lastCompletedArtifact;
+    }
+    return input;
+}
+export function prepareAndRenderCancelSummaryContent(value, sources) {
+    return runSummaryContentPipeline(value, {
+        validate: parseCancelSummaryContent,
+        correct: (input) => correctCancelSummaryContent(input, sources),
+        render: renderCancelSummaryContent
+    });
+}
+export function renderCancelSummaryContent(value) {
+    const content = parseCancelSummaryContent(value);
+    return [`# ${content.title}`, '', `结果：${content.outcome}`, '', `取消时间：${content.cancelledAt}`, '', `原因：${content.reason}`, '', `最近完成产物：${content.lastCompletedArtifact ?? '无'}`, ''].join('\n');
+}
+//# sourceMappingURL=issue-summary-content.js.map

package/dist/lib/platform/pr-change-report.js

@@ -5,7 +5,7 @@ import { execFileSync } from 'node:child_process';
 import { escapeHtmlText } from './comment-safety.js';
 import { isResourceIdentity } from './resource-identity.js';
 const REPORT_FILE_NAME = 'pr-change-report.json';
-const REPORT_VERSION = 2;
+const REPORT_VERSION = 3;
 const CANONICAL_REPORT_PLACEHOLDER = '<!-- canonical-pr-change-report -->';
 const CANONICAL_REPORT_HEADING = '### PR 代码增减';
 const PRECHECK_IDS = [
@@ -131,32 +131,158 @@ function parseEvidence(value, checkId, index) {
         return invalid(`precheck.checks.${checkId}.evidence[${index}] line range is invalid`);
     return { ok: true, value: { path: value.path, startLine, endLine, detail: value.detail } };
 }
-function parseChecks(value, prefix = 'precheck.checks') {
+function parseFunctionalGroupFiles(value, prefix) {
+    if (!Array.isArray(value) || value.length === 0)
+        return invalid(`${prefix} must be a non-empty array`);
+    const files = [];
+    for (let index = 0; index < value.length; index += 1) {
+        const file = value[index];
+        if (!isSafeRenderedText(file))
+            return invalid(`${prefix}[${index}] must be a non-empty string`);
+        files.push(file.trim());
+    }
+    return { ok: true, value: files };
+}
+function parseFunctionalGroupTests(value, prefix) {
+    if (!isRecord(value))
+        return invalid(`${prefix} must be an object`);
+    if (!isSafeRenderedText(value.coverage))
+        return invalid(`${prefix}.coverage is required`);
+    if (!isSafeRenderedText(value.cost))
+        return invalid(`${prefix}.cost is required`);
+    return { ok: true, value: { coverage: value.coverage.trim(), cost: value.cost.trim() } };
+}
+function parseFunctionalGroup(value, prefix, ids) {
+    if (!isRecord(value))
+        return invalid(`${prefix} must be an object`);
+    if (Object.hasOwn(value, 'additions') || Object.hasOwn(value, 'deletions') || Object.hasOwn(value, 'net') || Object.hasOwn(value, 'counts')) {
+        return invalid(`${prefix} line counts are derived from diff files and must not be supplied`);
+    }
+    if (!isSafeRenderedText(value.id) || ids.has(value.id.trim()))
+        return invalid(`${prefix}.id must be non-empty and unique`);
+    if (!isSafeRenderedText(value.target))
+        return invalid(`${prefix}.target is required`);
+    if (!isSafeRenderedText(value.behaviorChange))
+        return invalid(`${prefix}.behaviorChange is required`);
+    if (!isSafeRenderedText(value.necessity))
+        return invalid(`${prefix}.necessity is required`);
+    const files = parseFunctionalGroupFiles(value.files, `${prefix}.files`);
+    if (!files.ok)
+        return files;
+    const tests = parseFunctionalGroupTests(value.tests, `${prefix}.tests`);
+    if (!tests.ok)
+        return tests;
+    const id = value.id.trim();
+    ids.add(id);
+    return {
+        ok: true,
+        value: {
+            id, target: value.target.trim(), behaviorChange: value.behaviorChange.trim(),
+            necessity: value.necessity.trim(), files: files.value, tests: tests.value
+        }
+    };
+}
+function parseFunctionalGroups(value, prefix) {
+    if (!Array.isArray(value) || value.length === 0)
+        return invalid(`${prefix} must be a non-empty array`);
+    const groups = [];
+    const ids = new Set();
+    for (let index = 0; index < value.length; index += 1) {
+        const group = parseFunctionalGroup(value[index], `${prefix}[${index}]`, ids);
+        if (!group.ok)
+            return group;
+        groups.push(group.value);
+    }
+    return { ok: true, value: groups };
+}
+function indexDiffFiles(files) {
+    const fileByPath = new Map();
+    for (const file of files) {
+        const key = file.oldPath ?? file.newPath;
+        if (!key || fileByPath.has(key))
+            return invalid(`diff file path '${key ?? ''}' is missing or duplicated`);
+        fileByPath.set(key, file);
+    }
+    return { ok: true, value: fileByPath };
+}
+function collectGroupMembership(groups, fileByPath) {
+    const assigned = new Set();
+    for (const group of groups) {
+        for (const member of group.files) {
+            const file = fileByPath.get(member);
+            if (!file)
+                return invalid(`change-composition group '${group.id}' references unknown diff file '${member}'`);
+            if (assigned.has(member))
+                return invalid(`diff file '${member}' belongs to more than one functional group`);
+            assigned.add(member);
+        }
+    }
+    return { ok: true, value: assigned };
+}
+function validateGroupMembership(checks, files) {
+    const composition = checks.find((check) => check.id === 'change-composition');
+    if (!composition?.groups)
+        return invalid('precheck.checks.change-composition.groups is required');
+    const indexed = indexDiffFiles(files);
+    if (!indexed.ok)
+        return indexed;
+    const assigned = collectGroupMembership(composition.groups, indexed.value);
+    if (!assigned.ok)
+        return assigned;
+    const missing = [...indexed.value.keys()].find((key) => !assigned.value.has(key));
+    if (missing)
+        return invalid(`diff file '${missing}' has no functional group`);
+    return { ok: true, value: checks };
+}
+function parseEvidenceList(value, checkId, prefix) {
+    if (!Array.isArray(value) || value.length === 0)
+        return invalid(`${prefix}.${checkId}.evidence must not be empty`);
+    const evidence = [];
+    for (let index = 0; index < value.length; index += 1) {
+        const parsed = parseEvidence(value[index], checkId, index);
+        if (!parsed.ok)
+            return parsed;
+        evidence.push(parsed.value);
+    }
+    return { ok: true, value: evidence };
+}
+function parseCheck(value, index, prefix) {
+    const expectedId = PRECHECK_IDS[index];
+    const entryPrefix = `${prefix}[${index}]`;
+    const at = `${prefix}.${expectedId}`;
+    if (!isRecord(value))
+        return invalid(`${entryPrefix} must be an object`);
+    if (value.id !== expectedId)
+        return invalid(`${entryPrefix}.id must be '${expectedId}'`);
+    if (value.verdict !== 'pass' && value.verdict !== 'needs-review')
+        return invalid(`${at}.verdict is invalid`);
+    const evidence = parseEvidenceList(value.evidence, expectedId, prefix);
+    if (!evidence.ok)
+        return evidence;
+    if (!isSafeRenderedText(value.rationale))
+        return invalid(`${at}.rationale is required`);
+    if (expectedId !== 'change-composition') {
+        if (Object.hasOwn(value, 'groups'))
+            return invalid(`${at}.groups is not allowed`);
+        return { ok: true, value: { id: expectedId, verdict: value.verdict, evidence: evidence.value, rationale: value.rationale } };
+    }
+    const groups = parseFunctionalGroups(value.groups, `${at}.groups`);
+    if (!groups.ok)
+        return groups;
+    return { ok: true, value: { id: expectedId, verdict: value.verdict, evidence: evidence.value, rationale: value.rationale, groups: groups.value } };
+}
+function parseChecks(value, prefix = 'precheck.checks', diffFiles) {
     if (!Array.isArray(value) || value.length !== PRECHECK_IDS.length)
         return invalid(`${prefix} must contain exactly six checks`);
     const checks = [];
     for (let index = 0; index < value.length; index += 1) {
-        const raw = value[index];
-        if (!isRecord(raw))
-            return invalid(`${prefix}[${index}] must be an object`);
-        const expectedId = PRECHECK_IDS[index];
-        if (raw.id !== expectedId)
-            return invalid(`${prefix}[${index}].id must be '${expectedId}'`);
-        if (raw.verdict !== 'pass' && raw.verdict !== 'needs-review')
-            return invalid(`${prefix}.${expectedId}.verdict is invalid`);
-        if (!Array.isArray(raw.evidence) || raw.evidence.length === 0)
-            return invalid(`${prefix}.${expectedId}.evidence must not be empty`);
-        const evidence = [];
-        for (let evidenceIndex = 0; evidenceIndex < raw.evidence.length; evidenceIndex += 1) {
-            const parsed = parseEvidence(raw.evidence[evidenceIndex], expectedId, evidenceIndex);
-            if (!parsed.ok)
-                return parsed;
-            evidence.push(parsed.value);
-        }
-        if (!isSafeRenderedText(raw.rationale))
-            return invalid(`${prefix}.${expectedId}.rationale is required`);
-        checks.push({ id: expectedId, verdict: raw.verdict, evidence, rationale: raw.rationale });
+        const parsed = parseCheck(value[index], index, prefix);
+        if (!parsed.ok)
+            return parsed;
+        checks.push(parsed.value);
     }
+    if (diffFiles)
+        return validateGroupMembership(checks, diffFiles);
     return { ok: true, value: checks };
 }
 function validateMechanicalReport(value) {
@@ -247,7 +373,7 @@ function validatePrChangeReport(value) {
     if (value.precheck.formalReview !== false || (value.precheck.verdict !== 'clear' && value.precheck.verdict !== 'needs-review') ||
         (value.precheck.route !== 'watch-pr' && value.precheck.route !== 'review-code'))
         return invalid('change report precheck envelope is invalid');
-    const checks = parseChecks(value.precheck.checks);
+    const checks = parseChecks(value.precheck.checks, 'precheck.checks', files);
     if (!checks.ok)
         return checks;
     const derivedVerdict = checks.value.every((check) => check.verdict === 'pass') ? 'clear' : 'needs-review';
@@ -496,10 +622,33 @@ function renderEvidence(evidence) {
             : `:${evidence.startLine ?? evidence.endLine}`;
     return `  - 证据：<code>${escapeReportText(evidence.path)}</code>${location}：${escapeReportText(evidence.detail)}`;
 }
-function renderPrechecks(checks) {
+function renderFunctionalGroups(groups, files) {
+    const filesByPath = new Map(files.map((file) => [file.oldPath ?? file.newPath, file]));
+    return groups.flatMap((group) => {
+        const members = group.files.map((member) => filesByPath.get(member));
+        const additions = members.reduce((total, file) => total + (file.additions ?? 0), 0);
+        const deletions = members.reduce((total, file) => total + (file.deletions ?? 0), 0);
+        const unknownFiles = members.filter((file) => file.additions === null).length;
+        return [
+            `  - **功能组 ${escapeReportText(group.id)}**：${escapeReportText(group.target)}`,
+            `    - 行为变化：${escapeReportText(group.behaviorChange)}`,
+            `    - 必要性：${escapeReportText(group.necessity)}`,
+            `    - 文件：${group.files.map((member) => {
+                const file = filesByPath.get(member);
+                return file.oldPath && file.newPath && file.oldPath !== file.newPath
+                    ? `<code>${escapeReportText(file.oldPath)}</code> → <code>${escapeReportText(file.newPath)}</code>`
+                    : `<code>${escapeReportText(member)}</code>`;
+            }).join('、')}`,
+            `    - 可计数行数（由正式 diff 逐文件推导）：新增 ${additions}、删除 ${deletions}、净增 ${additions - deletions}${unknownFiles ? `；另有 ${unknownFiles} 个文件行数不可计` : ''}。`,
+            `    - 测试覆盖：${escapeReportText(group.tests.coverage)}；成本：${escapeReportText(group.tests.cost)}`
+        ];
+    });
+}
+function renderPrechecks(checks, files) {
     return checks.flatMap((check) => [
         `- **${PRECHECK_LABELS[check.id]}（${check.id}）**：${check.verdict === 'pass' ? '通过' : '需复核'}。${escapeReportText(check.rationale)}`,
-        ...check.evidence.map(renderEvidence)
+        ...check.evidence.map(renderEvidence),
+        ...(check.groups ? renderFunctionalGroups(check.groups, files) : [])
     ]);
 }
 function renderCanonicalChangeReport(report) {
@@ -532,7 +681,7 @@ function renderCanonicalChangeReport(report) {
         '',
         '#### 适宜性预检',
         `- 结论：${precheckSummary}；${route}；正式审查：否。`,
-        ...renderPrechecks(report.precheck.checks)
+        ...renderPrechecks(report.precheck.checks, report.diff.files)
     ].join('\n');
 }
 function replaceCanonicalReportPlaceholder(body, report) {

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

@@ -0,0 +1,54 @@
+import { CANONICAL_REPORT_PLACEHOLDER } from './pr-change-report.js';
+import { MANUAL_VALIDATION_RECEIPT_PLACEHOLDER } from '../task/manual-validation-receipt.js';
+function nonEmpty(value, field) {
+    if (typeof value !== 'string' || !value.trim())
+        throw new Error(`${field} must be a non-empty string`);
+    return value.trim();
+}
+export function parsePrSummaryContent(value) {
+    if (!value || typeof value !== 'object' || Array.isArray(value))
+        throw new Error('PR summary must be an object');
+    const input = value;
+    const pair = (key) => {
+        const item = input[key];
+        if (!item || typeof item !== 'object' || Array.isArray(item))
+            throw new Error(`${key} must be an object`);
+        const fields = item;
+        return { state: nonEmpty(fields.state, `${key}.state`), detail: nonEmpty(fields.detail, `${key}.detail`) };
+    };
+    const decisions = input.humanDecisions;
+    if (!decisions || typeof decisions !== 'object' || Array.isArray(decisions))
+        throw new Error('humanDecisions must be an object');
+    const counts = decisions;
+    for (const key of ['open', 'resolved']) {
+        if (!Number.isSafeInteger(counts[key]) || Number(counts[key]) < 0)
+            throw new Error(`humanDecisions.${key} must be a non-negative integer`);
+    }
+    return {
+        overview: nonEmpty(input.overview, 'overview'),
+        tests: pair('tests'), review: pair('review'), manualValidation: pair('manualValidation'),
+        humanDecisions: { open: counts.open, resolved: counts.resolved, detail: nonEmpty(counts.detail, 'humanDecisions.detail') },
+        risks: nonEmpty(input.risks, 'risks')
+    };
+}
+export function renderPrSummaryContent(value) {
+    const content = parsePrSummaryContent(value);
+    const manualValidationHeading = content.manualValidation.state === 'required' ? '⚠️ 需人工校验'
+        : content.manualValidation.state === 'pending' ? '⏳ 人工验证待收尾'
+            : content.manualValidation.state === 'passed' ? '✅ 人工验证已通过'
+                : ['none', 'not-required'].includes(content.manualValidation.state) ? '✅ 无需人工校验'
+                    : content.manualValidation.state === 'unavailable' ? '⚠️ 人工校验状态不可用'
+                        : content.manualValidation.state === 'not-observed' ? 'ℹ️ 尚未读取人工校验状态'
+                            : `人工校验状态：${content.manualValidation.state}`;
+    return [
+        '## 审查摘要', '', content.overview, '',
+        '### 关键技术决策', '', '（见审查历程）', '',
+        '### 审查历程', '', `状态：${content.review.state}`, '', content.review.detail, '',
+        '### 测试结果', '', `状态：${content.tests.state}`, '', content.tests.detail, '',
+        `### ${manualValidationHeading}`, '', `状态：${content.manualValidation.state}`, '', content.manualValidation.detail,
+        ...(content.manualValidation.state === 'passed' ? ['', MANUAL_VALIDATION_RECEIPT_PLACEHOLDER] : []), '',
+        '### 人工决策', '', `未解决：${content.humanDecisions.open}；已解决：${content.humanDecisions.resolved}`, '', content.humanDecisions.detail, '',
+        '### 风险', '', content.risks, '', CANONICAL_REPORT_PLACEHOLDER, ''
+    ].join('\n');
+}
+//# sourceMappingURL=pr-summary-content.js.map