@font-face{font-family:__DM_Sans_0eeb07;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/7ab938503e4547a1-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__DM_Sans_0eeb07;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/13971731025ec697-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__DM_Sans_0eeb07;font-style:normal;font-weight:500;font-display:swap;src:url(/_next/static/media/7ab938503e4547a1-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__DM_Sans_0eeb07;font-style:normal;font-weight:500;font-display:swap;src:url(/_next/static/media/13971731025ec697-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__DM_Sans_0eeb07;font-style:normal;font-weight:600;font-display:swap;src:url(/_next/static/media/7ab938503e4547a1-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__DM_Sans_0eeb07;font-style:normal;font-weight:600;font-display:swap;src:url(/_next/static/media/13971731025ec697-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__DM_Sans_0eeb07;font-style:normal;font-weight:700;font-display:swap;src:url(/_next/static/media/7ab938503e4547a1-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__DM_Sans_0eeb07;font-style:normal;font-weight:700;font-display:swap;src:url(/_next/static/media/13971731025ec697-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__DM_Sans_Fallback_0eeb07;src:local("Arial");ascent-override:94.90%;descent-override:29.66%;line-gap-override:0.00%;size-adjust:104.53%}.__className_0eeb07{font-family:__DM_Sans_0eeb07,__DM_Sans_Fallback_0eeb07;font-style:normal}.__variable_0eeb07{--font-code-dm-sans:"__DM_Sans_0eeb07","__DM_Sans_Fallback_0eeb07"}@font-face{font-family:__DM_Mono_9ef920;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/64418ffc17e50301-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__DM_Mono_9ef920;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/0e96d314a90a6138-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__DM_Mono_9ef920;font-style:normal;font-weight:500;font-display:swap;src:url(/_next/static/media/ba43ea3467e29870-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__DM_Mono_9ef920;font-style:normal;font-weight:500;font-display:swap;src:url(/_next/static/media/b7ea2ab4a8ad1f81-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__DM_Mono_Fallback_9ef920;src:local("Arial");ascent-override:73.71%;descent-override:23.03%;line-gap-override:0.00%;size-adjust:134.59%}.__className_9ef920{font-family:__DM_Mono_9ef920,__DM_Mono_Fallback_9ef920;font-style:normal}.__variable_9ef920{--font-code-dm-mono:"__DM_Mono_9ef920","__DM_Mono_Fallback_9ef920"}@font-face{font-family:"__Instrument_Serif_1f5468";font-style:italic;font-weight:400;font-display:swap;src:url(/_next/static/media/5ece437c7024c161-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:"__Instrument_Serif_1f5468";font-style:italic;font-weight:400;font-display:swap;src:url(/_next/static/media/9cc5b37ab1350db7-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:"__Instrument_Serif_1f5468";font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/35f3de0ebb1cfc70-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:"__Instrument_Serif_1f5468";font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/e6099e249fd938cc-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:"__Instrument_Serif_Fallback_1f5468";src:local("Times New Roman");ascent-override:117.94%;descent-override:36.93%;line-gap-override:0.00%;size-adjust:83.94%}.__className_1f5468{font-family:"__Instrument_Serif_1f5468","__Instrument_Serif_Fallback_1f5468";font-weight:400}.__variable_1f5468{--font-code-instrument-serif:"__Instrument_Serif_1f5468","__Instrument_Serif_Fallback_1f5468"}@font-face{font-family:__Prata_6fdd45;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/eb938c80662ec9f9-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:__Prata_6fdd45;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/6ce0d0fd45f1bd74-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:__Prata_6fdd45;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/8b05562d9b852d37-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:__Prata_6fdd45;font-style:normal;font-weight:400;font-display:swap;src:url(/_next/static/media/7a820720491a53d2-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__Prata_Fallback_6fdd45;src:local("Times New Roman");ascent-override:83.87%;descent-override:30.57%;line-gap-override:0.00%;size-adjust:118.40%}.__className_6fdd45{font-family:__Prata_6fdd45,__Prata_Fallback_6fdd45;font-weight:400;font-style:normal}.__variable_6fdd45{--font-code-prata:"__Prata_6fdd45","__Prata_Fallback_6fdd45"}.code-site{--bg:#07090d;--bg-warm:#0c0e14;--bg-card:#10131b;--bg-card-hover:#151924;--border:hsla(0,0%,100%,.05);--border-hover:hsla(0,0%,100%,.1);--text:#e4e6ec;--text-secondary:#b4b8cc;--text-dim:#8b8fb8;--text-muted:#5e6280;--glow:#e8c46a;--glow-dim:hsla(43,73%,66%,.07);--glow-border:hsla(43,73%,66%,.15);--green:#6ee088;--green-dim:rgba(110,224,136,.08);--orange:#e8a84a;--red:#e86a5a;--blue:#6aa4e8;background:var(--bg);color:var(--text);line-height:1.6;-webkit-font-smoothing:antialiased;overflow-x:hidden;min-height:100vh;position:relative}.code-site *{box-sizing:border-box}.code-site:after{content:"";position:fixed;top:0;left:0;right:0;bottom:0;background-image:url("data:image/svg+xml,%3Csvg viewBox='0 0 256 256' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.85' numOctaves='4' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)' opacity='0.025'/%3E%3C/svg%3E");pointer-events:none;z-index:9999}.code-site .hero-glow{position:absolute;top:-120px;left:50%;transform:translateX(-50%);width:900px;height:600px;background:radial-gradient(ellipse at center,hsla(43,73%,66%,.07) 0,hsla(43,73%,66%,.02) 40%,transparent 70%);pointer-events:none}.code-site nav{padding:24px 40px;display:flex;align-items:center;justify-content:space-between;max-width:1280px;margin:0 auto}.code-site .nav-logo-link{display:flex;align-items:center;gap:10px;text-decoration:none;color:var(--text);font-family:var(--font-code-prata),serif;font-size:26px;font-weight:500}.code-site .nav-logo-link span{color:var(--glow)}.code-site .nav-docs-link{font-size:14px;color:var(--text-dim);text-decoration:none;transition:color .2s}.code-site .nav-docs-link:hover{color:var(--glow)}.code-site .nav-pill{font-size:13px;font-family:var(--font-code-dm-mono),monospace;color:var(--text-dim);border:1px solid var(--border);padding:5px 12px;border-radius:20px;letter-spacing:.3px}.code-site .hero{position:relative;max-width:960px;margin:0 auto;padding:80px 40px 0;text-align:center}.code-site .hero h1{font-family:var(--font-code-instrument-serif),serif;font-size:clamp(41px,5.8vw,62px);line-height:1.18;font-weight:400;letter-spacing:-.4px;color:var(--text);margin-bottom:24px}.code-site .hero h1 em{font-style:italic;color:var(--glow)}.code-site .hero .sub{font-size:20px;color:var(--text-secondary);max-width:650px;margin:0 auto 16px;line-height:1.7}.code-site .hero .mechanism{font-size:17px;color:var(--text-secondary);max-width:620px;margin:0 auto 40px;line-height:1.7}.code-site .hero-capture{display:flex;gap:10px;max-width:500px;margin:0 auto 64px}.code-site .hero-capture input{flex:1;background:var(--bg-card);border:1px solid var(--border);border-radius:8px;padding:13px 16px;color:var(--text);font-family:var(--font-code-dm-sans),sans-serif;font-size:17px;outline:none;transition:border-color .2s}.code-site .hero-capture input:focus{border-color:var(--glow-border)}.code-site .hero-capture input::-moz-placeholder{color:var(--text-muted)}.code-site .hero-capture input::placeholder{color:var(--text-muted)}.code-site .hero-capture button{padding:13px 24px;background:var(--glow);color:var(--bg);font-family:var(--font-code-dm-sans),sans-serif;font-size:17px;font-weight:600;border:none;border-radius:8px;cursor:pointer;white-space:nowrap;transition:transform .15s,box-shadow .2s}.code-site .hero-capture button:hover{transform:translateY(-1px);box-shadow:0 4px 20px hsla(43,73%,66%,.2)}.code-site .works-with{font-family:var(--font-code-dm-mono),monospace;font-size:14px;color:var(--text-dim);letter-spacing:.2px;margin-bottom:64px}.code-site .proof{max-width:700px;margin:0 auto 32px;background:var(--bg-card);border:1px solid var(--border);border-radius:12px;overflow:hidden}.code-site .proof-top{padding:10px 16px;border-bottom:1px solid var(--border);display:flex;align-items:center;gap:6px}.code-site .pdot{width:8px;height:8px;border-radius:50%}.code-site .pdot:first-child{background:#f5655b}.code-site .pdot:nth-child(2){background:#f6bd3b}.code-site .pdot:nth-child(3){background:#3cc842}.code-site .proof-title-bar{flex:1;text-align:center;font-family:var(--font-code-dm-mono),monospace;font-size:11px;color:var(--text-muted)}.code-site .proof-inner{padding:20px 24px}.code-site .proof-q{font-family:var(--font-code-dm-mono),monospace;font-size:15px;color:var(--text-dim);margin-bottom:14px}.code-site .proof-q .marker{color:var(--glow);font-weight:700}.code-site .proof-mcp{font-family:var(--font-code-dm-mono),monospace;font-size:14px;color:var(--orange);margin-bottom:16px;display:flex;align-items:center;gap:6px}.code-site .proof-mcp .srv{color:var(--text-muted)}.code-site .brow{display:flex;align-items:center;gap:10px;padding:5px 0;font-family:var(--font-code-dm-mono),monospace;font-size:14px}.code-site .blabel{width:220px;color:var(--text-dim);flex-shrink:0;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.code-site .blabel.best{color:var(--text);font-weight:500}.code-site .btrack{flex:1;height:6px;background:hsla(0,0%,100%,.03);border-radius:3px;overflow:hidden}.code-site .bfill{height:100%;border-radius:3px;animation:codeSiteGrow 1s ease-out forwards;transform-origin:left;transform:scaleX(0)}@keyframes codeSiteGrow{to{transform:scaleX(1)}}.code-site .bfill.f1{width:61%;background:var(--red);animation-delay:.3s}.code-site .bfill.f2{width:73%;background:var(--orange);animation-delay:.5s}.code-site .bfill.f3{width:93%;background:var(--green);animation-delay:.7s}.code-site .bval{width:36px;text-align:right;font-weight:600;flex-shrink:0}.code-site .bval.v1{color:var(--red)}.code-site .bval.v2{color:var(--orange)}.code-site .bval.v3{color:var(--green)}.code-site .btag{font-size:11px;background:var(--green);color:var(--bg);padding:1px 5px;border-radius:3px;font-weight:700;letter-spacing:.4px;margin-left:5px}.code-site .proof-note{font-family:var(--font-code-dm-mono),monospace;font-size:13px;color:var(--text-dim);margin-top:12px;padding-top:10px;border-top:1px solid var(--border)}.code-site .proof-note a{color:var(--blue);text-decoration:none}.code-site .proof-caption{text-align:center;font-size:16px;color:var(--text-dim);margin-bottom:80px;font-style:italic}.code-site .domains{max-width:980px;margin:0 auto;padding:0 40px 80px;text-align:center}.code-site .domains h2{font-family:var(--font-code-instrument-serif),serif;font-size:34px;font-weight:400;letter-spacing:-.5px;margin-bottom:36px}.code-site .domains h2 span{color:var(--glow)}.code-site .k-groups{display:grid;grid-template-columns:repeat(2,1fr);gap:32px 56px;max-width:840px;margin:0 auto;text-align:left}.code-site .k-group-label{font-family:var(--font-code-dm-mono),monospace;font-size:13px;color:var(--glow);letter-spacing:.8px;text-transform:uppercase;margin-bottom:10px;padding-bottom:8px;border-bottom:1px solid var(--border)}.code-site .k-row{display:flex;align-items:baseline;padding:5px 0}.code-site .k-name{font-size:16px;color:var(--text-secondary);white-space:nowrap}.code-site .k-dots{flex:1;border-bottom:1px dotted var(--text-muted);margin:0 8px;min-width:12px;position:relative;top:-4px}.code-site .k-count{font-family:var(--font-code-dm-mono),monospace;font-size:14px;color:var(--glow);font-weight:500;white-space:nowrap}.code-site .k-more{text-align:center;font-size:16px;font-style:italic;color:var(--text-muted);margin-top:24px}.code-site .scenarios{max-width:1080px;margin:0 auto;padding:0 40px 80px}.code-site .scenarios h2{text-align:center;font-family:var(--font-code-instrument-serif),serif;font-size:34px;font-weight:400;margin-bottom:10px;letter-spacing:-.5px}.code-site .scenarios .s-sub{text-align:center;color:var(--text-dim);font-size:18px;margin-bottom:40px}.code-site .s-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:14px}.code-site .s-card{background:var(--bg-card);border:1px solid var(--border);border-radius:12px;padding:24px 22px;transition:border-color .3s,background .3s;display:flex;flex-direction:column;gap:14px}.code-site .s-card.s-featured{grid-column:1/-1;border-color:var(--glow-border);background:var(--glow-dim)}.code-site .s-card:hover{border-color:var(--border-hover);background:var(--bg-card-hover)}.code-site .s-domain{font-family:var(--font-code-dm-mono),monospace;font-size:13px;color:var(--glow);letter-spacing:1px;text-transform:uppercase}.code-site .s-insight{font-size:17px;color:var(--text-secondary);line-height:1.7;flex:1}.code-site .s-bottom{display:flex;align-items:baseline;gap:8px}.code-site .s-metric{font-family:var(--font-code-dm-mono),monospace;font-size:24px;font-weight:600;color:var(--green)}.code-site .s-desc{font-size:15px;color:var(--text-dim)}.code-site .concierge{max-width:800px;margin:0 auto;padding:0 40px 80px}.code-site .c-box{background:var(--bg-card);border:1px solid var(--border);border-radius:16px;padding:44px 40px;text-align:center}.code-site .c-badge{display:inline-block;font-family:var(--font-code-dm-mono),monospace;font-size:13px;color:var(--glow);border:1px solid var(--glow-border);background:var(--glow-dim);padding:4px 12px;border-radius:20px;margin-bottom:20px;letter-spacing:.3px}.code-site .c-box h2{font-family:var(--font-code-instrument-serif),serif;font-size:31px;font-weight:400;margin-bottom:10px;letter-spacing:-.5px}.code-site .c-box>.c-box-p{color:var(--text-dim);font-size:17px;margin-bottom:32px;line-height:1.6;max-width:580px;margin-left:auto;margin-right:auto}.code-site .c-form{max-width:480px;margin:0 auto;text-align:left}.code-site .fg{margin-bottom:14px}.code-site .fg label{display:block;font-size:15px;font-family:var(--font-code-dm-mono),monospace;color:var(--text-secondary);margin-bottom:5px}.code-site .fg input,.code-site .fg select,.code-site .fg textarea{width:100%;background:var(--bg);border:1px solid var(--border);border-radius:8px;padding:11px 14px;color:var(--text);font-family:var(--font-code-dm-sans),sans-serif;font-size:16px;outline:none;transition:border-color .2s}.code-site .fg input:focus,.code-site .fg select:focus,.code-site .fg textarea:focus{border-color:var(--glow-border)}.code-site .fg textarea{resize:vertical;min-height:72px}.code-site .fg select{-webkit-appearance:none;-moz-appearance:none;appearance:none;background-image:url("data:image/svg+xml,%3Csvg width='10' height='6' viewBox='0 0 10 6' fill='none' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath d='M1 1l4 4 4-4' stroke='%236b7090' stroke-width='1.5' stroke-linecap='round'/%3E%3C/svg%3E");background-repeat:no-repeat;background-position:right 14px center;padding-right:36px}.code-site .fg select option{background:var(--bg-card)}.code-site .c-submit{width:100%;padding:13px;background:var(--glow);color:var(--bg);font-family:var(--font-code-dm-sans),sans-serif;font-size:17px;font-weight:600;border:none;border-radius:8px;cursor:pointer;transition:transform .15s,box-shadow .2s;margin-top:6px}.code-site .c-submit:hover{transform:translateY(-1px);box-shadow:0 4px 20px hsla(43,73%,66%,.18)}.code-site .c-submit:disabled{cursor:not-allowed;transform:none}.code-site .c-note{text-align:center;font-size:14px;color:var(--text-dim);margin-top:12px}.code-site footer{max-width:1280px;margin:0 auto;padding:36px 40px;border-top:1px solid var(--border);display:flex;justify-content:space-between;align-items:center}.code-site .f-logo{font-family:var(--font-code-prata),serif;font-size:22px;color:var(--text-dim)}.code-site .f-logo span{color:var(--glow)}.code-site .f-tools{font-size:14px;color:var(--text-muted);font-family:var(--font-code-dm-mono),monospace}.code-site .fi{opacity:0;transform:translateY(16px);animation:codeSiteFu .7s ease forwards}.code-site .fi-1{animation-delay:.05s}.code-site .fi-2{animation-delay:.15s}.code-site .fi-3{animation-delay:.28s}.code-site .fi-4{animation-delay:.4s}.code-site .fi-5{animation-delay:.52s}@keyframes codeSiteFu{to{opacity:1;transform:translateY(0)}}.code-site .proof-wrap{max-width:1000px;margin:0 auto;padding:0 40px}.code-site .proof-inner-extra{padding:20px 24px 24px}.code-site .terminal-chunk{opacity:0;transform:translateY(10px);transition:opacity .4s ease-out,transform .4s ease-out}.code-site .terminal-chunk.terminal-chunk-visible{opacity:1;transform:translateY(0)}.code-site .proof-context-box{font-family:var(--font-code-dm-mono),monospace;font-size:13px;color:var(--text-muted);margin-bottom:16px;padding:10px 12px;background:hsla(0,0%,100%,.02);border-radius:6px;border:1px solid var(--border)}.code-site .proof-papers-intro{font-family:var(--font-code-dm-mono),monospace;font-size:14px;color:var(--text-secondary);margin-bottom:12px}.code-site .proof-paper-item{margin-bottom:14px;padding-left:14px;border-left:2px solid var(--green)}.code-site .proof-paper-item.orange{border-left-color:var(--orange)}.code-site .proof-synthesis-box{font-family:var(--font-code-dm-mono),monospace;font-size:13px;line-height:1.65;color:var(--text-dim);padding:12px;background:hsla(43,73%,66%,.04);border-radius:6px;border:1px solid var(--glow-border);margin-bottom:0}@media (max-width:700px){.code-site .hero{padding:60px 20px 0}.code-site .hero-capture{flex-direction:column}.code-site .concierge,.code-site .domains,.code-site .scenarios{padding-left:20px;padding-right:20px}.code-site .c-box{padding:32px 22px}.code-site .k-groups,.code-site .s-grid{grid-template-columns:1fr}.code-site .k-groups{gap:28px}.code-site nav{padding:20px}.code-site footer{padding:28px 20px;flex-direction:column;gap:10px;text-align:center}.code-site .blabel{width:150px;font-size:13px}.code-site .proof-wrap{padding:0 20px}}