@import"https://fonts.googleapis.com/css2?family=Chakra+Petch:wght@400;500;600;700&family=JetBrains+Mono:wght@400;600&display=swap";:root{--ink: hsl(218 40% 92%);--muted: hsl(219 22% 70%);--paper: hsl(221 45% 8%);--card: hsl(222 30% 14% / .84);--line: hsl(201 100% 62% / .25);--brand: hsl(197 100% 58%);--brand-dark: hsl(191 98% 44%);--brand-soft: hsl(196 100% 84%);--brand-glow: hsl(196 100% 55% / .26);--accent: hsl(33 98% 62%);--accent-soft: hsl(35 100% 84%);--ok: hsl(150 75% 48%);--ok-soft: hsl(151 78% 72%);--danger: hsl(2 93% 64%);--danger-soft: hsl(3 97% 84%);--warn: hsl(40 97% 62%);--warn-soft: hsl(45 100% 84%);--surface-1: hsl(224 35% 16% / .86);--surface-2: hsl(224 35% 20% / .94)}html[data-theme=light]{--ink: hsl(217 34% 17%);--muted: hsl(219 18% 38%);--paper: hsl(210 67% 97%);--card: hsl(0 0% 100% / .86);--line: hsl(201 92% 44% / .25);--brand: hsl(196 93% 37%);--brand-dark: hsl(194 87% 31%);--brand-soft: hsl(196 74% 27%);--brand-glow: hsl(196 88% 39% / .18);--accent: hsl(24 83% 47%);--accent-soft: hsl(29 93% 86%);--ok: hsl(156 78% 30%);--ok-soft: hsl(155 58% 81%);--danger: hsl(2 72% 44%);--danger-soft: hsl(0 81% 90%);--warn: hsl(38 89% 44%);--warn-soft: hsl(46 92% 86%);--surface-1: hsl(0 0% 100% / .92);--surface-2: hsl(0 0% 100% / 1)}*{box-sizing:border-box}html,body{margin:0;min-height:100%;-webkit-text-size-adjust:100%;text-size-adjust:100%}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}:focus-visible{outline:3px solid var(--brand);outline-offset:2px}:focus:not(:focus-visible){outline:none}body{font-family:Chakra Petch,sans-serif;color:var(--ink);background:radial-gradient(ellipse 90% 60% at 20% -20%,hsl(192 100% 57% / .24),transparent),radial-gradient(ellipse 72% 48% at 95% 80%,hsl(34 100% 62% / .18),transparent),linear-gradient(150deg,#0a0e1a,#0b1528,#091220);line-height:1.6}html[data-theme=light] body{background:radial-gradient(ellipse 84% 56% at 15% -16%,hsl(191 91% 55% / .18),transparent),radial-gradient(ellipse 64% 40% at 88% 72%,hsl(34 94% 56% / .15),transparent),linear-gradient(160deg,#f2f7fc,#e8f1f7,#eff5fa)}.skip-link{position:absolute;left:1rem;top:-10rem;background:var(--brand);color:var(--paper);padding:.6rem 1rem;z-index:50;text-decoration:none;border-radius:.5rem}.skip-link:focus{top:1rem}.shell{width:min(1120px,94vw);margin:0 auto;padding:2rem 0 3rem;display:grid;gap:1rem}.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}.eyebrow{margin:0;letter-spacing:.14em;text-transform:uppercase;color:var(--accent);font-size:.76rem;font-weight:600}.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(--brand-soft)}.cl-hero-sub{margin:.4rem 0 0;font-size:clamp(.9rem,1.6vw,1.05rem);letter-spacing:.01em;color:var(--ink);opacity:.85}.cl-hero-desc{margin:.55rem 0 0;font-size:1rem;line-height:1.5;color:var(--muted);max-width:60ch}.cl-hero-why{flex:0 1 min(40%,26rem);min-width:min(100%,15rem);border:1px solid var(--line);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(--ink)}@media(max-width:640px){.cl-hero{flex-direction:column}.cl-hero-why{flex-basis:auto;width:100%}}h1{margin:.5rem 0 .65rem;line-height:1.05;font-size:clamp(2rem,5vw,3.35rem);color:var(--brand-soft)}h2{margin:0 0 .5rem;font-size:clamp(1.1rem,2.2vw,1.4rem)}h3{margin:0 0 .5rem;font-size:clamp(1rem,1.8vw,1.2rem);color:var(--brand-soft)}p,label,li{color:var(--muted)}.controls-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(160px,1fr));gap:.7rem;align-items:end;margin:.8rem 0}label{display:grid;gap:.32rem}.checkbox-label{display:flex;align-items:center;gap:.5rem;min-height:2.6rem}input,select,button{font:inherit}input[type=text],input[type=number],select{width:100%;padding:.56rem .7rem;min-height:2.75rem;border-radius:.65rem;border:1px solid var(--line);background:var(--surface-1);color:var(--ink)}input:disabled{opacity:.5;cursor:not-allowed}button{border:1px solid var(--line);border-radius:.75rem;padding:.6rem 1rem;min-height:2.75rem;color:var(--paper);background:linear-gradient(135deg,var(--brand),var(--brand-dark));font-weight:600;cursor:pointer}button:hover{box-shadow:0 0 0 .22rem var(--brand-glow)}table{width:100%;border-collapse:collapse}th,td{border-bottom:1px solid var(--line);text-align:left;padding:.46rem;font-size:.9rem}th{color:var(--brand-soft)}.table-wrap{overflow-x:auto;-webkit-overflow-scrolling:touch;background:var(--surface-1);border-radius:.7rem;border:1px solid var(--line);margin-top:.7rem}.grid-2{display:grid;gap:.8rem;grid-template-columns:repeat(auto-fit,minmax(260px,1fr))}.card-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.8rem}.card{border:1px solid var(--line);border-radius:.75rem;padding:.8rem;background:var(--surface-1)}.callout{border-left:3px solid var(--brand);background:var(--surface-1);border-radius:.6rem;padding:.65rem .8rem;margin-top:.7rem}.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{font-family:JetBrains Mono,monospace;color:var(--brand-soft);background:var(--surface-1);border:1px solid var(--line);border-radius:.5rem;padding:.5rem .8rem;display:inline-block;margin:.4rem 0;font-size:.92rem}.badge{display:inline-block;padding:.18rem .55rem;border-radius:999px;font-size:.8rem;font-weight:600;letter-spacing:.03em}.badge.pass{background:#0f573380;color:var(--ok-soft);border:1px solid var(--ok)}.badge.fail{background:#57120f80;color:var(--danger-soft);border:1px solid var(--danger)}html[data-theme=light] .badge.pass{background:#cff2e3;color:#096742}html[data-theme=light] .badge.fail{background:#fbdada;color:#b01711}.row-pass td{background:#12492e26}.row-fail td{background:#5a191633}.row-focus td{background:#6c161359;border-left:3px solid var(--danger)}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{font-size:clamp(1rem,2vw,1.25rem);color:var(--ink);font-weight:500}.hero-nav{display:flex;flex-wrap:wrap;gap:.5rem;margin-top:.8rem}.btn-outline{display:inline-flex;align-items:center;min-height:44px;padding:.5rem 1rem;border:1px solid var(--brand);border-radius:.65rem;color:var(--brand-soft);font-weight:600;font-size:.88rem;text-decoration:none}.btn-outline:hover{background:var(--brand-glow);text-decoration:none}.decision-guide h2{color:var(--accent)}.decision-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.8rem;margin-top:.6rem}.decision-card{border:1px solid var(--line);border-radius:.75rem;padding:.9rem;background:var(--surface-1)}.decision-card h3{margin:0 0 .35rem}.decision-when{font-weight:600;color:var(--ok);font-size:.9rem}.decision-risk{font-size:.85rem;color:var(--danger-soft);margin-top:.3rem}html[data-theme=light] .decision-risk{color:var(--danger)}.lab-step{position:relative}.step-number{display:inline-block;font-size:.72rem;font-weight:700;letter-spacing:.12em;text-transform:uppercase;color:var(--accent);background:#f4972526;padding:.2rem .65rem;border-radius:999px;margin-bottom:.4rem}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);border-radius:.6rem;padding:.65rem .9rem;margin:.6rem 0;font-size:.92rem;color:var(--muted)}.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{display:block;font-size:.78rem;letter-spacing:.06em;text-transform:uppercase;color:var(--ink);margin-bottom:.25rem}.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{display:block;width:100%;height:auto;background:var(--surface-1);border:1px solid var(--line);border-radius:.8rem;padding:.4rem}.curve-caption{margin:.7rem 0 0;font-size:.92rem;color:var(--muted)}.vz-axis{stroke:var(--line);stroke-width:1.5}.vz-axis-y{stroke-dasharray:3 4}.vz-curve{stroke:var(--brand);stroke-width:2.4;stroke-linecap:round;stroke-linejoin:round}.vz-share{fill:var(--brand-soft);stroke:var(--brand);stroke-width:1.6}.vz-secret{fill:var(--accent);stroke:var(--paper);stroke-width:1.6}.vz-secretdrop{stroke:var(--accent);stroke-width:1.2;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.4;stroke-dasharray:3 3}.vz-tampered{fill:var(--danger);stroke:var(--paper);stroke-width:1.6}.vz-deviation{stroke:var(--danger);stroke-width:1.8;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(max-width:560px){.vz-axislabel{font-size:16px}.vz-secretlabel,.vz-tamperlabel{font-size:15px}}.vz-legend{display:flex;flex-wrap:wrap;gap:1rem;margin-top:.75rem;font-size:.84rem;color:var(--muted)}.vz-key{display:inline-flex;align-items:center;gap:.4rem}.vz-dot{width:.7rem;height:.7rem;border-radius:999px;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{margin:.6rem 0 0;font-size:.8rem;opacity:.85}.result-block{border-radius:.7rem;padding:.75rem 1rem;margin:.7rem 0}.result-ok{background:#12492e33;border:1px solid var(--ok)}.result-bad{background:#5a191633;border:1px solid var(--danger)}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{padding-left:1.1rem;margin:.3rem 0 0}.threat-model .card li{font-size:.88rem;margin-bottom:.2rem}.references{margin-top:.8rem;padding-top:.6rem;border-top:1px solid var(--line)}.references ul{padding-left:1.2rem;margin:.3rem 0 0}.references li{font-size:.85rem;margin-bottom:.2rem;color:var(--muted)}.learning-list{padding-left:1.2rem;margin:.4rem 0 0}.learning-list li{margin-bottom:.3rem}.flow-card{border:1px solid var(--line);border-radius:.75rem;padding:.8rem;background:var(--surface-1)}.details-block{margin-top:.8rem;border:1px solid var(--line);border-radius:.7rem;background:var(--surface-1)}.details-block summary{padding:.55rem .8rem;cursor:pointer;font-weight:600;color:var(--brand-soft);-webkit-user-select:none;user-select:none}.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);font-size:.82rem;padding:.5rem .85rem;min-height:44px}.copy-btn:hover{background:var(--surface-2)}.mono{font-family:JetBrains Mono,monospace;color:var(--brand-soft);overflow-wrap:anywhere;word-break:break-all}.muted{color:var(--muted)}.linkline a,a{color:var(--brand-soft);text-decoration:underline;text-underline-offset:.15em}a:hover{text-decoration-thickness:2px}.teaching-panel{border-color:var(--brand)}.teaching-panel>summary{color:var(--brand-soft)}.teaching-body{display:grid;gap:.7rem}.teaching-body p{margin:.2rem 0}.chk-h{margin:0 0 .35rem;font-size:.9rem;color:var(--brand-soft)}.tail-ok{color:var(--ok-soft);font-weight:600}.tail-bad{color:var(--danger-soft);font-weight:700;text-decoration:underline;text-underline-offset:.15em}html[data-theme=light] .tail-ok{color:var(--ok)}html[data-theme=light] .tail-bad{color:var(--danger)}.chk-columns{display:grid;grid-template-columns:1fr auto 1fr;gap:.8rem;align-items:center}.chk-side{border:1px solid var(--line);border-radius:.7rem;padding:.7rem .8rem;background:var(--surface-1)}.chk-formula{font-size:.85rem;color:var(--muted);margin:0 0 .4rem}.chk-big{font-family:JetBrains Mono,monospace;font-size:1.02rem;word-break:break-all;overflow-wrap:anywhere;margin:.2rem 0 0}.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{font-size:1.7rem;font-weight:700;text-align:center}.chk-eq-ok{color:var(--ok)}.chk-eq-bad{color:var(--danger)}.chk-chain{display:flex;flex-wrap:wrap;align-items:stretch;gap:.4rem}.chk-term{border:1px solid var(--line);border-radius:.5rem;padding:.4rem .55rem;background:var(--surface-2);flex:1 1 auto;min-width:8rem}.chk-term-formula{font-size:.95rem;color:var(--brand-soft)}.chk-term-sub,.chk-term-partial{font-size:.78rem;margin-top:.2rem}.chk-term-sub strong{color:var(--ink)}.chk-mul{align-self:center;color:var(--muted);font-weight:700;padding:0 .15rem}.chk-verdict{border-radius:.6rem;padding:.6rem .85rem;font-size:.92rem;color:var(--ink)}.chk-verdict-bad{background:#5a191638;border:1px solid var(--danger)}.chk-verdict-ok{background:#12492e33;border:1px solid var(--ok)}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{list-style:none;margin:.3rem 0 0;padding:0;display:grid;gap:.7rem}.hz-stage{display:flex;gap:.7rem;align-items:flex-start;border:1px solid var(--line);border-radius:.7rem;padding:.7rem .8rem;background:var(--surface-1)}.hz-stagenum{flex:0 0 auto;display:grid;place-items:center;width:1.7rem;height:1.7rem;border-radius:999px;background:var(--brand);color:var(--paper);font-weight:700;font-size:.9rem}.hz-nodes{display:flex;flex-wrap:wrap;gap:.6rem;margin-top:.3rem}.hz-node{display:flex;align-items:center;gap:.4rem;flex-wrap:wrap;border:1px solid var(--line);border-radius:.5rem;padding:.35rem .55rem;background:var(--surface-2)}.hz-label{font-size:.9rem;color:var(--ink)}.hz-arrow{color:var(--brand-soft);font-size:.82rem;font-family:JetBrains Mono,monospace}.hz-commit{color:var(--brand-soft)}.hz-line{font-size:.92rem;color:var(--ink);display:flex;flex-wrap:wrap;align-items:center;gap:.35rem;margin-top:.3rem}.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-weight:600;font-size:.85rem}.equiv-real td{background:#12492e2e}html[data-theme=light] .equiv-real td{background:#dff6ec}.equiv-tag{display:inline-block;font-size:.7rem;font-weight:700;letter-spacing:.04em;text-transform:uppercase;color:var(--ok-soft);border:1px solid var(--ok);border-radius:999px;padding:.02rem .4rem;margin-left:.3rem}html[data-theme=light] .equiv-tag{color:#096742;background:#cff2e3}.result-bridge{font-size:.9rem}@media(max-width:640px){.chk-columns{grid-template-columns:1fr}.chk-eq{font-size:1.3rem}}@media(max-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}}