:root{--bg: #FFFFFF;--surface: #F2FAF5;--surface-2: #DFF1E6;--text: #0F2419;--text-muted: #46584E;--on-fill: #FFFFFF;--accent: #12694A;--accent-strong: #0B4A34;--danger: #A11B2E;--border: #B7D8C4;--border-strong: #5A8A6E;--focus: #1668D6;--text-disabled: var(--text-muted);--border-disabled: var(--border-strong);--font-sans: ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;--font-mono: ui-monospace, SFMono-Regular, "SF Mono", Consolas, "Liberation Mono", monospace;--radius: 6px;--radius-sm: 4px;--elevation: 0 1px 2px rgb(0 0 0 / .08)}:root[data-theme=dark]{--bg: #0C1410;--surface: #111C16;--surface-2: #16251C;--text: #E6F2EA;--text-muted: #9DB3A6;--on-fill: #0C1410;--accent: #5FD39B;--accent-strong: #8FE5BA;--danger: #FF8A9B;--border: #24362B;--border-strong: #587F6C;--focus: #7FB3FF}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--bg: #0C1410;--surface: #111C16;--surface-2: #16251C;--text: #E6F2EA;--text-muted: #9DB3A6;--on-fill: #0C1410;--accent: #5FD39B;--accent-strong: #8FE5BA;--danger: #FF8A9B;--border: #24362B;--border-strong: #587F6C;--focus: #7FB3FF}}*,*:before,*:after{box-sizing:border-box}html,body{margin:0;height:100%}body{background:var(--surface);color:var(--text);font-family:var(--font-sans);font-size:var(--fs-lg);line-height:var(--lh-prose);display:grid;place-items:center;padding:0 var(--space-2xl)}:root{--measure: 34rem;--field: var(--measure);--control: 100%;--diagram: 32rem;--compose-min: 5.5rem;--ease-deliberate: cubic-bezier(.55, .06, .28, 1);--fs-xs: .6875rem;--fs-sm: .75rem;--fs-md: .8125rem;--fs-base: .875rem;--fs-lg: 1rem;--fs-xl: 1.375rem;--fs-2xl: 1.75rem;--lh-tight: 1.15;--lh-ui: 1.4;--lh-mono: 1.5;--lh-prose: 1.6;--space-2xs: 2px;--space-xs: 4px;--space-sm: 8px;--space-md: 12px;--space-lg: 16px;--space-xl: 20px;--space-2xl: 24px;--space-3xl: 28px}@media(min-width:60rem){:root{--field: 52rem;--control: 22rem;--diagram: 40rem;--compose-min: 8rem}}@media(min-width:90rem){:root{--field: 64rem}}main{width:100%;max-width:var(--measure);padding-block:var(--space-2xl)}main.wide{max-width:var(--field)}[data-ex1-prerelease]{background:var(--surface-2);color:var(--text-muted);border-radius:var(--radius);padding:var(--space-sm) var(--space-md);margin-block-end:var(--space-lg);font-size:var(--fs-md);line-height:var(--lh-ui)}[data-ex1-prerelease] b{color:var(--text);font-weight:600}main.wide .tagline,main.wide [data-ex1-prerelease],main.wide .consequence,main.wide .card>p.muted,main.wide .agent-note,main.wide .explain,main.wide details.more{max-width:var(--measure)}main.wide details.more:has(>[role=radiogroup]){max-width:none}main.wide .tagline,main.wide [data-ex1-prerelease],main.wide .agent-note,main.wide .center .consequence,main.wide .center>p.muted{margin-inline:auto}@media(min-width:60rem)and (min-height:52rem){main.compose{display:flex;flex-direction:column}main.compose>[data-ex1-prerelease]{order:-3}main.compose>.brand,main.compose>.tagline{order:-2}main.compose>.diagram{order:-1;margin-block-start:0}}.mark{font-family:var(--font-mono);font-size:var(--fs-md);color:var(--text-muted);text-align:center;margin:0 0 var(--space-xl)}.card{background:var(--bg);border:1px solid var(--border-strong);border-radius:var(--radius);box-shadow:var(--elevation);padding:var(--space-3xl) var(--space-2xl)}label{line-height:var(--lh-ui);display:block;font-size:var(--fs-base);color:var(--text-muted);margin:0 0 var(--space-sm)}textarea,.out{width:100%;font-family:var(--font-mono);font-size:var(--fs-lg);letter-spacing:.01em;background:var(--surface);color:var(--text);border:1px solid var(--border-strong);border-radius:var(--radius);padding:var(--space-md);resize:vertical}.out{border-inline-start:3px solid var(--accent);white-space:pre-wrap;overflow-wrap:anywhere;text-align:start;min-height:3rem}.out-url{word-break:break-all}input.out{max-width:var(--control)}button{line-height:var(--lh-ui);display:block;width:100%;max-width:var(--control);margin-top:var(--space-lg);border:0;border-radius:var(--radius);padding:var(--space-md) var(--space-xl);font:inherit;font-weight:600;color:var(--on-fill);cursor:pointer}.center>button{margin-inline:auto}button:disabled{cursor:default;background:var(--surface);color:var(--text-disabled);border:1px solid var(--border-disabled)}.primary:disabled{border:2px solid var(--accent)}button:active:not(:disabled),.btn-download:active{transform:translateY(1px)}.primary:active:not(:disabled){background:var(--surface-2);border-color:var(--accent-strong)}.accent:active:not(:disabled){background:var(--accent-strong)}.btn-quiet:active:not(:disabled){background:var(--surface-2);color:var(--text)}.btn-download:active{background:var(--surface-2);border-color:var(--accent-strong)}details.more>summary:active{color:var(--text)}[hidden]{display:none!important}.accent{background:var(--accent)}.accent:hover:not(:disabled){background:var(--accent-strong)}.danger{background:var(--danger)}.primary{max-width:100%;background:var(--bg);color:var(--accent-strong);border:2px solid var(--accent)}.primary:hover:not(:disabled){background:var(--surface);border-color:var(--accent-strong)}.consequence{font-size:var(--fs-lg);margin:0 0 var(--space-xs)}.muted{color:var(--text-muted);font-size:var(--fs-md)}.center{text-align:center}footer{margin-top:var(--space-lg);text-align:center}footer a{color:var(--text-muted);font-size:var(--fs-md)}:focus-visible{outline:3px solid var(--focus);outline-offset:2px;border-radius:inherit}@media(forced-colors:active){:focus-visible{outline-color:Highlight}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-delay:0s!important;animation-iteration-count:1!important;transition-duration:.01ms!important;transition-delay:0s!important}}.receipt{background:var(--surface-2);border:1px solid var(--border-strong);border-radius:var(--radius);padding:var(--space-3xl) var(--space-2xl);text-align:center}.tick{width:56px;height:56px;margin:0 auto var(--space-lg);border-radius:50%;background:var(--text-muted);display:grid;place-items:center}.tick svg{width:28px;height:28px;stroke:var(--on-fill);stroke-width:3;fill:none;stroke-linecap:round;stroke-linejoin:round}.state{line-height:var(--lh-tight);font-size:var(--fs-2xl);font-weight:600;margin:0 0 var(--space-xs);color:var(--text)}.when{font-size:var(--fs-base);color:var(--text-muted);margin:0 0 var(--space-xl)}.receipt[data-ending=collected]{border-color:var(--accent)}.receipt[data-ending=collected] .tick{background:var(--accent)}.receipt[data-ending=collected] .state{color:var(--accent-strong)}.receipt[data-devkey]{border-color:var(--border-strong)}.receipt[data-devkey] .tick{background:var(--text-muted)}.receipt[data-devkey] .state{color:var(--text)}.receipt[data-devkey] .badge{color:var(--text-muted)}.devkey{text-align:start;background:var(--surface);border:1px solid var(--border-strong);border-radius:var(--radius);padding:var(--space-sm) var(--space-md);margin:0 0 var(--space-xl);font-size:var(--fs-md);line-height:var(--lh-ui);color:var(--text-muted)}.devkey b{color:var(--text);font-weight:600;margin-inline-end:var(--space-2xs)}.rows{text-align:start;border-top:1px solid var(--border)}.row{display:flex;justify-content:space-between;gap:var(--space-lg);padding:var(--space-sm) 0;border-bottom:1px solid var(--border);font-size:var(--fs-base)}.row span:first-child{color:var(--text-muted)}.row span:last-child{font-family:var(--font-mono);text-align:end;word-break:break-all}.badge{display:inline-block;margin-top:var(--space-lg);font-size:var(--fs-md);font-weight:600;color:var(--accent-strong)}.lease{height:2px;margin-top:var(--space-lg);background:var(--border);border-radius:1px;overflow:hidden}.lease-fill{height:100%;width:100%;background:var(--accent);transform-origin:left center;transform:scaleX(1)}.lease-fill.low{background:var(--danger)}.erase-row{display:flex;align-items:center;justify-content:space-between;gap:var(--space-md);margin-top:var(--space-md)}.countdown{font-family:var(--font-mono);font-size:var(--fs-md);color:var(--text-muted);font-variant-numeric:tabular-nums}.btn-quiet{width:auto;margin:0;padding:var(--space-sm) var(--space-md);font-size:var(--fs-base);background:transparent;color:var(--text-muted);border:1px solid var(--border-strong)}.btn-quiet:hover{color:var(--text)}.glyph{display:inline}.word{display:inline-block}.word>.glyph{display:inline-block}.erasing .glyph{will-change:opacity,transform;animation:glyph-out .34s cubic-bezier(.4,0,1,1) forwards;animation-delay:var(--d)}@keyframes glyph-out{0%{opacity:1;transform:none}35%{opacity:1;transform:none}to{opacity:0;transform:translateY(-2px) scale(.86)}}.out.erasing{animation:field-out .26s ease-out forwards;animation-delay:var(--collapse-at, .7s)}@keyframes field-out{to{opacity:0;transform:scaleY(.9)}}.gone-in{animation:gone-in .22s ease-out both}@keyframes gone-in{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:none}}@media(prefers-reduced-motion:reduce){.erasing .glyph,.out.erasing,.gone-in{animation:none!important}.out.erasing{opacity:0}.lease-fill{transition:none!important}}.loop{display:flex;align-items:center;gap:var(--space-sm);justify-content:center;list-style:none;margin:0 0 var(--space-xl);padding:0}.loop:empty{display:none}.loop>li{list-style:none}.loop-step{display:flex;align-items:center;gap:var(--space-xs);font-size:var(--fs-sm);color:var(--text-muted)}.loop-dot{width:18px;height:18px;border-radius:50%;border:1px solid var(--border-strong);display:grid;place-items:center;font-size:var(--fs-xs);font-family:var(--font-mono);flex:none}.loop-step[data-state=now] .loop-dot{background:var(--accent);border-color:var(--accent);color:var(--on-fill)}.loop-step[data-state=now]{color:var(--text);font-weight:600}.loop-step[data-state=done] .loop-dot{background:var(--surface-2);border-color:var(--accent);color:var(--accent-strong)}.loop-line{width:16px;height:1px;background:var(--border-strong);flex:none}.agent-note{margin-top:var(--space-xl);text-align:center;font-family:var(--font-mono);font-size:var(--fs-sm)}.agent-note a{color:var(--text-muted);text-decoration-thickness:1px;text-underline-offset:3px}.agent-note a:hover{color:var(--accent-strong)}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap;border:0}.brand{text-align:center;margin:0 0 var(--space-xs);font-size:var(--fs-xl);line-height:var(--lh-tight)}.brand-name{font-family:var(--font-mono);font-weight:600;letter-spacing:-.02em;color:var(--text)}.brand-name .digit{color:var(--accent-strong)}.tagline{font-size:var(--fs-base);color:var(--text-muted);text-align:center;margin:0 0 var(--space-xl)}.diagram{display:flex;justify-content:center;margin:var(--space-2xl) 0}.diagram svg{max-width:var(--diagram)}.deposit-run{stroke-dasharray:.18 2;stroke-dashoffset:.24}.diagram svg[data-closed=true] .deposit-run{animation:deposit-run .38s var(--ease-deliberate) forwards}@keyframes deposit-run{to{stroke-dashoffset:-1.06}}.proof-close{stroke-dasharray:1;stroke-dashoffset:1}.diagram svg[data-closed=true] .proof-close{animation:proof-close .64s var(--ease-deliberate) .26s forwards}@keyframes proof-close{to{stroke-dashoffset:0}}#result:not([hidden]){animation:result-in .32s var(--ease-deliberate) forwards}@keyframes result-in{0%{opacity:0;transform:translateY(3px)}to{opacity:1;transform:none}}.verify{margin-top:var(--space-lg);border:1px solid var(--border);border-radius:var(--radius);padding:var(--space-md) var(--space-lg);background:var(--bg);text-align:start}.verify-head{font-size:var(--fs-sm);font-weight:600;letter-spacing:.04em;text-transform:uppercase;color:var(--text-muted);margin:0 0 var(--space-sm)}.verify-item{display:flex;align-items:flex-start;gap:var(--space-sm);font-size:var(--fs-md);padding:var(--space-xs) 0}.verify-item .tickmark{flex:none;font-weight:700;color:var(--accent-strong);line-height:var(--lh-mono)}.verify-item[data-ok=false] .tickmark{color:var(--danger)}.verify-what{color:var(--text)}.verify-detail{display:block;font-family:var(--font-mono);font-size:var(--fs-xs);color:var(--text-muted);word-break:break-all}.verify-foot{margin:var(--space-sm) 0 0;padding-top:var(--space-sm);border-top:1px solid var(--border);font-size:var(--fs-sm);color:var(--text-muted)}.verify-call{display:block;margin-top:var(--space-xs);font-family:var(--font-mono);font-size:var(--fs-xs);background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-sm);padding:var(--space-xs) var(--space-sm);color:var(--text);overflow-x:auto;white-space:pre}details.more{margin:0}details.more>summary{cursor:pointer;list-style:none;display:inline-flex;align-items:center;gap:var(--space-xs);font-size:var(--fs-md);color:var(--text-muted);padding:var(--space-xs) var(--space-2xs);border-radius:var(--radius-sm)}details.more>summary::-webkit-details-marker{display:none}details.more>summary:hover{color:var(--text)}details.more>summary:after{content:"";width:5px;height:5px;border-right:1.5px solid currentColor;border-bottom:1.5px solid currentColor;transform:rotate(45deg) translate(-.72px,-.72px)}details.more[open]>summary:after{transform:rotate(-135deg) translate(-.72px,-.72px)}details.more[open]>summary{color:var(--text)}.centre-block>details.more>summary{font-size:var(--fs-base);font-weight:600;color:var(--text)}.explain{margin:var(--space-sm) 0 0;padding:0;list-style:none}.explain li{display:grid;grid-template-columns:1.25rem 1fr;gap:var(--space-sm);padding:var(--space-xs) 0;font-size:var(--fs-md);color:var(--text-muted);line-height:var(--lh-mono)}.explain .n{font-family:var(--font-mono);font-size:var(--fs-xs);font-weight:600;color:var(--accent-strong);padding-top:var(--space-2xs)}.explain b{color:var(--text);font-weight:600}.explain.plain li{grid-template-columns:1fr}.btn-download{display:inline-flex;align-items:center;justify-content:center;gap:var(--space-sm);margin-top:var(--space-lg);padding:var(--space-md) var(--space-xl);border:1px solid var(--border-strong);border-radius:var(--radius);background:transparent;color:var(--text);font:inherit;font-size:var(--fs-lg);font-weight:600;text-decoration:none;max-width:var(--control)}.btn-download:hover{border-color:var(--accent);color:var(--accent-strong)}.btn-download-glyph{font-size:var(--fs-lg);line-height:1}.thumb-row{display:flex;align-items:center;gap:var(--space-sm);flex-wrap:wrap;margin:var(--space-sm) 0 0}.thumb{flex:1 1 12rem;font-family:var(--font-mono);font-size:var(--fs-sm);line-height:var(--lh-mono);color:var(--text);background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-sm);padding:var(--space-xs) var(--space-sm);word-break:break-all;user-select:all}.centre-block{text-align:center;margin-top:var(--space-md)}.centre-block>details.more{display:block;width:fit-content;margin-inline:auto;text-align:start}.content{max-width:var(--measure)}.home{display:block;text-align:center;font-weight:700;font-size:var(--fs-lg);color:var(--text);text-decoration:none;margin-bottom:var(--space-3xl)}.home .digit{color:var(--accent-strong)}.page-title{line-height:var(--lh-tight);font-size:var(--fs-xl);font-weight:700;margin:0 0 var(--space-xs);color:var(--text)}.page-intro{margin:0 0 var(--space-xl);color:var(--text-muted);font-size:var(--fs-base)}.page-heading{font-size:var(--fs-sm);font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:var(--text-muted);margin:var(--space-xl) 0 var(--space-2xs)}.page-foot{margin-top:var(--space-2xl);padding-top:var(--space-md);border-top:1px solid var(--border);font-size:var(--fs-sm);color:var(--text-muted)}.site-foot{display:flex;align-items:baseline;justify-content:center;gap:var(--space-sm);flex-wrap:wrap;margin-top:var(--space-2xl);font-size:var(--fs-md)}.site-foot a{color:var(--text-muted)}.site-foot .sep{color:var(--border-strong)}.site-foot .mono{font-family:var(--font-mono);font-size:var(--fs-sm)}.site-foot>.lang-wrap,.site-foot>details.more{align-self:center}.site-foot>details.more{margin-inline-start:var(--space-sm)}.site-foot>details.more[open]{flex:0 0 100%;max-width:100%;margin-inline-start:0;text-align:center}.site-foot>details.more>summary{font-size:var(--fs-sm)}.lang-wrap{display:inline-grid;align-items:center}.lang-wrap>select.lang,.lang-wrap:after{grid-area:1 / 1}.lang-wrap:after{content:"";width:9px;height:6px;justify-self:end;margin-inline-end:var(--space-sm);background:currentColor;color:var(--text-muted);clip-path:polygon(0 0,50% 62%,100% 0,100% 38%,50% 100%,0 38%);pointer-events:none}select.lang{appearance:none;font:inherit;font-size:var(--fs-md);color:var(--text-muted);background:transparent;border:1px solid var(--border-strong);border-radius:var(--radius);padding:var(--space-2xs) var(--space-xs);padding-inline-end:var(--space-2xl);cursor:pointer}select.lang:hover{color:var(--text);border-color:var(--accent)}textarea::placeholder,input::placeholder{color:var(--text-muted)}.gauge{line-height:var(--lh-ui);margin:var(--space-xs) 0 0;font-size:var(--fs-sm);color:var(--text-muted);text-align:end;font-variant-numeric:tabular-nums}.gauge[data-state=near]{color:var(--text)}.gauge[data-state=over]{color:var(--danger);font-weight:600}#secret{min-height:var(--compose-min)}.statement{border:1px solid var(--border-strong);border-radius:var(--radius);background:var(--surface);padding:var(--space-md);min-height:var(--compose-min)}.statement-shape{margin:0;font-size:var(--fs-base);color:var(--text-muted);line-height:var(--lh-mono)}.statement-shape b{color:var(--text);font-weight:600}.statement-params{margin:var(--space-sm) 0 0;font-family:var(--font-mono);font-size:var(--fs-sm);color:var(--text-muted);overflow-wrap:anywhere;line-height:var(--lh-prose)}.statement .consequence{margin:var(--space-sm) 0 0;color:var(--text)}.switch{display:flex;align-items:center;gap:var(--space-sm);margin:var(--space-md) 0 0}.switch input{width:1rem;height:1rem;accent-color:var(--border-strong);flex:none}.switch label{margin:0;font-size:var(--fs-base);color:var(--text);cursor:pointer}.shapes{margin:var(--space-sm) 0 0;display:grid;gap:var(--space-xs)}.shape{display:grid;grid-template-columns:1rem 1fr;gap:var(--space-sm);align-items:start;margin:0;padding:var(--space-xs);border-radius:var(--radius-sm);cursor:pointer;font-size:var(--fs-md);color:var(--text-muted);line-height:var(--lh-mono)}.shape:hover{background:var(--surface)}.shape:active{background:var(--surface-2)}.shape input{width:1rem;height:1rem;margin:var(--space-2xs) 0 0;accent-color:var(--border-strong)}.shape b{color:var(--text);font-weight:600}.shape .shape-params{display:block;margin-top:var(--space-xs);font-family:var(--font-mono);font-size:var(--fs-xs);overflow-wrap:anywhere}