@gracker/smartperfetto 1.0.14 → 1.0.16

package/dist/services/htmlReportGenerator.js

@@ -3863,6 +3863,21 @@ class HTMLReportGenerator {
     .claim-source-status.found { background: #dcfce7; color: #166534; }
     .claim-source-status.missing { background: #fee2e2; color: #991b1b; }
     .claim-source-status.ambiguous { background: #fef3c7; color: #92400e; }
+    .code-aware-grid { display: grid; gap: 10px; }
+    .code-ref-card, .patch-card {
+      border: 1px solid #dbeafe; border-radius: 8px; background: #f8fbff; padding: 12px;
+    }
+    .code-ref-title, .patch-title { font-weight: 700; color: #1e3a8a; margin-bottom: 6px; }
+    .code-ref-meta, .patch-meta {
+      font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
+      font-size: 12px; color: #334155; word-break: break-word;
+    }
+    .patch-status {
+      display: inline-block; border-radius: 999px; padding: 2px 8px; font-size: 11px; font-weight: 700; margin-left: 6px;
+    }
+    .patch-status.verified { background: #dcfce7; color: #166534; }
+    .patch-status.sketch { background: #fef3c7; color: #92400e; }
+    .patch-status.unverified { background: #fee2e2; color: #991b1b; }
     .timeline-list {
       display: flex; flex-direction: column; gap: 10px;
       max-height: 420px; overflow-y: auto; padding-right: 4px;
@@ -4054,6 +4069,8 @@ class HTMLReportGenerator {
 
     ${this.renderFindingsSection(result.findings, dataEnvelopes)}
 
+    ${this.renderCodeAwareReferencesSection(result.conclusionContract, outputLanguage)}
+
     <div class="section">
       <h2 class="section-title">${(0, outputLanguage_1.localize)(outputLanguage, '分析结论', 'Analysis Conclusion')}</h2>
       ${(conclusionHistory && conclusionHistory.length > 1)
@@ -4072,6 +4089,8 @@ class HTMLReportGenerator {
 
     ${this.renderConclusionClaimSourcesSection(result.conclusionContract, dataEnvelopes, outputLanguage)}
 
+    ${this.renderClaimVerificationSection(result.claimSupport, result.claimVerificationResult, result.identityResolutions, outputLanguage)}
+
     <div class="footer">
       <p>${(0, outputLanguage_1.localize)(outputLanguage, '由 SmartPerfetto Agent-Driven Orchestrator 生成', 'Generated by SmartPerfetto Agent-Driven Orchestrator')}</p>
       <p style="margin-top: 5px; font-size: 12px;">Powered by Claude Agent SDK + MCP Tools</p>
@@ -4315,6 +4334,56 @@ class HTMLReportGenerator {
         })();
         return `${skillId}:${stepId}:${source}:${traceSide}:${traceId}:${compactData.slice(0, 512)}`;
     }
+    renderCodeAwareReferencesSection(contract, outputLanguage = outputLanguage_1.DEFAULT_OUTPUT_LANGUAGE) {
+        const record = this.asReportRecord(contract);
+        if (!record)
+            return '';
+        const codeReferences = this.readReportAliasedRecords(record, ['codeReferences', 'code_refs', 'codeRefs']);
+        const patchProposals = this.readReportAliasedRecords(record, ['patchProposals', 'patch_proposals', 'patches']);
+        if (codeReferences.length === 0 && patchProposals.length === 0)
+            return '';
+        const codeRefHtml = codeReferences.map(ref => {
+            const chunkId = this.escapeHtml(String(ref.chunkId ?? ref.chunk_id ?? ''));
+            const codebaseId = this.escapeHtml(String(ref.codebaseId ?? ref.codebase_id ?? ''));
+            const filePath = this.escapeHtml(String(ref.filePath ?? ref.file_path ?? ''));
+            const symbol = this.escapeHtml(String(ref.symbol ?? ''));
+            const lineRange = this.formatLineRange(ref.lineRange ?? ref.line_range);
+            return `
+        <div class="code-ref-card">
+          <div class="code-ref-title">${symbol || chunkId || filePath}</div>
+          <div class="code-ref-meta">chunkId=${chunkId}${codebaseId ? ` · codebaseId=${codebaseId}` : ''}${filePath ? ` · ${filePath}${lineRange}` : ''}</div>
+        </div>`;
+        }).join('');
+        const patchHtml = patchProposals.map(patch => {
+            const status = String(patch.patchStatus ?? patch.patch_status ?? 'unverified');
+            const safeStatus = status === 'verified' || status === 'sketch' || status === 'unverified' ? status : 'unverified';
+            const proposalId = this.escapeHtml(String(patch.patchProposalId ?? patch.patch_proposal_id ?? ''));
+            const rationale = this.escapeHtml(String(patch.rationale ?? patch.patchSketch ?? patch.patch_sketch ?? ''));
+            return `
+        <div class="patch-card">
+          <div class="patch-title">${proposalId || 'patch'}<span class="patch-status ${safeStatus}">${safeStatus}</span></div>
+          <div class="patch-meta">${rationale}</div>
+        </div>`;
+        }).join('');
+        return `
+    <div class="section">
+      <h2 class="section-title">${(0, outputLanguage_1.localize)(outputLanguage, '代码引用与 Patch', 'Code References and Patches')}</h2>
+      <div class="code-aware-grid">
+        ${codeRefHtml}
+        ${patchHtml}
+      </div>
+    </div>`;
+    }
+    formatLineRange(value) {
+        const record = this.asReportRecord(value);
+        if (!record)
+            return '';
+        const start = record.start ?? record.line_start;
+        const end = record.end ?? record.line_end;
+        if (start === undefined || end === undefined)
+            return '';
+        return `:${this.escapeHtml(String(start))}-${this.escapeHtml(String(end))}`;
+    }
     renderConclusionClaimSourcesSection(contract, envelopes, outputLanguage = outputLanguage_1.DEFAULT_OUTPUT_LANGUAGE) {
         const contractRecord = this.asReportRecord(contract);
         if (!contractRecord)
@@ -4385,6 +4454,70 @@ class HTMLReportGenerator {
       ${omittedClaims > 0 ? `<div class="claim-source-note">${this.escapeHtml((0, outputLanguage_1.localize)(outputLanguage, `还有 ${omittedClaims} 条断言未展开`, `${omittedClaims} more claims omitted`))}</div>` : ''}
     </div>`;
     }
+    renderClaimVerificationSection(claimSupport, verification, identityResolutions, outputLanguage = outputLanguage_1.DEFAULT_OUTPUT_LANGUAGE) {
+        if (!verification && (!claimSupport || claimSupport.length === 0) && (!identityResolutions || identityResolutions.length === 0)) {
+            return '';
+        }
+        const supportCounts = new Map();
+        const supportStatuses = verification?.claimResults?.length
+            ? verification.claimResults.map(claim => claim.status)
+            : (claimSupport || []).map(claim => claim.supportLevel);
+        for (const status of supportStatuses) {
+            supportCounts.set(status, (supportCounts.get(status) || 0) + 1);
+        }
+        const supportSummary = Array.from(supportCounts.entries())
+            .map(([key, count]) => `${this.escapeHtml(key)}: ${count}`)
+            .join(' · ');
+        const status = verification?.status || 'not_checked';
+        const issueRows = (verification?.issues || []).slice(0, 12).map(issue => `
+      <tr>
+        <td>${this.escapeHtml(issue.severity)}</td>
+        <td>${this.escapeHtml(issue.claimId)}</td>
+        <td><code>${this.escapeHtml(issue.code)}</code></td>
+        <td>${this.escapeHtml(issue.message)}</td>
+      </tr>
+    `).join('');
+        const identitySummary = (identityResolutions || []).slice(0, 8).map(item => `
+      <tr>
+        <td><code>${this.escapeHtml(item.identityRefId)}</code></td>
+        <td>${this.escapeHtml(item.status)}</td>
+        <td>${this.escapeHtml(item.target.processName || item.target.packageName || '-')}</td>
+        <td>${this.escapeHtml(item.target.threadName || item.target.role || '-')}</td>
+      </tr>
+    `).join('');
+        return `
+    <div class="section">
+      <h2 class="section-title">${(0, outputLanguage_1.localize)(outputLanguage, '断言验证结果', 'Claim Verification')}</h2>
+      <div class="claim-source-note">
+        ${this.escapeHtml((0, outputLanguage_1.localize)(outputLanguage, `Verifier 状态: ${status}；检查断言 ${verification?.checkedClaimCount ?? 0} 条；不支持 ${verification?.unsupportedClaimCount ?? 0} 条${supportSummary ? `；支持级别 ${supportSummary}` : ''}`, `Verifier status: ${status}; checked ${verification?.checkedClaimCount ?? 0} claims; unsupported ${verification?.unsupportedClaimCount ?? 0}${supportSummary ? `; support levels ${supportSummary}` : ''}`))}
+      </div>
+      ${issueRows ? `
+      <table class="claim-source-table">
+        <thead>
+          <tr>
+            <th>${this.escapeHtml((0, outputLanguage_1.localize)(outputLanguage, '级别', 'Severity'))}</th>
+            <th>${this.escapeHtml((0, outputLanguage_1.localize)(outputLanguage, '断言', 'Claim'))}</th>
+            <th>${this.escapeHtml((0, outputLanguage_1.localize)(outputLanguage, '代码', 'Code'))}</th>
+            <th>${this.escapeHtml((0, outputLanguage_1.localize)(outputLanguage, '说明', 'Message'))}</th>
+          </tr>
+        </thead>
+        <tbody>${issueRows}</tbody>
+      </table>` : ''}
+      ${identitySummary ? `
+      <div class="claim-source-note">${this.escapeHtml((0, outputLanguage_1.localize)(outputLanguage, '身份解析 Sidecar', 'Identity Resolution Sidecars'))}</div>
+      <table class="claim-source-table">
+        <thead>
+          <tr>
+            <th>${this.escapeHtml((0, outputLanguage_1.localize)(outputLanguage, 'ID', 'ID'))}</th>
+            <th>${this.escapeHtml((0, outputLanguage_1.localize)(outputLanguage, '状态', 'Status'))}</th>
+            <th>${this.escapeHtml((0, outputLanguage_1.localize)(outputLanguage, '进程', 'Process'))}</th>
+            <th>${this.escapeHtml((0, outputLanguage_1.localize)(outputLanguage, '线程', 'Thread'))}</th>
+          </tr>
+        </thead>
+        <tbody>${identitySummary}</tbody>
+      </table>` : ''}
+    </div>`;
+    }
     renderClaimReferenceRow(ref, sourceLookup, outputLanguage) {
         const evidenceRefId = this.readReportAliasedString(ref, [
             'evidenceRefId',