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