@font-face{font-family:Satoshi;src:url(/fonts/Satoshi-Variable.woff2)format("woff2");font-weight:300 900;font-style:normal;font-display:swap}@font-face{font-family:JetBrains Mono;src:url(/fonts/JetBrainsMono-Regular-latin.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:JetBrains Mono;src:url(/fonts/JetBrainsMono-Medium-latin.woff2)format("woff2");font-weight:500;font-style:normal;font-display:swap}:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--surface:#050a14;--surface-2:#071227;--surface-3:#0c1a33;--ink:#e8ecf1;--ink-2:#9aa3b2;--ink-3:#7c8594;--hairline:#e8ecf114;--hairline-strong:#e8ecf129;--verified:#79c992;--verified-hover:#8ad3a1;--verified-ink:#05140b;--alert:#e77b72;--alert-soft:#e06a6a1f;--warn:#e6c46a;--unverified:#9aa3b2;--font-sans:"Satoshi", system-ui, -apple-system, "Segoe UI", sans-serif;--font-mono:"JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--container:960px;--gutter:16px;--radius:14px;--radius-sm:8px;--pill:999px;--ease-out:cubic-bezier(.22, 1, .36, 1);--dur-fast:.12s}@media (min-width:640px){:root{--gutter:24px}}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}@media (prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}body{background:var(--surface);color:var(--ink);font:400 1rem/1.6 var(--font-sans);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizelegibility;font-variant-numeric:tabular-nums;min-height:100vh;margin:0}h1,h2,h3,p,ul,ol,dl,dd,figure{margin:0}ul,ol{padding:0;list-style:none}a{color:inherit}button,input,textarea,select{font:inherit;color:inherit}button{cursor:pointer}code,.mono{font-family:var(--font-mono);font-weight:400}:focus-visible{outline:2px solid var(--verified);outline-offset:2px;border-radius:2px}.container{width:100%;max-width:var(--container);padding-inline:var(--gutter);margin-inline:auto}.narrow{max-width:34rem}.site-header{border-bottom:1px solid var(--hairline);padding:1.25rem 0}.site-header .container{justify-content:space-between;align-items:center;gap:1rem;display:flex}.brand{letter-spacing:-.01em;align-items:center;gap:.6rem;font-weight:600;text-decoration:none;display:inline-flex}.brand img{border-radius:6px;width:28px;height:28px}.header-actions{align-items:center;gap:1rem;font-size:.9375rem;display:flex}.header-actions a{color:var(--ink-2);text-decoration:none}.header-actions a:hover{color:var(--ink)}main{padding-block:clamp(2rem,6vw,4rem)}.page-head{margin-bottom:1.75rem}.eyebrow{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-3);margin-bottom:.6rem;font-size:.75rem}h1.title{letter-spacing:-.02em;font-size:clamp(1.6rem,1.2rem + 1.6vw,2.25rem);font-weight:560;line-height:1.1}.lede{color:var(--ink-2);max-width:46ch;margin-top:.75rem}.card{background:var(--surface-2);border:1px solid var(--hairline);border-radius:var(--radius);padding:1.5rem}.card+.card,.stack>*+*{margin-top:1rem}.muted{color:var(--ink-2)}.quiet{color:var(--ink-3)}.small{font-size:.875rem}.field{margin-bottom:1rem;display:block}.field>label{color:var(--ink-2);margin-bottom:.4rem;font-size:.875rem;display:block}.input{background:var(--surface);border:1px solid var(--hairline-strong);border-radius:var(--radius-sm);width:100%;color:var(--ink);padding:.7rem .85rem}.input:focus-visible{outline:2px solid var(--verified);outline-offset:1px;border-color:#0000}.input.mono{font-family:var(--font-mono);font-size:.85rem}.hint{color:var(--ink-3);margin-top:.35rem;font-size:.8125rem}.checkbox-row{background:var(--surface);border:1px solid var(--hairline);border-radius:var(--radius-sm);align-items:flex-start;gap:.7rem;padding:.9rem;display:flex}.checkbox-row input[type=checkbox]{width:1.05rem;height:1.05rem;accent-color:var(--verified);flex:none;margin-top:.2rem}.checkbox-row label{color:var(--ink);font-size:.9375rem;line-height:1.5}.checkbox-row a{color:var(--verified);text-underline-offset:2px;text-decoration:underline}.btn{border-radius:var(--pill);letter-spacing:-.005em;white-space:nowrap;height:2.9rem;transition:background-color var(--dur-fast) ease-out, border-color var(--dur-fast) ease-out, opacity var(--dur-fast);border:1px solid #0000;justify-content:center;align-items:center;gap:.5rem;padding:0 1.4rem;font-weight:560;text-decoration:none;display:inline-flex}.btn-primary{background:var(--verified);color:var(--verified-ink)}.btn-primary:hover{background:var(--verified-hover)}.btn-secondary{border-color:var(--hairline-strong);color:var(--ink);background:0 0}.btn-secondary:hover{background:var(--surface-2);border-color:#e8ecf152}.btn-danger{color:var(--alert);background:0 0;border-color:#e77b7266}.btn-danger:hover{background:var(--alert-soft)}.btn[disabled],.btn[aria-disabled=true]{opacity:.55;cursor:default}.btn-block{width:100%}.alert{border-radius:var(--radius-sm);padding:.85rem 1rem;font-size:.9375rem;line-height:1.5}.alert-error{background:var(--alert-soft);color:#f3b0b0;border:1px solid #e77b7259}.alert-warn{color:var(--warn);background:#e6c46a1a;border:1px solid #e6c46a59}.alert-info{background:var(--surface-3);border:1px solid var(--hairline);color:var(--ink-2)}.site-footer{border-top:1px solid var(--hairline);color:var(--ink-3);padding:1.5rem 0;font-size:.8125rem}.site-footer a{color:inherit;text-underline-offset:3px;text-decoration:underline}.btn-sm{height:2.2rem;padding:0 1rem;font-size:.875rem}.unverified-mark{font-family:var(--font-mono);letter-spacing:.1em;text-transform:uppercase;color:var(--unverified);border:1px solid var(--hairline-strong);border-radius:var(--pill);background:var(--surface-3);align-items:center;gap:.45rem;padding:.3rem .7rem;font-size:.75rem;display:inline-flex}.unverified-mark:before{content:"";background:var(--unverified);border-radius:50%;width:7px;height:7px}.unverified-banner{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.75rem 1rem;display:flex}.status-pill{font-size:.8125rem;font-family:var(--font-mono);border-radius:var(--pill);border:1px solid var(--hairline-strong);align-items:center;gap:.4rem;padding:.25rem .6rem;display:inline-flex}.status-queued{color:var(--ink-2)}.status-running{color:var(--warn);border-color:#e6c46a66}.status-complete{color:var(--verified);border-color:#79c99266}.status-failed{color:var(--alert);border-color:#e77b7266}.matrix-summary{flex-wrap:wrap;gap:.5rem;margin:1rem 0;display:flex}.matrix-chip{font-family:var(--font-mono);border-radius:var(--radius-sm);background:var(--surface);border:1px solid var(--hairline);padding:.3rem .7rem;font-size:.8125rem}.matrix-table{border-collapse:collapse;width:100%;font-size:.85rem}.matrix-table th,.matrix-table td{text-align:left;border-bottom:1px solid var(--hairline);padding:.5rem .6rem}.matrix-table th{color:var(--ink-3);text-transform:uppercase;letter-spacing:.05em;font-size:.75rem;font-weight:500}.cell-state{font-family:var(--font-mono);font-size:.8rem}.cell-PASS{color:var(--verified)}.cell-LEAK{color:var(--alert)}.cell-DISAGREEMENT,.cell-ERROR,.cell-MODEL-DIVERGENCE{color:var(--warn)}.cell-OTHER{color:var(--ink-3)}.finding-item{border-bottom:1px solid var(--hairline);padding:.75rem 0}.finding-item:last-child{border-bottom:none}.finding-class{font-family:var(--font-mono);color:var(--ink-3);font-size:.75rem}.coverage-list li{color:var(--ink-2);border-bottom:1px solid var(--hairline);padding:.4rem 0}.coverage-list li:last-child{border-bottom:none}.project-row{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;display:flex}.meter-line{color:var(--ink-3);font-size:.85rem}