*,:after,:before{--tw-border-spacing-x:0;--tw-border-spacing-y:0;--tw-translate-x:0;--tw-translate-y:0;--tw-rotate:0;--tw-skew-x:0;--tw-skew-y:0;--tw-scale-x:1;--tw-scale-y:1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness:proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-color:rgba(59,130,246,.5);--tw-ring-offset-shadow:0 0 #0000;--tw-ring-shadow:0 0 #0000;--tw-shadow:0 0 #0000;--tw-shadow-colored:0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }::backdrop{--tw-border-spacing-x:0;--tw-border-spacing-y:0;--tw-translate-x:0;--tw-translate-y:0;--tw-rotate:0;--tw-skew-x:0;--tw-skew-y:0;--tw-scale-x:1;--tw-scale-y:1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness:proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-color:rgba(59,130,246,.5);--tw-ring-offset-shadow:0 0 #0000;--tw-ring-shadow:0 0 #0000;--tw-shadow:0 0 #0000;--tw-shadow-colored:0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }/*
! tailwindcss v3.4.19 | MIT License | https://tailwindcss.com
*/*,:after,:before{box-sizing:border-box;border:0 solid #e5e7eb}:after,:before{--tw-content:""}:host,html{line-height:1.5;-webkit-text-size-adjust:100%;-moz-tab-size:4;tab-size:4;font-family:ui-sans-serif,system-ui,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji;font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{margin:0;line-height:inherit}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,pre,samp{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-feature-settings:normal;font-variation-settings:normal;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-family:inherit;font-feature-settings:inherit;font-variation-settings:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:transparent;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dd,dl,figure,h1,h2,h3,h4,h5,h6,hr,p,pre{margin:0}fieldset{margin:0}fieldset,legend{padding:0}menu,ol,ul{list-style:none;margin:0;padding:0}dialog{padding:0}textarea{resize:vertical}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}[role=button],button{cursor:pointer}:disabled{cursor:default}audio,canvas,embed,iframe,img,object,svg,video{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}[hidden]:where(:not([hidden=until-found])){display:none}.static{position:static}.fixed{position:fixed}.sticky{position:sticky}.table{display:table}.contents{display:contents}.hidden{display:none}:root{--bg:#0a0a16;--surface:#11111f;--surface-hover:#181829;--accent:#22d3ee;--accent-hover:#5eead4;--accent-glow:rgba(34,211,238,.18);--accent-secondary:#a78bfa;--text:#f2efe9;--text-muted:#b7b3c9;--text-dim:#8581a0;--border:#26263f;--code-bg:#0d0d1a;--success:#34d399;--warning:#f5b942;--font-sans:var(--font-source-sans),-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;--font-mono:var(--font-jetbrains-mono),"SFMono-Regular",Consolas,monospace}*{box-sizing:border-box}html{color-scheme:dark}body,html{background:var(--bg)}body{color:var(--text);font-family:var(--font-sans);-webkit-font-smoothing:antialiased;overflow-x:hidden}::selection{background:var(--accent-glow);color:var(--text)}a{color:inherit}.skip-link{position:absolute;left:-9999px;top:0;z-index:100;background:var(--accent);color:var(--bg);padding:.75rem 1.25rem;font-weight:600;border-radius:0 0 .5rem 0}.skip-link:focus{left:0}.site-header{border-bottom:1px solid var(--border);background:rgba(10,10,22,.85);backdrop-filter:blur(10px);position:sticky;top:0;z-index:40}.site-header-inner{max-width:78rem;margin:0 auto;padding:.9rem 1.25rem;display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.75rem 1.5rem}.site-title{min-height:44px;display:inline-flex;align-items:center;font-weight:700;font-size:1.05rem;letter-spacing:-.01em;color:var(--text);text-decoration:none;display:flex;flex-direction:column;line-height:1.2}.site-title-sub{font-size:.72rem;font-weight:500;color:var(--accent);text-transform:uppercase;letter-spacing:.08em}.site-nav{display:flex;flex-wrap:wrap;align-items:center;gap:.25rem .5rem;font-size:.92rem}.site-nav a{display:inline-flex;align-items:center;min-height:44px;padding:0 .6rem;color:var(--text-muted);text-decoration:none;transition:color .16s ease}.site-nav a:focus-visible,.site-nav a:hover{color:var(--accent)}.site-footer{border-top:1px solid var(--border);margin-top:4rem;padding:2.5rem 1.25rem 3rem;color:var(--text-dim);font-size:.88rem}.site-footer-inner{max-width:78rem;margin:0 auto;display:flex;flex-wrap:wrap;gap:.5rem 1.5rem;justify-content:space-between;align-items:baseline}.site-footer a{color:var(--text-muted);text-decoration:underline;text-decoration-color:var(--border);text-underline-offset:3px}.site-footer a:hover{color:var(--accent)}.hero{position:relative;overflow:hidden;padding:3.5rem 1.25rem 3rem;background:radial-gradient(ellipse 80% 50% at 20% -10%,rgba(34,211,238,.14),transparent 60%),radial-gradient(ellipse 70% 60% at 100% 0,rgba(167,139,250,.12),transparent 55%),linear-gradient(180deg,#0a0a16,#0b0b1c 60%,#0a0a16)}@media (max-width:640px){.hero{padding:2.25rem 1.25rem 2rem}}.hero-pattern{position:absolute;inset:0;width:100%;height:100%;z-index:0;opacity:.9}.hero-inner{position:relative;z-index:1;max-width:78rem;margin:0 auto}.hero-eyebrow{color:var(--accent);font-family:var(--font-mono);font-size:.8rem;letter-spacing:.08em;text-transform:uppercase;margin-bottom:.9rem}.hero h1{font-size:clamp(2.1rem,5vw,3.4rem);font-weight:700;letter-spacing:-.02em;line-height:1.08;margin:0 0 1.1rem;max-width:22ch}.hero-subtitle{font-size:clamp(1.02rem,2vw,1.2rem);color:var(--text-muted);max-width:62ch;line-height:1.6;margin:0 0 1.5rem}.hero-meta{display:flex;gap:1.5rem;flex-wrap:wrap;font-size:.88rem;color:var(--text-dim);font-family:var(--font-mono)}.hero-meta strong{color:var(--accent-secondary);font-weight:600}.section{max-width:78rem;margin:0 auto;padding:3rem 1.25rem}.section-heading{font-size:1.6rem;font-weight:700;letter-spacing:-.01em;margin:0 0 .5rem}.section-lede{color:var(--text-muted);max-width:68ch;line-height:1.6;margin:0 0 2rem}.papers-grid{display:grid;grid-template-columns:1fr;gap:1.5rem}@media (min-width:640px){.papers-grid{grid-template-columns:repeat(2,1fr)}}@media (min-width:1024px){.papers-grid{grid-template-columns:repeat(3,1fr)}}.paper-card{display:flex;flex-direction:column;background:var(--surface);border:1px solid var(--border);border-radius:.85rem;overflow:hidden;text-decoration:none;color:var(--text);transition:transform .22s cubic-bezier(.16,1,.3,1),border-color .22s ease,box-shadow .22s ease,background .22s ease}.paper-card:focus-within,.paper-card:hover{transform:translateY(-4px);border-color:var(--accent);background:var(--surface-hover);box-shadow:0 12px 32px var(--accent-glow)}.paper-card-media{position:relative;width:100%;aspect-ratio:1200/630;background:var(--code-bg);overflow:hidden}.paper-card-media img{width:100%;height:100%;object-fit:cover;object-position:top center;display:block}.paper-card-body{padding:1.25rem 1.35rem 1.4rem;display:flex;flex-direction:column;gap:.6rem;flex:1}.paper-card-pillar{font-size:.76rem;color:var(--accent-secondary);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.06em}.paper-card-title{font-size:1.12rem;font-weight:650;line-height:1.32;letter-spacing:-.01em;margin:0}.paper-card-meta{font-size:.8rem;color:var(--text-dim)}.paper-card-excerpt{font-size:.9rem;color:var(--text-muted);line-height:1.55;flex:1}.paper-card-links{display:flex;gap:.25rem;margin:.1rem -.5rem -.6rem;font-size:.85rem;font-weight:600}.paper-card-links a,.paper-card-links span{display:inline-flex;align-items:center;padding:0 .5rem;color:var(--accent)}.paper-card-links a{min-height:44px;text-decoration:none}.paper-card-links a:hover{color:var(--accent-hover);text-decoration:underline}.paper-card-featured{grid-column:1/-1;display:grid;grid-template-columns:1fr;border:1px solid var(--accent-secondary);box-shadow:0 0 0 1px rgba(167,139,250,.12)}@media (min-width:768px){.paper-card-featured{grid-template-columns:minmax(0,1.25fr) minmax(20rem,1fr);align-items:center}}.compose-diagram{width:100%;height:auto;display:block;margin-bottom:2rem}.compose-list{display:grid;grid-template-columns:1fr;gap:1rem}@media (min-width:768px){.compose-list{grid-template-columns:repeat(4,1fr)}}.compose-item{border:1px solid var(--border);border-radius:.7rem;padding:1rem 1.1rem;background:var(--surface)}.compose-item-label{font-family:var(--font-mono);font-size:.78rem;color:var(--accent);text-transform:uppercase;letter-spacing:.06em;margin-bottom:.4rem}.compose-item p{color:var(--text-muted);font-size:.9rem;line-height:1.55;margin:0}.evidence-list{display:grid;gap:.6rem;font-family:var(--font-mono);font-size:.88rem;color:var(--text-muted);margin:1.25rem 0}.evidence-list code{color:var(--accent);background:var(--code-bg);padding:.1rem .4rem;border-radius:.3rem}.pillar-table{width:100%;border-collapse:collapse;font-size:.92rem}.pillar-table td,.pillar-table th{border:1px solid var(--border);padding:.65rem .85rem;text-align:left;vertical-align:top}.pillar-table th{background:var(--surface);color:var(--accent);font-weight:600}.paper-shell{max-width:78rem;margin:0 auto;padding:0 1.25rem 4rem;display:grid;grid-template-columns:minmax(0,1fr);gap:2rem}.paper-main,.toc-wrap-outer{min-width:0}@media (min-width:1024px){.paper-shell{grid-template-columns:16.5rem minmax(0,1fr);align-items:start}}.paper-titleblock{border-bottom:1px solid var(--border);padding:2rem 1.25rem 1.75rem;background:linear-gradient(180deg,rgba(34,211,238,.06),transparent)}.paper-titleblock-inner{max-width:78rem;margin:0 auto;display:flex;flex-wrap:wrap;justify-content:space-between;align-items:flex-end;gap:1.25rem}.paper-titleblock-text{max-width:58rem}.paper-part-label{font-family:var(--font-mono);font-size:.8rem;color:var(--accent);text-transform:uppercase;letter-spacing:.08em;margin-bottom:.6rem}.paper-titleblock h1{font-size:clamp(1.6rem,3.4vw,2.4rem);line-height:1.2;font-weight:700;letter-spacing:-.01em;margin:0 0 .9rem}.paper-byline{color:var(--text-muted);font-size:.92rem;line-height:1.5}.paper-byline strong{color:var(--text)}.pdf-button{display:inline-flex;align-items:center;justify-content:center;gap:.5rem;min-height:44px;background:var(--accent);color:var(--bg);font-weight:700;font-size:.88rem;padding:.65rem 1.2rem;border-radius:.6rem;text-decoration:none;white-space:nowrap;transition:background .16s ease,transform .16s ease}.pdf-button:hover{background:var(--accent-hover);transform:translateY(-1px)}@media (min-width:1700px){.pdf-button{position:fixed;right:1.5rem;bottom:1.5rem;z-index:30;box-shadow:0 10px 30px rgba(0,0,0,.45)}}.toc-wrap{min-width:0}.toc-desktop-only{display:none}@media (min-width:1024px){.toc-mobile-only{display:none}.toc-desktop-only{display:block}.toc-sticky{position:sticky;top:5.5rem;max-height:calc(100vh - 7rem);overflow-y:auto;padding-right:.5rem}}.toc-summary{cursor:pointer;display:flex;align-items:center;justify-content:space-between;gap:.5rem;min-height:44px;font-weight:600;font-size:.92rem;color:var(--text);padding:.75rem .9rem;border:1px solid var(--border);border-radius:.6rem;background:var(--surface);list-style:none}.toc-summary::-webkit-details-marker{display:none}.toc-summary:after{content:"";flex:none;width:.55em;height:.55em;border-right:2px solid var(--accent);border-bottom:2px solid var(--accent);transform:rotate(45deg);transition:transform .16s ease}details[open]>.toc-summary:after{transform:rotate(-135deg)}.toc{display:flex;flex-direction:column;font-size:.85rem;border-left:1px solid var(--border);margin-top:.5rem}@media (min-width:1024px){.toc{margin-top:0}}.toc-item{display:flex;align-items:center;min-height:44px;color:var(--text-muted);text-decoration:none;padding:.4rem .9rem;border-left:2px solid transparent;margin-left:-1px;line-height:1.4;overflow-wrap:break-word;transition:color .14s ease,background .14s ease,border-color .14s ease}.toc-item.toc-sub{padding-left:1.6rem;font-size:.82rem}.toc-item:hover{color:var(--text)}.toc-active{color:var(--accent);border-left:2px solid var(--accent);background:var(--accent-glow)}.paper-content{max-width:72ch;font-size:17px;line-height:1.65;color:var(--text);overflow-wrap:break-word}@media (min-width:768px){.paper-content{font-size:18px}}.paper-content h2{font-size:1.5em;font-weight:700;letter-spacing:-.01em;margin:2.2em 0 .7em;padding-top:.2em;scroll-margin-top:5.5rem}.paper-content h3{font-size:1.2em;font-weight:650;margin:1.8em 0 .6em;scroll-margin-top:5.5rem}.paper-content h4,.paper-content h5{font-size:1.02em;font-weight:650;color:var(--text);margin:1.5em 0 .4em;scroll-margin-top:5.5rem}.paper-content .header-section-number{color:var(--text-dim);font-family:var(--font-mono);margin-right:.5em}.paper-content p{margin:0 0 1.1em}.paper-content ol,.paper-content ul{margin:0 0 1.1em;padding-left:1.4em}.paper-content li{margin-bottom:.4em}.paper-content a{color:var(--accent);text-decoration:underline;text-decoration-color:var(--border);text-underline-offset:3px}.paper-content a:hover{text-decoration-color:var(--accent)}.paper-content strong{color:var(--text);font-weight:650}.paper-content .sans-serif{font-weight:600;letter-spacing:.01em}.paper-content .ref{font-family:var(--font-mono);font-size:.85em;color:var(--accent-secondary)}.paper-content code{font-family:var(--font-mono);font-size:.88em;background:var(--code-bg);border:1px solid var(--border);border-radius:.3em;padding:.12em .35em;color:var(--accent-hover);overflow-wrap:anywhere}.paper-content pre{background:var(--code-bg);border:1px solid var(--border);border-radius:.6em;padding:1em 1.2em;overflow-x:auto;margin:0 0 1.3em}.paper-content pre code{background:none;border:none;padding:0;color:var(--text)}.paper-content blockquote{border-left:3px solid var(--accent-secondary);padding-left:1em;color:var(--text-muted);margin:0 0 1.2em;font-style:italic}.paper-content figure{max-width:100%;margin:1.8em 0}.paper-content figure img,.paper-content figure svg{max-width:100%;height:auto;display:block;margin:0 auto}.paper-content figcaption{color:var(--text-dim);font-size:.85em;margin-top:.6em;text-align:center}.paper-content img{max-width:100%;height:auto}.paper-content div.assumption,.paper-content div.corollary,.paper-content div.definition,.paper-content div.law,.paper-content div.lemma,.paper-content div.observation,.paper-content div.proposition,.paper-content div.theorem{background:var(--surface);border:1px solid var(--border);border-left:3px solid var(--accent);border-radius:.5em;padding:1em 1.2em;margin:1.5em 0}.paper-content div.example,.paper-content div.remark{background:transparent;border:1px solid var(--border);border-left:3px solid var(--accent-secondary);border-radius:.5em;padding:1em 1.2em;margin:1.5em 0}.paper-content div.proof{margin:1.2em 0;padding-left:1.2em;border-left:2px solid var(--border);color:var(--text-muted)}.paper-content div.center{text-align:center;margin:1.5em 0}.paper-content .katex-display{overflow-x:auto;overflow-y:hidden;padding:.3em 0}.paper-content .katex{max-width:100%;display:inline-block;overflow-x:auto;overflow-y:hidden;vertical-align:middle}.paper-content .katex-error{color:#ff6b6b;font-family:var(--font-mono)}.paper-content .table-scroll{overflow-x:auto;margin:1.5em 0}.paper-content table{border-collapse:collapse;width:100%;font-size:.88em}.paper-content td,.paper-content th{border:1px solid var(--border);padding:.55em .75em;text-align:left;vertical-align:top}.paper-content th{background:var(--surface);color:var(--accent);font-weight:600}.paper-content div.thebibliography{font-size:.92em;color:var(--text-muted);border-top:1px solid var(--border);padding-top:1.2em}.paper-content div.thebibliography p{margin:0 0 .85em}.paper-content .citation{color:var(--text-dim)}.paper-content .uri{word-break:break-all}.paper-content .footnotes{border-top:1px solid var(--border);margin-top:2.5em;padding-top:1em;font-size:.85em;color:var(--text-muted)}.paper-content sup{color:var(--accent)}.paper-nav{display:grid;grid-template-columns:1fr;gap:1rem;margin-top:3rem;padding-top:2rem;border-top:1px solid var(--border)}@media (min-width:640px){.paper-nav{grid-template-columns:1fr 1fr}}.paper-nav-link{display:block;padding:1rem 1.2rem;border:1px solid var(--border);border-radius:.6rem;text-decoration:none;color:var(--text);transition:border-color .16s ease,background .16s ease}.paper-nav-link:hover{border-color:var(--accent);background:var(--surface-hover)}.paper-nav-direction{font-family:var(--font-mono);font-size:.75rem;color:var(--accent);text-transform:uppercase;letter-spacing:.06em;margin-bottom:.3rem}.paper-nav-next{text-align:right}