.sre-hero{--reference-hero-padding-bottom: 8rem;--reference-hero-columns: minmax(0, .95fr) minmax(36rem, 1.05fr);--reference-hero-gap: clamp(2.5rem, 3.5vw, 3.5rem)}.sre-hero h1 span{color:var(--brand-accent)}.sre-hero-graphic{display:grid;width:min(100%,48rem);margin:0 0 0 auto;grid-template-columns:minmax(0,.9fr) minmax(0,1.1fr);border:1px solid var(--brand-hairline-strong);background:var(--cl-code-bg);box-shadow:0 1.5rem 3.2rem #00000057}.sre-hero-report,.sre-hero-answer{display:grid;min-width:0;align-content:start;gap:var(--sp-3);padding:var(--sp-4)}.sre-hero-report{border-right:1px solid var(--brand-hairline-strong);background:color-mix(in srgb,var(--cl-panel) 88%,black)}.sre-hero-answer{background:var(--cl-panel)}.sre-hero-report>span,.sre-hero-answer>span,.sre-proof-card>header>span,.sre-proof-meta span{font-family:var(--cl-mono);font-size:var(--brand-fs-nano);font-weight:600;letter-spacing:.06em;line-height:1.35;text-transform:uppercase}.sre-hero-report>span,.sre-proof-card>header>span{color:var(--brand-text-muted)}.sre-hero-answer>span{color:var(--brand-accent)}.sre-hero-report>p,.sre-proof-card>header>p{margin:0;color:var(--brand-text-bright);font-size:.8rem;line-height:1.45}.sre-hero-report ul,.sre-proof-card>header ul{display:grid;margin:0;padding:0;gap:.35rem;list-style:none}.sre-hero-report li,.sre-proof-card>header li{color:var(--brand-text);font-family:var(--cl-mono);font-size:var(--brand-fs-sm);line-height:1.5;overflow-wrap:anywhere}.sre-identifiers{display:flex;flex-wrap:wrap;gap:.35rem;padding-top:var(--sp-3);border-top:1px solid var(--brand-hairline)}.sre-identifiers code,.sre-page .cl-chat-withheld code{padding:.25rem .5rem;border:1px solid var(--brand-hairline-strong);background:#ffffff0a;color:var(--brand-text);font-family:var(--cl-mono);font-size:var(--brand-fs-sm);line-height:1.35;text-decoration:line-through;text-decoration-color:var(--brand-text-muted);text-decoration-thickness:1.5px}.sre-hero-answer pre,.sre-proof-output pre{margin:0;color:var(--brand-text-bright);font-family:var(--cl-mono);font-size:.75rem;line-height:1.65;white-space:pre-wrap;overflow-wrap:anywhere}.sre-checks{display:grid;margin:0;padding:var(--sp-3) 0 0;gap:.35rem;border-top:1px solid var(--brand-hairline);list-style:none}.sre-checks li{display:flex;align-items:baseline;gap:.5rem;font-family:var(--cl-mono);font-size:var(--brand-fs-sm);line-height:1.4}.sre-checks li:before{flex:none;width:1em;font-weight:600}.sre-checks li.is-pass{color:var(--brand-text)}.sre-checks li.is-pass:before{content:"✓";color:var(--brand-accent)}.sre-checks li.is-miss{color:var(--brand-text-muted)}.sre-checks li.is-miss:before{content:"✕";color:var(--brand-text-muted)}.sre-proof{padding:var(--cl-section-gap) 0 0}.sre-proof-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));align-items:stretch;gap:var(--sp-4)}.sre-proof-card{display:flex;min-width:0;flex-direction:column;border:1px solid var(--brand-hairline-strong);background:var(--cl-code-bg)}.sre-proof-card>header{display:grid;align-content:start;gap:var(--sp-3);padding:var(--sp-4);border-bottom:1px solid var(--brand-hairline);background:var(--cl-panel)}.sre-proof-output{display:grid;flex:1;align-content:start;gap:var(--sp-3);padding:var(--sp-4)}.sre-proof-meta{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:.25rem var(--sp-3)}.sre-proof-meta span,.sre-proof-meta output{white-space:nowrap}.sre-proof-meta span{color:var(--brand-accent)}.sre-proof-card.is-error .sre-proof-meta span,.sre-proof-card.is-miss .sre-proof-meta span{color:var(--brand-text-muted)}.sre-proof-meta output{color:var(--brand-text-muted);font-family:var(--cl-mono);font-size:var(--brand-fs-sm)}.sre-proof-error{margin:0;color:var(--brand-text-muted);font-family:var(--cl-mono);font-size:.72rem;line-height:1.6;overflow-wrap:anywhere}.sre-proof-output .sre-checks{margin-top:auto}.sre-proof-card>.reference-source-link{display:flex}.sre-page .cl-chat-withheld{display:grid;gap:.5rem;margin-top:var(--sp-4)}.sre-page .cl-chat-withheld>span{color:var(--brand-text-muted);font-size:var(--brand-fs-sm)}.sre-page .cl-chat-withheld>div{display:flex;flex-wrap:wrap;gap:.35rem}@media(max-width:1120px){.sre-hero{--reference-hero-columns: minmax(0, 1fr) minmax(32rem, 1fr)}.sre-proof-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(max-width:1020px){.sre-hero-graphic{width:min(100%,52rem);margin:var(--sp-6) auto 0}}@media(max-width:700px){.sre-hero{padding:7.5rem 0 6rem}.sre-hero-graphic{grid-template-columns:1fr}.sre-hero-report{border-right:0;border-bottom:1px solid var(--brand-hairline-strong)}.sre-proof{padding-top:4rem}.sre-proof-grid{grid-template-columns:1fr}}.sre-proof-totals{max-width:46rem;margin:var(--sp-5) 0 0;color:var(--brand-text);font-size:var(--brand-fs-sm);line-height:1.6}