.proofs-page[data-astro-cid-uzt7x7lj] h1[data-astro-cid-uzt7x7lj],.proofs-page[data-astro-cid-uzt7x7lj] h2[data-astro-cid-uzt7x7lj],.proofs-page[data-astro-cid-uzt7x7lj] h3[data-astro-cid-uzt7x7lj]{letter-spacing:0}.band-bg[data-astro-cid-uzt7x7lj]{background:var(--c-bg)}.band-surface[data-astro-cid-uzt7x7lj]{background:var(--c-surface)}.proofs-head[data-astro-cid-uzt7x7lj]{position:relative;overflow:hidden}.hero-grid[data-astro-cid-uzt7x7lj]{display:grid;grid-template-columns:minmax(0,1fr) minmax(300px,.62fr);gap:var(--s-5);align-items:center}.proofs-head[data-astro-cid-uzt7x7lj] h1[data-astro-cid-uzt7x7lj]{font-size:var(--fs-display);font-weight:var(--w-display);margin-block:var(--s-3) 0;max-width:10ch}.subhead[data-astro-cid-uzt7x7lj]{color:var(--c-text-muted);font-size:1.2rem;line-height:1.5;max-width:62ch;margin-block:var(--s-3) 0}.trust-panel[data-astro-cid-uzt7x7lj]{margin:0;padding:var(--s-3);border:1px solid var(--c-border);border-radius:var(--radius-sm);background:linear-gradient(180deg,color-mix(in srgb,var(--c-surface) 94%,var(--c-primary)),var(--c-surface))}.panel-label[data-astro-cid-uzt7x7lj]{margin:0 0 var(--s-3);color:var(--c-primary);font-family:var(--font-mono);font-size:var(--fs-mono-label);text-transform:uppercase}.panel-glyph[data-astro-cid-uzt7x7lj]{display:block;width:40px;height:40px;margin-bottom:var(--s-3)}.trust-panel[data-astro-cid-uzt7x7lj] ul[data-astro-cid-uzt7x7lj]{display:grid;gap:var(--s-2);margin:0;padding:0;list-style:none}.trust-panel[data-astro-cid-uzt7x7lj] li[data-astro-cid-uzt7x7lj]{display:grid;grid-template-columns:6.5rem minmax(0,1fr);gap:var(--s-2);align-items:baseline;padding-block:var(--s-2);border-top:1px solid var(--c-border)}.trust-panel[data-astro-cid-uzt7x7lj] li[data-astro-cid-uzt7x7lj]:first-child{border-top:0}.trust-panel[data-astro-cid-uzt7x7lj] span[data-astro-cid-uzt7x7lj]{color:var(--c-text-muted);font-family:var(--font-mono);font-size:var(--fs-mono-label);text-transform:uppercase}.trust-panel[data-astro-cid-uzt7x7lj] strong[data-astro-cid-uzt7x7lj]{color:var(--c-text);font-size:var(--fs-small);font-weight:var(--w-heading);line-height:1.35}.section-grid[data-astro-cid-uzt7x7lj]{display:grid;grid-template-columns:minmax(220px,.34fr) minmax(0,1fr);gap:var(--s-4);align-items:start}.section-grid[data-astro-cid-uzt7x7lj] h2[data-astro-cid-uzt7x7lj]{margin-block:var(--s-2) 0}.section-copy[data-astro-cid-uzt7x7lj]{max-width:68ch}.section-copy[data-astro-cid-uzt7x7lj] p[data-astro-cid-uzt7x7lj]{margin:0;color:var(--c-text-muted);font-size:1rem;line-height:1.55}.section-copy[data-astro-cid-uzt7x7lj] p[data-astro-cid-uzt7x7lj]+p[data-astro-cid-uzt7x7lj]{margin-top:var(--s-2)}.theorem-grid[data-astro-cid-uzt7x7lj],.guarantee-grid[data-astro-cid-uzt7x7lj],.flow-grid[data-astro-cid-uzt7x7lj],.evidence-grid[data-astro-cid-uzt7x7lj]{display:grid;gap:var(--s-3);margin-top:var(--s-4)}.theorem-grid[data-astro-cid-uzt7x7lj]{grid-template-columns:repeat(2,minmax(0,1fr))}.guarantee-grid[data-astro-cid-uzt7x7lj],.flow-grid[data-astro-cid-uzt7x7lj]{grid-template-columns:repeat(3,minmax(0,1fr))}.evidence-grid[data-astro-cid-uzt7x7lj]{grid-template-columns:repeat(auto-fit,minmax(230px,1fr))}.theorem[data-astro-cid-uzt7x7lj],.guarantee[data-astro-cid-uzt7x7lj],.flow-step[data-astro-cid-uzt7x7lj],.evidence[data-astro-cid-uzt7x7lj],.example[data-astro-cid-uzt7x7lj]{border:1px solid var(--c-border);border-radius:var(--radius-sm);background:var(--c-bg);padding:var(--s-3)}.theorem[data-astro-cid-uzt7x7lj] h3[data-astro-cid-uzt7x7lj],.guarantee[data-astro-cid-uzt7x7lj] h3[data-astro-cid-uzt7x7lj],.flow-step[data-astro-cid-uzt7x7lj] h3[data-astro-cid-uzt7x7lj],.evidence[data-astro-cid-uzt7x7lj] h3[data-astro-cid-uzt7x7lj],.example[data-astro-cid-uzt7x7lj] h3[data-astro-cid-uzt7x7lj]{margin:0 0 var(--s-2);font-size:var(--fs-h3)}.theorem[data-astro-cid-uzt7x7lj] p[data-astro-cid-uzt7x7lj],.guarantee[data-astro-cid-uzt7x7lj] p[data-astro-cid-uzt7x7lj],.flow-step[data-astro-cid-uzt7x7lj] p[data-astro-cid-uzt7x7lj],.evidence[data-astro-cid-uzt7x7lj] p[data-astro-cid-uzt7x7lj],.example[data-astro-cid-uzt7x7lj] p[data-astro-cid-uzt7x7lj]{margin:0;color:var(--c-text-muted)}.theorem[data-astro-cid-uzt7x7lj] code[data-astro-cid-uzt7x7lj],.example[data-astro-cid-uzt7x7lj] code[data-astro-cid-uzt7x7lj]{overflow-wrap:anywhere}.theorem[data-astro-cid-uzt7x7lj] h3[data-astro-cid-uzt7x7lj] code[data-astro-cid-uzt7x7lj],.example[data-astro-cid-uzt7x7lj] h3[data-astro-cid-uzt7x7lj] code[data-astro-cid-uzt7x7lj]{border:0;background:transparent;padding:0;color:var(--c-text);font-size:.95em}.refs[data-astro-cid-uzt7x7lj]{display:flex;flex-wrap:wrap;gap:.4rem;margin-bottom:var(--s-2)!important}.refs[data-astro-cid-uzt7x7lj] code[data-astro-cid-uzt7x7lj]{color:var(--c-primary);font-size:var(--fs-mono-label)}.example-strip[data-astro-cid-uzt7x7lj]{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--s-3);margin-top:var(--s-3)}.example[data-astro-cid-uzt7x7lj]{background:color-mix(in srgb,var(--c-bg) 88%,var(--c-accent))}.example-result[data-astro-cid-uzt7x7lj]{margin-bottom:var(--s-2)!important;color:var(--c-accent)!important;font-family:var(--font-mono);font-size:var(--fs-mono-label);text-transform:uppercase}.cta[data-astro-cid-uzt7x7lj]{display:flex;align-items:center;justify-content:flex-start;gap:var(--s-5)}.cta[data-astro-cid-uzt7x7lj] h2[data-astro-cid-uzt7x7lj]{margin:var(--s-1) 0 var(--s-2)}.cta[data-astro-cid-uzt7x7lj] p[data-astro-cid-uzt7x7lj]:not(.eyebrow){max-width:68ch;margin:0;color:var(--c-text-muted)}@media(max-width:1080px){.guarantee-grid[data-astro-cid-uzt7x7lj],.evidence-grid[data-astro-cid-uzt7x7lj]{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(max-width:900px){.hero-grid[data-astro-cid-uzt7x7lj],.section-grid[data-astro-cid-uzt7x7lj],.flow-grid[data-astro-cid-uzt7x7lj],.example-strip[data-astro-cid-uzt7x7lj]{grid-template-columns:1fr}}@media(max-width:720px){.theorem-grid[data-astro-cid-uzt7x7lj],.guarantee-grid[data-astro-cid-uzt7x7lj],.evidence-grid[data-astro-cid-uzt7x7lj]{grid-template-columns:1fr}.trust-panel[data-astro-cid-uzt7x7lj] li[data-astro-cid-uzt7x7lj]{grid-template-columns:1fr;gap:.25rem}.cta[data-astro-cid-uzt7x7lj]{align-items:flex-start;flex-direction:column}}