:root {
  --proof-bg: #f5f7fb;
  --proof-surface: #ffffff;
  --proof-surface-soft: #f8fafc;
  --proof-border: rgba(15, 23, 42, 0.08);
  --proof-border-strong: rgba(15, 23, 42, 0.14);
  --proof-text: #112033;
  --proof-text-soft: #516074;
  --proof-text-muted: #708198;
  --proof-accent: #0f172a;
  --proof-fill: #d8e2f2;
  --proof-fill-strong: #486487;
  --proof-low: #285ea8;
  --proof-medium: #b08900;
  --proof-high: #b45309;
  --proof-critical: #7b1f28;
}

.proof-page {
  background: linear-gradient(180deg, #f8fafc 0%, #f4f7fb 100%);
  color: var(--proof-text);
}

.proof-shell {
  width: min(1120px, calc(100vw - 2rem));
  margin: 0 auto;
}

.proof-hero {
  padding-top: 2rem;
}

.proof-hero__eyebrow-row {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.75rem;
  margin-bottom: 1rem;
}

.proof-pill {
  display: inline-flex;
  align-items: center;
  min-height: 1.95rem;
  padding: 0.2rem 0.75rem;
  border: 1px solid var(--proof-border);
  border-radius: 999px;
  color: var(--proof-text-soft);
  background: rgba(255, 255, 255, 0.8);
  font-size: 0.78rem;
  font-weight: 600;
}

.proof-hero__grid,
.proof-two-column {
  display: grid;
  grid-template-columns: minmax(0, 1.8fr) minmax(280px, 0.9fr);
  gap: 1rem;
}

.proof-hero__title,
.proof-section-heading__title,
.proof-methodology-card__title {
  margin: 0;
  color: var(--proof-text);
  letter-spacing: -0.02em;
}

.proof-hero__title {
  font-size: clamp(2rem, 4vw, 3.25rem);
  line-height: 1.06;
}

.proof-hero__lede {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  gap: 0.7rem;
  margin: 1.1rem 0 0;
}

.proof-hero__number {
  color: var(--proof-text);
  font-size: clamp(3.1rem, 8vw, 5.2rem);
  line-height: 0.95;
  font-weight: 650;
  letter-spacing: -0.05em;
}

.proof-hero__label {
  color: var(--proof-text-soft);
  font-size: 1rem;
  font-weight: 500;
}

.proof-hero__subhead,
.proof-section-heading__body,
.proof-panel__body,
.proof-panel__note,
.proof-target__meta,
.proof-muted,
.proof-methodology-card__paragraph,
.proof-methodology-card__list {
  color: var(--proof-text-soft);
}

.proof-hero__subhead {
  max-width: 60ch;
  margin: 1rem 0 0;
  font-size: 1.08rem;
  line-height: 1.7;
}

.proof-hero__meta {
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem 1.25rem;
  margin-top: 1.25rem;
  color: var(--proof-text-muted);
  font-size: 0.88rem;
}

.proof-hero__meta code,
.proof-code-pill,
.proof-methodology-card code {
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace;
}

.proof-panel,
.proof-stat-card,
.proof-methodology-card,
.proof-table-card,
.proof-empty-state {
  border: 1px solid var(--proof-border);
  border-radius: 1.2rem;
  background: rgba(255, 255, 255, 0.96);
  box-shadow: 0 18px 40px rgba(15, 23, 42, 0.05);
}

.proof-panel,
.proof-empty-state {
  padding: 1.25rem;
}

.proof-panel__title {
  margin: 0 0 0.65rem;
  color: var(--proof-text);
  font-size: 1rem;
}

.proof-panel__body,
.proof-panel__note {
  margin: 0.75rem 0 0;
  font-size: 0.95rem;
  line-height: 1.65;
}

.proof-link-button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: fit-content;
  margin-top: 1rem;
  padding: 0.75rem 1rem;
  border-radius: 0.9rem;
  background: var(--proof-accent);
  color: #ffffff;
  text-decoration: none;
  font-weight: 600;
}

.proof-stat-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 1rem;
}

.proof-stat-card {
  padding: 1.1rem 1.15rem;
}

.proof-stat-card__value {
  color: var(--proof-text);
  font-size: clamp(1.9rem, 4vw, 2.6rem);
  line-height: 1;
  font-weight: 650;
  letter-spacing: -0.04em;
}

.proof-stat-card__label {
  margin-top: 0.65rem;
  color: var(--proof-text-soft);
  font-size: 0.92rem;
  line-height: 1.5;
}

.proof-section-heading {
  display: flex;
  justify-content: space-between;
  align-items: end;
  gap: 1rem;
  margin-bottom: 1rem;
}

.proof-section-heading__title {
  font-size: clamp(1.3rem, 2vw, 1.7rem);
  line-height: 1.2;
}

.proof-section-heading__body {
  max-width: 48ch;
  margin: 0;
  font-size: 0.95rem;
  line-height: 1.65;
  text-align: right;
}

.proof-help {
  display: inline-flex;
  margin-left: 0.4rem;
  color: var(--proof-text);
  text-decoration: underline dotted;
  text-underline-offset: 0.18em;
  cursor: help;
}

.proof-severity-bar {
  display: flex;
  gap: 0.45rem;
  width: 100%;
  min-height: 3.6rem;
}

.proof-severity-bar__segment {
  display: flex;
  align-items: center;
  justify-content: center;
  flex: var(--segment-share) 1 0;
  min-width: 3.25rem;
  border-radius: 0.9rem;
  color: #ffffff;
  font-weight: 650;
  letter-spacing: -0.02em;
}

.proof-severity-bar__segment--critical {
  background: var(--proof-critical);
}

.proof-severity-bar__segment--high {
  background: var(--proof-high);
}

.proof-severity-bar__segment--medium {
  background: var(--proof-medium);
}

.proof-severity-bar__segment--low {
  background: var(--proof-low);
}

.proof-severity-legend {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 0.85rem;
  margin-top: 1rem;
}

.proof-severity-legend__item {
  display: flex;
  align-items: center;
  gap: 0.75rem;
}

.proof-severity-legend__meta {
  color: var(--proof-text);
  font-size: 0.92rem;
}

.proof-table-card {
  overflow: hidden;
}

.proof-table {
  width: 100%;
  border-collapse: collapse;
}

.proof-table th,
.proof-table td {
  padding: 1rem 1.1rem;
  border-bottom: 1px solid var(--proof-border);
  vertical-align: top;
  text-align: left;
}

.proof-table th {
  color: var(--proof-text-muted);
  font-size: 0.78rem;
  font-weight: 700;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  background: rgba(248, 250, 252, 0.95);
}

.proof-table tbody tr:last-child td {
  border-bottom: 0;
}

.proof-table__primary,
.proof-target__name,
.proof-findings-count {
  color: var(--proof-text);
  font-weight: 600;
}

.proof-target {
  display: flex;
  flex-direction: column;
  gap: 0.35rem;
}

.proof-target__meta {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem 0.7rem;
  font-size: 0.86rem;
}

.proof-status {
  display: inline-flex;
  align-items: center;
  gap: 0.55rem;
  color: var(--proof-text);
  font-size: 0.92rem;
  font-weight: 500;
}

.proof-status__dot {
  width: 0.6rem;
  height: 0.6rem;
  border-radius: 999px;
  background: #8aa0be;
}

.proof-status--complete .proof-status__dot {
  background: #58779c;
}

.proof-status--failed .proof-status__dot {
  background: #9b6b4a;
}

.proof-rate {
  display: flex;
  flex-direction: column;
  gap: 0.4rem;
}

.proof-rate__bar {
  width: min(160px, 100%);
  height: 0.45rem;
  border-radius: 999px;
  background: var(--proof-fill);
  overflow: hidden;
}

.proof-rate__fill {
  display: block;
  height: 100%;
  border-radius: inherit;
  background: var(--proof-fill-strong);
}

.proof-rate__label {
  color: var(--proof-text-soft);
  font-size: 0.9rem;
  line-height: 1.5;
}

.proof-code-pill {
  display: inline-flex;
  align-items: center;
  gap: 0.3rem;
  padding: 0.36rem 0.6rem;
  border-radius: 0.7rem;
  background: var(--proof-surface-soft);
  color: var(--proof-text);
  font-size: 0.84rem;
  overflow-wrap: anywhere;
}

.proof-scan-id-list {
  display: flex;
  flex-wrap: wrap;
  gap: 0.55rem;
  margin-top: 1rem;
}

.proof-empty-state {
  color: var(--proof-text-soft);
}

.proof-methodology-stack {
  display: grid;
  gap: 1rem;
}

.proof-methodology-card {
  padding: 1.3rem;
}

.proof-methodology-card--worked-example {
  background: #fcfdff;
  border-color: var(--proof-border-strong);
}

.proof-methodology-card__header {
  margin-bottom: 0.75rem;
}

.proof-methodology-card__title {
  font-size: 1.35rem;
  line-height: 1.22;
}

.proof-methodology-card__body {
  display: grid;
  gap: 0.8rem;
}

.proof-methodology-card__paragraph,
.proof-methodology-card__list {
  margin: 0;
  font-size: 0.97rem;
  line-height: 1.7;
}

.proof-methodology-card__list {
  padding-left: 1.25rem;
}

.proof-methodology-card__list-item + .proof-methodology-card__list-item {
  margin-top: 0.4rem;
}

.proof-methodology-card__list-item--indent-1 {
  margin-left: 1rem;
  list-style-type: circle;
}

.proof-methodology-card code,
.proof-hero__meta code,
.proof-target__meta code,
.proof-section-heading code,
.proof-panel code {
  padding: 0.15rem 0.4rem;
  border-radius: 0.45rem;
  background: #f3f6fb;
  color: #1f2b40;
  font-size: 0.86em;
}

@media (max-width: 900px) {
  .proof-hero__grid,
  .proof-two-column,
  .proof-stat-grid,
  .proof-severity-legend {
    grid-template-columns: 1fr;
  }

  .proof-section-heading {
    align-items: start;
    flex-direction: column;
  }

  .proof-section-heading__body {
    max-width: none;
    text-align: left;
  }
}

@media (max-width: 768px) {
  .proof-shell {
    width: min(100vw - 1.25rem, 100%);
  }

  .proof-table,
  .proof-table thead,
  .proof-table tbody,
  .proof-table tr,
  .proof-table th,
  .proof-table td {
    display: block;
  }

  .proof-table thead {
    display: none;
  }

  .proof-table tbody {
    display: grid;
    gap: 0.85rem;
    padding: 0.85rem;
  }

  .proof-table tr {
    border: 1px solid var(--proof-border);
    border-radius: 1rem;
    background: #ffffff;
    overflow: hidden;
  }

  .proof-table td {
    padding: 0.8rem 1rem;
    border-bottom: 1px solid var(--proof-border);
  }

  .proof-table td:last-child {
    border-bottom: 0;
  }

  .proof-table td::before {
    content: attr(data-label);
    display: block;
    margin-bottom: 0.3rem;
    color: var(--proof-text-muted);
    font-size: 0.76rem;
    font-weight: 700;
    letter-spacing: 0.04em;
    text-transform: uppercase;
  }
}

@media (max-width: 375px) {
  .proof-hero__number {
    font-size: 2.8rem;
  }

  .proof-link-button {
    width: 100%;
  }
}