.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)}@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-block{font-family:var(--sovm-font-mono);color:var(--sovm-fg-muted);gap:.25rem;padding-block:1.25rem .75rem;font-size:.75rem;line-height:1.45;display:grid}@media (width>=40rem){.masthead-block{grid-template-columns:1fr 1fr}.masthead-block>div:last-child{text-align:right}}.masthead-nav{border-top:1px solid var(--sovm-border);flex-wrap:wrap;align-items:center;gap:.5rem 1.5rem;padding-block:.625rem;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}.abstract{border-bottom:1px solid var(--sovm-border)}.abstract-body{padding-block:3.5rem}.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)}.status-list{border-top:1px solid var(--sovm-border);font-family:var(--sovm-font-mono);margin:2.25rem 0 0;font-size:.75rem}.status-row{border-bottom:1px solid var(--sovm-border);gap:.25rem;padding-block:.5rem;display:grid}@media (width>=40rem){.status-row{grid-template-columns:6rem 1fr;gap:1rem}}.status-row dt{text-transform:uppercase;color:var(--sovm-fg-muted);margin:0}.status-row dd{color:var(--sovm-fg);margin:0}.doors{border-top:1px solid var(--sovm-border);display:grid}@media (width>=52rem){.doors{border-top:0;grid-template-columns:repeat(3,1fr)}}.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}.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}.case-boundary{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}.case-boundary p:first-child{color:var(--sovm-fg)}.case-boundary p+p{margin-top:.5rem}.figure{border:1px solid var(--sovm-border-strong);background:var(--sovm-surface);margin:0}.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}.zone{border:1px solid var(--sovm-border-strong);background:var(--sovm-surface-raised);padding:1rem}.zone-trusted{border-style:dashed}.zone-nodes{gap:.75rem;margin-top:.75rem;display:grid}@media (width>=30rem){.zone-nodes{grid-template-columns:1fr 1fr}}.node-box{border:1px solid var(--sovm-border-strong);background:var(--sovm-bg);padding:.75rem 1rem}.node-title{font-family:var(--sovm-font-mono);letter-spacing:.03em;text-transform:uppercase;color:var(--sovm-accent);font-size:.6875rem}.node-body{font-family:var(--sovm-font-mono);color:var(--sovm-fg-muted);margin-top:.25rem;font-size:.6875rem;line-height:1.5}.object-box{border:1px solid var(--sovm-border-strong);background:var(--sovm-bg);padding:.75rem 1rem}.object-title{font-family:var(--sovm-font-mono);letter-spacing:.03em;text-transform:uppercase;color:var(--sovm-fg);font-size:.6875rem}.arrows{grid-template-columns:1fr 1fr;display:grid}.arrow{flex-direction:column;align-items:center;gap:.25rem;padding-block:.5rem;display:flex}.arrow-line{background:var(--sovm-border-strong);width:1px;height:1.5rem}.arrow-head{font-family:var(--sovm-font-mono);color:var(--sovm-fg);font-size:.75rem}.arrow-label{font-family:var(--sovm-font-mono);letter-spacing:.05em;text-transform:uppercase;color:var(--sovm-fg-muted);font-size:.625rem}.chips{flex-wrap:wrap;gap:.5rem;margin-top:.75rem;display:flex}.chip{border:1px solid var(--sovm-border);background:var(--sovm-bg);font-family:var(--sovm-font-mono);color:var(--sovm-fg-muted);padding:.25rem .5rem;font-size:.625rem}.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}}