@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(../media/geist-cyrillic-ext-wght-normal.1o60yhwqd7ueg.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(../media/geist-cyrillic-wght-normal.0n0q_nh7u2mrm.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(../media/geist-vietnamese-wght-normal.0nt7ek_nfk5a4.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(../media/geist-latin-ext-wght-normal.39q78sztp1ci5.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Geist Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(../media/geist-latin-wght-normal.20f3xrkj613ah.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:Geist Mono Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(../media/geist-mono-cyrillic-ext-wght-normal.2ij5maosbedmv.woff2)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:Geist Mono Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(../media/geist-mono-cyrillic-wght-normal.33c6-jfmyetfr.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:Geist Mono Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(../media/geist-mono-symbols2-wght-normal.0peao-xekk45v.woff2)format("woff2-variations");unicode-range:U+2000-2001,U+2004-2008,U+200A,U+23B8-23BD,U+2500-259F}@font-face{font-family:Geist Mono Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(../media/geist-mono-vietnamese-wght-normal.3lyzf0uofk1_2.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Geist Mono Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(../media/geist-mono-latin-ext-wght-normal.18_jyrw-ln1dm.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Geist Mono Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(../media/geist-mono-latin-wght-normal.1t7tphccnfzmb.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
:root{--forest:#14392b;--forest-deep:#0f2c21;--stone:#f4f1ec;--soft:#56645d;--field:#7e8e86;--sage:#869f87;--on-forest:#f3f1ee;--on-forest-dim:#f3f1ee99;--status-pass:#1f7a4d;--status-pass-tint:#e6f2eb;--status-fail:#b42318;--pass:#a3d9b4;--fail:#f4a08a;--paper:#fff;--bg:#fff;--surface:#fff;--ink:#1a2420;--muted:var(--soft);--line:#dfe6e2;--accent:var(--forest);--accent-wash:#edf2ef;--orange:var(--sage);--wash:var(--stone);--sans:"Geist Variable", Arial, Helvetica, sans-serif;--mono:"Geist Mono Variable", ui-monospace, SFMono-Regular, Consolas, monospace;--hover:#f0f4f1;--pressed:#e4ece7;--track:#e3e9e5;--underline:#b7c5bd;--wash-soft:#faf8f5;--ink-strong:#0d1612;--accent-strong:var(--forest-deep);--accent-ink:#3e5a4d;--accent-soft:var(--field);--accent-line:#d0ddd5;--selection:#d5e7dc;--ok-bg:var(--status-pass-tint);--ok-ink:var(--status-pass);--warn-bg:#f7f1e3;--warn-line:#e6d9b8;--warn-ink:#6b5b33;--bad-bg:#fbe9e6;--bad-ink:var(--status-fail);--fail-bg:#f3eeea;--fail-ink:#7d5441;--timeout-bg:#fdf0da;--timeout-ink:#8f4c06;--outcome-timeout:#e0912e;--outcome-error:#c8372b;--outcome-fail:#e3e9e5;--outcome-fail-line:#d6dfda;--on-accent:var(--on-forest);--brand:var(--forest);--brand-strong:var(--forest-deep);--logo-chip:transparent;--shadow:#1a242047;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--ease-out:cubic-bezier(.16, 1, .3, 1)}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--paper:#0d1813;--bg:#0d1813;--surface:#13221b;--ink:#e8ece9;--muted:#9cada4;--soft:#9cada4;--line:#24382e;--accent:var(--pass);--brand:#2c6a4f;--brand-strong:#34785a;--accent-wash:#16291f;--on-accent:var(--on-forest);--orange:var(--sage);--wash:#14241c;--wash-soft:#11201a;--hover:#16291f;--pressed:#1c3328;--track:#1d2e26;--underline:#3f5a4c;--ink-strong:#fff;--accent-strong:#c4e6cf;--accent-ink:#b3c8bc;--accent-soft:#8aa396;--accent-line:#2a4236;--selection:#24503b;--ok-bg:#14291e;--ok-ink:var(--pass);--warn-bg:#2b2514;--warn-line:#4a3f1f;--warn-ink:#dcc27a;--bad-bg:#331a14;--bad-ink:var(--fail);--fail-bg:#2a2320;--fail-ink:#d6a58e;--timeout-bg:#33240c;--timeout-ink:#f0b35a;--outcome-error:#e05a4c;--outcome-fail:#263a30;--outcome-fail-line:#33493e;--time-other:#56645d;--logo-chip:var(--stone);--shadow:#0000008c}}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--paper:#0d1813;--bg:#0d1813;--surface:#13221b;--ink:#e8ece9;--muted:#9cada4;--soft:#9cada4;--line:#24382e;--accent:var(--pass);--brand:#2c6a4f;--brand-strong:#34785a;--accent-wash:#16291f;--on-accent:var(--on-forest);--orange:var(--sage);--wash:#14241c;--wash-soft:#11201a;--hover:#16291f;--pressed:#1c3328;--track:#1d2e26;--underline:#3f5a4c;--ink-strong:#fff;--accent-strong:#c4e6cf;--accent-ink:#b3c8bc;--accent-soft:#8aa396;--accent-line:#2a4236;--selection:#24503b;--ok-bg:#14291e;--ok-ink:var(--pass);--warn-bg:#2b2514;--warn-line:#4a3f1f;--warn-ink:#dcc27a;--bad-bg:#331a14;--bad-ink:var(--fail);--fail-bg:#2a2320;--fail-ink:#d6a58e;--timeout-bg:#33240c;--timeout-ink:#f0b35a;--outcome-error:#e05a4c;--outcome-fail:#263a30;--outcome-fail-line:#33493e;--time-other:#56645d;--logo-chip:var(--stone);--shadow:#0000008c}*{box-sizing:border-box}html{scroll-behavior:auto;scroll-padding-top:32px}body{background:var(--bg);min-height:100dvh;color:var(--ink);font:14px/1.5 var(--sans);accent-color:var(--accent);caret-color:var(--accent);-webkit-font-smoothing:antialiased;flex-direction:column;margin:0;display:flex}::selection{background:var(--selection);color:var(--accent-strong)}a{color:inherit;text-decoration:none;transition:color .15s}a:hover{color:var(--accent)}button,input,select{font:inherit}button,a,input,select,summary{outline-offset:5px}:focus-visible{outline:2px solid var(--accent)}.site-content{flex:1;min-width:0}body>footer{flex-shrink:0;margin-top:0;margin-bottom:0}.site-header nav a[aria-current=page]{color:var(--accent);text-underline-offset:8px;font-weight:700;text-decoration:underline;text-decoration-thickness:3px}.site-header{border-bottom:1px solid var(--line)}.header-inner{justify-content:space-between;align-items:center;max-width:1520px;height:64px;margin:auto;padding:0 40px;display:flex}.wordmark{letter-spacing:-.03em;white-space:nowrap;align-items:center;gap:9px;font-size:18px;font-weight:700;display:inline-flex}.brand-mark{width:30px;height:30px;color:var(--brand);flex-shrink:0}.brand-light{font-weight:400}.brand-period{color:var(--orange)}.site-header nav{align-items:center;gap:28px;font-size:13px;display:flex}.theme-toggle{border:1px solid var(--line);width:36px;height:36px;color:var(--muted);cursor:pointer;background:0 0;border-radius:6px;place-items:center;margin-left:16px;padding:0;transition:color .15s,border-color .15s;display:grid}.theme-toggle:hover{color:var(--ink);border-color:var(--muted)}.theme-sun,:root[data-theme=dark] .theme-moon{display:none}:root[data-theme=dark] .theme-sun{display:block}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .theme-moon{display:none}:root:not([data-theme=light]) .theme-sun{display:block}}.site-header nav{margin-left:auto}.site-header nav a:last-child{border-left:1px solid var(--line);padding-left:28px}main,footer{max-width:1140px;margin:auto}.hero{grid-template-columns:1.3fr 1fr;align-items:center;gap:56px;padding:40px 0;display:grid}.eyebrow{color:var(--accent);letter-spacing:1.6px;align-items:center;gap:10px;font-size:12px;font-weight:700;display:flex}h1{letter-spacing:-.03em;text-wrap:balance;margin:0 0 20px;font-size:clamp(34px,4vw,52px);font-weight:700;line-height:1.08}.hero-description{max-width:56ch;color:var(--muted);margin:0;font-size:16px;line-height:1.6}.setup-note{border-top:1px solid var(--line);max-width:56ch;color:var(--muted);margin-top:36px;padding-top:20px;font-size:14px;line-height:20px}.setup-note h2{letter-spacing:-.01em;color:var(--ink);margin:0 0 14px;font-size:15px;line-height:22px}.setup-options{grid-template-columns:1fr 1fr;gap:32px;display:grid;position:relative}.setup-options>p{border:1px solid var(--accent-line);border-radius:8px;align-content:start;gap:2px;margin:0;padding:12px 14px;display:grid}.setup-options>p strong{color:var(--ink)}.setup-or{color:var(--ink);font-size:13px;position:absolute;top:50%;left:50%;translate:-50% -50%}.setup-note .setup-foot{text-align:center;color:var(--accent-ink);margin:14px 0 0}@media (max-width:520px){.setup-options{grid-template-columns:1fr;gap:8px}.setup-or{justify-self:center;position:static;translate:none}.setup-note .setup-foot{text-align:left;margin-top:12px}}.hero-links{align-items:center;gap:24px;margin-top:28px;display:flex}.button{background:var(--brand);color:var(--on-accent);border:1px solid var(--brand);border-radius:6px;align-items:center;gap:8px;padding:11px 18px;font-size:13px;font-weight:700;transition:background .15s,transform .1s;display:inline-flex}.button:active{transform:scale(.98)}.button:hover{background:var(--brand-strong);color:var(--on-accent)}.text-link{text-decoration:underline;-webkit-text-decoration-color:var(--underline);text-decoration-color:var(--underline);text-underline-offset:4px;font-size:13px;transition:color .15s,text-decoration-color .15s}.text-link:hover{text-decoration-color:currentColor}.trial-diagram{justify-self:end;width:100%;max-width:440px;margin:0}.trial-diagram>svg{width:100%;height:auto;display:block;overflow:visible}.trial-diagram figcaption{justify-content:flex-end;margin-top:8px;display:flex}.replay{color:var(--muted);cursor:pointer;background:0 0;border:0;align-items:center;gap:6px;padding:6px 0;font-size:12px;transition:color .15s;display:inline-flex}.replay:hover{color:var(--ink)}.replay:active .icon{transform:rotate(60deg)}.replay .icon{transition:transform .2s var(--ease-out)}.td-frame{stroke:var(--underline);stroke-dasharray:3 5}.td-frame-gap{fill:var(--bg)}.td-node>rect:first-child{fill:var(--surface);stroke:var(--accent-line)}.td-option{fill:var(--bg);stroke:var(--accent-line)}.td-title{fill:var(--ink);font:700 12px var(--sans);text-anchor:middle}.td-sub,.td-label{fill:var(--muted);font:10.5px var(--sans)}.td-sub,.td-mid{text-anchor:middle}.td-code{fill:var(--accent-ink);font:10px var(--mono)}.td-wire{stroke:var(--accent-soft);stroke-width:1.25px;stroke-dasharray:1 2;animation:draw .5s var(--ease-out) var(--d) backwards}.td-head{fill:var(--accent-soft);animation:appear .2s linear calc(var(--d) + .3s) backwards}.td-cell{fill:var(--outcome-fail);stroke:var(--outcome-fail-line);animation:appear .25s ease-out var(--d,0s) backwards}.td-changed{fill:var(--brand);stroke:var(--brand);transform-box:fill-box;transform-origin:50%;animation:settle .35s var(--ease-out) var(--d) backwards}.td-packet{fill:var(--brand);opacity:0;animation:send .6s ease-in-out var(--d)}.td-active>rect:first-child{animation:working var(--t) ease-in-out var(--d)}.td-check{stroke:var(--ok-ink);stroke-width:2.25px;stroke-linecap:round;stroke-linejoin:round;stroke-dasharray:1 2;animation:draw .45s var(--ease-out) var(--d) backwards}.td-verdict{text-anchor:start;animation:appear .3s ease-out var(--d) backwards}.results-section{min-width:0}.section-heading{justify-content:space-between;align-items:flex-start;gap:20px;display:flex}h2{letter-spacing:-.02em;overflow-wrap:anywhere;margin:0 0 16px;font-size:24px;font-weight:700}.stats{border-top:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:repeat(4,1fr);margin:8px 0 26px;display:grid}.stats>div{border-right:1px solid var(--line);padding:22px 24px}.stats>div:first-child{padding-left:0}.stats>div:last-child{border-right:0}.stats span{color:var(--muted);letter-spacing:.7px;margin-bottom:12px;font-size:12px;font-weight:650;display:block}.stats strong{letter-spacing:-1px;font-variant-numeric:tabular-nums;font-size:26px;font-weight:500}.stats strong.date{font-size:21px}.stats small{color:var(--muted);letter-spacing:0;font-size:12px;font-weight:450}.filters{align-items:center;gap:12px;margin-bottom:20px;display:flex}.search{border:1px solid var(--line);background:var(--surface);height:40px;color:var(--muted);border-radius:6px;flex:1;align-items:center;gap:8px;min-width:140px;padding:0 12px;transition:border-color .15s;display:flex}.search input{width:100%;min-width:0;color:var(--ink);background:0 0;border:0;outline:0;font-size:14px}input::placeholder{color:var(--muted);opacity:1}.select-label{color:var(--muted);white-space:nowrap;align-items:center;gap:8px;font-size:13px;display:flex}select{border:1px solid var(--line);background:var(--surface);height:40px;color:var(--ink);border-radius:6px;max-width:210px;padding:0 10px;font-size:13px}.filter-button{border:1px solid var(--line);background:var(--wash);cursor:pointer;border-radius:6px;padding:10px 13px;font-size:12px}.filter-button:hover{background:var(--track)}.table-scroll{isolation:isolate;border-top:1px solid var(--line);position:relative;overflow-x:auto}table{border-collapse:collapse;text-align:left;white-space:nowrap;width:100%}th{color:var(--muted);border-bottom:1px solid var(--line);padding:12px 14px;font-size:13px;font-weight:400}td{border-bottom:1px solid var(--line);vertical-align:top;padding:12px 14px;font-size:15px}@media (hover:hover){tbody tr:hover{background:var(--hover)}}.rank{font:13px var(--mono);color:var(--muted);width:56px}.tag{background:var(--accent-wash);color:var(--accent-ink);border-radius:4px;padding:3px 7px;font-size:12px;display:inline-block}.mono{font-family:var(--mono);font-variant-numeric:tabular-nums}.muted{color:var(--muted)}.empty{border-top:1px solid var(--line);border-bottom:1px solid var(--line);text-align:center;padding:72px 24px}.empty-mark{width:40px;height:40px;color:var(--accent-soft)}.empty h3{letter-spacing:-.01em;margin:12px 0 10px;font-size:18px;font-weight:700}.empty p{color:var(--muted);max-width:52ch;margin:10px auto;font-size:14px;line-height:1.6}.notice{border:1px solid var(--warn-line);background:var(--warn-bg);color:var(--warn-ink);border-radius:6px;margin-bottom:20px;padding:10px 14px;font-size:13px;line-height:1.6}.breadcrumbs{color:var(--muted);overflow-wrap:anywhere;flex-wrap:wrap;gap:8px;margin-bottom:12px;font-size:13px;display:flex}.breadcrumbs a{text-underline-offset:3px;color:var(--accent);text-decoration:underline}.breadcrumbs strong{font-weight:500}.pins{font:12px/1.6 var(--mono);color:var(--muted);white-space:normal;max-width:310px;margin-top:9px}.pins summary{cursor:pointer;width:fit-content}.pins dl{margin:8px 0 0}.pins dt{text-transform:uppercase;font-size:12px}.pins dd{overflow-wrap:anywhere;color:var(--ink);margin:0 0 8px}.run-id{font:12px var(--mono);color:var(--muted);overflow-wrap:anywhere;white-space:normal;max-width:220px;margin-top:6px;display:block}.outcome{background:var(--fail-bg);color:var(--fail-ink);border-radius:4px;padding:4px 8px;font-size:12px;display:inline-block}.outcome.passed{background:var(--ok-bg);color:var(--ok-ink)}.outcome.error{background:var(--warn-bg);color:var(--warn-ink)}.timeline{--marker:40px;--gap:40px;border-top:2px solid var(--ink);gap:112px;padding:32px 0 24px;display:grid;position:relative}.timeline:before{content:"";top:calc(32px + var(--marker) / 2);left:calc(var(--marker) / 2 - .5px);width:1px;height:var(--track,0px);background:var(--underline);position:absolute}.chapter{grid-template-columns:var(--marker) 1fr;gap:var(--gap);scroll-margin-top:24px;display:grid;position:relative}.chapter-marker{z-index:1;width:var(--marker);height:var(--marker);border:1px solid var(--ink);background:var(--bg);color:var(--ink);font:14px/1 var(--mono);transition:background-color .24s var(--ease-out), border-color .24s var(--ease-out), color .24s var(--ease-out);border-radius:50%;place-items:center;display:grid;position:relative}.chapter-marker:hover{background:var(--hover)}.chapter[data-reached] .chapter-marker{border-color:var(--brand);background:var(--brand);color:var(--on-accent)}.chapter-body{gap:36px;min-width:0;display:grid}.chapter-head{gap:8px;padding-top:4px;display:grid}.chapter h2{letter-spacing:-.025em;margin:0;font-size:32px;line-height:1.1}.chapter p{color:var(--muted);margin:0;font-size:15px;line-height:1.55}.entry{flex-wrap:wrap;align-items:center;gap:10px 14px;display:flex}.entry-part{border:1px solid var(--underline);background:var(--bg);letter-spacing:-.01em;border-radius:10px;padding:10px 18px;font-size:17px;font-weight:700;line-height:24px}.entry-result{border-color:var(--brand);background:var(--brand);color:var(--on-accent)}.entry-op{color:var(--muted);font-size:18px}.trial-grid{--grid-pass:color-mix(in srgb, var(--status-pass) 50%, var(--bg));gap:18px;margin:0;padding:0;display:grid}.trial-grid-head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:4px 24px;display:flex}.trial-grid-head strong{letter-spacing:-.02em;font-size:24px;line-height:1.2}.trial-grid-head span,.trial-grid-axis,.trial-grid-title,.trial-grid-run,.trial-grid-key{font:12px/1.4 var(--mono);color:var(--muted)}.trial-grid-head span{font-size:13px}.trial-grid-cells{grid-template-columns:auto auto repeat(45,1fr);align-items:center;gap:4px;display:grid}.trial-grid-title{writing-mode:vertical-rl;grid-row:1/span 4;justify-self:center;margin-right:10px;transform:rotate(180deg)}.trial-grid-run{text-align:right;padding-right:6px;line-height:1}.trial-grid-axis{grid-column:3/-1;justify-content:space-between;gap:12px;margin-top:6px;display:flex}.trial-grid [data-outcome]{aspect-ratio:1;border-radius:3px}.trial-grid [data-outcome=pass]{background:var(--grid-pass)}.trial-grid [data-outcome=fail]{background:var(--outcome-fail)}.trial-grid [data-outcome=timeout]{background:var(--outcome-timeout)}.trial-grid [data-outcome=error]{box-sizing:border-box;border:1px dashed var(--muted)}.trial-grid-key{flex-wrap:wrap;gap:8px 20px;margin:0;padding:0;list-style:none;display:flex}.trial-grid-key li{align-items:center;gap:8px;display:flex}.trial-grid-key span{width:12px}.results-layout{grid-template-columns:auto minmax(220px,1fr);align-items:start;gap:20px 56px;display:grid}.results-metrics{grid-template-columns:max-content 1fr;align-items:baseline;gap:8px 20px;margin:0;padding:4px 0 0;list-style:none;display:grid}.results-metrics li{display:contents}.results-published{border-top:1px solid var(--underline);flex-wrap:wrap;grid-column:1/-1;align-items:baseline;gap:2px 8px;padding-top:20px;display:flex}.chapter .results-metrics p,.chapter .results-published p{margin:0}.results-notes strong{font-size:16px;line-height:24px;display:block}.chapter .results-notes p{font-size:16px;line-height:24px}.isolation{align-items:flex-start;gap:10px;display:flex}.isolation-icon{width:16px;height:16px;color:var(--brand);flex:none;margin-top:4px}.chapter .isolation p{color:var(--accent-ink);margin:0;font-size:15px;line-height:24px}.isolation strong{color:inherit}.principles{counter-reset:step;grid-template-columns:repeat(4,1fr);gap:0 28px;margin:0;padding:0;list-style:none;display:grid}.principles>li{counter-increment:step;position:relative}.principles>li:before{content:counter(step);border:1px solid var(--accent-line);width:32px;height:32px;color:var(--accent-ink);background:var(--accent-wash);border-radius:8px;place-items:center;margin-bottom:18px;font-size:14px;font-weight:700;line-height:1;display:grid}.principles>li:not(:last-child):after{content:"";background:var(--underline);height:1px;position:absolute;top:16px;left:44px;right:-16px}.principles h3{letter-spacing:-.01em;text-wrap:balance;margin:0 0 4px;font-size:16px;font-weight:700;line-height:24px}.principles p,.spec p{font-size:14px;line-height:1.55}.principles .reward-key{flex-wrap:wrap;gap:6px;margin-top:8px;display:flex}.reward-key code{border:1px solid var(--line);font:12px/20px var(--mono);color:var(--muted);border-radius:4px;padding:1px 7px}.spec{grid-template-columns:1fr 1fr;align-content:start;gap:0 40px;margin:0;padding:0;display:grid}.spec>*{border-top:1px solid var(--underline);padding:16px 0}.spec>:nth-child(-n+2){border-top:0;padding-top:0}.spec>:nth-last-child(-n+2){padding-bottom:0}.spec dt{color:var(--muted);font-size:12px;line-height:18px}.spec dd{margin:0;font-size:16px;line-height:24px}.spec dd>strong{letter-spacing:-.01em}.spec dd>code{font:14px/24px var(--mono)}.spec p{margin-top:2px}.spec p code{font:.9em var(--mono);color:var(--ink)}.rate{gap:6px;display:grid}.chapter .rate-equation{letter-spacing:-.01em;color:var(--ink);font-size:22px;line-height:1.35}.rate-equation span{white-space:nowrap}.chapter .outcome-note{font-size:14px;line-height:1.5}.learn-more{border:1px solid var(--accent-line);background:var(--accent-wash);color:var(--ink);font:inherit;letter-spacing:-.01em;cursor:pointer;border-radius:8px;align-items:center;gap:10px;margin-top:14px;padding:8px 16px 8px 12px;font-size:14px;font-weight:700;line-height:20px;transition:border-color .15s,background-color .15s;display:inline-flex}.learn-more img{flex:none}.learn-more span{text-align:left;display:grid}.learn-more small{letter-spacing:0;color:var(--muted);font-size:12px;font-weight:400;line-height:16px}.learn-more:hover{border-color:var(--brand);background:var(--hover)}.emulator-pop{border:1px solid var(--underline);background:var(--bg);width:min(440px,100vw - 32px);max-height:calc(100dvh - 32px);color:var(--ink);opacity:0;transition:opacity .18s var(--ease-out), transform .24s var(--ease-out), display .24s allow-discrete, overlay .24s allow-discrete;border-radius:14px;margin:auto;padding:24px;overflow:auto;transform:translateY(8px);box-shadow:0 2px 4px #0000000a,0 24px 56px #0000002e}.emulator-pop:popover-open{opacity:1;transform:none}@starting-style{.emulator-pop:popover-open{opacity:0;transform:translateY(8px)}}.emulator-pop::backdrop{background:#0d161238}.emulator-pop-head{grid-template-columns:auto 1fr auto;align-items:center;gap:12px;margin-bottom:10px;display:grid}.emulator-pop h2{letter-spacing:-.02em;margin:0;font-size:20px;line-height:1.2}.emulator-pop-close{width:32px;height:32px;color:var(--muted);cursor:pointer;background:0 0;border:0;border-radius:8px;place-items:center;margin:-6px -6px 0 0;padding:0;display:grid}.emulator-pop-close:hover{background:var(--hover);color:var(--ink)}.emulator-pop-close path{fill:none;stroke:currentColor;stroke-width:1.5px;stroke-linecap:round}.emulator-pop>p{color:var(--muted);margin:0 0 20px;font-size:14px;line-height:1.55}.emulator-pop a{color:var(--ink);text-decoration:underline;-webkit-text-decoration-color:var(--underline);text-decoration-color:var(--underline);text-underline-offset:3px}.emulator-pop .spec{border-top:1px solid var(--underline);gap:0 24px;padding-top:16px}.emulator-pop .spec>*{padding:12px 0}.emulator-pop .spec>:nth-child(-n+2){padding-top:0}.emulator-pop .spec>:nth-last-child(-n+2){padding-bottom:0}.emulator-pop .spec dd,.emulator-pop .spec dd>code{font-size:14px;line-height:22px}.emulator-pop .spec p{color:var(--muted);font-size:13px;line-height:1.5}footer{border-top:1px solid var(--line);justify-content:space-between;align-items:center;padding:20px 0;display:flex}footer .wordmark{gap:7px;font-size:15px}footer .brand-mark{width:24px;height:24px}footer>span,footer>a:last-child{color:var(--muted);font-size:12px}.footer-links{align-items:center;gap:12px;display:flex}.footer-links>.analytics-preferences+.analytics-preferences{border-left:1px solid var(--line);padding-left:12px}.leaderboard-page,.detail-page{width:calc(100% - 80px);max-width:1440px;margin-inline:auto}.leaderboard-page{max-width:none;padding-top:44px;padding-bottom:72px}.board-bar{flex-wrap:wrap;align-items:center;gap:14px 20px;margin-bottom:22px;display:flex}.board-hero{text-align:center;padding:12px 0 44px}.board-title{letter-spacing:-.04em;flex-wrap:wrap;justify-content:center;align-items:center;gap:0 .22em;margin:0;font-size:clamp(38px,6.4vw,80px);line-height:1.05;display:flex}.board-mark{width:.92em;height:.92em;color:var(--brand);flex-shrink:0}.board-mark path{stroke-dasharray:1 2;animation:draw .7s var(--ease-out) .1s backwards}.board-mark path+path{animation-duration:.6s;animation-delay:.55s}.board-hero p{color:var(--muted);text-wrap:balance;margin:14px 0 26px;font-size:17px}.board-actions{flex-wrap:wrap;justify-content:center;gap:10px;display:flex}.button-ink{background:var(--brand);border-color:var(--brand);color:var(--on-accent)}.button-ink:hover{color:var(--on-accent);background:var(--brand-strong);border-color:var(--brand-strong)}.button-quiet{background:var(--wash);border-color:var(--line);color:var(--ink)}.button-quiet:hover{background:var(--track);color:var(--ink)}.board-bar .filters{flex:320px;min-width:0;margin:0}.board-bar .search{max-width:300px}.search:focus-within{border-color:var(--accent);outline:2px solid var(--accent);outline-offset:1px}.skip-link{z-index:200;background:var(--ink);color:var(--paper);border-radius:6px;padding:10px 14px;font-size:13px;position:absolute;top:-60px;left:16px}.skip-link:focus{color:var(--paper);outline-offset:2px;top:12px}main:focus{outline:none}.table-scroll{background:linear-gradient(to left, var(--bg) 45%, transparent) right / 48px 100% no-repeat local, linear-gradient(to left, #1a242021, transparent) right / 12px 100% no-repeat scroll}@media (pointer:coarse){.breadcrumbs a,.text-link,.sibling-links a,.post a,.step-number,footer>a,footer .analytics-preferences{padding-block:13px}.step-number{margin-inline:-14px;padding-inline:14px}summary{padding-block:12px}.site-header nav a{align-items:center;min-height:44px;display:inline-flex}.wordmark{min-height:44px}.search,select{height:44px}}.icon{flex-shrink:0;width:16px;height:16px}.detail-page{padding-top:28px;padding-bottom:72px}#vera-emulator{scroll-margin-top:32px}.contributors-page{max-width:1140px;padding-top:48px;padding-bottom:80px}.contributors-page .detail-title{margin-bottom:8px}.contributors-intro{color:var(--muted);margin:0;font-size:16px}.contributors-page{text-align:center}.contributor-grid{background:var(--line);text-align:left;border-radius:8px;grid-template-columns:repeat(2,minmax(0,1fr));gap:1px;max-width:760px;margin:40px auto 0;padding:1px;display:grid;overflow:hidden}.contributor-cell,.contributor-fill{text-transform:uppercase;letter-spacing:.02em;align-items:center;min-height:44px;margin:0;padding:10px 14px;display:flex}.contributor-cell{background:var(--surface);color:var(--ink);overflow-wrap:break-word;justify-content:space-between;gap:12px;font-size:14px;font-weight:700}.contributor-affiliation{color:var(--muted);font-weight:400}.contributor-links{flex-shrink:0;margin-right:-8px;display:flex}.contributor-links a{width:32px;height:32px;color:var(--muted);border-radius:6px;place-items:center;transition:background-color .15s,color .15s;display:grid}.contributor-links a:hover,.contributor-links a:focus-visible{background:var(--hover);color:var(--accent)}.contributor-links a:focus-visible{outline:2px solid var(--accent);outline-offset:-2px}@media (pointer:coarse){.contributor-links a{width:44px;height:44px}}.contributor-fill{background:var(--surface)}.contributors-cta{color:var(--muted);margin:28px 0 0;font-size:15px}.contributors-cta a{color:var(--ink);text-decoration:underline;-webkit-text-decoration-color:var(--underline);text-decoration-color:var(--underline);text-underline-offset:4px;font-weight:700}.contributors-cta a:hover{color:var(--accent)}@media (max-width:760px){.contributor-grid{margin-top:32px}.contributor-cell{flex-direction:column;justify-content:center;align-items:flex-start;gap:2px;font-size:13px}.contributor-links{margin:0 0 -8px -8px}}.vera-logo{object-fit:contain;mix-blend-mode:multiply;background:var(--logo-chip);width:192px;max-width:100%;height:auto;display:block}h1.detail-title{letter-spacing:-.025em;overflow-wrap:anywhere;margin:0 0 20px;font-size:clamp(24px,3vw,36px);line-height:1.2}.task-title{flex-wrap:wrap;align-items:center;gap:8px 12px;margin-bottom:20px;display:flex}.task-title h1.detail-title{margin:0}.result-context{color:var(--muted);flex-wrap:wrap;gap:8px 22px;margin:0 0 22px;font-size:13px;display:flex}.result-context>span+span{border-left:1px solid var(--line);padding-left:22px}.results-table{min-width:0}.results-table>.table-scroll{border-top:2px solid var(--ink)}.results-table table{min-width:780px}.results-table th{white-space:nowrap;padding:12px}.results-table td{vertical-align:middle;padding:12px}.navigable-row td{position:relative}@media (hover:hover){.navigable-row:hover{background:var(--hover)}}.navigable-row:focus-within{outline:2px solid var(--accent);outline-offset:-2px;background:var(--hover)}.row-target{color:var(--ink);font-size:15px;font-weight:700}.row-target:after{content:""}.row-target:after,.cell-link{z-index:1;position:absolute;inset:0}.navigable-row a{-webkit-tap-highlight-color:transparent;touch-action:manipulation}.navigable-row:active{background:var(--pressed)}.row-target:focus-visible{outline:none}.agent-name{font:13px var(--mono);color:var(--muted)}.task-name{white-space:normal;overflow-wrap:anywhere;min-width:min(240px,46vw);max-width:360px;display:inline-block}.task-category{white-space:nowrap}.resolution-column{width:30%}.resolution{align-items:center;gap:12px;min-width:200px;display:flex}.resolution-number{text-align:right;font-variant-numeric:tabular-nums;flex:none;width:4.5em}.resolution-number strong{font-size:15px;line-height:1.2;display:block}.resolution-track{background:var(--track);border-radius:3px;flex:1;min-width:90px;height:10px;position:relative}.resolution-ci{border-left:1.5px solid var(--ink);border-right:1.5px solid var(--ink);height:18px;animation:.4s ease-out backwards ci-in;animation-delay:calc(var(--row,0) * 45ms + .5s);position:absolute;top:-4px}.resolution-ci:after{content:"";background:var(--ink);height:1.5px;position:absolute;top:8px;left:0;right:0}.resolution-fill{background:var(--brand);transform-origin:0;height:100%;animation:bar-grow .9s var(--ease-out) backwards;animation-delay:calc(var(--row,0) * 45ms);display:block}.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}.task-switcher{border-top:1px solid var(--line);border-bottom:1px solid var(--line);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:20px;margin-bottom:22px;padding:14px 0;display:flex}.task-switcher form,.task-switcher label{color:var(--muted);align-items:center;gap:12px;font-size:13px;display:flex}.task-switcher select{max-width:450px}.sibling-links{color:var(--accent);gap:22px;font-size:13px;display:flex}.sibling-links a:hover{text-underline-offset:4px;text-decoration:underline}.results-section>.pins{max-width:none;margin-bottom:20px}.trial-summary{border-bottom:1px solid var(--line);padding:10px 0 25px}.trial-summary .pins{max-width:100%}.run-label{color:var(--muted);overflow-wrap:anywhere;font-size:13px}.run-label code{font-family:var(--mono)}.trial-actions{flex-wrap:wrap;align-items:center;gap:24px;margin-top:24px;display:flex}.trial-actions .sibling-links{margin-left:auto}.grader-section{margin-top:30px}.grader-section h2{margin:0 0 10px}.grader-section p{color:var(--muted);margin:0;font-size:13px}.grader-section .transcript-content{border:1px solid var(--line)}.trajectory-toolbar{justify-content:space-between;align-items:center;gap:20px;margin:30px 0 22px;display:flex}.trajectory-toolbar h2{margin:0 0 10px}.trajectory-toolbar p{color:var(--muted);margin:0;font-size:13px}.count-badge{letter-spacing:0;color:var(--muted);margin-left:8px;font-size:12px}.trajectory-list{gap:18px;margin:0;padding:0;list-style:none;display:grid}.trajectory-step{border:1px solid var(--line);background:var(--surface);border-radius:8px;overflow:hidden}.trajectory-step>header{background:var(--hover);border-bottom:1px solid var(--line);align-items:center;gap:14px;padding:13px 18px;font-size:12px;display:flex}.trajectory-step>header strong{text-transform:capitalize}.trajectory-step>header>span{color:var(--muted);margin-left:auto}.source-user>header{background:var(--wash)}.step-number{font:12px var(--mono);color:var(--accent)}.transcript-content{white-space:pre-wrap;overflow-wrap:anywhere;word-break:break-word;max-height:480px;font:12px/1.8 var(--mono);tab-size:2;margin:0;padding:18px;overflow:auto}.tool-call,.tool-output,.reasoning{border-top:1px solid var(--line)}.tool-call summary,.tool-output summary,.reasoning summary{cursor:pointer;padding:12px 18px;font-size:12px;font-weight:600}.tool-call{background:var(--surface)}.tool-command+.tool-command{border-top:1px dashed var(--line)}.tool-workdir{font:12px var(--mono);color:var(--muted);padding:10px 18px 0;display:block}.tool-workdir+.transcript-content{padding-top:4px}.tool-raw summary{color:var(--muted);font-weight:400}.reasoning{background:var(--wash-soft)}.reasoning summary{color:var(--muted)}.reasoning>.transcript-content{font-style:italic}.reasoning summary>span,.tool-output summary>span{color:var(--muted);margin-left:8px;font-size:12px;font-weight:400}.trajectory-step>header>.tag{margin-left:0}.trajectory-step.subagent{margin-left:24px}.tool-call summary>.failed-badge,.tool-output summary>.failed-badge{background:var(--bad-bg);color:var(--bad-ink);border-radius:4px;margin-left:8px;padding:2px 6px;font-size:12px;font-weight:600;display:inline-block}@media (max-width:760px){.trajectory-step.subagent{margin-left:10px}.leaderboard-page,.detail-page{width:calc(100% - 40px);margin-inline:auto}.detail-page{padding-top:22px}.result-context{gap:10px}.result-context>span+span{padding-left:10px}.task-switcher form,.task-switcher label{flex-wrap:wrap}.task-switcher select{max-width:calc(100vw - 110px)}.trial-actions .sibling-links{margin-left:0}.trajectory-toolbar{flex-direction:column;align-items:flex-start}.transcript-content{padding:14px;font-size:12px}.filters{flex-wrap:wrap}}.harness-sub{display:none}footer{width:calc(100% - 80px);max-width:1440px}@media (max-width:1000px){.results-layout{grid-template-columns:1fr}.results-metrics{border-top:1px solid var(--underline);padding-top:24px}}@media (max-width:1220px){main,footer{margin-left:40px;margin-right:40px}}@media (max-width:760px){.header-inner{flex-wrap:wrap;gap:0 18px;height:auto;padding:8px 20px 4px}.site-header nav{gap:18px}.site-header nav a:last-child{border:0;padding-left:0}.site-header nav{flex-basis:100%;order:3}.theme-toggle{margin-left:auto}main,footer{margin-left:20px;margin-right:20px}.leaderboard-page{padding-top:28px}.hero{grid-template-columns:1fr;gap:24px;padding:28px 0}.trial-diagram{justify-self:center}.board-hero{padding:4px 0 32px}.board-hero p{font-size:15px}footer{width:calc(100% - 40px)}.col-harness{display:none}.harness-sub{pointer-events:none;margin-top:4px;display:block;position:relative}.results-table .row-target{white-space:normal;overflow-wrap:anywhere}.results-table td:has(>.row-target:not(.task-name)){white-space:normal;min-width:170px;max-width:190px}.results-table th,.results-table td{padding-left:8px;padding-right:8px}.rank{width:36px}.resolution{gap:10px;min-width:190px}.resolution-number{min-width:76px}.board-bar .filters{flex-basis:100%}.board-bar .search{max-width:none}.search input,select{font-size:16px}.stats{grid-template-columns:1fr 1fr}.stats>div{border-bottom:1px solid var(--line);padding:18px 16px}.stats>div:nth-child(2){border-right:0}.stats>div:nth-child(3){border-bottom:0;padding-left:0}.stats>div:last-child{border-bottom:0}.timeline{--marker:28px;--gap:16px;gap:72px;padding-top:28px}.timeline:before{top:calc(28px + var(--marker) / 2)}.chapter-marker{font-size:12px}.chapter-head{padding-top:0}.chapter h2{font-size:26px}.chapter-body{gap:28px}.chapter .rate-equation{font-size:19px}.trial-grid-head strong{font-size:20px}.trial-grid-cells{gap:2px}.trial-grid-cells [data-outcome]{border-radius:1px}.entry-part{padding:8px 12px;font-size:15px}.spec{grid-template-columns:1fr}.spec>:nth-child(2){border-top:1px solid var(--underline);padding-top:16px}.spec>:nth-last-child(2){padding-bottom:16px}.emulator-pop .spec>:nth-child(2){padding-top:12px}.emulator-pop .spec>:nth-last-child(2){padding-bottom:12px}.principles{grid-template-columns:1fr;gap:22px}.principles>li{grid-template-columns:32px 1fr;column-gap:16px;display:grid}.principles>li:before{grid-row:span 3;margin:0}.principles h3{margin-top:4px}.learn-more{grid-column:2;justify-self:start}.principles>li:not(:last-child):after{width:1px;height:auto;inset:40px auto -18px 16px}footer{flex-wrap:wrap;gap:16px}footer>span{flex-basis:100%;order:1}}@media (prefers-reduced-motion:reduce){a,.button,.post-list a,.cover-cloud svg{transition:none}.post-list a:hover,.emulator-pop,.chapter-marker{transform:none}.resolution-fill,.resolution-ci,.board-mark path,.trial-diagram>svg *{animation:none}.replay{display:none}.button{transition:none}.button:active{transform:none}}.num{text-align:right;font-variant-numeric:tabular-nums}.date{font-variant-numeric:tabular-nums}.sort-link{color:var(--ink);cursor:pointer;align-items:center;gap:4px;display:inline-flex}.sort-link:hover{color:var(--accent)}.sort-link.idle{color:inherit}.sort-link.idle .icon{opacity:.35}.sort-link.idle:hover .icon{opacity:1}.icon-small{width:14px;height:14px}.effort{color:var(--muted);font-size:12px;font-weight:400}.results-table .time-key{margin-top:14px}.empty h2{letter-spacing:-.01em;margin:12px 0 10px;font-size:18px}.about-page .vera-logo{margin-bottom:16px}.blog-page{max-width:760px;padding-top:48px}.blog-index{max-width:1040px;padding-top:48px}.post-list{grid-template-columns:repeat(auto-fill,minmax(min(100%,300px),1fr));gap:24px;margin:8px 0 0;padding:0;list-style:none;display:grid}.post-list a{border:1px solid var(--line);background:var(--surface);height:100%;color:var(--ink);transition:transform .25s var(--ease-out), box-shadow .25s var(--ease-out), border-color .15s;border-radius:10px;flex-direction:column;display:flex;overflow:hidden}.post-list a:hover,.post-list a:focus-visible{color:var(--ink);border-color:var(--ink);box-shadow:0 10px 24px -12px var(--shadow);transform:translateY(-3px)}.post-cover{aspect-ratio:16/10;border-bottom:1px solid var(--line);place-items:center;display:grid}.cover-cloud{background-color:var(--brand);color:var(--on-accent);background-image:radial-gradient(#ffffff38 1px,#0000 1.5px);background-size:18px 18px}.cover-cloud svg{width:34%;transition:transform .4s var(--ease-out)}.post-list a:hover .cover-cloud svg{transform:scale(1.08)}.cover-waffle{background:var(--wash)}.cover-waffle>div{grid-template-columns:repeat(8,1fr);gap:5px;width:62%;display:grid}.cover-waffle .waffle-square{aspect-ratio:1;border-radius:2px;width:auto;height:auto}.post-card-body{gap:8px;padding:18px 20px 22px;display:grid}.post-list strong{letter-spacing:-.02em;text-wrap:balance;font-size:19px;line-height:1.25}.post-date{color:var(--muted);font-variant-numeric:tabular-nums;font-size:13px}.upcoming .post-date{background:var(--accent-wash);color:var(--accent-ink);border-radius:4px;justify-self:start;padding:2px 8px}.post-summary{color:var(--muted);font-size:14px;line-height:1.55}.post>.detail-title{text-wrap:balance;margin-bottom:8px}.post>.post-date{margin:0 0 24px}.post p,.post li{max-width:68ch;font-size:16px;line-height:1.7}.post p{margin:0 0 18px}.post h2{margin:40px 0 12px;scroll-margin-top:24px;font-size:22px}.post ul,.post ol{margin:0 0 18px;padding-left:22px}.post li+li{margin-top:6px}.post a{color:var(--accent);text-underline-offset:3px;text-decoration:underline}.post code{font:.9em var(--mono);background:var(--wash);border-radius:3px;padding:1px 5px}.post h3{margin:32px 0 10px;font-size:18px}.post figure{margin:40px 0 44px}.post figure svg{max-width:74ch;display:block}.post ol.modes{padding-left:0;list-style:none}.post ol.modes li{margin-bottom:6px}.mode{white-space:nowrap;border-radius:3px;padding:1px 8px;font-size:14px;display:inline-block}.mode.know{background:var(--bad-bg);color:var(--bad-ink)}.mode.look{background:var(--warn-bg);color:var(--warn-ink)}.mode.judge{color:#294fc4;background:#e9eefb}:root[data-theme=dark] .mode.judge{color:#8fb0ff;background:#1c2540}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .mode.judge{color:#8fb0ff;background:#1c2540}}.post .ix{max-width:74ch;position:relative}.ix-controls{flex-wrap:wrap;align-items:center;gap:10px 22px;margin:0 0 12px;font-size:13px;display:flex}.ix-group{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.ix-group label{cursor:pointer;align-items:center;gap:4px;margin-right:6px;display:inline-flex}.ix-label{color:var(--muted);margin-right:4px}.ix-svg rect{cursor:pointer}.ix-svg rect:hover{opacity:.85}.ix-legend{flex-wrap:wrap;gap:6px 18px;margin-top:6px;font-size:13px;display:flex}.ix-legend i{vertical-align:-1px;border-radius:2px;width:12px;height:12px;margin-right:6px;display:inline-block}.ix-tip{z-index:5;border:1px solid var(--line);background:var(--surface);max-width:320px;box-shadow:0 6px 24px var(--shadow);pointer-events:none;border-radius:6px;padding:10px 12px;font-size:12.5px;line-height:1.45;position:absolute}.post .ix-tip ul{margin:6px 0 0;padding-left:16px}.post .ix-tip li{margin:0;font-size:12px;line-height:1.4}.blog-page-toc{max-width:1100px}.post-grid{grid-template-columns:minmax(0,720px) minmax(0,1fr);align-items:start;gap:56px;display:grid}.post-toc{border-left:1px solid var(--line);margin-top:120px;padding-left:20px;position:sticky;top:32px}.toc-title{letter-spacing:.06em;text-transform:uppercase;color:var(--muted);margin:0 0 14px;font-size:12px}.toc-list,.post .toc-list{margin:0;padding:0;list-style:none}.toc-list li+li{margin-top:14px}.toc-list a{color:var(--muted);align-items:baseline;gap:10px;font-size:13px;line-height:1.45;text-decoration:none;display:flex;position:relative}.toc-list a span{font:10px var(--mono);color:var(--accent)}.toc-list a:hover{color:var(--ink)}.toc-list a.active{color:var(--ink-strong);font-weight:600}.toc-list a.active:before{content:"";background:var(--accent);width:2px;position:absolute;top:0;bottom:0;left:-21px}.post-toc-mobile{border-block:1px solid var(--line);margin:0 0 28px;padding:12px 0;display:none}.post-toc-mobile summary{cursor:pointer;font-size:14px;font-weight:600}.post-toc-mobile .toc-list{padding-top:14px}@media (max-width:1000px){.blog-page-toc{max-width:760px}.post-grid{grid-template-columns:minmax(0,1fr)}.post-toc{display:none}.post-toc-mobile{display:block}}@keyframes draw{0%{stroke-dashoffset:1.1px}}@keyframes appear{0%{opacity:0}}@keyframes settle{0%{opacity:0;transform:scale(.4)}}@keyframes send{15%,80%{opacity:1}to{transform:translate(72px)}}@keyframes working{20%,85%{stroke:var(--brand)}}@keyframes bar-grow{0%{transform:scaleX(0)}}@keyframes ci-in{0%{opacity:0}}.admin-login{flex-direction:column;gap:10px;max-width:340px;margin:40px auto 60px;display:flex}.admin-login label{color:var(--muted);font-size:12px}.admin-login input{border:1px solid var(--line);background:var(--surface);color:var(--ink);border-radius:6px;padding:11px 13px}.admin-login .button{cursor:pointer;justify-content:center;margin-top:6px}.admin-error{color:var(--bad-ink);margin:0;font-size:12px}.admin-intro{max-width:760px;margin:0 0 20px;font-size:12px;line-height:1.7}.admin-benchmark{margin-top:34px}.admin-benchmark h2{margin-bottom:16px;font-size:22px}.admin-task{margin-bottom:16px}.admin-task>summary{cursor:pointer;flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:8px 20px;padding:14px 16px;font-size:13px;font-weight:650;display:flex}.admin-task[open]>summary{border-bottom:1px solid var(--line)}.admin-task td{padding:14px 15px}.issue-meta{color:var(--muted);flex-wrap:wrap;gap:6px 16px;font-size:12px;font-weight:400;display:flex}.issue-meta code,.issue-code{font:12px var(--mono);color:var(--ink);background:var(--wash);border-radius:3px;margin-left:4px;padding:1px 5px}.issue-code{margin-left:0}.issue-operation{font-weight:650}.issue-sub{color:var(--muted);margin-top:5px;font-size:12px;display:block}.issue-sub.text-link{color:var(--accent);font-size:12px}.issue-wrap{white-space:normal;overflow-wrap:anywhere;max-width:260px}.issue-status{text-transform:capitalize;background:var(--wash);color:var(--muted);border-radius:4px;padding:4px 8px;font-size:12px;font-weight:600;display:inline-block}.issue-status.suspected{background:var(--warn-bg);color:var(--warn-ink)}.issue-status.confirmed{background:var(--bad-bg);color:var(--bad-ink)}.issue-status.resolved{background:var(--ok-bg);color:var(--ok-ink)}@media (max-width:760px){.admin-page .filters{flex-wrap:wrap}.admin-page .search{flex-basis:100%}}:root[data-theme=dark] .trial-grid{--grid-pass:var(--brand)}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .trial-grid{--grid-pass:var(--brand)}}:root[data-theme=dark] .vera-logo{mix-blend-mode:normal;border-radius:8px}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .vera-logo{mix-blend-mode:normal;border-radius:8px}}@media (pointer:coarse){.theme-toggle{width:44px;height:44px}}@media (max-width:760px){.header-inner{padding-bottom:0}.site-header nav{scrollbar-width:none;gap:18px;margin-inline:-20px;padding-inline:20px;overflow-x:auto}.site-header nav::-webkit-scrollbar{display:none}.site-header nav a{flex-shrink:0;padding-block:10px}.board-title{font-size:clamp(30px,9.4vw,80px)}.board-actions .button{flex:1 1 0;justify-content:center;max-width:200px}.board-bar{gap:12px}.view-tabs{flex-basis:100%}.view-tabs a{flex:1;justify-content:center}.model-board>.table-scroll{background:0 0;overflow:visible}.model-board table,.model-board thead,.model-board tbody{white-space:normal;min-width:0;display:block}.model-board thead tr{border-bottom:1px solid var(--line);justify-content:flex-end;display:flex}.model-board thead th{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.model-board thead th.resolution-column{clip-path:none;border:0;align-items:center;gap:10px;width:auto;height:auto;padding:10px 6px;display:flex;position:static;overflow:visible}.model-board tbody tr{border-bottom:1px solid var(--line);grid-template-columns:34px repeat(3,minmax(0,1fr)) 20px;row-gap:0;padding:18px 6px 20px;display:grid}.model-board tbody td{text-align:left;border:0;padding:0}.model-board td.rank{grid-area:1/1;width:auto;padding-top:2px}.model-board tbody td:nth-child(2){grid-area:1/2/2/5;min-width:0;max-width:none}.model-board .row-target{font-size:16px}.model-board tbody td:nth-child(4){grid-area:2/2/3/6;padding-top:14px}.model-board .resolution{gap:14px;min-width:0}.model-board .resolution-number strong{font-size:16px}.model-board td.col-released{display:none}.model-board td[data-label]{font-variant-numeric:tabular-nums;flex-direction:column-reverse;justify-content:flex-end;gap:2px;padding-top:14px;font-size:14px;display:flex}.model-board td[data-label]:after{content:attr(data-label);color:var(--muted);font-size:11px}.model-board td[data-label=Time]{grid-area:3/2}.model-board td[data-label=Tokens]{grid-area:3/3}.model-board td[data-label=Cost]{grid-area:3/4}}@media (max-width:760px) and (pointer:coarse){.model-board thead .sort-link{align-items:center;min-height:44px;display:inline-flex}}
.analytics-privacy{max-width:960px;margin:24px auto;padding:20px 24px;line-height:1.6}.analytics-preferences{color:var(--muted);cursor:pointer;text-underline-offset:3px;background:0 0;border:0;padding:0;font-size:12px}.analytics-preferences:hover{color:var(--ink);text-decoration:underline}.analytics-consent{z-index:100;right:max(20px, env(safe-area-inset-right));bottom:max(20px, env(safe-area-inset-bottom));border:1px solid var(--line);background:var(--paper);width:min(380px,100vw - 32px);max-height:calc(100dvh - 40px);color:var(--ink);text-align:left;border-radius:12px;padding:22px;line-height:1.55;position:fixed;overflow-y:auto;box-shadow:0 8px 32px #1a242024}.analytics-consent h2{font:600 15px/1.4 var(--sans);letter-spacing:normal;margin:0 28px 8px 0}.analytics-consent p{color:var(--muted);margin:0 0 14px;font-size:12px}.analytics-consent a,.analytics-privacy a{text-underline-offset:3px;text-decoration:underline}.analytics-close{width:36px;height:36px;color:var(--muted);cursor:pointer;background:0 0;border:0;border-radius:6px;font-size:22px;position:absolute;top:10px;right:10px}.analytics-close:hover{background:var(--wash);color:var(--ink)}.analytics-actions{gap:10px;display:flex}.analytics-actions button{border:1px solid var(--line);background:var(--paper);min-height:44px;color:var(--ink);cursor:pointer;border-radius:6px;flex:1;padding:8px 10px;font-size:12px}.analytics-actions button:hover{background:var(--wash);border-color:var(--muted)}@media (max-width:480px){.analytics-consent{right:max(16px, env(safe-area-inset-right));bottom:max(16px, env(safe-area-inset-bottom));padding:18px}}
.view-tabs{border:1px solid var(--line);background:var(--surface);border-radius:6px;gap:2px;height:40px;padding:3px;display:flex}.view-tabs a{text-transform:capitalize;color:var(--muted);border-radius:4px;align-items:center;padding:0 14px;font-size:13px;transition:color .15s,background-color .15s;display:flex}.view-tabs a:hover{color:var(--ink)}.view-tabs a[aria-current=page]{background:var(--brand);color:var(--on-accent)}.visual-view{border:1px solid var(--line);background:var(--surface);border-radius:6px;min-width:0}.visual-toolbar{border-bottom:1px solid var(--line);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:16px;padding:18px 20px;font-size:12px;display:flex}.axis-filter label{align-items:center;gap:12px;display:flex}.pareto-view{background:var(--surface);overflow:hidden}.pareto-view .visual-toolbar{padding:9px 20px}.pareto-view .axis-filter label{color:var(--muted);gap:8px;font-size:13px}.pareto-view .axis-filter select{color:var(--ink)}.pareto-scroll{overflow-x:auto}.pareto-chart{width:100%;min-width:960px;max-width:1600px;margin:12px auto;display:block}.chart-grid line{stroke:var(--line);stroke-width:.6px}.chart-grid text,.chart-axis{fill:var(--muted);font:13px var(--sans);font-variant-numeric:tabular-nums}.frontier-area{fill:var(--accent-wash);opacity:.75}.chart-point{fill:var(--muted);color:var(--muted)}.chart-point .point-marker{opacity:.65}.chart-point.efficient{fill:var(--brand);color:var(--brand)}.chart-point.efficient text{fill:var(--accent)}.chart-point.efficient .point-marker{opacity:1}.chart-point:focus{outline:none}.chart-point:hover,.chart-point:focus{fill:var(--accent);color:var(--accent)}.chart-point:hover .point-marker,.chart-point:focus .point-marker{stroke:var(--ink);stroke-width:2px;opacity:1}.chart-point text{font:500 12px var(--sans);paint-order:stroke;stroke:var(--surface);stroke-width:3px;stroke-linejoin:round}.point-harness{font:11px var(--sans);fill:var(--muted)}.point-leader{fill:none;stroke:currentColor;stroke-width:.6px;opacity:.4}.chart-point.efficient .point-harness{fill:var(--muted);opacity:1}.point-interval{fill:none;stroke:currentColor;stroke-width:.75px;opacity:.6}.point-target{fill:#0000}.point-value{font:600 11px var(--sans);fill:var(--ink);font-variant-numeric:tabular-nums;visibility:hidden}.chart-point:hover .point-value,.chart-point:focus-visible .point-value{visibility:visible}.chart-point:hover .point-interval,.chart-point:focus-visible .point-interval,.chart-point:hover .point-leader,.chart-point:focus-visible .point-leader{opacity:1}.pareto-chart:has(.chart-point:hover,.chart-point:focus-visible) .chart-point:not(:hover,:focus-visible){opacity:.2}.pareto-chart:has(.chart-point:hover,.chart-point:focus-visible) .chart-point:not(:hover,:focus-visible) text{visibility:hidden}.resource-note{border-top:1px solid var(--line);color:var(--muted);padding:14px 20px;font-size:13px;line-height:1.6}.resource-note p{max-width:75ch;margin:6px 0 0}.resource-note summary{cursor:pointer;width:fit-content}.waffle-view{background:var(--surface);overflow:hidden}.waffle-legend{border-top:1px solid var(--line);flex-wrap:wrap;justify-content:center;gap:12px 24px;padding:18px 20px;font-size:13px;display:flex}.waffle-legend>span{align-items:center;gap:7px;display:inline-flex}.waffle-outcome-count{color:var(--muted);font-variant-numeric:tabular-nums;font-size:12px}.waffle-square{border:1px solid var(--outcome-fail-line);background:var(--outcome-fail);border-radius:1px;flex:0 0 14px;width:14px;height:14px;display:inline-block}.waffle-square.passed{background:var(--brand);border-color:var(--brand)}.waffle-square.timeout{background:var(--outcome-timeout);border-color:var(--outcome-timeout)}.waffle-square.error{background:var(--outcome-error);border-color:var(--outcome-error)}a.waffle-square:hover,a.waffle-square:focus-visible{outline:2px solid var(--accent);outline-offset:2px;z-index:2;position:relative}.outcome.timeout{color:var(--timeout-ink);background:var(--timeout-bg)}.waffle-matrix-scroll{isolation:isolate;max-height:75vh;padding:20px 16px;position:relative;overflow:auto}.waffle-matrix{--waffle-task-width:260px;table-layout:fixed;white-space:normal;width:calc(var(--waffle-task-width) + var(--waffle-columns) * 112px);border-collapse:separate;border-spacing:0;margin:0 auto}.waffle-task-column{width:var(--waffle-task-width)}.waffle-matrix th,.waffle-matrix td{text-align:left;vertical-align:middle;font:12px/16px var(--mono);text-transform:none;letter-spacing:normal;border:0;padding:2px 10px}.waffle-matrix thead th{z-index:2;background:var(--surface);color:var(--ink);padding-top:8px;padding-bottom:14px;position:sticky;top:-20px}.waffle-matrix th:first-child{z-index:1;text-align:right;padding-right:14px;position:sticky;left:-16px}.waffle-matrix thead th:first-child{z-index:3;color:var(--muted)}.waffle-matrix tbody th{background:var(--surface);font-weight:400}.waffle-matrix tbody tr:hover,.waffle-matrix tbody tr:hover th{background:var(--hover)}.waffle-model-name,.waffle-harness,.waffle-task-name{text-overflow:ellipsis;white-space:nowrap;display:block;overflow:hidden}.waffle-model-name{color:var(--accent);font-size:12px;font-weight:600}.waffle-harness{font:12px var(--mono);color:var(--muted);margin-top:2px}.waffle-task-name{font:12px/16px var(--mono);color:var(--ink)}.waffle-runs{flex-wrap:wrap;gap:4px 8px;display:flex}.waffle-run{max-width:100%}.waffle-squares{flex-wrap:wrap;gap:2px;display:flex}.waffle-empty{color:var(--muted)}.waffle-empty-state{color:var(--muted);padding:20px}@media (max-width:640px){.waffle-matrix{--waffle-task-width:160px}.waffle-matrix-scroll{padding:12px 8px}.waffle-matrix thead th{top:-12px}.waffle-matrix th:first-child{left:-8px}.waffle-matrix td{padding-top:5px;padding-bottom:5px}.waffle-legend{gap:12px 16px}.visual-toolbar{padding:16px}}:root{--time-environment:#eb6834;--time-agent-setup:#1baf7a;--time-agent-run:#2a78d6;--time-verifier:#eda100;--time-other:#c9cbc6}.time-environment{background:var(--time-environment)}.time-agent-setup{background:var(--time-agent-setup)}.time-agent-run{background:var(--time-agent-run)}.time-verifier{background:var(--time-verifier)}.time-other{background:var(--time-other)}.time-bar{gap:2px;min-width:96px;height:6px;margin-top:6px;display:flex}.time-bar>span{border-radius:1px;flex-basis:0;min-width:1px}.time-breakdown{max-width:720px;margin:0 0 22px}.time-breakdown-title{color:var(--muted);font-size:13px}.time-breakdown .time-bar{height:10px;margin-top:8px}.time-legend{color:var(--muted);flex-wrap:wrap;gap:6px 18px;margin:10px 0 0;padding:0;font-size:13px;list-style:none;display:flex}.time-legend strong{color:var(--ink);font-weight:600}.time-swatch{border-radius:2px;width:9px;height:9px;margin-right:6px;display:inline-block}@media (pointer:coarse){.view-tabs{height:52px}.view-tabs a{padding-inline:16px}.waffle-matrix a.waffle-square{border-radius:2px;flex-basis:24px;width:24px;height:24px}.waffle-matrix .waffle-squares{gap:4px}.waffle-matrix td{padding-top:6px;padding-bottom:6px}}