:root{--ink:#102a43;--muted:#496478;--line:#ccd8e1;--paper:#f6f9fc;--lime:#c8f171;--blue:#175f96;--red:#a22d3d;--mono:ui-monospace,SFMono-Regular,Consolas,monospace}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:6rem}body{margin:0;color:var(--ink);background:#fff;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;font-size:1rem;line-height:1.65}a{color:var(--blue);text-underline-offset:4px}a:hover{text-decoration-thickness:2px}button,input,select{font:inherit}button,select{cursor:pointer}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible{outline:3px solid #a477ec;outline-offset:4px}button{min-height:44px}h1,h2,h3,p{margin-top:0}h1{font-size:clamp(2.8rem,5.4vw,4.7rem);line-height:1.07;letter-spacing:-.065em;font-weight:750;margin-bottom:1.5rem}h1 span{color:#467502}h2{font-size:clamp(2rem,3.4vw,2.8rem);line-height:1.14;letter-spacing:-.045em;margin-bottom:1rem}h3{font-size:1.18rem;letter-spacing:-.02em;line-height:1.35}p{margin-bottom:1rem}code,pre{font-family:var(--mono)}code{font-size:.9em}pre{white-space:pre-wrap;overflow-wrap:anywhere;margin:0}.wrap{width:min(1160px,calc(100% - 64px));margin-inline:auto}.top{padding:20px 32px;border-bottom:1px solid var(--line);display:flex;justify-content:space-between;align-items:center;gap:20px;background:white}.brand{font-size:1.05rem;font-weight:750;color:var(--ink);text-decoration:none;white-space:nowrap;display:flex;align-items:center;gap:12px}.brand-mark{font-family:var(--mono);background:var(--ink);color:var(--lime);padding:2px 8px;border-radius:5px}.top nav{display:flex;gap:28px;align-items:center}.top nav a{font-size:.9rem;text-decoration:none;color:var(--ink)}.top nav a:hover{text-decoration:underline}.repo{border:1px solid var(--ink);padding:7px 16px;border-radius:5px}.skip{position:absolute;top:-80px;left:20px;background:white;padding:12px;z-index:50}.skip:focus{top:12px}.hero{display:grid;grid-template-columns:1.2fr 1fr;gap:clamp(35px,7vw,100px);padding-block:72px}.eyebrow{font-family:var(--mono);font-size:.78rem;font-weight:700;letter-spacing:.1em;line-height:1.5;margin-bottom:20px}.lede{font-size:1.15rem;max-width:570px;color:var(--muted);line-height:1.7}.actions{display:flex;align-items:center;gap:24px;flex-wrap:wrap;margin:28px 0}.button{background:var(--ink);color:#fff;text-decoration:none;display:inline-block;border-radius:5px;padding:12px 20px;font-weight:650}.button:hover{background:#24445e}.text-link{font-weight:650}.provenance{font-size:.86rem;color:var(--muted);margin-bottom:0}.boundary-card{align-self:center;background:var(--ink);color:white;padding:28px 30px 20px;border-radius:12px;box-shadow:12px 12px 0 #e8eff5}.card-cap{display:flex;justify-content:space-between;font: .78rem var(--mono);letter-spacing:.06em;color:#acbecd;border-bottom:1px solid #3c5569;padding-bottom:16px}.formula{font-family:var(--mono);font-size:clamp(1.5rem,2.4vw,2rem);line-height:1.85;padding-block:30px;white-space:nowrap;letter-spacing:-.04em}.hole{background:#293f39;color:var(--lime);border:1px dashed #80aa48;border-radius:4px;padding:3px 10px}.fill-line{display:flex;align-items:center;justify-content:space-between;border-top:1px solid #3c5569;padding:15px 0;font-family:var(--mono)}.fill-line span{font-size:.86rem;color:#acbecd}.fill-line strong{color:var(--lime);font-size:1.5rem}.certificate-line{display:flex;gap:14px;border-top:1px solid #3c5569;padding-top:20px}.certificate-line>span{font-size:1.8rem;color:var(--lime)}.certificate-line strong{font-size:1.05rem}.certificate-line p{font-size:.9rem;color:#becbd6;margin:.25rem 0 1rem}.card-source{font-size:.9rem;color:var(--lime)}.evidence-strip{background:var(--paper);border-block:1px solid var(--line);font-size:.85rem;color:var(--muted)}.evidence-strip .wrap{display:flex;justify-content:space-between;gap:14px;flex-wrap:wrap;padding-block:15px}.section{padding-block:76px}.section-head{display:grid;grid-template-columns:1.3fr 1fr;gap:70px;align-items:end;margin-bottom:30px}.section-head p:last-child{color:var(--muted)}.section-head .eyebrow{color:var(--blue);margin-bottom:14px}.section-head h2{margin-bottom:0}.lab{border:1px solid var(--line);border-radius:10px;display:grid;grid-template-columns:.82fr 1.3fr;overflow:hidden}.lab-controls{background:var(--paper);padding:30px;display:flex;flex-direction:column;gap:24px;border-right:1px solid var(--line)}label{display:block;font-weight:650;font-size:.9rem;margin-bottom:9px}input,select{width:100%;border:1px solid #9db1c1;background:white;color:var(--ink);border-radius:5px;padding:11px 12px;min-height:48px}input[type=number]{font-family:var(--mono);font-size:1.6rem;padding:7px 12px}.small{font-size:.82rem;color:var(--muted);margin:4px 0 0}.presets>div{display:flex;flex-wrap:wrap;gap:8px;margin-top:8px}.presets button{border:1px solid var(--line);background:#fff;border-radius:5px;padding:7px 14px;color:var(--ink);font-size:.9rem}.presets button:hover{border-color:var(--blue);background:#eaf2f9}.lab-result{padding:30px;min-width:0}.bit-label{display:flex;justify-content:space-between;color:var(--muted);font:.8rem var(--mono);margin-bottom:12px}.bits{display:grid;grid-template-columns:repeat(8,minmax(0,1fr));gap:7px}.bit{border:1px solid var(--line);background:var(--paper);border-radius:4px;text-align:center;padding:7px 0;font:1.35rem var(--mono);position:relative}.bit.target{background:var(--lime);border-color:#8aa944;color:#203805;font-weight:bold}.outputs{display:grid;grid-template-columns:1fr 1fr;gap:24px;margin:28px 0 18px}.outputs span{display:block;font-size:.88rem;color:var(--muted)}.outputs strong{display:block;font:1.35rem var(--mono);letter-spacing:.05em;margin:5px 0}.outputs small{font-size:.82rem;color:var(--muted)}.sample-status{font-weight:650;color:#3c6912;background:#f0f8e4;padding:8px 12px;border-radius:4px}.sample-status.mismatch{color:var(--red);background:#fff0f1}.domain-status{font-size:.86rem;color:var(--muted);margin:12px 0 0}.lab-disclaimer{grid-column:1/-1;border-top:1px solid var(--line);padding:16px 26px;font-size:.85rem;color:var(--muted)}.lab-disclaimer strong{color:var(--ink)}.mechanism{background:var(--paper);border-block:1px solid var(--line)}.pipeline{display:grid;grid-template-columns:repeat(4,1fr);gap:0;border:1px solid var(--line);border-radius:8px;overflow:hidden;background:white}.pipeline article{padding:24px;border-right:1px solid var(--line)}.pipeline article:last-child{border-right:0}.step{font:.8rem var(--mono);display:inline-grid;place-items:center;background:var(--paper);border:1px solid var(--line);width:28px;height:28px;border-radius:50%;margin-bottom:18px}.pipeline h3{margin-bottom:10px}.pipeline p{font-size:.93rem;color:var(--muted);margin:0}.pipeline .gate{background:var(--ink);color:white}.gate .step{background:var(--lime);color:var(--ink);border-color:var(--lime)}.pipeline .gate p{color:#c1ced8}.mechanism-detail{display:grid;grid-template-columns:1fr 1fr;gap:70px;margin-top:42px}.mechanism-detail p{color:var(--muted)}.mechanism-detail>div:first-child{padding-top:15px}.type-block{padding:25px;background:#fff;border:1px solid var(--line);border-radius:7px}.type-block .eyebrow{margin-bottom:15px}.type-block pre{font-size:.95rem;line-height:1.8}.type-block p:not(.eyebrow){font-size:.9rem;margin-top:18px}.proof-grid{display:grid;grid-template-columns:1.1fr 1fr;gap:50px}.theorem{background:var(--paper);border-top:4px solid var(--blue);padding:30px}.theorem pre{font-size:1.05rem;margin:10px 0 25px}.theorem ul{padding-left:21px;color:var(--muted);font-size:.95rem}.theorem li{padding:4px 0}.theorem p:not(.eyebrow){color:var(--muted)}.proof-notes article{padding:5px 0 18px;border-bottom:1px solid var(--line);margin-bottom:20px}.proof-notes article:last-child{margin-bottom:0;border:0}.proof-notes h3{margin-bottom:10px}.proof-notes p{color:var(--muted);font-size:.97rem}.costs{background:var(--ink);color:#fff}.cost-grid{display:grid;grid-template-columns:1fr 1fr;gap:80px;align-items:center}.costs p{color:#c1ced8}.costs .eyebrow{color:var(--lime)}.costs a{color:var(--lime)}.cost-warning{font-weight:650;border-left:3px solid var(--lime);padding-left:16px}.cost-chart{background:#1d3950;border:1px solid #4a6174;padding:30px;border-radius:8px}.bar-label{display:flex;justify-content:space-between;font-size:.9rem;margin:22px 0 8px}.track{height:19px;background:#344e63;border-radius:3px;overflow:hidden}.bar{height:100%;transition:width .3s ease}.bar.scan{background:#6aafe1}.bar.mask{background:var(--lime)}.winner{margin:24px 0 0;font-weight:650;color:var(--lime)!important}.limits-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:28px}.limits-grid article{border-top:1px solid var(--line);padding-top:25px}.label{font:.75rem var(--mono);letter-spacing:.08em;color:var(--muted);display:block;margin-bottom:16px}.limits-grid p{color:var(--muted);font-size:.95rem}.detail-link{margin:28px 0 0;font-size:.92rem}.run-section{border-block:1px solid var(--line);background:var(--paper);padding:50px 0}.run-grid{display:grid;grid-template-columns:1fr 1fr;gap:80px;align-items:center}.run-grid p{color:var(--muted)}.run-grid .eyebrow{margin-bottom:14px}.terminal{background:var(--ink);color:#e1eaf1;padding:24px 28px;border-radius:7px}.terminal>span{color:#acbecd;font-size:.82rem;display:block;margin-bottom:20px}.terminal pre{font-size:.93rem}footer{padding-block:40px}.footer-heading{font-weight:750;margin-bottom:20px;display:flex;justify-content:space-between;gap:20px}.footer-heading span{font-size:.85rem;font-weight:400;color:var(--muted)}footer p{font-size:.86rem;max-width:1000px;color:var(--muted)}.footer-links{display:flex;gap:24px;flex-wrap:wrap;font-size:.83rem;margin-top:24px}.footer-links span{margin-left:auto;color:var(--muted)}.notice{padding:15px;background:var(--paper)}
@media(max-width:900px){.top{padding:18px 24px}.top nav{gap:18px}.hero{gap:35px;padding-block:50px}.boundary-card{padding:22px}.formula{font-size:1.4rem}.section-head{gap:35px}.mechanism-detail,.cost-grid,.run-grid{gap:35px}.pipeline{grid-template-columns:repeat(2,1fr)}.pipeline article:nth-child(2){border-right:0}.pipeline article:nth-child(-n+2){border-bottom:1px solid var(--line)}.lab-controls,.lab-result{padding:22px}.outputs{gap:12px}.outputs strong{font-size:1.1rem}.proof-grid{gap:25px}.limits-grid{gap:22px}}
@media(max-width:680px){.wrap{width:calc(100% - 36px)}.top{display:block;padding:16px 18px}.brand{font-size:1rem}.top nav{margin-top:14px;gap:22px;flex-wrap:wrap}.top nav a{font-size:.85rem}.repo{padding:3px 12px}.hero{grid-template-columns:1fr;padding-block:40px;gap:30px}h1{font-size:3.2rem}.lede{font-size:1.06rem}.actions{gap:18px}.boundary-card{width:100%;box-shadow:6px 6px 0 #e8eff5}.formula{font-size:1.7rem;padding-block:20px}.evidence-strip .wrap{gap:7px 20px;font-size:.79rem}.section{padding-block:48px}.section-head{grid-template-columns:1fr;gap:14px;margin-bottom:22px}.section-head p{margin-bottom:0}.section-head .eyebrow{margin-bottom:12px}.lab{grid-template-columns:1fr}.lab-controls{border-right:0;border-bottom:1px solid var(--line);gap:18px}.lab-result{padding:24px 18px}.bits{gap:5px}.bit{font-size:1.25rem}.outputs{gap:18px}.outputs strong{font-size:1.25rem;letter-spacing:.02em}.lab-disclaimer{padding:16px 18px}.pipeline article{padding:20px 16px}.pipeline h3{font-size:1.05rem}.pipeline p{font-size:.89rem}.mechanism-detail,.proof-grid,.cost-grid,.run-grid{grid-template-columns:1fr;gap:24px}.mechanism-detail{margin-top:24px}.theorem{padding:24px}.theorem pre{font-size:.93rem}.cost-chart{padding:24px}.limits-grid{grid-template-columns:1fr;gap:16px}.limits-grid article{padding-top:20px}.run-section{padding-block:38px}.terminal{padding:22px}.footer-heading{display:block}.footer-heading span{display:block;margin-top:6px}.footer-links{gap:12px 20px}.footer-links span{margin-left:0;width:100%}footer{padding-block:30px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.bar{transition:none}}