.risk-provenance[data-astro-cid-vevcdgsu]{border-top:1px solid color-mix(in srgb, var(--color-line) 78%, transparent);margin-top:.8rem;padding-top:.65rem;position:relative}.risk-provenance[data-astro-cid-vevcdgsu] summary[data-astro-cid-vevcdgsu]{width:fit-content;color:var(--color-muted);font-family:var(--font-mono);letter-spacing:.065em;text-transform:uppercase;cursor:pointer;align-items:center;gap:.4rem;font-size:.61rem;font-weight:650;list-style:none;display:flex}.risk-provenance[data-astro-cid-vevcdgsu] summary[data-astro-cid-vevcdgsu]::-webkit-details-marker{display:none}.risk-provenance[data-astro-cid-vevcdgsu] summary[data-astro-cid-vevcdgsu]:hover,.risk-provenance[data-astro-cid-vevcdgsu][open] summary[data-astro-cid-vevcdgsu]{color:var(--color-signal)}.proof-mark[data-astro-cid-vevcdgsu]{border:1px solid;border-radius:50%;place-items:center;width:1rem;height:1rem;font-size:.58rem;line-height:1;display:inline-grid}.risk-provenance[data-astro-cid-vevcdgsu] summary[data-astro-cid-vevcdgsu] b[data-astro-cid-vevcdgsu]{color:var(--color-accent);font-size:.8rem;font-weight:400;transition:transform .16s}.risk-provenance[data-astro-cid-vevcdgsu][open] summary[data-astro-cid-vevcdgsu] b[data-astro-cid-vevcdgsu]{transform:rotate(45deg)}.proof-panel[data-astro-cid-vevcdgsu]{z-index:4;border:1px solid color-mix(in srgb, var(--color-signal) 28%, var(--color-line));background:color-mix(in srgb, var(--color-surface-2) 96%, var(--color-ink));border-radius:10px 3px 10px 10px;gap:.85rem;margin-top:.65rem;padding:.85rem;display:grid;position:relative;box-shadow:0 16px 40px #00000038}.proof-reading[data-astro-cid-vevcdgsu]{grid-template-columns:minmax(0,1fr) auto;align-items:baseline;gap:.18rem .75rem;display:grid}.proof-reading[data-astro-cid-vevcdgsu]>span[data-astro-cid-vevcdgsu]{color:var(--color-paper);font-size:.76rem;font-weight:650}.proof-reading[data-astro-cid-vevcdgsu] strong[data-astro-cid-vevcdgsu]{color:var(--color-signal);font-family:var(--font-display);grid-area:1/2/3;font-size:1.4rem}.proof-reading[data-astro-cid-vevcdgsu] strong[data-astro-cid-vevcdgsu] small[data-astro-cid-vevcdgsu]{color:var(--color-muted);font-size:.58rem}.proof-reading[data-astro-cid-vevcdgsu] em[data-astro-cid-vevcdgsu]{color:var(--color-muted);font-family:var(--font-mono);text-transform:uppercase;font-size:.59rem;font-style:normal}.proof-panel[data-astro-cid-vevcdgsu] dl[data-astro-cid-vevcdgsu]{gap:.45rem;display:grid}.proof-panel[data-astro-cid-vevcdgsu] dl[data-astro-cid-vevcdgsu] div[data-astro-cid-vevcdgsu]{border-bottom:1px dashed var(--color-line);grid-template-columns:7rem minmax(0,1fr);gap:.65rem;padding-bottom:.4rem;display:grid}.proof-panel[data-astro-cid-vevcdgsu] dt[data-astro-cid-vevcdgsu]{color:var(--color-muted);font-family:var(--font-mono);letter-spacing:.06em;text-transform:uppercase;font-size:.57rem}.proof-panel[data-astro-cid-vevcdgsu] dd[data-astro-cid-vevcdgsu]{color:var(--color-paper);font-size:.66rem;line-height:1.45}.proof-method[data-astro-cid-vevcdgsu],.proof-caveat[data-astro-cid-vevcdgsu]{color:var(--color-muted);font-size:.65rem;line-height:1.52}.proof-warnings[data-astro-cid-vevcdgsu]{color:var(--color-amber);padding-left:1rem;font-size:.65rem;line-height:1.5}.proof-formula[data-astro-cid-vevcdgsu]{color:var(--color-paper);font-family:var(--font-mono);gap:.35rem;padding-left:1.15rem;font-size:.58rem;line-height:1.45;display:grid}.proof-actions[data-astro-cid-vevcdgsu]{flex-wrap:wrap;gap:.45rem;display:flex}.proof-actions[data-astro-cid-vevcdgsu] a[data-astro-cid-vevcdgsu],.proof-actions[data-astro-cid-vevcdgsu] button[data-astro-cid-vevcdgsu]{border:1px solid var(--color-line);color:var(--color-paper);font-family:var(--font-mono);letter-spacing:.045em;text-transform:uppercase;cursor:pointer;background:0 0;border-radius:999px;padding:.35rem .58rem;font-size:.57rem}.proof-actions[data-astro-cid-vevcdgsu] a[data-astro-cid-vevcdgsu]:hover,.proof-actions[data-astro-cid-vevcdgsu] button[data-astro-cid-vevcdgsu]:hover{border-color:var(--color-signal);color:var(--color-signal)}.is-compact[data-astro-cid-vevcdgsu][open]{z-index:20}.is-compact[data-astro-cid-vevcdgsu] .proof-panel[data-astro-cid-vevcdgsu]{width:min(20rem,100vw - 3rem);padding:.72rem}@media (width<=480px){.is-compact[data-astro-cid-vevcdgsu] .proof-panel[data-astro-cid-vevcdgsu]{width:100%}.proof-panel[data-astro-cid-vevcdgsu] dl[data-astro-cid-vevcdgsu] div[data-astro-cid-vevcdgsu]{grid-template-columns:1fr;gap:.15rem}}