:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--text:#e8edf2;--text-muted:#9aa7b4;--background:#0f1419;--surface:#161c24;--surface-2:#1d2530;--border-color:#2a3441;--border-color-strong:#5c738f;--border:1px solid var(--border-color);--accent:#4a9eff;--accent-2:#7c5cff;--accent-strong:#2563eb;--accent-2-strong:#7c3aed;--accent-soft:#4a9eff1f;--success:#34d399;--on-success:#062b1c;--danger:#f87171;--focus-ring:#facc15;--radius:14px;--radius-sm:9px;--shadow:0 1px 2px #0006, 0 8px 24px #00000047;--shadow-hover:0 2px 6px #00000073, 0 16px 40px #00000059;--page-width:1180px}[data-theme=light]{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--text:#0f172a;--text-muted:#55657a;--background:#f1f4f8;--surface:#fff;--surface-2:#f6f8fb;--border-color:#dde3ea;--border-color-strong:#738ba8;--border:1px solid var(--border-color);--accent:#1d4ed8;--accent-2:#7c3aed;--accent-strong:var(--accent);--accent-2-strong:var(--accent-2);--accent-soft:#1d4ed81a;--success:#116932;--on-success:#fff;--danger:#b91c1c;--shadow:0 1px 2px #0f172a0f, 0 8px 24px #0f172a14;--shadow-hover:0 2px 6px #0f172a1a, 0 16px 40px #0f172a1f}*{box-sizing:border-box;margin:0;padding:0}body,button,input,output,textarea{font:inherit}html{background-color:var(--background);scroll-behavior:smooth;transition:background-color .2s,color .2s}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto;transition:none}*{transition:none!important;animation:none!important}}body{background-color:var(--background);color:var(--text);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;min-height:100vh;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;line-height:1.6}code{background-color:var(--accent-soft);color:var(--text);word-break:break-word;border-radius:5px;padding:.08em .4em;font-family:ui-monospace,SFMono-Regular,Cascadia Code,Menlo,Consolas,monospace;font-size:.92em}.skip-link{z-index:1100;background-color:var(--surface);color:var(--text);border:var(--border);box-shadow:var(--shadow);border-radius:999px;padding:.7rem 1rem;position:absolute;top:-4rem;left:1rem}.skip-link:focus{top:1rem}.hero{border-bottom:var(--border);background-color:var(--surface);background-image:radial-gradient(120% 140% at 12% -10%, var(--accent-soft), transparent 55%), radial-gradient(110% 130% at 100% 0%, #7c5cff1f, transparent 50%);position:relative;overflow:hidden}.hero-inner{max-width:var(--page-width);margin:0 auto;padding:clamp(2.4rem,6vw,4.2rem) 1.25rem clamp(2rem,4vw,3rem)}.cl-hero{flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:clamp(1rem,4vw,3rem);margin:clamp(1rem,3vw,2rem) 0 1.5rem;display:flex}.cl-hero-main{flex:22rem;min-width:min(100%,20rem)}.cl-hero-title{letter-spacing:.01em;color:var(--text);margin:0;font-size:clamp(1.6rem,3.8vw,2.7rem);font-weight:700;line-height:1.1}.cl-hero-sub{letter-spacing:.01em;opacity:.85;color:var(--text);margin:.4rem 0 0;font-size:clamp(.9rem,1.6vw,1.05rem)}.cl-hero-desc{color:var(--text-muted);max-width:60ch;margin:.55rem 0 0;font-size:1rem;line-height:1.5}.cl-hero-why{border:1px solid var(--border-color);background:color-mix(in oklab,var(--accent) 6%,transparent);border-radius:10px;flex:0 min(40%,26rem);min-width:min(100%,15rem);padding:.85rem 1.05rem}.cl-hero-why-label{letter-spacing:.14em;color:var(--accent);font-size:.68rem;font-weight:700;display:block}.cl-hero-why-text{color:var(--text);margin:.35rem 0 0;font-size:.95rem;line-height:1.5}@media (width<=640px){.cl-hero{flex-direction:column}.cl-hero-why{flex-basis:auto;width:100%}.cl-hero-main{flex-basis:auto;min-width:0}}main{max-width:var(--page-width);margin:0 auto;padding:1.75rem 1.25rem 0}main:focus{outline:none}.app-status-box{border:var(--border);border-left:4px solid var(--accent);border-radius:var(--radius-sm);background-color:var(--surface);color:var(--text);box-shadow:var(--shadow);margin-bottom:2.5rem;padding:.9rem 1.1rem}.app-status-box.success{border-left-color:var(--success)}.app-status-box.error{border-left-color:var(--danger)}.journey{margin-bottom:3rem}.section-head{border-left:3px solid var(--accent);flex-direction:column;gap:.3rem;margin-bottom:1.4rem;padding-left:1rem;display:flex}.section-head h2{letter-spacing:-.01em;font-size:clamp(1.35rem,3vw,1.7rem);line-height:1.2}.section-head p{color:var(--text-muted);max-width:70ch}.panels{grid-template-columns:repeat(auto-fit,minmax(300px,1fr));align-items:start;gap:1.25rem;display:grid}.commitment-card,.transcript-view,.verify-panel,.proof-size-chart,.utility-panel{background-color:var(--surface);border:var(--border);border-radius:var(--radius);box-shadow:var(--shadow);min-width:0;padding:1.6rem;transition:transform .18s,box-shadow .18s,border-color .18s;position:relative}.commitment-card:hover,.transcript-view:hover,.verify-panel:hover,.proof-size-chart:hover,.utility-panel:hover{box-shadow:var(--shadow-hover);border-color:color-mix(in srgb, var(--accent) 40%, var(--border-color))}.step{padding-top:1.6rem}.step:before{content:"Step " attr(data-step);letter-spacing:.12em;text-transform:uppercase;color:#fff;background:linear-gradient(120deg, var(--accent-strong), var(--accent-2-strong));box-shadow:var(--shadow);border-radius:999px;align-items:center;gap:.4rem;padding:.32rem .75rem;font-size:.7rem;font-weight:700;display:inline-flex;position:absolute;top:-.85rem;left:1.4rem}h3{letter-spacing:-.01em;color:var(--text);margin-bottom:.9rem;font-size:1.22rem}.panel-copy{color:var(--text-muted);margin-bottom:1rem}.control-group{align-items:center;gap:1rem;margin-bottom:1rem;display:flex}.control-group label{font-weight:600}.control-group input[type=range]{flex:1;min-width:140px}input[type=range]{accent-color:var(--accent);height:1.6rem}output#value-display,output#aggregate-count-value{color:var(--accent);text-align:right;min-width:4ch;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1.05rem;font-weight:700}input[type=text],textarea{background-color:var(--background);width:100%;color:var(--text);border:1px solid var(--border-color-strong);border-radius:var(--radius-sm);padding:.6rem .7rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.82rem}input[type=text]:focus,textarea:focus{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft);outline:none}button{background:linear-gradient(120deg, var(--accent-strong), var(--accent-2-strong));color:#fff;border-radius:var(--radius-sm);cursor:pointer;letter-spacing:.01em;min-height:2.85rem;box-shadow:var(--shadow);border:none;padding:.7rem 1.2rem;font-weight:600;transition:transform .12s,box-shadow .15s,filter .15s}button:hover{filter:brightness(1.07);box-shadow:var(--shadow-hover)}button:active{transform:translateY(1px)}.button-row button:nth-child(2),#seed-clear,#import-proof{background-color:var(--surface-2);color:var(--text);border:1px solid color-mix(in srgb, var(--accent) 45%, var(--border-color-strong));box-shadow:none;background-image:none}.button-row button:nth-child(2):hover,#seed-clear:hover,#import-proof:hover{background-color:var(--accent-soft);filter:none}a:focus-visible,button:focus-visible,input:focus-visible,textarea:focus-visible,.scroll-region:focus-visible{outline:3px solid var(--focus-ring);outline-offset:3px}.button-row{flex-wrap:wrap;gap:.75rem;margin-bottom:1rem;display:flex}.stack-on-mobile{flex-wrap:wrap}.info-block{border:var(--border);border-radius:var(--radius-sm);background-color:var(--background);gap:.5rem;padding:1rem;font-size:.95rem;display:grid}.info-block code{background-color:var(--surface-2)}#bench-result{-webkit-overflow-scrolling:touch;overflow-x:auto}.info-block table{border-collapse:collapse;width:100%;min-width:22rem;font-size:.85rem}.info-block th,.info-block td{text-align:right;border-bottom:var(--border);padding:.4rem .55rem}.info-block th:first-child,.info-block td:first-child{text-align:left}.info-block thead th,.info-block tr:first-child th{color:var(--accent);border-bottom:2px solid color-mix(in srgb, var(--accent) 45%, var(--border-color))}.chart-container{gap:.95rem;display:grid}.chart-row{grid-template-columns:minmax(0,1.6fr) minmax(0,2.4fr) auto;align-items:center;gap:.75rem;display:grid}.chart-label,.chart-value{font-size:.9rem}.chart-label{overflow-wrap:anywhere}.chart-value{text-align:right;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-weight:600}.chart-track{background-color:var(--background);border:var(--border);border-radius:999px;height:1rem;overflow:hidden}.chart-bar{border-radius:999px;height:100%;transition:width .5s cubic-bezier(.22,1,.36,1)}.chart-bar.standard{background:linear-gradient(90deg, var(--accent), #7dc3ff)}.chart-bar.aggregate{background:linear-gradient(90deg,#15a05a,#34d399)}.chart-bar.naive{background:linear-gradient(90deg,#dc2626,#f87171)}.transcript-entries{border:var(--border);border-radius:var(--radius-sm);background-color:var(--background);counter-reset:tx;max-height:300px;padding:.85rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.84rem;list-style:none;overflow:auto}.transcript-entry{background-color:var(--surface);border-left:3px solid var(--accent);border-radius:6px;margin-bottom:.45rem;padding:.5rem .6rem}.transcript-entry:before{counter-increment:tx;content:counter(tx);min-width:1.6em;color:var(--text-muted);font-variant-numeric:tabular-nums;margin-right:.5em;display:inline-block}.verify-result{border-radius:var(--radius-sm);border:var(--border);margin-top:1rem;padding:1rem}.verify-result.success{background-color:color-mix(in srgb, var(--success) 14%, transparent);border-color:var(--success);color:var(--success)}.verify-result.failure{background-color:color-mix(in srgb, var(--danger) 14%, transparent);border-color:var(--danger);color:var(--danger)}.scripture-footer{text-align:center;border-top:var(--border);color:var(--text-muted);max-width:var(--page-width);margin-top:2rem;margin-left:auto;margin-right:auto;padding:2.5rem 1.25rem;font-size:.85rem}.scripture-footer strong{color:var(--text)}.scripture-footer a{color:var(--accent)}.journey-stepper{margin-bottom:1.5rem}.stepper{counter-reset:none;grid-template-columns:repeat(4,1fr);gap:.5rem;list-style:none;display:grid}.stepper-step{border:var(--border);border-radius:var(--radius-sm);background-color:var(--surface);box-shadow:var(--shadow);align-items:center;gap:.6rem;padding:.7rem .85rem;transition:border-color .18s,background .18s;display:flex;position:relative}.stepper-step:not(:last-child):after{content:"";background-color:var(--border-color);width:.5rem;height:2px;position:absolute;right:-.5rem}.stepper-dot{background-color:var(--surface-2);width:1.8rem;height:1.8rem;color:var(--text-muted);border:1px solid var(--border-color);border-radius:999px;flex:none;place-items:center;font-size:.85rem;font-weight:700;display:grid}.stepper-step.done .stepper-dot{background-color:var(--success);color:var(--on-success);border-color:#0000}.stepper-step.active{border-color:color-mix(in srgb, var(--accent) 55%, var(--border-color));background-color:var(--accent-soft)}.stepper-step.active .stepper-dot{background:linear-gradient(120deg, var(--accent-strong), var(--accent-2-strong));color:#fff;border-color:#0000}.stepper-text{flex-direction:column;min-width:0;line-height:1.2;display:flex}.stepper-label{font-size:.9rem;font-weight:700}.stepper-hint{color:var(--text-muted);font-size:.72rem}.preset-row{flex-wrap:wrap;gap:.4rem;margin-bottom:1rem;display:flex}.preset-chip{background-color:var(--surface-2);min-height:2rem;color:var(--text);border:1px solid var(--border-color-strong);box-shadow:none;background-image:none;padding:.35rem .75rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.78rem;font-weight:600}.preset-chip:hover{background-color:var(--accent-soft);border-color:color-mix(in srgb, var(--accent) 45%, var(--border-color-strong));filter:none}.commitment-readout{grid-template-columns:auto 1fr;align-items:center;gap:.9rem;margin-bottom:1rem;display:grid}.commitment-identicon{border:var(--border);border-radius:var(--radius-sm);background-color:var(--background);flex:none;place-items:center;padding:.4rem;display:grid}.identicon{border-radius:8px;display:block}.commitment-output{margin-bottom:0}.hex-row{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.6rem;display:flex}.mini-copy{letter-spacing:.03em;text-transform:uppercase;background-color:var(--surface-2);min-height:1.75rem;color:var(--text);border:1px solid var(--border-color-strong);box-shadow:none;background-image:none;padding:.3rem .65rem;font-size:.72rem;font-weight:700}.mini-copy:hover{background-color:var(--accent-soft);filter:none}.mini-copy.copied{background-color:color-mix(in srgb, var(--success) 22%, transparent);border-color:var(--success);color:var(--success)}.bit-grid-slot{margin-bottom:1.1rem}.bit-grid{border:var(--border);border-radius:var(--radius-sm);background-color:var(--background);padding:.9rem}.bit-cells{flex-wrap:wrap;gap:.5rem;display:flex}.bit-byte{gap:2px;display:flex}.bit-cell{background-color:var(--surface-2);border:1px solid var(--border-color);border-radius:2px;width:.7rem;height:.95rem;transition:background .2s,border-color .2s,transform .2s}.bit-cell.on{background:linear-gradient(160deg, var(--accent), var(--accent-2));box-shadow:0 0 6px color-mix(in srgb, var(--accent) 45%, transparent);border-color:#0000}.bit-grid-caption{color:var(--text-muted);flex-wrap:wrap;justify-content:space-between;gap:.4rem;margin-top:.7rem;font-size:.82rem;display:flex}.bit-count{color:var(--accent);font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-weight:700}.bit-cell.out-of-reach{border-style:dashed;border-color:color-mix(in srgb, var(--accent) 55%, var(--border-color));opacity:.85}.bit-cell.out-of-reach.on{border-style:solid}.bit-grid-legend{color:var(--text-muted);flex-wrap:wrap;gap:.35rem 1rem;margin-top:.65rem;font-size:.76rem;display:flex}.bit-legend-item{align-items:center;gap:.4rem;display:inline-flex}.bit-swatch{border-radius:3px;flex:none;width:.85rem;height:.85rem}.bit-swatch.reach{background-color:var(--surface-2);border:1px solid var(--border-color)}.bit-swatch.beyond{background-color:var(--surface-2);border:1px dashed color-mix(in srgb, var(--accent) 55%, var(--border-color))}.bit-grid-foot{color:var(--text-muted);margin-top:.7rem;margin-bottom:0;font-size:.8rem;line-height:1.5}.ramp{counter-reset:none;gap:.85rem;list-style:none;display:grid}.ramp-step{border:var(--border);border-left:3px solid color-mix(in srgb, var(--accent) 55%, var(--border-color));border-radius:var(--radius-sm);background-color:var(--background);padding:.9rem 1rem}.ramp-tier{letter-spacing:.12em;text-transform:uppercase;color:var(--accent);margin-bottom:.35rem;font-size:.68rem;font-weight:700;display:inline-block}.ramp-plain{margin:0;line-height:1.55}.ramp-algebra{margin:0}.ramp-algebra>summary{cursor:pointer;flex-wrap:wrap;align-items:baseline;gap:.6rem;font-weight:600;list-style:none;display:flex}.ramp-algebra>summary::-webkit-details-marker{display:none}.ramp-algebra>summary:before{content:"▸";color:var(--accent);font-size:.85em;transition:transform .15s}.ramp-algebra[open]>summary:before{transform:rotate(90deg)}.ramp-summary-hint{color:var(--text-muted);font-size:.88rem;font-weight:400}.ramp-algebra>summary:focus-visible{outline:3px solid var(--focus-ring);outline-offset:3px;border-radius:4px}.ramp-algebra-body{margin-top:.85rem}.eq-line{padding-bottom:.15rem;overflow-x:auto}.eq-line code{white-space:nowrap}.cheat-lead{margin-bottom:.85rem;line-height:1.55}.cheat-compare{grid-template-columns:1fr 1fr;gap:.75rem;margin-bottom:.85rem;display:grid}.cheat-col{border:var(--border);border-radius:var(--radius-sm);background-color:var(--surface);min-width:0;padding:.7rem .75rem}.cheat-col-head{letter-spacing:.06em;text-transform:uppercase;color:var(--text-muted);margin-bottom:.3rem;font-size:.72rem;font-weight:700}.cheat-col-sub{margin-bottom:.45rem;font-size:.82rem}.cheat-hex{word-break:break-all;background-color:var(--background);border:var(--border);border-radius:6px;padding:.35rem .45rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.78rem;line-height:1.5}.cheat-hex:focus-visible{outline:3px solid var(--focus-ring);outline-offset:2px}.hex-diff{background-color:color-mix(in srgb, var(--danger) 28%, transparent);color:var(--text);border-radius:2px;padding:0 1px;font-weight:700;text-decoration:underline;text-decoration-thickness:2px}.cheat-verdict{margin-bottom:.75rem}.cheat-foot{margin-bottom:0;font-size:.83rem}@media (width<=768px){.cheat-compare{grid-template-columns:1fr}}.bridge-lead{margin-bottom:.75rem}.bridge-rows{gap:.55rem;margin-bottom:.85rem;display:grid}.bridge-line{grid-template-columns:minmax(9rem,auto) 1fr;align-items:center;gap:.5rem .85rem;display:grid}.bridge-tag{font-size:.82rem}.bridge-tag-sub{color:var(--text-muted);font-size:.75rem}.bridge-vec{flex-wrap:wrap;align-items:center;gap:.3rem;display:flex}.bridge-cell{text-align:center;background-color:var(--surface-2);border:1px solid var(--border-color);min-width:2.1rem;color:var(--text);border-radius:5px;padding:.15rem .35rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.76rem}.bridge-cell.bit{color:var(--text-muted)}.bridge-cell.bit.on{background:linear-gradient(160deg, var(--accent-strong), var(--accent-2-strong));color:#fff;border-color:#0000;font-weight:700}.bridge-ell{color:var(--text-muted);font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.bridge-punch{border-radius:var(--radius-sm);background-color:var(--accent-soft);border:1px solid color-mix(in srgb, var(--accent) 40%, var(--border-color));margin:0;padding:.7rem .8rem;font-size:.9rem;line-height:1.55}@media (width<=768px){.bridge-line{grid-template-columns:1fr;gap:.25rem}}.fold-list{gap:.55rem;list-style:none;display:grid}.fold-row{border-bottom:1px dashed var(--border-color);grid-template-columns:4.5rem minmax(0,1fr) 3.5rem;grid-template-areas:"round bar sizes""lr lr lr";align-items:center;gap:.3rem .6rem;padding-bottom:.5rem;display:grid}.fold-round{color:var(--text-muted);grid-area:round;font-size:.78rem;font-weight:700}.fold-bar-wrap{background-color:var(--background);border:var(--border);border-radius:999px;grid-area:bar;height:.75rem;overflow:hidden}.fold-bar{background:linear-gradient(90deg, var(--accent), var(--accent-2));border-radius:999px;height:100%;transition:width .5s cubic-bezier(.22,1,.36,1);display:block}.fold-row.is-folding{animation:.4s ease-out both fold-row-in;animation-delay:var(--fold-delay,0s)}.fold-row.is-folding .fold-bar{animation:.55s cubic-bezier(.22,1,.36,1) both fold-bar-shrink;animation-delay:var(--fold-delay,0s)}@keyframes fold-row-in{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:none}}@keyframes fold-bar-shrink{0%{width:100%}to{width:var(--fold-target,100%)}}@media (prefers-reduced-motion:reduce){.fold-row.is-folding,.fold-row.is-folding .fold-bar{animation:none}}.fold-sizes{text-align:right;grid-area:sizes;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.8rem;font-weight:700}.fold-lr{flex-wrap:wrap;grid-area:lr;gap:.35rem;font-size:.72rem;display:flex}.fold-note{margin-top:.9rem;margin-bottom:0}.eval-verdict{border-radius:6px;margin-top:.4rem;padding:.5rem .65rem;font-weight:700}.eval-verdict.ok{background-color:color-mix(in srgb, var(--success) 14%, transparent);color:var(--success);border:1px solid var(--success)}.eval-verdict.bad{background-color:color-mix(in srgb, var(--danger) 14%, transparent);color:var(--danger);border:1px solid var(--danger)}.gloss{border-bottom:1px dashed color-mix(in srgb, var(--accent) 60%, transparent);cursor:help;color:var(--text);border-radius:2px;position:relative}.gloss:focus-visible{outline:3px solid var(--focus-ring);outline-offset:2px}.gloss-pop{width:max-content;max-width:min(18rem,86vw);color:var(--text);background-color:var(--surface-2);border:var(--border);border-radius:var(--radius-sm);box-shadow:var(--shadow-hover);opacity:0;visibility:hidden;z-index:50;white-space:normal;padding:.6rem .75rem;font-size:.8rem;font-weight:400;line-height:1.45;transition:opacity .15s,visibility .15s;position:absolute;bottom:calc(100% + .5rem);left:50%;transform:translate(-50%)}.gloss.gloss-left .gloss-pop{left:0;right:auto;transform:none}.gloss.gloss-right .gloss-pop{left:auto;right:0;transform:none}.gloss:hover .gloss-pop,.gloss:focus .gloss-pop,.gloss:focus-within .gloss-pop{opacity:1;visibility:visible}button.is-busy{opacity:.7;cursor:progress}button:disabled{cursor:not-allowed;opacity:.6}@keyframes verify-pulse{0%{box-shadow:0 0 0 0 color-mix(in srgb, var(--success) 55%, transparent)}to{box-shadow:0 0 0 14px #0000}}.verify-result.pulse{animation:.7s ease-out verify-pulse}@media (width<=768px){.panels{grid-template-columns:1fr}.stepper{grid-template-columns:repeat(2,1fr)}.stepper-step:not(:last-child):after{display:none}.commitment-readout{grid-template-columns:1fr;justify-items:start}.gloss-pop{max-width:80vw;left:0;transform:none}.control-group{flex-direction:column;align-items:stretch;gap:.5rem}.control-group output{text-align:left;align-self:flex-start}.chart-row{grid-template-columns:1fr;gap:.4rem}.chart-value{text-align:left}.button-row,.button-row button{width:100%}}