@import "https://fonts.googleapis.com/css2?family=Space+Grotesk:wght@500;700&family=Inter:wght@400;500;600&family=JetBrains+Mono:wght@400;500;600&display=swap";:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--color-ink:#0f172a;--color-ink-deep:#0b1220;--color-mist:#e2e8f0;--color-mist-dim:color-mix(in srgb, var(--color-mist) 65%, var(--color-ink));--color-teal:#1aa3c4;--color-teal-bright:#5bc8de;--color-pass:#22c55e;--color-fail:#ef4444;--color-kill:#d63a2f;--color-line:color-mix(in srgb, var(--color-teal) 22%, transparent);--color-newsprint:#e2e8f0;--color-process-cyan:#1aa3c4;--color-kill-vermillion:#d63a2f;--color-cyan-deep:#5bc8de;--color-newsprint-dark:#0b1220;--color-ink-soft:var(--color-mist-dim);--font-display:"Space Grotesk", ui-sans-serif, sans-serif;--font-sans:"Inter", ui-sans-serif, system-ui, sans-serif;--font-mono:"JetBrains Mono", ui-monospace, SFMono-Regular, monospace;--space-gutter:1.75rem;--radius-sm:6px;--radius-md:8px;--radius-lg:12px;--radius-full:999px}@theme{--color-ink: #0f172a; --color-ink-deep: #0b1220; --color-mist: #e2e8f0; --color-teal: #1aa3c4; --color-teal-bright: #5bc8de; --color-pass: #22c55e; --color-fail: #ef4444; --color-kill: #d63a2f; --font-display: "Space Grotesk", ui-sans-serif, sans-serif; --font-sans: "Inter", ui-sans-serif, system-ui, sans-serif; --font-mono: "JetBrains Mono", ui-monospace, SFMono-Regular, monospace; --radius-sm: 6px; --radius-md: 8px; --radius-lg: 12px; --radius-full: 999px;}*,:before,:after{box-sizing:border-box}body{background-color:var(--color-ink);color:var(--color-mist);font-family:var(--font-sans);-webkit-font-smoothing:antialiased;margin:0;padding-top:4rem;font-size:1.05rem;line-height:1.6}::selection{background:var(--color-teal);color:var(--color-ink)}:focus-visible{outline:2px solid var(--color-teal);outline-offset:2px}.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}.ink-rule,.hairline-cyan{background:var(--color-line);border:0;height:1px;margin:0;display:block}.focus-on-black:focus-visible,.focus-on-paper:focus-visible{outline:2px solid var(--color-teal);outline-offset:2px}.skip-link{z-index:100;background:var(--color-teal);color:var(--color-ink);font-family:var(--font-sans);border-radius:0 0 var(--radius-md) 0;padding:.65rem 1.1rem;font-size:.85rem;font-weight:600;text-decoration:none;position:absolute;top:-100px;left:0}.skip-link:focus-visible{outline:2px solid var(--color-mist);outline-offset:2px;top:0}.reg-mark{vertical-align:middle;flex:none;display:inline-block}.container-x{max-width:76rem;padding-inline:var(--space-gutter);margin-inline:auto}.section-pad{padding-block:clamp(3.5rem,9vw,6rem)}.blueprint-bg{background-image:repeating-linear-gradient(0deg, color-mix(in srgb, var(--color-teal) 7%, transparent) 0 1px, transparent 1px 32px), repeating-linear-gradient(90deg, color-mix(in srgb, var(--color-teal) 7%, transparent) 0 1px, transparent 1px 32px)}@media (width<=719px){.container-x{padding-inline:1.1rem}}.site-header{z-index:50;background:color-mix(in srgb, var(--color-ink) 84%, transparent);-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);border-bottom:1px solid var(--color-line);height:4rem;position:fixed;top:0;left:0;right:0}.site-header-inner{max-width:76rem;height:100%;padding-inline:var(--space-gutter);justify-content:space-between;align-items:center;gap:1rem;margin-inline:auto;display:flex}.wordmark{font-family:var(--font-display);letter-spacing:-.02em;color:var(--color-mist);flex:none;font-size:1.45rem;font-weight:700;line-height:1;text-decoration:none}.wordmark:hover{color:var(--color-teal-bright)}.site-nav{align-items:center;gap:1.4rem;display:flex}.nav-link{font-family:var(--font-sans);color:var(--color-mist-dim);padding:.45rem 0;font-size:.92rem;font-weight:500;text-decoration:none;transition:color .16s ease-out,box-shadow .16s ease-out}.nav-link:hover,.nav-link[aria-current=page]{color:var(--color-mist);box-shadow:inset 0 -2px 0 var(--color-teal)}.menu-button{border:1px solid var(--color-line);border-radius:var(--radius-md);width:44px;height:44px;color:var(--color-mist);cursor:pointer;background:0 0;flex:none;justify-content:center;align-items:center;display:none}.menu-button:hover{border-color:var(--color-teal);color:var(--color-teal-bright)}.menu-button svg{width:20px;height:20px}.mobile-panel{z-index:49;background:var(--color-ink-deep);border-bottom:1px solid var(--color-line);padding:1rem var(--space-gutter) 1.5rem;flex-direction:column;gap:.25rem;display:flex;position:fixed;top:4rem;left:0;right:0}.mobile-panel[hidden]{display:none}.mobile-panel .nav-link{border-bottom:1px solid var(--color-line);padding:.7rem 0;font-size:1rem}.mobile-panel .nav-link:last-child{border-bottom:0}@media (width<=719px){.site-nav{display:none}.menu-button{display:inline-flex}.site-header-inner{padding-inline:1.1rem}}.lang-dropdown{flex:none;display:inline-flex;position:relative}.lang-button{font-family:var(--font-sans);color:var(--color-mist);border:1px solid var(--color-line);border-radius:var(--radius-full);cursor:pointer;background:0 0;align-items:center;gap:.5rem;padding:.5rem .95rem;font-size:.85rem;font-weight:500;transition:border-color .16s ease-out,color .16s ease-out;display:inline-flex}.lang-button:hover{border-color:var(--color-teal);color:var(--color-teal-bright)}.lang-button svg{flex:none;width:16px;height:16px}.lang-button .lang-chevron{opacity:.7;width:12px;height:12px}.lang-panel{z-index:60;background:var(--color-ink-deep);border:1px solid var(--color-line);border-radius:var(--radius-lg);min-width:11rem;margin:0;padding:.4rem;list-style:none;display:none;position:absolute;top:calc(100% + .5rem);right:0;box-shadow:0 16px 40px #00000080}.lang-panel--open{display:block}.lang-option{width:100%;font-family:var(--font-sans);color:var(--color-mist-dim);border-radius:var(--radius-sm);cursor:pointer;text-align:left;background:0 0;border:0;align-items:center;gap:.6rem;padding:.55rem .75rem;font-size:.88rem;text-decoration:none;transition:background .14s ease-out,color .14s ease-out;display:flex}.lang-option:hover{background:color-mix(in srgb, var(--color-teal) 12%, transparent);color:var(--color-mist)}.lang-option--active{color:var(--color-mist);background:color-mix(in srgb, var(--color-teal) 8%, transparent)}.lang-option:not(.lang-option--active) .lang-check{visibility:hidden}.lang-check{color:var(--color-teal);font-family:var(--font-mono);flex:none;margin-left:auto;font-size:.85rem;font-weight:600}.social-row{align-items:center;gap:.25rem;display:flex}.social-link{width:44px;height:44px;color:var(--color-mist-dim);border-radius:var(--radius-md);justify-content:center;align-items:center;text-decoration:none;transition:color .16s ease-out,background .16s ease-out;display:inline-flex}.social-link:hover{color:var(--color-teal);background:color-mix(in srgb, var(--color-teal) 10%, transparent)}.social-link svg{width:20px;height:20px;display:block}.hero{padding-block:clamp(3rem,8vw,5.5rem);position:relative;overflow:clip}.hero-grid{grid-template-columns:minmax(0,5fr) minmax(0,6fr);align-items:center;gap:clamp(2rem,5vw,4rem);display:grid}.hero-copy{flex-direction:column;align-items:flex-start;gap:1.25rem;min-width:0;display:flex}.hero-kicker{font-family:var(--font-mono);letter-spacing:.1em;text-transform:uppercase;color:var(--color-teal-bright);border:1px solid color-mix(in srgb, var(--color-teal) 45%, transparent);background:color-mix(in srgb, var(--color-teal) 8%, transparent);border-radius:var(--radius-full);align-items:center;gap:.5rem;padding:.4rem .95rem;font-size:.76rem;font-weight:500;display:inline-flex}.hero-title{font-family:var(--font-display);letter-spacing:-.03em;color:var(--color-mist);text-wrap:balance;margin:0;font-size:clamp(2.6rem,6vw,4.5rem);font-weight:700;line-height:1.02}.hero-lede{color:var(--color-mist-dim);max-width:52ch;margin:0;font-size:1.12rem;line-height:1.65}.hero-verdict{font-family:var(--font-mono);letter-spacing:.02em;color:var(--color-teal);margin:0;font-size:.92rem}.hero-cta-row{flex-wrap:wrap;align-items:center;gap:.9rem;display:flex}@media (width<=899px){.hero-grid{grid-template-columns:1fr}}.btn{font-family:var(--font-sans);border-radius:var(--radius-md);cursor:pointer;border:1px solid #0000;justify-content:center;align-items:center;gap:.55rem;padding:.85rem 1.5rem;font-size:.95rem;font-weight:600;line-height:1;text-decoration:none;transition:background .16s ease-out,color .16s ease-out,border-color .16s ease-out,transform .12s ease-out;display:inline-flex}.btn:active{transform:translateY(1px)}.btn:disabled{opacity:.45;cursor:not-allowed;transform:none}.btn--primary{background:var(--color-teal);border-color:var(--color-teal);color:var(--color-ink)}.btn--primary:hover{background:var(--color-teal-bright);border-color:var(--color-teal-bright);color:var(--color-ink)}.btn--ghost{border-color:var(--color-line);color:var(--color-mist);background:0 0}.btn--ghost:hover{border-color:var(--color-teal);color:var(--color-teal-bright);background:color-mix(in srgb, var(--color-teal) 8%, transparent)}.term-window{background:var(--color-ink-deep);border:1px solid var(--color-line);border-radius:var(--radius-lg);min-width:0;overflow:hidden;box-shadow:0 24px 60px -24px #000000b3}.term-bar{border-bottom:1px solid var(--color-line);align-items:center;gap:.8rem;padding:.7rem 1rem;display:flex}.term-dots{flex:none;align-items:center;gap:.45rem;display:flex}.term-dot{background:var(--color-mist-dim);border-radius:50%;width:11px;height:11px}.term-dot:first-child{background:var(--color-fail)}.term-dot:nth-child(2){background:var(--color-teal)}.term-dot:nth-child(3){background:var(--color-pass)}.term-title{min-width:0;font-family:var(--font-mono);color:var(--color-mist-dim);text-align:center;text-overflow:ellipsis;white-space:nowrap;flex:auto;font-size:.8rem;overflow:hidden}.term-body{font-family:var(--font-mono);color:var(--color-mist);margin:0;padding:1.1rem 1.25rem 1.4rem;font-size:.88rem;line-height:1.75;overflow-x:auto}.term-line{white-space:pre-wrap;overflow-wrap:anywhere;display:block}.term-prompt{color:var(--color-teal);-webkit-user-select:none;user-select:none;margin-right:.5rem}.term-ok{color:var(--color-pass)}.term-err{color:var(--color-fail)}.term-dim{color:var(--color-mist-dim)}.term-halt{color:var(--color-mist-dim);font-style:italic}.typing-caret{background:var(--color-teal);vertical-align:text-bottom;width:.58em;height:1.05em;margin-left:2px;animation:1.06s step-end infinite caret-blink;display:inline-block}.typing-caret--done{opacity:0;animation:none}.gate-pill{font-family:var(--font-mono);letter-spacing:.1em;text-transform:uppercase;color:var(--color-mist-dim);border:1px solid var(--color-line);border-radius:var(--radius-full);white-space:nowrap;align-items:center;gap:.45rem;padding:.32rem .75rem;font-size:.72rem;font-weight:600;display:inline-flex}.gate-pill--pass{color:var(--color-pass);border-color:color-mix(in srgb, var(--color-pass) 55%, transparent);background:color-mix(in srgb, var(--color-pass) 10%, transparent);animation:2.6s ease-in-out infinite pulse-soft}.gate-pill--fail{color:var(--color-fail);border-color:color-mix(in srgb, var(--color-fail) 55%, transparent);background:color-mix(in srgb, var(--color-fail) 10%, transparent)}.gate-pill--kill{color:var(--color-mist);background:var(--color-kill);border-color:var(--color-kill)}.receipt-card{background:var(--color-ink-deep);border:1px solid var(--color-line);border-radius:var(--radius-lg);font-family:var(--font-mono);color:var(--color-mist);padding:1.25rem 1.4rem;font-size:.87rem;line-height:1.7}.checkpoint-list{margin:0;padding:0;list-style:none}.checkpoint{align-items:flex-start;gap:1rem;padding:.9rem 0;display:flex;position:relative}.checkpoint-num{border:1px solid color-mix(in srgb, var(--color-teal) 45%, transparent);background:color-mix(in srgb, var(--color-teal) 8%, transparent);width:2rem;height:2rem;color:var(--color-teal-bright);font-family:var(--font-mono);border-radius:50%;flex:none;justify-content:center;align-items:center;font-size:.78rem;font-weight:600;display:inline-flex}.checkpoint-line{background:var(--color-line);pointer-events:none;width:1px;position:absolute;top:3.25rem;bottom:-.6rem;left:1rem}.reveal{opacity:0;transition:opacity .5s ease-out,transform .5s ease-out;transform:translateY(14px)}.reveal--visible{opacity:1;transform:none}.site-footer{background:var(--color-ink-deep);border-top:1px solid var(--color-line);margin-top:auto}.footer-inner{max-width:76rem;padding:3rem var(--space-gutter) 2rem;margin-inline:auto}.footer-grid{grid-template-columns:1.4fr 1fr 1fr 1fr;gap:2.5rem;display:grid}.footer-brand-col{flex-direction:column;align-items:flex-start;gap:1rem;min-width:0;display:flex}.footer-brand-col .wordmark{font-size:1.7rem}.footer-tagline{color:var(--color-mist-dim);max-width:34ch;margin:0;font-size:.95rem;line-height:1.6}.footer-col{flex-direction:column;align-items:flex-start;gap:.55rem;min-width:0;display:flex}.footer-heading{font-family:var(--font-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--color-mist-dim);margin:0 0 .35rem;font-size:.75rem;font-weight:600}.footer-link{color:var(--color-mist-dim);font-size:.92rem;text-decoration:none;transition:color .16s ease-out}.footer-link:hover{color:var(--color-teal)}.footer-bottom{border-top:1px solid var(--color-line);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;margin-top:2.5rem;padding-top:1.5rem;display:flex}.footer-rights{color:var(--color-mist-dim);margin:0;font-size:.85rem}.footer-edition{font-family:var(--font-mono);color:var(--color-mist-dim);margin:0;font-size:.8rem}.footer-locales{align-items:center;gap:.9rem;margin:0;padding:0;list-style:none;display:flex}.footer-locale-link{font-family:var(--font-mono);color:var(--color-mist-dim);font-size:.8rem;text-decoration:none;transition:color .16s ease-out}.footer-locale-link:hover{color:var(--color-teal)}.footer-locale-link[aria-current=page]{color:var(--color-teal-bright);text-decoration:underline;-webkit-text-decoration-color:var(--color-teal);text-decoration-color:var(--color-teal);text-underline-offset:3px}@media (width<=719px){.footer-grid{grid-template-columns:1fr;gap:2rem}.footer-inner{padding-inline:1.1rem}}.press-bar{background:var(--color-ink-deep);border-top:1px solid var(--color-line);border-bottom:1px solid var(--color-line);color:var(--color-mist);min-height:3.4rem;padding:.55rem var(--space-gutter);align-items:center;gap:.9rem;display:flex}.press-bar .reg-mark{color:var(--color-teal)}.press-bar-cmd{font-family:var(--font-mono);letter-spacing:.01em;color:var(--color-mist);-webkit-user-select:all;user-select:all;white-space:nowrap;scrollbar-width:thin;flex:auto;min-width:0;font-size:clamp(.82rem,1.6vw,1rem);font-weight:500;line-height:1.4;overflow-x:auto}.press-bar-copy{font-family:var(--font-mono);color:var(--color-mist);border:1px solid var(--color-line);border-radius:var(--radius-sm);cursor:pointer;background:0 0;flex:none;align-items:center;gap:.45rem;padding:.35rem .85rem;font-size:.82rem;font-weight:500;transition:background .14s ease-out,color .14s ease-out,border-color .14s ease-out;display:inline-flex}.press-bar-copy:hover{background:color-mix(in srgb, var(--color-teal) 14%, transparent);border-color:var(--color-teal);color:var(--color-teal-bright)}.press-bar-status{font-family:var(--font-mono);color:var(--color-mist-dim);white-space:nowrap;flex:none;min-height:1.35em;font-size:.78rem}.press-bar-divider{background:color-mix(in srgb, var(--color-mist) 22%, transparent);flex:none;align-self:stretch;width:1px;margin:.35rem 0}.press-bar-secondary{font-family:var(--font-mono);color:var(--color-mist-dim);white-space:nowrap;border-radius:var(--radius-sm);flex:none;padding:.35rem .85rem;font-size:.82rem;text-decoration:none;transition:background .14s ease-out,color .14s ease-out}.press-bar-secondary:hover{background:color-mix(in srgb, var(--color-teal) 12%, transparent);color:var(--color-mist)}@media (width<=560px){.press-bar{flex-wrap:wrap;row-gap:.4rem;padding:.6rem 1.1rem}.press-bar-cmd{flex:100%;order:1}.press-bar-copy{order:2}.press-bar-status{flex:auto;order:3}.press-bar-divider{display:none}.press-bar-secondary{flex:100%;order:4;padding-left:0}}.marquee{padding:1.25rem var(--space-gutter) 0}.marquee-label{font-family:var(--font-mono);letter-spacing:.08em;color:var(--color-mist-dim);margin:0 0 .6rem;font-size:.78rem;font-weight:500}.marquee-viewport{border-top:1px solid var(--color-line);border-bottom:1px solid var(--color-line);overflow:hidden}.marquee-track{width:max-content;animation:32s linear infinite flow-marquee;display:flex}.marquee-viewport:hover .marquee-track,.marquee-viewport:focus-within .marquee-track{animation-play-state:paused}.marquee-group{align-items:center;display:flex}.agent-chip{font-family:var(--font-mono);color:var(--color-mist-dim);border-right:1px solid var(--color-line);white-space:nowrap;padding:.55rem 1.1rem;font-size:.85rem;font-weight:500}.gate-band{border-top:1px solid var(--color-line);padding:2.75rem var(--space-gutter) 2.5rem;position:relative}.gate-rail{background:var(--color-line);pointer-events:none;width:1px;position:absolute;top:0;bottom:0;left:.9rem}.gate-rail-node{border:2px solid var(--color-teal);background:var(--color-ink-deep);pointer-events:none;width:9px;height:9px;position:absolute;top:2.75rem;left:.9rem;transform:translate(-50%)}.gate-watermark{font-family:var(--font-mono);color:color-mix(in srgb, var(--color-mist) 7%, transparent);pointer-events:none;-webkit-user-select:none;user-select:none;font-size:clamp(4rem,8vw,6.5rem);font-weight:500;line-height:1;position:absolute;top:1.4rem;right:1.2rem}.gate-band-inner{gap:var(--space-gutter);grid-template-columns:minmax(0,5fr) minmax(0,6fr);align-items:start;max-width:78rem;margin:0 auto;display:grid;position:relative}.gate-meta-header{align-items:flex-start;gap:1rem;display:flex}.gate-big-num{font-family:var(--font-mono);color:var(--color-teal-bright);font-size:2.4rem;font-weight:500;line-height:1}.gate-stage-name{font-family:var(--font-display);letter-spacing:-.02em;color:var(--color-mist);margin:0;font-size:1.85rem;font-weight:700;line-height:1.1}.gate-file-row{margin-top:.4rem}.gate-file-chip{font-family:var(--font-mono);color:var(--color-teal-bright);background:color-mix(in srgb, var(--color-teal) 10%, transparent);border:1px solid var(--color-line);border-radius:var(--radius-sm);padding:.15rem .5rem;font-size:.82rem}.gate-tagline{font-family:var(--font-sans);color:var(--color-mist);max-width:38ch;margin:.9rem 0 1.4rem;font-size:1.05rem;font-weight:500;line-height:1.6}.artifact-preview{background:var(--color-ink-deep);border:1px solid var(--color-line);border-radius:var(--radius-lg);overflow:hidden}.artifact-topbar{border-bottom:1px solid var(--color-line);align-items:center;gap:.7rem;padding:.55rem .85rem;display:flex}.artifact-doc-icon{font-family:var(--font-mono);border:1px solid var(--color-line);border-radius:var(--radius-sm);color:var(--color-mist-dim);padding:.1rem .35rem;font-size:.72rem;font-weight:500}.artifact-path{font-family:var(--font-mono);color:var(--color-mist-dim);text-overflow:ellipsis;white-space:nowrap;flex:auto;min-width:0;font-size:.82rem;overflow:hidden}.artifact-pill{font-family:var(--font-mono);letter-spacing:.04em;border:1px solid var(--color-line);border-radius:var(--radius-full);color:var(--color-mist-dim);white-space:nowrap;padding:.15rem .5rem;font-size:.72rem;font-weight:500}.artifact-pill--halt{background:var(--color-mist);border-color:var(--color-mist);color:var(--color-ink)}.artifact-pill--pass,.artifact-pill--verified,.artifact-pill--accepted{background:color-mix(in srgb, var(--color-pass) 14%, transparent);border-color:color-mix(in srgb, var(--color-pass) 55%, transparent);color:var(--color-pass)}.artifact-pill--frozen{background:0 0}.artifact-body{font-family:var(--font-mono);color:var(--color-mist);padding:.85rem .85rem .7rem;font-size:.85rem;line-height:1.65}.art-line{border-bottom:1px solid var(--color-line);gap:.7rem;padding:.12rem .3rem;display:flex}.art-line:last-child{border-bottom:0}.art-ln{color:var(--color-mist-dim);-webkit-user-select:none;user-select:none;text-align:right;flex:none;min-width:1.4em}.art-line--warn .art-seg--fill{background:color-mix(in srgb, var(--color-teal) 14%, transparent);padding:0 .25rem}.art-line--cut{opacity:.62}.art-line--pass .art-seg--check{color:var(--color-pass);font-weight:600}.art-seg--kw{color:var(--color-mist);font-weight:600}.art-seg--muted{color:var(--color-mist-dim)}.art-seg--cite{color:var(--color-teal-bright)}.art-seg--inv{color:var(--color-mist);font-weight:600}.art-seg--field{color:var(--color-mist-dim)}.art-seg--ok{color:var(--color-pass);font-weight:600}.art-seg--tag-in{background:var(--color-pass);color:var(--color-ink);border-radius:var(--radius-sm);margin-right:.5rem;padding:.08rem .4rem;font-size:.72rem;font-weight:600}.art-seg--tag-out{border:1px solid var(--color-line);color:var(--color-mist-dim);border-radius:var(--radius-sm);margin-right:.5rem;padding:.08rem .4rem;font-size:.72rem}.artifact-footer{font-family:var(--font-mono);color:var(--color-mist-dim);border-top:1px solid var(--color-line);padding:.5rem .85rem;font-size:.76rem}@media (width<=719px){.gate-band-inner{grid-template-columns:1fr}.gate-band{padding-left:1.1rem;padding-right:1.1rem}}.proof-terminal{background:var(--color-ink-deep);border:1px solid var(--color-line);border-radius:var(--radius-lg);color:var(--color-mist);flex-direction:column;gap:.9rem;height:100%;padding:1.5rem 1.75rem;display:flex}.proof-head{flex-wrap:wrap;align-items:center;gap:.75rem;display:flex}.status-badge{min-width:2rem;height:2rem;font-family:var(--font-mono);border:1px solid var(--color-line);border-radius:var(--radius-sm);color:var(--color-mist-dim);flex:none;justify-content:center;align-items:center;padding:0 .5rem;font-size:.8rem;font-weight:500;display:inline-flex}.status-badge--fail{border-color:color-mix(in srgb, var(--color-fail) 60%, transparent);color:var(--color-fail)}.status-badge--fail .fail-dot{background:var(--color-fail);border-radius:2px;width:.65rem;height:.65rem;display:block}.status-badge--pass{border-color:color-mix(in srgb, var(--color-pass) 60%, transparent);color:var(--color-pass)}.proof-badge-label{font-family:var(--font-mono);letter-spacing:.06em;color:var(--color-mist-dim);font-size:.78rem;font-weight:500}.proof-title{font-family:var(--font-display);letter-spacing:-.02em;color:var(--color-mist);width:100%;margin:0;font-size:1.45rem;font-weight:700;line-height:1.1}.proof-intro{color:var(--color-mist);max-width:46ch;margin:0;font-size:.98rem;line-height:1.6}.proof-intro code{font-family:var(--font-mono);color:var(--color-teal-bright);background:color-mix(in srgb, var(--color-mist) 10%, transparent);border-radius:var(--radius-sm);padding:.1rem .3rem;font-size:.88em}.proofs{flex-direction:column;margin:0;padding:0;list-style:none;display:flex}.proofs li{border-bottom:1px solid var(--color-line);color:var(--color-mist);padding:.5rem 0;font-size:.92rem}.proofs li:last-child{border-bottom:0}.proof-receipt{font-family:var(--font-mono);border-top:1px solid color-mix(in srgb, var(--color-mist) 22%, transparent);margin:0;padding-top:.9rem;font-size:.85rem;line-height:1.7}.receipt-line{display:block}.receipt-cmd{color:var(--color-mist)}.receipt-prompt{color:var(--color-teal);-webkit-user-select:none;user-select:none;margin-right:.4rem}.receipt-ok{color:var(--color-pass)}.receipt-err{color:var(--color-fail)}.receipt-halt{color:var(--color-mist-dim);font-style:italic}.receipt-mark{-webkit-user-select:none;user-select:none;margin-right:.4rem}.kill-line{color:inherit;font-weight:600;display:inline-block;position:relative}.kill-line-strike{width:106%;height:.55em;color:var(--color-kill-vermillion);pointer-events:none;clip-path:inset(0 100% 0 0);animation:.76s cubic-bezier(.16,1,.3,1) .42s both kill-draw;position:absolute;top:47%;left:-3%;transform:translateY(-50%)rotate(-2deg)}.kill-line-strike svg{width:100%;height:100%;display:block}@keyframes flow-marquee{to{transform:translate(-50%)}}@keyframes kill-draw{to{clip-path:inset(0)}}@keyframes pulse-soft{0%,to{box-shadow:0 0 0 0 color-mix(in srgb, var(--color-pass) 40%, transparent)}50%{box-shadow:0 0 0 6px #0000}}@keyframes caret-blink{0%,49%{opacity:1}50%,to{opacity:0}}@media (prefers-reduced-motion:reduce){.marquee-track,.gate-pill--pass,.typing-caret,.kill-line-strike{animation:none}.kill-line-strike{clip-path:inset(0)}.typing-caret{opacity:1}.reveal{opacity:1;transition:none;transform:none}}