fix(design): lift personal-record badge to WCAG AA contrast

The PR pill painted `text-dracula-green` (#50fa7b) on a
`bg-dracula-green/10` chip background. In dark mode that measured
around 2.6:1 — well under the 4.5:1 minimum WCAG 2.1 AA requires
for small text. Switch to the semantic `--success` token, which
resolves to a darker forest green on the light card (#14720a) and
to Dracula's neon green on the dark card, and lift the chip tint
from /10 to /15 for a sturdier edge. Both modes now clear AA.

src/components/insights/personal-record-badge.tsx

@@ -110,7 +110,12 @@ export function PersonalRecordBadge({
       data-slot="insights-pr-badge"
       data-metric-type={metricType}
       className={cn(
-        "border-dracula-green/40 bg-dracula-green/10 text-dracula-green inline-flex shrink-0 items-center rounded-full border px-1.5 py-0.5 text-[10px] leading-none font-semibold tracking-wide tabular-nums uppercase",
+        // `--success` resolves to the AA-tuned green per theme: a deep
+        // forest green on the light card (#14720a) and Dracula's neon
+        // green on the dark card (#50fa7b). Both clear 4.5:1 against
+        // their card background — the previous `text-dracula-green` on
+        // `bg-dracula-green/10` measured ~2.6:1 in dark mode.
+        "border-success/40 bg-success/15 text-success inline-flex shrink-0 items-center rounded-full border px-1.5 py-0.5 text-[10px] leading-none font-semibold tracking-wide tabular-nums uppercase",
         className,
       )}
       aria-label={t("insights.personalRecord.badge")}