:root{color-scheme:light;--bg:oklch(98% .005 250);--surface:oklch(100% 0 0);--fg:oklch(22% .02 240);--muted:oklch(50% .018 240);--border:oklch(90% .008 240);--accent:oklch(58% .16 145);--warn:oklch(62% .14 85);--danger:oklch(56% .19 25);--accent-soft:color-mix(in oklch, var(--accent) 14%, transparent);--warn-soft:color-mix(in oklch, var(--warn) 16%, transparent);--danger-soft:color-mix(in oklch, var(--danger) 14%, transparent);--fg-soft:color-mix(in oklch, var(--fg) 6%, transparent);--font-display:-apple-system, BlinkMacSystemFont, "Inter", "Segoe UI", system-ui, sans-serif;--font-body:-apple-system, BlinkMacSystemFont, "Inter", "Segoe UI", system-ui, sans-serif;--font-mono:"JetBrains Mono", "IBM Plex Mono", ui-monospace, Menlo, monospace;--radius:8px;--radius-lg:12px}html[data-theme=dark]{color-scheme:dark;--bg:oklch(17% .012 245);--surface:oklch(21% .014 245);--fg:oklch(93% .008 240);--muted:oklch(64% .015 240);--border:oklch(30% .014 245);--accent:oklch(72% .17 148);--warn:oklch(76% .14 85);--danger:oklch(66% .18 25)}@font-face{font-family:JetBrains Mono;src:url(/_astro/jetbrains-mono-latin-400-normal.V6pRDFza.woff2)format("woff2");font-weight:400;font-display:swap}@font-face{font-family:JetBrains Mono;src:url(/_astro/jetbrains-mono-latin-500-normal.BWZEU5yA.woff2)format("woff2");font-weight:500;font-display:swap}@font-face{font-family:JetBrains Mono;src:url(/_astro/jetbrains-mono-latin-600-normal.C8RAYTDA.woff2)format("woff2");font-weight:600;font-display:swap}*{box-sizing:border-box}html{scroll-behavior:smooth;background:var(--bg)}body{color:var(--fg);background-color:var(--bg);background-image:radial-gradient(color-mix(in oklch, var(--fg) 7%, transparent) 1px, transparent 1px);font:15px/1.6 var(--font-body);background-size:26px 26px;margin:0}a{color:inherit}button{font:inherit}.shell{width:min(1120px,100% - 40px);margin-inline:auto}.topbar{z-index:10;border-bottom:1px solid var(--border);background:color-mix(in oklch, var(--bg) 90%, transparent);backdrop-filter:blur(12px);position:sticky;top:0}.topbar-inner{align-items:center;gap:24px;min-height:58px;display:flex}.brand{font:600 15px var(--font-mono);letter-spacing:-.03em;text-decoration:none}.brand-dot{color:var(--accent)}.nav{gap:20px;margin-left:auto;display:flex}.nav a,.footer a{color:var(--muted);font:500 12px var(--font-mono);text-decoration:none}.nav a:hover,.footer a:hover{color:var(--fg)}.icon-button{border:1px solid var(--border);background:var(--surface);color:var(--fg);border-radius:var(--radius);cursor:pointer;padding:7px 10px}.hero{align-content:center;min-height:740px;padding:100px 0 72px;display:grid}.eyebrow{color:var(--muted);font:500 11px var(--font-mono);letter-spacing:.12em;text-transform:uppercase;margin:0 0 18px}h1{letter-spacing:-.055em;max-width:860px;margin:0;font-size:clamp(44px,7vw,86px);font-weight:650;line-height:.98}.lede{max-width:760px;color:var(--muted);margin:28px 0 32px;font-size:clamp(17px,2vw,20px);line-height:1.55}.command-row{align-items:stretch;gap:10px;max-width:620px;display:flex}.command{border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface);font:500 15px var(--font-mono);flex:1;align-items:center;padding:14px 18px;display:flex}.prompt{color:var(--accent);margin-right:12px}.btn{border:1px solid var(--border);border-radius:var(--radius);cursor:pointer;font:600 12px var(--font-mono);justify-content:center;align-items:center;padding:12px 18px;text-decoration:none;display:inline-flex}.btn-primary{color:oklch(17% .012 245);background:var(--accent);border-color:var(--accent)}.btn-secondary{background:var(--surface)}.hero-actions{gap:10px;margin-top:20px;display:flex}.reassurance{color:var(--muted);font:12px var(--font-mono);margin:15px 0 0}.live{background:var(--accent);border-radius:50%;width:7px;height:7px;margin-right:8px;animation:2s ease-out infinite pulse;display:inline-block}section{border-top:1px solid var(--border);padding:88px 0;scroll-margin-top:76px}.section-head{grid-template-columns:1fr 2fr;gap:32px;margin-bottom:38px;display:grid}h2{letter-spacing:-.035em;max-width:720px;margin:0;font-size:clamp(30px,4vw,48px);line-height:1.1}.grid{grid-template-columns:repeat(3,1fr);gap:12px;display:grid}.card{border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface);min-height:210px;padding:24px}.card-index{color:var(--accent);font:11px var(--font-mono)}.card h3{margin:36px 0 8px;font-size:18px}.card p{color:var(--muted);margin:0}.console,.proof-console{border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface);overflow:hidden}.console-bar{border-bottom:1px solid var(--border);height:44px;font:11px var(--font-mono);color:var(--muted);align-items:center;gap:8px;padding:0 16px;display:flex}.console-body{font:13px/1.8 var(--font-mono);padding:26px;overflow-x:auto}.console-line{border-bottom:1px solid var(--border);white-space:nowrap;grid-template-columns:80px 1fr auto;gap:20px;padding:8px 0;display:grid}.ok{color:var(--accent)}.proof-console{border-color:color-mix(in oklch, var(--accent) 34%, var(--border));position:relative}.proof-console:before{content:"";background:var(--accent);height:2px;position:absolute;inset:0 0 auto}.proof-topbar,.proof-status{font:11px var(--font-mono);color:var(--muted);align-items:center;display:grid}.proof-topbar{border-bottom:1px solid var(--border);grid-template-columns:1fr auto 1fr;min-height:50px;padding:0 16px}.proof-brand,.proof-context,.proof-status>span{align-items:center;gap:8px;display:flex}.proof-brand strong{color:var(--fg)}.proof-context{border:1px solid var(--border);border-radius:var(--radius);background:var(--bg);padding:6px 10px}.proof-state{letter-spacing:.08em;justify-self:end}.scope,.severity,.safe-label{width:fit-content;font:600 10px var(--font-mono);letter-spacing:.07em;border-radius:5px;padding:3px 6px;display:inline-flex}.scope.s-project{color:var(--accent);background:var(--accent-soft)}.scope.s-local,.safe-label{color:var(--warn);background:var(--warn-soft)}.severity{color:var(--danger);background:var(--danger-soft)}.proof-workspace{grid-template-columns:300px minmax(0,1fr);min-height:520px;display:grid}.proof-sidebar{border-right:1px solid var(--border);background:var(--bg);padding:22px 14px}.proof-label{color:var(--muted);font:500 10px var(--font-mono);letter-spacing:.09em;text-transform:uppercase;margin:0}.agent-list{margin:12px 0 28px;padding:0;list-style:none}.agent-list li{border-bottom:1px solid var(--border);grid-template-columns:30px 1fr auto;align-items:center;gap:10px;padding:10px 8px;display:grid}.agent-mark{border:1px solid var(--border);border-radius:var(--radius);width:28px;height:28px;color:var(--muted);font:600 9px var(--font-mono);place-items:center;display:grid}.agent-list strong,.agent-list small{display:block}.agent-list strong{font-size:13px}.agent-list small{color:var(--muted);font:10px var(--font-mono);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.proof-filetree{color:var(--muted);font:11px var(--font-mono);gap:7px;padding:0 8px;display:grid}.proof-filetree .proof-label{margin-bottom:4px}.tree-child{color:var(--warn);padding-left:18px}.proof-main{flex-direction:column;min-width:0;padding:26px;display:flex}.finding-strip,.diff-head,.proof-actions{justify-content:space-between;align-items:center;gap:14px;display:flex}.finding-strip>div{gap:6px;display:flex}.finding-copy{border-bottom:1px solid var(--border);padding:30px 0 28px}.finding-copy h3{letter-spacing:-.025em;margin:0 0 12px;font-size:clamp(20px,3vw,30px);line-height:1.2}.finding-copy p{max-width:660px;color:var(--muted);margin:0}.finding-copy code,.diff-head strong{font-family:var(--font-mono)}.diff-head{padding:22px 0 12px}.diff-head strong{font-size:13px}.proof-diff{border-radius:var(--radius);flex:1;min-height:142px;padding:20px;line-height:2}.diff-meta{color:var(--muted)}.diff-add{min-width:100%;color:var(--accent);background:var(--accent-soft);display:inline-block}.proof-actions{color:var(--muted);font:11px var(--font-mono);margin-top:16px}.proof-actions .btn:disabled{cursor:default;opacity:.78}.proof-status{border-top:1px solid var(--border);background:var(--bg);grid-template-columns:1fr auto 1fr;min-height:34px;padding:0 14px}.proof-status>span:nth-child(2){justify-self:center}.proof-status>span:last-child{justify-self:end}.proof-caption{max-width:820px;color:var(--muted);font:11px/1.7 var(--font-mono);margin:16px 0 0}.proof-caption a{color:var(--accent);text-underline-offset:3px}.runtime-grid{grid-template-columns:repeat(5,1fr);gap:8px;display:grid}.section-intro{max-width:720px;color:var(--muted);margin:-18px 0 32px calc(33.3333% - 10.6667px)}.change-timeline{border-top:1px solid var(--border)}.change-entry{border-bottom:1px solid var(--border);grid-template-columns:1fr 2fr;gap:32px;padding:30px 0;display:grid}.change-meta{color:var(--muted);font:11px var(--font-mono);flex-direction:column;align-items:flex-start;gap:7px;display:flex}.change-status{border:1px solid var(--border);text-transform:uppercase;letter-spacing:.06em;border-radius:999px;padding:3px 7px}.change-status--observed{color:var(--warn);border-color:color-mix(in oklch, var(--warn) 45%, var(--border))}.change-status--promoted{color:var(--accent);border-color:color-mix(in oklch, var(--accent) 45%, var(--border))}.change-body h3{margin:0 0 8px;font-size:22px}.change-body>p{color:var(--muted);margin:0 0 20px}.change-diff{grid-template-columns:1fr 1fr;gap:8px;margin:0 0 16px;display:grid}.change-diff div{border:1px solid var(--border);border-radius:var(--radius);background:var(--surface);padding:14px}.change-diff dt{color:var(--muted);font:10px var(--font-mono);letter-spacing:.08em;text-transform:uppercase;margin-bottom:7px}.change-diff dd{margin:0}.change-source,.text-link{color:var(--accent);font:12px var(--font-mono);text-underline-offset:3px}.text-link{margin-top:24px;display:inline-block}.changelog-hero{padding:120px 0 72px}.changelog-hero h1{font-size:clamp(42px,6vw,72px)}.pill{border:1px solid var(--border);border-radius:var(--radius);background:var(--surface);font:12px var(--font-mono);padding:12px}.pill.primary{background:var(--accent-soft);border-color:color-mix(in oklch, var(--accent) 30%, var(--border))}.security{grid-template-columns:1.1fr 1fr;gap:12px;display:grid}.notice{border:1px solid var(--accent);border-radius:var(--radius-lg);background:var(--accent-soft);padding:28px}.notice h3{margin-top:0;font-size:24px}.checklist{border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface);margin:0;padding:26px 26px 26px 48px}.checklist li{margin:8px 0}.ci{grid-template-columns:1.2fr .8fr;gap:12px;display:grid}pre,.code-table{border:1px solid var(--border);border-radius:var(--radius-lg);background:var(--surface);font:12px/1.8 var(--font-mono);margin:0;padding:24px;overflow-x:auto}.code-table div{border-bottom:1px solid var(--border);grid-template-columns:42px 1fr;padding:5px 0;display:grid}.faq{grid-template-columns:1fr 1fr;gap:12px;display:grid}details{border:1px solid var(--border);border-radius:var(--radius);background:var(--surface);padding:20px}summary{cursor:pointer;font-weight:600}details p{color:var(--muted);margin:12px 0 0}.footer{border-top:1px solid var(--border);align-items:center;gap:20px;min-height:110px;display:flex}.footer .brand{color:var(--fg);margin-right:auto}:focus-visible{outline:2px solid var(--accent);outline-offset:3px}@keyframes pulse{50%{box-shadow:0 0 0 7px color-mix(in oklch, var(--accent) 0%, transparent)}0%,to{box-shadow:0 0 0 0 var(--accent-soft)}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}.live{animation:none}}@media (width<=760px){.shell{width:min(100% - 24px,1120px)}.nav{display:none}.hero{min-height:auto;padding:84px 0 58px}h1{font-size:clamp(42px,15vw,62px)}.command-row,.section-head,.security,.ci,.change-entry,.change-diff{grid-template-columns:1fr;display:grid}.section-intro{margin:-18px 0 28px}.grid,.runtime-grid,.faq{grid-template-columns:1fr}section{padding:64px 0}.console-line{grid-template-columns:62px 1fr}.console-line span:last-child{display:none}.proof-topbar{grid-template-columns:1fr auto}.proof-context{display:none}.proof-workspace{grid-template-columns:1fr}.proof-sidebar{border-right:0;border-bottom:1px solid var(--border);padding:18px 12px 12px}.agent-list{grid-template-columns:repeat(3,minmax(0,1fr));gap:6px;margin:10px 0 0;display:grid}.agent-list li{border:1px solid var(--border);border-radius:var(--radius);grid-template-columns:1fr auto;padding:9px}.agent-mark,.agent-list small,.proof-filetree{display:none}.proof-main{padding:20px 14px}.finding-strip{flex-direction:column-reverse;align-items:flex-start}.finding-copy{padding:22px 0}.finding-copy h3{overflow-wrap:anywhere}.diff-head{align-items:flex-end}.safe-label{text-align:right}.proof-diff{min-height:auto;padding:14px;font-size:10px}.proof-actions{flex-direction:column;align-items:stretch}.proof-status{grid-template-columns:1fr auto}.proof-status>span:nth-child(2){display:none}.footer{flex-wrap:wrap;padding:24px 0}.footer .brand{width:100%}}