.verify-main { padding-bottom: clamp(3rem, 8vw, 7rem); }
.verify-hero { padding: clamp(3.5rem, 8vw, 6.75rem) 0 clamp(2.5rem, 5vw, 4rem); border-bottom: 1px solid var(--line); }
.verify-hero h1 { max-width: 16ch; }
.verify-hero .deck { max-width: 45rem; }
.verify-hero .source-line { margin: 1.5rem 0 0; color: var(--muted); font: .69rem/1.65 ui-monospace, SFMono-Regular, Consolas, monospace; letter-spacing: .025em; }
.verify-strip { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); margin-top: 2rem; border: 1px solid var(--line); background: color-mix(in srgb, var(--surface) 86%, transparent); }
.verify-strip > div { min-width: 0; padding: 1rem 1.1rem; border-right: 1px solid var(--line); }
.verify-strip > div:last-child { border-right: 0; }
.verify-strip strong, .verify-strip span { display: block; }
.verify-strip strong { color: var(--ink); font: 650 clamp(1.15rem, 2vw, 1.55rem)/1.15 ui-serif, Georgia, Cambria, "Times New Roman", serif; }
.verify-strip span { margin-top: .35rem; color: var(--muted); font: .7rem/1.5 ui-monospace, SFMono-Regular, Consolas, monospace; }
.audit-section { padding: clamp(2.6rem, 6vw, 5.1rem) 0; border-bottom: 1px solid var(--line); }
.audit-section:last-child { border-bottom: 0; }
.audit-section-heading { display: grid; grid-template-columns: minmax(0, 1fr) minmax(14rem, .62fr); gap: 1.5rem 4rem; align-items: end; }
.audit-section-heading h2 { margin: 0; }
.audit-section-heading > p { max-width: 34rem; margin: 0; color: var(--muted); font-size: .92rem; line-height: 1.65; }
.audit-table-wrap { margin-top: 1.7rem; overflow-x: auto; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--ink); }
.audit-table { min-width: 55rem; margin: 0; background: transparent; }
.audit-table th, .audit-table td { padding: .88rem .72rem; }
.audit-table th { color: var(--red); font: 700 .62rem/1.45 ui-monospace, SFMono-Regular, Consolas, monospace; letter-spacing: .075em; }
.audit-table tbody th { width: 10%; color: var(--ink); font: 700 .7rem/1.45 ui-monospace, SFMono-Regular, Consolas, monospace; }
.audit-table td { color: var(--muted); font-size: .82rem; line-height: 1.58; }
.audit-table td.result { width: 27%; color: var(--ink); }
.audit-table td.run { width: 23%; color: var(--ink); font: .68rem/1.55 ui-monospace, SFMono-Regular, Consolas, monospace; }
.audit-table td.boundary { width: 40%; }
.audit-table a { color: var(--ink); text-underline-offset: .2em; }
.audit-table code { white-space: nowrap; }
.audit-boundary { margin: 1.35rem 0 0; padding: 1rem 1.1rem; border-left: 3px solid var(--gold); background: color-mix(in srgb, var(--warm) 40%, transparent); color: var(--ink); font: .93rem/1.62 ui-serif, Georgia, Cambria, "Times New Roman", serif; }
.audit-boundary strong { font-weight: 700; }
.audit-actions { display: flex; flex-wrap: wrap; gap: .6rem 1.1rem; margin: 1.35rem 0 0; font: 700 .7rem/1.45 ui-monospace, SFMono-Regular, Consolas, monospace; }
.audit-actions a { color: var(--ink); text-underline-offset: .2em; }
.open-list { max-width: 58rem; margin: 1.6rem 0 0; padding-left: 1.25rem; color: var(--muted); }
.open-list li + li { margin-top: .75rem; }
@media (max-width: 48rem) {
  .verify-strip { grid-template-columns: 1fr; }
  .verify-strip > div { border-right: 0; border-bottom: 1px solid var(--line); }
  .verify-strip > div:last-child { border-bottom: 0; }
  .audit-section-heading { grid-template-columns: 1fr; gap: 1rem; }
}