*{box-sizing:border-box;margin:0;padding:0}:root{--bg: #070b12;--surf: #0d1422;--elev: #131c2e;--bord: #1c2540;--acc: #3565d8;--acc2: #7fa3ff;--ok: #34d399;--err: #f87171;--warn: #fbbf24;--ok-strong: #34d399;--err-strong: #f87171;--tx: #f4f8ff;--tx2: #cad8f0;--tx3: #93a8ca;--on-accent: #ffffff;--bg-spot-a: #17233d;--bg-spot-b: #102847;--overlay-a: rgba(19, 28, 46, .94);--overlay-b: rgba(13, 20, 34, .82);--overlay-c: rgba(13, 20, 34, .78);--overlay-d: rgba(13, 20, 34, .72);--overlay-e: rgba(13, 20, 34, .65);--mono: "Consolas", "Fira Code", "Courier New", monospace;--sans: -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif}html[data-theme=light]{--bg: #f4f7fb;--surf: #ffffff;--elev: #edf2fa;--bord: #c7d2e3;--acc: #2f5fd4;--acc2: #1847bf;--ok: #0d8a5b;--err: #c94343;--warn: #9d6a00;--ok-strong: #0a6e49;--err-strong: #b03636;--tx: #101827;--tx2: #334155;--tx3: #51607a;--on-accent: #ffffff;--bg-spot-a: #d8e4f5;--bg-spot-b: #e3ecfa;--overlay-a: rgba(237, 242, 250, .96);--overlay-b: rgba(244, 247, 251, .92);--overlay-c: rgba(237, 242, 250, .88);--overlay-d: rgba(237, 242, 250, .82);--overlay-e: rgba(237, 242, 250, .75)}html{color-scheme:dark;-webkit-text-size-adjust:100%;text-size-adjust:100%}html[data-theme=light]{color-scheme:light}body{background:radial-gradient(1200px 700px at 5% -10%,var(--bg-spot-a) 0%,rgba(23,35,61,0) 60%),radial-gradient(1000px 500px at 95% -5%,var(--bg-spot-b) 0%,rgba(16,40,71,0) 55%),var(--bg);color:var(--tx);font-family:var(--mono);font-size:14px;line-height:1.72;min-height:100vh}a{color:var(--acc2);text-decoration:underline;text-decoration-color:var(--acc2);text-underline-offset:.18em}a:hover{color:var(--acc);text-decoration-color:var(--acc)}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,.resource-link:focus-visible,.card:focus-visible{outline:3px solid var(--acc2);outline-offset:3px}.site-shell{max-width:1120px;margin:0 auto;padding:0 20px 30px}.site-header{padding:20px 0 14px;border-bottom:1px solid var(--bord);margin-bottom:20px;position:relative}.theme-toggle{width:2.6rem;height:2.6rem;border-radius:50%;border:1px solid var(--bord);background:var(--surf);color:var(--tx);cursor:pointer;display:inline-flex;align-items:center;justify-content:center;font-size:1rem;line-height:1;position:absolute;top:0;right:0}.theme-toggle:hover{background:var(--elev);color:var(--acc2);border-color:var(--acc)}.brand-kicker{font-size:11px;color:var(--tx3);letter-spacing:.11em;text-transform:uppercase}.brand-title{font-size:31px;font-family:var(--sans);letter-spacing:-.02em;font-weight:650;color:var(--tx)}.brand-sub{font-size:13px;color:var(--tx2);max-width:840px}.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-family:var(--sans);font-size:clamp(1.6rem,3.8vw,2.7rem);font-weight:700;line-height:1.1;letter-spacing:.01em;color:var(--tx)}.cl-hero-sub{margin:.4rem 0 0;font-size:clamp(.9rem,1.6vw,1.05rem);letter-spacing:.01em;color:var(--tx2);opacity:.85}.cl-hero-desc{margin:.55rem 0 0;font-size:1rem;line-height:1.5;color:var(--tx2);max-width:60ch}.cl-hero-why{flex:0 1 min(40%,26rem);min-width:min(100%,15rem);border:1px solid var(--bord);border-radius:10px;padding:.85rem 1.05rem;background:color-mix(in oklab,var(--acc) 6%,transparent)}.cl-hero-why-label{display:block;font-size:.68rem;font-weight:700;letter-spacing:.14em;color:var(--tx2)}.cl-hero-why-text{margin:.35rem 0 0;font-size:.95rem;line-height:1.5;color:var(--tx)}@media(max-width:640px){.cl-hero{flex-direction:column}.cl-hero-why{flex-basis:auto;width:100%}}.wrap{max-width:1040px;margin:0 auto}.hero-panel{background:linear-gradient(180deg,var(--overlay-a),var(--overlay-b));border:1px solid var(--bord);border-radius:10px;padding:20px 22px;margin:10px 0 24px}.hero-lead{font-family:var(--sans);font-size:24px;line-height:1.35;letter-spacing:-.02em}.hero-note{margin-top:10px;color:var(--tx2)}.hero-actions{display:flex;gap:8px;flex-wrap:wrap;margin-top:14px}.resource-link{display:inline-flex;align-items:center;justify-content:center;min-height:40px;padding:9px 12px;border:1px solid var(--bord);border-radius:999px;background:var(--overlay-c);font-size:11px;letter-spacing:.07em;text-transform:uppercase;color:var(--tx);text-decoration:none}.resource-link:hover{border-color:var(--acc);color:var(--acc2)}.exhibit{margin:0 0 26px}.ex-row{display:flex;align-items:center;gap:10px;margin-bottom:6px;flex-wrap:wrap}.ex-num{font-size:11px;color:var(--tx2);letter-spacing:.1em;padding:4px 9px;border:1px solid var(--tx3)}.badge{display:inline-flex;align-items:center;gap:5px;font-size:11px;letter-spacing:.07em;padding:4px 10px;border-radius:3px}.badge-real{background:color-mix(in srgb,var(--ok) 16%,transparent);color:var(--ok);border:1px solid color-mix(in srgb,var(--ok) 50%,transparent)}.ex-title{font-size:28px;font-family:var(--sans);font-weight:600;color:var(--tx);letter-spacing:-.02em}.prose{background:var(--overlay-c);border:1px solid var(--bord);border-radius:6px;padding:17px 18px;margin:14px 0 16px}.prose p+p{margin-top:10px}.demo-grid{display:grid;grid-template-columns:1fr 1fr;gap:14px;margin-bottom:14px}.panel{background:var(--surf);border:1px solid var(--bord);border-radius:6px;overflow:hidden}.ph{padding:10px 14px;background:var(--elev);border-bottom:1px solid var(--bord);font-size:11px;letter-spacing:.09em;text-transform:uppercase}.pb{padding:14px}.hash-label{font-size:12px;color:var(--tx2)}.hint{font-size:11px;color:var(--tx2);margin-top:6px}.controls{display:flex;gap:8px;flex-wrap:wrap;margin:12px 0}button{font-family:var(--mono);font-size:12px;padding:10px 15px;border-radius:6px;cursor:pointer;letter-spacing:.05em;min-height:44px}.bp{background:var(--acc);color:var(--on-accent);border:1px solid var(--acc)}.bp:hover{filter:brightness(1.05)}.bs{background:none;color:var(--tx);border:1px solid var(--bord)}.bs:hover{border-color:var(--tx2)}.bd{background:none;color:var(--err);border:1px solid var(--err)}.bd:hover{background:color-mix(in srgb,var(--err) 10%,transparent)}.num-input{margin-top:8px;min-height:40px;padding:8px 10px;border-radius:6px;border:1px solid var(--bord);color:var(--tx);background:var(--overlay-d);font-family:var(--mono);max-width:100%;display:block}.log{background:var(--bg);border:1px solid var(--bord);border-radius:4px;padding:10px 11px;max-height:220px;overflow:auto;font-size:12px;line-height:1.65;color:var(--tx);margin-top:10px;white-space:pre-wrap;overflow-wrap:break-word}.vl{background:color-mix(in srgb,var(--acc2) 9%,transparent);border:1px solid color-mix(in srgb,var(--acc2) 30%,transparent);border-left:3px solid var(--acc);border-radius:4px;padding:14px 15px;font-size:13px;color:var(--tx);margin-top:14px}.vl strong{color:var(--acc2)}.trust-banner{border-radius:8px;padding:13px 15px;margin:12px 0 16px;font-size:13px;line-height:1.7}.trust-conceptual{background:color-mix(in srgb,var(--warn) 10%,transparent);border:1px solid color-mix(in srgb,var(--warn) 35%,transparent);color:var(--tx)}.cards-4{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px}.card{background:linear-gradient(165deg,var(--overlay-a),var(--overlay-b));border:1px solid var(--bord);border-radius:8px;padding:16px}.card-title{font-size:18px;font-family:var(--sans);letter-spacing:-.01em;margin-bottom:8px}.card-desc{font-size:13px;color:var(--tx2)}.table-wrap{overflow-x:auto}.commit-table{width:100%;border-collapse:collapse;font-size:12px;min-width:660px}.commit-table th,.commit-table td{padding:6px 8px;border-bottom:1px solid var(--bord);text-align:left}.commit-table th{font-size:11px;letter-spacing:.08em;color:var(--tx2);text-transform:uppercase}.trace-queried{background:color-mix(in srgb,var(--ok) 14%,transparent)}.facts{padding-left:1.2rem}.facts li{margin-bottom:6px}#size-chart{display:grid;gap:8px}.chart-row{display:grid;grid-template-columns:180px 1fr 90px;align-items:center;gap:10px}.chart-label{font-size:12px;color:var(--tx2)}.chart-bar-wrap{border:1px solid var(--bord);border-radius:5px;min-height:28px;background:var(--overlay-d);overflow:hidden}.chart-bar{min-height:28px;background:linear-gradient(90deg,var(--acc),var(--acc2))}.chart-value{font-size:12px;color:var(--tx);text-align:right}code{font-family:var(--mono);font-size:.92em;background:var(--overlay-d);border:1px solid var(--bord);border-radius:4px;padding:.05em .35em}.toc{display:flex;flex-wrap:wrap;gap:8px;margin:0 0 22px}.toc a{font-size:11px;letter-spacing:.06em;text-transform:uppercase;text-decoration:none;color:var(--tx2);border:1px solid var(--bord);border-radius:999px;padding:6px 12px;min-height:34px;display:inline-flex;align-items:center}.toc a:hover{border-color:var(--acc);color:var(--acc2)}.checkline{display:flex;align-items:center;gap:8px;font-size:12px;color:var(--tx2);margin:10px 0 8px}.checkline input{width:16px;height:16px;accent-color:var(--acc)}.status-ok{color:var(--ok-strong)}.status-bad{color:var(--err-strong)}.trace-bad{background:color-mix(in srgb,var(--err) 18%,transparent)}.fri-final td{font-weight:650;background:color-mix(in srgb,var(--ok) 12%,transparent)}.mono-cell{font-family:var(--mono);color:var(--tx2)}.callout{background:color-mix(in srgb,var(--warn) 12%,transparent);border:1px solid color-mix(in srgb,var(--warn) 38%,transparent);border-left:3px solid var(--warn);border-radius:6px;padding:13px 15px;font-size:13px;margin:0 0 16px}.callout strong{color:var(--warn)}.checklist{display:grid;gap:8px}.check-row{display:flex;gap:10px;align-items:flex-start;border:1px solid var(--bord);border-radius:6px;padding:10px 12px;background:var(--overlay-d)}.check-mark{font-weight:700;font-size:15px;line-height:1.5}.check-pass{border-color:color-mix(in srgb,var(--ok) 45%,transparent)}.check-pass .check-mark{color:var(--ok)}.check-fail{border-color:color-mix(in srgb,var(--err) 55%,transparent);background:color-mix(in srgb,var(--err) 9%,transparent)}.check-fail .check-mark{color:var(--err)}.check-body{display:flex;flex-direction:column;gap:2px}.check-name{font-size:13px;color:var(--tx)}.check-detail{font-size:12px;color:var(--tx2)}.verdict{border-radius:6px;padding:12px 14px;font-size:13px;margin-top:12px;border:1px solid var(--bord)}.verdict:empty{display:none}.verdict-ok{background:color-mix(in srgb,var(--ok) 14%,transparent);border-color:color-mix(in srgb,var(--ok) 50%,transparent);color:var(--tx)}.verdict-bad{background:color-mix(in srgb,var(--err) 14%,transparent);border-color:color-mix(in srgb,var(--err) 55%,transparent);color:var(--tx)}.fri-svg{width:100%;height:auto;max-height:420px;display:block}.viz-line{stroke:var(--acc);stroke-width:.6;opacity:.28}.viz-dot{fill:var(--acc2)}.viz-dot-ok{fill:var(--ok)}.viz-dot-bad{fill:var(--err)}.viz-label{fill:var(--tx3);font-family:var(--mono);font-size:10px}.slider-row{display:grid;gap:6px;margin:12px 0}.slider-row label{font-size:12px;color:var(--tx2)}.slider-row input[type=range]{width:100%;accent-color:var(--acc);height:28px}.sec-grid,.succinct-grid{display:flex;flex-wrap:wrap;gap:12px;margin:12px 0 6px}.sec-stat{flex:1 1 120px;background:var(--overlay-d);border:1px solid var(--bord);border-radius:6px;padding:12px;text-align:center}.sec-num{display:block;font-size:26px;font-family:var(--sans);font-weight:650;color:var(--acc2);letter-spacing:-.01em}.sec-cap{display:block;font-size:11px;color:var(--tx3);letter-spacing:.04em;text-transform:uppercase;margin-top:4px}.zk-legend{display:flex;gap:16px;margin-bottom:10px;font-size:11px;color:var(--tx2)}.zk-key{display:inline-flex;align-items:center;gap:6px}.zk-key:before{content:"";width:12px;height:12px;border-radius:2px;display:inline-block}.zk-key-real:before{background:var(--acc2)}.zk-key-sim:before{background:color-mix(in srgb,var(--warn) 70%,transparent)}.zk-hist{display:flex;align-items:flex-end;gap:3px;height:160px;border-bottom:1px solid var(--bord);padding-bottom:2px}.zk-col{flex:1;display:flex;flex-direction:column;justify-content:flex-end;align-items:center;height:100%;position:relative}.zk-bars{display:flex;align-items:flex-end;gap:1px;width:100%;height:100%;justify-content:center}.zk-bar{width:45%;border-radius:2px 2px 0 0;min-height:1px}.zk-bar-real{background:var(--acc2)}.zk-bar-sim{background:color-mix(in srgb,var(--warn) 70%,transparent)}.zk-true{position:absolute;top:-18px;font-size:9px;color:var(--ok);white-space:nowrap}html[data-theme=light] .zk-true{color:#0a6e49}.disclosure{border:1px solid var(--bord);border-radius:6px;background:var(--overlay-d);margin:14px 0;overflow:hidden}.disclosure summary{cursor:pointer;padding:12px 14px;font-size:12px;letter-spacing:.06em;text-transform:uppercase;color:var(--tx2);background:var(--elev);list-style:none}.disclosure summary::-webkit-details-marker{display:none}.disclosure summary:before{content:"▸ ";color:var(--acc2)}.disclosure[open] summary:before{content:"▾ "}.disclosure summary:hover{color:var(--acc2)}.disclosure-body{padding:14px 16px;font-size:13px}.disclosure-body p+p{margin-top:10px}.disclosure-body strong{color:var(--acc2)}.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}.term{position:relative;display:inline-block}.term-word{border-bottom:1px dashed var(--acc2);cursor:help;color:var(--tx)}.term-def{position:absolute;left:0;top:1.6em;z-index:40;width:min(28rem,78vw);background:var(--elev);border:1px solid var(--acc);border-radius:6px;padding:10px 12px;font-size:12px;line-height:1.55;color:var(--tx);box-shadow:0 6px 20px #00000059;opacity:0;visibility:hidden;transition:opacity .12s}.term:hover .term-def,.term:focus .term-def,.term:focus-within .term-def{opacity:1;visibility:visible}.q-flow{display:flex;flex-direction:column;gap:8px}.q-step{display:flex;justify-content:space-between;align-items:center;gap:10px;border:1px solid var(--bord);border-radius:6px;padding:8px 12px;background:var(--overlay-d)}.q-step-label{font-size:12px;color:var(--tx2)}.q-step-val{font-size:13px;color:var(--tx)}.q-arrow{text-align:center;font-size:12px;color:var(--tx3);letter-spacing:.05em}.q-chip{display:inline-block;padding:2px 8px;border-radius:999px;font-size:12px;border:1px solid var(--bord)}.q-chip-ok{color:var(--ok-strong);border-color:color-mix(in srgb,var(--ok) 50%,transparent);background:color-mix(in srgb,var(--ok) 12%,transparent)}.q-chip-bad{color:var(--err-strong);border-color:color-mix(in srgb,var(--err) 55%,transparent);background:color-mix(in srgb,var(--err) 12%,transparent)}.q-verdict{margin-top:4px;border-radius:6px;padding:10px 12px;font-size:13px;border:1px solid var(--bord)}.q-verdict-ok{background:color-mix(in srgb,var(--ok) 14%,transparent);border-color:color-mix(in srgb,var(--ok) 50%,transparent);color:var(--tx)}.q-verdict-bad{background:color-mix(in srgb,var(--err) 14%,transparent);border-color:color-mix(in srgb,var(--err) 55%,transparent);color:var(--tx)}.fri-guide{list-style:none;margin:12px 0 0;padding:0;display:grid;gap:8px}.fri-guide li{display:flex;gap:10px;align-items:flex-start;font-size:12px;color:var(--tx2);line-height:1.55}.fri-guide-key{flex:0 0 auto;width:20px;height:20px;border-radius:50%;display:grid;place-items:center;font-size:11px;font-weight:700;background:var(--acc);color:var(--on-accent)}.fri-guide-ok{color:var(--ok-strong)}.fri-guide-bad{color:var(--err-strong)}.fri-source{border:1px solid var(--bord);border-radius:6px;padding:8px 12px 10px;margin-bottom:10px}.fri-source legend{font-size:11px;letter-spacing:.08em;text-transform:uppercase;color:var(--tx2);padding:0 6px}.radioline{display:flex;align-items:flex-start;gap:8px;font-size:12px;color:var(--tx2);margin:6px 0;line-height:1.5}.radioline input{width:16px;height:16px;margin-top:2px;accent-color:var(--acc)}.zk-one-viz{display:grid;gap:6px;margin-top:6px}.zk-one-secret,.zk-one-row{display:flex;align-items:center;gap:10px;border:1px solid var(--bord);border-radius:6px;padding:8px 12px;background:var(--overlay-d)}.zk-one-secret{border-color:color-mix(in srgb,var(--acc2) 45%,transparent);background:color-mix(in srgb,var(--acc2) 10%,transparent)}.zk-one-latest{border-color:color-mix(in srgb,var(--warn) 55%,transparent);background:color-mix(in srgb,var(--warn) 12%,transparent)}.zk-one-label{font-size:11px;color:var(--tx3);letter-spacing:.04em;text-transform:uppercase;margin-top:4px}.zk-one-tag{font-size:11px;color:var(--tx2);min-width:84px}.zk-one-num{font-family:var(--mono);font-size:13px;color:var(--tx)}.zk-one-fixed{margin-left:auto;font-size:11px;color:var(--ok-strong)}.zk-punchline{margin-top:12px;font-size:12px;line-height:1.6;color:var(--tx);border-left:3px solid var(--acc);padding-left:10px}.site-footer{text-align:center;padding:1.5rem;font-size:.85rem;color:var(--tx3);margin-top:2rem}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}@media(max-width:860px){.demo-grid,.cards-4,.chart-row{grid-template-columns:1fr}.commit-table{min-width:520px}}@media(max-width:640px){.site-shell{padding:0 14px 28px}.site-header{padding:16px 0 12px}.brand-title{font-size:26px}.hero-panel{padding:16px}.hero-lead{font-size:20px}.controls{flex-direction:column}.controls button{width:100%}.hero-actions{flex-direction:column}.hero-actions .resource-link{width:100%;text-align:center}.ex-title{font-size:22px}}