:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--paper:#f4f5f1;--surface:#fff;--ink:#10130f;--muted:#626a60;--line:#d2d6cf;--line-dark:#9da69a;--green:#126b37;--green-bright:#2f9c55;--green-bg:#e6f3e9;--amber:#7d5900;--amber-bg:#fff3ca;--red:#99251e;--red-bg:#fae8e6;--blue:#225b83;--blue-bg:#e9f2f8;--mono:"SFMono-Regular", Consolas, "Liberation Mono", monospace;--sans:Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--paper);color:var(--ink);font:16px/1.55 var(--sans);margin:0}a{color:inherit;-webkit-text-decoration-color:var(--line-dark);text-decoration-color:var(--line-dark);text-underline-offset:3px}a:hover{-webkit-text-decoration-color:var(--ink);text-decoration-color:var(--ink)}button,input,select,textarea{font:inherit}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,textarea:focus-visible{outline:2px solid var(--green-bright);outline-offset:2px}code,pre,.mono{font-family:var(--mono)}img{max-width:100%}.site-header{z-index:30;border-bottom:1px solid var(--line);background:color-mix(in srgb, var(--paper) 94%, transparent);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);position:sticky;top:0}.header-inner{grid-template-columns:minmax(230px,auto) 1fr auto;align-items:center;gap:28px;width:min(1480px,100% - 40px);min-height:58px;margin:0 auto;display:grid;position:relative}.wordmark{font:800 15px/1 var(--mono);letter-spacing:-.035em;white-space:nowrap;text-decoration:none}.primary-nav{font:700 12px/1 var(--mono);text-transform:uppercase;justify-content:center;gap:18px;display:flex}.primary-nav a{border-bottom:2px solid #0000;align-items:center;min-height:32px;text-decoration:none;display:inline-flex}.primary-nav a:hover{border-bottom-color:var(--line-dark);text-decoration:none}.primary-nav a.active,.primary-nav a[aria-current=page]{border-bottom-color:var(--green);color:var(--green)}.external-mark{color:var(--muted);font:800 11px/1 var(--mono);margin-left:5px}.mobile-navigation{display:none}.mobile-menu-button{border:1px solid var(--line-dark);background:var(--surface);width:42px;height:42px;color:var(--ink);cursor:pointer;place-content:center;gap:5px;padding:0;display:grid}.mobile-menu-button>span{background:currentColor;width:19px;height:2px;transition:transform .16s,opacity .16s;display:block}.mobile-menu-button[aria-expanded=true]>span:first-child{transform:translateY(7px)rotate(45deg)}.mobile-menu-button[aria-expanded=true]>span:nth-child(2){opacity:0}.mobile-menu-button[aria-expanded=true]>span:last-child{transform:translateY(-7px)rotate(-45deg)}.mobile-navigation-panel{border:1px solid var(--line-dark);background:var(--surface);border-top:0;width:min(390px,100vw - 22px);position:absolute;top:calc(100% + 1px);right:0;box-shadow:0 14px 35px #10130f21}.mobile-navigation-panel[hidden]{display:none}.mobile-primary-nav{font:800 13px/1.2 var(--mono);text-transform:uppercase;flex-direction:column;display:flex}.mobile-primary-nav a{border-bottom:1px solid var(--line);align-items:center;min-height:46px;padding:0 16px;text-decoration:none;display:flex}.mobile-primary-nav a:hover{background:var(--green-bg)}.mobile-primary-nav a.active,.mobile-primary-nav a[aria-current=page]{border-left:4px solid var(--green);color:var(--green);padding-left:12px}.mobile-primary-nav .external-mark{margin-left:auto}.mobile-account{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:14px;min-height:58px;padding:9px 16px;display:flex}.mobile-account .review-queue-link{border-bottom:1px solid var(--line);width:100%;padding-bottom:9px}.mobile-account>.sign-in{width:100%}.mobile-account form{margin:0}.sign-in,.button{border:1px solid var(--ink);background:var(--ink);min-height:39px;color:var(--surface);font:800 12px/1.3 var(--mono);cursor:pointer;justify-content:center;align-items:center;padding:9px 14px;text-decoration:none;display:inline-flex}.sign-in:hover,.button:hover{background:var(--surface);color:var(--ink);text-decoration:none}.button:disabled{border-color:var(--line-dark);color:var(--muted);cursor:not-allowed;background:#e6e8e3}.button-secondary{background:var(--surface);color:var(--ink)}.button-secondary:hover{background:var(--ink);color:var(--surface)}.large-sign-in{margin-top:20px;padding:11px 15px}.account-menu{align-items:center;gap:13px;display:flex}.account-link{font:700 12px/1 var(--mono);align-items:center;gap:7px;text-decoration:none;display:flex}.account-link img{border-radius:50%}.account-menu form{margin:0}.review-queue-link{font:800 12px/1 var(--mono)}.text-button{color:var(--muted);font:700 12px/1 var(--mono);cursor:pointer;background:0 0;border:0;padding:4px 0;text-decoration:underline}main{width:min(1480px,100% - 40px);margin:0 auto}.eyebrow{color:var(--muted);font:800 11px/1.4 var(--mono);letter-spacing:.1em}.button-row{flex-wrap:wrap;gap:8px;margin-top:18px;display:flex}.intro{border:1px solid var(--line-dark);background:var(--surface);grid-template-columns:minmax(0,1.7fr) minmax(340px,.72fr);margin-top:28px;display:grid}.intro-main{border-right:1px solid var(--line-dark);min-width:0;padding:27px 29px 24px}.intro h1{letter-spacing:-.055em;max-width:980px;margin:5px 0 11px;font-size:clamp(30px,3.7vw,54px);line-height:1.02}.intro-main>p{max-width:1040px;color:var(--muted);margin:0;font-size:17px}.intro-steps{background:var(--green-bg);grid-template-rows:repeat(3,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid}.intro-steps li{border-bottom:1px solid #a8c9b0;grid-template-columns:27px minmax(0,1fr);align-content:center;gap:10px;padding:17px 19px;display:grid}.intro-steps li:last-child{border-bottom:0}.intro-steps li>span{border:1px solid var(--ink);width:26px;height:26px;font:800 12px/1 var(--mono);justify-content:center;align-items:center;display:flex}.intro-steps strong{font-size:15px}.intro-steps p{color:#365c40;margin:4px 0 0;font-size:14px}.section{padding-top:56px;scroll-margin-top:68px}.frontier-section{padding-top:32px}.section-heading{justify-content:space-between;align-items:flex-end;gap:36px;margin-bottom:15px;display:flex}.section-heading h2{letter-spacing:-.03em;margin:3px 0 0;font-size:25px;line-height:1.12}.section-heading>p{max-width:690px;color:var(--muted);text-align:right;margin:0}.frontier{border:1px solid var(--line-dark);background:var(--surface)}.frontier-inconsistent{border-color:var(--red)}.frontier-tabs{border-bottom:1px solid var(--line-dark);background:#e9ebe6;flex-wrap:wrap;display:flex}.frontier-tabs button{border:0;border-right:1px solid var(--line-dark);color:var(--muted);font:800 12px/1 var(--mono);cursor:pointer;background:0 0;padding:13px 17px}.frontier-tabs button:hover{background:var(--surface);color:var(--ink)}.frontier-tabs button.active{background:var(--surface);color:var(--ink);box-shadow:inset 0 -3px 0 var(--green)}.frontier-controls{border-bottom:1px solid var(--line);background:#f5f6f2;justify-content:space-between;align-items:center;gap:18px;padding:9px 14px;display:flex}.frontier-window,.frontier-scale{align-items:center;gap:6px;display:flex}.frontier-controls span{color:var(--muted);font:800 13px/1 var(--mono);text-transform:uppercase;margin-right:4px}.frontier-controls button{border:1px solid var(--line-dark);background:var(--surface);min-width:42px;color:var(--ink);font:800 13px/1 var(--mono);cursor:pointer;padding:8px 10px}.frontier-controls button:hover:not(:disabled),.frontier-controls button.active{border-color:var(--green);background:var(--green-bg);color:var(--green)}.frontier-controls button:disabled{cursor:default;opacity:.35}.frontier-head{border-bottom:1px solid var(--line);grid-template-columns:minmax(0,1fr) minmax(520px,.85fr);gap:28px;padding:17px 19px 14px;display:grid}.frontier-head h3{margin:0 0 5px;font-size:20px}.frontier-head p{max-width:760px;color:var(--muted);margin:0;font-size:14px}.frontier-sources{flex-wrap:wrap;gap:8px 16px;margin-top:9px;font-size:14px;font-weight:700;display:flex}.frontier-head dl{border:1px solid var(--line);grid-template-columns:repeat(3,minmax(0,1fr));margin:0;display:grid}.frontier-head dl.frontier-values-two{grid-template-columns:repeat(2,minmax(0,1fr))}.frontier-head dl div{border-right:1px solid var(--line);min-width:0;padding:8px 10px}.frontier-head dl div:last-child{border-right:0}.frontier-head dt{color:var(--muted);font:700 11px/1.3 var(--mono);text-transform:uppercase}.frontier-head dd{overflow-wrap:anywhere;font:800 14px/1.35 var(--mono);margin:4px 0 0}.reference-value{background:#f0f1ed}.chart-scroll{padding:7px 12px 0;overflow-x:auto}.frontier-svg{width:100%;min-width:830px;height:auto;font-family:var(--mono);display:block}.grid-line{stroke:#e2e5df;stroke-width:1px}.axis-line{stroke:var(--line-dark);stroke-width:1px}.axis-title,.tick-label,.event-date{fill:var(--muted);font-size:12px}.axis-title{letter-spacing:.06em;text-transform:uppercase;font-weight:800}.hatch-line{stroke:#adb5aa;stroke-width:1px}.frontier-gap{opacity:.55}.lower-line,.upper-line{fill:none;stroke-width:3px}.lower-line{stroke:var(--green)}.upper-line{stroke:var(--red)}.reference-line{stroke:#6c7369;stroke-width:1.2px;stroke-dasharray:6 5}.reference-label{fill:#575e55;font-size:12px;font-weight:800}.open-label{fill:var(--muted);letter-spacing:.08em;font-size:12px;font-weight:800}.event-rule{stroke:#0000;stroke-width:1px}.event-point{cursor:pointer;outline:none}.event-point:hover .event-rule,.event-point.selected .event-rule,.event-point:focus .event-rule{stroke:var(--line-dark);stroke-dasharray:3 3}.avatar-ring{fill:var(--surface);stroke:var(--blue);stroke-width:2px}.event-point.lower .avatar-ring{stroke:var(--green);stroke-width:3px}.event-point.upper .avatar-ring{stroke:var(--red);stroke-width:3px}.event-point:hover .avatar-ring,.event-point.selected .avatar-ring,.event-point:focus .avatar-ring{stroke-width:5px}.avatar-fallback{fill:var(--ink);pointer-events:none;font-size:12px;font-weight:900}.frontier-legend{border-top:1px solid var(--line);color:var(--muted);font:700 12px/1.3 var(--mono);flex-wrap:wrap;gap:20px;padding:11px 18px;display:flex}.frontier-legend span{align-items:center;gap:6px;display:inline-flex}.frontier-legend i{width:18px;height:7px;display:inline-block}.legend-lower{border-top:3px solid var(--green)}.legend-upper{border-top:3px solid var(--red)}.legend-verified{border:2px solid var(--blue);border-radius:50%}.legend-gap{background:repeating-linear-gradient(45deg,#0000,#0000 3px,#a9b1a7 3px 4px)}.legend-reference{border-top:1px dashed #6c7369}.frontier-selection{border-top:1px solid var(--line);grid-template-columns:1.4fr 1fr 1fr .65fr .65fr;display:grid}.frontier-selection>div{border-right:1px solid var(--line);min-width:0;padding:10px 13px}.frontier-selection>div:last-child{border-right:0}.frontier-selection span{color:var(--muted);font:700 11px/1.3 var(--mono);text-transform:uppercase;display:block}.frontier-selection strong,.frontier-selection a{overflow-wrap:anywhere;margin-top:3px;font-size:14px;display:block}.frontier-review-note{grid-column:span 3}.frontier-empty{border-top:1px solid var(--line);color:var(--muted);padding:14px 18px}.reference-note{border-top:1px solid var(--line);color:var(--muted);background:#f0f1ed;margin:0;padding:11px 18px;font-size:13px}.track-grid{border-top:1px solid var(--line-dark);border-left:1px solid var(--line-dark);grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.track-card{border-right:1px solid var(--line-dark);border-bottom:1px solid var(--line-dark);background:var(--surface);flex-direction:column;min-height:265px;padding:17px;display:flex}.track-card-head{justify-content:space-between;align-items:center;gap:12px;display:flex}.track-card h3{margin:14px 0 7px;font-size:17px;line-height:1.2}.track-card>p{color:var(--muted);margin:0 0 17px;font-size:14px}.track-card dl{margin:auto 0 14px}.track-card dl div{border-top:1px solid var(--line);font:12px/1.4 var(--mono);grid-template-columns:90px minmax(0,1fr);padding:7px 0;display:grid}.track-card dt{color:var(--muted);text-transform:uppercase}.track-card dd{overflow-wrap:anywhere;margin:0;font-weight:700}.card-link{font:800 12px/1.3 var(--mono);align-self:flex-start}.kind{border:1px solid var(--line-dark);font:800 11px/1 var(--mono);letter-spacing:.05em;padding:4px 7px;display:inline-block}.kind-proof{color:var(--blue);background:var(--blue-bg);border-color:#6b8ab0}.kind-attack{color:var(--red);background:var(--red-bg);border-color:#c9908c}.kind-audit{color:var(--amber);background:var(--amber-bg);border-color:#c7ab57}.kind-reproduction{color:var(--green);background:var(--green-bg);border-color:#80ab8b}.table-wrap{overflow-x:auto}table{border-collapse:collapse;background:var(--surface);width:100%;font-size:14px}th{border:1px solid var(--line-dark);color:var(--muted);font:800 11px/1.3 var(--mono);text-align:left;text-transform:uppercase;white-space:nowrap;background:#e9ebe6;padding:11px 12px}td{border:1px solid var(--line);vertical-align:top;padding:11px 10px}td strong{font-size:15px;display:block}td code{color:var(--muted);margin-top:5px;font-size:12px;display:block}.cell-note,.source-link{color:var(--muted);margin-top:6px;font-size:13px;line-height:1.45;display:block}.source-link+.source-link{margin-top:6px}.status{font:800 11px/1.25 var(--mono);letter-spacing:.05em;white-space:nowrap;border:1px solid;border-radius:2px;padding:3px 7px;display:inline-block}.status-verified,.status-proved,.status-active,.status-ready,.status-pull-request,.status-accepted{color:var(--green);background:var(--green-bg)}.status-premise,.status-queued{color:var(--blue);background:var(--blue-bg)}.status-under-review,.status-expert-review,.status-contract-draft,.status-checking,.status-draft,.status-submitting{color:var(--amber);background:var(--amber-bg)}.status-premise-failed,.status-conflicted,.status-refuted,.status-rejected,.status-failed{color:var(--red);background:var(--red-bg)}.premise-grid{border:1px solid var(--line-dark);grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.premise-grid article{background:var(--surface);min-width:0;padding:18px}.premise-grid article+article{border-left:1px solid var(--line-dark)}.premise-grid article>div{align-items:center;gap:9px;display:flex}.premise-grid code{color:var(--muted);font-size:12px}.premise-grid h3{margin:13px 0 6px;font-size:17px}.premise-grid p{color:var(--muted);margin:0 0 13px}.premise-grid a{font:800 12px/1.3 var(--mono)}.leaderboard-grid{border:1px solid var(--line-dark);background:var(--surface);grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.leaderboard-page-head{justify-content:space-between;align-items:flex-end;gap:28px;display:flex}.leaderboard-page-head .page-head{margin-bottom:32px}.leaderboard-refresh{justify-content:flex-end;align-items:center;gap:11px;min-width:190px;margin-bottom:32px;display:flex}.leaderboard-refresh span{color:var(--muted);font:700 12px/1.3 var(--mono);white-space:nowrap}.leaderboard-panel{border-right:1px solid var(--line-dark);min-width:0;padding:15px}.leaderboard-panel:last-child{border-right:0}.leaderboard-panel h2,.leaderboard-panel h3{margin:0 0 10px;font-size:17px}.leaderboard-row{border-top:1px solid var(--line);grid-template-columns:28px minmax(0,1fr) auto;align-items:center;gap:9px;padding:9px 2px;text-decoration:none;display:grid}.leaderboard-row img{border-radius:50%}.leaderboard-row strong,.leaderboard-row small{display:block}.leaderboard-row strong{text-overflow:ellipsis;white-space:nowrap;font-size:14px;overflow:hidden}.leaderboard-row small{color:var(--muted);font:12px/1.4 var(--mono)}.rank-row{grid-template-columns:18px 28px minmax(0,1fr)}.rank-row b{color:var(--muted);font:800 12px/1 var(--mono)}.leaderboard-row.rank-row:not(:has(img)){grid-template-columns:18px minmax(0,1fr)}.empty{color:var(--muted)}.source-pin{border:1px solid var(--line-dark);background:#e9ebe6;grid-template-columns:1fr 1fr;margin:55px 0 70px;display:grid}.source-pin div{min-width:0;padding:10px 13px}.source-pin div+div{border-left:1px solid var(--line-dark)}.source-pin span,.source-pin a{font:11px/1.5 var(--mono);display:block}.source-pin span{color:var(--muted);text-transform:uppercase}.source-pin a{overflow-wrap:anywhere;font-size:13px;font-weight:700}.page{padding:46px 0 80px}.page-head{max-width:1100px;margin-bottom:32px}.page-head h1,.task-detail-head h1,.run-head h1,.empty-panel h1{letter-spacing:-.055em;margin:5px 0 11px;font-size:clamp(31px,4.3vw,56px);line-height:1.02}.page-head>p,.task-detail-head>div>p,.run-head>div>p{max-width:980px;color:var(--muted);margin:0;font-size:16px}.signed-in-note{background:var(--green-bg);font:12px/1.35 var(--mono);border:1px solid #9bc1a5;margin-top:18px;padding:9px 12px;display:inline-block}.task-list{border:1px solid var(--line-dark);background:var(--surface)}.task-list article{border-bottom:1px solid var(--line-dark);grid-template-columns:55px minmax(0,1fr) 115px;align-items:stretch;display:grid}.task-list article:last-child{border-bottom:0}.task-index{border-right:1px solid var(--line-dark);color:var(--muted);font:800 13px/1 var(--mono);background:#e9ebe6;justify-content:center;align-items:center;display:flex}.task-body{padding:16px 18px}.task-body>div{gap:8px;display:flex}.task-body h2{margin:9px 0 5px;font-size:18px}.task-body>p{color:var(--muted);margin:0 0 12px}.task-body dl{border:1px solid var(--line);grid-template-columns:repeat(4,minmax(0,1fr));margin:0;display:grid}.task-body dl div{border-right:1px solid var(--line);min-width:0;padding:6px 8px}.task-body dl div:last-child{border-right:0}.task-body dt{color:var(--muted);font:700 11px/1.3 var(--mono);text-transform:uppercase}.task-body dd{overflow-wrap:anywhere;font:700 12px/1.4 var(--mono);margin:4px 0 0}.task-open{border-left:1px solid var(--line-dark);background:var(--green-bg);font:800 12px/1.3 var(--mono);text-align:center;justify-content:center;align-items:center;display:flex}.task-open:hover{background:var(--ink);color:var(--surface);text-decoration:none}.back-link{font:800 12px/1 var(--mono);margin-bottom:30px;display:inline-block}.task-detail-head{grid-template-columns:minmax(0,1fr) 380px;align-items:end;gap:40px;margin-bottom:26px;display:grid}.task-detail-head dl{border:1px solid var(--line-dark);background:var(--surface);grid-template-columns:1fr 1fr;margin:0;display:grid}.task-detail-head dl div{border-right:1px solid var(--line);border-bottom:1px solid var(--line);min-width:0;padding:9px 10px}.task-detail-head dl div:nth-child(2n){border-right:0}.task-detail-head dl div:nth-last-child(-n+2){border-bottom:0}.task-detail-head dt{color:var(--muted);font:700 11px/1.3 var(--mono);text-transform:uppercase}.task-detail-head dd{overflow-wrap:anywhere;font:700 13px/1.4 var(--mono);margin:4px 0 0}.task-layout{grid-template-columns:minmax(0,1.45fr) minmax(360px,.7fr);align-items:start;gap:16px;display:grid}.task-contract,.start-run,.panel{border:1px solid var(--line-dark);background:var(--surface);padding:18px}.panel-head{justify-content:space-between;align-items:flex-end;gap:25px;margin-bottom:12px;display:flex}.panel-head h2,.start-run h2,.panel h2,.prompt-result h2,.ready-panel h2{margin:3px 0 0;font-size:19px}.panel-head a{font:800 12px/1 var(--mono)}.public-task-document{border-top:1px solid var(--line);padding-top:3px}.public-task-document h3{margin:17px 0 22px;font-size:23px;line-height:1.2}.public-task-document h4{color:var(--green);font:800 13px/1.4 var(--mono);letter-spacing:.04em;text-transform:uppercase;margin:25px 0 7px}.public-task-document p,.public-task-document li{max-width:900px;margin:0;font-size:16px;line-height:1.65}.public-task-document ul{margin:8px 0 0;padding-left:22px}.public-task-document code{border:1px solid var(--line);overflow-wrap:anywhere;background:#f0f1ed;padding:1px 4px;font-size:14px}.public-task-document a{overflow-wrap:anywhere;font-weight:700}.start-run{position:sticky;top:76px}.start-run>p{color:var(--muted);font-size:14px}.small-note{font-size:13px!important}.run-form{margin-top:15px}.run-mode-switch{border:1px solid var(--line-dark);grid-template-columns:1fr 1fr;margin-bottom:10px;display:grid}.run-mode-switch button{border:0;border-right:1px solid var(--line-dark);min-height:42px;color:var(--muted);font:800 13px/1.3 var(--mono);cursor:pointer;background:#eceeea;border-bottom:3px solid #0000;padding:8px 10px}.run-mode-switch button:last-child{border-right:0}.run-mode-switch button.active{border-bottom-color:var(--green);background:var(--surface);color:var(--ink)}.run-mode-note{border:1px solid var(--line);background:var(--green-bg);color:#365c40;margin:0;padding:11px 12px;font-size:14px;line-height:1.5}.form-grid{border:1px solid var(--line);grid-template-columns:1fr 1fr;display:grid}.form-grid label{border-right:1px solid var(--line);border-bottom:1px solid var(--line);gap:5px;padding:9px;display:grid}.form-grid label:nth-child(2n){border-right:0}.form-grid label:nth-last-child(-n+2){border-bottom:0}.form-grid label span{color:var(--muted);font:800 11px/1.3 var(--mono);text-transform:uppercase}.form-grid input,.form-grid select{border:1px solid var(--line-dark);background:var(--surface);min-width:0;font:15px/1.4 var(--mono);border-radius:0;padding:9px 10px}.run-form>.button{margin-top:12px}.form-error{background:var(--red-bg);color:var(--red);border:1px solid #d5a09c;margin-top:10px;padding:9px 11px;font-size:13px}.prompt-result{background:var(--green-bg);border:1px solid #80ab8b;padding:15px}.prompt-result>p{color:#365c40;font-size:14px}.agent-start-steps{margin:13px 0 0;padding-left:25px}.agent-start-steps li{color:#365c40;margin:0 0 9px;font-size:15px;line-height:1.5}.private-agent-prompt{background:var(--surface);border:1px solid #9bc1a5;margin-top:12px;padding:12px}.private-agent-prompt>p{color:#365c40;margin:0 0 11px;font-size:14px}.private-agent-prompt>.copy-confirmation{color:var(--green);margin:0 0 0 10px;font-weight:700;display:inline-block}.run-dashboard-link{margin-top:10px}.runs-list{border:1px solid var(--line-dark);background:var(--surface)}.run-row{border-bottom:1px solid var(--line-dark);grid-template-columns:minmax(0,1fr) 430px;align-items:center;padding:14px 16px;text-decoration:none;display:grid}.run-row:last-child{border-bottom:0}.run-row:hover{background:var(--green-bg)}.run-row>div{align-items:center;gap:10px;min-width:0;display:flex}.run-row>div strong{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.run-row>div span:last-child{color:var(--muted);font:12px/1 var(--mono)}.run-row dl{grid-template-columns:1fr 1fr;margin:0;display:grid}.run-row dl div{border-left:1px solid var(--line);padding-left:12px}.run-row dt{color:var(--muted);font:700 11px/1.3 var(--mono);text-transform:uppercase}.run-row dd{font:700 12px/1.3 var(--mono);margin:3px 0 0}.empty-panel{border:1px solid var(--line-dark);background:var(--surface);padding:32px}.empty-panel>p{max-width:760px;color:var(--muted)}.run-head{justify-content:space-between;align-items:flex-start;gap:30px;margin-bottom:25px;display:flex}.run-progress-banner{border:1px solid var(--line-dark);background:var(--surface);grid-template-columns:18px minmax(0,1fr);align-items:center;gap:15px;margin:-8px 0 16px;padding:17px 19px;display:grid;position:relative;overflow:hidden}.run-progress-banner h2{margin:3px 0 2px;font-size:23px;line-height:1.2}.run-progress-banner p{color:var(--muted);margin:0;font-size:15px}.run-progress-signal{width:15px;height:15px;color:var(--blue);border:2px solid;border-radius:50%;display:block;position:relative}.run-progress-waiting{background:var(--blue-bg);border-color:#8eb0c6}.run-progress-working{background:var(--green-bg);border-color:#80ab8b}.run-progress-working .run-progress-signal{color:var(--green);background:var(--green);animation:1.4s ease-in-out infinite run-signal-pulse}.run-progress-working:after{background:linear-gradient(90deg, transparent 0%, var(--green-bright) 45%, transparent 70%);content:"";background-size:220% 100%;height:3px;animation:1.8s linear infinite run-progress-sweep;position:absolute;bottom:0;left:0;right:0}.run-progress-ready{background:var(--green-bg);border-color:#65a376}.run-progress-ready .run-progress-signal{border-color:var(--green);background:var(--green);color:var(--green)}.run-progress-review{background:var(--blue-bg);border-color:#8eb0c6}.run-progress-review .run-progress-signal{border-color:var(--blue);background:var(--blue);color:var(--blue)}.run-progress-failed{background:var(--red-bg);border-color:#d5a09c}.run-progress-failed .run-progress-signal{border-color:var(--red);background:var(--red);color:var(--red)}.run-progress-complete{background:#f0f1ed}@keyframes run-signal-pulse{0%,to{box-shadow:0 0 #126b3747}50%{box-shadow:0 0 0 8px #126b3700}}@keyframes run-progress-sweep{0%{background-position:100% 0}to{background-position:-120% 0}}@media (prefers-reduced-motion:reduce){.run-progress-working .run-progress-signal,.run-progress-working:after,.review-finalizing:after,.review-finalizing>i{animation:none}}.run-grid{grid-template-columns:1fr 1fr;gap:16px;display:grid}.run-grid-single{grid-template-columns:1fr}.panel>h2{margin:0 0 10px}.panel>p{color:var(--muted)}.facts{margin:0}.facts div{border-top:1px solid var(--line);grid-template-columns:120px minmax(0,1fr);gap:15px;padding:8px 0;display:grid}.facts dt{color:var(--muted);font:700 11px/1.4 var(--mono);text-transform:uppercase}.facts dd{overflow-wrap:anywhere;font:13px/1.5 var(--mono);margin:0}.token-panel .private-agent-prompt{margin-top:0}.manual-submission{margin-top:16px}.manual-submission>p{max-width:900px;margin:6px 0 14px;font-size:15px;line-height:1.55}.manual-outcome-switch{max-width:520px;margin:0 0 14px}.manual-evidence-form{max-width:1050px}.manual-fields{gap:12px;display:grid}.manual-fields label{gap:6px;display:grid}.manual-fields label>span{color:var(--muted);font:800 12px/1.3 var(--mono);text-transform:uppercase}.manual-fields input,.manual-fields select,.manual-fields textarea{border:1px solid var(--line-dark);background:var(--surface);border-radius:0;width:100%;padding:10px 11px;font-size:15px;line-height:1.5}.manual-fields textarea{resize:vertical}.manual-fields textarea[name=artifact],.manual-fields input[name$=Commit],.manual-fields input[name=reportSha256]{font-family:var(--mono);font-size:13px}.manual-evidence-form>.button{margin-top:13px}.manual-private-note{border:1px solid var(--line);color:var(--muted);background:#f0f1ed;margin:0;padding:11px 12px;font-size:14px}.ready-panel{background:var(--green-bg);border:1px solid #80ab8b;justify-content:space-between;align-items:center;gap:35px;margin-top:16px;padding:17px 19px;display:flex}.ready-panel p{color:#365c40;max-width:850px;margin:4px 0 0}.pull-request-action{min-width:235px}.pull-request-action .button{width:100%}.pull-request-action .form-error{max-width:360px}.review-list{gap:18px;display:grid}.review-card{border:1px solid var(--line-dark);background:var(--surface)}.review-card-head{border-bottom:1px solid var(--line-dark);justify-content:space-between;align-items:flex-start;gap:25px;padding:18px;display:flex}.review-card-head h2{margin:4px 0 8px;font-size:23px;line-height:1.2}.review-author{font:700 13px/1.3 var(--mono);align-items:center;gap:8px;display:flex}.review-author img{border-radius:50%}.review-card-actions{align-items:center;gap:9px;display:flex}.review-state-unreviewed,.review-state-draft{color:var(--amber);background:var(--amber-bg)}.review-state-publishing,.review-state-promotion-pull-request,.review-state-finalizing{color:var(--blue);background:var(--blue-bg)}.review-state-published{color:var(--green);background:var(--green-bg)}.review-state-failed{color:var(--red);background:var(--red-bg)}.review-grid{grid-template-columns:minmax(0,1.15fr) minmax(360px,.85fr);display:grid}.review-decision,.review-publication{padding:18px}.review-decision{border-right:1px solid var(--line-dark)}.review-decision>p,.review-publication-note,.review-independent{color:var(--muted);font-size:15px}.review-decision label{gap:6px;margin-top:14px;display:grid}.review-decision label>span{color:var(--muted);font:800 11px/1.3 var(--mono);text-transform:uppercase}.review-decision select,.review-decision textarea{border:1px solid var(--line-dark);background:var(--surface);border-radius:0;width:100%;padding:10px;font-size:15px}.review-decision textarea{resize:vertical;line-height:1.5}.review-decision>.button{margin-top:14px}.review-note-count{color:var(--muted);font:11px/1.4 var(--mono);margin-top:6px}.review-publication h3{margin:7px 0 10px;font-size:20px}.review-publication>.button{margin-top:12px}.review-dismiss{margin-left:9px}.review-disabled-reason{border-left:3px solid var(--amber);color:var(--muted);margin-top:12px;padding:8px 10px;font-size:14px}.review-finalizing{background:var(--blue-bg);border-bottom:1px solid #8eb0c6;grid-template-columns:18px minmax(0,1fr);align-items:center;gap:14px;padding:15px 18px;display:grid;position:relative;overflow:hidden}.review-finalizing:after{background:linear-gradient(90deg, transparent 0%, var(--blue) 45%, transparent 70%);content:"";background-size:220% 100%;height:3px;animation:1.8s linear infinite run-progress-sweep;position:absolute;bottom:0;left:0;right:0}.review-finalizing>i{border:2px solid var(--blue);background:var(--blue);border-radius:50%;width:14px;height:14px;animation:1.4s ease-in-out infinite run-signal-pulse}.review-finalizing strong{font-size:18px;display:block}.review-finalizing p{color:var(--muted);margin:3px 0}.stalled-runs{border:1px solid var(--line-dark);background:var(--surface);margin-top:40px;padding:18px}.stalled-runs h2{margin:5px 0;font-size:22px}.stalled-runs>p{color:var(--muted);margin:0 0 15px}.stalled-run-list{border:1px solid var(--line)}.stalled-run-list article{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:20px;padding:11px;display:flex}.stalled-run-list article:last-child{border-bottom:0}.stalled-run-list strong,.stalled-run-list span{display:block}.stalled-run-list span{color:var(--muted);font:11px/1.4 var(--mono);margin:3px 0}.review-gates{border:1px solid var(--line);margin-top:12px;display:grid}.review-gate{border-bottom:1px solid var(--line);min-height:45px;color:var(--muted);font:700 13px/1.35 var(--mono);align-items:center;gap:10px;padding:9px 11px;display:flex}.review-gate:last-child{border-bottom:0}.review-gate i{border:2px solid var(--line-dark);border-radius:50%;flex:none;width:12px;height:12px}.review-gate-passed{color:var(--green);background:var(--green-bg)}.review-gate-passed i{border-color:var(--green);background:var(--green)}.review-promotion{background:var(--blue-bg);border:1px solid #8eb0c6;margin-top:16px;padding:14px}.review-promotion strong{font-size:17px}.review-promotion p{color:var(--muted);margin:5px 0 13px}.review-published{background:var(--green-bg);border-color:#80ab8b}.site-footer{border-top:1px solid var(--line-dark);width:min(1480px,100% - 40px);color:var(--muted);font:12px/1.5 var(--mono);justify-content:space-between;align-items:center;gap:30px;margin:0 auto 24px;padding-top:15px;display:flex}.site-footer>div:first-child strong,.site-footer>div:first-child span{display:block}.site-footer>div:last-child{flex-wrap:wrap;gap:18px;display:flex}@media (max-width:1120px){.header-inner{grid-template-columns:1fr auto}.primary-nav{grid-area:2/1/auto/-1;justify-content:flex-start;padding-bottom:11px}.intro{grid-template-columns:1fr}.intro-main{border-right:0;border-bottom:1px solid var(--line-dark)}.intro-steps{grid-template-rows:none;grid-template-columns:repeat(3,1fr)}.intro-steps li{border-bottom:0;border-right:1px solid #a8c9b0}.intro-steps li:last-child{border-right:0}.frontier-head{grid-template-columns:1fr}.track-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.leaderboard-grid{grid-template-columns:1fr 1fr}.leaderboard-panel:last-child{border-top:1px solid var(--line-dark);grid-column:1/-1}.task-detail-head,.task-layout{grid-template-columns:1fr}.start-run{position:static}}@media (max-width:760px){.header-inner,main,.site-footer{width:min(100% - 22px,1480px)}.header-inner{grid-template-columns:1fr auto;gap:12px}.primary-nav,.desktop-account{display:none}.mobile-navigation{display:block}.account-link{max-width:130px;overflow:hidden}.intro{margin-top:12px}.intro-main{padding:21px 18px}.intro h1{font-size:34px}.intro-steps{grid-template-columns:1fr}.intro-steps li{border-bottom:1px solid #a8c9b0;border-right:0}.section{padding-top:42px}.section-heading,.leaderboard-page-head{display:block}.leaderboard-page-head .page-head{margin-bottom:18px}.leaderboard-refresh{justify-content:flex-start;margin-bottom:24px}.section-heading>p{text-align:left;margin-top:9px}.frontier-head dl{grid-template-columns:1fr}.frontier-head dl div{border-right:0;border-bottom:1px solid var(--line)}.frontier-controls{flex-direction:column;align-items:flex-start}.frontier-window,.frontier-scale{flex-wrap:wrap;max-width:100%}.frontier-selection{grid-template-columns:1fr 1fr}.frontier-selection>div:nth-child(2n){border-right:0}.frontier-selection>div:not(:last-child){border-bottom:1px solid var(--line)}.frontier-review-note{grid-column:1/-1}.track-grid,.premise-grid,.leaderboard-grid,.run-grid,.review-grid{grid-template-columns:1fr}.review-decision{border-right:0;border-bottom:1px solid var(--line-dark)}.review-card-head{flex-direction:column}.review-card-actions{flex-wrap:wrap;width:100%}.premise-grid article+article,.leaderboard-panel{border-left:0;border-right:0;border-top:1px solid var(--line-dark)}.leaderboard-panel:first-child{border-top:0}.leaderboard-panel:last-child{grid-column:auto}.source-pin{grid-template-columns:1fr}.source-pin div+div{border-left:0;border-top:1px solid var(--line-dark)}.page{padding-top:30px}.task-list article{grid-template-columns:42px minmax(0,1fr)}.task-open{border-top:1px solid var(--line-dark);border-left:0;grid-column:1/-1;min-height:42px}.task-body dl{grid-template-columns:1fr 1fr}.task-body dl div:nth-child(2){border-right:0}.task-body dl div:nth-child(-n+2){border-top:1px solid var(--line)}.form-grid{grid-template-columns:1fr}.form-grid label,.form-grid label:nth-child(2n){border-right:0;border-bottom:1px solid var(--line)}.form-grid label:last-child{border-bottom:0}.run-row{grid-template-columns:1fr;gap:12px}.run-row dl div:first-child{border-left:0;padding-left:0}.ready-panel,.site-footer{flex-direction:column;align-items:flex-start}}