:root{color-scheme:light dark;--bg: #f8f7f3;--surface: #ffffff;--sunk: #f0eee8;--fg: #1c1b19;--muted: #5d5950;--line: #e2ded4;--line-strong: #c9c4b8;--accent: #2a49b8;--ok: #1d6a3e;--warn: #835400;--catch: #b21f14;--catch-bg: #fcefec;--catch-line: #e9b4ad;--mark-bg: #ffe08a;--mark-fg: #1c1b19;--code-kw: #8a2a6b;--code-str: #1d6a3e;--code-num: #9a4a00;--code-com: #6b675e;--code-type: #2a49b8;--code-goal: #b21f14;--fixture-bg: #fff4d6;--fixture-fg: #5c3d00;--font: ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--mono: ui-monospace, "SF Mono", SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;--r: 10px;--r-s: 6px;--s1: 4px;--s2: 8px;--s3: 12px;--s4: 16px;--s5: 24px;--s6: 32px;--s7: 48px;--s8: 72px;--measure: 46rem;--ease: cubic-bezier(.2, 0, 0, 1)}@media(prefers-color-scheme:dark){:root{--bg: #131210;--surface: #1b1a17;--sunk: #23211d;--fg: #ece8df;--muted: #a49f94;--line: #2e2c27;--line-strong: #47443d;--accent: #93acff;--ok: #74c995;--warn: #e3b052;--catch: #ff8f80;--catch-bg: #2b1714;--catch-line: #6e2c24;--mark-bg: #6b5300;--mark-fg: #fff6d8;--code-kw: #e59ad0;--code-str: #8fd6a8;--code-num: #f0b072;--code-com: #8f8a80;--code-type: #9fb5ff;--code-goal: #ff8f80;--fixture-bg: #3a2c08;--fixture-fg: #ffe3a3}}*,*:before,*:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--fg);font:16px/1.55 var(--font);overflow-x:hidden}h1,h2,h3,h4{line-height:1.25;margin:0;font-weight:620}h1{font-size:1.35rem;letter-spacing:-.01em}h2{font-size:1.2rem}h3{font-size:1rem}p{margin:0}a{color:var(--accent)}code,kbd,pre,.mono{font-family:var(--mono);font-size:.875em}button{font:inherit;color:inherit}:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:4px}.muted{color:var(--muted)}.nowrap{white-space:nowrap}.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.stack>*+*{margin-top:var(--s4)}.stack-l>*+*{margin-top:var(--s6)}.stack>.code-fig:not(:first-child),.stack>ol:not(:first-child),.stack>ul:not(:first-child),.stack>.funnel:not(:first-child){margin-top:var(--s4)}.stack-l>.code-fig:not(:first-child),.stack-l>ol:not(:first-child),.stack-l>ul:not(:first-child){margin-top:var(--s6)}.code-fig{margin:0}.row{display:flex;flex-wrap:wrap;gap:var(--s3);align-items:center}.shell{max-width:calc(var(--measure) + 2 * var(--s5));margin:0 auto;padding:var(--s5) var(--s4) var(--s8)}.topbar{display:flex;align-items:baseline;justify-content:space-between;gap:var(--s4);flex-wrap:wrap}.topbar .fn{font-family:var(--mono);font-size:.9rem;color:var(--muted);overflow-wrap:anywhere}.screen{margin-top:var(--s6)}.screen-title{display:flex;align-items:baseline;gap:var(--s3);flex-wrap:wrap;margin-bottom:var(--s5)}.fixture-banner{background:var(--fixture-bg);color:var(--fixture-fg);border-radius:var(--r-s);padding:var(--s2) var(--s3);font-size:.875rem;margin-bottom:var(--s4)}.fixture-banner b{font-weight:650}.conn{font-size:.8125rem;color:var(--muted)}.err-inline{color:var(--catch);font-size:.9rem}.stepper{margin-top:var(--s5)}.stepper ol{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(6,minmax(0,1fr));gap:var(--s1)}.stepper li{min-width:0}.stepper button{width:100%;text-align:left;background:none;border:0;border-top:3px solid var(--line);padding:var(--s2) 0 0;color:var(--muted);font-size:.8125rem;cursor:pointer;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.stepper button .n{font-variant-numeric:tabular-nums;margin-right:.35em}.stepper button[disabled]{cursor:default;opacity:.75}.stepper .done button{border-top-color:var(--line-strong);color:var(--fg)}.stepper .current button{border-top-color:var(--fg);color:var(--fg);font-weight:620}.stepper .viewing button{border-top-color:var(--accent);color:var(--accent)}.stepper .skipped button{text-decoration:line-through;color:var(--muted)}.stepper-hint{margin-top:var(--s2);font-size:.75rem;color:var(--muted)}@media(max-width:560px){.stepper ol{grid-template-columns:repeat(3,minmax(0,1fr));row-gap:var(--s2)}}kbd{display:inline-block;min-width:1.5em;padding:0 .35em;border:1px solid var(--line-strong);border-bottom-width:2px;border-radius:4px;background:var(--surface);color:var(--muted);font-size:.75rem;line-height:1.5;text-align:center}.btn{display:inline-flex;align-items:center;gap:var(--s2);border:1px solid var(--line-strong);background:var(--surface);border-radius:var(--r-s);padding:.45rem .8rem;cursor:pointer;font-size:.9375rem}.btn:hover:not([disabled]){border-color:var(--fg)}.btn.primary{background:var(--fg);color:var(--bg);border-color:var(--fg)}.btn.primary kbd{background:transparent;color:inherit;border-color:currentColor;opacity:.85}.btn[disabled]{cursor:not-allowed;opacity:.6}.linklike{background:none;border:0;padding:0;color:var(--accent);cursor:pointer;text-decoration:underline;text-underline-offset:2px}.help{position:fixed;right:var(--s4);bottom:var(--s4);width:min(22rem,calc(100vw - 2 * var(--s4)));max-height:calc(100vh - 2 * var(--s4));overflow:auto;background:var(--surface);border:1px solid var(--line-strong);border-radius:var(--r);padding:var(--s4) var(--s5);box-shadow:0 8px 30px #0000001f;z-index:20}.help dl{display:grid;grid-template-columns:auto 1fr;gap:var(--s2) var(--s4);margin:var(--s3) 0 0;font-size:.875rem}.help dt{white-space:nowrap}.help-group{margin-top:var(--s4)}.help-group .label{font-size:.6875rem}.help-group dl{margin-top:var(--s2)}.help-note{font-size:.8125rem;color:var(--muted);margin-top:var(--s1)}.help dd{margin:0;color:var(--muted)}.panel{background:var(--surface);border:1px solid var(--line);border-radius:var(--r);padding:var(--s5)}.panel.quiet{background:transparent}.label{font-size:.75rem;letter-spacing:.04em;text-transform:uppercase;color:var(--muted);font-weight:600}.kv{display:grid;grid-template-columns:max-content 1fr;gap:var(--s1) var(--s4);font-size:.9rem}.kv dt{color:var(--muted)}.kv dd{margin:0;min-width:0;overflow-wrap:anywhere}.tier{display:inline-flex;flex-direction:column;gap:2px}.tier-label{display:inline-block;font-size:.8125rem;font-weight:620;padding:.1rem .5rem;border-radius:999px;border:1px solid var(--line-strong);width:fit-content}.tier-proved .tier-label,.tier-proved-trusting-compiler .tier-label{border-color:var(--ok);color:var(--ok)}.tier-verified-to-k .tier-label{border-color:var(--accent);color:var(--accent)}.tier-not-proved .tier-label{color:var(--muted)}.tier-sentence{font-size:.8125rem;color:var(--muted);max-width:40rem}.evidence{font-size:1rem;line-height:1.7}.evidence-note{margin-top:var(--s2);font-size:.8125rem;color:var(--muted)}.prov{position:relative;display:inline}.prov-trigger{background:none;border:0;padding:0;font:inherit;color:inherit;cursor:help;text-decoration:underline dotted var(--line-strong);text-underline-offset:3px;text-decoration-thickness:1px}.prov-trigger:hover{text-decoration-color:var(--fg)}.prov-pop{position:absolute;left:0;top:calc(100% + 6px);z-index:10;width:max-content;max-width:min(24rem,calc(100vw - 2rem));background:var(--surface);color:var(--fg);border:1px solid var(--line-strong);border-radius:var(--r-s);padding:var(--s3) var(--s4);box-shadow:0 6px 24px #0000001f;font-size:.8125rem;line-height:1.45;text-align:left;font-weight:400;text-transform:none;letter-spacing:normal;white-space:normal}.prov-pop .what{margin-bottom:var(--s2)}.prov-pop dl{display:grid;grid-template-columns:max-content 1fr;gap:2px var(--s3);margin:0}.prov-pop dt{color:var(--muted)}.prov-pop dd{margin:0;font-family:var(--mono);font-size:.75rem;overflow-wrap:anywhere}@media(max-width:480px){.prov-pop{position:fixed;left:var(--s4);right:var(--s4);top:auto;bottom:var(--s4);max-width:none;width:auto}}.code{background:var(--sunk);border-radius:var(--r-s);overflow-x:auto;font-family:var(--mono);font-size:.8125rem;line-height:1.6;padding:var(--s3) 0;margin:0}.code .line{display:flex;padding-right:var(--s4);min-width:fit-content}.code .ln{flex:none;width:3ch;margin:0 var(--s3) 0 var(--s3);text-align:right;color:var(--code-com);user-select:none}.code .src{white-space:pre}.code .line.has-mark{background:color-mix(in srgb,var(--mark-bg) 30%,transparent)}.tk-kw{color:var(--code-kw)}.tk-str{color:var(--code-str)}.tk-num{color:var(--code-num)}.tk-com{color:var(--code-com);font-style:italic}.tk-type{color:var(--code-type)}.tk-goal{color:var(--code-goal);font-weight:700}mark.span{background:var(--mark-bg);color:var(--mark-fg);border-radius:2px;box-shadow:0 0 0 1px var(--mark-bg)}.code-pair{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(18rem,100%),1fr));gap:var(--s3)}.code-pair-col{min-width:0;display:flex;flex-direction:column;gap:var(--s1)}.code-pair-head{font-size:.8125rem;color:var(--muted)}.code-pair-rejected{color:var(--catch);font-weight:620}.code-pair-col.rejected .code{box-shadow:inset 3px 0 0 var(--catch)}.code-caption{font-size:.8125rem;color:var(--muted);margin-top:var(--s2)}.val{font-family:var(--mono);overflow-wrap:anywhere}.val-null{color:var(--muted)}.outcome-tag{font-family:var(--font);font-size:.8125rem;color:var(--muted);margin-right:.4em}details.saw{border-top:1px solid var(--line);padding-top:var(--s2);margin-top:var(--s4)}details.saw>summary{cursor:pointer;font-size:.875rem;color:var(--muted);list-style:none;display:block;padding-left:1.25em;text-indent:-1.25em}details.saw>summary::-webkit-details-marker{display:none}details.saw>summary:before{content:"▸";display:inline-block;width:1.25em;text-indent:0;transition:transform .12s var(--ease)}details.saw[open]>summary:before{transform:rotate(90deg)}details.saw .meta{font-size:.8125rem;color:var(--muted);margin:var(--s2) 0}details.saw pre{white-space:pre-wrap;overflow-wrap:anywhere;background:var(--sunk);padding:var(--s3) var(--s4);border-radius:var(--r-s);font-size:.78rem;line-height:1.5;max-height:28rem;overflow:auto;margin:0}.funnel{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--s2)}@media(max-width:560px){.funnel{grid-template-columns:repeat(2,minmax(0,1fr))}}.funnel .gate{display:flex;flex-direction:column;gap:var(--s1);min-width:0;padding:var(--s2) var(--s3);font-size:.8125rem;background:var(--surface);border:1px solid var(--line);border-radius:var(--r-s)}.funnel .gate-head{display:flex;flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:0 var(--s2)}.funnel .st{font-weight:620;font-size:.875rem;min-width:0}.funnel .gate-word{font-family:var(--mono);font-size:.75rem;font-weight:700;white-space:nowrap;color:var(--muted)}.funnel .gate-note{line-height:1.45;overflow-wrap:anywhere}.funnel .ms{color:var(--muted);font-size:.75rem;font-variant-numeric:tabular-nums}.funnel .pass .gate-word{color:var(--ok)}.funnel .fail{border-color:var(--catch-line)}.funnel .fail .gate-word{color:var(--catch)}.funnel .gate-proof.fail{border-color:var(--line-strong)}.funnel .gate-proof.fail .gate-word{color:var(--muted)}.funnel .running{border-color:var(--accent)}.funnel .running .gate-word{color:var(--accent)}.funnel .gate-smt.pass{border-color:color-mix(in srgb,var(--accent) 40%,var(--line))}.funnel .skipped,.funnel .pending,.funnel .not-run{background:var(--sunk)}.funnel .skipped .gate-note,.funnel .not-run .gate-note{color:var(--muted)}.catch{border:1px solid var(--catch-line);border-left:6px solid var(--catch);background:var(--catch-bg);border-radius:var(--r);padding:var(--s5) var(--s5) var(--s4);color:var(--fg)}@media(prefers-reduced-motion:no-preference){.catch{animation:catch-in .2s var(--ease) both}@keyframes catch-in{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:none}}}.catch-head{display:flex;justify-content:space-between;gap:var(--s4);align-items:flex-start;flex-wrap:wrap}.catch-kicker{font-size:.75rem;letter-spacing:.05em;text-transform:uppercase;font-weight:700;color:var(--catch)}.catch h3{font-size:1.35rem;font-weight:680;margin-top:var(--s1);letter-spacing:-.01em}.catch-by{margin-top:var(--s2);font-size:.95rem}.catch-speed{text-align:right;min-width:9rem}.catch-speed .was{font-size:1.35rem;font-weight:650;color:var(--muted);text-decoration:line-through;text-decoration-thickness:2px;text-decoration-color:var(--catch);font-variant-numeric:tabular-nums}.catch-speed del .prov-trigger{text-decoration:line-through;text-decoration-thickness:2px;text-decoration-color:var(--catch)}.catch-speed .ci{font-size:.8125rem;color:var(--muted);text-decoration:line-through;text-decoration-color:var(--catch)}.catch-speed .note{font-size:.8125rem;color:var(--muted);max-width:14rem}.catch-reason{margin-top:var(--s4);font-size:1.125rem;line-height:1.5;font-weight:520;max-width:40rem}.catch-reason .derived{display:block;font-size:.75rem;color:var(--muted);font-weight:400;margin-top:2px}.catch-cx{margin-top:var(--s4);display:grid;grid-template-columns:minmax(0,.8fr) minmax(0,1fr) minmax(0,1fr);border:1px solid var(--catch-line);border-radius:var(--r-s);background:var(--surface);overflow:hidden}.catch-cx>div{padding:var(--s3) var(--s4);min-width:0}.catch-cx>div+div{border-left:1px solid var(--catch-line)}.catch-cx .v{font-size:1.375rem;font-weight:600;margin-top:var(--s1);line-height:1.3}.catch-cx .v .val{overflow-wrap:anywhere}.catch-cx .cand{background:var(--catch-bg);box-shadow:inset 0 3px 0 var(--catch)}.catch-cx .cand .v,.catch-cx .cand .label{color:var(--catch)}.catch-cx .v .outcome-tag{font-size:.875rem}.catch-cx .v .outcome-tag+.val{font-size:1.125rem}.catch-cx-note{margin-top:var(--s2);font-size:.875rem;font-weight:560}@media(max-width:560px){.catch{padding:var(--s4)}.catch-speed{text-align:left}.catch-cx{grid-template-columns:1fr}.catch-cx>div+div{border-left:0;border-top:1px solid var(--catch-line)}}.catch-goal{margin-top:var(--s4)}.catch-z3{margin-top:var(--s4);padding:var(--s3) var(--s4);background:var(--surface);border:1px solid var(--catch-line);border-radius:var(--r-s)}.catch-bounds{display:flex;flex-wrap:wrap;gap:var(--s2) var(--s6);margin:var(--s2) 0 0}.catch-bounds>div{display:flex;flex-direction:column}.catch-bounds dt{font-size:.8125rem;color:var(--muted)}.catch-bounds dd{margin:0;font-family:var(--mono);font-size:1rem;font-weight:650}.catch-z3-note{margin-top:var(--s3);font-size:.875rem;max-width:42rem}.catch .code-pair{margin-top:var(--s4)}.catch .code-pair .code{background:var(--surface)}.catch-extra{margin-top:var(--s4)}.catch-goal .code{background:var(--surface);border:1px solid var(--catch-line)}.catch-why{margin-top:var(--s4);border-top:1px solid var(--catch-line);padding-top:var(--s3)}.catch-why-toggle{display:inline-flex;gap:var(--s2);align-items:center;background:none;border:0;padding:0;cursor:pointer;color:var(--fg);font-size:.875rem}.catch-why-toggle .q{display:inline-grid;place-items:center;width:1.4em;height:1.4em;border-radius:50%;border:1px solid currentColor;font-size:.75rem;font-weight:700}.catch-why-body{margin-top:var(--s3);font-size:.875rem}.catch-why-body p+p{margin-top:var(--s2)}.replay{display:flex;flex-wrap:wrap;gap:var(--s2) var(--s3);align-items:center;font-size:.8125rem;color:var(--muted);padding:var(--s2) 0;border-bottom:1px solid var(--line)}.replay .btn{padding:.2rem .55rem;font-size:.8125rem}.replay input[type=range]{flex:1 1 8rem;min-width:6rem;accent-color:var(--fg)}.spec-lines{list-style:none;padding:0;margin:0}.spec-lines li{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:var(--s4);padding:var(--s3) 0;border-bottom:1px solid var(--line)}.spec-lines code{white-space:pre-wrap;overflow-wrap:anywhere}@media(max-width:560px){.spec-lines li{grid-template-columns:1fr;gap:var(--s1)}}.cx-pair{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--s3);font-size:.9rem}@media(max-width:560px){.cx-pair{grid-template-columns:1fr}}.carve{border-left:4px solid var(--warn);padding:var(--s2) var(--s4);background:var(--surface);border-radius:0 var(--r-s) var(--r-s) 0}.carve .label{color:var(--warn)}dialog.confirm{border:1px solid var(--line-strong);border-radius:var(--r);background:var(--surface);color:var(--fg);padding:var(--s5);max-width:min(32rem,calc(100vw - 2rem))}dialog.confirm::backdrop{background:#00000059}.gallery section{padding-top:var(--s6)}.gallery section>h2{margin-bottom:var(--s4)}.gallery .gallery-note{margin-bottom:var(--s3);font-size:.875rem;color:var(--muted)}.jobbar{margin-top:var(--s4);display:flex;flex-direction:column;gap:var(--s2)}.job-running{display:flex;align-items:baseline;gap:var(--s2);font-size:.875rem;flex-wrap:wrap}.job-dot{width:.5rem;height:.5rem;border-radius:50%;background:var(--accent);flex:none;align-self:center;animation:job-pulse 1.6s ease-in-out infinite}@keyframes job-pulse{0%,to{opacity:.35}50%{opacity:1}}@media(prefers-reduced-motion:reduce){.job-dot{animation:none}}.job-failed{background:var(--catch-bg);border:1px solid var(--catch-line);border-radius:var(--r-s);padding:var(--s2) var(--s3);overflow-wrap:anywhere;white-space:pre-wrap}.conn-note{font-size:.8125rem;color:var(--muted);margin-top:var(--s2)}.tc-list{list-style:none;margin:var(--s3) 0 0;padding:0;display:flex;flex-direction:column;gap:var(--s3);font-size:.875rem}.tc-list li{display:grid;grid-template-columns:4.5rem 1fr;gap:var(--s1) var(--s3)}.tc-st{font-weight:620;font-size:.8125rem}.tc-st.ok{color:var(--ok)}.tc-st.warn{color:var(--warn)}.tc-st.fail{color:var(--catch)}.tc-detail{color:var(--muted);overflow-wrap:anywhere}.tc-fix code{font-size:.8125rem}.help.tc{right:auto;left:var(--s4);width:min(30rem,calc(100vw - 2 * var(--s4)))}.topbar-tools{margin-left:auto}@media(max-width:560px),(pointer:coarse){.btn,.replay .btn,.stepper button,.catch-why-toggle{min-height:44px}.replay input[type=range]{height:44px}}:root{--live: #1d6a3e;--live-bg: #e8f4ec;--replayed: #5d5950;--replayed-bg: #efece5}@media(prefers-color-scheme:dark){:root{--live: #74c995;--live-bg: #16261c;--replayed: #c9c4b8;--replayed-bg: #2a2824}}body{background:var(--bg)}.site{max-width:76rem;margin:0 auto;padding:var(--s7) var(--s4) var(--s8)}.landing+.site{border-top:1px solid var(--line)}.site-head{display:flex;flex-wrap:wrap;gap:var(--s4);align-items:baseline;margin-bottom:var(--s5)}.site-head .kicker{margin:0;font-size:1.3rem;font-weight:650}.site-head nav{display:flex;flex-wrap:wrap;gap:0 var(--s4)}.site-head>a,.site-head nav a{display:inline-flex;align-items:center;min-height:44px}.site-head nav a[aria-current=page]{font-weight:600;text-decoration:none}.rec-pick{display:inline-flex;flex-wrap:wrap;align-items:baseline;gap:0 var(--s2)}.rec-pick-caution{font-size:.8rem;font-weight:600;color:var(--warn)}.rec-caution{max-width:var(--measure);margin:0 auto var(--s5);padding:var(--s3) var(--s4);border:1px solid var(--line-strong);border-left:4px solid var(--warn);border-radius:var(--r-s);background:var(--surface)}.rec-caution p{margin:0}.rec-caution p+p,.rec-caution ul+p{margin-top:var(--s2)}.rec-caution ul{margin:var(--s2) 0 0;padding-left:var(--s5)}.rec-caution code{font-family:var(--mono);font-size:.85rem;color:var(--muted);overflow-wrap:anywhere}.opener{max-width:var(--measure);margin:var(--s6) auto var(--s7)}.opener-line{font-size:1.35rem;line-height:1.4;margin-top:var(--s5)}.panel{margin-top:var(--s7)}.panel>h2{font-size:1.3rem;margin-bottom:var(--s3)}.replay-frame{border:1px solid var(--line);border-radius:var(--r);padding:var(--s4);background:var(--surface)}.replay-frame .shell{max-width:none;margin:0;padding:0}.badge{display:inline-block;font-size:.8rem;font-weight:600;padding:1px var(--s2);border-radius:var(--r-s);white-space:nowrap}.badge.live{color:var(--live);background:var(--live-bg)}.badge.replayed,.badge.recorded{color:var(--replayed);background:var(--replayed-bg)}.badge.hand-written,.badge.yours{color:var(--fixture-fg);background:var(--fixture-bg)}.live-cand{border:1px solid var(--line);border-radius:var(--r);background:var(--surface);padding:var(--s4);margin-top:var(--s4)}.live-cand h3{margin:0 0 var(--s2);font-size:1.05rem}.live-edit{width:100%;box-sizing:border-box;font:.9rem/1.45 var(--mono);padding:var(--s3);border:1px solid var(--line-strong);border-radius:var(--r-s);background:var(--sunk);color:var(--fg)}.live-label{margin:var(--s3) 0}.live-stages{list-style:none;padding:0;margin:0;display:grid;gap:var(--s2)}.live-stages>li{display:grid;grid-template-columns:13rem 6rem 1fr;gap:var(--s3);align-items:baseline;padding:var(--s2) var(--s3);border-radius:var(--r-s);background:var(--sunk)}.live-stages>li.fail .st{color:var(--catch);font-weight:600}.live-stages>li.pass .st{color:var(--ok)}.live-stages .ms{font-variant-numeric:tabular-nums;color:var(--muted)}.live-stages .facts{grid-column:3;margin:0;padding-left:var(--s4);color:var(--muted);font-size:.9rem}.live-catch{margin-top:var(--s4)}.about{max-width:var(--measure)}@media(max-width:40rem){.live-stages>li{grid-template-columns:1fr auto}.live-stages .sum,.live-stages .facts{grid-column:1 / -1}}.run-state{font-size:.8125rem;color:var(--muted);white-space:nowrap}.run-checking,.run-unknown{font-style:italic}.run-cannot{display:grid;gap:var(--s2);justify-items:start}.run-toggle{background:none;border:0;padding:0;min-height:44px;font:inherit;font-size:.875rem;color:var(--muted);text-decoration:underline;text-underline-offset:3px;cursor:pointer;text-align:left}.run-toggle:hover{color:var(--fg)}.run-toggle:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.run-note{font-size:.875rem;color:var(--muted)}.run-list{list-style:none;margin:0;padding:0;width:100%;border-top:1px solid var(--line)}.run-list li{display:grid;gap:2px;padding:var(--s2);border-bottom:1px solid var(--line);color:var(--muted);cursor:default;min-width:0}.run-name{font-family:var(--mono);font-size:.875rem;overflow-wrap:anywhere}.run-path{font-family:var(--mono);font-size:.75rem;overflow-wrap:anywhere;min-width:0}.run-reason{font-size:.8125rem;line-height:1.45;overflow-wrap:anywhere}.run-foot{font-size:.75rem;color:var(--muted)}.run-scan{font-size:.8125rem;color:var(--muted)}.run-state.run-unknown{white-space:normal}ul[aria-busy=true].stale{position:relative;cursor:progress}ul[aria-busy=true].stale:after{content:"";position:absolute;left:0;right:0;top:0;height:2px;background:var(--accent);opacity:.7;transform-origin:left;animation:run-updating 1.1s ease-in-out infinite}@keyframes run-updating{0%{transform:scaleX(.05)}70%{transform:scaleX(1)}to{transform:scaleX(1);opacity:0}}@media(prefers-reduced-motion:reduce){ul[aria-busy=true].stale:after{animation:none;transform:none}}[role=option].wait{cursor:default}.sel-label{display:flex;gap:var(--s2);align-items:center;font-weight:620}.sel-input{width:100%;font:inherit;font-family:var(--mono);font-size:1rem;color:var(--fg);background:var(--surface);border:1px solid var(--line-strong);border-radius:var(--r-s);padding:.6rem .8rem}.sel-input::placeholder{color:var(--muted);opacity:1;font-family:var(--font)}.sel-input:focus-visible,.sel-area:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.sel-help{font-size:.8125rem;color:var(--muted)}.sel .stack>.sel-help{margin-top:var(--s2)}.sel-list{list-style:none;margin:0;padding:var(--s1);max-height:22rem;overflow-y:auto;border:1px solid var(--line);border-radius:var(--r-s);background:var(--surface)}.sel-list li{display:grid;grid-template-columns:minmax(8rem,1fr) minmax(0,2fr) 11rem;align-items:center;gap:var(--s1) var(--s4);min-height:44px;padding:var(--s2) var(--s3);border-radius:4px;cursor:pointer;min-width:0}.sel-list li>.run-state{justify-self:end;white-space:normal;text-align:right}@media(max-width:40rem){.sel-list li{grid-template-columns:minmax(0,1fr) auto}.sel-list li>.sel-path{grid-column:1 / -1;grid-row:2}}.sel-list li.on{background:var(--sunk);box-shadow:inset 3px 0 0 var(--accent)}.sel-name{font-family:var(--mono);font-size:.9375rem;overflow-wrap:anywhere}.sel-name b{font-weight:700;color:var(--accent)}.sel-path{font-family:var(--mono);font-size:.8125rem;color:var(--muted);overflow-wrap:anywhere;min-width:0}.sel-area{width:100%;font-family:var(--mono);font-size:.875rem;line-height:1.5;color:var(--fg);background:var(--surface);border:1px solid var(--line-strong);border-radius:var(--r-s);padding:var(--s3);resize:vertical}.sel-fn{display:grid;gap:var(--s1);max-width:24rem}.sel-fn label{font-size:.875rem;color:var(--muted)}.sel-opening{font-size:.9375rem}.sel-cli{font-size:.8125rem;color:var(--muted);padding-top:var(--s4);border-top:1px solid var(--line)}.sel-cli code{overflow-wrap:anywhere}.carve-band{position:sticky;top:0;z-index:5;background:var(--surface);border:1px solid var(--line-strong);border-left:6px solid var(--warn);border-radius:0 var(--r-s) var(--r-s) 0;padding:var(--s2) var(--s4);box-shadow:0 4px 14px #0000000f}.carve-band-head{font-size:.75rem;letter-spacing:.04em;text-transform:uppercase;font-weight:700;color:var(--warn)}.carve-band-sub{text-transform:none;letter-spacing:normal;font-weight:400;color:var(--muted);margin-left:var(--s2)}.carve-band ul{list-style:none;margin:var(--s1) 0 0;padding:0}.carve-band li{font-size:.9375rem;overflow-wrap:anywhere}.carve-band li+li{margin-top:var(--s1)}.carve-band-cond{white-space:pre-wrap}.pre-list{list-style:none;margin:0;padding:0}.pre{display:grid;grid-template-columns:9.5rem minmax(0,1fr);gap:var(--s1) var(--s4);padding:var(--s3) 0;border-bottom:1px solid var(--line)}.pre:first-child{border-top:1px solid var(--line)}.pre-kind{font-size:.8125rem;color:var(--muted);padding-top:.1rem}.pre-words{min-width:0;overflow-wrap:anywhere}.pre-exact{grid-column:2;font-size:.8125rem}.pre-exact>summary{cursor:pointer;color:var(--muted);width:fit-content}.pre-exact .kv{margin-top:var(--s2)}.pre-exact code{white-space:pre-wrap;overflow-wrap:anywhere}@media(max-width:560px){.pre{grid-template-columns:1fr}.pre-exact{grid-column:1}}.carve-band.carve-receipt{position:static;border-left-width:8px;padding:var(--s4) var(--s5);box-shadow:none}.carve-receipt .carve-band-head{font-size:.8125rem}.carve-receipt-lead{margin-top:var(--s2);font-size:1.0625rem;font-weight:600;max-width:42rem}.carve-receipt ul{margin-top:var(--s3)}.carve-receipt li{font-size:1rem}@media(max-width:560px){.carve-band.carve-receipt{padding:var(--s3) var(--s4)}}.fx-choices{border:0;margin:0;padding:0;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--s2)}.fx-choice{display:flex;gap:var(--s2);align-items:flex-start;padding:var(--s3);border:1px solid var(--line);border-radius:var(--r-s);background:var(--surface);cursor:pointer;min-width:0}.fx-choice.on{border-color:var(--fg)}.fx-choice.off{opacity:.6;cursor:not-allowed}.fx-choice input{margin-top:.3rem;accent-color:var(--fg)}.fx-choice input:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.fx-choice-body{display:flex;flex-direction:column;gap:2px;min-width:0}.fx-choice-title{font-weight:620;font-size:.9375rem}.fx-choice-words{font-size:.8125rem;color:var(--muted)}@media(max-width:640px){.fx-choices{grid-template-columns:1fr}}.op-head.panel{padding:var(--s4) 0 var(--s3);border:0;border-bottom:1px solid var(--line);border-radius:0}.op-head [role=status]{min-height:1.3em}.op-incumbent{border-color:var(--line-strong)}.op-bench p+p{margin-top:var(--s1)}.op-bench-verdict{font-size:.9rem}.op-bench-faster .op-bench-verdict{color:var(--ok)}.op-bench-overlap .op-bench-verdict,.op-bench-no-baseline .op-bench-verdict{color:var(--muted)}.op-accepted-note{font-size:.9rem;border-left:3px solid var(--warn);padding-left:var(--s3)}.op-accept .op-consequence{border-left:3px solid var(--warn);padding-left:var(--s3)}.op-accept .op-consequence p+p{margin-top:var(--s2)}.op-accept .fx-choices{grid-template-columns:repeat(auto-fill,minmax(9rem,1fr))}.op-final .kv{grid-template-columns:max-content minmax(0,1fr)}.op-readout-rows{margin:0;padding-left:1.2rem;font-size:.9375rem}.op-readout-rows li+li{margin-top:var(--s2)}.op-cands{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:var(--s5);overflow-anchor:auto}.op-cand h4{font-size:1rem;font-weight:620}@media(max-width:560px){.op-final .kv{grid-template-columns:1fr}.op-final .kv dd{margin-bottom:var(--s2)}.op-cand.panel,.op-accept.panel,.op-final.panel,.op-incumbent.panel{padding:var(--s4)}}.op-work{display:flex;flex-direction:column;gap:var(--s5)}.op-cards{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(auto-fill,minmax(min(14rem,100%),1fr));gap:var(--s2);overflow-anchor:auto}.op-card{height:100%;display:flex;flex-direction:column;gap:var(--s1);padding:var(--s1) var(--s4) var(--s3);background:var(--surface);border:1px solid var(--line);border-radius:var(--r);cursor:pointer;font-size:.875rem}.op-card:hover{border-color:var(--line-strong)}.op-card.on{background:var(--bg);border-color:var(--fg);box-shadow:inset 0 0 0 .5px var(--fg)}.op-card-head{display:flex;justify-content:space-between;align-items:center;gap:0 var(--s2);flex-wrap:wrap}.op-card-head .tier{padding-bottom:var(--s1)}.op-card-pick{min-height:44px;padding:0;margin:0;background:none;border:0;text-align:left;cursor:pointer;font-weight:650;font-size:.9375rem;color:var(--fg)}.op-card-speed{font-family:var(--mono);font-size:.8125rem;font-variant-numeric:tabular-nums}.op-card-outcome{font-size:.8125rem;color:var(--muted)}.op-incumbent{background:var(--sunk);border-radius:var(--r-s);padding:var(--s3) var(--s4);font-size:.9375rem}.op-incumbent.stack>*+*{margin-top:var(--s2)}.op-details{min-width:0}.op-detail[hidden]{display:none}.op-cand{border-top:1px solid var(--line);padding-top:var(--s5)}.op-cand-head{display:flex;flex-wrap:wrap;align-items:flex-end;justify-content:space-between;gap:var(--s3) var(--s5)}.op-kicker{font-family:var(--mono);font-size:.8125rem;color:var(--muted)}.op-cand-title h4{font-size:1.5rem;font-weight:680;letter-spacing:-.015em;margin-top:var(--s1)}.op-big{display:flex;align-items:baseline;flex-wrap:wrap;gap:var(--s2)}.op-big-x{font-family:var(--mono);font-size:2rem;font-weight:700;font-variant-numeric:tabular-nums;line-height:1.1}.op-big-ci{font-family:var(--mono);font-size:.8125rem}.op-why{background:var(--surface);border:1px solid var(--line);border-radius:var(--r);padding:var(--s4) var(--s5);display:flex;flex-direction:column;gap:var(--s2)}.op-why h5{margin:0}.op-why-reason{font-family:var(--mono);font-size:.875rem;line-height:1.55;overflow-wrap:anywhere}.op-why-narrowed{font-size:.875rem;color:var(--muted)}@media(max-width:560px){.op-why{padding:var(--s4)}.op-big-x{font-size:1.6rem}}.op-claim.stack>*+*{margin-top:var(--s2)}.stack>.fx-choices:not(:first-child){margin-top:var(--s4)}.tr-lead{font-size:1.0625rem;max-width:40rem}.tr-sig code{font-size:.9375rem;overflow-wrap:anywhere}.tr-sites{list-style:none;margin:0;padding:0}.tr-sites>li+li{margin-top:var(--s4)}.tr-choices{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--s3)}.tr-choice{border:1px solid var(--line);border-radius:var(--r);padding:var(--s4);background:var(--surface);display:flex;flex-direction:column;gap:var(--s3);justify-content:space-between}.tr-choice p{font-size:.9375rem}.tr-choice.on{border-color:var(--fg);box-shadow:inset 4px 0 0 var(--fg)}.tr-chosen{font-weight:620}@media(max-width:560px){.tr-choices{grid-template-columns:1fr}}.tr-notes{margin:0;padding-left:1.2em}details.tr-model{border-top:1px solid var(--line);padding-top:var(--s3)}details.tr-model>summary{cursor:pointer;font-weight:620;width:fit-content}details.tr-model>summary .muted{font-weight:400;font-family:var(--mono);font-size:.875rem}details.tr-model>.stack{margin-top:var(--s3)}.tr-hash{overflow-wrap:anywhere}.tr-next{padding-top:var(--s4);border-top:1px solid var(--line)}.tr-why{font-size:.9375rem}.tr-refused-title{font-size:1.25rem}.tr-reason{font-size:1.0625rem;max-width:40rem;overflow-wrap:anywhere}.tr-still h3{font-size:.9375rem}.tr-still p,.tr-tested p{max-width:40rem}.tr-specials{display:block;max-width:40rem;font-size:.9375rem}.ag-says{display:grid;gap:var(--s1)}.ag-says-text{font-size:1.125rem;line-height:1.5;max-width:40rem}.ag-agreed{border:1px solid var(--ok);border-left-width:6px;border-radius:var(--r);padding:var(--s4) var(--s5);background:var(--surface)}.ag-agreed .label{color:var(--ok)}.ag-agreed>*+*{margin-top:var(--s2)}.ag-hashline{font-size:.9375rem}.ag-hash{overflow-wrap:anywhere;word-break:break-all}.ag-ch-head{display:flex;justify-content:space-between;align-items:baseline;gap:var(--s3);flex-wrap:wrap}.ag-ch-head h3{font-size:1.125rem}.ag-keys{font-size:.8125rem;color:var(--muted)}.ag-run{max-width:42rem}.ag-run b{font-weight:620}.ag-ch-list{list-style:none;margin:0;padding:0;display:grid;gap:var(--s3)}.ag-ch{border:1px solid var(--line);border-radius:var(--r);background:var(--surface);padding:var(--s4) var(--s5)}.ag-ch:not(.ruled):not(.on){cursor:pointer}.ag-ch.on{border-color:var(--accent);box-shadow:inset 4px 0 0 var(--accent)}.ag-ch.ruled{background:transparent}.ag-cells{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--s4)}.ag-cells>div{min-width:0;display:grid;align-content:start;gap:var(--s1)}.ag-big{font-size:1.125rem;font-weight:560;overflow-wrap:anywhere}.ag-origin{font-size:.75rem;color:var(--muted)}.ag-ruling{margin-top:var(--s3);padding-top:var(--s3);border-top:1px solid var(--line);font-size:.9375rem;overflow-wrap:anywhere}.ag-ruling .label{margin-right:var(--s2)}.ag-later{margin-top:var(--s3);font-size:.875rem}.ag-rule{margin-top:var(--s4);padding-top:var(--s4);border-top:1px solid var(--line)}.ag-rule>.ag-q+.row{margin-top:var(--s3)}.ag-q{font-weight:560}.ag-fine{font-size:.8125rem;color:var(--muted);max-width:40rem}.ag-rule .ag-fine{margin-top:var(--s3)}.ag-carve-menu{list-style:none;margin:0;padding:0;display:grid;gap:var(--s2)}.ag-carve-menu .btn{justify-content:space-between;text-align:left;width:100%}.ag-field{display:grid;gap:var(--s1)}.ag-field label{font-size:.875rem;color:var(--muted)}.ag-field textarea,.ag-field input{width:100%;font:inherit;color:var(--fg);background:var(--bg);border:1px solid var(--line-strong);border-radius:var(--r-s);padding:.5rem .7rem}.ag-field input.mono{font-family:var(--mono);font-size:.9375rem}.ag-field textarea::placeholder,.ag-field input::placeholder{color:var(--muted);opacity:1}@media(max-width:560px){.ag-ch{padding:var(--s4)}.ag-cells{grid-template-columns:1fr;gap:var(--s3)}}.ag-bar{padding:var(--s4) 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.ag-why{margin-top:var(--s3);font-size:.9375rem;max-width:42rem;overflow-wrap:anywhere}.ag-cols{display:grid;gap:var(--s6);grid-template-columns:minmax(0,1fr)}.ag-cols>*{min-width:0}.ag-lines{list-style:none;margin:0;padding:0;counter-reset:ln}.ag-lines li{padding:var(--s2) var(--s3);border-radius:var(--r-s);border-left:3px solid transparent;cursor:default}.ag-lines li+li{margin-top:2px}.ag-lines li:hover,.ag-lines li.on{background:var(--sunk);border-left-color:var(--mark-bg)}.ag-line-lean{display:block;margin-top:var(--s1);white-space:pre-wrap;overflow-wrap:anywhere;color:var(--muted)}.ag-props>summary{cursor:pointer;color:var(--muted);font-size:.875rem;width:fit-content}.ag-props ul{margin:var(--s3) 0 0;padding-left:1.2em}.ag-props li+li{margin-top:var(--s2)}.ag-props code{white-space:pre-wrap;overflow-wrap:anywhere;color:var(--muted)}.ag-invalid{border-left:4px solid var(--catch);padding:var(--s2) var(--s4)}.ag-invalid p{color:var(--catch)}.ag-invalid pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:.8125rem;margin:var(--s2) 0 0}.ag-table{width:100%;border-collapse:collapse;font-size:.875rem}.ag-table th{text-align:left;font-size:.75rem;letter-spacing:.04em;text-transform:uppercase;color:var(--muted);font-weight:600;padding:0 var(--s2) var(--s2);border-bottom:1px solid var(--line-strong)}.ag-table td{padding:var(--s2);border-bottom:1px solid var(--line);vertical-align:top;overflow-wrap:anywhere}.ag-table th:first-child,.ag-table td:first-child{padding-left:0}.ag-table td:first-child{min-width:7ch}.ag-table td:first-child .val{overflow-wrap:normal;word-break:break-word}@media(max-width:560px){.ag-table thead{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0)}.ag-table,.ag-table tbody,.ag-table tr,.ag-table td{display:block;width:100%}.ag-table tr{padding:var(--s2) 0;border-bottom:1px solid var(--line)}.ag-table td{border:0;padding:2px 0;display:grid;grid-template-columns:7.5rem minmax(0,1fr);gap:var(--s2)}.ag-table td:before{content:attr(data-label);color:var(--muted);font-size:.75rem}}.ag-history>summary{cursor:pointer;color:var(--muted);width:fit-content}.ag-hist-list{list-style:none;margin:var(--s4) 0 0;padding:0}.ag-hist-list>li+li{margin-top:var(--s5);padding-top:var(--s5);border-top:1px solid var(--line)}.ag-inval-list{margin:0;padding-left:1.2em}.ag-inval-list li+li{margin-top:var(--s3)}.ag-inval-list .muted{font-size:.875rem;overflow-wrap:anywhere}dialog.ag-dialog{width:min(36rem,calc(100vw - 2rem));max-height:calc(100dvh - 2rem);overflow:hidden}dialog.ag-dialog[open]{display:flex;flex-direction:column}dialog.ag-dialog .ag-dlg-body{overflow-y:auto;min-height:0;flex:1 1 auto;padding-right:var(--s2)}.ag-dlg-lead{margin-top:var(--s3);font-size:1.0625rem;font-weight:560}.ag-dlg-body{margin-top:var(--s4);font-size:.9375rem}.ag-dlg-body h3{font-size:.75rem;letter-spacing:.04em;text-transform:uppercase;color:var(--muted);margin-top:var(--s4);margin-bottom:var(--s2)}.ag-dlg-body ul,.ag-dlg-body ol{margin:0;padding-left:1.2em}.ag-dlg-body li+li{margin-top:var(--s1)}.ag-dlg-hash{margin-top:var(--s5);padding:var(--s3) var(--s4);background:var(--sunk);border-radius:var(--r-s)}.ag-dlg-actions{margin-top:var(--s4);padding-top:var(--s4);border-top:1px solid var(--line);justify-content:flex-end;flex:none}.ag-sub{font-size:.9375rem;padding-top:var(--s3)}.ag-lines{border:1px solid var(--line);border-radius:var(--r);overflow:hidden}.ag-lines li{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:0;padding:0;border-radius:0;border-left-width:3px}.ag-lines li+li{margin-top:0;border-top:1px solid var(--line)}.ag-lines li>*{padding:var(--s2) var(--s3)}.ag-lines .ag-line-lean{display:block;margin-top:0;background:var(--sunk);color:var(--fg);font-size:.8125rem}.ag-lines li.on .ag-line-lean,.ag-lines li:hover .ag-line-lean{background:color-mix(in srgb,var(--mark-bg) 30%,var(--sunk))}.ag-line-en{font-size:.9375rem;min-width:0;overflow-wrap:anywhere}@media(max-width:560px){.ag-lines li{grid-template-columns:1fr}}.ag-fault{margin-top:var(--s3);font-size:.875rem;color:var(--warn)}.ag-fault b{font-weight:650}.ag-caution{margin-top:var(--s3);font-size:.875rem;border-left:3px solid var(--warn);padding-left:var(--s3)}.ag-cover{background:var(--surface);border:1px solid var(--line);border-radius:var(--r);padding:var(--s4) var(--s5);display:flex;flex-direction:column;gap:var(--s3)}.ag-cover.minority{border-color:var(--catch-line)}.ag-cover-sub{font-size:.8125rem;font-weight:620}.ag-cover-list{margin:var(--s1) 0 0;padding-left:1.2em;font-size:.9375rem}.ag-cover-list li+li{margin-top:var(--s1)}.ag-cover-carves li{overflow-wrap:anywhere}.ag-cover-warn{background:var(--catch-bg);color:var(--catch);border:1px solid var(--catch-line);border-left:6px solid var(--catch);border-radius:var(--r-s);padding:var(--s3) var(--s4);font-weight:620}@media(max-width:560px){.ag-cover{padding:var(--s4)}}.ag-fault-cell{display:block;font-size:.75rem;color:var(--warn)}.fx-small{font-size:.8125rem}.fx-stack-s>*+*{margin-top:var(--s2)}.pv-screen .pv-thm-words{font-size:1.0625rem;max-width:40rem}.pv-screen .pv-pre-list{margin:var(--s2) 0 0;padding-left:1.2rem;font-size:.9rem}.pv-screen .pv-pre-list li+li{margin-top:var(--s1)}.pv-screen .pv-pre-list .pv-carve-item .label{color:var(--warn)}.fx-fields{display:flex;flex-wrap:wrap;gap:var(--s3) var(--s4)}.fx-field{display:flex;flex-direction:column;gap:var(--s1);font-size:.875rem;color:var(--muted);min-width:0}.fx-field.fx-wide{flex:1 1 16rem}.fx-field input{font:inherit;font-size:1rem;color:var(--fg);background:var(--surface);border:1px solid var(--line-strong);border-radius:var(--r-s);padding:.4rem .6rem;width:9rem;max-width:100%}.fx-field.fx-wide input{width:100%}.fx-field input:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.pv-budget{display:grid;grid-template-columns:repeat(2,minmax(0,12rem));gap:var(--s4);align-items:end}.pv-budget-cell{border-top:2px solid var(--line-strong);padding-top:var(--s2)}.pv-budget-v{font-size:1.35rem;font-weight:600;font-variant-numeric:tabular-nums}.pv-budget-note{grid-column:1 / -1;font-size:.8125rem}.pv-verdict.pv-not-proved .pv-fail-line{font-size:1.25rem;font-weight:650}.pv-verdict p{overflow-wrap:anywhere}.pv-verdict .pv-trust-note{font-size:.9rem;border-left:3px solid var(--warn);padding-left:var(--s3);max-width:40rem}.pv-attempts{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:var(--s4)}.pv-attempt.pv-pending{padding:var(--s3) 0}.pv-attempt.pv-bad{border-left:3px solid var(--line-strong)}.pv-attempt.pv-ok{border-left:3px solid var(--ok)}.pv-attempt-head .pv-ok-word{color:var(--ok)}.pv-attempt-head .pv-bad-word{color:var(--fg)}.pv-diags{list-style:none;margin:0;padding:0}.pv-diags>li+li{margin-top:var(--s3)}.pv-offers .panel{padding:var(--s4) var(--s5)}@media(max-width:560px){.pv-budget{grid-template-columns:repeat(2,minmax(0,1fr))}.pv-offers .panel,.pv-attempt.panel{padding:var(--s4)}}.pv-screen .prov-trigger,.op-screen .prov-trigger{text-align:left}.pv-budget-sentence{max-width:40rem}.pv-budget-sentence .fx-small{display:block;margin-top:var(--s1)}.copyblock{display:flex;flex-wrap:wrap;gap:var(--s2) var(--s3);align-items:center}.copyblock pre{flex:1 1 16rem;min-width:0;margin:0;background:var(--sunk);border-radius:var(--r-s);padding:var(--s2) var(--s3);overflow-x:auto;font-size:.875rem;user-select:all}.copyblock pre code{font-size:inherit}.copyblock .copy-status{font-size:.8125rem;color:var(--muted);min-width:0}.fx-stack-s{display:flex;flex-direction:column;gap:var(--s2)}.dl-screen .dl-not-modified{font-size:1.0625rem;font-weight:600;border-left:4px solid var(--ok);padding:var(--s2) var(--s4);background:var(--surface);border-radius:0 var(--r-s) var(--r-s) 0}.dl-screen .op-accepted-note{font-size:.9rem;border-left:3px solid var(--warn);padding-left:var(--s3)}.dl-files{list-style:none;margin:0;padding:0}.dl-files li{display:flex;flex-direction:column;gap:2px;padding:var(--s2) 0;border-bottom:1px solid var(--line);min-width:0}.dl-files code{overflow-wrap:anywhere}.dl-files .dl-file-what{font-size:.875rem;color:var(--muted)}.dl-diff{background:var(--sunk);border-radius:var(--r-s);overflow-x:auto;font-family:var(--mono);font-size:.8125rem;line-height:1.6;padding:var(--s3) var(--s4);margin-left:0;margin-right:0;margin-bottom:0}.dl-diff code{white-space:pre;font-size:inherit;display:inline-block;min-width:100%}.dl-diff .dl-d-file{color:var(--muted)}.dl-diff .dl-d-hunk{color:var(--accent)}.dl-diff .dl-d-line{display:block;min-width:fit-content}.dl-diff .dl-d-del{background:color-mix(in srgb,var(--catch) 12%,transparent)}.dl-diff .dl-d-add{background:color-mix(in srgb,var(--ok) 14%,transparent)}.dl-diff .dl-d-sign{display:inline-block;width:1.5ch;user-select:none;color:var(--muted)}.dl-diff .dl-d-del .dl-d-sign{color:var(--catch)}.dl-diff .dl-d-add .dl-d-sign{color:var(--ok)}.dl-kicker{font-size:.8125rem;color:var(--muted);letter-spacing:.02em;overflow-wrap:anywhere}.dl-title-row{display:flex;flex-wrap:wrap;align-items:baseline;gap:var(--s2) var(--s4)}.dl-receipt h3#dl-title{font-size:1.5rem;font-weight:680;letter-spacing:-.015em}.dl-carve-count{font-size:.875rem;font-weight:650;color:var(--warn)}.dl-speed-x{font-family:var(--mono);font-size:2rem;font-weight:700;font-variant-numeric:tabular-nums}.dl-speed-ci{font-family:var(--mono);font-size:.875rem}.dl-speed-carve{font-size:.875rem;border-left:3px solid var(--warn);padding-left:var(--s3);max-width:40rem}.dl-claim{background:var(--surface);border:1px solid var(--line);border-radius:var(--r);padding:var(--s4) var(--s5)}.dl-claim h4,.dl-gates h4{margin:0}.dl-sub{font-size:.8125rem;color:var(--muted);margin-bottom:var(--s1)}.dl-theorem{margin:0;background:var(--sunk);border-radius:var(--r-s);padding:var(--s3) var(--s4);font-size:.8125rem;line-height:1.55;white-space:pre-wrap;overflow-wrap:anywhere}.dl-gates dl{margin:var(--s2) 0 0}.dl-gates dl>div{display:grid;grid-template-columns:9rem minmax(0,1fr);gap:var(--s3);padding:var(--s2) 0;border-bottom:1px solid var(--line);font-size:.9375rem}.dl-gates dt{color:var(--muted)}.dl-gates dd{margin:0;overflow-wrap:anywhere}.dl-weak{max-width:42rem}.dl-left-list{list-style:none;margin:0;padding:0}.dl-left-list li{padding:var(--s3) 0;border-bottom:1px solid var(--line);display:flex;flex-direction:column;gap:var(--s2)}.dl-left-head{display:flex;flex-wrap:wrap;align-items:baseline;gap:var(--s2) var(--s3)}.dl-left-speed{font-family:var(--mono);font-size:.875rem}.dl-left-why{font-size:.875rem;color:var(--muted);overflow-wrap:anywhere}@media(max-width:560px){.dl-claim{padding:var(--s4)}.dl-gates dl>div{grid-template-columns:1fr;gap:2px}.dl-speed-x{font-size:1.6rem}}.landing{background:var(--bg);color:var(--fg);overflow-x:clip}.landing .ld-wrap{max-width:1200px;margin:0 auto;padding-left:var(--s5);padding-right:var(--s5)}.landing .ld-mono,.landing code,.landing pre{font-family:var(--mono)}.landing pre{margin:0;white-space:pre-wrap;overflow-wrap:anywhere}.landing .ld-muted{color:var(--muted)}.landing .ld-small{font-size:.82rem}.landing .ld-strong{font-weight:600}.landing .ld-ok,.landing .ld-tone-ok{color:var(--ok)}.landing .ld-bad{color:var(--catch)}.landing .ld-tone-z3{color:var(--accent)}.landing .ld-tone-warn{color:var(--warn)}.landing .ld-tone-none{color:var(--muted)}.landing .ld-eyebrow{font-size:.75rem;font-weight:700;color:var(--muted);letter-spacing:.04em;text-transform:uppercase}.landing h1,.landing h2{font-weight:700;letter-spacing:-.02em}.landing h2{font-size:clamp(1.6rem,1.2rem + 1.6vw,2.1rem);line-height:1.15}.landing .ld-header{border-bottom:1px solid var(--line)}.landing .ld-nav{display:flex;flex-wrap:wrap;align-items:center;gap:var(--s2) var(--s6);padding-top:var(--s3);padding-bottom:var(--s3)}.landing .ld-brand{display:inline-flex;align-items:center;gap:10px;min-height:44px;color:var(--fg);text-decoration:none;font-weight:700;font-size:1.06rem}.landing .ld-nav-links{display:flex;flex-wrap:wrap;gap:0 var(--s5);flex:1 1 auto;font-size:.9rem}.landing .ld-nav-links a{display:inline-flex;align-items:center;min-height:44px;color:var(--muted);text-decoration:none}.landing .ld-nav-links a:hover{color:var(--fg);text-decoration:underline}.landing .ld-btn{display:inline-flex;align-items:center;justify-content:center;min-height:44px;padding:10px 18px;border:1px solid var(--line-strong);border-radius:var(--r-s);background:transparent;color:var(--fg);font:inherit;font-size:.95rem;text-decoration:none;cursor:pointer}.landing .ld-btn:hover{border-color:var(--fg)}.landing .ld-btn-primary{background:var(--fg);border-color:var(--fg);color:var(--bg);font-weight:600}.landing .ld-btn-quiet{font-size:.9rem;padding:8px 14px}.landing .ld-hero{display:flex;flex-wrap:wrap;gap:var(--s7);align-items:flex-start;padding-top:var(--s8);padding-bottom:var(--s7)}.landing .ld-hero-text{flex:1 1 460px;min-width:0;display:flex;flex-direction:column;gap:22px}.landing .ld-kicker{margin:0;letter-spacing:.02em}.landing .ld-hero h1{font-size:clamp(2rem,1.2rem + 3.4vw,3.25rem);line-height:1.05;letter-spacing:-.025em}.landing .ld-lede{margin:0;font-size:clamp(1.05rem,1rem + .3vw,1.2rem);line-height:1.55;max-width:34rem}.landing .ld-install{display:flex;flex-direction:column;gap:var(--s2);max-width:34rem}.landing .ld-install p{margin:0}.landing .ld-term{background:var(--fg);color:var(--bg);border-radius:var(--r);padding:var(--s4) 18px;font-size:.875rem;line-height:1.75}.landing .ld-prompt{color:var(--line-strong)}.landing .ld-ctas{display:flex;flex-wrap:wrap;gap:var(--s3)}.landing .ld-check{display:inline-flex;align-items:center;gap:var(--s2);min-height:44px;cursor:pointer;font-size:.95rem}.landing .ld-check input{width:20px;height:20px;margin:0;accent-color:var(--accent)}.landing .ld-catch{flex:1 1 520px;min-width:0;background:var(--surface);border:1px solid var(--catch-line);border-radius:var(--r);overflow:hidden}.landing .ld-catch-head{background:var(--catch-bg);padding:14px 20px;display:flex;flex-wrap:wrap;gap:var(--s2) var(--s4);align-items:center;border-bottom:1px solid var(--catch-line);font-size:.82rem}.landing .ld-catch-tag{font-family:var(--mono);font-weight:700;color:var(--catch);letter-spacing:.04em;text-transform:uppercase}.landing .ld-catch-body{padding:20px;display:flex;flex-direction:column;gap:18px}.landing .ld-catch-body p{margin:0}.landing .ld-catch-h{font-size:1.35rem;line-height:1.3;letter-spacing:-.01em}.landing .ld-panes{display:grid;grid-template-columns:minmax(0,1fr);gap:var(--s3)}.landing .ld-pane{display:flex;flex-direction:column;gap:6px;min-width:0}.landing .ld-pane-title{font-size:.75rem;font-weight:600;color:var(--muted)}.landing .ld-code{font-size:.78rem;line-height:1.55;background:var(--sunk);border-radius:var(--r-s);padding:var(--s3);height:100%}.landing .ld-removed{color:var(--catch);text-decoration:line-through}.landing .ld-gates{margin:0;padding:0;list-style:none;display:flex;flex-direction:column;gap:var(--s2);font-size:.9rem}.landing .ld-gates li{display:flex;gap:10px;align-items:baseline}.landing .ld-gate-st{font-family:var(--mono);font-weight:700;width:46px;flex:none}.landing .ld-cx{margin:0;border:1px solid var(--catch-line);border-radius:var(--r-s);display:grid;grid-template-columns:repeat(3,minmax(0,1fr));font-size:.82rem}.landing .ld-cx>div{padding:var(--s3);display:flex;flex-direction:column;gap:var(--s1);min-width:0}.landing .ld-cx>div+div{border-left:1px solid var(--catch-line)}.landing .ld-cx dt{color:var(--muted)}.landing .ld-cx dd{margin:0;font-family:var(--mono);overflow-wrap:anywhere}.landing .ld-cx .ld-cx-big{font-size:1rem;font-weight:700}.landing .ld-cx-cand{background:var(--catch-bg)}.landing .ld-cx-cand dd{color:var(--catch)}.landing .ld-cx-cand dt{color:var(--fg)}.landing .ld-band{border-top:1px solid var(--line);padding:64px 0}.landing .ld-alt{background:var(--surface)}.landing .ld-sec-head{display:flex;flex-wrap:wrap;justify-content:space-between;gap:var(--s3) 40px;align-items:flex-end;margin-bottom:28px}.landing .ld-sec-head p.ld-mono{margin:0}.landing .ld-sec-intro{display:flex;flex-direction:column;gap:10px;max-width:44rem}.landing .ld-sec-intro p{margin:0;line-height:1.55}.landing .ld-band>.ld-wrap>.ld-sec-intro{margin-bottom:28px}.landing .ld-funnel{margin:0;padding:0;list-style:none;display:grid;grid-template-columns:repeat(auto-fit,minmax(170px,1fr));gap:10px}.landing .ld-gate{border:1px solid var(--line);border-radius:var(--r);padding:var(--s4);display:flex;flex-direction:column;gap:var(--s2);background:var(--bg)}.landing .ld-gate-z3{border-color:var(--accent)}.landing .ld-gate-none{background:var(--sunk)}.landing .ld-gate-what{font-size:.82rem;line-height:1.45}.landing .ld-gate-res{font-size:.75rem;margin-top:auto;overflow-wrap:anywhere}.landing .ld-split{display:flex;flex-wrap:wrap;gap:40px;align-items:center}.landing .ld-split-text{flex:1 1 380px;min-width:0;display:flex;flex-direction:column;gap:14px}.landing .ld-split-text p{margin:0;line-height:1.6}.landing .ld-card{background:var(--surface);border:1px solid var(--line);border-radius:var(--r)}.landing .ld-fib{flex:1 1 520px;min-width:0;padding:22px;display:flex;flex-direction:column;gap:var(--s4)}.landing .ld-fib-head{display:flex;flex-wrap:wrap;align-items:center;gap:10px;justify-content:space-between}.landing .ld-label-row{display:inline-flex;flex-wrap:wrap;align-items:center;gap:var(--s2)}.landing .ld-pill{font-family:var(--mono);font-size:.78rem;font-weight:700;color:var(--accent);border:1.5px solid var(--accent);border-radius:999px;padding:4px 10px}.landing .ld-carve{font-size:.82rem;font-weight:600;color:var(--warn)}.landing .ld-ci{display:flex;flex-direction:column;gap:var(--s2)}.landing .ld-ci-cap{display:flex;flex-wrap:wrap;justify-content:space-between;gap:var(--s1) var(--s3)}.landing .ld-ci-bar{position:relative;height:44px;margin:0 var(--s4) 0 var(--s2);background:var(--sunk);border-radius:var(--r-s)}.landing .ld-ci-tick{position:absolute;top:0;bottom:0;border-left:1px dashed var(--line-strong)}.landing .ld-ci-tick span{position:absolute;bottom:2px;left:3px;font-family:var(--mono);font-size:.65rem;color:var(--muted);white-space:nowrap}.landing .ld-ci-tick:nth-child(5) span,.landing .ld-ci-tick:nth-child(6) span{left:auto;right:3px}.landing .ld-ci-int{position:absolute;top:8px;height:14px;background:var(--ok);border-radius:3px}.landing .ld-ci-num{margin:0;text-align:right}.landing .ld-ci-big{font-size:1.75rem;font-weight:700}.landing .ld-fib-why{border-top:1px solid var(--line);padding-top:14px;display:flex;flex-direction:column;gap:6px}.landing .ld-fib-why p{margin:0;font-size:.82rem;line-height:1.55}.landing .ld-tiers{border:1px solid var(--line);border-radius:var(--r);overflow:hidden}.landing .ld-tier-row{display:flex;flex-wrap:wrap;gap:var(--s2) var(--s5);padding:18px 20px;align-items:baseline}.landing .ld-tiers>*+*{border-top:1px solid var(--line)}.landing .ld-tier-label{flex:0 0 250px;font-size:.9rem;font-weight:700}.landing .ld-tier-meaning{flex:1 1 400px;min-width:0;line-height:1.5}.landing .ld-sentence{margin:0;background:var(--bg);padding:20px 22px;display:flex;flex-direction:column;gap:10px}.landing .ld-sentence blockquote{margin:0;font-size:1.06rem;line-height:1.55}.landing .ld-sentence p{margin:0}.landing .ld-measured{margin:0 0 28px;display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:var(--s3)}.landing .ld-measured>div{padding:20px;display:flex;flex-direction:column;gap:6px}.landing .ld-measured dt{order:2;font-size:.82rem;color:var(--muted)}.landing .ld-measured dd{order:1;margin:0;font-size:1.9rem;font-weight:700}.landing .ld-note{margin:0;max-width:46rem;line-height:1.55}.landing .ld-limits{flex:1 1 520px;min-width:0;margin:0;padding:0;list-style:none;border-top:1px solid var(--line)}.landing .ld-limits li{padding:14px 0;border-bottom:1px solid var(--line);line-height:1.5}.landing #limits .ld-split{align-items:flex-start}.landing .ld-footer{border-top:1px solid var(--line)}.landing .ld-stamp{display:flex;flex-wrap:wrap;gap:var(--s2) 28px;padding-top:28px;padding-bottom:28px}@media(max-width:40rem){.landing .ld-wrap{padding-left:var(--s4);padding-right:var(--s4)}.landing .ld-hero{padding-top:var(--s6);gap:var(--s6)}.landing .ld-hero-text,.landing .ld-catch,.landing .ld-split-text,.landing .ld-fib,.landing .ld-limits{flex-basis:100%}.landing .ld-cx{grid-template-columns:minmax(0,1fr)}.landing .ld-cx>div+div{border-left:0;border-top:1px solid var(--catch-line)}.landing .ld-band{padding:var(--s7) 0}.landing .ld-tier-label,.landing .ld-tier-meaning{flex-basis:100%}.landing .ld-ci-tick:nth-child(2n) span{display:none}.landing .ld-ci-num{text-align:left}}