@import "https://fonts.googleapis.com/css2?family=Chakra+Petch:wght@400;500;600;700&family=JetBrains+Mono:wght@400;600&display=swap";:root{--ink:#e2e8f3;--muted:#a2adc3;--paper:#0b111e;--card:#191f2ed6;--line:#3dbbff40;--border-strong:#4f9ec0;--brand:#29c2ff;--brand-dark:#02b6de;--brand-soft:#ade9ff;--brand-glow:#1ac2ff42;--accent:#fda83f;--accent-soft:#ffddad;--ok:#1fd67a;--ok-soft:#80efb9;--danger:#f9544e;--danger-soft:#feb3af;--warn:#fcbd40;--warn-soft:#ffebad;--surface-1:#1b2237db;--surface-2:#212b45f0}html[data-theme=light]{--ink:#1d283a;--muted:#4f5c72;--paper:#f2f7fc;--card:#ffffffdb;--line:#098fd740;--border-strong:#2c7f9e;--brand:#056e94;--brand-dark:#085d77;--brand-soft:#125d78;--brand-glow:#0c8cbb2e;--accent:#9b460d;--accent-soft:#fddaba;--ok:#0f764d;--ok-soft:#b2ebd3;--danger:#c1251f;--danger-soft:#fad1d1;--warn:#915f08;--warn-soft:#fcedba;--surface-1:#ffffffeb;--surface-2:#fff}*{box-sizing:border-box}html,body{-webkit-text-size-adjust:100%;-moz-text-size-adjust:100%;text-size-adjust:100%;min-height:100%;margin:0}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}:focus-visible{outline:3px solid var(--brand);outline-offset:2px}:focus:not(:focus-visible){outline:none}body{color:var(--ink);background:radial-gradient(90% 60% at 20% -20%,#24d3ff3d,#0000),radial-gradient(72% 48% at 95% 80%,#ffab3d2e,#0000),linear-gradient(150deg,#0a0e1a,#0b1528,#091220);font-family:Chakra Petch,sans-serif;line-height:1.6}html[data-theme=light] body{background:radial-gradient(84% 56% at 15% -16%,#24cef52e,#0000),radial-gradient(64% 40% at 88% 72%,#f89d2526,#0000),linear-gradient(160deg,#f2f7fc,#e8f1f7,#eff5fa)}.skip-link{background:var(--brand);color:var(--paper);z-index:50;border-radius:.5rem;padding:.6rem 1rem;text-decoration:none;position:absolute;top:-10rem;left:1rem}.skip-link:focus{top:1rem}.shell{gap:1rem;width:min(1120px,94vw);margin:0 auto;padding:2rem 0 3rem;display:grid}.hero,.exhibit{border:1px solid var(--line);background:var(--card);-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);border-radius:1.2rem;padding:1.4rem;box-shadow:0 0 0 1px #ffffff0a,0 18px 38px #02060d59}.rng-halt{border-color:var(--danger);max-width:56rem;margin:3rem auto}.rng-halt h1{color:var(--danger);margin-top:0;font-size:1.4rem}.rng-halt p{line-height:1.65}.eyebrow{letter-spacing:.14em;text-transform:uppercase;color:var(--accent);margin:0;font-size:.76rem;font-weight:600}.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(--brand-soft);margin:0;font-size:clamp(1.6rem,3.8vw,2.7rem);font-weight:700;line-height:1.1}.cl-hero-sub{letter-spacing:.01em;color:var(--ink);opacity:.85;margin:.4rem 0 0;font-size:clamp(.9rem,1.6vw,1.05rem)}.cl-hero-desc{color:var(--muted);max-width:60ch;margin:.55rem 0 0;font-size:1rem;line-height:1.5}.cl-hero-why{border:1px solid var(--line);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(--ink);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}}h1{color:var(--brand-soft);margin:.5rem 0 .65rem;font-size:clamp(2rem,5vw,3.35rem);line-height:1.05}h2{margin:0 0 .5rem;font-size:clamp(1.1rem,2.2vw,1.4rem)}h3{color:var(--brand-soft);margin:0 0 .5rem;font-size:clamp(1rem,1.8vw,1.2rem)}p,label,li{color:var(--muted)}.controls-grid{grid-template-columns:repeat(auto-fit,minmax(160px,1fr));align-items:end;gap:.7rem;margin:.8rem 0;display:grid}label{gap:.32rem;display:grid}.checkbox-label{align-items:center;gap:.5rem;min-height:2.6rem;display:flex}input,select,button{font:inherit}input[type=text],input[type=number],select{border:1px solid var(--border-strong);background:var(--surface-1);width:100%;min-height:2.75rem;color:var(--ink);border-radius:.65rem;padding:.56rem .7rem}input:disabled{opacity:.5;cursor:not-allowed}button{border:1px solid var(--line);min-height:2.75rem;color:var(--paper);background:linear-gradient(135deg, var(--brand), var(--brand-dark));cursor:pointer;border-radius:.75rem;padding:.6rem 1rem;font-weight:600}button:hover{box-shadow:0 0 0 .22rem var(--brand-glow)}table{border-collapse:collapse;width:100%}th,td{border-bottom:1px solid var(--line);text-align:left;padding:.46rem;font-size:.9rem}th{color:var(--brand-soft)}.table-wrap{-webkit-overflow-scrolling:touch;background:var(--surface-1);border:1px solid var(--line);border-radius:.7rem;margin-top:.7rem;overflow-x:auto}.grid-2{grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:.8rem;display:grid}.card-grid{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.8rem;display:grid}.card{border:1px solid var(--line);background:var(--surface-1);border-radius:.75rem;padding:.8rem}.callout{border-left:3px solid var(--brand);background:var(--surface-1);border-radius:.6rem;margin-top:.7rem;padding:.65rem .8rem}.callout.danger{border-left-color:var(--danger)}.callout.success{border-left-color:var(--ok)}.callout.warning{border-left-color:var(--warn);background:#3d2e0f66}html[data-theme=light] .callout.warning{background:#fdf4d899}.warning-panel{border-left:4px solid var(--warn);background:#392b0e80}html[data-theme=light] .warning-panel{background:#fdf4d8b3}.warning-panel h2{color:var(--warn)}.equation{color:var(--brand-soft);background:var(--surface-1);border:1px solid var(--line);border-radius:.5rem;margin:.4rem 0;padding:.5rem .8rem;font-family:JetBrains Mono,monospace;font-size:.92rem;display:inline-block}.badge{letter-spacing:.03em;border-radius:999px;padding:.18rem .55rem;font-size:.8rem;font-weight:600;display:inline-block}.badge.pass{color:var(--ok-soft);border:1px solid var(--ok);background:#0f573380}.badge.fail{color:var(--danger-soft);border:1px solid var(--danger);background:#57120f80}html[data-theme=light] .badge.pass{color:#096742;background:#cff2e3}html[data-theme=light] .badge.fail{color:#b01711;background:#fbdada}.row-pass td{background:#12492e26}.row-fail td{background:#5a191633}.row-focus td{border-left:3px solid var(--danger);background:#6c161359}html[data-theme=light] .row-pass td{background:#dff6ec}html[data-theme=light] .row-fail td{background:#fae5e5}html[data-theme=light] .row-focus td{background:#f7d4d4}.hero-question{color:var(--ink);font-size:clamp(1rem,2vw,1.25rem);font-weight:500}.hero-nav{flex-wrap:wrap;gap:.5rem;margin-top:.8rem;display:flex}.btn-outline{border:1px solid var(--brand);min-height:44px;color:var(--brand-soft);border-radius:.65rem;align-items:center;padding:.5rem 1rem;font-size:.88rem;font-weight:600;text-decoration:none;display:inline-flex}.btn-outline:hover{background:var(--brand-glow);text-decoration:none}.decision-guide h2{color:var(--accent)}.decision-grid{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.8rem;margin-top:.6rem;display:grid}.decision-card{border:1px solid var(--line);background:var(--surface-1);border-radius:.75rem;padding:.9rem}.decision-card h3{margin:0 0 .35rem}.decision-when{color:var(--ok);font-size:.9rem;font-weight:600}.decision-risk{color:var(--danger-soft);margin-top:.3rem;font-size:.85rem}html[data-theme=light] .decision-risk{color:var(--danger)}.lab-step{position:relative}.step-number{letter-spacing:.12em;text-transform:uppercase;color:var(--accent);background:#f4972526;border-radius:999px;margin-bottom:.4rem;padding:.2rem .65rem;font-size:.72rem;font-weight:700;display:inline-block}html[data-theme=light] .step-number{background:#f497251f}.section-about,.section-happened,.section-matters,.section-usecase,.section-tradeoffs{border-left:3px solid var(--line);background:var(--surface-1);color:var(--muted);border-radius:.6rem;margin:.6rem 0;padding:.65rem .9rem;font-size:.92rem}.section-about{border-left-color:var(--brand)}.section-happened{border-left-color:var(--ok)}.section-matters{border-left-color:var(--accent)}.section-usecase{border-left-color:#995cd6}.section-tradeoffs{border-left-color:var(--warn)}.section-about strong,.section-happened strong,.section-matters strong,.section-usecase strong,.section-tradeoffs strong{letter-spacing:.06em;text-transform:uppercase;color:var(--ink);margin-bottom:.25rem;font-size:.78rem;display:block}.section-tradeoffs ul{margin:.3rem 0 0;padding-left:1.2rem}.section-tradeoffs li{margin-bottom:.2rem;font-size:.88rem}.curve-viz h2{color:var(--brand-soft)}.curve-figure{margin:.9rem 0 0}.curve-figure svg{background:var(--surface-1);border:1px solid var(--line);border-radius:.8rem;width:100%;height:auto;padding:.4rem;display:block}.curve-caption{color:var(--muted);margin:.7rem 0 0;font-size:.92rem}.vz-axis{stroke:var(--line);stroke-width:1.5px}.vz-axis-y{stroke-dasharray:3 4}.vz-curve{stroke:var(--brand);stroke-width:2.4px;stroke-linecap:round;stroke-linejoin:round}.vz-share{fill:var(--brand-soft);stroke:var(--brand);stroke-width:1.6px}.vz-secret{fill:var(--accent);stroke:var(--paper);stroke-width:1.6px}.vz-secretdrop{stroke:var(--accent);stroke-width:1.2px;stroke-dasharray:2 4;opacity:.7}.vz-secretlabel{fill:var(--accent-soft);font-family:JetBrains Mono,monospace;font-size:13px;font-weight:600}html[data-theme=light] .vz-secretlabel{fill:var(--accent)}.vz-ghost{fill:none;stroke:var(--muted);stroke-width:1.4px;stroke-dasharray:3 3}.vz-tampered{fill:var(--danger);stroke:var(--paper);stroke-width:1.6px}.vz-deviation{stroke:var(--danger);stroke-width:1.8px;stroke-dasharray:4 3}.vz-tamperlabel{fill:var(--danger-soft);font-family:JetBrains Mono,monospace;font-size:12px;font-weight:600}html[data-theme=light] .vz-tamperlabel{fill:var(--danger)}.vz-axislabel{fill:var(--muted);font-family:JetBrains Mono,monospace;font-size:13px}@media (width<=560px){.vz-axislabel{font-size:16px}.vz-secretlabel,.vz-tamperlabel{font-size:15px}}.vz-legend{color:var(--muted);flex-wrap:wrap;gap:1rem;margin-top:.75rem;font-size:.84rem;display:flex}.vz-key{align-items:center;gap:.4rem;display:inline-flex}.vz-dot{border-radius:999px;width:.7rem;height:.7rem;display:inline-block}.vz-dot-share{background:var(--brand-soft);border:1.5px solid var(--brand)}.vz-dot-secret{background:var(--accent)}.vz-dot-tamper{background:var(--danger)}.curve-note{opacity:.85;margin:.6rem 0 0;font-size:.8rem}.result-block{border-radius:.7rem;margin:.7rem 0;padding:.75rem 1rem}.result-ok{border:1px solid var(--ok);background:#12492e33}.result-bad{border:1px solid var(--danger);background:#5a191633}html[data-theme=light] .result-ok{background:#dff6ec}html[data-theme=light] .result-bad{background:#fae5e5}.result-block p{margin:.25rem 0}.threat-model h2{color:var(--warn)}.threat-model .card h3{font-size:.95rem}.threat-model .card ul{margin:.3rem 0 0;padding-left:1.1rem}.threat-model .card li{margin-bottom:.2rem;font-size:.88rem}.references{border-top:1px solid var(--line);margin-top:.8rem;padding-top:.6rem}.references ul{margin:.3rem 0 0;padding-left:1.2rem}.references li{color:var(--muted);margin-bottom:.2rem;font-size:.85rem}.learning-list{margin:.4rem 0 0;padding-left:1.2rem}.learning-list li{margin-bottom:.3rem}.flow-card{border:1px solid var(--line);background:var(--surface-1);border-radius:.75rem;padding:.8rem}.details-block{border:1px solid var(--line);background:var(--surface-1);border-radius:.7rem;margin-top:.8rem}.details-block summary{cursor:pointer;color:var(--brand-soft);-webkit-user-select:none;user-select:none;padding:.55rem .8rem;font-weight:600}.details-block summary:hover{color:var(--brand)}.details-block>:not(summary){padding:0 .8rem .6rem}.copy-btn{background:var(--surface-1);color:var(--brand-soft);border:1px solid var(--line);min-height:44px;padding:.5rem .85rem;font-size:.82rem}.copy-btn:hover{background:var(--surface-2)}.mono{color:var(--brand-soft);overflow-wrap:anywhere;word-break:break-all;font-family:JetBrains Mono,monospace}.muted{color:var(--muted)}.linkline a,a{color:var(--brand-soft);text-underline-offset:.15em;text-decoration:underline}a:hover{text-decoration-thickness:2px}.teaching-panel{border-color:var(--brand)}.teaching-panel>summary{color:var(--brand-soft)}.teaching-body{gap:.7rem;display:grid}.teaching-body p{margin:.2rem 0}.chk-h{color:var(--brand-soft);margin:0 0 .35rem;font-size:.9rem}.tail-ok{color:var(--ok-soft);font-weight:600}.tail-bad{color:var(--danger-soft);text-underline-offset:.15em;font-weight:700;text-decoration:underline}html[data-theme=light] .tail-ok{color:var(--ok)}html[data-theme=light] .tail-bad{color:var(--danger)}.chk-columns{grid-template-columns:1fr auto 1fr;align-items:center;gap:.8rem;display:grid}.chk-side{border:1px solid var(--line);background:var(--surface-1);border-radius:.7rem;padding:.7rem .8rem}.chk-formula{color:var(--muted);margin:0 0 .4rem;font-size:.85rem}.chk-big{word-break:break-all;overflow-wrap:anywhere;margin:.2rem 0 0;font-family:JetBrains Mono,monospace;font-size:1.02rem}.chk-big-ok{color:var(--brand-soft)}.chk-big-bad{color:var(--danger-soft)}html[data-theme=light] .chk-big-bad{color:var(--danger)}.chk-eq{text-align:center;font-size:1.7rem;font-weight:700}.chk-eq-ok{color:var(--ok)}.chk-eq-bad{color:var(--danger)}.chk-chain{flex-wrap:wrap;align-items:stretch;gap:.4rem;display:flex}.chk-term{border:1px solid var(--line);background:var(--surface-2);border-radius:.5rem;flex:auto;min-width:8rem;padding:.4rem .55rem}.chk-term-formula{color:var(--brand-soft);font-size:.95rem}.chk-term-sub,.chk-term-partial{margin-top:.2rem;font-size:.78rem}.chk-term-sub strong{color:var(--ink)}.chk-mul{color:var(--muted);align-self:center;padding:0 .15rem;font-weight:700}.chk-verdict{color:var(--ink);border-radius:.6rem;padding:.6rem .85rem;font-size:.92rem}.chk-verdict-bad{border:1px solid var(--danger);background:#5a191638}.chk-verdict-ok{border:1px solid var(--ok);background:#12492e33}html[data-theme=light] .chk-verdict-bad{background:#fae5e5}html[data-theme=light] .chk-verdict-ok{background:#dff6ec}.chk-foot{font-size:.82rem}.hz-stages{gap:.7rem;margin:.3rem 0 0;padding:0;list-style:none;display:grid}.hz-stage{border:1px solid var(--line);background:var(--surface-1);border-radius:.7rem;align-items:flex-start;gap:.7rem;padding:.7rem .8rem;display:flex}.hz-stagenum{background:var(--brand);width:1.7rem;height:1.7rem;color:var(--paper);border-radius:999px;flex:none;place-items:center;font-size:.9rem;font-weight:700;display:grid}.hz-nodes{flex-wrap:wrap;gap:.6rem;margin-top:.3rem;display:flex}.hz-node{border:1px solid var(--line);background:var(--surface-2);border-radius:.5rem;flex-wrap:wrap;align-items:center;gap:.4rem;padding:.35rem .55rem;display:flex}.hz-label{color:var(--ink);font-size:.9rem}.hz-arrow{color:var(--brand-soft);font-family:JetBrains Mono,monospace;font-size:.82rem}.hz-commit{color:var(--brand-soft)}.hz-line{color:var(--ink);flex-wrap:wrap;align-items:center;gap:.35rem;margin-top:.3rem;font-size:.92rem;display:flex}.hz-factor{color:var(--brand-soft)}.hz-times{color:var(--muted);font-weight:700}.hz-result{color:var(--accent);font-weight:600}html[data-theme=light] .hz-result{color:var(--accent)}.hz-check{color:var(--ok);font-size:.85rem;font-weight:600}.equiv-real td{background:#12492e2e}html[data-theme=light] .equiv-real td{background:#dff6ec}.equiv-tag{letter-spacing:.04em;text-transform:uppercase;color:var(--ok-soft);border:1px solid var(--ok);border-radius:999px;margin-left:.3rem;padding:.02rem .4rem;font-size:.7rem;font-weight:700;display:inline-block}html[data-theme=light] .equiv-tag{color:#096742;background:#cff2e3}.result-bridge{font-size:.9rem}@media (width<=640px){.chk-columns{grid-template-columns:1fr}.chk-eq{font-size:1.3rem}}@media (width<=700px){.shell{width:min(98vw,1120px);padding-top:1rem}.hero,.exhibit{padding:1rem}.controls-grid,.grid-2,.step-grid,.card-grid{grid-template-columns:1fr}th,td{padding:.35rem .3rem;font-size:.82rem}}