:root{--bg:#121514;--paper:#efeedf;--muted:#a6b0a6;--dim:#727f77;--green:#c4e878;--blue:#91bfc6;--orange:#eaa57b;--rule:#354039;--sans:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;--display:"Arial Narrow","Avenir Next Condensed",Impact,sans-serif;--mono:ui-monospace,"SFMono-Regular",Menlo,Consolas,monospace}*{box-sizing:border-box}html{background:var(--bg);scroll-behavior:smooth}body{margin:0;color:var(--paper);font-family:var(--sans);line-height:1.65;-webkit-font-smoothing:antialiased}a{color:inherit;text-underline-offset:.22em}button{font:inherit}a:focus-visible,button:focus-visible{outline:2px solid var(--orange);outline-offset:6px}.skip{position:absolute;left:20px;top:-100px;padding:10px 16px;background:var(--green);color:var(--bg);z-index:10}.skip:focus{top:10px}.page{max-width:1260px;margin:auto;padding:30px 42px 0}.mast{display:flex;justify-content:space-between;gap:22px;border-bottom:1px solid var(--rule);padding-bottom:18px;color:var(--muted);font:650 10px/1.5 var(--mono);letter-spacing:.09em;text-transform:uppercase}.mast a{color:var(--green);text-decoration:none}.opening{display:grid;grid-template-columns:1fr 270px;gap:30px 60px;padding:90px 0 55px}.eyebrow{margin:0 0 22px;color:var(--green);font:650 11px/1.5 var(--mono);letter-spacing:.14em;text-transform:uppercase}h1,h2,h3,p{margin-top:0}h1{margin-bottom:0;font:900 clamp(58px,8.5vw,112px)/.89 var(--display);letter-spacing:-.06em}h1 em,h2 em{font-style:normal;color:var(--green)}.opening-note{align-self:center;padding-left:24px;border-left:1px solid var(--rule);color:var(--muted);font-size:15px}.opening-note strong{color:var(--paper);font-weight:500}.small-mark{display:block;color:var(--orange);font:50px/1 var(--mono);margin-bottom:18px}.opening-note p{margin:0}.dek{max-width:750px;font-size:24px;line-height:1.48;letter-spacing:-.025em;margin:20px 0 0}.opening-foot{align-self:end;color:var(--muted);font-size:13px;margin:0}.resident{margin:0 0 110px;background:#1b2420;border:1px solid #435541;padding:23px 28px 0;position:relative}.flow-label{font:600 10px/1.5 var(--mono);letter-spacing:.1em;color:var(--muted)}.resident-flow{display:grid;grid-template-columns:1fr 2.3fr 1fr;align-items:center;gap:35px;padding:42px 0 37px}.port b{display:block;font-size:14px;font-weight:500}.port small{display:block;color:var(--muted);font-size:11px;max-width:16ch;margin-top:7px}.port-icon{font:38px/1 var(--mono);color:var(--green);display:block;margin-bottom:14px}.input-port{justify-self:center}.output-port{justify-self:center}.inner-state{border:1px solid #8da276;background:#121a16;box-shadow:0 0 60px #b4d48d08}.state-head{display:flex;align-items:center;gap:8px;padding:12px 14px;border-bottom:1px solid #42513c;font:600 9px/1.5 var(--mono);letter-spacing:.06em;color:var(--green)}.pulse{height:5px;width:5px;border-radius:50%;background:var(--green)}.state-rev{margin-left:auto;color:var(--muted)}.state-texture{display:grid;grid-template-columns:repeat(8,1fr);gap:7px;padding:22px}.state-texture i{height:19px;border:1px solid #536947;background:#c4e87809}.state-texture i:nth-child(3n){background:#b9d88925}.state-texture i:nth-child(5n){background:#8fc2c840;border-color:#688c82}.state-texture i:nth-child(7n){background:#dca07d35;border-color:#90745a}.state-bottom{display:flex;justify-content:space-between;gap:12px;border-top:1px solid #42513c;padding:11px 14px;font:9px/1.5 var(--mono);color:var(--muted)}figcaption{display:grid;grid-template-columns:1fr 2fr;gap:20px;border-top:1px solid #435541;padding:18px 0;color:var(--muted);font-size:12px}figcaption>span{font:10px/1.6 var(--mono);text-transform:uppercase;letter-spacing:.06em}figcaption p{margin:0;max-width:70ch}.essay-grid{display:grid;grid-template-columns:1fr 2fr;gap:64px;margin-bottom:100px}.margin{color:var(--muted);font:10px/1.7 var(--mono);letter-spacing:.13em;padding-top:9px}.margin span{display:block;font:58px/1 var(--display);letter-spacing:-.04em;color:#536454;margin-bottom:22px}.prose{max-width:700px}.prose h2,.section-head h2,.reading h2{font:800 clamp(30px,4vw,49px)/1.07 var(--display);letter-spacing:-.035em;margin-bottom:25px}.prose p{color:#b8c0b6;font-size:17px;line-height:1.8;margin-bottom:22px}.prose strong{font-weight:600;color:var(--paper)}.source-link{display:inline-block;color:var(--green);font:11px/1.7 var(--mono);padding-top:10px}.capability-section{padding:34px 0 30px;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);margin-bottom:110px}.section-head{display:flex;align-items:baseline;justify-content:space-between;gap:25px}.capability-tabs{display:grid;grid-template-columns:repeat(4,1fr);gap:1px;background:var(--rule);border:1px solid var(--rule)}.capability-tabs button{border:0;padding:18px 20px;background:var(--bg);color:var(--muted);text-align:left;font-size:12px;cursor:pointer}.capability-tabs button span{display:block;font:20px/1.2 var(--mono);margin-top:13px;color:var(--paper)}.capability-tabs button[aria-pressed=true]{background:var(--green);color:#33412a}.capability-tabs button[aria-pressed=true] span{color:#1e2a1c}.capability-tabs button:hover{box-shadow:inset 0 0 0 2px var(--green)}.capability-result{display:grid;grid-template-columns:1fr 1fr;gap:75px;padding:34px 20px 20px;min-height:290px}.model-kicker{font:10px/1.6 var(--mono);letter-spacing:.07em;color:var(--blue);text-transform:uppercase;margin-bottom:15px}.capability-result h3{font:700 30px/1.15 var(--display);letter-spacing:-.025em;margin-bottom:16px}.capability-result p:not(.model-kicker){font-size:14px;color:var(--muted);max-width:49ch}.permission-list{margin:0}.permission-list>div{display:grid;grid-template-columns:96px 1fr;gap:18px;padding:12px 0;border-bottom:1px solid var(--rule);font-size:12px}.permission-list>div:first-child{padding-top:0}.permission-list dt{color:var(--muted);font:10px/1.7 var(--mono)}.permission-list dd{margin:0}.diagram-note{font-size:11px;color:var(--muted);margin:12px 20px 0;max-width:90ch}.vfhe-band{padding:52px 45px 35px;margin:0 0 110px;background:var(--paper);color:var(--bg)}.vfhe-band .eyebrow{color:#557244}.vfhe-band h2{font:850 clamp(46px,6vw,82px)/.92 var(--display);letter-spacing:-.045em;margin-bottom:28px}.vfhe-band h2 em{color:#507149}.band-dek{font-size:19px;max-width:66ch;line-height:1.6}.proof-flow{display:grid;grid-template-columns:repeat(3,1fr);gap:35px;border-top:1px solid #acb4a4;padding-top:28px;margin-top:35px}.proof-flow>div>span{font:11px/1 var(--mono);color:#64775b}.proof-flow h3{font-size:16px;margin:16px 0 9px;font-weight:600}.proof-flow p{font-size:13px;color:#4c5b4c;margin:0;max-width:27ch}.band-foot{border-top:1px solid #acb4a4;padding-top:20px;margin:30px 0 0;font-size:12px;color:#4c5b4c;max-width:100ch}.closing{border-top:1px solid var(--rule);padding:60px 0 70px;margin-bottom:25px}.closing h2{font:800 clamp(33px,5.5vw,66px)/1.04 var(--display);letter-spacing:-.04em;margin-bottom:30px}.closing p:last-child{color:var(--muted);max-width:67ch;font-size:16px;line-height:1.75}.reading{margin-bottom:80px}.reading h2{font-size:27px}.reading>a{display:grid;grid-template-columns:1fr 1.5fr 30px;align-items:baseline;gap:25px;padding:20px 0;border-top:1px solid var(--rule);text-decoration:none}.reading>a>span{font-size:14px;color:var(--paper)}.reading>a>p{font-size:12px;color:var(--muted);margin:0}.reading>a>b{color:var(--orange);font-size:20px;text-align:right}.reading>a:hover>span{text-decoration:underline;text-underline-offset:4px}footer{border-top:1px solid var(--rule);padding:24px 0 40px;display:flex;justify-content:space-between;gap:20px;color:var(--muted);font:10px/1.6 var(--mono);letter-spacing:.03em}footer a{text-decoration:none}@media(max-width:900px){.page{padding:24px 28px 0}.opening{grid-template-columns:1fr 210px;gap:30px;padding-top:65px}.opening-foot{grid-column:1/-1;max-width:70ch}.dek{grid-column:1/-1;font-size:22px}.essay-grid{gap:30px;grid-template-columns:1fr 2.8fr}.resident-flow{gap:20px;grid-template-columns:1fr 2.7fr 1fr}.state-bottom{font-size:8px}.capability-result{gap:35px}.capability-tabs button{padding:16px 12px}.mast{font-size:9px}.vfhe-band{padding:40px 30px 30px}}@media(max-width:620px){.page{padding:22px 20px 0}.mast{flex-wrap:wrap;gap:8px 15px}.mast time{display:none}.opening{display:block;padding:55px 0 34px}.opening-note{border:0;padding:0;margin-top:30px}.opening-note .small-mark{display:none}.opening-note p br{display:none}.opening-note p{max-width:35ch}.dek{font-size:20px;margin-top:25px}.opening-foot{margin-top:20px;max-width:40ch}.resident{padding:18px 16px 0;margin-bottom:65px}.resident-flow{grid-template-columns:1fr;gap:20px;padding:25px 0}.port{display:flex;align-items:center;gap:12px;justify-self:stretch!important}.port-icon{font-size:24px;margin:0}.port small{max-width:none;margin:0;font-size:10px}.port b{font-size:12px}.output-port{justify-content:flex-end}.inner-state{width:100%}.state-bottom{font-size:9px}.state-texture{gap:6px;padding:18px}.state-texture i{height:15px}figcaption{grid-template-columns:1fr;gap:10px}.essay-grid{display:block;margin-bottom:65px}.margin{margin-bottom:24px}.margin span{display:inline;font-size:14px;margin:0 13px 0 0;color:var(--green)}.prose p{font-size:16px}.capability-section{margin-bottom:65px}.section-head{display:block}.section-head h2{margin-bottom:24px}.capability-tabs{grid-template-columns:1fr 1fr}.capability-tabs button{padding:15px 12px;min-height:86px}.capability-tabs button span{font-size:16px;margin-top:7px}.capability-result{grid-template-columns:1fr;gap:15px;padding:25px 0 12px;min-height:465px}.capability-result h3{font-size:29px}.permission-list>div{grid-template-columns:85px 1fr}.diagram-note{margin-left:0;margin-right:0}.vfhe-band{margin-left:-20px;margin-right:-20px;margin-bottom:65px;padding:38px 22px 28px}.band-dek{font-size:17px}.proof-flow{grid-template-columns:1fr;gap:25px}.proof-flow>div{display:grid;grid-template-columns:25px 1fr;gap:0 15px}.proof-flow>div>span{grid-row:1/3;margin-top:4px}.proof-flow h3{margin:0 0 6px}.proof-flow p{max-width:40ch;grid-column:2}.closing{padding:40px 0}.reading>a{grid-template-columns:1fr 25px;gap:5px 15px}.reading>a>p{grid-column:1;grid-row:2}.reading>a>b{grid-column:2;grid-row:1/3}footer{flex-wrap:wrap;font-size:9px}footer>span{order:3;width:100%}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}

.teaching{padding:38px 0 44px;border-top:1px solid var(--rule);margin-bottom:65px}.teaching h2{font:800 clamp(34px,4.5vw,58px)/1.05 var(--display);letter-spacing:-.04em;margin-bottom:25px}.teaching>p:not(.eyebrow){max-width:77ch;color:var(--muted);font-size:15px}.teaching .teaching-query{color:var(--paper)!important;font-size:21px!important;max-width:55ch!important}.teaching-example{display:grid;grid-template-columns:1fr 2fr 1fr;gap:28px;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:25px 0;margin:28px 0 20px}.teaching-example span{display:block;font:9px/1.6 var(--mono);color:var(--muted);letter-spacing:.05em;margin-bottom:14px}.teaching-example>div:first-child>p{color:var(--orange)}.teaching-example>div:last-child>p{color:var(--green)}.teaching-example>div>p{font:12px/1.8 var(--mono);overflow-wrap:anywhere}.teaching-example .teaching-inputs p{font:14px/1.7 var(--sans);color:var(--paper);margin-bottom:12px}.teaching-caption{font-size:12px!important}.teaching strong{color:var(--paper)}@media(max-width:620px){.teaching-example{grid-template-columns:1fr}.teaching-example>div{border-bottom:1px solid var(--rule);padding-bottom:10px}.teaching-example>div:last-child{border-bottom:0;padding-bottom:0}.teaching>p:not(.eyebrow){font-size:14px}.teaching .teaching-query{font-size:18px!important}}

.proof-demo{margin-bottom:105px}.proof-demo h2{font:800 clamp(36px,5vw,64px)/1.04 var(--display);letter-spacing:-.04em}.proof-demo>p:not(.eyebrow){max-width:78ch;color:var(--muted);font-size:16px}.proof-equation{display:flex;align-items:center;justify-content:space-between;gap:14px;margin:35px 0;font:12px/1.5 var(--mono)}.proof-equation span{padding:15px 12px;border:1px solid var(--rule);text-align:center}.proof-equation span:last-child{border-color:var(--green);color:var(--green)}.proof-equation b{color:var(--orange);font-size:20px;font-weight:400}.proof-console{border:1px solid var(--rule);padding:25px;background:#18201b}.proof-stats{display:flex;flex-wrap:wrap;gap:15px 35px;font:11px/1.8 var(--mono);color:var(--muted);padding-bottom:23px}.proof-stats b{color:var(--paper);font-weight:500}.proof-actions{display:flex;flex-wrap:wrap;gap:12px}.proof-actions button{background:var(--green);color:#1e2a1c;padding:13px 20px;border:1px solid var(--green);font-size:13px;cursor:pointer}.proof-actions button+button{background:transparent;color:var(--paper);border-color:#62725b}.proof-actions button:hover{filter:brightness(1.12)}.proof-actions button:disabled{opacity:.5;cursor:wait}.proof-result{margin-top:25px;padding-top:22px;border-top:1px solid var(--rule);min-height:112px}.proof-result strong{font-size:19px;font-weight:550}.proof-result p{margin:9px 0 0;font-size:13px;line-height:1.7;color:var(--muted);max-width:78ch}.proof-result[data-state=accepted] strong{color:var(--green)}.proof-result[data-state=rejected] strong,.proof-result[data-state=error] strong{color:var(--orange)}.proof-result[data-state=busy] strong{color:var(--blue)}.proof-demo .proof-scope{font-size:12px!important;margin:18px 0 0;max-width:94ch!important}@media(max-width:620px){.proof-demo{margin-bottom:65px}.proof-equation{flex-wrap:wrap;justify-content:flex-start;font-size:10px;gap:8px}.proof-equation span{padding:10px 8px}.proof-console{padding:20px 17px}.proof-stats{gap:8px 18px}.proof-actions{display:grid;grid-template-columns:1fr;width:100%}.proof-demo>p:not(.eyebrow){font-size:15px}}

.progress-builds{margin-bottom:100px;padding:38px 0 10px;border-top:1px solid var(--rule)}.progress-builds h2{font:800 clamp(38px,5vw,64px)/1.04 var(--display);letter-spacing:-.04em}.progress-intro{max-width:76ch;font-size:17px;line-height:1.8;color:var(--muted)}.native-path{display:grid;grid-template-columns:repeat(4,1fr);list-style:none;padding:0;border:1px solid var(--rule);margin:28px 0 18px}.native-path li{padding:22px 16px;font-size:14px;border-right:1px solid var(--rule)}.native-path li:last-child{border-right:0;color:var(--green)}.native-path span{display:block;color:var(--muted);font:10px/1.5 var(--mono);margin-bottom:12px}.progress-caption{max-width:100ch;color:var(--muted);font-size:12px;line-height:1.8}.progress-caption a{color:var(--green)}.progress-pieces{display:grid;grid-template-columns:1fr 1fr;gap:45px;padding:32px 0}.piece-kind{font:10px/1.6 var(--mono);color:var(--blue);letter-spacing:.07em}.progress-pieces h3{font:700 26px/1.2 var(--display);letter-spacing:-.02em;margin:15px 0 20px}.progress-pieces p:not(.piece-kind){font-size:14px;line-height:1.8;color:var(--muted)}.progress-builds strong{color:var(--paper);font-weight:600}.progress-pieces code{overflow-wrap:anywhere}@media(max-width:620px){.progress-builds{margin-bottom:65px}.native-path{grid-template-columns:1fr 1fr}.native-path li:nth-child(2){border-right:0}.native-path li:nth-child(-n+2){border-bottom:1px solid var(--rule)}.progress-pieces{grid-template-columns:1fr;gap:32px}.progress-intro{font-size:15px}}