*,: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{color:inherit;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}.block{display:block}.inline-flex{display:inline-flex}.table{display:table}.border{border-width:1px}.uppercase{text-transform:uppercase}.italic{font-style:italic}.filter{filter:var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow)}:root{--bg:#050510;--surface:#0d0d2b;--surface-hover:#131340;--accent:#a78bfa;--accent-hover:#c4b5fd;--accent-glow:rgba(167,139,250,.1);--accent-secondary:gold;--text:#e2e8f0;--text-muted:#94a3b8;--text-dim:#7f8da3;--border:#1e1e4a;--code-bg:#0f0f2e;--success:#34d399;--warning:#fbbf24}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--bg);color:var(--text);font-family:Inter,system-ui,sans-serif;line-height:1.6;min-height:100vh}h1,h2,h3,h4,h5,h6{font-family:Cinzel,Georgia,serif;font-weight:600;line-height:1.3;color:var(--text)}.site-header{position:sticky;top:0;z-index:50;background:rgba(5,5,16,.92);backdrop-filter:blur(12px);border-bottom:1px solid var(--border);padding:.75rem 1.5rem;display:flex;align-items:center;justify-content:space-between}.site-header .logo{font-family:Cinzel,serif;font-size:.9rem;font-weight:600;color:var(--accent);text-decoration:none;letter-spacing:.05em}.site-header nav a{color:var(--text-muted);text-decoration:none;font-size:.875rem;margin-left:1.5rem;transition:color .2s}.site-header nav a:hover{color:var(--accent)}.hero{position:relative;overflow:hidden;background:radial-gradient(ellipse at 20% 50%,#1a0533 0,#050510 60%),radial-gradient(ellipse at 80% 20%,#0d0533 0,transparent 50%);border-bottom:1px solid var(--border);padding:5rem 1.5rem 4rem}.hero:before{content:"";position:absolute;inset:0;background:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='60' height='60'%3E%3Ccircle cx='30' cy='30' r='0.5' fill='%23a78bfa' opacity='0.3'/%3E%3Ccircle cx='10' cy='10' r='0.3' fill='%23ffd700' opacity='0.2'/%3E%3Ccircle cx='50' cy='50' r='0.4' fill='%23a78bfa' opacity='0.2'/%3E%3C/svg%3E") repeat;pointer-events:none}.hero-content{position:relative;max-width:1100px;margin:0 auto;padding:0 1rem}.hero-badge{display:inline-flex;align-items:center;gap:.5rem;background:rgba(167,139,250,.12);border:1px solid rgba(167,139,250,.3);border-radius:999px;padding:.35rem 1rem;font-size:.8rem;color:var(--accent);letter-spacing:.08em;text-transform:uppercase;margin-bottom:1.5rem}.hero h1{max-width:980px;font-size:clamp(2.1rem,4.4vw,3.45rem);font-family:Cinzel,serif;font-weight:700;line-height:1.16;color:var(--text);margin-bottom:1.25rem;text-wrap:balance}.hero h1 .math-accent{color:var(--accent)}.hero .subtitle{font-size:1.05rem;color:var(--text-muted);margin-bottom:2rem;line-height:1.7}.hero-copy{max-width:72ch}.subtitle-tight{margin-top:1rem}.hero-stats{display:flex;flex-wrap:wrap;gap:1.5rem;margin-top:2rem}.hero-stat{display:flex;flex-direction:column;gap:.2rem}.hero-stat .value{font-size:2rem;font-weight:700;font-family:Cinzel,serif;color:var(--accent);line-height:1}.hero-stat .label{font-size:.8rem;color:var(--text-muted);text-transform:uppercase;letter-spacing:.06em}.obstruction-alert{margin-top:2rem;background:rgba(255,215,0,.06);border:1px solid rgba(255,215,0,.25);border-left:3px solid var(--accent-secondary);border-radius:.5rem;padding:1.15rem 1.35rem;font-size:.94rem;color:var(--text-muted);max-width:82ch;line-height:1.65}.obstruction-alert strong{color:var(--accent-secondary)}.obstruction-alert ul{margin:.75rem 0 0;padding-left:1.25rem}.obstruction-alert li+li{margin-top:.55rem}.obstruction-alert p{margin:.9rem 0 0}.cards-section{max-width:1440px;margin:0 auto;padding:2.5rem 2rem 3rem}.section-label{font-size:.78rem;font-weight:700;text-transform:uppercase;letter-spacing:.09em;color:var(--text-muted);line-height:1.35;margin-top:0;margin-bottom:1.25rem;padding-bottom:.5rem;border-bottom:1px solid var(--border)}.section-label-spaced{margin-top:2.5rem}.card-synthesis{background:linear-gradient(135deg,#100a2e,#0d0d2b 60%,#0a1020);border:1px solid rgba(167,139,250,.3);border-radius:.75rem;padding:1.75rem;margin-bottom:2rem;display:grid;grid-template-columns:minmax(0,1fr) minmax(280px,380px);gap:1.75rem;align-items:center;position:relative;overflow:hidden;transition:border-color .3s,box-shadow .3s}.card-synthesis:before{content:"";position:absolute;top:0;left:0;right:0;height:2px;background:linear-gradient(90deg,var(--accent),var(--accent-secondary),var(--accent))}.card-synthesis:hover{border-color:rgba(167,139,250,.6);box-shadow:0 0 40px rgba(167,139,250,.15)}.synthesis-title{font-size:1.3rem;margin-bottom:1rem}.synthesis-abstract{max-width:68ch;margin-bottom:1.25rem;font-size:.92rem}.synthesis-media{display:flex;align-items:center;min-width:0}.synthesis-image{width:100%;height:auto;aspect-ratio:1.9/1;object-fit:cover;border-radius:.5rem;border:1px solid rgba(167,139,250,.25)}.cards-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,320px),1fr));gap:1.25rem}.paper-card{background:var(--surface);border:1px solid var(--border);border-radius:.75rem;overflow:hidden;transition:border-color .25s,box-shadow .25s,transform .25s;display:flex;flex-direction:column;min-width:0;height:100%}.paper-card:hover{border-color:var(--accent);box-shadow:0 0 24px var(--accent-glow);transform:translateY(-2px)}.paper-card-featured{background:linear-gradient(135deg,#0f0a28 0,var(--surface) 100%);border-color:rgba(167,139,250,.25)}.card-cover{width:100%;height:160px;object-fit:cover;display:block}.card-cover-placeholder{width:100%;height:160px;background:linear-gradient(135deg,#1a0533,#0d0d2b);display:flex;align-items:center;justify-content:center;font-family:Cinzel,serif;font-size:1.5rem;color:var(--accent);opacity:.5}.card-body{padding:1.25rem;flex:1;display:flex;flex-direction:column;min-width:0}.card-part{font-size:.7rem;text-transform:uppercase;letter-spacing:.12em;color:var(--accent);margin-bottom:.5rem;font-weight:600}.card-title{font-family:Cinzel,serif;font-size:.95rem;color:var(--text);margin-bottom:.75rem;line-height:1.4;font-weight:600}.card-abstract{font-size:.86rem;color:var(--text-muted);line-height:1.65;flex:1;margin-bottom:1rem}.card-badges{display:flex;flex-wrap:wrap;gap:.4rem;margin-bottom:1rem}.badge{display:inline-flex;align-items:center;gap:.3rem;padding:.24rem .65rem;border-radius:999px;font-size:.74rem;font-weight:600;letter-spacing:.02em;line-height:1.25}.badge-valid{background:rgba(52,211,153,.12);border:1px solid rgba(52,211,153,.3);color:var(--success)}.badge-invalid{background:rgba(239,68,68,.12);border:1px solid rgba(239,68,68,.3);color:#f87171}.badge-incomplete{background:rgba(251,191,36,.12);border:1px solid rgba(251,191,36,.3);color:var(--warning)}.badge-category{background:rgba(167,139,250,.1);border:1px solid rgba(167,139,250,.2);color:var(--accent)}.card-actions{display:flex;gap:.75rem;align-items:center}.btn-pdf{display:inline-flex;align-items:center;gap:.4rem;background:var(--accent);color:#0a0a1a;border:none;border-radius:.4rem;padding:.5rem 1rem;font-size:.8rem;font-weight:700;text-decoration:none;transition:background .2s,box-shadow .2s;cursor:pointer}.btn-pdf:hover{background:var(--accent-hover);box-shadow:0 0 16px rgba(167,139,250,.4)}.btn-outline{display:inline-flex;align-items:center;gap:.4rem;background:transparent;color:var(--accent);border:1px solid var(--accent);border-radius:.4rem;padding:.5rem 1rem;font-size:.8rem;font-weight:600;text-decoration:none;transition:background .2s,color .2s}.btn-outline:hover{background:var(--accent-glow)}.toc-nav{display:flex;flex-direction:column;gap:.1rem}.toc-item{display:block;padding:.35rem .75rem;font-size:.82rem;color:var(--text-muted);text-decoration:none;border-left:2px solid transparent;border-radius:0 .25rem .25rem 0;transition:color .15s,border-color .15s,background .15s;line-height:1.4}.toc-item:hover{color:var(--text);border-left-color:var(--border);background:hsla(0,0%,100%,.03)}.toc-sub{padding-left:1.5rem;font-size:.78rem}.toc-active{color:var(--accent)!important;border-left-color:var(--accent)!important;background:var(--accent-glow)!important}.paper-content{font-size:1rem;line-height:1.75;color:var(--text)}.paper-content h1{font-size:1.8rem;margin:2rem 0 1rem;padding-bottom:.5rem;border-bottom:1px solid var(--border)}.paper-content h2{font-size:1.4rem;margin:2rem 0 .75rem;color:var(--accent-hover)}.paper-content h3{font-size:1.1rem;margin:1.5rem 0 .5rem;color:var(--text)}.paper-content p{margin-bottom:1rem}.paper-content a{color:var(--accent);text-decoration:underline;text-underline-offset:2px}.paper-content code{background:var(--code-bg);border:1px solid var(--border);border-radius:.3rem;padding:.1em .4em;font-size:.88em;font-family:JetBrains Mono,Courier New,monospace;color:#a5f3fc}.paper-content pre{background:var(--code-bg);border:1px solid var(--border);border-radius:.5rem;padding:1.25rem;overflow-x:auto;margin:1.25rem 0}.paper-content pre code{background:none;border:none;padding:0;font-size:.85rem;color:var(--text-muted)}.paper-content blockquote{border-left:3px solid var(--accent);padding:.75rem 1.25rem;margin:1.25rem 0;background:var(--accent-glow);border-radius:0 .5rem .5rem 0;color:var(--text-muted);font-style:italic}.paper-content table{width:100%;border-collapse:collapse;margin:1.25rem 0;font-size:.9rem}.paper-content th{background:var(--surface);text-align:left;color:var(--accent);font-family:Cinzel,serif;font-size:.8rem;text-transform:uppercase;letter-spacing:.06em}.paper-content td,.paper-content th{border:1px solid var(--border);padding:.6rem 1rem}.paper-content td{color:var(--text-muted)}.paper-content tr:hover td{background:hsla(0,0%,100%,.02)}.paper-content .definition,.paper-content .lemma,.paper-content .proposition,.paper-content .theorem{background:var(--surface);border:1px solid var(--border);border-left:3px solid var(--accent);border-radius:0 .5rem .5rem 0;padding:1rem 1.25rem;margin:1.5rem 0}.paper-content .proof{background:rgba(52,211,153,.04);border:1px solid rgba(52,211,153,.15);border-radius:.5rem;padding:1rem 1.25rem;margin:1rem 0}.paper-content .katex-display{overflow-x:auto;padding:.5rem 0}.paper-page{max-width:960px;margin:0 auto;padding:2rem 1.5rem}.paper-breadcrumb{font-size:.82rem;color:var(--text-dim);margin-bottom:1.5rem}.paper-detail-header{display:grid;grid-template-columns:minmax(0,1fr) minmax(280px,380px);gap:2rem;align-items:center;margin-bottom:2rem}.paper-tier-badge{display:inline-flex;align-items:center;gap:.5rem;background:rgba(167,139,250,.1);border-radius:999px;padding:.25rem .75rem;font-size:.75rem;letter-spacing:.08em;text-transform:uppercase;margin-bottom:1rem}.paper-title{font-family:Cinzel,serif;font-size:clamp(1.45rem,3vw,2.15rem);font-weight:700;color:var(--text);margin-bottom:1rem;line-height:1.25;text-wrap:balance}.paper-badge-row{display:flex;flex-wrap:wrap;gap:.5rem;margin-bottom:1.25rem}.paper-cover{min-width:0;max-width:380px;width:100%}.theorem-callout{background:var(--surface);border:1px solid rgba(167,139,250,.3);border-left:3px solid var(--accent);border-radius:0 .5rem .5rem 0;padding:1.25rem;margin-bottom:2rem}.paper-section-label,.theorem-label{margin-bottom:.75rem}.theorem-code{display:block;background:var(--code-bg);border:1px solid var(--border);border-radius:.4rem;padding:.65rem .9rem;font-family:JetBrains Mono,Courier New,monospace;font-size:.85rem;line-height:1.55;white-space:normal;overflow-wrap:anywhere}.abstract-card,.pdf-card{background:var(--surface);border:1px solid var(--border);border-radius:.75rem;padding:1.5rem;margin-bottom:2rem}.abstract-card p{color:var(--text-muted);line-height:1.75;max-width:76ch;margin:0}.pdf-card{text-align:center}.paper-stats-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(140px,1fr));gap:1rem;margin-bottom:2rem}.paper-nav{display:flex;justify-content:space-between;gap:1rem;margin-top:2rem;padding-top:1.5rem;border-top:1px solid var(--border)}.paper-nav-link{color:var(--accent);text-decoration:none;font-size:.85rem;max-width:45%}.paper-nav-next{text-align:right;margin-left:auto}.verdict-table-wrap{overflow-x:auto;margin-bottom:2rem;border:1px solid var(--border);border-radius:.5rem}.verdict-table{width:100%;min-width:680px;border-collapse:collapse;font-size:.88rem}.verdict-table th{background:var(--surface);border-bottom:1px solid var(--border);padding:.7rem 1rem;text-align:left;color:var(--accent);font-family:Cinzel,serif;font-size:.78rem;font-weight:700;text-transform:uppercase;letter-spacing:.06em}.verdict-table td{border-top:1px solid rgba(30,30,74,.75);padding:.65rem 1rem;color:var(--text-muted);vertical-align:top}.verdict-table .numeric{text-align:right;white-space:nowrap}.verdict-table .centered{text-align:center}.verdict-table .success{color:var(--success)}.verdict-table .danger{color:#f87171}.verdict-table .warning{color:var(--warning)}.verdict-table .strong{font-weight:700}.verdict-table .dimmed{color:var(--text-dim)}.verdict-link{color:var(--accent);text-decoration:none}.verdict-link:hover{text-decoration:underline;text-underline-offset:3px}.verdict-table .total-row{font-weight:700}.verdict-table .total-row td:first-child{color:var(--text);font-family:Cinzel,serif}.verdict-table .total-value{font-size:1.05rem}.site-footer{border-top:1px solid var(--border);background:var(--surface);padding:2rem 1.5rem;text-align:center;color:var(--text-dim);font-size:.85rem}.site-footer a{color:var(--accent);text-decoration:none}.site-footer a:hover{text-decoration:underline}@media (max-width:768px){.card-synthesis{grid-template-columns:1fr}.synthesis-media{max-width:420px}.cards-grid{grid-template-columns:1fr}.hero{padding:3rem 1rem 2.5rem}.hero-content{padding:0}.hero h1{font-size:clamp(1.9rem,9vw,2.55rem)}.hero .subtitle{font-size:1rem}.hero-stats{gap:1rem}.hero-stat{flex:1 1 42%}.cards-section{padding:2rem 1rem}.section-label{letter-spacing:.07em}.verdict-table{min-width:620px;font-size:.84rem}.paper-page{padding:1.5rem 1rem}.paper-detail-header{grid-template-columns:1fr;gap:1.25rem}.paper-cover{max-width:100%}.abstract-card,.pdf-card,.theorem-callout{padding:1.15rem}}@media (max-width:480px){.site-header{align-items:flex-start;gap:.75rem;flex-direction:column}.site-header nav a{margin-left:0;margin-right:1rem}.hero-badge{flex-wrap:wrap;border-radius:.75rem}.obstruction-alert{padding:1rem}.card-actions{flex-wrap:wrap}.paper-title{font-size:clamp(1.35rem,8vw,1.9rem)}.paper-stats-grid{grid-template-columns:1fr 1fr}.paper-nav{flex-direction:column}.paper-nav-link{max-width:none}.paper-nav-next{text-align:left;margin-left:0}}