@gracker/smartperfetto 1.0.15 → 1.0.16

package/dist/services/htmlReportGenerator.js

@@ -4089,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>
@@ -4452,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',