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