:root{--canvas:#fff;--canvas-inset:#f6f8fa;--canvas-sub:#eaeef2;--fg:#1f2328;--fg-muted:#59636e;--fg-subtle:#636c76;--border:#d1d9e0;--border-muted:#e4e8ec;--accent-fg:#0969da;--accent-emph:#0969da;--accent-muted:#ddf4ff;--success-fg:#1a7f37;--success-emph:#1f883d;--success-muted:#dafbe1;--attention-fg:#9a6700;--attention-emph:#bf8700;--attention-muted:#fff8c5;--danger-fg:#d1242f;--danger-muted:#ffebe9;--neutral-muted:#eaeef2;--diff-add:#e6ffec;--diff-add-line:#ccffd8;--mono:ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,monospace;--sans:-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans",Helvetica,Arial,sans-serif;--r:6px}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--canvas:#0d1117;--canvas-inset:#010409;--canvas-sub:#151b23;--fg:#f0f6fc;--fg-muted:#9198a1;--fg-subtle:#a5adb8;--border:#3d444d;--border-muted:#262c36;--accent-fg:#4493f8;--accent-emph:#1f6feb;--accent-muted:#121d2f;--success-fg:#3fb950;--success-emph:#238636;--success-muted:#0f2913;--attention-fg:#d29922;--attention-emph:#9e6a03;--attention-muted:#272115;--danger-fg:#f85149;--danger-muted:#25171c;--neutral-muted:#262c36;--diff-add:#0f2913;--diff-add-line:#1b4721}}:root[data-theme=dark]{--canvas:#0d1117;--canvas-inset:#010409;--canvas-sub:#151b23;--fg:#f0f6fc;--fg-muted:#9198a1;--fg-subtle:#a5adb8;--border:#3d444d;--border-muted:#262c36;--accent-fg:#4493f8;--accent-emph:#1f6feb;--accent-muted:#121d2f;--success-fg:#3fb950;--success-emph:#238636;--success-muted:#0f2913;--attention-fg:#d29922;--attention-emph:#9e6a03;--attention-muted:#272115;--danger-fg:#f85149;--danger-muted:#25171c;--neutral-muted:#262c36;--diff-add:#0f2913;--diff-add-line:#1b4721}*{box-sizing:border-box}body{margin:0;background:var(--canvas);color:var(--fg);font-family:var(--sans);font-size:15px;line-height:1.55;-webkit-font-smoothing:antialiased}.app{max-width:1120px;margin:0 auto;padding:0 24px}.app section{padding:clamp(56px,7vw,96px) 0;border-top:1px solid var(--border-muted)}.app .hero{border-top:0;padding-top:clamp(64px,9vw,120px)}h1{font-size:clamp(34px,5.2vw,52px);line-height:1.06;letter-spacing:-.032em;margin:0;font-weight:660;text-wrap:balance;max-width:17ch}h2{font-size:clamp(22px,2.6vw,28px);line-height:1.2;letter-spacing:-.022em;margin:0 0 10px;font-weight:640;text-wrap:balance}h3{font-size:16px;letter-spacing:-.01em;margin:0 0 8px;font-weight:640}.sub{color:var(--fg-muted);margin:8px 0 0;max-width:64ch}.section-lede{color:var(--fg-muted);margin:0 0 22px;max-width:62ch;font-size:16px}.eyebrow{font-family:var(--mono);font-size:11.5px;letter-spacing:.08em;text-transform:uppercase;color:var(--fg-muted);margin:0 0 18px}.eyebrow:before{content:"";display:inline-block;width:22px;height:1px;background:var(--border);vertical-align:middle;margin-right:10px}.lede{font-size:clamp(16px,1.5vw,18.5px);line-height:1.62;color:var(--fg-muted);max-width:60ch;margin:22px 0 0}.hero-actions{display:flex;flex-wrap:wrap;gap:12px;align-items:center;margin:30px 0 0}button.lg{font-size:15px;padding:11px 20px;border-radius:8px}a.lg{font-size:15px;padding:11px 4px;color:var(--accent-fg);text-decoration:none;font-weight:560}a.lg:hover{text-decoration:underline}button.primary.lg{font-weight:600}.stats{display:grid;grid-template-columns:repeat(auto-fit,minmax(178px,1fr));gap:1px;margin:clamp(40px,6vw,64px) 0 0;background:var(--border-muted);border:1px solid var(--border-muted);border-radius:10px;overflow:hidden}.stats>div{background:var(--canvas);padding:20px 20px 18px}.stats dt{font-family:var(--mono);font-size:11px;letter-spacing:.06em;text-transform:uppercase;color:var(--fg-muted)}.stats dd{margin:8px 0 0;font-size:clamp(26px,3.4vw,34px);font-weight:640;letter-spacing:-.03em;font-variant-numeric:tabular-nums;line-height:1}.stats .note{margin:8px 0 0;font-size:12.5px;color:var(--fg-muted);line-height:1.45;font-weight:400;letter-spacing:0}.claim-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:clamp(24px,3vw,40px);margin-top:26px}.claim-grid article{border-top:2px solid var(--fg);padding-top:16px}.claim-grid .figure{font-size:clamp(28px,3.6vw,38px);font-weight:660;letter-spacing:-.03em;font-variant-numeric:tabular-nums;margin:14px 0 0;line-height:1}.claim-grid .figure-note{margin:10px 0 0;color:var(--fg-muted);font-size:13.5px;line-height:1.5}.method-grid{display:grid;grid-template-columns:minmax(200px,260px) 1fr;gap:clamp(24px,4vw,56px);margin-top:24px;align-items:start}.method-grid dl{margin:0;display:grid;grid-template-columns:1fr;gap:0}.method-grid dt{font-family:var(--mono);font-size:11px;letter-spacing:.06em;text-transform:uppercase;color:var(--fg-muted);margin-top:16px}.method-grid dt:first-child{margin-top:0}.method-grid dd{margin:4px 0 0;font-size:14.5px}.method-prose p{margin:0 0 16px;color:var(--fg-muted);max-width:62ch}.method-prose ul{margin:0;padding-left:18px;color:var(--fg-muted);max-width:62ch}.method-prose li{margin:0 0 10px;line-height:1.55}.method-prose code{font-family:var(--mono);font-size:12.5px;background:var(--canvas-inset);border:1px solid var(--border-muted);border-radius:4px;padding:1px 5px}@media(max-width:720px){.method-grid{grid-template-columns:1fr}}.site-footer{border-top:1px solid var(--border-muted);padding:36px 0 56px;max-width:1120px;margin:0 auto}.site-footer p{margin:0;color:var(--fg-muted);max-width:70ch;font-size:14px}.site-footer .fine{margin-top:12px;font-size:12.5px;color:var(--fg-subtle)}.site-footer code{font-family:var(--mono);font-size:11.5px}:focus-visible{outline:2px solid var(--accent-emph);outline-offset:2px;border-radius:3px}.sr{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap;border:0}.bar{display:flex;flex-wrap:wrap;gap:8px;align-items:center;margin:20px 0 8px}button,select{font:inherit;font-size:13.5px;color:var(--fg);background:var(--canvas-sub);border:1px solid var(--border);border-radius:var(--r);padding:6px 12px;cursor:pointer}select{max-width:100%;min-width:0}button:hover:not(:disabled),select:hover{background:var(--neutral-muted)}button:disabled{opacity:.5;cursor:not-allowed}button.primary{background:var(--success-emph);color:#fff;border-color:#00000026;font-weight:500}.spacer{flex:1}.phases{display:flex;gap:4px;margin:12px 0 4px;flex-wrap:wrap;list-style:none;padding:0}.phase{font-family:var(--mono);font-size:11px;padding:3px 9px;border-radius:999px;border:1px solid var(--border);color:var(--fg-subtle);background:var(--canvas-sub)}.phase[data-state=done]{color:var(--fg-muted);border-color:var(--border)}.phase[data-state=current]{color:var(--accent-fg);border-color:var(--accent-fg);background:var(--accent-muted);font-weight:600}.caption{font-size:13.5px;color:var(--fg-muted);margin:8px 0 0;min-height:2.6em}.panes{display:grid;grid-template-columns:1.5fr 1fr .9fr;border:1px solid var(--border);border-radius:var(--r);overflow:hidden;margin-top:16px;background:var(--canvas)}.pane{padding:14px;border-right:1px solid var(--border-muted);min-width:0}.pane:last-child{border-right:0}.pane h2{font-family:var(--mono);font-size:10.5px;letter-spacing:.05em;text-transform:uppercase;color:var(--fg-subtle);margin:0 0 10px;font-weight:600}.meta{display:flex;flex-wrap:wrap;gap:8px;align-items:center;padding:9px 14px;background:var(--canvas-inset);border:1px solid var(--border);border-bottom:0;border-radius:var(--r) var(--r) 0 0;font-family:var(--mono);font-size:11.5px;color:var(--fg-muted)}.meta b{color:var(--fg)}.panes.attached{border-radius:0 0 var(--r) var(--r);margin-top:0}.src{font-family:var(--mono);font-size:12.5px;line-height:1.6;border:1px solid var(--border-muted);border-radius:var(--r);overflow-x:auto;background:var(--canvas-inset)}.src table{border-collapse:collapse;width:100%}.src td{padding:1px 10px;white-space:pre;vertical-align:top}.src .no{color:var(--fg-subtle);text-align:right;width:1%;-webkit-user-select:none;user-select:none;font-variant-numeric:tabular-nums;background:var(--canvas-sub)}tr.add td{background:var(--diff-add)}tr.add .no{background:var(--diff-add-line)}tr.anchor td{box-shadow:inset 2px 0 0 var(--accent-emph)}.subjects{display:flex;flex-direction:column;gap:6px;margin:0;padding:0;list-style:none}.subjects button{width:100%;text-align:left;padding:8px 10px;font-size:12.5px;line-height:1.4}.subjects button[aria-pressed=true]{border-color:var(--accent-fg);background:var(--accent-muted)}.subjects .sid{font-family:var(--mono);font-size:11px;color:var(--fg-muted);display:block}.strip{display:grid;grid-template-columns:repeat(10,1fr);gap:3px;margin:6px 0 0}.cell{height:22px;border-radius:3px;background:var(--neutral-muted);border:1px solid var(--border)}.cell[data-at=published]{background:var(--success-emph);border-color:transparent}.cell[data-at=verifying]{background:var(--attention-emph);border-color:transparent}.cell[data-at=filtering]{background:var(--accent-emph);border-color:transparent}.count{font-family:var(--mono);font-size:11.5px;color:var(--fg-muted);display:flex;justify-content:space-between;gap:8px;margin-top:8px}.count b{color:var(--fg);font-variant-numeric:tabular-nums}.tag{display:inline-block;font-family:var(--mono);font-size:11px;padding:1px 8px;border-radius:999px;font-weight:500;border:1px solid}.tag[data-t=published]{color:var(--success-fg);background:var(--success-muted);border-color:var(--success-fg)}.tag[data-t=failed]{color:var(--danger-fg);background:var(--danger-muted);border-color:var(--danger-fg)}.tag[data-t=clean]{color:var(--fg-muted);background:var(--canvas-sub);border-color:var(--border)}.tag[data-t=partial]{color:var(--attention-fg);background:var(--attention-muted);border-color:var(--attention-fg)}dl.f{display:grid;grid-template-columns:auto 1fr;gap:3px 12px;font-family:var(--mono);font-size:11.5px;margin:0}dl.f dt{color:var(--fg-subtle)}dl.f dd{margin:0;word-break:break-all}.why{font-size:12.5px;color:var(--fg-muted);margin-top:10px}pre.contract{font-family:var(--mono);font-size:11.5px;background:var(--canvas-inset);border:1px solid var(--border);border-radius:var(--r);padding:12px;overflow-x:auto;margin-top:12px}a{color:var(--accent-fg)}@media(max-width:900px){.panes{grid-template-columns:1fr}.pane{border-right:0;border-bottom:1px solid var(--border-muted)}}@media(prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}.why-rejected{margin-top:12px;font-size:12.5px}.why-rejected summary{cursor:pointer;color:var(--accent-fg);font-weight:500}.why-rejected ul{margin:8px 0 0;padding-left:16px;color:var(--fg-muted);display:flex;flex-direction:column;gap:6px}.why-rejected b{color:var(--fg);font-family:var(--mono);font-size:11.5px}.surfaces{display:flex;gap:6px;margin:18px 0 4px}.surfaces button[aria-pressed=true]{border-color:var(--accent-fg);background:var(--accent-muted);color:var(--accent-fg);font-weight:600}.eval h2{font-size:22px;letter-spacing:-.015em;margin:8px 0 0}.eval h3{font-size:13px;text-transform:uppercase;letter-spacing:.05em;color:var(--fg-subtle);font-family:var(--mono);margin:26px 0 10px}.eval .mets{border:1px solid var(--border);border-radius:var(--r);margin-top:16px}.eval .callout{display:block;padding:12px 14px;border:1px solid var(--attention-fg);border-radius:var(--r);background:var(--attention-muted);color:var(--attention-fg);font-size:13px;margin-top:14px}.eval .t td .muted,.muted{color:var(--fg-subtle);font-family:var(--mono);font-size:11.5px}.eval .prov{margin-top:26px;padding-top:16px;border-top:1px solid var(--border)}.arch{margin-top:26px}.arch svg{max-width:100%;height:auto;margin-top:10px}.arch-live{color:var(--fg-muted)}.arch-site{color:var(--accent-fg)}.arch-text{fill:var(--fg)}.arch-text .dim{fill:var(--fg-subtle);font-size:11px}.cta{margin-top:26px;padding-top:16px;border-top:1px solid var(--border)}.cta p{margin-top:8px}.mt-2{margin-top:10px}.mt-3{margin-top:12px}svg.bar{height:3px;width:100%;display:block}svg.bar rect{fill:var(--accent-emph)}.strip-key{margin:8px 0 14px;font-size:11.5px;color:var(--fg-muted);font-family:var(--mono)}