:root{--paper: #fafaf8;--section-alt: #f5f5f3;--paper-raised: #ffffff;--paper-2: #f5f5f3;--paper-3: #efeee8;--ink: #1a1a1a;--ink-soft: #3e3e3e;--muted: #6f6c64;--accent: #0a1a2f;--accent-strong: #0a1a2f;--steel: #2f5d7c;--interactive: var(--empirical);--proven: #b0892f;--empirical: #138a86;--conjectural: #6b5fb0;--dropped: #8a8576;--backlight: rgba(244, 236, 216, 0);--navy: #0a1a2f;--navy-2: #2f5d7c;--hair: rgba(26,26,26,.1);--hair-strong: rgba(26,26,26,.16);--shadow-hairline: 0 0 0 1px rgba(26,26,26,.08);--frame-rule: rgba(26,26,26,.14);--panel-navy: #0a1a2f;--rc-active-fill: #f0fbfa;--font-body: "Spectral", Georgia, ui-serif, "Times New Roman", serif;--font-ui: ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;--font-pres: "IBM Plex Serif", Georgia, serif;--font-mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--ui: var(--font-ui);--serif: var(--font-pres);--mono: var(--font-mono);--rail: 232px;--content: 720px}*{box-sizing:border-box}html,body,#root{height:100%}body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--font-body);font-size:20px;line-height:1.7;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}h1,h2,h3,h4,h5,h6{font-family:var(--font-ui);letter-spacing:-.01em}a{color:inherit;text-decoration:none}a:hover{color:var(--accent)}::selection{background:#2f5d7c2e}.shell{min-height:100%;display:flex;flex-direction:column;overflow-x:clip}.shell-main{flex:1}.page-loading{min-height:60vh}.topnav{position:sticky;top:0;z-index:50;display:flex;align-items:center;gap:28px;padding:0 28px;height:60px;background:#fafaf8f2;-webkit-backdrop-filter:saturate(140%) blur(8px);backdrop-filter:saturate(140%) blur(8px);border-bottom:1px solid var(--hair)}.brand{display:flex;align-items:baseline;gap:9px;font-family:var(--font-ui);font-weight:700;letter-spacing:-.01em}.brand .mark{color:var(--accent)}.brand .sub{font-weight:500;color:var(--muted);font-size:13px;letter-spacing:.02em}.topnav nav{display:flex;gap:22px;margin-left:auto;font-family:var(--font-ui);font-size:14px;font-weight:500}.topnav nav a{color:var(--ink-soft);padding:4px 0;border-bottom:2px solid transparent}.topnav nav a:hover{color:var(--ink)}.topnav nav a.active{color:var(--ink);border-bottom-color:var(--accent)}@media (max-width: 700px){.topnav{gap:14px;padding:0 16px}.topnav nav{gap:16px;min-width:0;overflow-x:auto;-webkit-overflow-scrolling:touch;scrollbar-width:none}.topnav nav::-webkit-scrollbar{display:none}.topnav nav a{white-space:nowrap}}.footer{border-top:1px solid var(--hair);margin-top:64px;padding:28px;color:var(--muted);font-family:var(--font-ui);font-size:13px;display:flex;gap:18px;flex-wrap:wrap;align-items:baseline}.footer .sep{color:var(--hair-strong)}.footer a{border-bottom:1px solid transparent}.footer a:hover{color:var(--ink)}.skip-link{position:absolute;left:12px;top:-48px;z-index:100;padding:8px 14px;background:var(--paper-raised);color:var(--ink);font-family:var(--font-ui);font-size:14px;font-weight:600;border-radius:6px;box-shadow:var(--shadow-hairline),0 6px 20px #0000002e;transition:top .16s ease}.skip-link:focus{top:10px;outline:2px solid var(--steel);outline-offset:2px}.shell-main:focus{outline:none}.shell-main:focus-visible{outline:none}.topnav nav a:focus-visible,.brand:focus-visible,.footer a:focus-visible,.rail a:focus-visible,.eyebrow-crumbs .crumb:focus-visible,.entry:focus-visible,.progcard:focus-visible,.idxcard:focus-visible,.sidenote summary:focus-visible,.cite a:focus-visible,.prose a:focus-visible,.article a:focus-visible{outline:2px solid var(--steel);outline-offset:2px;border-radius:2px}button:focus-visible{outline:2px solid var(--steel);outline-offset:2px}.page{max-width:1180px;margin:0 auto;padding:0 28px}.page-grid{display:grid;grid-template-columns:220px minmax(0,1fr) 280px;gap:56px;align-items:start}.page-grid.no-toc{grid-template-columns:minmax(0,1fr) 280px}.page-content{max-width:800px;margin:0 auto;width:100%;min-width:0}.page.page-article{max-width:1360px}.page-content.is-article{max-width:1050px;margin:0;min-width:0}@media (min-width: 1101px){.page-article .page-grid.no-toc{grid-template-columns:minmax(0,1fr) 244px;column-gap:52px}.page-article .page-grid:not(.no-toc){grid-template-columns:220px minmax(0,1fr);column-gap:52px}}@media (min-width: 1360px){.page-article .page-grid:not(.no-toc){grid-template-columns:220px minmax(0,1fr) 244px;column-gap:52px}}.page.page-article:has(.prov-leftrail){max-width:1560px}.article-solo>.page-content.is-article{max-width:1080px;margin:0 auto}:root{--art-glow-steel: rgba(70, 130, 180, .15)}.page.page-article{position:relative}.page.page-article>*{position:relative;z-index:1}.article-header{position:relative}.page.page-article:before{content:"";position:absolute;z-index:0;top:-16px;left:50%;margin-left:-50vw;width:100vw;height:480px;pointer-events:none;background:radial-gradient(ellipse 40% 78% at 18% 42%,var(--art-glow-steel) 0%,transparent 72%);filter:blur(90px);will-change:transform,opacity;animation:articleGlow 20s ease-in-out infinite}.page.page-article[data-glow=off]:before{display:none}.article-rule{max-width:1050px;margin:32px 0 0;border:none;height:1px;background:linear-gradient(90deg,transparent,var(--hair) 6%,var(--hair) 70%,transparent 96%)}@keyframes articleGlow{0%{transform:translate3d(-1%,0,0);opacity:.9}50%{transform:translate3d(-4%,0,0);opacity:1}to{transform:translate3d(-1%,0,0);opacity:.9}}.page-article .article-header .page-title{background-image:linear-gradient(168deg,var(--art-h1, var(--ink)) 55%,#4f86b8 100%);-webkit-background-clip:text;background-clip:text;-webkit-text-fill-color:transparent;padding-bottom:.14em;margin-bottom:-.14em}.article p,.article li{font-variant-numeric:oldstyle-nums}.article .m,.article .katex,.article code,.article pre,.article .chip,.article .mono{font-variant-numeric:lining-nums}@media (prefers-reduced-motion: reduce){.page.page-article:before{animation:none;transform:none;opacity:.9}}.page.page-wide{max-width:min(1600px,100% - 56px)}.page-grid.is-wide{grid-template-columns:minmax(0,1fr);gap:56px}.page-grid.is-wide:not(.no-toc){grid-template-columns:220px minmax(0,1fr)}.page-content.is-wide{max-width:none;width:100%;margin:0;min-width:0}@media (max-width: 880px){.page-grid.is-wide,.page-grid.is-wide.no-toc{grid-template-columns:1fr;gap:22px}}@media (max-width: 1100px){.page-grid:not(.is-wide){grid-template-columns:220px minmax(0,1fr);grid-template-areas:"toc content" "toc rail"}.page-grid.no-toc:not(.is-wide){grid-template-columns:minmax(0,1fr);grid-template-areas:"content" "rail"}.page-grid>.rail{grid-area:toc}.page-grid>.page-content{grid-area:content}.page-grid>.margin-rail{grid-area:rail}.margin-rail{position:static;border-left:none;padding-left:0;margin-top:24px;max-width:800px}.page-grid:not(.no-toc)>.margin-rail{margin-left:auto;margin-right:auto}.page-grid.is-provenance>.margin-rail{border-left:none;padding-left:0;border-top:1px solid var(--hair-strong);padding-top:22px;max-width:none}}@media (max-width: 880px){.page-grid:not(.is-wide),.page-grid.no-toc:not(.is-wide){grid-template-columns:1fr;grid-template-areas:"toc" "content" "rail";gap:22px}}.rail{position:sticky;top:88px;align-self:start;padding-top:8px}.rail .rail-title{font-family:var(--font-ui);font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--muted);margin-bottom:10px}.rail ul{list-style:none;margin:0;padding:0;border-left:1px solid var(--hair)}.rail li a{display:block;font-family:var(--font-ui);padding:5px 0 5px 14px;margin-left:-1px;font-size:13.5px;color:var(--muted);border-left:2px solid transparent}.rail li a:hover{color:var(--ink)}.rail li a.active{color:var(--ink);border-left-color:var(--accent);font-weight:500}@media (max-width: 880px){.rail{position:static}.rail ul{display:flex;flex-wrap:wrap;gap:6px;border-left:none}.rail li a{border:1px solid var(--hair);border-radius:999px;padding:4px 12px;margin:0}.rail li a.active{border-color:var(--accent)}}.eyebrow{font-family:var(--font-ui);font-size:11px;letter-spacing:.16em;text-transform:uppercase;color:var(--accent);font-weight:600}.page-title{font-family:var(--font-ui);font-weight:700;font-size:42px;line-height:1.08;letter-spacing:-.01em;margin:10px 0 0}.lede{font-family:var(--font-body);font-size:20px;line-height:1.5;color:var(--ink-soft);margin:16px 0 0;max-width:60ch}.section-head{padding-top:52px}.section-head h2{font-family:var(--font-ui);font-weight:700;font-size:27px;letter-spacing:-.01em;margin:0}.section-head .kicker{font-family:var(--font-ui);font-size:11px;letter-spacing:.16em;text-transform:uppercase;color:var(--muted);font-weight:600;margin-bottom:6px}.prose{font-family:var(--font-body);font-size:18px;line-height:1.7;color:var(--ink);max-width:68ch}.prose p{margin:16px 0}.prose em{font-style:italic}.prose strong{font-weight:600}.prose .run{margin:14px 0}.prose .run .tag{font-family:var(--font-ui);font-weight:600;font-size:12.5px;letter-spacing:.04em;text-transform:uppercase;color:var(--accent);margin-right:10px}.prose a{color:var(--steel);border-bottom:1px solid var(--hair-strong)}.prose a:hover{color:var(--accent);border-bottom-color:var(--accent)}:root{--art-ink: #0a0a0a;--art-h1: #1a1a1a;--art-h2: #0a0a0a;--art-heading: #2f5d7c;--art-quote-bg: rgba(26, 26, 26, .03);--art-quote-bd: rgba(26, 26, 26, .15);--art-hr: rgba(26, 26, 26, .06);--art-code-bg: #1e232b;--art-shiki-bg: #1e232b;--art-code-fg: #f5f3ef;--art-code-bd: rgba(255, 255, 255, .06)}.article{font-family:var(--font-body);font-size:20px;font-weight:400;line-height:34px;color:var(--art-ink);max-width:1050px;padding:56px 24px 96px;min-width:0}.article h1{font-family:var(--font-pres);font-size:36px;font-weight:600;line-height:40px;letter-spacing:-.9px;color:var(--art-h1);margin:0 0 16px}.article h2{font-family:var(--font-ui);font-size:30px;font-weight:600;line-height:39px;letter-spacing:-.3px;color:var(--art-heading);margin:60px 0 18px}.article h3{font-family:var(--font-ui);font-size:23px;font-weight:600;line-height:30px;letter-spacing:-.2px;color:var(--art-h2);margin:44px 0 14px}.article p{font-family:var(--font-body);font-size:20px;line-height:34px;margin:0 0 28px}.article strong{font-weight:600}.article em{font-style:italic}.article blockquote{font-family:var(--font-body);font-style:italic;font-size:20px;line-height:34px;color:var(--ink);background:var(--art-quote-bg);border-left:3px solid var(--art-quote-bd);border-radius:0 6px 6px 0;padding:20px 24px;margin:32px 0}.article blockquote p{margin:0}.article hr{border:none;border-top:1px solid var(--art-hr);height:0;margin:48px 0}.article ul,.article ol{font-family:var(--font-body);font-size:20px;line-height:34px;margin:12px 0;padding-left:24px}.article ul{list-style:none}.article ul>li{position:relative;margin:6px 0}.article ul>li:before{content:"•";position:absolute;left:-18px;color:var(--art-ink)}.article ol{list-style:decimal}.article ol>li{margin:6px 0}.article a{color:inherit;text-decoration:underline;text-underline-offset:3px;border-bottom:none}.article a:hover{color:inherit}.article pre{background:var(--art-code-bg);border:1px solid var(--art-code-bd);border-radius:6px;padding:24px;margin:32px 0;overflow-x:auto}.article pre code{font-family:var(--font-mono);font-size:13px;line-height:22.1px;color:var(--art-code-fg);background:none;padding:0}.article :not(pre)>code{font-family:var(--font-mono);font-size:.86em;color:var(--ink)}.article .code-panel{display:block}.article .shiki,.article pre.code-panel-fallback{background:var(--art-shiki-bg)!important;border:1px solid var(--art-code-bd);border-radius:6px;padding:24px;margin:32px 0;overflow-x:auto}.article .shiki code,.article pre.code-panel-fallback code{display:block;font-family:var(--font-mono);font-size:13px;line-height:22.1px;color:var(--art-code-fg);background:none;padding:0}.article .shiki{color:var(--art-code-fg)!important}.article .shiki .line{display:block;min-height:1em}.article .codetabs{margin:32px 0;border:1px solid var(--art-code-bd);border-radius:6px;overflow:hidden;background:var(--art-shiki-bg)}.article .codetabs-tablist{display:flex;flex-wrap:wrap;gap:2px;padding:8px 10px 0;border-bottom:1px solid rgba(255,255,255,.08)}.article .codetabs-tab{font-family:var(--font-mono);font-size:11px;letter-spacing:.12em;color:#f5f3ef8c;background:none;border:0;border-bottom:2px solid transparent;padding:7px 12px;cursor:pointer;transition:color .15s ease,border-color .15s ease}.article .codetabs-tab:hover{color:#f5f3efd9}.article .codetabs-tab:focus-visible{outline:2px solid var(--steel);outline-offset:-2px}.article .codetabs-tab.is-active{color:var(--art-code-fg);border-bottom-color:var(--steel)}.article .codetabs-panel .shiki,.article .codetabs-panel pre.code-panel-fallback{margin:0;border:0;border-radius:0}.ai-prompt{--ap-bg: #1c1c1e;--ap-fg: #f5f3ef;background:var(--ap-bg);border:1px solid rgba(255,255,255,.08);border-radius:6px;margin:32px 0;overflow:hidden}.ai-prompt-head{display:flex;align-items:center;justify-content:space-between;padding:10px 16px;border-bottom:1px solid rgba(255,255,255,.07)}.ai-prompt-eyebrow{font-family:var(--font-mono);font-size:10.5px;letter-spacing:.18em;color:#f5f3ef8c}.ai-prompt-copy{font-family:var(--font-mono);font-size:11.5px;color:var(--ap-fg);background:#ffffff0f;border:1px solid rgba(255,255,255,.14);border-radius:5px;padding:5px 12px;cursor:pointer;transition:background .15s ease,border-color .15s ease}.ai-prompt-copy:hover{background:#ffffff1f}.ai-prompt-copy:focus-visible{outline:2px solid var(--steel);outline-offset:2px}.ai-prompt-copy.is-copied{color:#9fd3a6;border-color:#9fd3a673;background:#9fd3a61f}.ai-prompt-body{margin:0;padding:24px;overflow-x:auto;background:var(--ap-bg)}.ai-prompt-body code{font-family:var(--font-mono);font-size:13px;line-height:1.7;color:var(--ap-fg);background:none;padding:0;white-space:pre-wrap;word-break:break-word}@media (max-width: 1100px){.page-content.is-article{margin:0 auto}}@media (max-width: 700px){.article{padding:32px 4px 64px;font-size:19px}.article h1{font-size:30px;line-height:36px}.article h2{font-size:25px;line-height:32px}.article pre{padding:16px}}.m{font-family:var(--font-pres);font-style:italic}.mono{font-family:var(--font-mono);font-size:.86em}.divider{height:1px;background:var(--hair);border:none;margin:40px 0}.card{border:1px solid var(--hair);border-radius:6px;background:var(--paper-raised);padding:22px 24px}.card.soft{background:var(--section-alt)}.chip{display:inline-flex;align-items:center;gap:6px;font-family:var(--font-mono);font-size:11px;font-weight:600;letter-spacing:.04em;text-transform:uppercase;padding:2px 9px;border-radius:999px;border:1px solid var(--hair-strong);color:var(--ink-soft)}.chip:before{content:"";width:6px;height:6px;border-radius:50%;background:var(--muted)}.chip.proven,.chip.theorem{color:var(--ink-soft);border-color:var(--hair-strong)}.chip.proven:before,.chip.theorem:before{background:var(--proven)}.chip.empirical{color:#0f6f6b;border-color:var(--hair-strong)}.chip.empirical:before{background:var(--empirical)}.chip.conjectural{color:var(--conjectural);border-color:var(--hair-strong)}.chip.conjectural:before{background:var(--conjectural)}.chip.historical{color:var(--muted);border-color:var(--hair-strong)}.chip.historical:before{background:var(--dropped)}.theorem{border:1px solid var(--hair-strong);border-left:3px solid var(--accent);border-radius:6px;background:var(--paper-raised);padding:20px 22px;margin:22px 0}.theorem.theorem,.theorem.proven{border-left-color:var(--proven)}.theorem.empirical{border-left-color:var(--empirical)}.theorem.conjectural{border-left-color:var(--conjectural)}.theorem.historical{border-left-color:var(--dropped)}.theorem .t-head{display:flex;align-items:center;gap:10px;margin-bottom:10px}.theorem .t-name{font-family:var(--font-ui);font-weight:700;font-size:15px;letter-spacing:.01em}.theorem .t-body{font-family:var(--font-body);font-size:16.5px;line-height:1.62;color:var(--ink)}.theorem .t-foot{margin-top:10px;font-size:12.5px;color:var(--muted);font-family:var(--font-ui)}.claimgrid{display:grid;grid-template-columns:repeat(auto-fit,minmax(180px,1fr));gap:12px;margin:22px 0}.claimcol{border:1px solid var(--hair);border-radius:6px;padding:14px 16px;background:var(--paper-raised)}.claimcol h4{margin:0 0 8px;font-family:var(--font-ui);font-size:12px;letter-spacing:.04em;text-transform:uppercase}.claimcol ul{margin:0;padding-left:16px;font-size:13.5px;line-height:1.5;color:var(--ink-soft)}.claimcol li{margin:4px 0}.claimcol.t-proven{border-top:2px solid var(--proven)}.claimcol.t-empirical{border-top:2px solid var(--empirical)}.claimcol.t-conjectural{border-top:2px solid var(--conjectural)}.claimcol.t-historical{border-top:2px solid var(--dropped)}.proglist{display:grid;grid-template-columns:repeat(auto-fill,minmax(260px,1fr));gap:16px;margin:24px 0}.progcard{border:1px solid var(--hair);border-radius:6px;background:var(--paper-raised);padding:20px 22px;display:flex;flex-direction:column;gap:8px;transition:border-color .15s,transform .15s}.progcard:hover{border-color:var(--hair-strong)}.progcard.active:hover{border-color:var(--accent);transform:translateY(-1px)}.progcard .status{font-family:var(--font-mono);font-size:10.5px;letter-spacing:.08em;text-transform:uppercase}.progcard.active .status{color:#2f8f4f}.progcard.planned .status,.progcard.exploratory .status{color:var(--muted)}.progcard h3{font-family:var(--font-pres);font-size:21px;margin:2px 0 0}.progcard p{margin:0;color:var(--ink-soft);font-size:14.5px;line-height:1.55}.progcard .go{margin-top:auto;font-family:var(--font-ui);font-size:13px;font-weight:600;color:var(--accent)}.progcard.disabled{opacity:.72}.codeblock{border:1px solid var(--hair-strong);border-radius:6px;background:var(--section-alt);overflow:hidden;margin:18px 0}.codeblock .cb-head{display:flex;align-items:center;gap:8px;padding:7px 14px;border-bottom:1px solid var(--hair);font-family:var(--font-mono);font-size:11.5px;color:var(--muted)}.codeblock pre{margin:0;padding:14px 16px;overflow-x:auto;font-family:var(--font-mono);font-size:13px;line-height:1.6;color:#2b2b2b}.mathblock{font-family:var(--font-pres);font-style:italic;text-align:center;font-size:18px;margin:18px 0;color:var(--ink)}.mathblock .num{font-style:normal;color:var(--muted);float:right}.katex{color:var(--ink);font-size:1.05em}.katex-inline{color:inherit}.katex-inline .katex{font-size:1em}.katex-block,.tex-block{text-align:center;margin:22px 0;color:var(--ink);position:relative;max-width:100%}.katex-block .katex-display,.tex-block .katex-display{margin:0;overflow-x:auto;overflow-y:hidden;max-width:100%;padding:2px 0}.katex-display{max-width:100%;overflow-x:auto;overflow-y:hidden}.katex-inline{max-width:100%}.katex-block .katex,.tex-block .katex{color:var(--ink)}.tex-block .num{font-family:var(--font-mono);font-style:normal;color:var(--muted);float:right;font-size:13px;line-height:2.2}.katex .katex-error{color:#c00}.tex-fallback,.katex-fallback{font-family:var(--font-mono);font-size:.92em;color:var(--ink-soft)}.hero{padding:64px 0 28px;max-width:860px}.hero h1{font-family:var(--font-pres);font-weight:700;font-size:52px;line-height:1.04;letter-spacing:-.015em;margin:14px 0 0}.hero .lede{font-size:22px;max-width:62ch}.entrypoints{display:grid;grid-template-columns:repeat(auto-fit,minmax(210px,1fr));gap:14px;margin:36px 0}.entry{border:1px solid var(--hair);border-radius:6px;padding:18px 20px;background:var(--paper-raised)}.entry:hover{border-color:var(--accent)}.entry .e-k{font-family:var(--font-ui);font-size:11px;letter-spacing:.12em;text-transform:uppercase;color:var(--accent);font-weight:600}.entry .e-t{font-family:var(--font-pres);font-size:19px;margin:4px 0}.entry .e-d{font-size:13.5px;color:var(--muted);line-height:1.5}.hero-cinematic{position:relative;left:50%;margin-left:-50vw;width:100vw;max-width:100vw;height:82vh;min-height:560px;margin-top:-1px;margin-bottom:8px;overflow:hidden;background:#081019;display:flex;align-items:center}.hero-video{position:absolute;top:0;right:0;bottom:0;left:0;width:100%;height:100%;object-fit:cover;z-index:0;opacity:0;transition:opacity .9s ease-out}.hero-video.is-ready{opacity:1}.hero-video,.hero-poster{filter:saturate(.72) brightness(.82) contrast(1.05)}.hero-poster .hero-bloom{display:none}@media (prefers-reduced-motion: reduce){.hero-video{display:none}}.hero-poster{background-color:#081019;background-image:url(/hero/hero-poster.jpg);background-image:image-set(url(/hero/hero-poster.webp) type("image/webp"),url(/hero/hero-poster.jpg) type("image/jpeg"));background-size:cover;background-position:center}@media (max-width: 700px){.hero-poster{background-image:url(/hero/hero-poster-960.webp)}}.hero-fallback{position:absolute;top:0;right:0;bottom:0;left:0;z-index:0;background:#081019}.hero-lattice{position:absolute;top:0;right:0;bottom:0;left:0;background-image:repeating-linear-gradient(90deg,rgba(125,166,196,.06) 0 1px,transparent 1px 96px),repeating-linear-gradient(0deg,rgba(125,166,196,.045) 0 1px,transparent 1px 96px);mask-image:radial-gradient(ellipse 90% 80% at 50% 45%,#000 55%,transparent 100%);-webkit-mask-image:radial-gradient(ellipse 90% 80% at 50% 45%,#000 55%,transparent 100%)}.hero-bloom{position:absolute;border-radius:50%;pointer-events:none;filter:blur(8px);will-change:transform,opacity}.hero-bloom-a{width:62vw;height:62vw;max-width:900px;max-height:900px;top:-22%;left:30%;background:radial-gradient(circle at 50% 50%,rgba(244,236,216,.2) 0%,rgba(244,236,216,.08) 36%,transparent 68%);animation:heroBloomA 30s ease-in-out infinite}.hero-bloom-b{width:48vw;height:48vw;max-width:720px;max-height:720px;bottom:-26%;right:22%;background:radial-gradient(circle at 50% 50%,rgba(244,236,216,.13) 0%,rgba(244,236,216,.05) 40%,transparent 70%);animation:heroBloomB 36s ease-in-out infinite}@keyframes heroBloomA{0%{transform:translate3d(-3%,2%,0);opacity:.85}50%{transform:translate3d(5%,-4%,0);opacity:1}to{transform:translate3d(-3%,2%,0);opacity:.85}}@keyframes heroBloomB{0%{transform:translate3d(2%,-2%,0);opacity:.7}50%{transform:translate3d(-4%,4%,0);opacity:.95}to{transform:translate3d(2%,-2%,0);opacity:.7}}.hero-scrim{position:absolute;top:0;right:0;bottom:0;left:0;z-index:1;pointer-events:none;background:linear-gradient(90deg,#081019db,#0810199e 42%,#08101938 78%,#0810191a),linear-gradient(0deg,rgba(8,16,25,.48) 0%,transparent 34%),#0a1a2f2e}.hero-overlay{position:relative;z-index:2;width:100%;max-width:1180px;margin:0 auto;padding:0 28px}.hero-eyebrow{font-family:var(--font-ui);font-size:12px;font-weight:600;letter-spacing:.2em;text-transform:uppercase;color:#9db8d0}.hero-headline{font-family:var(--font-pres);font-weight:700;font-size:clamp(34px,5.4vw,60px);line-height:1.06;letter-spacing:-.015em;color:#f4ecd8;margin:16px 0 0;max-width:17ch}.hero-lede{font-family:var(--font-body);font-size:clamp(17px,1.5vw,21px);line-height:1.55;color:#ece6d6db;margin:18px 0 0;max-width:56ch}.hero-cta{display:inline-flex;align-items:center;gap:8px;margin-top:28px;padding:11px 20px;font-family:var(--font-ui);font-size:14px;font-weight:600;color:#f4ecd8;border:1px solid rgba(157,184,208,.55);border-radius:3px;background:transparent;text-decoration:none;transition:background-color .18s ease,border-color .18s ease,color .18s ease}.hero-cta:hover{background:#f4ecd8f2;border-color:#f4ecd8f2;color:#081019}.hero-cta:focus-visible{outline:2px solid #9db8d0;outline-offset:3px}@media (max-width: 700px){.hero-cinematic{height:78vh;min-height:480px}.hero-headline{max-width:100%}}@media (prefers-reduced-motion: reduce){.hero-bloom-a,.hero-bloom-b{animation:none}}.instrument{border:1px solid var(--hair-strong);border-radius:8px;background:var(--panel-navy, #0a1a2f);color:#cdd6e3;overflow:hidden;margin:22px 0}.instrument .ip-bar{display:flex;align-items:center;gap:8px;padding:9px 16px;border-bottom:1px solid rgba(255,255,255,.08);font-family:var(--font-mono);font-size:12px;color:#8aa0bd}.instrument .ip-dot{width:8px;height:8px;border-radius:50%;background:var(--interactive)}.instrument .ip-body{padding:32px 24px}.instrument .ip-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:12px;margin-top:18px}.instrument .ip-cell{border:1px solid rgba(255,255,255,.1);border-radius:6px;padding:14px;background:#ffffff05}.instrument .ip-cell b{color:#e8eef7;font-family:var(--font-ui);font-size:13px}.instrument .ip-cell span{display:block;color:#8aa0bd;font-size:12px;margin-top:4px}.reflist{margin:16px 0;counter-reset:ref}.refitem{display:grid;grid-template-columns:28px 1fr;gap:8px;padding:10px 0;border-top:1px solid var(--hair);font-size:14.5px}.refitem .rn{font-family:var(--font-mono);color:var(--muted);font-size:12px}.refitem .auth{font-weight:600}.refitem .meta{color:var(--muted);font-size:13px}.refitem .role{font-size:12px;color:var(--steel);font-style:italic}.figure{position:relative;border:1px solid var(--hair);border-radius:6px;background:var(--paper-raised);padding:14px 12px 8px;margin:24px 0}.figure .cap{font-size:13px;color:var(--muted);line-height:1.55;padding:6px 8px 2px}.figure .cap b{color:var(--ink-soft)}.figure-expand{position:absolute;top:8px;right:8px;z-index:2;width:26px;height:26px;display:inline-flex;align-items:center;justify-content:center;background:var(--paper);color:var(--muted);border:none;border-radius:5px;box-shadow:0 0 0 1px #1a1a1a14;cursor:pointer;font-size:14px;line-height:1;padding:0;transition:color .15s ease,box-shadow .15s ease}.figure-expand:hover{color:var(--accent);box-shadow:0 0 0 1px var(--accent)}.figure-expand:focus-visible{outline:2px solid var(--interactive);outline-offset:2px}.figure-modal-backdrop{position:fixed;top:0;right:0;bottom:0;left:0;z-index:1000;background:#0a1a2f9e;display:flex;align-items:center;justify-content:center;padding:clamp(16px,4vw,56px);animation:figureFade .18s ease-out}.figure-modal{position:relative;width:100%;height:100%;max-width:1200px;background:var(--paper);border-radius:8px;box-shadow:0 0 0 1px #1a1a1a14,0 24px 64px #0a1a2f47;display:flex;flex-direction:column;align-items:center;justify-content:center;padding:clamp(24px,4vw,56px);overflow:auto}.figure-modal-body{width:100%;max-width:980px;display:flex;align-items:center;justify-content:center}.figure-modal-body>*{width:100%;max-width:100%}.figure-modal-cap{max-width:760px;margin-top:18px;text-align:center;font-size:13.5px;color:var(--muted);line-height:1.6}.figure-close{position:absolute;top:14px;right:14px;z-index:2;width:34px;height:34px;display:inline-flex;align-items:center;justify-content:center;background:var(--paper);color:var(--muted);border:none;border-radius:6px;box-shadow:0 0 0 1px #1a1a1a14;cursor:pointer;font-size:22px;line-height:1;padding:0;transition:color .15s ease,box-shadow .15s ease}.figure-close:hover{color:var(--accent);box-shadow:0 0 0 1px var(--accent)}.figure-close:focus-visible{outline:2px solid var(--interactive);outline-offset:2px}@keyframes figureFade{0%{opacity:0}to{opacity:1}}@media (prefers-reduced-motion: reduce){.figure-modal-backdrop{animation:none}.figure-expand,.figure-close{transition:none}}.eyebrow-crumbs{display:inline-flex;flex-wrap:wrap;align-items:baseline;gap:6px}.eyebrow-crumbs .crumb{color:var(--accent);text-decoration:none;border-bottom:none}.eyebrow-crumbs a.crumb:hover{color:var(--steel)}.eyebrow-crumbs .crumb-current{color:var(--muted);font-weight:600}.eyebrow-crumbs .crumb-sep{color:var(--muted)}.pub-dates{display:flex;flex-wrap:wrap;align-items:baseline;gap:4px 8px;margin-top:14px;font-family:var(--font-ui);font-size:12.5px;color:var(--muted)}.pub-dates .pub-author{color:var(--ink-soft)}.pub-dates .pub-sep{color:var(--hair-strong)}.pub-dates .pub-date time{font-family:var(--font-mono);font-size:12px;color:var(--ink-soft)}.cite{font-family:var(--font-mono);font-size:.62em;line-height:0}.cite a{color:var(--steel);border-bottom:none}.cite a:hover{color:var(--accent)}.idxcard h3{font-family:var(--font-pres)}.callout{border:1px solid var(--hair-strong);border-left:3px solid var(--steel);border-radius:6px;background:var(--section-alt);padding:16px 20px;margin:20px 0;font-family:var(--font-body);font-size:16px}.card,.progcard,.entry,.theorem,.claimcol,.callout,.figure,.codeblock,.article pre,.article .shiki,.code-panel-fallback{border-radius:2px}.article blockquote{border-radius:0}.eyebrow,.eyebrow-crumbs{text-transform:none;font-variant-caps:all-small-caps;letter-spacing:.16em;font-weight:600;font-size:12px}.figure .cap,.cap{font-family:var(--font-pres);font-style:italic;font-size:13.5px;color:var(--muted);line-height:1.5}.figure .cap b{font-style:normal}.pub-dates .pub-author{font-variant-caps:all-small-caps;letter-spacing:.06em;color:var(--ink-soft)}.article .markdoc-body>p:first-of-type:first-letter{font-family:var(--font-pres);font-weight:600;float:left;font-size:3.4em;line-height:.82;margin:.02em .1em 0 0;color:var(--art-heading, var(--accent))}.margin-rail{position:sticky;top:88px;align-self:start;border-left:1px solid var(--hair);padding-left:18px;font-family:var(--font-ui);display:flex;flex-direction:column;gap:22px}.sidenote{font-family:var(--font-ui);color:var(--ink-soft)}.sidenote .sn-label{font-family:var(--font-ui);font-size:11px;letter-spacing:.12em;text-transform:uppercase;color:var(--steel);font-weight:600;cursor:pointer;list-style:none}.sidenote .sn-label::-webkit-details-marker{display:none}.sidenote .sn-label:before{content:"— ";color:var(--muted)}.sidenote .sn-body{margin-top:6px;font-size:13px;line-height:1.6;color:var(--muted)}.sidenote .sn-body .m{color:var(--ink-soft)}.embed{margin:24px 0}.embed-inline{margin:18px 0}.embed-figure{margin:28px 0}.embed-full-bleed{margin:32px 0}.embed-margin{margin:16px 0}.embed-figure-svg{max-width:520px;margin:0 auto}.embed-loading{min-height:48px;opacity:.5}.embed-placeholder,.embed-fallback{border:1px solid var(--hair-strong);border-radius:6px;padding:14px 16px;font-size:14px;color:var(--muted);background:var(--section-alt)}.react-canvas-placeholder ul,.deferred-instrument p{margin:8px 0 0}.react-canvas{max-width:420px;margin:0 auto}.react-canvas .rc-title{font-family:var(--font-ui);font-size:11px;letter-spacing:.16em;text-transform:uppercase;color:var(--interactive);font-weight:600;text-align:center;margin-bottom:8px}.react-canvas .rc-svg{display:block}.react-canvas .rc-node{transition:opacity .25s ease}.react-canvas .rc-node:focus{outline:none}.react-canvas .rc-node:focus rect{stroke:var(--interactive);stroke-width:2}.react-canvas .rc-node rect{transition:stroke .2s ease,fill .2s ease}.react-canvas .rc-list{list-style:none;margin:12px 0 0;padding:0}.react-canvas .rc-list-item{display:block;width:100%;text-align:left;background:none;border:none;border-left:2px solid transparent;padding:4px 0 4px 12px;cursor:pointer;font-family:var(--font-ui)}.react-canvas .rc-list-item:disabled{cursor:default}.react-canvas .rc-list-label{font-size:13px;color:var(--ink-soft);font-weight:500}.react-canvas .rc-list-def{display:none}.react-canvas .rc-list .is-active .rc-list-item{border-left-color:var(--interactive)}.react-canvas .rc-list .is-active .rc-list-label{color:var(--ink)}@media (min-width: 901px){.react-canvas .rc-list{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0)}}@media (prefers-reduced-motion: reduce){.react-canvas .rc-node,.react-canvas .rc-node rect{transition:none}}.ccr{font-family:var(--font-ui)}.ccr-head{display:flex;align-items:center;justify-content:space-between;gap:8px}.ccr-eyebrow{font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--steel);font-weight:600}.ccr-dots{display:inline-flex;gap:4px}.ccr-dot{width:6px;height:6px;border-radius:50%;box-shadow:inset 0 0 0 1px var(--hair-strong);background:transparent}.ccr-dot.is-active{background:var(--interactive);box-shadow:none}.ccr-entity,.ccr-calm{margin-top:10px}.ccr-label{display:block;width:100%;text-align:left;background:none;border:none;padding:0;cursor:pointer;font-family:var(--font-ui);font-size:13.5px;font-weight:600;color:var(--ink)}.ccr-label-quiet{color:var(--muted);font-weight:500}.ccr-expand{display:block;margin-top:2px;font-size:11px;font-weight:600;letter-spacing:.04em;color:var(--interactive)}.ccr-def{margin:6px 0 0;font-size:12.5px;line-height:1.6;color:var(--muted)}.ccr-hint{margin:0 0 8px;font-size:12px;line-height:1.55;color:var(--muted);font-style:italic}.provenance-strip{margin-top:40px;padding-top:20px;border-top:1px solid var(--hair);font-family:var(--font-ui)}.prov-eyebrow{font-size:11px;letter-spacing:.16em;text-transform:uppercase;color:var(--muted);font-weight:600;margin-bottom:12px}.xray-toggle,.prov-disclosure,.prov-viewbtn{display:inline-flex;align-items:baseline;gap:8px;font-family:var(--font-ui);font-size:12px;font-weight:600;letter-spacing:.04em;cursor:pointer;background:none;border:1px solid var(--hair-strong);border-radius:999px;padding:5px 13px;color:var(--accent)}.xray-toggle:hover,.prov-disclosure:hover{border-color:var(--accent)}.prov-disclosure-hint{font-family:var(--font-mono);font-weight:500;color:var(--muted);font-size:10.5px;letter-spacing:0}.prov-leftrail{display:flex;flex-direction:column;gap:26px}.prov-views{font-family:var(--font-ui)}.prov-views-eyebrow{font-family:var(--font-ui);font-size:11px;font-weight:600;letter-spacing:.18em;text-transform:uppercase;color:var(--steel);margin-bottom:10px}.prov-views-list{display:flex;flex-direction:column;border-left:1px solid var(--hair)}.prov-view-opt{-webkit-appearance:none;-moz-appearance:none;appearance:none;background:none;cursor:pointer;text-align:left;font-family:var(--font-ui);font-size:13.5px;font-weight:500;letter-spacing:.01em;color:var(--muted);padding:5px 0 5px 14px;margin-left:-1px;border:none;border-left:2px solid transparent;transition:color .15s ease,border-color .15s ease}.prov-view-opt:hover{color:var(--ink)}.prov-view-opt[aria-selected=true]{color:var(--ink);font-weight:600;border-left-color:var(--accent)}.prov-view-opt:focus-visible{outline:2px solid var(--steel);outline-offset:2px}@media (max-width: 880px){.prov-views-list{flex-direction:row;flex-wrap:wrap;gap:6px;border-left:none}.prov-view-opt{border:1px solid var(--hair);border-radius:999px;padding:4px 12px;margin:0}.prov-view-opt[aria-selected=true]{border-color:var(--accent)}}.prov-xray-main,.prov-causal-main{min-width:0}.prov-causal-main .prov-eyebrow{margin-bottom:14px}.prov-causal-main .prov-lineage{min-height:60vh}.prov-causal-main .cg-flow{height:60vh}.prov-xray-main{--xray-human-bg: rgba(47, 93, 124, .07);--xray-human-bd: rgba(47, 93, 124, .45);--xray-ai-bg: rgba(19, 138, 134, .08);--xray-ai-bd: rgba(19, 138, 134, .5);--xray-collab-bg: rgba(107, 95, 176, .08);--xray-collab-bd: rgba(107, 95, 176, .5)}.prov-xray-main .xray-line{padding:3px 12px;margin:3px 0;border-radius:3px;border-left-width:3px}.prov-xray-main .xray-line-text{font-family:var(--font-body);font-size:18px;line-height:1.7;color:var(--art-ink, var(--ink))}.prov-xray-main .xray-counts{margin-bottom:22px}:root[data-theme=dark] .prov-xray-main{--xray-human-bg: rgba(125, 166, 196, .1);--xray-human-bd: rgba(125, 166, 196, .55);--xray-ai-bg: rgba(91, 211, 207, .12);--xray-ai-bd: rgba(91, 211, 207, .6);--xray-collab-bg: rgba(182, 168, 240, .12);--xray-collab-bd: rgba(182, 168, 240, .6)}.xray-head{display:flex;align-items:center;gap:16px;flex-wrap:wrap}.xray-panel{margin-top:14px}.xray-counts{display:flex;gap:16px;flex-wrap:wrap;font-family:var(--font-mono);font-size:11px;color:var(--xray-counts-fg, rgb(46, 50, 56));padding-bottom:10px;margin-bottom:16px;border-bottom:1px solid var(--xray-counts-hr, rgba(0, 0, 0, .06))}.xray-count-label{font-weight:600;color:var(--xray-counts-label, rgba(10, 10, 10, .5))}.xray-count-value{font-weight:500}.xray-lines{max-width:1050px}.xray-line{border-radius:4px;padding:2px 8px;margin:2px 0;border-left:3px solid transparent;transition:background-color .15s ease}.xray-line-text{margin:0;font-family:var(--font-body);font-size:17px;line-height:1.7;color:var(--ink)}.xray-line-blank{height:14px}.xray-line-bars{display:flex;gap:2px;align-items:center;height:18px}.xray-bar{min-width:8px;height:12px;border-radius:1px}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.prov-viewsource{margin-top:16px}.prov-lineage{border:1px solid var(--hair);border-radius:6px;background:var(--paper-raised);padding:12px}.prov-loading{font-size:12px;color:var(--muted);padding:8px}.cg-flow{width:100%}.cg-node{padding:8px 10px;font-family:var(--font-ui);text-align:left}.cg-node-type{font-family:var(--font-mono);font-size:9.5px;letter-spacing:.08em;text-transform:uppercase;color:var(--steel)}.cg-node-name{font-size:13px;font-weight:600;color:var(--ink);margin-top:2px}.cg-node-meta,.cg-node-model{font-family:var(--font-mono);font-size:10px;color:var(--muted);margin-top:3px}.cg-node-summary{font-size:11px;color:var(--muted);margin-top:4px;line-height:1.45}.cg-fallback{font-family:var(--font-ui)}.cg-node-list,.cg-edge-list{list-style:none;margin:0;padding:0}.cg-node-item{display:flex;flex-wrap:wrap;align-items:baseline;gap:8px;padding:6px 0;border-bottom:1px solid var(--hair)}.cg-node-item .cg-node-type,.cg-edge-rel{font-family:var(--font-mono);font-size:10px;letter-spacing:.04em;text-transform:uppercase;color:var(--steel)}.cg-node-item .cg-node-name,.cg-node-model{margin-top:0}.cg-edge-list{margin-top:10px}.cg-edge-item{display:flex;flex-wrap:wrap;align-items:baseline;gap:8px;padding:4px 0;font-size:12px;color:var(--ink-soft)}.cg-edge-from,.cg-edge-to{font-weight:600;color:var(--ink)}.cg-edge-rel{color:var(--steel)}.page-grid.is-provenance>.margin-rail{border-left:1px solid var(--hair-strong);padding-left:22px;padding-top:2px;gap:18px}.prov-panel{font-family:var(--font-ui);display:flex;flex-direction:column;gap:14px}.prov-panel .prov-eyebrow{margin-bottom:0}.prov-tabs{display:flex;flex-wrap:wrap;gap:4px;border-bottom:1px solid var(--hair);padding-bottom:8px}.prov-tab{-webkit-appearance:none;-moz-appearance:none;appearance:none;background:none;border:none;cursor:pointer;font-family:var(--font-ui);font-size:11px;font-weight:600;letter-spacing:.06em;color:var(--muted);padding:4px 8px;border-radius:5px;border:1px solid transparent;transition:color .15s ease,border-color .15s ease,background .15s ease}.prov-tab:hover{color:var(--steel)}.prov-tab[aria-selected=true]{color:var(--ink);background:var(--paper-raised);border-color:var(--hair-strong)}.prov-tab:focus-visible{outline:2px solid var(--steel);outline-offset:2px}.prov-tabpanel[hidden]{display:none}.prov-tabpanel{min-width:0}.prov-tabpanel-document{display:flex;flex-direction:column;gap:22px}.prov-panel-head{display:flex;justify-content:flex-end;margin-bottom:6px}.prov-expand{-webkit-appearance:none;-moz-appearance:none;appearance:none;cursor:pointer;display:inline-flex;align-items:center;gap:5px;font-family:var(--font-ui);font-size:10.5px;font-weight:600;letter-spacing:.04em;color:var(--steel);background:none;border:1px solid var(--hair-strong);border-radius:999px;padding:3px 10px}.prov-expand:hover{border-color:var(--steel);color:var(--ink)}.prov-expand:focus-visible{outline:2px solid var(--steel);outline-offset:2px}.prov-xray-compact .xray-counts{gap:12px;font-size:10px;margin-bottom:12px;padding-bottom:8px}.prov-xray-compact .xray-lines{max-width:none}.prov-xray-compact .xray-line{padding:3px 8px;margin:1.5px 0;border-radius:3px;border-left-width:3px}.prov-xray-compact .xray-line-text{font-family:var(--font-ui);font-size:11.5px;line-height:1.45;color:var(--ink-soft);display:-webkit-box;-webkit-line-clamp:1;-webkit-box-orient:vertical;overflow:hidden}.prov-xray-compact .xray-line-blank{height:6px}.prov-xray-compact .xray-line[data-actor=human],.prov-modal-xray .xray-line[data-actor=human]{background:var(--prov-human-bg, rgba(47, 93, 124, .1));border-left-color:var(--prov-human-bd, var(--steel))}.prov-xray-compact .xray-line[data-actor=ai],.prov-modal-xray .xray-line[data-actor=ai]{background:var(--prov-ai-bg, rgba(19, 138, 134, .12));border-left-color:var(--prov-ai-bd, var(--empirical))}.prov-xray-compact .xray-line[data-actor=collaborative],.prov-modal-xray .xray-line[data-actor=collaborative]{background:var(--prov-collab-bg, rgba(107, 95, 176, .12));border-left-color:var(--prov-collab-bd, var(--conjectural))}.prov-causal-compact{font-size:12px}.prov-causal-compact .cg-node-item{padding:5px 0;gap:6px}.prov-causal-compact .cg-edge-item{padding:3px 0;font-size:11px}.figure-modal.prov-modal{max-width:min(1100px,94vw)}.prov-modal .prov-eyebrow{margin-bottom:14px}.prov-modal-xray .xray-lines{max-width:1050px}.prov-modal-causal .prov-lineage{min-height:60vh}.prov-modal-causal .cg-flow{height:60vh}.experience-embed{margin:28px 0}.experience-embed.embed-full-bleed{max-width:none}.cg-experience .cg-experience-flow{min-height:420px}.cg-experience-states{list-style:none;margin:14px 0 0;padding:0;display:grid;gap:6px}.cg-experience-states li{margin:0}.cg-experience-step{display:block;width:100%;text-align:left;cursor:pointer;font-family:var(--font-ui);background:transparent;border:1px solid var(--hair);border-left:3px solid var(--hair-strong);border-radius:5px;padding:8px 12px;color:var(--ink-soft);transition:border-color .2s ease,background .2s ease}.cg-experience-step:hover{border-color:var(--steel)}.cg-experience-step:focus-visible{outline:2px solid var(--interactive);outline-offset:2px}.cg-experience-states .is-active .cg-experience-step{border-left-color:var(--interactive);background:var(--paper-raised);color:var(--ink)}.cg-experience-step-label{display:block;font-size:13px;font-weight:600;color:var(--ink)}.cg-experience-step-summary{display:block;font-size:12px;color:var(--muted);margin-top:3px;line-height:1.5}.figure-modal-body .cg-experience .cg-experience-flow{min-height:60vh}.fa-experience{margin:0}.fa-flow{position:relative}.fa-flow .react-flow__attribution{display:none}.fa-flow .react-flow__pane{cursor:default}.fa-flow .react-flow__node{cursor:pointer}.fa-flow .react-flow__node:focus,.fa-flow .react-flow__node:focus-visible,.fa-flow .react-flow__node.selected{outline:none;box-shadow:none}.fa-flow .react-flow__renderer,.fa-flow .react-flow__pane{background:transparent}.fa-desc-panel{position:absolute;top:18px;right:18px;width:260px;z-index:5;background:#0a1a2f;border:1px solid rgba(255,255,255,.08);border-radius:12px;padding:16px 18px;box-shadow:0 8px 30px #00000059;animation:faPanelIn .32s ease}@keyframes faPanelIn{0%{opacity:0;transform:translateY(-6px)}to{opacity:1;transform:none}}.fa-desc-eyebrow{font-family:var(--font-ui);font-size:10px;font-weight:600;letter-spacing:.18em;text-transform:uppercase;color:#fff6}.fa-desc-title{font-family:var(--font-ui);font-size:15px;font-weight:700;color:#ffffffeb;margin:6px 0 8px;letter-spacing:-.01em}.fa-desc-body{font-family:var(--font-ui);font-size:12.5px;line-height:1.55;color:#fff9;margin:0}.fa-caption{font-family:var(--serif);font-style:italic;text-align:center;font-size:14px;color:#1a1a1a73;margin:14px 0 0}:root[data-theme=dark] .fa-caption{color:#fff6}.fa-experience-states{list-style:none;margin:16px 0 0;padding:0;display:grid;gap:6px}.fa-experience-states li{margin:0}.fa-experience-step{display:block;width:100%;text-align:left;cursor:pointer;font-family:var(--font-ui);background:transparent;border:1px solid var(--hair);border-left:3px solid var(--hair-strong);border-radius:5px;padding:8px 12px;color:var(--ink-soft);transition:border-color .2s ease,background .2s ease}.fa-experience-step:hover{border-color:var(--steel)}.fa-experience-step:focus-visible{outline:2px solid var(--interactive);outline-offset:2px}.fa-experience-states .is-active .fa-experience-step{border-left-color:var(--interactive);background:var(--paper-raised);color:var(--ink)}.fa-experience-step-label{display:block;font-size:13px;font-weight:600;color:var(--ink)}.fa-experience-step-summary{display:block;font-size:12px;color:var(--muted);margin-top:3px;line-height:1.5}.fa-fallback,.embed-fallback-nodes{display:block}.fa-node-list,.embed-fallback-node-list{list-style:none;margin:0;padding:0;display:grid;gap:8px}.fa-node-item,.embed-fallback-node{padding:8px 12px;border-left:3px solid var(--hair-strong)}.fa-node-item.is-active{border-left-color:var(--interactive)}.fa-node-name,.embed-fallback-node-name{display:block;font-family:var(--font-ui);font-size:14px;font-weight:600;color:var(--ink)}.fa-node-summary,.embed-fallback-node-summary{display:block;font-size:13px;color:var(--muted);margin-top:3px;line-height:1.55}.fa-edge-list,.embed-fallback-edge-list{list-style:none;margin:12px 0 0;padding:0;display:grid;gap:4px}.fa-edge-item,.embed-fallback-edge{font-family:var(--font-ui);font-size:12.5px;color:var(--muted);display:flex;gap:8px;align-items:baseline}.fa-edge-rel,.embed-fallback-edge-rel{font-size:11px;letter-spacing:.04em;text-transform:uppercase;color:var(--steel)}.embed-fallback-caption{font-family:var(--serif);font-style:italic;text-align:center;color:var(--muted);font-size:14px;margin:12px 0 0}:root{--sb-thumb: rgba(47, 93, 124, .42);--sb-thumb-hover: rgba(47, 93, 124, .62);--sb-track: #eceae3}html{scrollbar-width:thin;scrollbar-color:var(--sb-thumb) var(--sb-track)}::-webkit-scrollbar{width:11px;height:11px}::-webkit-scrollbar-track{background:var(--sb-track)}::-webkit-scrollbar-thumb{background:var(--sb-thumb);border-radius:999px;border:2px solid var(--sb-track)}::-webkit-scrollbar-thumb:hover{background:var(--sb-thumb-hover)}::-webkit-scrollbar-corner{background:var(--sb-track)}.codeblock pre,.codeblock,.instrument,.lab-shell,[class*=ledger],[class*=Lane]{scrollbar-width:thin;scrollbar-color:var(--sb-thumb) var(--sb-track)}:root[data-theme=dark]{--paper: #081019;--section-alt: #0b1521;--paper-raised: #0e1b2a;--paper-2: #0e1a27;--paper-3: #11202f;--ink: #ece6d6;--ink-soft: #c2bcad;--muted: #8f8a7b;--dm-accent: #7da6c4;--accent: var(--dm-accent);--accent-strong: var(--dm-accent);--steel: #7da6c4;--interactive: var(--empirical);--proven: #e3c06a;--empirical: #5bd3cf;--conjectural: #b6a8f0;--dropped: #8f8a7b;--navy: var(--dm-accent);--navy-2: #7da6c4;--hair: rgba(236, 230, 214, .12);--hair-strong: rgba(236, 230, 214, .2);--shadow-hairline: 0 0 0 1px rgba(236, 230, 214, .1);--frame-rule: rgba(236, 230, 214, .2);--rc-active-fill: #12302f;--xray-human-bg: rgba(46, 204, 113, .26);--xray-human-bd: rgba(88, 222, 142, .85);--xray-ai-bg: rgba(214, 184, 122, .26);--xray-ai-bd: rgba(224, 196, 138, .85);--xray-collab-bg: rgba(90, 170, 224, .26);--xray-collab-bd: rgba(120, 190, 235, .85);--xray-counts-fg: var(--ink-soft);--xray-counts-label: var(--muted);--xray-counts-hr: var(--hair);--art-ink: var(--ink);--art-h1: var(--ink);--art-h2: var(--ink);--art-heading: #7da6c4;--art-quote-bg: rgba(236, 230, 214, .05);--art-quote-bd: rgba(236, 230, 214, .22);--art-hr: rgba(236, 230, 214, .12);--art-glow-steel: rgba(244, 236, 216, .11);--ok: #6fcf97;--ok-bd: rgba(111, 207, 151, .4);--warn: #e88c6a;--danger: #ee8888;--hist: #b3ab97;--sb-thumb: rgba(236, 230, 214, .22);--sb-thumb-hover: rgba(236, 230, 214, .36);--sb-track: #0c1622;--sd-meta2: #a39d8d;--sd-bus-s: #9a958a;--sd-dash: #5d6b7a;--sd-s-green: #6fcf97;--sd-s-plum: #b794f6;--sd-s-red: #ee8888;--sd-f-navy: #16273a;--sd-f-steel: #15293a;--sd-f-steel2:#15293a;--sd-f-green: #142a20;--sd-f-green2:#142a20;--sd-f-plum: #221a33;--sd-f-red: #2e1818;--sd-f-bus: #1a1f26}:root[data-theme=dark] ::selection{background:#7da6c44d}:root[data-theme=dark] .figure-expand:focus-visible,:root[data-theme=dark] .figure-close:focus-visible{outline-color:var(--interactive)}:root[data-theme=dark] .topnav{background:#0c1622eb}:root[data-theme=dark] .chip.proven,:root[data-theme=dark] .chip.theorem{color:var(--proven);border-color:var(--hair-strong)}:root[data-theme=dark] .chip.proven:before,:root[data-theme=dark] .chip.theorem:before{background:var(--proven)}:root[data-theme=dark] .chip.empirical{color:var(--empirical);border-color:var(--hair-strong)}:root[data-theme=dark] .chip.empirical:before{background:var(--empirical)}:root[data-theme=dark] .chip.conjectural{color:var(--conjectural);border-color:var(--hair-strong)}:root[data-theme=dark] .chip.conjectural:before{background:var(--conjectural)}:root[data-theme=dark] .chip.historical{color:var(--dropped);border-color:var(--hair-strong)}:root[data-theme=dark] .chip.historical:before{background:var(--dropped)}:root[data-theme=dark] .progcard.active .status{color:var(--proven)}:root[data-theme=dark] .codeblock pre{color:var(--ink-soft)}:root[data-theme=dark] .figure-modal-backdrop{background:#04090fb8}:root[data-theme=dark] .figure-modal{box-shadow:0 0 0 1px var(--hair-strong),0 24px 64px #0000008c}:root[data-theme=dark] .figure-expand,:root[data-theme=dark] .figure-close{box-shadow:0 0 0 1px var(--hair)}:root[data-theme=dark]{--xray-tint-human: rgba(236, 230, 214, .1);--xray-tint-ai: rgba(183, 148, 246, .22);--xray-tint-collab: rgba(125, 166, 196, .2)}:root[data-theme=dark] .page-grid.is-provenance>.margin-rail{border-left-color:var(--hair-strong);box-shadow:inset 1px 0 #f4ecd80f}:root[data-theme=dark] .prov-tab[aria-selected=true]{box-shadow:inset 0 0 14px -10px #f4ecd84d}:root[data-theme=dark]{--prov-human-bg: rgba(125, 166, 196, .14);--prov-human-bd: var(--steel);--prov-ai-bg: rgba(91, 211, 207, .16);--prov-ai-bd: var(--empirical);--prov-collab-bg: rgba(182, 168, 240, .16);--prov-collab-bd: var(--conjectural)}:root[data-theme=dark] .react-flow__controls{box-shadow:0 0 0 1px var(--hair-strong)}:root[data-theme=dark] .react-flow__controls-button{background:var(--paper-raised);border-bottom:1px solid var(--hair);color:var(--ink-soft);fill:var(--ink-soft)}:root[data-theme=dark] .react-flow__controls-button:hover{background:var(--section-alt)}:root[data-theme=dark] .react-flow__controls-button svg{fill:var(--ink-soft)}:root[data-theme=dark] .react-flow__attribution{background:transparent}:root[data-theme=dark] .instrument{border-color:var(--hair-strong)}:root[data-theme=dark] .page.is-framed .figure{box-shadow:inset 0 1px #f4ecd81a,inset 0 -1px #f4ecd812}.page.is-framed .page-content{box-shadow:inset 1px 0 0 0 var(--frame-rule),inset -1px 0 0 0 var(--frame-rule)}:root[data-theme=dark] .page.is-framed .page-content{box-shadow:inset 1px 0 0 0 var(--frame-rule),inset -1px 0 0 0 var(--frame-rule),inset 0 0 22px -14px #f4ecd838}.page.is-framed .margin-rail{border-left-color:var(--frame-rule)}.page.is-framed .page-content:before{content:"";display:block;border-top:1px solid var(--frame-rule);height:0}.page.is-framed .section-head{border-top:1px solid var(--frame-rule);padding:28px 22px 0;margin-top:40px;counter-increment:bay;position:relative}.page.is-framed .section-head:first-child{border-top:none;margin-top:0;padding-top:26px}.page.is-framed .section-head .katex-block,.page.is-framed .section-head .tex-block{margin-left:-22px;margin-right:-22px;width:calc(100% + 44px);max-width:calc(100% + 44px)}.page.is-framed .page-grid,.page.is-framed .article-solo{counter-reset:bay}.page.is-framed .section-head:before{content:"§" counter(bay);position:absolute;top:-.72em;left:22px;padding:0 8px 0 0;background:var(--paper);font-family:var(--font-mono);font-size:11px;font-weight:600;letter-spacing:.06em;color:var(--steel)}.page.is-framed .section-head:first-child:before{top:-.05em}.page.is-framed .figure{border:none;border-radius:0;border-top:1px solid var(--frame-rule);border-bottom:1px solid var(--frame-rule);background:transparent;padding:22px 0 12px}.page.is-framed .figure-expand{border-radius:0}@media (max-width: 880px){.page.is-framed .page-content{box-shadow:none}.page.is-framed .section-head{padding-left:0;padding-right:0}.page.is-framed .section-head .katex-block,.page.is-framed .section-head .tex-block{margin-left:0;margin-right:0}.page.is-framed .section-head:before{left:0}}.fishery{padding:14px 16px 10px}.fishery-head{display:flex;justify-content:space-between;align-items:baseline;gap:12px;flex-wrap:wrap}.fishery-title{font-family:var(--font-ui);font-size:14px;font-weight:600;color:var(--ink)}.fishery-readout{font-family:var(--font-mono);font-size:11.5px;color:var(--muted)}.fishery-readout b{color:var(--ink);font-weight:600}.fishery-controls{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:10px 24px;margin:10px 0 6px}.fishery-slider{display:grid;grid-template-columns:auto 1fr auto;align-items:center;gap:10px;font-family:var(--font-ui);font-size:12.5px;color:var(--muted)}.fishery-slider output{font-family:var(--font-mono);font-size:12px;color:var(--ink);min-width:3ch;text-align:right}.fishery-slider input[type=range]{width:100%;accent-color:var(--interactive)}.fishery-svg{display:block;width:100%;height:auto;touch-action:none;cursor:crosshair;background:var(--paper-raised);border-radius:2px}.fishery-grid{stroke:var(--hair);stroke-width:1}.fishery-half{stroke:var(--hair-strong);stroke-width:1;stroke-dasharray:2 4}.fishery-tick,.fishery-axis,.fishery-hint{font-family:var(--font-mono);font-size:10.5px;fill:var(--muted)}.fishery-hint{font-family:var(--font-ui);font-style:italic;font-size:12px;fill:var(--interactive);opacity:.85;pointer-events:none}.fishery-generator{fill:none;stroke:var(--accent);stroke-width:2.6;stroke-linejoin:round}.fishery-mine{fill:none;stroke:var(--interactive);stroke-width:2.2;stroke-linejoin:round;stroke-linecap:round}.fishery-claims{list-style:none;margin:12px 0 0;padding:0;display:grid;gap:6px}.fishery-claim{display:grid;grid-template-columns:minmax(180px,1.4fr) auto minmax(0,1fr);align-items:center;gap:12px;padding:6px 0;border-top:1px solid var(--hair);font-family:var(--font-ui);font-size:13px;color:var(--ink)}.fishery-claim.is-hidden .fishery-claim-label{color:var(--muted)}.fishery-claim small{color:var(--muted);font-weight:400}.fishery-toggle{display:inline-flex;align-items:center;gap:10px;cursor:pointer}.fishery-toggle input{accent-color:var(--interactive);margin:0}.fishery-claim>.fishery-swatch{margin-right:10px}.fishery-claim.is-generator,.fishery-claim.is-mine{grid-template-columns:auto minmax(160px,1.4fr) auto minmax(0,1fr)}.fishery-swatch{display:inline-block;width:26px;height:0}.fishery-verdict{font-family:var(--font-mono);font-size:11px;letter-spacing:.06em;text-transform:uppercase;padding:2px 8px;border-radius:999px;box-shadow:0 0 0 1px var(--hair-strong);white-space:nowrap}.fishery-verdict.consistent{color:var(--proven);box-shadow:0 0 0 1px var(--proven)}.fishery-verdict.inconsistent{color:#9a3b2e;box-shadow:0 0 0 1px #9a3b2e}.fishery-verdict.inconclusive{color:var(--conjectural);box-shadow:0 0 0 1px var(--conjectural)}.fishery-verdict.reference{color:var(--muted)}.fishery-metrics{display:flex;gap:12px;flex-wrap:wrap;font-family:var(--font-mono);font-size:11px;color:var(--muted)}.fishery-clear{font:inherit;font-size:11.5px;color:var(--interactive);background:none;border:0;padding:0 4px;cursor:pointer;text-decoration:underline}.fishery-reason{margin-top:10px;font-family:var(--serif, Georgia, serif);font-style:italic;font-size:13.5px;line-height:1.55;color:var(--muted)}@media (max-width: 700px){.fishery-claim,.fishery-claim.is-generator,.fishery-claim.is-mine{grid-template-columns:1fr auto}.fishery-metrics{grid-column:1 / -1}}.fishery-entry{width:8ch;font-family:var(--font-mono);font-size:12px;color:var(--ink);background:var(--paper-raised);border:0;box-shadow:0 0 0 1px var(--hair-strong);border-radius:3px;padding:3px 6px;text-align:right}.fishery-entry:focus-visible{outline:2px solid var(--interactive);outline-offset:1px}.fishery{user-select:none;-webkit-user-select:none}.fishery-claims li{padding-left:0}.fishery-claims li:before,.fishery-claims li::marker{content:none;display:none}.fishery-threshold line{stroke:var(--steel);stroke-width:1;stroke-dasharray:4 4;opacity:.7}.fishery-threshold text{font-family:var(--font-mono);font-size:10px;fill:var(--steel)}.fishery-threshold.is-hot line{stroke:#9a3b2e;opacity:1}.fishery-threshold.is-hot text{fill:#9a3b2e}.eyebrow-crumbs .crumb-home{color:var(--muted);font-size:9.5px;letter-spacing:0}.eyebrow-crumbs .crumb-home:hover,.eyebrow-crumbs .crumb-label{color:var(--accent)}.judge-results{padding:18px 20px 12px}.jr-title{font-family:var(--font-ui);font-size:14px;font-weight:600;color:var(--ink);margin-bottom:4px}.jr-block{margin-top:18px}.jr-block+.jr-block{padding-top:16px;border-top:1px solid var(--hair)}.jr-kicker{font-family:var(--font-ui);font-size:11px;font-weight:600;letter-spacing:.14em;text-transform:uppercase;color:var(--accent);margin:0 0 10px}.jr-kicker span{display:block;margin-top:3px;font-family:var(--font-mono);font-size:11px;font-weight:400;letter-spacing:0;text-transform:none;color:var(--muted)}.jr-scroll{overflow-x:auto;-webkit-overflow-scrolling:touch}.jr-table{width:100%;border-collapse:collapse;font-variant-numeric:tabular-nums lining-nums}.jr-table th,.jr-table td{padding:7px 10px;text-align:right;white-space:nowrap}.jr-table thead th{font-family:var(--font-ui);font-size:11.5px;font-weight:600;color:var(--muted);border-bottom:1px solid var(--hair-strong);vertical-align:bottom}.jr-table td{font-family:var(--font-mono);font-size:12.5px;color:var(--ink-soft, var(--ink));border-bottom:1px solid var(--hair)}.jr-table .jr-rowhead{text-align:left;font-family:var(--font-ui);font-size:13px;font-weight:500;color:var(--ink);padding-left:0;min-width:190px}.jr-table thead .jr-rowhead{font-weight:600;color:var(--muted)}.jr-table .jr-rowhead small{font-size:11px;font-weight:400;color:var(--muted);margin-left:4px}.jr-table td.jr-hi{color:var(--ink);font-weight:600}.jr-table td.jr-lo{color:var(--muted)}.jr-table .jr-extra{border-left:1px solid var(--hair)}.jr-group-row th{text-align:left;padding:14px 0 4px;font-family:var(--font-ui);font-size:10.5px;font-weight:600;letter-spacing:.12em;text-transform:uppercase;color:var(--steel);border-bottom:0}.jr-group:first-of-type .jr-group-row th{padding-top:8px}.jr-table .jr-group .jr-rowhead{padding-left:12px}.jr-key .jr-rowhead{box-shadow:inset 2px 0 0 var(--steel);font-weight:600}.jr-key td{background:#2f5d7c0b}.jr-directional .jr-rowhead{color:var(--ink)}.jr-directional-note{text-align:left!important;white-space:normal!important;font-family:var(--serif, Georgia, serif)!important;font-style:italic;font-size:13px!important;color:var(--muted)!important}.jr-tip{position:relative;display:inline-block;margin-left:6px;vertical-align:1px}.jr-tip-btn{width:16px;height:16px;padding:0;border:0;border-radius:50%;font-family:var(--serif, Georgia, serif);font-style:italic;font-size:11px;line-height:16px;text-align:center;color:var(--interactive);background:transparent;box-shadow:0 0 0 1px var(--interactive);cursor:help}.jr-tip-btn:focus-visible{outline:2px solid var(--interactive);outline-offset:2px}.jr-tip-body{position:absolute;z-index:20;left:-8px;top:calc(100% + 8px);width:min(360px,78vw);padding:12px 14px;background:var(--paper-raised);color:var(--ink);box-shadow:0 0 0 1px var(--hair-strong),0 8px 24px #0a1a2f1a;border-radius:3px;font-family:var(--font-ui);font-size:12.5px;font-weight:400;line-height:1.55;white-space:normal;text-align:left;letter-spacing:0;text-transform:none;visibility:hidden;opacity:0;transform:translateY(-2px);transition:opacity .12s ease,transform .12s ease,visibility .12s}.jr-tip:hover .jr-tip-body,.jr-tip:focus-within .jr-tip-body{visibility:visible;opacity:1;transform:none}.jr-scroll:has(.jr-tip:hover,.jr-tip:focus-within){overflow:visible}@media (prefers-reduced-motion: reduce){.jr-tip-body{transition:none}}@media (max-width: 700px){.judge-results{padding:14px 12px 10px}.jr-table .jr-rowhead{min-width:150px;position:sticky;left:0;background:var(--paper-raised);z-index:1}}.judge-results,.judge-results .jr-table{line-height:1.35}.judge-results .jr-kicker{line-height:1.3}.judge-results .jr-kicker span{margin-top:2px}.jr-table th,.jr-table td{padding:6px 10px}.jr-table tbody .jr-rowhead{border-bottom:1px solid var(--hair)}.jr-group-row th{padding:12px 0 3px}.jr-directional-note{padding-top:8px!important;padding-bottom:8px!important;line-height:1.5}.jr-directional .jr-rowhead,.jr-directional-note{border-bottom:0!important}.judge-results .jr-kicker{margin-bottom:12px}.jr-table{table-layout:auto}.jr-short{display:none}.jr-star{margin-left:2px;color:var(--steel);font-weight:600}.jr-footnote{text-align:left!important;white-space:normal!important;padding:10px 0 0!important;border-bottom:0!important;font-family:var(--font-ui)!important;font-size:11.5px!important;color:var(--muted)!important;line-height:1.5}.jr-group:last-of-type .jr-rowhead,.jr-directional-note{border-bottom:1px solid var(--hair-strong)!important}.jr-tip-body{display:none;visibility:visible;opacity:1;transform:none;transition:none}.jr-tip:hover .jr-tip-body,.jr-tip:focus-within .jr-tip-body{display:block}@media (max-width: 700px){.judge-results{padding:14px 10px 10px}.jr-long{display:none}.jr-short{display:inline}.jr-table th,.jr-table td{padding:5px 3px}.jr-table td{font-size:11px}.jr-table thead th{font-size:10.5px}.jr-table .jr-rowhead{min-width:0;position:static;white-space:normal;font-size:12px;padding-left:0}.jr-table .jr-group .jr-rowhead{padding-left:6px}.jr-directional-note{font-size:12px!important}.jr-tip-body{position:fixed;left:12px;right:12px;bottom:12px;top:auto;width:auto;max-height:55vh;overflow:auto}}.jr-key th.jr-rowhead{background:#2f5d7c0b}.jr-colhead .jr-tip{margin-left:5px;vertical-align:0}.jr-colhead .jr-tip-btn{width:14px;height:14px;line-height:14px;font-size:10px}.jr-tip-right .jr-tip-body{left:auto;right:-8px}.jr-table thead th{position:relative}@media (max-width: 700px){.jr-colhead .jr-tip{display:block;margin:3px 0 0 auto;width:14px}}.embed-fallback-figure{margin:0}.embed-fallback-figure img.embed-fallback{display:block;width:100%;height:auto}