.research-body{background:#080808;color:#f1ede3}.research-hero{position:relative;min-height:74svh;padding:7rem 4vw 5rem;overflow:hidden;background:radial-gradient(circle at 78% 42%,rgba(231,53,34,.2),transparent 25rem),linear-gradient(120deg,#080808,#140b09);border-bottom:1px solid rgba(241,237,227,.16)}.research-hero .hero-grid{position:absolute;inset:0;opacity:.12;background-image:linear-gradient(rgba(241,237,227,.16) 1px,transparent 1px),linear-gradient(90deg,rgba(241,237,227,.16) 1px,transparent 1px);background-size:64px 64px}.research-hero-copy{position:relative;z-index:2;max-width:980px}.research-hero h1,.research-heading h2{margin:1rem 0;letter-spacing:-.065em;text-transform:uppercase;font-weight:900;line-height:.84}.research-hero h1{font-size:clamp(3.3rem,8vw,8.5rem)}.proof-slab{position:relative;z-index:2;margin:3rem 0 0 auto;width:min(560px,100%);padding:1.2rem;border:1px solid rgba(241,237,227,.2);background:rgba(8,8,8,.72)}.proof-slab span,.proof-grid span{display:block;color:#e73522;font:800 .62rem monospace;letter-spacing:.12em;text-transform:uppercase}.proof-slab code,.proof-grid code{display:block;margin:.8rem 0;word-break:break-all;font:700 .72rem/1.6 monospace}.proof-slab small{color:#c9c4b8}.research-metrics{display:grid;grid-template-columns:repeat(5,1fr);background:#e73522;color:#fff}.research-metrics div{padding:1.3rem 4vw;border-right:1px solid rgba(255,255,255,.25)}.research-metrics strong{display:block;font-size:2rem;letter-spacing:-.05em}.research-metrics span{font:800 .58rem monospace;text-transform:uppercase;letter-spacing:.08em}.research-section{padding:7rem 4vw}.paper-section{background:#f1ede3;color:#080808}.research-heading{display:grid;grid-template-columns:1.3fr .7fr;gap:3rem;align-items:end;margin-bottom:3rem}.research-heading h2{font-size:clamp(3rem,6.2vw,6.5rem)}.research-heading>p{margin:0;color:#c9c4b8;line-height:1.75}.paper-section .research-heading>p{color:#5b554d}.paper-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));border-top:2px solid #080808;border-left:1px solid rgba(8,8,8,.24)}.paper-card{padding:1.5rem;min-height:390px;display:flex;flex-direction:column;border-right:1px solid rgba(8,8,8,.24);border-bottom:1px solid rgba(8,8,8,.24)}.record-meta{display:flex;gap:.5rem;flex-wrap:wrap;font:800 .58rem monospace;text-transform:uppercase;letter-spacing:.08em}.record-badge{padding:.3rem .45rem;border:1px solid currentColor}.record-badge.canonical{color:#a52a1b}.paper-card h3{margin:2.5rem 0 1rem;font-size:clamp(1.8rem,3vw,3.1rem);letter-spacing:-.05em;line-height:.92}.paper-card p{color:#5b554d;line-height:1.6}.paper-card .science{margin-top:auto;padding-top:1rem;border-top:1px solid rgba(8,8,8,.2);font-size:.82rem}.artifact-list{display:grid;gap:.65rem;margin-top:1rem}.artifact{display:grid;gap:.25rem}.artifact b{font:800 .62rem monospace;text-transform:uppercase}.artifact code,.record-hash{font:600 .62rem/1.5 monospace;word-break:break-all;color:#6e6961}.lineage-section{background:#0d0c0b}.lineage-grid{display:grid;grid-template-columns:1fr 1fr;border-top:1px solid rgba(241,237,227,.16);border-left:1px solid rgba(241,237,227,.16)}.lineage-grid>div{padding:1.5rem;border-right:1px solid rgba(241,237,227,.16);border-bottom:1px solid rgba(241,237,227,.16)}.lineage-grid>div>h3{color:#e73522;font:800 .7rem monospace;letter-spacing:.12em}.lineage-record{padding:1.2rem 0;border-top:1px solid rgba(241,237,227,.16)}.lineage-record h4{margin:.7rem 0;font-size:1.45rem}.lineage-record p{color:#c9c4b8;line-height:1.55}.proof-section{background:linear-gradient(135deg,#110a08,#080808)}.proof-grid{display:grid;grid-template-columns:1fr 1fr 1fr;border:1px solid rgba(241,237,227,.16)}.proof-grid article{padding:1.5rem;border-right:1px solid rgba(241,237,227,.16)}.proof-grid article:last-child{border-right:0}.proof-button{display:inline-block;margin-top:.7rem;padding:.65rem .8rem;border:1px solid rgba(241,237,227,.35);background:transparent;color:#f1ede3;font:800 .62rem monospace;text-transform:uppercase;cursor:pointer}.proof-button:hover{border-color:#e73522;color:#e73522}.proof-button.disabled{pointer-events:none;opacity:.45}.verify-idle{color:#c9c4b8}.verify-pass{color:#71d67b}.verify-fail{color:#ff6c61}.machine-links{display:flex;flex-wrap:wrap;gap:1rem;margin-top:1.5rem}.machine-links a{color:#e73522;font:800 .67rem monospace;text-transform:uppercase}.proof-boundary{display:grid;grid-template-columns:auto 1fr;gap:.5rem 1rem;margin-top:2rem;padding-top:1.5rem;border-top:1px solid rgba(241,237,227,.16)}.proof-boundary b{color:#e73522;font:800 .62rem monospace}.proof-boundary p{margin:0;color:#c9c4b8;line-height:1.6}.deprecated-section{background:#11100f;padding-top:4rem;padding-bottom:4rem}.deprecated-section details{border:1px solid rgba(241,237,227,.16)}.deprecated-section summary{display:flex;justify-content:space-between;gap:1rem;padding:1.2rem;cursor:pointer;font:800 .7rem monospace;letter-spacing:.08em}.deprecated-section details>p{padding:0 1.2rem;color:#c9c4b8;line-height:1.65}.deprecated-grid{display:grid;grid-template-columns:1fr 1fr}.deprecated-item{padding:1rem 1.2rem;border-top:1px solid rgba(241,237,227,.16);border-right:1px solid rgba(241,237,227,.16)}.deprecated-item b{display:block;font-size:.9rem}.deprecated-item code{display:block;margin-top:.5rem;color:#8d8880;font:.58rem monospace}.doctrine-section{background:#f1ede3;color:#080808}.doctrine-section blockquote{max-width:1100px;margin:1rem 0;font-size:clamp(1.5rem,3vw,3rem);line-height:1.1;letter-spacing:-.03em}.error-box{padding:1rem;border:1px solid #e73522;color:#e73522}.loading{padding:2rem;font:700 .8rem monospace}.research-body footer{background:#080808}@media(max-width:900px){.research-metrics{grid-template-columns:repeat(2,1fr)}.research-metrics div:last-child{grid-column:1/-1}.research-heading{grid-template-columns:1fr}.paper-grid,.lineage-grid,.proof-grid{grid-template-columns:1fr}.proof-grid article{border-right:0;border-bottom:1px solid rgba(241,237,227,.16)}.deprecated-grid{grid-template-columns:1fr}}@media(max-width:560px){.research-hero{padding:5rem 5vw 3rem}.research-section{padding:4.5rem 5vw}.research-metrics{grid-template-columns:1fr 1fr}.paper-grid{grid-template-columns:1fr}.proof-boundary{grid-template-columns:1fr}.research-hero h1{font-size:clamp(3rem,16vw,5.4rem)}}