= {
+ PASS: {
+ eyebrow: "Release gate cleared",
+ action: "Proceed within this evidence contract",
+ explanation: "Every required check represented by this report passed.",
+ },
+ FAIL: {
+ eyebrow: "Release gate blocked",
+ action: "Resolve failures before release",
+ explanation: "At least one required check violated its declared gate.",
+ },
+ ABSTAIN: {
+ eyebrow: "Decision withheld",
+ action: "Supply the missing evidence",
+ explanation: "The harness could not make a trustworthy pass/fail decision.",
+ },
+};
+
+function reportSourceKey(source: ReportSource): string {
+ return `${source.origin}:${source.report.reportId}`;
+}
+
+function signedPoints(value: number): string {
+ const sign = value > 0 ? "+" : value < 0 ? "\u2212" : "";
+ return `${sign}${Math.abs(value).toFixed(1)} pp`;
+}
+
+function signedMetric(
+ value: number,
+ unit: ScoreContract["unit"],
+): string {
+ if (unit === "percentage-points") return signedPoints(value);
+ const sign = value > 0 ? "+" : value < 0 ? "\u2212" : "";
+ return `${sign}${Math.abs(value).toFixed(3)} normalized`;
+}
+
+function compactNumber(value: number | null): string {
+ if (value === null) return "Not verified";
+ return new Intl.NumberFormat("en", { notation: "compact" }).format(value);
+}
+
+function displayDate(value: string): string {
+ return new Intl.DateTimeFormat("en", {
+ year: "numeric",
+ month: "short",
+ day: "2-digit",
+ hour: "2-digit",
+ minute: "2-digit",
+ hour12: false,
+ timeZone: "UTC",
+ timeZoneName: "short",
+ }).format(new Date(value));
+}
+
+function shortHash(hash: string): string {
+ return `${hash.slice(0, 10)}\u2026${hash.slice(-8)}`;
+}
+
+function StatusBadge({ status, compact = false }: { status: ReportStatus; compact?: boolean }) {
+ return (
+
+
+ {status}
+
+ );
+}
+
+function SectionHeading({
+ number,
+ title,
+ detail,
+}: {
+ number: string;
+ title: string;
+ detail: string;
+}) {
+ return (
+
+ );
+}
+
+function MetricCard({
+ label,
+ value,
+ context,
+ tone = "neutral",
+ children,
+}: {
+ label: string;
+ value: string;
+ context: string;
+ tone?: "positive" | "negative" | "caution" | "neutral";
+ children?: ReactNode;
+}) {
+ return (
+
+ {label}
+ {value}
+ {context}
+ {children}
+
+ );
+}
+
+function ScoreEvidence({ score, label }: { score: ScoreContract; label: string }) {
+ if (score.baseScore !== null && score.adapterScore !== null) {
+ return (
+
+ Base {score.baseScore.toFixed(1)}
+
+ Adapter {score.adapterScore.toFixed(1)}
+
+ );
+ }
+ if (score.confidenceInterval) {
+ return (
+
+ Pairs {score.pairCount ?? "unavailable"}
+
+
+ Interval {score.confidenceInterval.low.toFixed(3)} to{" "}
+ {score.confidenceInterval.high.toFixed(3)}
+
+
+ );
+ }
+ return null;
+}
+
+function RegressionContract({ report }: { report: SftGuardReport }) {
+ const regression = report.regression;
+ if (!regression) {
+ return (
+
+
+
+
+ );
+ }
+
+ const targetPassed = regression.target.status === "PASS";
+ const retentionPassed = regression.retention.status === "PASS";
+
+ return (
+
+
+
+
+
+
+
+
+ );
+}
+
+function AuditContract({ report }: { report: SftGuardReport }) {
+ if (!report.audit) return null;
+ const audit = report.audit;
+ return (
+
+
+
+
+
+ );
+}
+
+function FaultCoveragePanel({ report }: { report: SftGuardReport }) {
+ const coverage = report.faultCoverage;
+ if (!coverage) {
+ return (
+
+
Not part of this artifact
+
No fault matrix attached
+
+ Open the checked-in fault-matrix sample or import a compatible report
+ to inspect detection coverage and clean-control behavior.
+
+
+
+
+ {coverage.detectedFaultClasses}
+ of {coverage.expectedFaultClasses}
+
+
+
+
+ {coverage.carryForward ? "Carry-forward allowed" : "Carry-forward blocked"}
+
+
+ This reports deterministic synthetic coverage of SFTGuard’s own
+ checks—not coverage of unknown real-world faults.
+
+
+
+
+
+
+
+
+
+ {label}
+ {target}
+
+
{value.toFixed(1)}%
+
+
+
+
+
No reported issues
+
The artifact contains no issue records.
+
+ {categoryCounts.map(([category, count]) => (
+
+ {category} {count}
+
+ ))}
+
+
+
+ Reported SFTGuard issues
+
+
+ | Signal |
+ Severity |
+ Outcome |
+ Count |
+
+
+
+ {issues.map((issue) => (
+
+ |
+ {issue.title}
+ {issue.id}
+ {issue.detail}
+ |
+
+
+ {issue.severity}
+
+ |
+
+
+ |
+ {issue.count} |
+
+ ))}
+
+
+
+
+
Deterministic replay
+
{replayTitle}
+
{replayDetail}
+
+
+ {values.map(({ label, value, isHash = false }) => {
+ return (
+
+
- {label}
+ -
+ {value === null
+ ? "Unavailable in artifact"
+ : isHash
+ ? shortHash(value)
+ : value}
+
+
+ );
+ })}
+
+
+
+ Claim boundary
+ Evidence, not certification
+
+ {report.boundaries.claim.map((item) => (
+ - {item}
+ ))}
+
+
+
+ Privacy boundary
+ Local viewing, narrow display
+
+ {report.boundaries.privacy.map((item) => (
+ - {item}
+ ))}
+
+
+
+
+
+
+
+
+
+
+
+
+
+ {reportTypeLabel(report.reportType)}
+ {activeSource.origin}
+ report-declared decision
+
+
{statusCopy.eyebrow}
+
{report.title}
+
{report.summary}
+
{statusCopy.action}
+
+
{report.status.slice(0, 1)}
+
+ {report.status}
+ {statusCopy.explanation}
+
+
+ Report {report.reportId}
+
+ {report.generatedAt
+ ? `Generated ${displayDate(report.generatedAt)}`
+ : "Generated time unavailable in artifact"}
+
+
+
+
+
+
+ Evaluation contract results
+
+
+
+
+
+
+ Signals and issue categories
+
+
+
+
+
+ Fault coverage results
+
+
+
+
+
+ Artifact provenance
+
+
+
+
+
+ Claim and privacy boundaries
+
+
+
+
+
+
+