.theme-toggle:where(.astro-3rxsxc55){border:1px solid var(--sovm-border);font-family:var(--sovm-font-mono);letter-spacing:.02em;text-transform:uppercase;color:var(--sovm-fg-muted);cursor:pointer;background:0 0;padding:.25rem .5rem;font-size:.6875rem;transition:color .15s,border-color .15s}.theme-toggle:where(.astro-3rxsxc55):hover{border-color:var(--sovm-border-strong);color:var(--sovm-fg)}.masthead-actions:where(.astro-3rxsxc55){align-items:center;gap:1rem;display:flex}@media (width>=52rem){.masthead-actions:where(.astro-3rxsxc55){margin-inline-start:auto}}.masthead-action:where(.astro-3rxsxc55){font-family:var(--sovm-font-mono);letter-spacing:.02em;text-transform:uppercase;color:var(--sovm-fg-muted);font-size:.6875rem;text-decoration:none;transition:color .15s}.masthead-action:where(.astro-3rxsxc55):hover{color:var(--sovm-fg)}@font-face{font-family:IBM Plex Serif;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/ibm-plex-serif-latin-400-normal.woff2)format("woff2")}@font-face{font-family:IBM Plex Serif;font-style:italic;font-weight:400;font-display:swap;src:url(/fonts/ibm-plex-serif-latin-400-italic.woff2)format("woff2")}@font-face{font-family:IBM Plex Serif;font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/ibm-plex-serif-latin-600-normal.woff2)format("woff2")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/ibm-plex-sans-latin-400-normal.woff2)format("woff2")}@font-face{font-family:IBM Plex Sans;font-style:italic;font-weight:400;font-display:swap;src:url(/fonts/ibm-plex-sans-latin-400-italic.woff2)format("woff2")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:500;font-display:swap;src:url(/fonts/ibm-plex-sans-latin-500-normal.woff2)format("woff2")}@font-face{font-family:IBM Plex Sans;font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/ibm-plex-sans-latin-600-normal.woff2)format("woff2")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/ibm-plex-mono-latin-400-normal.woff2)format("woff2")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(/fonts/ibm-plex-mono-latin-500-normal.woff2)format("woff2")}:root{--sovm-bg:oklch(18.5% .008 60);--sovm-surface:oklch(22.5% .009 60);--sovm-surface-raised:oklch(26.5% .01 60);--sovm-fg:oklch(94.5% .006 85);--sovm-fg-muted:oklch(71.5% .008 70);--sovm-accent:oklch(72% .115 28);--sovm-accent-strong:oklch(82% .09 28);--sovm-candour:oklch(79% .095 70);--sovm-border:oklch(32% .01 60);--sovm-border-strong:oklch(46% .011 65);--sovm-font-display:"IBM Plex Serif", Georgia, "Times New Roman", serif;--sovm-font-sans:"IBM Plex Sans", ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;--sovm-font-mono:"IBM Plex Mono", ui-monospace, "SF Mono", "Cascadia Mono", Menlo, Consolas, monospace;--sovm-measure:68rem}:root[data-theme=light]{--sovm-bg:oklch(96.8% .006 85);--sovm-surface:oklch(94.3% .007 85);--sovm-surface-raised:oklch(91.5% .009 85);--sovm-fg:oklch(21.2% .008 60);--sovm-fg-muted:oklch(45.2% .009 60);--sovm-accent:oklch(41.2% .126 28);--sovm-accent-strong:oklch(34% .12 28);--sovm-candour:oklch(47.2% .086 62);--sovm-border:oklch(84.5% .009 85);--sovm-border-strong:oklch(62% .011 70)}.label-mono{font-family:var(--sovm-font-mono);letter-spacing:.02em;text-transform:uppercase;color:var(--sovm-fg-muted);font-size:.75rem}*,:before,:after{box-sizing:border-box}body{background:var(--sovm-bg);color:var(--sovm-fg);font-family:var(--sovm-font-sans);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;margin:0;font-size:16px;line-height:1.6}h1,h2,h3,h4{font-family:var(--sovm-font-display);letter-spacing:-.005em;margin:0;font-weight:600}p{margin:0}a{color:var(--sovm-accent);text-underline-offset:4px}a:hover{color:var(--sovm-accent-strong)}.shell{flex-direction:column;min-height:100vh;display:flex}.shell>main{flex:1}.measure{max-width:var(--sovm-measure);margin-inline:auto;padding-inline:1.5rem}.masthead{border-bottom:1px solid var(--sovm-border-strong);background:var(--sovm-bg)}.masthead-nav{flex-wrap:wrap;align-items:center;gap:.5rem 1.5rem;padding-block:.75rem;display:flex}.masthead-wordmark{font-family:var(--sovm-font-mono);letter-spacing:.06em;color:var(--sovm-fg);font-size:.875rem;font-weight:500;text-decoration:none}.masthead-links{flex-wrap:wrap;gap:1.25rem;display:flex}.masthead-links a{font-family:var(--sovm-font-mono);color:var(--sovm-fg-muted);font-size:.75rem;text-decoration:none;transition:color .15s}.masthead-links a:hover{color:var(--sovm-accent);text-decoration:underline}.masthead-links a[aria-current=page]{color:var(--sovm-fg);text-decoration:underline}.masthead-spec{font-family:var(--sovm-font-mono);font-size:.75rem;text-decoration:underline}@media (width>=52rem){.masthead-spec{margin-inline-start:auto}}.section{border-top:1px solid var(--sovm-border)}.section-body{padding-block:4rem}.section-label{border-bottom:1px solid var(--sovm-border);font-family:var(--sovm-font-mono);letter-spacing:.02em;text-transform:uppercase;color:var(--sovm-fg);white-space:pre-wrap;margin-bottom:2.5rem;padding-bottom:.75rem;font-size:.75rem}.label-run{white-space:pre-wrap}.split{gap:2.5rem;display:grid}@media (width>=52rem){.split{grid-template-columns:1fr 1fr;gap:3.5rem}}.claim{max-width:36rem;color:var(--sovm-fg);font-size:1.5rem;line-height:1.35}@media (width>=52rem){.claim{font-size:1.75rem}}.prose{max-width:36rem;color:var(--sovm-fg-muted);gap:1rem;margin-top:1.25rem;font-size:.9375rem;line-height:1.75;display:grid}.prose strong{color:var(--sovm-fg);font-weight:600}.facts{border-top:1px solid var(--sovm-border-strong)}.fact{border-bottom:1px solid var(--sovm-border);gap:.25rem;padding-block:1rem;display:grid}.facts>.fact:last-child{border-bottom:0}@media (width>=52rem){.fact{grid-template-columns:10rem 1fr;gap:1.5rem}}.fact-key{font-family:var(--sovm-font-mono);letter-spacing:.02em;text-transform:uppercase;color:var(--sovm-fg);font-size:.75rem}.fact-value{color:var(--sovm-fg-muted);font-size:.875rem;line-height:1.6}.candour-list{gap:1rem;display:grid}.candour{border:1px solid var(--sovm-border);background:var(--sovm-surface)}.candour-title{border-bottom:1px solid var(--sovm-border);background:var(--sovm-surface-raised);font-family:var(--sovm-font-mono);letter-spacing:.02em;text-transform:uppercase;color:var(--sovm-candour);padding:.5rem 1rem;font-size:.75rem}.candour-body{color:var(--sovm-fg-muted);padding:.75rem 1rem;font-size:.875rem;line-height:1.6}.link-candour{font-family:var(--sovm-font-mono);color:var(--sovm-candour);font-size:.75rem;text-decoration:underline}.link-candour:hover{color:var(--sovm-candour)}.link-mono{font-family:var(--sovm-font-mono);font-size:.75rem;text-decoration:underline}.link-row{flex-wrap:wrap;gap:1rem;margin-top:1.75rem;display:flex}.page-header{padding-block:3.5rem 3rem}.page-header h1{max-width:48rem;margin-top:1.25rem;font-size:1.875rem;line-height:1.2}@media (width>=52rem){.page-header h1{font-size:2.5rem}}.page-header .lede{max-width:42rem;color:var(--sovm-fg-muted);margin-top:1.25rem;font-size:1rem;line-height:1.75}.page-header .candour{max-width:42rem;margin-top:1.75rem}.abstract{border-bottom:1px solid var(--sovm-border)}.abstract-body{padding-block:3.5rem}@media (width>=62rem){.abstract-body{grid-template-columns:minmax(0,36rem) minmax(0,1fr);align-items:center;gap:4rem;display:grid}}.abstract-figure{display:none}@media (width>=62rem){.abstract-figure{justify-content:center;display:flex}}.abstract-mark{width:100%;max-width:17rem;height:auto;color:var(--sovm-fg)}.abstract h1{max-width:36rem;margin-top:1.25rem;font-size:1.875rem;line-height:1.15}@media (width>=52rem){.abstract h1{font-size:2.75rem}}.abstract .lede{max-width:36rem;color:var(--sovm-fg-muted);margin-top:1.25rem;font-size:1rem;line-height:1.75}.abstract-actions{font-family:var(--sovm-font-mono);flex-wrap:wrap;align-items:center;gap:.75rem 1.5rem;margin-top:2rem;font-size:.75rem;display:flex}.action-primary{border:1px solid var(--sovm-border-strong);background:var(--sovm-surface);color:var(--sovm-fg);padding:.5rem 1rem;text-decoration:none;transition:border-color .15s,color .15s}.action-primary:hover{border-color:var(--sovm-accent);color:var(--sovm-accent)}.project-status-masthead{font-family:var(--sovm-font-mono);letter-spacing:.02em;text-transform:uppercase;color:var(--sovm-fg-muted);font-size:.6875rem}.project-status-tiny{padding-block:.875rem 0;line-height:1.45}.project-status{border-top:1px solid var(--sovm-border);border-bottom:1px solid var(--sovm-border);justify-items:start;gap:.375rem;padding-block:.875rem;display:grid}.project-status-note{font-family:var(--sovm-font-mono);color:var(--sovm-fg);font-size:.75rem}.project-status-announcement{max-width:68ch;color:var(--sovm-fg-muted);line-height:1.55}.doors{border-top:1px solid var(--sovm-border);display:grid}@media (width>=52rem){.doors{border-top:0;grid-template-columns:repeat(auto-fit,minmax(18rem,1fr))}}.deeper-label{border-bottom:1px solid var(--sovm-border);color:var(--sovm-fg);margin-top:3rem;padding-bottom:.75rem}.door{border-bottom:1px solid var(--sovm-border);color:inherit;flex-direction:column;padding-block:1.75rem;text-decoration:none;display:flex}@media (width>=52rem){.door{border-bottom:0;border-left:1px solid var(--sovm-border);padding-inline:1.75rem}.door:first-child{border-left:0;padding-inline-start:0}}.door-claim{font-family:var(--sovm-font-display);color:var(--sovm-fg);margin-top:1rem;font-size:1.125rem;font-weight:600;line-height:1.35;transition:color .15s}.door:hover .door-claim{color:var(--sovm-accent)}.door-points{color:var(--sovm-fg-muted);gap:.5rem;margin:1.25rem 0 0;padding:0;font-size:.875rem;line-height:1.55;list-style:none;display:grid}.door-points li{grid-template-columns:1rem 1fr;display:grid}.door-points li:before{content:"o";font-family:var(--sovm-font-mono);color:var(--sovm-fg-muted)}.door-more{font-family:var(--sovm-font-mono);color:var(--sovm-accent);margin-top:1.5rem;font-size:.75rem;text-decoration:underline}.listing{border-top:1px solid var(--sovm-border)}.listing-row{border-bottom:1px solid var(--sovm-border);gap:.25rem;padding-block:1rem;display:grid}@media (width>=52rem){.listing-row{grid-template-columns:3rem 16rem 1fr;gap:1.5rem}}.listing-num{font-family:var(--sovm-font-mono);color:var(--sovm-fg-muted);font-size:.75rem}.listing-title{font-family:var(--sovm-font-mono);text-transform:uppercase;color:var(--sovm-fg);font-size:.75rem}.listing-note{color:var(--sovm-fg-muted);font-size:.875rem;line-height:1.6}.refs{border-top:1px solid var(--sovm-border)}.ref{border-bottom:1px solid var(--sovm-border);gap:.25rem;padding-block:1rem;text-decoration:none;display:grid}@media (width>=52rem){.ref{grid-template-columns:16rem 1fr;gap:1.5rem}}.ref-title{font-family:var(--sovm-font-mono);color:var(--sovm-accent);font-size:.75rem;text-decoration:underline}.ref-note{color:var(--sovm-fg-muted);font-size:.875rem;line-height:1.6}.invariants{border-top:1px solid var(--sovm-border-strong);display:grid}.invariant{border-bottom:1px solid var(--sovm-border);padding-block:1.5rem}@media (width>=52rem){.invariants{border-bottom:1px solid var(--sovm-border);grid-template-columns:repeat(3,1fr);column-gap:2.5rem}.invariant{border-bottom:0}}.invariant-equation{font-family:var(--sovm-font-mono);color:var(--sovm-fg);font-size:.875rem}.invariant-body{color:var(--sovm-fg-muted);margin-top:.75rem;font-size:.875rem;line-height:1.6}.comparisons{border-top:1px solid var(--sovm-border-strong)}.comparison{border-bottom:1px solid var(--sovm-border);gap:.75rem;padding-block:1.5rem;display:grid}@media (width>=52rem){.comparison{grid-template-columns:16rem 1fr;gap:1.5rem}}.comparison-name{font-family:var(--sovm-font-mono);color:var(--sovm-fg);font-size:.75rem;line-height:1.5}.comparison-body{max-width:40rem;color:var(--sovm-fg-muted);gap:.75rem;font-size:.9375rem;line-height:1.7;display:grid}.comparison-with{font-family:var(--sovm-font-mono);color:var(--sovm-fg);font-size:.75rem;line-height:1.6}.cases{border-top:1px solid var(--sovm-border-strong)}.case{gap:2rem;padding-block:2rem;display:grid}.case+.case{border-top:1px solid var(--sovm-border)}@media (width>=52rem){.case{grid-template-columns:16rem 1fr;gap:1.5rem}}.case-title{font-family:var(--sovm-font-display);margin-top:.75rem;font-size:1.125rem;font-weight:600;line-height:1.35}.aside-box{border:1px solid var(--sovm-border);background:var(--sovm-surface);font-family:var(--sovm-font-mono);color:var(--sovm-fg-muted);margin-top:1.5rem;padding:1rem 1.25rem;font-size:.75rem;line-height:1.6}.aside-box p:first-child{color:var(--sovm-fg)}.aside-box p+p{margin-top:.5rem}.aside-box code{color:var(--sovm-fg);font-family:inherit}.pull{border-left:2px solid var(--sovm-border-strong);max-width:36rem;font-family:var(--sovm-font-display);color:var(--sovm-fg);margin-top:1.25rem;padding-left:1.25rem;font-size:1.125rem;line-height:1.45}.pull+.prose{margin-top:1.25rem}.figure{border:1px solid var(--sovm-border-strong);background:var(--sovm-surface);margin:0}.claim+.figure{margin-top:2rem}.figure-head{border-bottom:1px solid var(--sovm-border);padding:.5rem 1rem}.figure-body{padding:1.5rem 1rem}.figure figcaption{border-top:1px solid var(--sovm-border);font-family:var(--sovm-font-mono);color:var(--sovm-fg-muted);padding:.75rem 1rem;font-size:.75rem;line-height:1.5}.section-body>.figure{margin-block:2.5rem}.site-footer{border-top:1px solid var(--sovm-border-strong)}.site-footer-body{gap:2rem;padding-block:2.5rem;display:grid}@media (width>=52rem){.site-footer-body{grid-template-columns:1fr auto}}.site-footer-wordmark{font-family:var(--sovm-font-mono);letter-spacing:.06em;font-size:.875rem}.site-footer-note{max-width:36rem;color:var(--sovm-fg-muted);margin-top:.75rem;font-size:.875rem;line-height:1.6}.site-footer-nav{font-family:var(--sovm-font-mono);flex-direction:column;gap:.5rem;font-size:.75rem;display:flex}@media (width>=52rem){.site-footer-nav{text-align:right}}.site-footer-nav a{color:var(--sovm-fg-muted);text-decoration:none}.site-footer-nav a:hover{color:var(--sovm-accent);text-decoration:underline}@media (prefers-reduced-motion:reduce){*{transition-duration:.01ms!important;animation-duration:.01ms!important}}