.case-page{--case-muted:#a6b1aa}.case-page .section{scroll-margin-top:50px}.case-hero{background:#0b1011;padding:42px 0 0;overflow:hidden}.case-back{color:var(--muted);align-items:center;gap:9px;margin-bottom:54px;font:9px Mono,monospace;display:inline-flex}.case-hero-grid{grid-template-columns:1.1fr 1fr;align-items:center;gap:9%;display:grid}.case-hero h1{letter-spacing:-.025em;font:650 clamp(76px,8vw,120px)/.94 Display,Impact,sans-serif}.case-hero h1>span{color:var(--accent)}.case-lead{color:var(--text);letter-spacing:-.03em;margin:26px 0 20px;font-size:25px;line-height:1.25}.case-hero-copy{max-width:470px;font-size:14px;line-height:1.8}.case-status{max-width:430px;margin-top:28px;font-size:10px;line-height:1.8}.case-status .status{margin-bottom:10px}.case-hero-visual>.mono{color:var(--muted);margin-top:17px;font-size:8px;line-height:1.8}.case-metrics{border-top:1px solid var(--border);grid-template-columns:repeat(4,1fr);margin-top:65px;display:grid}.case-metrics>a{border-right:1px solid var(--border);flex-direction:column;padding:28px 0 29px 30px;display:flex}.case-metrics>a:first-child{padding-left:0}.case-metrics>a:last-child{border-right:0}.case-metrics strong{letter-spacing:-.04em;font-size:45px;font-weight:500;line-height:1.1}.case-metrics span{margin-top:8px;font-size:12px}.case-metrics small{color:var(--muted);margin-top:15px;font:8px Mono,monospace}.case-metrics a:hover strong{color:var(--accent)}.case-nav{z-index:25;-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);border-block:1px solid var(--border);background:#111819f5;position:sticky;top:86px}.case-nav>.container{justify-content:space-between;gap:25px;display:flex;overflow-x:auto}.case-nav a{white-space:nowrap;padding:20px 0;font-size:11px}.case-nav a:hover{color:var(--accent)}.case-editorial>h3{max-width:400px;font-size:27px;line-height:1.2}.case-editorial>p{margin-top:22px;font-size:14px;line-height:1.8}.evidence-note{color:var(--muted);overflow-wrap:anywhere;flex-direction:column;gap:5px;display:flex;margin-top:22px!important;font:9px/1.8 Mono,monospace!important}.evidence-note a{color:var(--accent)}.case-rule{border:1px solid var(--border);background:#141d1b;grid-template-columns:75px 20px 1fr;align-items:center;gap:16px;margin-top:28px;padding:23px;display:grid}.case-rule>span{color:var(--accent);font:11px Mono,monospace}.case-rule p{font-size:12px}.case-intro-note{max-width:900px;margin:24px 0 35px;font-size:12px;line-height:1.9}.case-properties{background:#111718}.claim-register{border-top:1px solid var(--border)}.claim-item{border-bottom:1px solid var(--border)}.claim-item summary{cursor:pointer;grid-template-columns:60px 1fr 24px;gap:25px;padding:25px 0;list-style:none;display:grid}.claim-item summary::-webkit-details-marker{display:none}.claim-id{color:var(--accent);padding-top:5px;font:11px Mono,monospace}.claim-item summary h3{font-size:23px}.claim-item summary p{max-width:860px;margin-top:8px;font-size:12px;line-height:1.8}.claim-open{color:var(--accent);font-size:24px;transition:transform .25s}.claim-item[open] .claim-open{transform:rotate(45deg)}.claim-detail{padding:0 50px 30px 85px}.claim-detail>.mono{color:var(--accent);margin-bottom:16px;font-size:9px}.claim-detail>p:not(.mono):not(.evidence-note){margin:14px 0;font-size:12px;line-height:1.8}.theorem-list{flex-wrap:wrap;gap:9px;margin:18px 0;display:flex}.theorem-list code{border:1px solid var(--border);border-radius:var(--radius);overflow-wrap:anywhere;background:#0b1111;padding:8px 10px;font-size:10px}.claim-status code{overflow-wrap:anywhere;font-size:9px}.case-page code{font-family:Mono,monospace}.case-page pre{border:1px solid var(--border);border-radius:var(--radius);white-space:pre;background:#080d0e;margin:22px 0;padding:24px;font:11px/1.9 Mono,monospace;overflow-x:auto}.scope-guarantee{border:1px solid #5d7b3b;border-left:3px solid var(--accent);background:#141d18;margin:45px 0;padding:36px}.scope-guarantee>.mono{color:var(--accent);font-size:9px}.scope-guarantee h3{letter-spacing:-.04em;margin:20px 0;font-size:42px;line-height:1.1}.scope-guarantee h3>span{color:var(--accent)}.scope-guarantee>p{max-width:850px;font-size:14px;line-height:1.9}.case-scope-grid{grid-template-columns:1fr 1fr;gap:9%;margin-top:48px;display:grid}.case-scope-grid h3{margin-bottom:23px;font-size:23px}.case-scope-grid ul{color:var(--muted);margin:0;padding-left:17px;font-size:13px;line-height:1.9}.case-scope-grid li{margin:10px 0;padding-left:5px}.case-scope-grid code{font-size:11px}.scope-caveat{border:1px solid var(--border);margin-top:36px;padding:30px}.scope-caveat h3{font-size:21px}.scope-caveat>p{margin-top:18px;font-size:13px;line-height:1.9}.case-exact{margin-top:30px}.case-exact>p{margin:18px 0;font-size:12px;line-height:1.9}.case-evidence-ledger{border-top:1px solid var(--border)}.case-evidence-ledger>article{border-bottom:1px solid var(--border);grid-template-columns:210px 1fr;gap:18px 40px;padding:30px 0;display:grid}.case-evidence-ledger>article>.mono{color:var(--accent);grid-row:span 3;padding-top:4px;font-size:9px}.case-evidence-ledger h3{font-size:24px}.case-evidence-ledger p{font-size:13px;line-height:1.8}.case-evidence-ledger strong{color:var(--text);font-weight:500}.case-evidence-ledger .evidence-note{margin-top:0!important}.case-identity{border-bottom:1px solid var(--border);grid-template-columns:1fr 1fr;gap:7%;padding:35px 0;display:grid}.case-identity .mono{color:var(--accent);margin:12px 0;font-size:8px;display:block}.case-identity code{overflow-wrap:anywhere;font-size:11px;display:block}.case-identity p{margin:17px 0;font-size:11px;line-height:1.8}.case-repro{background:#111718}.evidence-levels{border:1px solid var(--border);border-radius:var(--radius);grid-template-columns:repeat(3,1fr);margin-top:45px;display:grid}.evidence-levels>article{border-right:1px solid var(--border);padding:28px}.evidence-levels>article:last-child{border:0}.evidence-levels .mono{color:var(--accent);font-size:9px}.evidence-levels h3{margin:22px 0 17px;font-size:24px}.evidence-levels p{min-height:90px;font-size:12px;line-height:1.8}.evidence-levels .status,.evidence-levels .small{margin-top:22px;font-size:9px;line-height:1.8;display:block}.evidence-levels .status i{margin-right:7px}.repro-steps{margin-top:45px}.repro-steps article{border-top:1px solid var(--border);grid-template-columns:45px 1fr;gap:25px;padding:30px 0;display:grid}.repro-steps article>span{color:var(--accent);padding-top:5px;font:12px Mono,monospace}.repro-steps article h3{font-size:24px}.repro-steps article p{max-width:860px;font-size:12px;line-height:1.9}.repro-steps article>div{min-width:0}.case-toolchain{color:var(--muted);flex-wrap:wrap;gap:28px;margin-top:30px;font:10px/1.8 Mono,monospace;display:flex}.case-toolchain strong{color:var(--text);margin-left:8px;font-weight:400}.download-list{border-top:1px solid var(--border)}.download-list>a{border-bottom:1px solid var(--border);grid-template-columns:30px 1fr 24px;align-items:center;gap:25px;padding:27px 18px;transition:background .2s;display:grid}.download-list>a:hover{background:#17201a}.download-list>a>svg{color:var(--accent)}.download-list .mono{color:var(--muted);font-size:8px}.download-list h3{margin:8px 0;font-size:22px}.download-list p{font-size:12px;line-height:1.7}.case-next{background:var(--accent);color:var(--base)}.case-next .eyebrow,.case-next p{color:#314125}.case-next p{max-width:500px;margin:25px 0;font-size:14px}.case-next .button{background:var(--base);color:var(--accent);margin-top:12px}@media (max-width:1100px){.case-hero-grid{gap:5%}.case-hero h1{font-size:88px}.case-hero-copy{font-size:13px}.case-metrics strong{font-size:38px}.case-nav>.container{gap:22px}.case-nav a{font-size:10px}.case-hero .actions{flex-wrap:wrap}.case-evidence-ledger>article{grid-template-columns:170px 1fr;gap:18px 25px}.case-page pre{font-size:10px}.evidence-levels>article{padding:23px}.evidence-levels h3{font-size:22px}}@media (max-width:767px){.case-hero{padding-top:27px}.case-back{margin-bottom:35px}.case-hero-grid{grid-template-columns:1fr;gap:42px}.case-hero h1{font-size:clamp(70px,18vw,100px)}.case-hero .eyebrow{font-size:8px}.case-lead{font-size:23px}.case-hero-copy{font-size:13px}.case-hero-visual>.mono{font-size:7px}.case-metrics{grid-template-columns:1fr 1fr;margin-top:38px}.case-metrics>a{border-bottom:1px solid var(--border);padding:21px 18px!important}.case-metrics>a:nth-child(2n){border-right:0}.case-metrics>a:nth-child(n+3){border-bottom:0}.case-metrics strong{font-size:34px}.case-metrics span{font-size:11px}.case-metrics small{font-size:7px}.case-nav{top:70px}.case-nav a{padding:16px 0;font-size:9px}.case-page .section{scroll-margin-top:45px}.case-editorial>h3{font-size:25px}.case-editorial>p{font-size:13px}.case-rule{grid-template-columns:65px 16px 1fr;gap:13px;padding:20px 16px}.case-rule p,.case-rule>span{font-size:10px}.claim-item summary{grid-template-columns:30px 1fr 16px;gap:13px;padding:22px 0}.claim-item summary h3{font-size:20px}.claim-item summary p{font-size:11px}.claim-id{font-size:9px}.claim-detail{padding:0 0 25px 43px}.theorem-list code{padding:7px;font-size:8px}.claim-detail>p:not(.mono):not(.evidence-note){font-size:11px}.scope-guarantee{margin-top:30px;padding:25px 21px}.scope-guarantee h3{font-size:33px}.scope-guarantee>p{font-size:12px}.case-scope-grid{grid-template-columns:1fr;gap:35px}.case-scope-grid ul{font-size:12px}.scope-caveat{padding:23px 20px}.scope-caveat>p{font-size:12px}.scope-caveat h3{font-size:20px}.case-evidence-ledger>article{padding:25px 0;display:block}.case-evidence-ledger>article>.mono{font-size:8px}.case-evidence-ledger h3{margin:17px 0;font-size:23px}.case-evidence-ledger p{margin-top:15px;font-size:12px}.case-evidence-ledger .evidence-note{margin-top:17px!important}.case-identity{grid-template-columns:1fr;gap:20px}.case-identity code{font-size:9px}.case-page pre{padding:17px;font-size:9px}.evidence-levels{grid-template-columns:1fr}.evidence-levels>article{border-right:0;border-bottom:1px solid var(--border);padding:25px}.evidence-levels h3{margin:18px 0 15px}.evidence-levels p{min-height:0}.repro-steps article{grid-template-columns:23px 1fr;gap:12px;padding:26px 0}.repro-steps article h3{font-size:21px}.repro-steps article p{font-size:11px}.repro-steps article>span{font-size:10px}.download-list>a{grid-template-columns:22px 1fr 18px;gap:14px;padding:23px 0}.download-list h3{font-size:20px}.download-list p{font-size:11px}.case-hero .header-cta{display:none}.case-page .site-header .button{gap:8px;min-height:38px;padding:10px;font-size:9px}.case-page .site-header .brand{gap:9px;font-size:10px}.case-page .site-header .brand-symbol{font-size:24px}.case-intro-note{font-size:11px}}.repro-steps article{display:block}