:root{--paper:#f5f3ed;--white:#fffefa;--ink:#252923;--muted:#666a60;--line:#d9dbd0;--orange:#b94e2e;--olive:#697554;--dark:#252e28;--mono:'SFMono-Regular',Consolas,'Liberation Mono',monospace;--serif:Georgia,'Times New Roman',serif;--sans:Arial,Helvetica,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:32px}body{margin:0;background:var(--paper);color:var(--ink);font:16px/1.65 var(--sans);-webkit-font-smoothing:antialiased}a{color:inherit;text-decoration-thickness:1px;text-underline-offset:4px}button,input{font:inherit}button,a,input,summary{-webkit-tap-highlight-color:transparent}button,a,summary{touch-action:manipulation}a:focus-visible,button:focus-visible,input:focus-visible,summary:focus-visible{outline:3px solid var(--orange);outline-offset:5px}button{cursor:pointer}::selection{background:#efd4bd}.wrap{width:min(1160px,calc(100% - 96px));margin-inline:auto}.skip{position:absolute;left:20px;top:-80px;background:var(--ink);color:white;padding:10px 20px;z-index:20}.skip:focus{top:10px}.site-header{display:flex;align-items:center;justify-content:space-between;padding-block:29px;border-bottom:1px solid var(--line)}.wordmark{display:flex;align-items:center;gap:13px;text-decoration:none;font-size:13px;font-weight:700;line-height:1.28;letter-spacing:-.2px}.mark{font:45px/1 var(--serif);transform:translateY(-3px)}nav{display:flex;gap:33px;font-size:13px}nav a{text-decoration:none}nav a:hover,.text-link:hover{color:var(--orange)}.hero{display:grid;grid-template-columns:1.4fr 1fr;gap:80px;padding-block:72px 78px;align-items:center}.eyebrow{font:10px/1.6 var(--mono);font-weight:500;letter-spacing:1.3px;text-transform:uppercase;margin:0 0 22px}.hero .eyebrow{display:flex;align-items:center;gap:10px;white-space:nowrap}.little-line{width:20px;height:1px;background:var(--orange)}.edition{margin-left:4px;color:var(--muted)}h1,h2,h3,p{margin-top:0}h1,h2{font-family:var(--serif);font-weight:400;letter-spacing:-2.5px;line-height:1.08}h1{font-size:clamp(48px,5.7vw,76px);margin-bottom:25px}h1 em{font-weight:400;color:var(--orange)}.hero-description{font-size:16px;line-height:1.8;max-width:480px;color:#555b51;margin-bottom:29px}.hero-actions{display:flex;align-items:center;gap:22px;flex-wrap:wrap}.button{background:var(--ink);color:var(--white);display:inline-flex;align-items:center;justify-content:space-between;gap:24px;padding:13px 19px;text-decoration:none;font-size:12px;font-weight:600;border:1px solid var(--ink);transition:background .15s,transform .15s}.button:hover{background:#434a3c;transform:translateY(-1px)}.button span{font-size:17px;font-weight:400}.text-link{font-size:12px;text-decoration:none;border-bottom:1px solid var(--line);padding-bottom:3px;display:inline-flex;gap:10px;align-items:center}.hero-note{font:10px/1.8 var(--mono);color:var(--muted);margin:20px 0 0}.spec-card{padding:25px 29px 27px;background:#e9ecdf;border:1px solid #d5d9c9;position:relative;transform:rotate(1.2deg);box-shadow:6px 7px 0 #e9e7dd;max-width:400px;justify-self:end;width:100%}.card-top{font:9px var(--mono);letter-spacing:1.3px;display:flex;justify-content:space-between;align-items:center;color:#59634e}.card-dot{width:6px;height:6px;border-radius:50%;background:#778265}.hand-label{font:italic 15px var(--serif);color:#626d55;margin:32px 0 14px}.spec-statement{font:27px/1.35 var(--serif);letter-spacing:-.6px;margin-bottom:26px}.spec-statement em{color:var(--olive)}.spec-equation{border:1px solid #c9d0bb;padding:13px 14px;background:#f1f3e9}.spec-equation span{font:8px var(--mono);letter-spacing:1px;display:block;color:#626d55;margin-bottom:8px}.spec-equation code{font:12px var(--mono)}.card-rule{height:1px;background:#cbd1bd;margin:23px 0 17px}.spec-process{display:grid;gap:8px;font:10px var(--mono);color:#6c765f}.spec-process b{font-weight:400;color:var(--ink);margin-left:15px}.card-footnote{font:10px/1.7 var(--mono);color:#626d55;margin:22px 0 0}.corner-mark{position:absolute;bottom:26px;right:28px;font:28px var(--serif);color:#768066}.strap{border-block:1px solid var(--line)}.strap .wrap{display:flex;align-items:center;justify-content:space-between;gap:20px;min-height:63px;font:10px/1.8 var(--mono)}.strap-label{color:var(--muted);letter-spacing:1.1px}.strap i{font-style:normal;color:#969b8c;padding-inline:12px}.strap a{text-decoration:none;color:var(--muted)}.section{padding-block:79px}.section-heading{display:grid;grid-template-columns:1.05fr 1fr;column-gap:90px;align-items:start}.section-heading .eyebrow{grid-column:1/-1;margin-bottom:19px}h2{font-size:43px;letter-spacing:-1.4px;margin-bottom:0}.section-heading>p:last-child{color:var(--muted);font-size:14px;line-height:1.9;margin:3px 0 0;max-width:430px}.method-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:40px;margin-top:47px}.method-grid article{padding-top:20px;border-top:1px solid var(--line)}.method-number{font:11px var(--mono);color:var(--orange)}.method-grid h3{font:21px/1.3 var(--serif);letter-spacing:-.25px;margin:16px 0 12px}.method-grid p:not(.method-label){font-size:13px;color:var(--muted);line-height:1.85;margin-bottom:20px}.method-label{font:8px var(--mono);letter-spacing:1.3px;color:#717765;margin-bottom:0}.explanation{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin-top:37px;padding-block:17px}.explanation summary{font-size:13px;cursor:pointer;list-style:none;display:flex;justify-content:space-between;gap:20px}.explanation summary::-webkit-details-marker{display:none}.explanation summary::after{content:'+';font:20px var(--mono);color:var(--orange)}.explanation[open] summary::after{content:'−'}.details-body{max-width:800px;padding-top:18px;font-size:13px;color:var(--muted)}.details-body p:last-child{margin-bottom:0}.example-section{padding-block:73px;background:#eaece3;border-block:1px solid #d9ddcf}.example-heading,.resources-heading{display:flex;gap:80px;justify-content:space-between;align-items:end}.example-heading>p,.resources-heading>p{font-size:14px;line-height:1.9;max-width:390px;color:var(--muted);margin-bottom:3px}.example-heading .eyebrow,.resources-heading .eyebrow{margin-bottom:19px}code{font-family:var(--mono);font-size:.9em}.workbench{margin-top:35px;background:var(--white);border:1px solid #d0d5c6;box-shadow:0 4px 0 #dfe3d5}.workbench-bar{min-height:47px;padding:10px 22px;display:flex;align-items:center;justify-content:space-between;gap:15px;border-bottom:1px solid var(--line);font:9px/1.5 var(--mono);color:var(--muted)}.status-dot{display:inline-block;width:6px;height:6px;border-radius:50%;background:#788465;margin-right:7px}.workbench-bar>span:last-child{font-size:8px;letter-spacing:.7px}.workbench-grid{display:grid;grid-template-columns:1fr 1fr}.experiment-controls{padding:29px 30px;border-right:1px solid var(--line)}.experiment-controls h3{font-size:14px;font-weight:600;margin-bottom:5px}.input-note{font-size:11px;line-height:1.8;color:var(--muted);max-width:340px;margin-bottom:19px}.input-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:13px}.input-grid label{font-size:10px;display:flex;flex-direction:column;gap:7px;color:#61685a}.input-grid input{min-width:0;width:100%;border:1px solid #d0d6c7;border-radius:0;background:var(--paper);padding:10px 8px;font:16px var(--mono);color:var(--ink)}.mode-control{border:0;margin:23px 0 15px;padding:0;display:flex;gap:14px;flex-wrap:wrap}.mode-control legend{font-size:10px;color:var(--muted);margin-bottom:10px;padding:0}.mode-control label{display:flex;gap:6px;align-items:center;font-size:11px;cursor:pointer}.mode-control input{accent-color:var(--orange);margin:0}.mode-control code{margin-left:5px}.small-button{border:1px solid #cbd2c0;border-radius:0;padding:8px 11px;font-size:10px;display:flex;align-items:center;gap:15px;color:var(--ink);background:transparent}.small-button:hover{background:var(--paper)}.input-error{font-size:11px;color:#9c3526;margin:10px 0 0}.experiment-result{padding:30px;background:#fafbf5}.code-label,.result-label{font:9px var(--mono);letter-spacing:1px;color:#758068;margin-bottom:13px}.experiment-result pre{font:12px/1.7 var(--mono);margin:0 0 30px;white-space:pre-wrap;overflow-wrap:anywhere}.result{display:flex;gap:12px;padding:15px;background:#e8eedd;border:1px solid #d1dbc3}.result-icon{font-size:19px;color:#4f633d;line-height:1.3}.result strong{font-size:13px;font-weight:600}.result p{font-size:11px;color:#58634c;line-height:1.8;margin:5px 0 0}.result.mismatch{background:#f7e7dc;border-color:#e6c2ad}.result.mismatch .result-icon,.result.mismatch p{color:#8b432b}.result.invalid{background:#f1efea;border-color:#d7d4cb}.simulation-note{font-size:10px;line-height:1.8;color:var(--muted);margin:17px 0 0}.noscript{padding:15px 25px;font-size:13px}.run-proof{display:grid;grid-template-columns:1fr 1fr;gap:65px;margin-top:45px;align-items:start}.run-proof .eyebrow{font-size:9px;margin-bottom:12px}.run-proof h3{font:25px/1.3 var(--serif);letter-spacing:-.5px;margin-bottom:13px}.run-proof p:not(.eyebrow){font-size:12px;color:var(--muted);line-height:1.9}.terminal{background:var(--dark);color:#ecf0e5;border:1px solid #344035}.terminal-top{display:flex;justify-content:space-between;align-items:center;gap:15px;padding:12px 18px;border-bottom:1px solid #3d493c;font:8px var(--mono);letter-spacing:.7px}.terminal-top a{font-size:9px;letter-spacing:0;text-decoration:none;color:#c1cbb5}.terminal pre{padding:17px 18px 19px;margin:0;white-space:pre-wrap;overflow-wrap:anywhere;font:12px/1.9 var(--mono)}.terminal-muted{color:#a6b29c}.terminal-good{color:#d3e6ac}.proof-files{display:flex;flex-wrap:wrap;gap:22px;border-top:1px solid #3d493c;padding:12px 18px;font:10px var(--mono);color:#cad7bc}.proof-files a{text-decoration:none}.boundary-note{display:flex;gap:17px;border-top:1px solid #ced4c3;padding-top:22px;margin-top:34px}.boundary-symbol{font:italic 25px var(--serif);color:var(--orange);min-width:15px}.boundary-note h3{font-size:12px;margin-bottom:5px}.boundary-note p{font-size:11px;line-height:1.8;color:var(--muted);margin-bottom:0;max-width:920px}.resource-list{margin-top:37px;border-top:1px solid var(--line)}.resource{display:grid;grid-template-columns:180px 1fr 20px;gap:25px;border-bottom:1px solid var(--line);padding:25px 0;text-decoration:none}.resource-type{font:9px/1.7 var(--mono);letter-spacing:.8px;color:#757c68;padding-top:4px}.resource h3{font:21px/1.4 var(--serif);letter-spacing:-.35px;margin-bottom:7px}.resource p{font-size:12px;color:var(--muted);line-height:1.85;margin-bottom:0;max-width:610px}.resource-arrow{font:20px var(--sans);color:var(--orange);padding-top:3px}.resource:hover h3{text-decoration:underline;text-underline-offset:4px}.resource:hover .resource-arrow{transform:translate(2px,-2px)}.next-step{display:flex;align-items:center;gap:25px;padding:28px;margin-top:38px;border:1px solid var(--line)}.next-step-symbol{font:42px var(--serif);color:var(--orange)}.next-step h3{font:20px/1.3 var(--serif);letter-spacing:-.4px;margin-bottom:8px}.next-step p{font-size:12px;line-height:1.8;color:var(--muted);margin-bottom:0;max-width:600px}.next-step .button{flex-shrink:0;margin-left:auto}.site-footer{border-top:1px solid var(--line);padding-block:29px 35px;display:flex;justify-content:space-between;gap:30px}.footer-name{font:18px var(--serif);text-decoration:none}.site-footer p{font-size:10px;line-height:1.8;color:var(--muted);margin:11px 0 0}.footer-right{text-align:right}.footer-right a{font-size:11px;text-decoration:none}
@media(min-width:1500px){.hero{padding-block:90px}.spec-card{max-width:420px}.spec-statement{font-size:30px}}
@media(max-width:1000px){.wrap{width:calc(100% - 56px)}.hero{gap:38px}.hero-actions{gap:16px}.hero-description{font-size:14px}.spec-card{padding:23px}.spec-statement{font-size:25px}.hero .eyebrow{font-size:9px;letter-spacing:.7px}.strap .wrap{font-size:9px}.strap i{padding-inline:6px}.section-heading{gap:35px}.experiment-controls,.experiment-result{padding:23px}.input-grid{gap:8px}.run-proof{gap:35px}.resource{grid-template-columns:155px 1fr 20px}.next-step{flex-wrap:wrap}.next-step .button{margin-left:66px}}
@media(max-width:720px){.wrap{width:calc(100% - 40px)}.site-header{padding-block:21px}.wordmark{font-size:11px;gap:8px}.mark{font-size:36px}nav{font-size:11px;gap:18px}nav a:last-child{display:none}.hero{grid-template-columns:1fr;padding-block:43px 50px;gap:40px}.hero .eyebrow{font-size:9px;margin-bottom:24px}h1{font-size:clamp(45px,10vw,69px);letter-spacing:-2px}.hero-description{font-size:14px;max-width:500px}.hero-actions{gap:18px}.spec-card{justify-self:center;max-width:440px;transform:rotate(.6deg)}.spec-statement{font-size:29px}.hand-label{margin-top:24px}.strap .wrap{padding-block:17px;align-items:start;flex-wrap:wrap;gap:6px 15px;justify-content:start}.strap-label{width:100%;font-size:8px}.strap .wrap>a{display:none}.strap i{padding-inline:6px}.section{padding-block:49px}.section-heading{grid-template-columns:1fr;gap:0}.section-heading>p:last-child{margin-top:23px;font-size:13px;max-width:100%}h2{font-size:36px;letter-spacing:-1.3px}.method-grid{grid-template-columns:1fr;gap:23px;margin-top:31px}.method-grid article{display:grid;grid-template-columns:30px 1fr;gap:0 10px}.method-number{padding-top:4px}.method-grid h3{margin-top:0}.method-grid p{grid-column:2}.method-grid p:not(.method-label){margin-bottom:12px}.explanation{margin-top:28px}.example-section{padding-block:47px}.example-heading,.resources-heading{display:block}.example-heading>p,.resources-heading>p{margin-top:22px;font-size:13px;max-width:100%}.workbench{margin-top:26px}.workbench-bar{padding:12px 15px;font-size:8px;align-items:start}.workbench-bar>span:last-child{font-size:7px;max-width:65px;text-align:right}.workbench-grid{grid-template-columns:1fr}.experiment-controls{border-right:0;border-bottom:1px solid var(--line);padding:22px}.experiment-result{padding:22px}.input-grid{gap:12px}.experiment-result pre{margin-bottom:22px}.run-proof{grid-template-columns:1fr;gap:25px;margin-top:35px}.run-proof h3{font-size:25px}.boundary-note{margin-top:28px}.resource-list{margin-top:27px}.resource{grid-template-columns:1fr 20px;gap:10px;padding-block:22px}.resource-type{grid-column:1;grid-row:1}.resource>div{grid-column:1;grid-row:2}.resource-arrow{grid-column:2;grid-row:2}.resource h3{font-size:20px}.next-step{padding:22px;gap:14px}.next-step-symbol{font-size:34px}.next-step>div{flex:1;min-width:180px}.next-step .button{margin-left:0}.site-footer{padding-block:25px 30px;gap:25px;flex-direction:column}.footer-right{text-align:left}.footer-name{font-size:17px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*::before,*::after{transition:none!important;animation:none!important}}

.tool-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:28px 42px;margin-top:38px}.tool-card{border-top:1px solid var(--line);padding-top:22px}.tool-kind{font:9px/1.7 var(--mono);letter-spacing:1px;color:var(--muted);margin-bottom:13px}.tool-card h3{font:27px/1.3 var(--serif);letter-spacing:-.5px;margin-bottom:14px}.tool-card h3 a{text-decoration:none}.tool-card h3 a:hover{text-decoration:underline}.tool-card h3 span{font:16px var(--sans);color:var(--orange);margin-left:7px}.tool-card>p:not(.tool-kind){font-size:13px;line-height:1.85;color:var(--muted);margin-bottom:13px}.tool-card>p.tool-boundary{font-size:11px;border-left:2px solid var(--line);padding-left:13px;margin-bottom:0}.tool-connection{font-size:12px;line-height:1.9;color:var(--muted);margin:29px 0 18px;max-width:940px}.tool-connection a{white-space:normal}.library-section{padding-block:65px;background:#eceee5;border-block:1px solid var(--line)}.library-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:35px;margin-top:36px}.library-grid article{padding-top:21px;border-top:1px solid #cfd5c5}.library-grid h3{font:22px/1.3 var(--serif);letter-spacing:-.3px;margin-bottom:12px}.library-grid p{font-size:13px;line-height:1.85;color:var(--muted);margin-bottom:0}.collection-status{display:flex;gap:12px;padding:19px 21px;margin-top:29px;border:1px solid #cdd3c2;background:#f4f5ef}.review-dot{width:7px;height:7px;flex-shrink:0;background:var(--olive);border-radius:50%;margin-top:8px}.collection-status strong{font-size:13px}.collection-status p,.library-evidence{font-size:12px;line-height:1.8;color:var(--muted);margin:4px 0 0}.library-evidence{margin-top:17px;max-width:930px}
@media(max-width:720px){.tool-grid,.library-grid{grid-template-columns:1fr;gap:25px;margin-top:29px}.library-section{padding-block:47px}.collection-status{padding:16px}.site-header nav a:last-child{display:inline}nav{gap:12px}nav a:first-child{display:none}.tool-card h3{font-size:25px}}

.tool-next{display:flex;flex-wrap:wrap;gap:18px 30px}.limits-section{border-top:1px solid var(--line)}.limits-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:28px 42px;margin-top:35px}.limits-grid article{border-top:1px solid var(--line);padding-top:20px}.limits-grid h3{font:22px/1.35 var(--serif);letter-spacing:-.3px;margin-bottom:12px}.limits-grid p,.limits-summary{font-size:13px;line-height:1.85;color:var(--muted);margin-bottom:0}.limits-summary{margin-top:29px;border-left:2px solid var(--orange);padding-left:17px;max-width:1000px}.limits-summary strong{color:var(--ink)}@media(max-width:720px){.limits-grid{grid-template-columns:1fr;gap:23px;margin-top:28px}.limits-grid h3{font-size:21px}.limits-summary{font-size:12px}}
.not-found{grid-template-columns:1fr;min-height:62vh}