@font-face{font-family:Inter Subset;src:url(/assets/inter-400-DW773yAK.woff2)format("woff2");font-weight:400;font-display:swap}@font-face{font-family:Inter Subset;src:url(/assets/inter-600-DqTBpIWn.woff2)format("woff2");font-weight:600 700;font-display:swap}@font-face{font-family:Public Sans Subset;src:url(/assets/public-400-DByQJxIS.woff2)format("woff2");font-weight:400;font-display:swap}@font-face{font-family:Public Sans Subset;src:url(/assets/public-600-xNUCs-cS.woff2)format("woff2");font-weight:600 700;font-display:swap}@font-face{font-family:Xag Wordmark;src:url(data:font/woff2;base64,d09GMgABAAAAAAN0ABAAAAAAB+AAAAMaAAIAQgAAAAAAAAAAAAAAAAAAAAAAAAAAGhQbbhwqBmA/U1RBVCoARBEICoIcgXEBNgIkAxALCgAEIAWGcAcgDAcbkwYRVZwRKX4c5Oak63nkIoVm13Kp9x9BZAdVPbsH0SmAh0Moghm/Q3ECYGvOgTK5KuApUgCgCylQev/p4H8up2dXgutbBGnAid2c2FhbxwJMdAOtARJoz9scaBgR9qaLDusxjNgsRERElqzn64EEqgNCEkKgqvb6SuMnTp+v5vY1+3eqqYScBWLbhr07VUYglJLKQmWhthKFplrrKBRC2oz550SR/0qM6ycFi3k6dtQZbXwOAGU6kZ5VgXQ2Lca0ZpRYqW8sR/YB+zPyu7rXYpuKX3INxS9+ISCNTx/SWhJCZYH6As2lQ5s27w9IAqJMz4KEAvUVAvWVeqOyyhIWW2NTzvBK8/35vnynABAiZ7VACSqjAhZhA6AEhCTVqVepee1qEZs2RrUFi6pZv0HVhfOrnX3/5YgaceRm1epR49x7L0lra0R1h28sCFa5JRCTpYojr3xQbS8qD7/4btWNz1yh9J+9LiniPXWoOfZc2+HSF/mzfLlDrbG1xnS8/Pn/y7bnO347o+PXb8+psLHC88de6eU//dzRYdsmreoXOPON4yvu1ywY3eHbFR17d1zxbYehHT+TNTToNOKbjv039UK240E2lwYCydghVfdUWFVr+G+Vi+IHvF3U6APfvXbLE7rkZumf9GGoKIHgDZnuEoM+GA6gRBm/qi853TM9rn96UBeBUnebFnSoupsKUVbB7xgIjf0OSeWoCYXe0bC/FEIFTWMiVNQwVkONaBsHoaaB6da+2gY2QfX0vh6l4/9qnIyav8iSlGHgekN4pAhnEWQsqIaLoBxDhmnLKQkJasrcyLHjJBmnbWCHVDmcYol+0iLFDvlWaiZ8jX453FCi+GAEK6oZTn6FY1ASuBX7s4Tg7WaKKv/bixmV0cB2XW9yOp+WEzvZUrlemF7MRkSbEH7NARvucCaj8/f8Lv4KPQiwqMxCrGVetgU+8hVhiJiFa3uoi2sUA/aDBxvEbB4a8bALUXtLdzrS5/7Hz0o/KLEa3l9d0yvDcw1Np0GkmGIMTdzmwyaRaH1vnGa9T87ynQbFT0Y+8Vh5AQA=)format("woff2");font-weight:700;font-style:normal;font-display:swap}:root{--band:#0d3b32;--bar:#0a2e27;--fg:#fff;--soft:#cfe3dd;--accent:#3ee08a;--cost:#ff6b5e;--on-accent:#04120a;--line:#cfe3dd29;--panel:#061a17;--tint:#ffffff0d;--tint-band:#ffffff0d;--foot:#0a2e27;--code-ran:#04120f;--menu:#08211d;--menu-hi:#ffffff1a;--code-fg:#cfe3dd;--tk-name:#7fe3b0;--tk-value:#e0b062;--tk-note:#6f8a83;--tk-esc:#9db4c8;--fallback:system-ui, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;--sans:"Public Sans Subset", var(--fallback);--mono:ui-monospace, "SF Mono", SFMono-Regular, Menlo, Consolas, monospace;--round:10px;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}:root[data-font=inter]{--sans:"Inter Subset", var(--fallback)}:root[data-font=public]{--sans:"Public Sans Subset", var(--fallback)}:root[data-theme=solarized]{--band:#002b36;--bar:#073642;--panel:#073642;--fg:#93a1a1;--soft:#839496;--line:#586e75;--tint:#002b36;--tint-band:#073642;--foot:#002b36;--accent:#2aa198;--cost:#dc322f;--on-accent:#002b36;--code-ran:#002b36;--menu:#002b36;--menu-hi:#073642;--code-fg:#839496;--tk-name:#2aa198;--tk-value:#b58900;--tk-note:#586e75;--tk-esc:#6c71c4;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}:root[data-theme=solarized-light]{--band:#fdf6e3;--bar:#eee8d5;--panel:#eee8d5;--fg:#586e75;--soft:#657b83;--line:#93a1a1;--tint:#fdf6e3;--tint-band:#eee8d5;--foot:#fdf6e3;--accent:#2aa198;--cost:#dc322f;--on-accent:#fdf6e3;--code-ran:#fdf6e3;--menu:#fdf6e3;--menu-hi:#eee8d5;--code-fg:#657b83;--tk-name:#2aa198;--tk-value:#b58900;--tk-note:#93a1a1;--tk-esc:#6c71c4;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}:root[data-theme] .brand img{display:none}*{box-sizing:border-box}html{overscroll-behavior:none}body{overscroll-behavior:none;background:var(--band);color:var(--fg);font-family:var(--sans);-webkit-font-smoothing:antialiased;margin:0;font-size:17px;line-height:1.6}.bar{z-index:20;background:var(--bar);border-bottom:1px solid var(--line);align-items:center;gap:1.25rem;padding:.55rem 1.75rem;display:flex;position:sticky;top:0}.brand{letter-spacing:-.02em;color:var(--fg);flex:none;align-items:center;gap:.6rem;font-size:2rem;font-weight:700;text-decoration:none;display:flex}.brand img{width:auto;height:2.1rem;display:block}.brand .wordmark{font-family:"Xag Wordmark", var(--sans);letter-spacing:.08em;font-size:.86em;font-weight:700}.menu{scrollbar-width:none;gap:1.05rem;min-width:0;margin:0 auto 0 1.25rem;display:flex;overflow-x:auto}.menu::-webkit-scrollbar{display:none}.menu>*{white-space:nowrap}.controls{flex:none;align-items:center;gap:.7rem;display:flex}.menu a{color:var(--fg);font-size:.98rem;text-decoration:none}.menu a:hover{text-decoration:underline}.soon{color:var(--soft);opacity:.45;cursor:default;font-size:.98rem}.elsewhere{clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.theme{border:1px solid var(--line);border-radius:var(--round);align-items:center;gap:.55rem;padding:.26rem .4rem .26rem .7rem;font-size:.82rem;display:flex}.theme-label{color:var(--soft)}.theme:hover{border-color:var(--soft)}.picker{position:relative}.picker-button{border-radius:calc(var(--round) - 4px);background:var(--tint);color:var(--fg);font:inherit;font-size:inherit;cursor:pointer;text-align:left;border:0;min-width:8.2rem;padding:.2rem 1.6rem .2rem .55rem}.picker-button:after{content:"";border-right:1.5px solid var(--soft);border-bottom:1.5px solid var(--soft);pointer-events:none;width:.42rem;height:.42rem;position:absolute;top:50%;right:.6rem;transform:translateY(-70%)rotate(45deg)}.picker-button:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.picker-list{z-index:30;background:var(--menu);border:1px solid var(--line);border-radius:var(--round);min-width:100%;margin:0;padding:.3rem;list-style:none;position:absolute;top:calc(100% + .45rem);right:0;box-shadow:0 10px 30px #00000059}.picker-list li{border-radius:calc(var(--round) - 5px);color:var(--soft);white-space:nowrap;cursor:pointer;padding:.4rem .7rem}.picker-list li.here{background:var(--menu-hi);color:var(--fg)}.hero{padding:5.5rem 2.5rem 6rem}.hero-in{text-align:center;max-width:1180px;margin:0 auto}h1{letter-spacing:-.02em;white-space:nowrap;margin:0 0 2.4rem;font-size:clamp(1.5rem,3.9vw,3rem);font-weight:600;line-height:1.15}.buttons{flex-wrap:wrap;justify-content:center;gap:1.6rem;margin-bottom:1.1rem;display:flex}.go,.ghost{border-radius:var(--round);justify-content:center;align-items:center;min-width:15.5rem;padding:.95rem 2rem;font-size:1.3rem;text-decoration:none;display:inline-flex}.go{background:var(--accent);color:var(--on-accent)}.go:hover{filter:brightness(1.08)}.ghost{border:1px solid var(--fg);color:var(--fg)}.ghost:hover{background:#ffffff14}.small{color:var(--fg);max-width:62ch;margin:0 0 .6rem;font-size:.98rem}.hero .small{margin-left:auto;margin-right:auto}.small a{color:var(--fg)}@media (width<=82rem){.bar{padding:.55rem 1.5rem}.menu{gap:1.05rem;margin-left:1.25rem}.menu a,.soon{font-size:.9rem}.theme-label{display:none}.picker-button{min-width:7rem}}@media (width<=66rem){.menu{display:none}}@media (width<=45rem){.bar{flex-wrap:wrap;row-gap:.4rem;padding:.55rem 1rem}.picker-button{min-width:5.5rem;font-size:.85rem}.theme{padding:.15rem .4rem}.controls{gap:.45rem;margin-left:auto}.brand{font-size:1.6rem}.brand img{height:1.7rem}.menu{display:none}h1{white-space:normal}.hero{padding:2.5rem 1.25rem 3.5rem}.go,.ghost{flex:1;min-width:0;font-size:1.05rem}}.ledger{background:var(--panel);border-top:1px solid var(--line);padding:4.5rem 2.5rem 5.5rem}.ledger-in{max-width:1180px;margin:0 auto}.ledger h2{letter-spacing:-.02em;margin:0 0 .6rem;font-size:clamp(1.7rem,2.6vw,2.4rem);font-weight:600}.ledger .lede{color:var(--soft);max-width:62ch;margin:0 0 2.6rem}.table-wrap{border:1px solid var(--line);border-radius:var(--round);scroll-margin-top:5rem;display:inline-block;overflow:hidden}.ledger-table{border-collapse:collapse;text-align:left;font-size:.95rem}.ledger-table th,.ledger-table td{border-right:1px solid var(--line);border-bottom:1px solid var(--line);vertical-align:top;padding:.45rem .85rem;line-height:1.5}.ledger-table th:last-child,.ledger-table td:last-child{border-right:0}.ledger-table tbody tr:last-child td{border-bottom:0}.ledger-table th{background:var(--tint);font-weight:700}.ledger-table th:first-child,.ledger-table td:first-child{color:var(--accent)}.ledger-table th:last-child,.ledger-table td:last-child{color:var(--cost)}.ledger-table tbody tr:nth-child(2n){background:var(--tint)}.ledger-table code{font-family:var(--mono);font-size:.92em}@media (width<=52rem){.ledger{padding:3rem 1.25rem 4rem}.table-wrap{display:block;overflow-x:auto}}.tk-name{color:var(--tk-name)}.tk-value{color:var(--tk-value)}.tk-esc{color:var(--tk-esc)}.tk-note{color:var(--tk-note);font-style:italic}.ran{border-top:1px solid var(--line);font-family:var(--mono);background:var(--code-ran);flex-direction:column;gap:.3rem;padding:.85rem 1.2rem;font-size:.8rem;display:flex}.prompt{color:var(--tk-note)}.said{color:var(--accent)}.play{background:var(--band);padding:2.5rem 2.5rem 4rem}.play-head{max-width:1180px;margin:0 auto 1.8rem}.play h1{letter-spacing:-.01em;margin:0 0 .6rem;font-size:clamp(1.9rem,3.4vw,2.6rem);line-height:1.15}.benches{grid-template-columns:1fr 1fr;align-items:stretch;gap:1.4rem;max-width:1180px;margin:0 auto;display:grid}.bench{border:1px solid var(--line);border-radius:var(--round);background:var(--panel);flex-direction:column;min-width:0;height:min(62vh,34rem);display:flex;overflow:hidden}.bench-top{border-bottom:1px solid var(--line);background:var(--tint);justify-content:space-between;align-items:center;gap:1rem;padding:.45rem .6rem .45rem 1rem;display:flex}.bench-name{font-family:var(--mono);color:var(--soft);font-size:.8rem}.bench-note{font-family:var(--mono);color:var(--tk-note);font-size:.75rem}.run{cursor:pointer;border:0;min-width:6rem;padding:.34rem 1.1rem;font-family:inherit;font-size:.85rem}.run.stopping{background:var(--cost);color:var(--on-accent)}.editor .lit,.editor textarea{font-family:var(--mono);tab-size:4;white-space:pre;overflow-wrap:normal;letter-spacing:normal;font-variant-ligatures:none;border:0;margin:0;padding:1.1rem 1.2rem;font-size:.82rem;line-height:1.45}.editor{flex:1;min-height:0;position:relative;overflow:hidden}.editor .lit{pointer-events:none;color:var(--code-fg);background:0 0;position:absolute;inset:0;overflow:hidden}.editor textarea{resize:none;color:#0000;caret-color:var(--fg);background:0 0;outline:none;position:absolute;inset:0;overflow:auto}.editor textarea::selection{background:var(--menu-hi)}.editor textarea::placeholder{color:var(--tk-note)}.results{flex:1;min-height:0;padding:1.1rem 1.2rem;overflow:auto}.results pre{font-family:var(--mono);white-space:pre-wrap;overflow-wrap:anywhere;margin:0;font-size:.82rem;line-height:1.65}.printed{color:var(--code-fg)}.told{border-top:1px solid var(--line);color:var(--cost);padding-top:1.1rem;margin-top:1.1rem!important}.printed:empty+.told{border-top:0;padding-top:0;margin-top:0!important}.footnote{max-width:1180px;color:var(--tk-note);margin:1.6rem auto 0;font-size:.88rem;line-height:1.6}.footnote code{font-family:var(--mono);font-size:.92em}.menu a.here{text-underline-offset:4px;text-decoration:underline}@media (width<=62rem){.play{padding:2rem 1.2rem 3rem}.benches{grid-template-columns:1fr}.bench{height:26rem}}.lost{max-width:1180px;margin:0 auto;padding:5rem 2.5rem}.lost h1{margin:0 0 1.2rem}.lost .small{max-width:58ch;color:var(--soft);margin-bottom:2.4rem}.prose{max-width:1180px;margin:0 auto;padding:3.5rem 2.5rem 5rem}.prose h1{margin:0 0 2.6rem}.prose section{margin-bottom:3.2rem}.prose h2{letter-spacing:-.01em;margin:0 0 1rem;scroll-margin-top:5rem;font-size:clamp(1.35rem,2.1vw,1.7rem)}.prose h3{color:var(--accent);margin:2rem 0 .7rem;font-size:1.05rem;font-weight:600}.prose p,.prose li{max-width:68ch;color:var(--soft);margin:0 0 1rem}.prose .lead{color:var(--fg);font-size:1.15rem}.prose strong{color:var(--fg);font-weight:600}.prose a{color:var(--fg)}.prose code{font-family:var(--mono);font-size:.92em}.prose ul{max-width:68ch;margin:0 0 1rem;padding-left:1.2rem}.prose li{margin-bottom:.6rem}.prose blockquote{border-left:3px solid var(--accent);border-radius:0 var(--round) var(--round) 0;background:var(--tint-band);margin:0;padding:1.2rem 1.4rem}.prose blockquote p:last-child{margin-bottom:0}.prose .from{color:var(--tk-note);font-size:.92rem}@media (width<=62rem){.prose{padding:2.5rem 1.2rem 3.5rem}}.exhibit{border:1px solid var(--line);border-radius:var(--round);background:var(--panel);margin-top:2.6rem;overflow:hidden}.plaque{border-bottom:1px solid var(--line);background:var(--tint);padding:1.4rem 1.6rem}.plaque .no{font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--tk-note);font-size:.75rem}.plaque h2{margin:.35rem 0 .4rem;scroll-margin-top:5rem}.plaque .when{color:var(--soft);max-width:none;margin:0;font-size:.9rem}.plaque .said-by{color:var(--fg)}blockquote.shown{background:var(--code-ran);border-left:0;border-radius:0;margin:0;padding:1.6rem}.shown p,.shown li{color:var(--soft);max-width:68ch}.shown ul,.shown ol{max-width:68ch;padding-left:1.3rem}.shown li{margin-bottom:.5rem}.shown code{font-family:var(--mono);font-size:.92em}.shown sup{color:var(--tk-note)}.shown .cites{font-family:var(--mono);color:var(--tk-note);margin-bottom:0;font-size:.78rem}.label{padding:1.6rem}.label h3{margin-top:0}.label dl{margin:1.4rem 0 0}.label dt{color:var(--fg);max-width:68ch;margin-top:1.2rem;font-weight:600}.label dt:before{font-family:var(--mono);margin-right:.5rem;font-weight:700}.label dt.true:before{content:"✓";color:var(--accent)}.label dt.false:before{content:"✗";color:var(--cost)}.label dt.half:before{content:"~";color:var(--tk-value)}.label dd{color:var(--soft);max-width:68ch;margin:.4rem 0 0 1.35rem}.label dd code{font-family:var(--mono);font-size:.92em}.label .closing{border-top:1px solid var(--line);color:var(--soft);margin-top:2rem;padding-top:1.2rem}@media (width<=45rem){.plaque,.shown,.label{padding:1.1rem}}.prose .note{color:var(--tk-note);font-size:.92rem}.shots{background:var(--code-ran);margin:0;padding:1.6rem 1.6rem 1.2rem}.shots img{border:1px solid var(--line);border-radius:var(--round);width:100%;max-width:46rem;height:auto;display:block}.shots img+img{margin-top:1rem}.shots figcaption{font-family:var(--mono);color:var(--tk-note);margin-top:.9rem;font-size:.78rem}.as-text{border-top:1px solid var(--line);background:var(--code-ran)}.as-text summary{color:var(--soft);cursor:pointer;padding:.9rem 1.6rem;font-size:.9rem}.as-text summary:hover{color:var(--fg)}.as-text[open] summary{border-bottom:1px solid var(--line)}@media (width<=45rem){.shots{padding:1.1rem}.as-text summary{padding:.9rem 1.1rem}}.label .shots.reply{border-radius:var(--round);margin:1.6rem 0;padding:1.2rem}.label .shots.reply img{max-width:38rem}.shown pre{border:1px solid var(--line);border-radius:var(--round);background:var(--panel);font-family:var(--mono);color:var(--code-fg);margin:.7rem 0 0;padding:.9rem 1rem;font-size:.8rem;line-height:1.55;overflow-x:auto}.shown pre code{font:inherit;color:inherit}.ran-real{border:1px solid var(--line);border-radius:var(--round);max-width:46rem;margin:1.2rem 0 0;overflow:hidden}.ran-real pre{background:var(--panel);font-family:var(--mono);color:var(--code-fg);margin:0;padding:1.1rem 1.2rem;font-size:.82rem;line-height:1.55;overflow-x:auto}.ran-real .ran{border-top:1px solid var(--line)}.ledger.on-band{background:var(--band)}.ledger .none{letter-spacing:-.02em;color:var(--fg);margin:0 0 1.1rem;font-size:clamp(2rem,4vw,3rem);font-weight:600;line-height:1.1}.ledger .after{color:var(--soft);max-width:62ch;margin:0}.foot{background:var(--foot);border-top:1px solid var(--line);padding:3rem 1.75rem 3.5rem}.foot-in{max-width:1180px;margin:0 auto}.foot p{max-width:74ch;color:var(--soft);margin:0 0 1rem;font-size:.92rem;line-height:1.65}.foot strong{color:var(--fg);font-weight:600}.foot .fine{border-top:1px solid var(--line);color:var(--tk-note);margin:1.6rem 0 0;padding-top:1.2rem;font-size:.85rem}.foot a{color:var(--soft)}.foot a:hover{color:var(--fg)}@media (width<=45rem){.foot{padding:2.2rem 1rem 2.6rem}}.exhibit.pinned{border-color:var(--accent);margin-top:2.6rem}.exhibit.pinned .plaque{border-bottom-color:var(--accent)}.exhibit.pinned .no{color:var(--accent)}.exhibit.pinned .no:before{content:"📌 ";speak:never}.stream{font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--tk-note);margin:0 0 .35rem;font-size:.72rem}.results .erred+.told,.results .printed+.stream{margin-top:1.1rem}.erred{color:var(--code-fg)}