:root{--paper:#f6f4ed;--ink:#292c25;--muted:#6e7265;--line:#daddd0;--orange:#d34c23;--green:#3c6348;--code:#252923;--mono:ui-monospace,SFMono-Regular,Consolas,monospace;--sans:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}*{box-sizing:border-box}body{margin:0;background:var(--paper);color:var(--ink);font:14px/1.65 var(--sans)}main,.nav{max-width:1240px;padding:0 42px;margin:auto}button,input,textarea{font:inherit}button,a{touch-action:manipulation}button{cursor:pointer}button:disabled{opacity:.5;cursor:default}a{color:inherit;text-underline-offset:4px}button:focus-visible,a:focus-visible,input:focus-visible,textarea:focus-visible,summary:focus-visible{outline:3px solid var(--orange);outline-offset:3px}.nav{height:88px;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line);gap:20px}.brand{display:flex;align-items:center;gap:10px;text-decoration:none;font-size:23px;font-weight:650;letter-spacing:-1px}.brandmark{background:var(--orange);color:var(--paper);width:27px;height:27px;border-radius:50%;display:grid;place-items:center;font-size:20px;font-weight:400}.brand-sub{font-size:13px;letter-spacing:0;font-weight:400;color:var(--muted)}.slash{font-size:20px;color:var(--line);margin:0 6px;font-weight:400}.nav-right{display:flex;align-items:center;gap:24px}.prototype{font:10px var(--mono);color:var(--muted);display:flex;align-items:center;gap:7px}.prototype>span{width:5px;height:5px;background:var(--orange);border-radius:50%}.text-button{border:0;background:none;padding:0;color:var(--muted);font-size:11px;text-decoration:underline;text-underline-offset:4px}.text-button:hover{color:var(--orange)}.hero{display:grid;grid-template-columns:1.3fr .7fr;gap:65px;padding:56px 0 45px;align-items:center}.eyebrow{font:10px/1.6 var(--mono);text-transform:uppercase;letter-spacing:1.3px;color:var(--muted)}.hero .eyebrow{color:var(--orange)}h1{font:400 clamp(45px,5vw,68px)/1.06 Georgia,serif;letter-spacing:-2.7px;margin:18px 0 20px}h1 em{color:var(--orange);font-weight:400}.hero>div>p{font-size:16px;line-height:1.7;margin:0}.claim{border-left:1px solid var(--line);padding-left:35px}.claim p{font:31px/1.2 Georgia,serif;margin:15px 0}.claim>span{font-size:12px;color:var(--muted);display:block;line-height:1.7}.claim>a{display:inline-block;color:var(--orange);font-size:11px;margin-top:18px}.lab{border-top:1px solid var(--line);padding-top:24px}.lab-heading{display:flex;justify-content:space-between;gap:15px}.subtle{font-size:11px;color:var(--muted)}.presets{display:flex;gap:8px;flex-wrap:wrap;margin:18px 0}.presets button{border:1px solid var(--line);border-radius:4px;background:transparent;font-size:11px;padding:8px 12px;color:var(--muted)}.presets button[aria-pressed=true]{background:var(--ink);color:var(--paper);border-color:var(--ink)}.editors{display:grid;grid-template-columns:1fr 1fr;gap:16px}.editor{background:var(--code);color:#e3e7d8;border-radius:7px;overflow:hidden;min-width:0}.editor-top{display:flex;justify-content:space-between;align-items:center;gap:15px;padding:13px 17px;border-bottom:1px solid #ffffff16;font-size:11px}.editor-top b{font:10px var(--mono);border:1px solid #69725d;padding:2px 5px;margin-right:7px;color:#b8c5aa}.editor-top>span:last-child{font:10px var(--mono);color:#b1b9a5}.editor textarea{display:block;resize:vertical;width:100%;height:173px;min-height:150px;max-height:450px;background:transparent;color:#e3e7d8;border:0;border-radius:0;padding:24px 20px;font:13px/1.9 var(--mono);tab-size:2;outline-offset:-4px}.editor-bottom{padding:10px 16px;display:flex;justify-content:space-between;align-items:center;gap:10px;border-top:1px solid #ffffff16;font-size:10px;color:#acb69f;min-height:42px}.editor-bottom .text-button{font-size:10px;color:#c9d0bf}.wat{height:173px;overflow:auto;margin:0;padding:20px;font:11px/1.8 var(--mono);color:#c7dbb5;tab-size:2}.toolbar{display:flex;justify-content:space-between;align-items:center;gap:16px;padding:20px 0}.input-sample{display:flex;align-items:center;gap:10px}.input-sample label{font-size:11px;color:var(--muted)}.input-sample input{width:94px;border:1px solid var(--line);border-radius:4px;padding:8px;background:transparent;color:var(--ink);font:12px var(--mono)}.button{display:inline-flex;justify-content:center;align-items:center;gap:20px;border:1px solid transparent;padding:11px 15px;border-radius:4px;font-size:11px;text-decoration:none}.primary{background:var(--orange);color:#fff9ed}.primary:hover{background:#b9401b}.secondary{background:transparent;color:var(--ink);border-color:var(--line)}.secondary:hover{background:#e9ecdf}.prove-controls{display:flex;align-items:center;gap:15px}.sample-output{padding:12px 16px;background:#eceee3;border:1px solid var(--line);border-radius:4px;margin-bottom:16px;font-size:12px}.sample-output code{font:12px var(--mono);margin-right:15px}.sample-output span{color:var(--muted);font-size:11px}.notice{font-size:12px;color:#a63820;background:#f6e7dd;border:1px solid #e6c5b5;padding:12px 15px;border-radius:4px;margin-bottom:14px}.flow{display:grid;grid-template-columns:1fr 1.2fr 1.1fr;border:1px solid var(--line);border-radius:6px;overflow:hidden;background:#efefe6}.flow-step{display:flex;align-items:center;padding:17px 16px;gap:11px;border-right:1px solid var(--line);min-height:78px}.flow-step:last-child{border:0}.flow-icon{font:10px var(--mono);width:25px;height:25px;display:grid;place-items:center;border:1px solid #b7bfaa;border-radius:50%;color:var(--muted);flex-shrink:0}.flow-step b{display:block;font-size:11px;font-weight:550}.flow-step div>span{display:block;font-size:10px;color:var(--muted);margin-top:3px}.flow-step time{font:10px var(--mono);color:var(--muted);margin-left:auto;white-space:nowrap}.flow-step.running{background:#f8e9d8}.flow-step.running .flow-icon{border-color:var(--orange);color:var(--orange);animation:pulse 1.2s infinite}.flow-step.done .flow-icon{background:var(--green);color:var(--paper);border-color:var(--green)}.flow-step.failed .flow-icon{color:#a63820;border-color:#a63820}@keyframes pulse{50%{opacity:.35}}.result{margin-top:25px;border:1px solid #b9c9ae;background:#eaf0e2;border-radius:7px;padding:25px 28px}.result.counterexample{border-color:#dbb39f;background:#f5e9df}.result.unknown{border-color:#ccc7aa;background:#f1eee0}.result-top{display:flex;justify-content:space-between;gap:20px}.result h2{font:34px/1.2 Georgia,serif;margin:8px 0 10px;letter-spacing:-.7px}.result p{font-size:12px;margin:0;max-width:750px}.result .eyebrow{color:var(--green)}.result.counterexample .eyebrow{color:#a63820}.result.unknown .eyebrow{color:#7c6e35}.result-metric{display:flex;flex-direction:column;align-items:end;white-space:nowrap}.result-metric strong{font:29px/1.4 Georgia,serif}.result-metric>span{font:9px var(--mono);color:var(--muted)}.proof-meta{display:grid;grid-template-columns:1fr 1fr;gap:20px;margin:22px 0 16px}.proof-meta>div{padding:14px 16px;border:1px solid #b7c6ad;border-radius:4px;background:#ffffff25;min-width:0}.proof-meta span{display:block;font:9px var(--mono);color:var(--muted);margin-bottom:9px}.proof-meta code{font:14px var(--mono);display:block;overflow-wrap:anywhere}.result details{font-size:12px}.result summary{cursor:pointer}.result ol{padding-left:20px;font-size:12px;line-height:1.8;max-width:850px}.result .fine{font-size:10px;color:var(--muted);margin-top:12px}.downloads{display:flex;gap:18px;align-items:center;flex-wrap:wrap;border-top:1px solid #bdc7b2;padding-top:18px;margin-top:20px}.downloads .secondary{border-color:#b7c6ad}.downloads>a{font-size:11px}.downloads>span{font:9px var(--mono);color:var(--muted);margin-left:auto}.witness{font:13px/1.8 var(--mono);padding:14px 17px;background:#ffffff45;border:1px solid #dfbeaa;border-radius:4px;margin-top:20px}.how{display:grid;grid-template-columns:.9fr 1.1fr;gap:70px;border-top:1px solid var(--line);margin-top:48px;padding-top:40px}.how h2{font:34px/1.2 Georgia,serif;font-weight:400;letter-spacing:-.8px;margin:14px 0}.how>div>p{font-size:13px;color:var(--muted);max-width:420px}.how code,.boundaries code{font:11px var(--mono);background:#e9ebdf;padding:2px 4px;border-radius:2px}.explanation>div{padding:0 0 15px;margin-bottom:15px;border-bottom:1px solid var(--line)}.explanation>div:last-child{border-bottom:0;margin-bottom:0}.explanation b{font-size:12px;font-weight:550}.explanation p{font-size:12px;color:var(--muted);line-height:1.8;margin:7px 0 0}.boundaries{border:1px solid var(--line);border-radius:5px;margin:28px 0 38px;padding:16px 20px;font-size:12px}.boundaries summary{font-weight:550;cursor:pointer}.boundaries p{color:var(--muted);font-size:12px;max-width:1000px}footer{display:flex;justify-content:space-between;border-top:1px solid var(--line);padding:22px 0 28px;gap:20px;font:10px var(--mono);color:var(--muted)}dialog{max-width:430px;width:calc(100% - 40px);border:1px solid var(--line);border-radius:8px;padding:28px;background:var(--paper);color:var(--ink)}dialog::backdrop{background:#25292366;backdrop-filter:blur(3px)}dialog h2{font:30px/1.2 Georgia,serif;margin:15px 0}dialog p{font-size:12px;color:var(--muted)}dialog label{font-size:11px;display:block;margin-bottom:6px}dialog input{width:100%;padding:10px;border:1px solid var(--line);border-radius:4px;background:transparent;color:var(--ink)}.dialog-actions{display:flex;gap:10px;justify-content:end;margin-top:22px}[hidden]{display:none!important}::selection{background:#ebbea3}
@media(max-width:950px){main,.nav{padding-left:25px;padding-right:25px}.hero{gap:30px}.claim{padding-left:25px}.flow-step{padding:14px 10px;gap:7px}.flow-step time{display:none}.editor textarea{font-size:11px;padding:20px 15px}.editor-bottom{font-size:9px}.how{gap:30px}.nav-right{gap:15px}.prototype{font-size:9px}}
@media(max-width:650px){main,.nav{padding-left:18px;padding-right:18px}.nav{height:70px}.brand{font-size:20px;gap:8px}.brand-sub{font-size:10px}.slash{margin:0;font-size:17px}.nav-right .prototype{display:none}.nav-right .text-button{font-size:9px}.hero{grid-template-columns:1fr;padding:35px 0 30px;gap:25px}h1{font-size:50px;letter-spacing:-2px;margin-top:14px}.hero>div>p{font-size:14px}.claim{border-left:0;border-top:1px solid var(--line);padding:20px 0 0;display:grid;grid-template-columns:1fr 1fr;column-gap:20px;align-items:start}.claim .eyebrow{grid-column:1/-1}.claim p{font-size:25px;margin:12px 0 0}.claim>span{font-size:11px;margin-top:12px}.claim>a{grid-column:1/-1;margin-top:12px}.eyebrow{font-size:9px}.lab-heading .subtle{font-size:9px;white-space:nowrap}.presets{gap:6px;margin:15px 0}.presets button{font-size:10px;padding:7px 9px}.editors{grid-template-columns:1fr;gap:12px}.editor textarea{font-size:12px;height:154px;min-height:140px;padding:18px}.editor-top{font-size:10px;padding:11px 14px}.editor-bottom{font-size:9px}.editor-bottom .text-button{font-size:9px}.toolbar{flex-direction:column;align-items:stretch;gap:15px;padding:18px 0}.input-sample{justify-content:space-between;gap:8px}.input-sample input{flex:1;max-width:130px}.prove-controls{justify-content:space-between;flex-direction:row-reverse}.prove-controls .primary{flex:1}.button{padding:11px 13px}.flow{grid-template-columns:1fr}.flow-step{border-right:0;border-bottom:1px solid var(--line);padding:14px 16px;min-height:65px}.flow-step time{display:block}.flow-step b{font-size:11px}.flow-step div>span{font-size:10px}.result{padding:22px 17px}.result h2{font-size:29px}.result p{font-size:11px}.result-metric strong{font-size:24px}.result-metric>span{font-size:8px}.proof-meta{grid-template-columns:1fr;gap:10px}.downloads{gap:15px}.downloads>span{margin-left:0;width:100%}.witness{font-size:11px;padding:12px}.how{grid-template-columns:1fr;gap:20px;margin-top:35px;padding-top:30px}.how h2{font-size:31px}.how>div>p{font-size:12px}.explanation p{font-size:11px}.boundaries{padding:15px;font-size:11px}.boundaries p{font-size:11px}footer{font-size:9px;flex-direction:column;gap:10px}.sample-output code{font-size:11px;display:block;margin:2px 0}.sample-output span{font-size:10px}.result-top{gap:10px}dialog{padding:23px}.wat{height:154px;font-size:10px}}
@media(prefers-reduced-motion:reduce){*,*::before,*::after{animation:none!important;scroll-behavior:auto!important}}
.proof-text{font:10px/1.8 var(--mono);white-space:pre;overflow:auto;max-height:450px;background:var(--code);color:#e2e7d8;border-radius:5px;padding:16px}.result details{margin-top:12px}.flow-step b{line-height:1.4}

.overview{border-top:1px solid var(--line);padding:28px 0 30px;margin-bottom:25px;border-bottom:1px solid var(--line)}
.overview h2{font:28px/1.25 Georgia,serif;letter-spacing:-.5px;font-weight:400;margin:12px 0 22px}
.overview-steps{list-style:none;display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:20px;margin:0;padding:0}
.overview-steps li{position:relative;min-width:0;padding:17px 15px;background:#efefe6;border:1px solid var(--line);border-radius:5px}
.overview-steps li:not(:last-child)::after{content:'→';position:absolute;right:-17px;top:24px;font:18px/1 var(--mono);color:var(--orange)}
.step-number{display:grid;place-items:center;width:27px;height:27px;border:1px solid #bbc0ae;border-radius:50%;font:11px var(--mono);color:var(--orange);margin-bottom:14px;flex-shrink:0}
.overview-steps h3{font-size:13px;line-height:1.5;font-weight:550;margin:0 0 8px}
.overview-steps p{font-size:12px;line-height:1.65;color:var(--muted);margin:0}
.overview-note{font-size:12px;line-height:1.8;margin:17px 0 0;color:var(--muted)}
.overview-note strong{color:var(--ink);font-weight:550}
.proof-recipe{margin-top:23px;max-width:420px}
.proof-recipe p{display:flex;align-items:baseline;gap:11px;font-size:13px;line-height:1.65;margin:12px 0}
.proof-recipe span{color:var(--orange);font:11px var(--mono);flex-shrink:0}
.faq details{border-bottom:1px solid var(--line);padding:15px 0}
.faq details:first-child{padding-top:0}
.faq details:last-child{border-bottom:0}
.faq summary{font-size:13px;font-weight:550;cursor:pointer;line-height:1.65}
.faq p{font-size:12px;color:var(--muted);line-height:1.8;margin:10px 0 0}
.faq p strong{font-weight:550;color:var(--ink)}
.boundaries code{overflow-wrap:anywhere}
@media(max-width:900px){.overview-steps{grid-template-columns:1fr;gap:18px}.overview-steps li{display:flex;gap:14px;padding:15px 17px}.step-number{margin:0}.overview-steps h3{margin-bottom:3px}.overview-steps li:not(:last-child)::after{content:'↓';right:auto;left:24px;top:auto;bottom:-18px;font-size:16px}.overview-steps p{max-width:600px}}
@media(max-width:650px){.overview{padding-top:24px;margin-bottom:24px}.overview h2{font-size:25px}.overview-steps p{font-size:11px}.overview-note{font-size:11px}.proof-recipe p{font-size:12px}.faq summary{font-size:12px}.faq p{font-size:11px}.lab-heading{gap:12px;align-items:start}.lab-heading .eyebrow{line-height:1.6}.lab-heading .subtle{padding-top:1px}}