:root{--paper:#f3f0e7;--paper-2:#e9e5da;--paper-3:#ded8ca;--ink:#151817;--ink-2:#2b302d;--muted:#676c66;--rule:rgba(21,24,23,0.17);--rule-strong:rgba(21,24,23,0.35);--blue:#2146d0;--blue-dark:#17349c;--acid:#c7ff35;--red:#c14638;--green:#1d7452;--white:#fbfaf5;--serif:"Iowan Old Style","Palatino Linotype","Noto Serif CJK SC","Source Han Serif SC","Songti SC",Georgia,serif;--sans:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans CJK SC","Microsoft YaHei",sans-serif;--mono:"SFMono-Regular","Cascadia Code","Liberation Mono",Menlo,monospace}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:90px}body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--sans);font-size:15px;line-height:1.65;text-rendering:optimizeLegibility}button,input,select,textarea{color:inherit;font:inherit}a,button{-webkit-tap-highlight-color:transparent}a{color:inherit;text-decoration:none}button{border:0}::selection{background:var(--blue);color:white}.section-shell{width:min(100%,1440px);margin:0 auto;padding-left:clamp(24px,5vw,78px);padding-right:clamp(24px,5vw,78px)}.site-header{position:sticky;z-index:100;top:0;display:grid;grid-template-columns:1fr auto 1fr;align-items:center;min-height:70px;padding:0 clamp(20px,3vw,48px);border-bottom:1px solid var(--rule);background:rgba(243,240,231,.95);-webkit-backdrop-filter:blur(15px);backdrop-filter:blur(15px)}.brand{display:inline-flex;gap:11px;align-items:center;justify-self:start}.brand-mark{display:grid;width:36px;height:36px;place-items:center;border:1px solid var(--ink);background:var(--ink);color:var(--paper);font-family:var(--serif);font-size:17px;font-style:italic}.brand>span:last-child{display:flex;flex-direction:column;line-height:1.1}.brand b{font-family:var(--serif);font-size:15px;letter-spacing:-.01em}.brand small{margin-top:4px;color:var(--muted);font-family:var(--mono);font-size:8px;letter-spacing:.11em;text-transform:uppercase}.main-nav{display:flex;gap:clamp(16px,2.2vw,32px);align-items:center}.main-nav a{position:relative;color:var(--ink-2);font-size:12px;font-weight:650;letter-spacing:.08em}.main-nav a:after{position:absolute;right:0;bottom:-8px;left:0;height:1px;background:var(--blue);content:"";transform:scaleX(0);transition:transform .18s ease}.main-nav a:hover:after{transform:scaleX(1)}.github-cta{display:inline-flex;gap:8px;align-items:center;justify-self:end;min-height:36px;padding:0 13px;border:1px solid var(--ink);background:var(--ink);color:white;font-size:11px;font-weight:700;letter-spacing:.04em;transition:background .15s ease,color .15s ease}.github-cta:hover{background:transparent;color:var(--ink)}.github-cta b{padding-left:8px;border-left:1px solid;font-family:var(--mono)}.menu-button{display:none;justify-self:end;width:38px;height:38px;align-items:center;justify-content:center;background:transparent}.hero{display:grid;grid-template-columns:minmax(0,.92fr) minmax(460px,1.08fr);gap:clamp(36px,5vw,86px);min-height:calc(100vh - 70px);padding-top:72px;padding-bottom:76px}.eyebrow,.hero{align-items:center}.eyebrow{display:flex;gap:18px;margin-bottom:28px;font-family:var(--mono);font-size:10px;letter-spacing:.11em}.live-dot{display:inline-flex;gap:7px;align-items:center;color:var(--green)}.live-dot:before{width:7px;height:7px;border-radius:50%;background:var(--green);content:"";box-shadow:0 0 0 4px rgba(29,116,82,.13)}.hero h1{max-width:700px;margin:0;font-family:var(--serif);font-size:clamp(55px,6.25vw,96px);font-weight:500;letter-spacing:-.065em;line-height:.98}.hero h1 em{color:var(--blue);font-weight:500}.hero-lead{max-width:600px;margin:34px 0 0;color:var(--ink-2);font-family:var(--serif);font-size:clamp(18px,1.6vw,23px);line-height:1.55}.hero-actions{display:flex;gap:12px;margin-top:38px}.button{display:inline-flex;gap:10px;min-height:46px;padding:0 18px;align-items:center;border:1px solid var(--ink);font-size:12px;font-weight:700}.button-primary{background:var(--ink);color:var(--white)}.button-primary:hover,.button-quiet:hover{background:var(--blue);border-color:var(--blue);color:white}.hero-stats{display:grid;grid-template-columns:repeat(4,1fr);max-width:620px;margin:52px 0 0;padding-top:18px;border-top:1px solid var(--rule-strong)}.hero-stats div{padding-right:12px}.hero-stats dt{font-family:var(--mono);font-size:20px;font-weight:700;line-height:1}.hero-stats dd{margin:7px 0 0;color:var(--muted);font-size:10px;letter-spacing:.08em}.hero-visual{position:relative;max-width:730px;justify-self:end}.hero-visual:before{position:absolute;z-index:-1;top:-25px;right:-22px;width:130px;height:130px;border:1px solid var(--rule);content:""}.hero-visual svg{display:block;width:100%;color:var(--ink);background:#ece8dd;border:1px solid var(--rule-strong)}.visual-grid{color:rgba(21,24,23,.12)}.visual-eyebrow,.visual-label{fill:var(--muted);font-family:var(--mono);font-size:10px;letter-spacing:.09em}.visual-label{fill:var(--ink-2);font-family:var(--sans);font-size:12px;letter-spacing:.03em}.visual-label-right{text-anchor:end}.sheet path{fill:none;stroke-width:2.2}.sheet circle{fill:var(--paper);stroke-width:2.5}.sheet-a{stroke:var(--blue)}.sheet-b{stroke:var(--green)}.sheet-c{stroke:var(--red)}.mapping-lines{fill:none;stroke:var(--ink);stroke-dasharray:4 5;stroke-width:1.2}.target circle:first-child{fill:none;stroke:var(--ink);stroke-width:1}.target circle:nth-child(2){fill:var(--blue);stroke:var(--paper);stroke-width:4}.target circle:nth-child(3){fill:white}.moving-points circle{fill:var(--acid);stroke:var(--ink);stroke-width:1.2}.visual-legend{display:flex;gap:20px;justify-content:flex-end;margin-top:11px;color:var(--muted);font-family:var(--mono);font-size:9px;letter-spacing:.05em}.visual-legend span{display:inline-flex;gap:7px;align-items:center}.legend-line{width:18px;height:1px;background:var(--blue)}.legend-point{width:7px;height:7px;border-radius:50%;background:var(--acid);border:1px solid var(--ink)}.statement-band{background:var(--blue);color:white}.statement-inner{display:grid;grid-template-columns:180px minmax(0,1fr) 280px;gap:44px;min-height:300px;padding-top:55px;padding-bottom:55px}.section-index{align-self:start;color:var(--muted);font-family:var(--mono);font-size:9px;letter-spacing:.12em}.statement-inner>.section-index{color:rgba(255,255,255,.62)}.statement-inner>div:nth-child(2)>p{margin:0;color:rgba(255,255,255,.75);font-size:13px}.statement-inner strong{color:white}.statement-inner .math-block{margin:16px 0 18px;overflow-x:auto;font-size:clamp(19px,2vw,30px)}.statement-note{display:flex;gap:12px;padding-left:22px;border-left:1px solid rgba(255,255,255,.35)}.statement-note svg{flex:0 0 auto;margin-top:4px}.statement-note p{margin:0;color:rgba(255,255,255,.82);font-size:12px}.math-block .katex-display{margin:0}.atlas,.benchmark,.community,.sources,.verifier{padding-top:clamp(92px,10vw,150px);padding-bottom:clamp(90px,10vw,150px)}.section-lead{display:grid;grid-template-columns:180px minmax(0,1fr) minmax(250px,410px);gap:44px;align-items:start;margin-bottom:66px}.section-lead h2{max-width:650px;margin:-7px 0 0;font-family:var(--serif);font-size:clamp(36px,4.3vw,63px);font-weight:500;letter-spacing:-.045em;line-height:1.08}.section-lead>p{margin:0;color:var(--muted);font-family:var(--serif);font-size:17px;line-height:1.7}.atlas-grid{display:grid;grid-template-columns:minmax(320px,.76fr) minmax(500px,1.24fr);border-top:1px solid var(--rule-strong);border-bottom:1px solid var(--rule-strong)}.timeline-panel{padding:38px 42px 38px 0;border-right:1px solid var(--rule-strong)}.known-map h3,.message-board h3,.message-form h3,.timeline-panel h3{margin:0;font-family:var(--serif);font-size:24px;font-weight:500}.timeline{margin:34px 0 0;padding:0;list-style:none}.timeline li{position:relative;display:grid;grid-template-columns:66px 1fr;gap:18px;padding:0 0 32px}.timeline li:before{position:absolute;top:7px;bottom:-7px;left:58px;width:1px;background:var(--rule);content:""}.timeline li:after{position:absolute;top:6px;left:54.5px;width:8px;height:8px;border-radius:50%;background:var(--paper);border:1px solid var(--ink);content:""}.timeline li:last-child{padding-bottom:0}.timeline li:last-child:before{display:none}.timeline time{font-family:var(--mono);font-size:10px;font-weight:700}.timeline b{display:block;margin-top:-4px;font-size:13px}.timeline p{margin:5px 0 0;color:var(--muted);font-size:11px;line-height:1.55}.timeline a{display:inline-flex;gap:4px;align-items:center;margin-top:7px;color:var(--blue);font-family:var(--mono);font-size:9px}.timeline-current:after{background:var(--blue)!important;border-color:var(--blue)!important;box-shadow:0 0 0 5px rgba(33,70,208,.12)}.source-links{gap:12px}.known-map{padding:38px 0 38px clamp(34px,5vw,76px)}.known-map-head{display:flex;gap:20px;align-items:flex-start;justify-content:space-between}.micro-label{display:block;margin-bottom:7px;color:var(--blue);font-family:var(--mono);font-size:9px;letter-spacing:.1em}.verified-badge{display:inline-flex;gap:6px;align-items:center;padding:6px 9px;border:1px solid rgba(29,116,82,.35);color:var(--green);font-size:9px;font-weight:700}.formula-intro{margin:35px 0 15px;color:var(--muted);font-size:12px}.known-map>.math-block{overflow-x:auto;padding:27px 30px;background:#ebe7dc;border-left:3px solid var(--blue);font-size:clamp(14px,1.4vw,20px)}.certificate-row{display:grid;grid-template-columns:1fr 1fr;margin-top:25px;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule)}.certificate-row>div{display:flex;align-items:center;justify-content:space-between;padding:18px 15px 18px 0}.certificate-row>div+div{padding-left:20px;border-left:1px solid var(--rule)}.certificate-row span,.collision>span{color:var(--muted);font-family:var(--mono);font-size:9px;letter-spacing:.08em;text-transform:uppercase}.collision{display:grid;grid-template-columns:100px 1fr;gap:20px;align-items:center;padding:25px 0;border-bottom:1px solid var(--rule)}.collision .math-block{overflow-x:auto;font-size:clamp(12px,1.2vw,17px)}.scope-note{margin:19px 0 0;color:var(--muted);font-size:11px}.benchmark{background:#e9e5da}.shared-context{margin-bottom:32px;border-top:1px solid var(--rule-strong);border-bottom:1px solid var(--rule-strong)}.shared-context summary,.task-details-grid summary{display:flex;cursor:pointer;list-style:none;align-items:center;justify-content:space-between}.shared-context summary::-webkit-details-marker,.task-details-grid summary::-webkit-details-marker{display:none}.shared-context summary{min-height:64px;font-size:12px;font-weight:700}.shared-context summary span{display:inline-flex;gap:9px;align-items:center}details[open]>summary>svg:last-child{transform:rotate(180deg)}summary>svg:last-child{transition:transform .18s ease}.shared-context>div{position:relative;padding:0 min(10vw,120px) 30px 26px}.shared-context p{max-width:1000px;margin:0;color:var(--muted);font-family:var(--serif);font-size:15px}.copy-mini{display:inline-flex;gap:5px;align-items:center;margin-top:14px;padding:0;background:transparent;color:var(--blue);cursor:pointer;font-size:10px}.task-scale{display:grid;grid-template-columns:auto 1fr auto 1fr auto;gap:14px;align-items:center;margin:0 0 21px 106px;color:var(--muted);font-family:var(--mono);font-size:8px;letter-spacing:.08em;text-transform:uppercase}.task-scale i{height:1px;background:var(--rule)}.task-list{border-top:1px solid var(--ink)}.task-card{display:grid;grid-template-columns:82px 1fr 105px;border-bottom:1px solid var(--rule-strong)}.task-index{padding-top:32px;color:var(--blue);font-family:var(--mono);font-size:21px;font-weight:700}.task-main{padding:30px 36px 34px 24px;border-right:1px solid var(--rule);border-left:1px solid var(--rule)}.task-heading{display:flex;gap:30px;align-items:flex-start;justify-content:space-between}.tier{color:var(--blue);font-family:var(--mono);font-size:8px;font-weight:700;letter-spacing:.1em;text-transform:uppercase}.task-heading h3{margin:7px 0 0;font-family:var(--serif);font-size:31px;font-weight:500;letter-spacing:-.025em;line-height:1}.task-heading>div:first-child>p{margin:9px 0 0;color:var(--muted);font-family:var(--mono);font-size:9px}.capability{display:grid;grid-template-columns:18px 1fr;width:min(310px,40%);padding:12px 14px;background:var(--paper)}.capability svg{grid-row:1/3;margin-top:3px;color:var(--blue)}.capability span{color:var(--muted);font-size:8px;letter-spacing:.08em}.capability b{margin-top:2px;font-size:10px}.task-question{max-width:940px;margin:28px 0 20px;font-family:var(--serif);font-size:17px;line-height:1.75}.constraint-row{display:flex;flex-wrap:wrap;gap:7px}.constraint-row span{display:inline-flex;gap:5px;align-items:center;padding:5px 8px;border:1px solid var(--rule);background:rgba(255,255,255,.26);color:var(--ink-2);font-family:var(--mono);font-size:8px}.constraint-row svg{color:var(--green)}.task-significance{display:grid;grid-template-columns:90px 1fr;gap:16px;margin-top:24px;padding:18px 0;border-top:1px solid var(--rule)}.task-significance span{color:var(--muted);font-family:var(--mono);font-size:8px;letter-spacing:.08em}.task-significance p{max-width:780px;margin:0;color:var(--ink-2);font-size:11px}.task-details-grid{display:grid;grid-template-columns:1fr 1fr;border-top:1px solid var(--rule)}.task-details-grid details:first-child{padding-right:22px;border-right:1px solid var(--rule)}.task-details-grid details:last-child{padding-left:22px}.task-details-grid summary{min-height:42px;color:var(--muted);font-size:9px;font-weight:700;letter-spacing:.07em}.task-details-grid summary span{display:inline-flex;gap:6px;align-items:center}.task-details-grid details p{margin:3px 0 16px;color:var(--muted);font-family:var(--serif);font-size:11px}.task-actions{padding:30px 0 28px 18px;justify-content:space-between}.task-actions,.task-actions button{display:flex;flex-direction:column;align-items:center}.task-actions button{width:72px;min-height:72px;cursor:pointer;justify-content:center;background:transparent;border:1px solid var(--rule)}.task-actions button:hover:not(:disabled){border-color:var(--blue);color:var(--blue)}.task-actions button:disabled{cursor:not-allowed;opacity:.4}.task-actions button b{margin-top:3px;font-family:var(--mono);font-size:11px}.task-actions button span,.task-order{color:var(--muted);font-size:8px}.task-order{font-family:var(--mono);writing-mode:vertical-rl}.novelty-footnote,.results-disclaimer,.verifier-note{max-width:900px;margin:22px 0 0 106px;color:var(--muted);font-size:10px}code{font-family:var(--mono)}.results-section{padding:clamp(92px,10vw,150px) 0;background:var(--ink);color:var(--white)}.section-lead-inverse .section-index{color:rgba(255,255,255,.46)}.section-lead-inverse>p{color:rgba(255,255,255,.58)}.filter-bar{display:grid;grid-template-columns:repeat(3,minmax(180px,1fr)) auto;gap:1px;align-items:stretch;margin-bottom:20px;background:rgba(255,255,255,.16);border:1px solid rgba(255,255,255,.16)}.filter-bar label{display:grid;grid-template-columns:auto 1fr;gap:12px;align-items:center;min-height:54px;padding:0 14px;background:var(--ink)}.filter-bar label>span{color:rgba(255,255,255,.5);font-family:var(--mono);font-size:8px;letter-spacing:.08em}.filter-bar select{min-width:0;background:transparent;border:0;color:white;cursor:pointer;font-size:11px;font-weight:650;outline:none}.filter-bar select option{background:var(--ink)}.filter-count{display:flex;padding:0 18px;align-items:center;justify-content:center;background:var(--acid);color:var(--ink);font-family:var(--mono);font-size:9px;font-weight:700}.metric-grid{display:grid;grid-template-columns:repeat(5,1fr);border-top:1px solid rgba(255,255,255,.22);border-left:1px solid rgba(255,255,255,.22)}.metric{position:relative;display:flex;min-height:150px;padding:18px;flex-direction:column;border-right:1px solid rgba(255,255,255,.22);border-bottom:1px solid rgba(255,255,255,.22)}.metric.accent{background:var(--blue)}.metric-icon{color:rgba(255,255,255,.56)}.metric-icon svg{width:17px}.metric-label{margin-top:14px;color:rgba(255,255,255,.55);font-family:var(--mono);font-size:8px;letter-spacing:.08em}.metric b{margin-top:auto;font-family:var(--serif);font-size:clamp(26px,2.6vw,41px);font-weight:500;letter-spacing:-.04em;line-height:1}.metric small{margin-top:7px;color:rgba(255,255,255,.52);font-family:var(--mono);font-size:8px}.outcome-panel{margin-top:44px}.outcome-grid{display:grid;border-left:1px solid rgba(255,255,255,.18)}.outcome-row{--outcome-color:rgba(255,255,255,0.5);display:grid;grid-template-columns:8px minmax(0,1fr) minmax(70px,.45fr) 28px;min-height:76px;gap:11px;padding:13px 15px;align-items:center;border-right:1px solid rgba(255,255,255,.18);border-bottom:1px solid rgba(255,255,255,.18)}.outcome-row.pass{--outcome-color:var(--acid)}.outcome-row.near{--outcome-color:#7aa2ff}.outcome-row.system{--outcome-color:#a2a9ad}.outcome-row.protocol{--outcome-color:#e5b466}.outcome-row.math{--outcome-color:#ef8f84}.outcome-marker{width:7px;height:7px;background:var(--outcome-color);border-radius:50%}.outcome-row>span:nth-child(2){min-width:0}.outcome-row b,.outcome-row small{display:block}.outcome-row b{font-family:var(--serif);font-weight:500}.outcome-row small{margin-top:3px;overflow:hidden;color:rgba(255,255,255,.42);font-size:8px;line-height:1.45;text-overflow:ellipsis;white-space:nowrap}.outcome-row i{height:3px;overflow:hidden;background:rgba(255,255,255,.1)}.outcome-row i span{display:block;height:100%;min-width:2px;background:var(--outcome-color)}.outcome-row strong{color:var(--outcome-color);font-family:var(--mono);font-size:12px;text-align:right}.matrix-panel{margin-top:44px}.matrix-legend{display:flex;min-height:42px;gap:14px;padding:0 12px;align-items:center;border-bottom:1px solid rgba(255,255,255,.13);color:rgba(255,255,255,.55);font-family:var(--mono);font-size:7px}.matrix-legend span{display:inline-flex;gap:5px;align-items:center}.matrix-legend span i{width:6px;height:6px;background:rgba(255,255,255,.45);border-radius:50%}.matrix-legend span i.pass{background:var(--acid)}.matrix-legend span i.near{background:#7aa2ff}.matrix-legend span i.math{background:#ef8f84}.matrix-legend span i.protocol{background:#e5b466}.matrix-legend span i.system{background:#a2a9ad}.matrix-legend em{padding:3px 6px;border:1px solid rgba(255,255,255,.18);color:rgba(255,255,255,.43);font-size:6px;font-style:normal;letter-spacing:.07em}.matrix-legend em:first-of-type{margin-left:auto}.matrix-scroll{overflow-x:auto;border-bottom:1px solid rgba(255,255,255,.22)}.benchmark-matrix{display:grid;min-width:760px;border-left:1px solid rgba(255,255,255,.18)}.matrix-row{display:contents}.matrix-cell,.matrix-corner,.matrix-model,.matrix-task-head{min-height:62px;border-right:1px solid rgba(255,255,255,.14);border-bottom:1px solid rgba(255,255,255,.14)}.matrix-corner,.matrix-task-head{display:flex;padding:10px 12px;justify-content:center;flex-direction:column;background:rgba(255,255,255,.035)}.matrix-corner small,.matrix-corner span,.matrix-task-head span{color:rgba(255,255,255,.42);font-family:var(--mono);font-size:7px}.matrix-corner small{margin-top:3px}.matrix-task-head{align-items:center;text-align:center}.matrix-task-head b{color:var(--acid);font-family:var(--mono);font-size:10px}.matrix-task-head span{margin-top:4px}.matrix-model{display:flex;padding:11px 13px;justify-content:center;flex-direction:column;background:transparent;color:white;cursor:pointer;text-align:left}.matrix-model.active,.matrix-model:hover{background:rgba(255,255,255,.07)}.matrix-model.active{box-shadow:inset 2px 0 var(--acid)}.matrix-model b{font-size:10px}.matrix-model small{margin-top:3px;color:rgba(255,255,255,.4);font-family:var(--mono);font-size:7px}.matrix-cell{display:grid;grid-template-columns:1fr 1fr;gap:5px;padding:8px}.matrix-run{--matrix-color:rgba(255,255,255,0.45);position:relative;display:flex;min-width:0;min-height:43px;padding:7px 8px;align-items:flex-start;justify-content:space-between;overflow:hidden;background:rgba(255,255,255,.035);border:1px solid rgba(255,255,255,.09);color:rgba(255,255,255,.55);cursor:pointer;font-family:var(--mono);font-size:7px}.matrix-run:after{position:absolute;right:6px;bottom:5px;left:6px;height:2px;background:var(--matrix-color);content:"";opacity:.78}.matrix-run i{width:6px;height:6px;background:var(--matrix-color);border-radius:50%}.matrix-run.selected,.matrix-run:hover{border-color:var(--matrix-color);background:rgba(255,255,255,.09)}.matrix-run.selected{box-shadow:inset 0 0 0 1px var(--matrix-color)}.matrix-run.pass{--matrix-color:var(--acid);background:rgba(199,255,53,.09)}.matrix-run.near{--matrix-color:#7aa2ff;background:rgba(83,118,218,.11)}.matrix-run.math{--matrix-color:#ef8f84;background:rgba(193,70,56,.1)}.matrix-run.protocol{--matrix-color:#e5b466;background:rgba(191,137,53,.1)}.matrix-run.system{--matrix-color:#a2a9ad}.matrix-run.empty{align-items:center;justify-content:center;border-color:transparent;color:rgba(255,255,255,.16);cursor:default}.matrix-run.empty:after{display:none}.model-table-wrap{margin-top:44px}.table-caption{display:flex;align-items:center;justify-content:space-between;min-height:45px;border-bottom:1px solid rgba(255,255,255,.26)}.table-caption span{font-family:var(--serif);font-size:17px}.table-caption small{color:rgba(255,255,255,.45);font-size:9px}.model-row{display:grid;grid-template-columns:minmax(220px,1.5fr) repeat(5,minmax(70px,.65fr));width:100%;min-height:48px;padding:0 12px;align-items:center;background:transparent;border-bottom:1px solid rgba(255,255,255,.12);color:white;cursor:pointer;text-align:left}.model-row.active,.model-row:hover{background:rgba(255,255,255,.07)}.model-row span{font-family:var(--mono);font-size:9px}.model-row b{font-size:11px}.model-head{min-height:34px;color:rgba(255,255,255,.42);cursor:default}.model-head:hover{background:transparent}.pass-text{color:var(--acid);font-weight:700}.trace-browser{display:grid;grid-template-columns:280px minmax(0,1fr);min-height:720px;margin-top:60px;border:1px solid rgba(255,255,255,.24)}.trace-list{min-width:0;border-right:1px solid rgba(255,255,255,.18)}.trace-list-head{display:flex;min-height:52px;padding:0 14px;align-items:center;justify-content:space-between;border-bottom:1px solid rgba(255,255,255,.18)}.trace-list-head span{font-family:var(--serif);font-size:15px}.trace-list-head small{color:rgba(255,255,255,.45);font-family:var(--mono)}.trace-scroll{max-height:850px;overflow-y:auto}.trace-item{display:grid;grid-template-columns:10px 1fr 16px;gap:10px;width:100%;min-height:67px;padding:10px 12px;align-items:center;background:transparent;border-bottom:1px solid rgba(255,255,255,.1);color:white;cursor:pointer;text-align:left}.trace-item.active,.trace-item:hover{background:rgba(255,255,255,.07)}.trace-item.active{box-shadow:inset 2px 0 var(--acid)}.trace-item b{font-size:10px}.trace-item small{margin-top:4px;color:rgba(255,255,255,.43);font-size:8px}.trace-item em,.trace-item small{max-width:205px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.trace-item em{display:block;margin-top:3px;color:rgba(255,255,255,.62);font-family:var(--mono);font-size:7px;font-style:normal}.trace-item>svg{color:rgba(255,255,255,.35)}.status-dot{width:7px;height:7px;border-radius:50%;background:rgba(255,255,255,.35)}.status-dot.pass{background:var(--acid)}.status-dot.fail{background:var(--red)}.empty-list{padding:28px 16px;color:rgba(255,255,255,.42);font-size:10px}.trace-detail{min-width:0}.trace-detail-head{min-height:127px;padding:24px 25px;align-items:flex-start;border-bottom:1px solid rgba(255,255,255,.18)}.record-badges{display:flex;gap:6px}.record-badges span{padding:3px 6px;border:1px solid rgba(255,255,255,.24);color:rgba(255,255,255,.65);font-family:var(--mono);font-size:7px}.trace-detail-head h3{margin:13px 0 0;font-family:var(--serif);font-size:24px;font-weight:500}.trace-detail-head p{margin:5px 0 0;color:rgba(255,255,255,.43);font-family:var(--mono);font-size:8px}.official-status{display:flex;gap:8px;min-width:104px;padding:10px;align-items:center;border:1px solid rgba(255,255,255,.25)}.official-status svg{width:18px}.official-status span{display:flex;flex-direction:column;line-height:1.1}.official-status small{color:rgba(255,255,255,.45);font-family:var(--mono);font-size:6px}.official-status b{margin-top:4px;font-family:var(--mono);font-size:11px}.official-status.passed{border-color:var(--acid);color:var(--acid)}.official-status.failed{color:#ef8f84}.record-mini-metrics{display:flex;gap:0;border-bottom:1px solid rgba(255,255,255,.18)}.record-mini-metrics span{padding:9px 13px;border-right:1px solid rgba(255,255,255,.13);color:rgba(255,255,255,.49);font-family:var(--mono);font-size:7px}.result-analysis{--analysis-color:rgba(255,255,255,0.6);display:grid;grid-template-columns:18px minmax(0,1fr);gap:11px;padding:16px 18px;background:color-mix(in srgb,var(--analysis-color) 8%,transparent);border-bottom:1px solid color-mix(in srgb,var(--analysis-color) 45%,transparent)}.result-analysis.pass{--analysis-color:var(--acid)}.result-analysis.near{--analysis-color:#7aa2ff}.result-analysis.system{--analysis-color:#a2a9ad}.result-analysis.protocol{--analysis-color:#e5b466}.result-analysis.math{--analysis-color:#ef8f84}.result-analysis>svg{margin-top:2px;color:var(--analysis-color)}.result-analysis b,.result-analysis small,.result-analysis span{display:block}.result-analysis span{color:rgba(255,255,255,.45);font-family:var(--mono);font-size:7px;letter-spacing:.08em}.result-analysis b{margin-top:3px;color:var(--analysis-color);font-family:var(--serif);font-size:16px;font-weight:500}.result-analysis p{margin:5px 0 0;color:rgba(255,255,255,.76);font-size:10px}.result-analysis small{margin-top:5px;color:rgba(255,255,255,.45);font-size:8px;line-height:1.55}.eval-error{display:flex;gap:8px;max-height:82px;padding:11px 14px;align-items:flex-start;overflow:auto;background:rgba(193,70,56,.13);border-bottom:1px solid rgba(193,70,56,.4);color:#ed9d94;font-family:var(--mono);font-size:8px}.eval-error svg{flex:0 0 auto}.trace-tabs{display:flex;min-height:45px;padding:0 12px;align-items:center;border-bottom:1px solid rgba(255,255,255,.18)}.trace-tabs button{height:45px;padding:0 11px;background:transparent;color:rgba(255,255,255,.48);cursor:pointer;font-size:9px}.trace-tabs button.active{box-shadow:inset 0 -2px var(--acid);color:white}.trace-tabs .copy-trace{display:inline-flex;gap:5px;margin-left:auto;align-items:center}.trace-content{height:590px}.empty-text,.trace-loading,.trace-placeholder{display:flex;min-height:280px;gap:12px;align-items:center;justify-content:center;color:rgba(255,255,255,.4);font-size:10px}.trace-placeholder{min-height:650px;flex-direction:column}.spin{animation:spin .8s linear infinite}@keyframes spin{to{transform:rotate(1turn)}}.markdown-body{max-width:900px;padding:25px clamp(20px,4vw,55px) 65px;color:rgba(255,255,255,.79);font-family:var(--serif);font-size:13px;line-height:1.8;overflow-wrap:anywhere}.markdown-body h1,.markdown-body h2,.markdown-body h3,.markdown-body h4{margin:1.7em 0 .65em;color:white;font-weight:500;line-height:1.25}.markdown-body h1{font-size:26px}.markdown-body h2{font-size:21px}.markdown-body h3{font-size:17px}.markdown-body p{white-space:pre-wrap}.eval-json pre,.markdown-body pre,.raw-output{padding:16px;overflow:auto;background:#0c0e0d;border:1px solid rgba(255,255,255,.14);color:#d8dbc8;font-family:var(--mono);font-size:9px;line-height:1.65;white-space:pre-wrap}.markdown-body code{padding:2px 4px;background:rgba(255,255,255,.08);font-size:.85em}.markdown-body pre code{padding:0;background:transparent}.markdown-body blockquote{margin-left:0;padding-left:18px;border-left:2px solid var(--blue);color:rgba(255,255,255,.62)}.markdown-body .katex-display{overflow-x:auto;padding:6px 0}.raw-output{min-height:100%;margin:0;padding:25px;border:0}.eval-grid{display:grid;grid-template-columns:repeat(4,1fr);padding:25px}.eval-grid>div:not(.eval-json){display:flex;min-height:80px;padding:13px;flex-direction:column;border:1px solid rgba(255,255,255,.13)}.eval-grid span{color:rgba(255,255,255,.48);font-size:8px}.eval-grid b{margin-top:auto;font-family:var(--mono)}.eval-grid .yes{color:var(--acid)}.eval-grid .no{color:#ed9d94}.eval-json{grid-column:1/-1;margin-top:20px}.eval-json pre{max-height:340px}.results-disclaimer{color:rgba(255,255,255,.42)}.verifier-shell{border:1px solid var(--rule-strong);background:#e9e5da}.verifier-toolbar{display:flex;min-height:54px;padding:0 16px;align-items:center;justify-content:space-between;background:var(--ink);color:white}.verifier-toolbar>div{display:flex;gap:9px;align-items:center}.verifier-toolbar>div:first-child{font-family:var(--mono);font-size:9px;letter-spacing:.08em}.points-heading button,.verifier-toolbar button{display:inline-flex;gap:5px;align-items:center;padding:7px 9px;background:transparent;border:1px solid rgba(255,255,255,.25);color:white;cursor:pointer;font-size:8px}.verifier-toolbar button:hover{border-color:var(--acid)}.verifier-columns{display:grid;grid-template-columns:minmax(0,1fr) minmax(430px,.9fr)}.polynomial-inputs,.verification-output{min-width:0;padding:clamp(22px,3vw,40px)}.polynomial-inputs{border-right:1px solid var(--rule-strong)}.verification-output{background:var(--paper)}.panel-heading{display:flex;gap:12px;align-items:flex-start;margin-bottom:22px}.panel-heading>span{color:var(--blue);font-family:var(--mono);font-size:10px;font-weight:700}.panel-heading>div{display:flex;flex-direction:column;line-height:1.2}.panel-heading b{font-family:var(--serif);font-size:16px;font-weight:500}.panel-heading small{margin-top:5px;color:var(--muted);font-size:8px}.expression-field{display:grid;grid-template-columns:31px 1fr;margin-bottom:11px;border:1px solid var(--rule);background:var(--paper)}.expression-field>span{display:flex;align-items:center;justify-content:center;background:var(--ink);color:white;font-family:var(--serif);font-size:14px}.expression-field textarea{min-width:0;padding:12px;resize:vertical;background:transparent;border:0;font-family:var(--mono);font-size:10px;line-height:1.55;outline:none}.expression-field:focus-within{border-color:var(--blue);box-shadow:inset 0 0 0 1px var(--blue)}.expression-field>small{grid-column:2;padding:4px 12px 7px;color:var(--muted);font-family:var(--mono);font-size:7px}.points-heading{margin-top:32px}.points-heading button{margin-left:auto;border-color:var(--rule-strong);color:var(--ink)}.point-input-list{border-top:1px solid var(--rule)}.point-input{display:grid;grid-template-columns:35px repeat(3,1fr) 32px;gap:8px;min-height:54px;align-items:center;border-bottom:1px solid var(--rule)}.point-input>b{font-family:var(--serif);font-weight:500}.point-input label{display:grid;grid-template-columns:13px 1fr;align-items:center;border:1px solid var(--rule);background:var(--paper)}.point-input label span{padding-left:5px;color:var(--muted);font-family:var(--mono);font-size:8px}.point-input input{min-width:0;width:100%;padding:6px;background:transparent;border:0;font-family:var(--mono);font-size:9px;outline:none}.point-input>button{display:grid;width:30px;height:30px;cursor:pointer;place-items:center;background:transparent;color:var(--muted)}.point-input>button:hover:not(:disabled){color:var(--red)}.point-input>button:disabled{opacity:.25}.verify-button{display:flex;gap:8px;width:100%;min-height:49px;margin-top:28px;align-items:center;justify-content:center;background:var(--blue);color:white;cursor:pointer;font-size:11px;font-weight:700}.verify-button:hover{background:var(--blue-dark)}.output-label{color:var(--muted);font-family:var(--mono);font-size:7px;letter-spacing:.09em;text-transform:uppercase}.determinant-result,.image-result,.jacobian-result{padding:18px 0;border-top:1px solid var(--rule)}.matrix-wrap{display:flex;gap:8px;margin-top:16px;align-items:stretch}.matrix-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:5px 10px;min-width:0;flex:1 1}.matrix-grid code{padding:7px;overflow:hidden;background:#e9e5da;color:var(--ink-2);font-size:7px;text-overflow:ellipsis;white-space:nowrap}.matrix-bracket{position:relative;width:7px;border-top:1px solid var(--ink);border-bottom:1px solid var(--ink)}.matrix-bracket.left{border-left:1px solid var(--ink)}.matrix-bracket.right{border-right:1px solid var(--ink)}.det-value{display:flex;align-items:baseline;justify-content:space-between;margin-top:13px}.det-value span{font-family:var(--serif);font-size:17px}.det-value b{max-width:75%;overflow-wrap:anywhere;color:var(--blue);font-family:var(--mono);font-size:13px}.condition-grid{display:grid;grid-template-columns:1fr 1fr;gap:7px;margin-top:15px}.condition{display:inline-flex;gap:6px;padding:8px;align-items:center;border:1px solid var(--rule);font-size:8px}.condition.ok{color:var(--green)}.condition.no{color:var(--red)}.image-table{margin-top:12px}.image-table>div{display:grid;grid-template-columns:74px minmax(0,1fr);padding:8px 0;border-bottom:1px solid var(--rule)}.image-table span{color:var(--muted);font-family:var(--serif);font-size:10px}.image-table code{overflow-wrap:anywhere;color:var(--blue);font-size:8px}.verdict{display:flex;gap:12px;margin-top:20px;padding:15px;align-items:flex-start;border:1px solid}.verdict.pass{background:rgba(29,116,82,.07);border-color:rgba(29,116,82,.45);color:var(--green)}.verdict.fail{background:rgba(193,70,56,.05);border-color:rgba(193,70,56,.35);color:var(--red)}.verdict svg{flex:0 0 auto}.verdict div{display:flex;flex-direction:column}.verdict b{font-size:11px}.verdict span{margin-top:3px;color:var(--muted);font-size:8px}.verifier-error{display:flex;gap:8px;margin-bottom:14px;padding:11px;align-items:flex-start;background:rgba(193,70,56,.07);color:var(--red);font-size:9px}.verifier-empty{display:flex;min-height:450px;align-items:center;justify-content:center;flex-direction:column;color:var(--muted);text-align:center}.verifier-empty p{max-width:260px;font-size:10px}.community,.community-grid{border-top:1px solid var(--rule-strong)}.community-grid{display:grid;grid-template-columns:minmax(0,1.2fr) minmax(360px,.8fr);border-bottom:1px solid var(--rule-strong)}.message-board{min-height:600px;padding:32px clamp(30px,4vw,56px) 40px 0;border-right:1px solid var(--rule-strong)}.message-board-head{display:flex;align-items:flex-start;justify-content:space-between}.message-board-head>div:first-child>span{display:inline-flex;gap:5px;margin-top:6px;align-items:center;color:var(--green);font-size:8px}.sort-toggle{display:flex;border:1px solid var(--rule)}.sort-toggle button{display:inline-flex;gap:5px;min-height:32px;padding:0 9px;align-items:center;background:transparent;color:var(--muted);cursor:pointer;font-size:8px}.sort-toggle button+button{border-left:1px solid var(--rule)}.sort-toggle button.active{background:var(--ink);color:white}.community-empty{display:flex;min-height:430px;align-items:center;justify-content:center;flex-direction:column;color:var(--muted);text-align:center}.community-empty svg{color:var(--blue)}.community-empty h4{margin:14px 0 0;color:var(--ink);font-family:var(--serif);font-size:18px;font-weight:500}.community-empty p{max-width:330px;margin:8px 0 0;font-size:9px}.message-list{margin-top:28px}.community-offline-notice{display:flex;gap:9px;margin-top:22px;padding:11px 13px;border:1px solid color-mix(in srgb,var(--blue) 35%,var(--rule));align-items:flex-start;background:color-mix(in srgb,var(--blue) 6%,transparent);color:var(--muted);font-family:var(--mono);font-size:9px;line-height:1.5}.community-offline-notice svg{flex:0 0 auto;color:var(--blue)}.message-item{padding:20px 0;border-top:1px solid var(--rule)}.message-item footer,.message-item header{display:flex;align-items:center;justify-content:space-between}.message-task{color:var(--blue);font-family:var(--mono);font-size:8px;font-weight:700}.message-item footer span,.message-item time{color:var(--muted);font-family:var(--mono);font-size:8px}.message-item h4{margin:12px 0 0;font-family:var(--serif);font-size:18px;font-weight:500}.message-item>p{color:var(--ink-2);font-size:11px;white-space:pre-wrap}.message-item footer button{display:inline-flex;gap:5px;align-items:center;background:transparent;color:var(--muted);cursor:pointer;font-family:var(--mono);font-size:8px}.message-form{padding:32px 0 40px clamp(30px,4vw,56px)}.message-form-head{display:flex;gap:12px;align-items:center;margin-bottom:26px}.message-form-head>svg{color:var(--blue)}.message-form label{display:flex;margin-top:15px;flex-direction:column}.message-form label>span{margin-bottom:6px;color:var(--muted);font-family:var(--mono);font-size:8px;letter-spacing:.07em}.message-form input,.message-form select,.message-form textarea{width:100%;padding:10px 11px;background:rgba(255,255,255,.28);border:1px solid var(--rule);border-radius:0;font-size:10px;outline:none}.message-form textarea{resize:vertical;line-height:1.6}.message-form input:focus,.message-form select:focus,.message-form textarea:focus{border-color:var(--blue);box-shadow:inset 0 0 0 1px var(--blue)}.message-form .message-field-note{margin-top:6px;color:var(--muted);font-size:9px;line-height:1.5}.moderation-note{display:flex;gap:7px;margin:15px 0 0;color:var(--muted);font-size:8px}.moderation-note svg{flex:0 0 auto;color:var(--green)}.submit-message{display:flex;width:100%;min-height:43px;margin-top:20px;padding:0 14px;align-items:center;justify-content:space-between;background:var(--ink);color:white;cursor:pointer;font-size:10px;font-weight:700}.submit-message:hover:not(:disabled){background:var(--blue)}.submit-message:disabled{cursor:not-allowed;opacity:.45}.form-status{display:flex;gap:6px;margin:12px 0 0;align-items:center;font-size:8px}.form-status.success{color:var(--green)}.form-status.error{color:var(--red)}.sources{display:grid;grid-template-columns:180px minmax(0,1fr) minmax(330px,.8fr);gap:44px;border-top:1px solid var(--rule-strong)}.sources h2{margin:-5px 0 0;font-family:var(--serif);font-size:32px;font-weight:500}.sources>div:nth-child(2) p{max-width:600px;color:var(--muted);font-size:11px}.source-list{border-top:1px solid var(--rule)}.source-list a{display:grid;grid-template-columns:32px 1fr 18px;gap:7px;min-height:47px;align-items:center;border-bottom:1px solid var(--rule);font-size:10px}.source-list a:hover{color:var(--blue)}.source-list span{color:var(--muted);font-family:var(--mono);font-size:8px}footer{background:var(--ink);color:white}.footer-inner{display:grid;grid-template-columns:1fr 1fr auto;gap:40px;min-height:210px;padding-top:48px;padding-bottom:48px;align-items:center}.footer-inner>div{display:flex;gap:12px;align-items:center}.footer-inner .brand-mark{background:white;border-color:white;color:var(--ink)}.footer-inner p{margin:0;color:rgba(255,255,255,.55);font-size:9px}.footer-note{justify-self:center;font-family:var(--mono);text-align:center}.footer-inner>a{display:inline-flex;gap:7px;align-items:center;font-size:9px}.arrow-up{transform:rotate(180deg)}@media (max-width:1100px){.hero{grid-template-columns:minmax(0,.9fr) minmax(390px,1.1fr)}.section-lead,.sources,.statement-inner{grid-template-columns:120px minmax(0,1fr) minmax(240px,360px);gap:28px}.atlas-grid{grid-template-columns:.75fr 1.25fr}.trace-browser{grid-template-columns:240px minmax(0,1fr)}.verifier-columns{grid-template-columns:1fr 1fr}}@media (max-width:900px){.site-header{grid-template-columns:1fr auto}.main-nav{position:absolute;top:70px;right:0;left:0;display:none;padding:22px;flex-direction:column;align-items:stretch;background:var(--paper);border-bottom:1px solid var(--rule-strong)}.main-nav.nav-open{display:flex}.main-nav a{padding:8px}.github-cta{display:none}.menu-button{display:inline-flex}.hero{grid-template-columns:1fr;min-height:auto}.hero-visual{max-width:680px;justify-self:stretch}.statement-inner{grid-template-columns:110px 1fr}.statement-note{grid-column:2}.section-lead{grid-template-columns:100px 1fr}.section-lead>p{grid-column:2}.atlas-grid,.community-grid{grid-template-columns:1fr}.message-board,.timeline-panel{padding-right:0;border-right:0;border-bottom:1px solid var(--rule-strong)}.known-map,.message-form{padding-left:0}.task-card{grid-template-columns:64px 1fr}.task-main{border-right:0}.task-actions{grid-column:2;padding:0 0 20px 24px;flex-direction:row}.task-actions button{width:auto;min-height:36px;padding:0 12px;flex-direction:row;gap:7px}.task-order{writing-mode:initial}.novelty-footnote,.results-disclaimer,.task-scale,.verifier-note{margin-left:88px}.metric-grid{grid-template-columns:repeat(3,1fr)}.outcome-grid{grid-template-columns:1fr}.filter-bar{grid-template-columns:1fr 1fr}.filter-count{min-height:44px}.trace-browser{grid-template-columns:220px minmax(0,1fr)}.verifier-columns{grid-template-columns:1fr}.polynomial-inputs{border-right:0;border-bottom:1px solid var(--rule-strong)}.sources{grid-template-columns:100px 1fr}.source-list{grid-column:2}}@media (max-width:680px){.section-shell{padding-left:18px;padding-right:18px}.brand small{display:none}.hero{padding-top:54px;padding-bottom:55px}.hero h1{font-size:clamp(48px,15vw,68px)}.hero-lead{font-size:17px}.hero-actions{align-items:stretch;flex-direction:column}.button{justify-content:space-between}.hero-stats{grid-template-columns:1fr 1fr;gap:18px 0}.hero-visual:before{display:none}.visual-legend{justify-content:flex-start}.section-lead,.sources,.statement-inner{grid-template-columns:1fr}.section-lead>p,.source-list,.statement-inner>div:nth-child(2),.statement-note{grid-column:1}.statement-inner{gap:22px}.statement-note{padding:18px 0 0;border-top:1px solid rgba(255,255,255,.3);border-left:0}.section-lead{gap:18px;margin-bottom:45px}.section-lead h2{font-size:39px}.atlas,.benchmark,.community,.sources,.verifier{padding-top:80px;padding-bottom:80px}.known-map{padding-top:34px}.known-map-head{flex-direction:column}.known-map>.math-block{padding:18px 8px;font-size:12px}.certificate-row{grid-template-columns:1fr}.certificate-row>div+div{padding-left:0;border-top:1px solid var(--rule);border-left:0}.collision{grid-template-columns:1fr}.task-scale{margin-left:0}.task-card{grid-template-columns:42px 1fr}.task-index{font-size:15px}.task-main{padding:27px 0 28px 16px;border-left:1px solid var(--rule)}.task-heading{flex-direction:column}.capability{width:100%}.task-question{font-size:15px}.task-significance{gap:7px}.task-details-grid,.task-significance{grid-template-columns:1fr}.task-details-grid details:first-child{padding-right:0;border-right:0;border-bottom:1px solid var(--rule)}.task-details-grid details:last-child{padding-left:0}.task-actions{padding-left:16px}.novelty-footnote,.results-disclaimer,.verifier-note{margin-left:0}.filter-bar{grid-template-columns:1fr}.metric-grid{grid-template-columns:1fr 1fr}.metric{min-height:130px}.metric-grid .metric:last-child{grid-column:1/-1}.outcome-row{grid-template-columns:8px minmax(0,1fr) 55px 24px;padding:12px 10px}.model-table{overflow-x:auto}.model-row{grid-template-columns:170px repeat(5,70px);min-width:520px}.table-caption{align-items:flex-start;flex-direction:column;justify-content:center}.trace-browser{grid-template-columns:1fr}.trace-list{border-right:0;border-bottom:1px solid rgba(255,255,255,.18)}.trace-scroll{display:flex;max-height:none;overflow-x:auto}.trace-item{min-width:215px;border-right:1px solid rgba(255,255,255,.1)}.trace-item.active{box-shadow:inset 0 -2px var(--acid)}.trace-detail-head{gap:16px;flex-direction:column}.record-mini-metrics{flex-wrap:wrap}.trace-tabs{overflow-x:auto}.trace-tabs button{flex:0 0 auto}.eval-grid{grid-template-columns:1fr 1fr;padding:15px}.verifier-toolbar{gap:10px;padding:10px;align-items:flex-start;flex-direction:column}.polynomial-inputs,.verification-output{padding:22px 14px}.point-input{grid-template-columns:25px 1fr 1fr 1fr 26px;gap:4px}.matrix-grid code{padding:5px 3px}.community-grid{border-bottom:0}.message-board{min-height:auto}.community-empty{min-height:300px}.footer-inner{grid-template-columns:1fr;gap:24px}.footer-note{justify-self:start;text-align:left}}.language-switcher{gap:0;padding:0 11px}.language-switcher select{min-width:63px}.frontier-news{margin:0 0 clamp(68px,8vw,112px);padding:clamp(34px,4.5vw,64px);border:1px solid var(--rule-strong);background:var(--ink);color:var(--white)}.frontier-news-head{display:grid;grid-template-columns:minmax(0,1.25fr) minmax(280px,.75fr);gap:50px;align-items:end;margin-bottom:37px}.frontier-news-head .micro-label{color:var(--acid)}.frontier-news-head h2{max-width:760px;margin:8px 0 0;font-family:var(--serif);font-size:clamp(34px,3.7vw,55px);font-weight:500;letter-spacing:-.04em;line-height:1.08}.frontier-news-head>p{margin:0;color:rgba(255,255,255,.62);font-family:var(--serif);font-size:16px;line-height:1.65}.frontier-news-timeline{grid-template-columns:repeat(4,minmax(0,1fr));border-top:1px solid rgba(255,255,255,.24);border-left:1px solid rgba(255,255,255,.18)}.frontier-news-timeline a{position:relative;display:flex;min-height:290px;padding:21px;flex-direction:column;border-right:1px solid rgba(255,255,255,.18);border-bottom:1px solid rgba(255,255,255,.18);transition:background .16s ease,color .16s ease}.frontier-news-timeline a:before{position:absolute;top:-5px;left:20px;width:9px;height:9px;border-radius:50%;background:rgba(255,255,255,.55);content:""}.frontier-news-timeline a.featured:before{background:var(--acid);box-shadow:0 0 0 5px rgba(199,255,53,.14)}.frontier-news-timeline a:hover{background:var(--acid);color:var(--ink)}.frontier-news-timeline time,.frontier-news-timeline>a>span{color:rgba(255,255,255,.48);font-family:var(--mono);font-size:10px;letter-spacing:.07em}.frontier-news-timeline>a>span{margin-top:5px;color:var(--acid)}.frontier-news-timeline a:hover p,.frontier-news-timeline a:hover time,.frontier-news-timeline a:hover>span{color:var(--ink)}.frontier-news-timeline h3{margin:22px 0 0;font-family:var(--serif);font-size:20px;font-weight:500;line-height:1.3}.frontier-news-timeline p{margin:12px 0 20px;color:rgba(255,255,255,.58);font-size:12px;line-height:1.65}.frontier-news-timeline svg{margin-top:auto}.prompt-math{min-width:0}.prompt-math>:first-child{margin-top:0}.prompt-math>:last-child{margin-bottom:0}.prompt-math .katex-display{overflow-x:auto;overflow-y:hidden;padding:4px 0}.detail-copy{display:inline-flex;gap:6px;margin:0 0 18px;padding:7px 9px;align-items:center;border:1px solid var(--rule);background:transparent;color:var(--blue);cursor:pointer;font-family:var(--mono);font-size:10px}.detail-copy:hover{border-color:var(--blue)}.task-actions button.liked{border-color:var(--blue);color:var(--blue);background:rgba(33,70,208,.06)}.outcome-row{min-height:96px;align-items:start}.outcome-row small{overflow:visible;text-overflow:clip;white-space:normal}.outcome-marker,.outcome-row i,.outcome-row strong{margin-top:7px}.frontier-news-timeline{display:grid;scroll-padding-inline:1px;scroll-snap-type:x mandatory;scrollbar-color:var(--acid) rgba(255,255,255,.12);scrollbar-width:thin}.frontier-news-timeline::-webkit-scrollbar{height:8px}.frontier-news-timeline::-webkit-scrollbar-track{background:rgba(255,255,255,.12)}.frontier-news-timeline::-webkit-scrollbar-thumb{background:var(--acid)}.frontier-news-timeline a{min-width:0;min-height:360px;scroll-snap-align:start}.frontier-news-timeline>a>span{min-height:31px;font-size:10px;line-height:1.45;text-transform:none}.frontier-news-timeline h3{margin-top:18px}.frontier-news-timeline p{font-size:13px}.frontier-news-meta{display:flex;gap:8px;margin-top:auto;align-items:flex-end;flex-wrap:wrap}.frontier-news-meta small{color:rgba(255,255,255,.5);font-family:var(--mono);font-size:9px;letter-spacing:.045em;line-height:1.45}.frontier-news-meta small:first-child{color:var(--acid)}.frontier-news-meta small:nth-child(2){flex-basis:100%}.frontier-news-meta svg{margin:0 0 0 auto}.frontier-news-timeline a:hover .frontier-news-meta small{color:var(--ink)}@media (max-width:960px){.frontier-news-timeline{grid-auto-columns:auto;grid-auto-flow:row;grid-template-columns:1fr;max-height:660px;overflow-x:hidden;overflow-y:auto;scroll-snap-type:y proximity}.frontier-news-timeline a{min-height:280px;scroll-snap-align:start}}.interactive-scope{display:grid;grid-template-columns:minmax(300px,1fr) auto auto auto;gap:1px;margin:-22px 0 24px;border:1px solid var(--rule-strong);background:var(--rule)}.interactive-scope>a,.interactive-scope>div,.interactive-scope>span{min-width:0;min-height:58px;padding:11px 14px;background:var(--paper)}.interactive-scope>div{display:flex;gap:10px;align-items:center}.interactive-scope>div svg{flex:0 0 auto;color:var(--green)}.interactive-scope>div b,.interactive-scope>div small,.interactive-scope>div span{display:block}.interactive-scope>div b{font-family:var(--serif);font-size:14px;font-weight:500}.interactive-scope>div small{margin-top:3px;color:var(--muted);font-size:10px;line-height:1.4}.interactive-scope>a,.interactive-scope>span{display:inline-flex;gap:6px;align-items:center;justify-content:center;color:var(--muted);font-family:var(--mono);font-size:9px;letter-spacing:.04em;text-align:center}.interactive-scope>a{color:var(--blue);white-space:nowrap}.interactive-scope>a:hover{background:var(--blue);color:white}.verifier-embedded .verifier-note{margin-left:0}.exact-verifier-columns{grid-template-columns:minmax(0,.95fr) minmax(430px,1.05fr)}.integer-field-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px}.integer-field{display:grid;grid-template-columns:34px minmax(0,1fr);min-width:0;border:1px solid var(--rule);background:var(--paper)}.integer-field:focus-within{border-color:var(--blue);box-shadow:inset 0 0 0 1px var(--blue)}.integer-field>span{display:flex;grid-row:1/3;align-items:center;justify-content:center;background:var(--ink);color:white;font-family:var(--serif);font-size:17px}.integer-field input{width:100%;min-width:0;padding:10px 11px 5px;border:0;background:transparent;font-family:var(--mono);font-size:14px;outline:none}.integer-field small{padding:0 11px 8px;overflow:hidden;color:var(--muted);font-family:var(--mono);font-size:9px;text-overflow:ellipsis;white-space:nowrap}.candidate-formula{display:flex;gap:18px;margin-top:23px;padding:17px;align-items:center;justify-content:center;border:1px solid var(--rule);background:rgba(255,255,255,.28);font-family:var(--serif);font-size:21px}.odd-n-field{max-width:430px}.factor-editor-head{display:flex;gap:12px;margin-top:27px;padding-bottom:11px;align-items:end;justify-content:space-between;border-bottom:1px solid var(--rule-strong)}.factor-editor-head b,.factor-editor-head small{display:block}.factor-editor-head b{font-family:var(--serif);font-size:16px;font-weight:500}.factor-editor-head small{margin-top:3px;color:var(--muted);font-size:9px}.factor-editor-head button,.factor-editor-row>button{display:inline-flex;gap:5px;padding:7px 9px;align-items:center;border:1px solid var(--rule-strong);background:transparent;color:var(--ink);cursor:pointer;font-family:var(--mono);font-size:9px}.factor-editor{max-height:430px;overflow-y:auto}.factor-editor-row{display:grid;grid-template-columns:28px minmax(75px,.7fr) minmax(62px,.45fr) minmax(145px,1.3fr) 32px;gap:7px;padding:9px 0;align-items:center;border-bottom:1px solid var(--rule)}.factor-editor-row>b{font-family:var(--serif);font-weight:500}.factor-editor-row label{display:grid;grid-template-columns:auto minmax(0,1fr);min-width:0;align-items:center;border:1px solid var(--rule);background:var(--paper)}.factor-editor-row label:focus-within{border-color:var(--blue)}.factor-editor-row label span{padding-left:7px;color:var(--muted);font-family:var(--mono);font-size:8px;white-space:nowrap}.factor-editor-row input,.factor-editor-row textarea{width:100%;min-width:0;padding:7px;border:0;background:transparent;font-family:var(--mono);font-size:10px;outline:none;resize:vertical}.factor-editor-row>button{display:grid;width:32px;height:32px;padding:0;place-items:center}.factor-editor-row>button:hover:not(:disabled){border-color:var(--red);color:var(--red)}.factor-editor-row>button:disabled{cursor:not-allowed;opacity:.25}.exact-verification-output .verdict{margin-top:0}.exact-stat-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));margin-top:18px;border-top:1px solid var(--rule);border-left:1px solid var(--rule)}.exact-stat-grid>div{display:flex;min-width:0;min-height:78px;padding:11px;flex-direction:column;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule)}.exact-stat-grid span{color:var(--muted);font-family:var(--mono);font-size:8px}.exact-stat-grid b{margin-top:auto;overflow:hidden;font-family:var(--mono);font-size:12px;text-overflow:ellipsis;white-space:nowrap}.exact-stat-grid .accent b{color:var(--green)}.interactive-condition-list{margin-top:18px;border-top:1px solid var(--rule-strong)}.interactive-condition-list>div{display:grid;grid-template-columns:auto minmax(0,1fr);gap:10px;padding:14px 0;border-bottom:1px solid var(--rule)}.interactive-condition-list>div.pass{color:var(--green)}.interactive-condition-list>div.fail{color:var(--red)}.interactive-condition-list>div>svg{margin-top:2px}.interactive-condition-list b,.interactive-condition-list small,.interactive-condition-list>div>span{display:block}.interactive-condition-list b{font-family:var(--mono);font-size:10px}.interactive-condition-list .prompt-math{margin-top:5px;color:var(--ink);font-size:13px}.interactive-condition-list .prompt-math p{margin:0}.interactive-condition-list small{margin-top:5px;color:var(--muted);font-size:11px;line-height:1.5;overflow-wrap:anywhere}@media (max-width:1100px){.interactive-scope{grid-template-columns:minmax(280px,1fr) auto auto}.interactive-scope>a{grid-column:1/-1}.exact-verifier-columns{grid-template-columns:1fr 1fr}}@media (max-width:900px){.interactive-scope{grid-template-columns:1fr 1fr}.interactive-scope>div{grid-column:1/-1}.exact-verifier-columns{grid-template-columns:1fr}}@media (max-width:680px){.interactive-scope{grid-template-columns:1fr;margin-top:-20px}.interactive-scope>a,.interactive-scope>div,.interactive-scope>span{grid-column:1;min-height:48px}.integer-field-grid{grid-template-columns:1fr 1fr}.factor-editor-head{align-items:stretch;flex-direction:column}.factor-editor-head button{justify-content:center}.factor-editor-row{grid-template-columns:24px minmax(0,1fr) minmax(0,.7fr) 32px}.factor-editor-row .certificate-field{grid-column:2/-1}.exact-stat-grid{grid-template-columns:1fr}}.results-section .filter-bar.no-hint{grid-template-columns:repeat(2,minmax(180px,1fr)) auto}.results-section .matrix-cell.single-mode{grid-template-columns:minmax(0,1fr)}.results-section .matrix-cell.single-mode .matrix-run{width:100%}.results-section .matrix-legend{max-width:100%;overflow-x:auto;white-space:nowrap}.results-section .model-table.detailed.no-hint{min-width:1030px}.results-section .model-table.detailed.no-hint .model-row{grid-template-columns:minmax(250px,1.65fr) repeat(7,minmax(84px,.62fr))}.results-section .trace-browser{display:grid;grid-template-columns:340px minmax(0,1fr);min-height:720px;margin-top:60px;border:1px solid rgba(255,255,255,.24);background:transparent}.results-section .trace-list{min-width:0;border-right:1px solid rgba(255,255,255,.18)}.results-section .trace-filters{display:grid;gap:1px;padding:1px;align-items:stretch;border-bottom:1px solid rgba(255,255,255,.18);background:rgba(255,255,255,.14);color:white}.results-section .trace-filters label{display:grid;grid-template-columns:72px minmax(0,1fr);gap:9px;min-height:44px;padding:0 12px;align-items:center;background:var(--ink);font-family:inherit;text-transform:none}.results-section .trace-filters select{min-width:0;padding:0;border:0;background:transparent;color:white}.results-section .trace-detail{min-width:0;padding:0;background:var(--ink);color:white}.results-section .trace-detail-head{display:flex;min-height:127px;padding:24px 25px;align-items:flex-start;justify-content:space-between;border-bottom:1px solid rgba(255,255,255,.18)}.results-section .trace-detail-head h3{margin:13px 0 0;color:white;font-family:var(--serif);font-size:28px;font-weight:500}.results-section .trace-detail-head p{margin:5px 0 0;color:rgba(255,255,255,.43)}.results-section .official-status{min-width:126px;padding:10px;border:1px solid rgba(255,255,255,.25);font-family:inherit}.results-section .official-status.passed{border-color:var(--acid);color:var(--acid)}.results-section .official-status.failed{color:#ef8f84}.results-section .result-analysis{display:grid;grid-template-columns:18px minmax(0,1fr);gap:11px;margin:0;padding:16px 18px;background:color-mix(in srgb,var(--analysis-color) 8%,transparent);border:0;border-bottom:1px solid color-mix(in srgb,var(--analysis-color) 45%,transparent)}.results-section .record-provenance{display:flex;gap:10px;min-height:38px;margin:0;padding:8px 14px;align-items:center;justify-content:space-between;border-bottom:1px solid rgba(255,255,255,.13);color:rgba(255,255,255,.42)}.results-section .record-provenance a{flex:0 0 auto;color:var(--acid)}.results-section .trace-tabs{min-height:54px;padding:0 12px;border-top:0;border-bottom:1px solid rgba(255,255,255,.18)}.results-section .trace-tabs button:disabled{cursor:not-allowed;opacity:.35}.results-section .trace-content{height:590px;min-height:0;max-height:none;padding:0;overflow:auto;background:var(--ink)}.results-section .trace-content pre{color:#d8dbc8}.results-section .eval-grid{gap:0}.results-section .evaluation-conditions{grid-column:1/-1;margin-top:20px;border-top:1px solid rgba(255,255,255,.14)}.results-section .evaluation-conditions>span{display:block;padding:13px 0 9px;color:rgba(255,255,255,.48);font-family:var(--mono);letter-spacing:.08em}.results-section .evaluation-conditions article{display:grid;grid-template-columns:62px minmax(0,1fr);gap:13px;padding:13px 0;border-bottom:1px solid rgba(255,255,255,.12)}.results-section .evaluation-conditions article>b{margin:2px 0 0;font-size:10px}.results-section .evaluation-conditions article.pass>b{color:var(--acid)}.results-section .evaluation-conditions article.fail>b{color:#ed9d94}.results-section .evaluation-conditions article p{margin:0;color:rgba(255,255,255,.8);font-size:13px}.results-section .evaluation-conditions article small{display:block;margin-top:5px;color:rgba(255,255,255,.46);font-size:11px;line-height:1.55}.results-section .output-inspector{min-height:100%;padding:clamp(22px,3.2vw,42px)}.results-section .output-section-heading{display:flex;min-height:38px;align-items:center;justify-content:space-between;border-bottom:1px solid rgba(255,255,255,.2)}.results-section .output-section-heading.original{margin-top:34px}.results-section .output-section-heading span{color:white;font-family:var(--mono);font-size:11px;letter-spacing:.08em}.results-section .output-section-heading small{color:rgba(255,255,255,.42);font-size:11px}.results-section .output-visual-body.counterexample-view{padding:16px 0 0}.results-section .output-kind-card{margin-top:16px;padding:20px;border:1px solid rgba(255,255,255,.16);background:rgba(255,255,255,.035)}.results-section .arithmetic-stat-grid span,.results-section .output-kind-card span{display:block;color:rgba(255,255,255,.48);font-family:var(--mono);font-size:10px;letter-spacing:.08em}.results-section .output-kind-card b{display:block;margin-top:8px;color:white;font-family:var(--serif);font-size:20px;font-weight:500}.results-section .output-kind-card p{margin:10px 0 0;color:rgba(255,255,255,.64);font-size:13px;line-height:1.65}.results-section .output-kind-card.compact-card{display:grid;grid-template-columns:minmax(160px,.55fr) minmax(180px,.8fr) minmax(240px,1.4fr);gap:12px 18px;align-items:center}.results-section .output-kind-card.compact-card b,.results-section .output-kind-card.compact-card p{margin:0}.results-section .arithmetic-output{padding-top:1px}.results-section .arithmetic-stat-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));margin-top:16px;border-top:1px solid rgba(255,255,255,.16);border-left:1px solid rgba(255,255,255,.16)}.results-section .arithmetic-stat-grid>div{display:flex;min-height:92px;padding:15px;flex-direction:column;border-right:1px solid rgba(255,255,255,.16);border-bottom:1px solid rgba(255,255,255,.16)}.results-section .arithmetic-stat-grid b{margin-top:auto;overflow-wrap:anywhere;color:white;font-family:var(--serif);font-size:20px;font-weight:500}.results-section .arithmetic-stat-grid>div.accent b{color:var(--acid)}.results-section .factor-strip{display:flex;gap:8px;margin-top:16px;overflow-x:auto}.results-section .factor-strip>span{display:inline-flex;min-width:66px;min-height:54px;align-items:center;justify-content:center;border:1px solid rgba(255,255,255,.17);background:rgba(255,255,255,.035);color:white;font-family:var(--serif);font-size:20px}.results-section .factor-strip sup{margin:-17px 0 0 3px;color:var(--acid);font-family:var(--mono);font-size:10px}.results-section .output-inspector>.raw-output{min-height:0;max-height:430px;margin-top:16px;padding:20px;border:1px solid rgba(255,255,255,.14)}.results-section .output-contract{margin-top:12px;border:1px solid rgba(255,255,255,.14)}.results-section .output-contract summary{padding:13px 15px;color:rgba(255,255,255,.64);cursor:pointer;font-size:12px}.results-section .output-contract pre{margin:0;padding:18px;border-top:1px solid rgba(255,255,255,.14);background:#0c0e0d;white-space:pre-wrap}@media (max-width:900px){.results-section .trace-browser{grid-template-columns:280px minmax(0,1fr)}.results-section .output-kind-card.compact-card{grid-template-columns:1fr}}@media (max-width:680px){.results-section .filter-bar,.results-section .filter-bar.no-hint,.results-section .trace-browser{grid-template-columns:1fr}.results-section .trace-list{border-right:0;border-bottom:1px solid rgba(255,255,255,.18)}.results-section .trace-filters{grid-template-columns:1fr 1fr}.results-section .trace-filters label{grid-template-columns:1fr;gap:2px;padding:8px 10px}.results-section .output-section-heading,.results-section .trace-detail-head{gap:12px;align-items:flex-start;flex-direction:column}.results-section .official-status{min-width:112px}.results-section .record-mini-metrics{flex-wrap:wrap}.results-section .trace-tabs{padding:0 5px;overflow-x:auto}.results-section .trace-tabs button{flex:0 0 auto;padding:0 7px;font-size:10px}.results-section .eval-grid{grid-template-columns:1fr 1fr;padding:16px}.results-section .arithmetic-stat-grid{grid-template-columns:1fr}}.conjecture-selector{max-width:1180px;overflow-x:auto;justify-content:flex-start;scrollbar-width:thin}.conjecture-selector button{min-width:250px;cursor:pointer}.conjecture-status{display:flex;gap:8px;align-items:center;color:var(--green)!important;font-family:var(--mono)!important;font-size:12px!important}.data-provenance{display:flex;gap:9px 15px;margin-top:24px;align-items:center;flex-wrap:wrap;color:var(--muted);font-family:var(--mono);font-size:10px}.data-provenance span{padding:4px 7px;border:1px solid var(--rule);background:rgba(255,255,255,.28)}.configured-visual{min-width:0}.visual-example{margin-top:13px;padding:16px 20px;border:1px solid var(--rule);background:rgba(255,255,255,.35)}.visual-example .math-block{margin:0;overflow-x:auto;font-size:clamp(15px,1.35vw,20px)}.visual-example p{margin:7px 0 0;color:var(--muted);font-size:12px;line-height:1.55}.arithmetic-visual>svg{display:block;width:100%;border:1px solid var(--rule-strong);background:var(--paper-2);color:rgba(21,24,23,.2)}.arithmetic-visual .divisor-ring,.arithmetic-visual .power-node circle{fill:rgba(255,255,255,.46);stroke:var(--blue);stroke-width:2}.arithmetic-visual .target-node circle{fill:var(--blue)}.arithmetic-visual .operator,.arithmetic-visual .power-node text,.arithmetic-visual .sigma-label{fill:var(--ink);font-family:var(--serif);font-size:30px;text-anchor:middle}.arithmetic-visual .target-node text{fill:white}.arithmetic-visual .operator{font-size:27px}.arithmetic-visual .factor-link{fill:none;stroke:var(--red);stroke-dasharray:7 6;stroke-width:2}.arithmetic-visual .visual-label{fill:var(--muted);font-family:var(--mono);font-size:12px;letter-spacing:.1em}.arithmetic-visual .divisor-ring.outer{stroke-dasharray:5 5}.arithmetic-visual .divisor-core,.arithmetic-visual .divisor-point{fill:var(--blue)}.arithmetic-visual .sigma-label{fill:white;font-size:20px}.statement-copy>.prompt-math p,.statement-note .prompt-math p{margin:0;color:rgba(255,255,255,.84);font-family:var(--serif)}.statement-copy>.prompt-math{max-width:900px;margin:0 auto;font-size:18px}.statement-note .prompt-math{min-width:0}.data-atlas-grid{grid-template-columns:minmax(0,1.45fr) minmax(280px,.55fr)}.timeline .prompt-math p{margin:7px 0 0;color:var(--muted);font-size:13px}.source-links{display:flex;gap:8px;margin-top:10px;flex-wrap:wrap}.source-links a{display:inline-flex;gap:4px;align-items:center}.atlas-side-card{align-self:start;padding:27px;border:1px solid var(--rule-strong);color:white}.atlas-side-card>span{color:var(--acid);font-family:var(--mono);font-size:10px;letter-spacing:.12em}.atlas-side-card h3{margin:15px 0;font-family:var(--serif);font-size:26px;font-weight:500;line-height:1.25}.atlas-side-card p{color:rgba(255,255,255,.68);font-size:13px}.atlas-side-card .math-block{margin:24px 0 0;overflow-x:auto;color:white;font-size:15px}.hint-policy-note{display:flex;gap:9px;margin:20px 0 34px 106px;align-items:center;color:var(--muted);font-family:var(--mono);font-size:11px}.task-details-grid.single{grid-template-columns:1fr}.results,.symbolic-contract{padding-top:clamp(78px,9vw,130px);padding-bottom:clamp(78px,9vw,130px)}.results{background:var(--paper-2)}.result-summary-grid{display:grid;grid-template-columns:repeat(4,1fr);margin:44px 0 52px;border:1px solid var(--rule-strong)}.result-summary-grid article{display:grid;min-height:145px;padding:22px;grid-template-columns:auto 1fr;gap:8px 13px;align-content:center;border-right:1px solid var(--rule)}.result-summary-grid article:last-child{border-right:0}.result-summary-grid svg{grid-row:span 2;color:var(--blue)}.result-summary-grid strong{font-family:var(--serif);font-size:29px;font-weight:500;line-height:1}.result-summary-grid span{color:var(--muted);font-family:var(--mono);font-size:10px;text-transform:uppercase}.matrix-section,.outcome-section,.trace-browser{margin-top:38px;border:1px solid var(--rule-strong);background:var(--paper)}.dashboard-heading{display:flex;min-height:68px;padding:14px 18px;align-items:center;justify-content:space-between;border-bottom:1px solid var(--rule)}.dashboard-heading>div{display:flex;gap:12px;align-items:center}.dashboard-heading small,.dashboard-heading span{color:var(--muted);font-family:var(--mono);font-size:10px;letter-spacing:.08em}.dashboard-heading h3{margin:0;font-family:var(--serif);font-size:22px;font-weight:500}.outcome-list{display:grid;grid-template-columns:repeat(2,1fr)}.outcome-list .outcome-row{position:relative;display:grid;min-height:92px;padding:16px 18px 20px;grid-template-columns:145px minmax(0,1fr) auto;gap:12px;align-items:center;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule)}.outcome-list .outcome-code{font-family:var(--mono);font-size:9px;letter-spacing:.04em;text-transform:uppercase}.outcome-list .outcome-row b,.outcome-list .outcome-row small{display:block}.outcome-list .outcome-row b{font-size:13px}.outcome-list .outcome-row small{margin-top:3px;color:var(--muted);font-size:11px}.outcome-list .outcome-row strong{font-family:var(--serif);font-size:25px}.outcome-list .outcome-row i{position:absolute;right:0;bottom:0;left:0;height:4px;background:linear-gradient(90deg,var(--blue) var(--share),var(--paper-3) var(--share))}.adaptive-matrix{overflow-x:auto}.adaptive-matrix .matrix-head,.adaptive-matrix .matrix-row{display:grid;min-width:max(760px,calc(240px + var(--task-count) * 155px));grid-template-columns:240px repeat(var(--task-count),minmax(155px,1fr))}.adaptive-matrix .matrix-head>span{display:flex;min-height:76px;padding:13px;align-items:center;justify-content:center;flex-direction:column;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule);font-family:var(--mono);font-size:11px}.adaptive-matrix .matrix-head small{max-width:125px;margin-top:4px;overflow:hidden;color:var(--muted);font-size:9px;text-align:center;text-overflow:ellipsis;white-space:nowrap}.adaptive-matrix .matrix-row{min-height:78px}.adaptive-matrix .matrix-cell,.adaptive-matrix .matrix-model{display:flex;min-height:78px;padding:12px;align-items:center;justify-content:center;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule)}.adaptive-matrix .matrix-model{align-items:flex-start;flex-direction:column}.adaptive-matrix .matrix-model small{color:var(--muted)}.adaptive-matrix .matrix-cell{gap:7px}.adaptive-matrix .matrix-run{display:inline-flex;width:46px;min-height:42px;align-items:center;justify-content:center;gap:4px;border:1px solid var(--rule-strong);background:transparent;cursor:pointer}.adaptive-matrix .matrix-run.tone-pass{color:var(--green);border-color:var(--green)}.adaptive-matrix .matrix-run.tone-system{color:#9a6c13;border-color:#9a6c13}.adaptive-matrix .matrix-run.tone-protocol{color:var(--blue);border-color:var(--blue)}.adaptive-matrix .matrix-run.tone-math{color:var(--red);border-color:var(--red)}.adaptive-matrix .matrix-run.selected{background:var(--ink);color:white;border-color:var(--ink)}.adaptive-matrix .matrix-run.empty{border:0;color:var(--muted)}.trace-browser{display:block;grid-template-columns:none}.trace-filters{display:flex;gap:14px;padding:14px 18px;align-items:end;border-bottom:1px solid var(--rule);background:var(--ink);color:white}.trace-filters label{display:flex;min-height:auto;padding:0;align-items:flex-start;flex-direction:column;background:transparent;font-family:var(--mono);font-size:9px;text-transform:uppercase}.trace-filters select{min-width:170px;padding:6px 8px;border:1px solid rgba(255,255,255,.28);background:rgba(255,255,255,.06)}.no-hint-badge{margin-left:auto;padding:7px 10px;border:1px solid rgba(255,255,255,.32);color:var(--acid);font-family:var(--mono);font-size:10px}.trace-layout{display:grid;grid-template-columns:340px minmax(0,1fr)}.trace-layout .trace-list{max-height:850px;overflow-y:auto;border-right:1px solid var(--rule)}.trace-layout .trace-item{display:grid;width:100%;min-height:82px;padding:13px;grid-template-columns:auto 1fr;gap:8px 10px;align-items:center;border-bottom:1px solid var(--rule);background:transparent;text-align:left;cursor:pointer}.trace-layout .trace-item.active{background:rgba(33,70,208,.08);box-shadow:inset 4px 0 0 var(--blue)}.trace-item>span:nth-child(2){min-width:0}.trace-item b,.trace-item small{display:block}.trace-item code{grid-column:2;color:var(--muted);font-size:9px}.trace-status.tone-pass{color:var(--green)}.trace-status.tone-system{color:#9a6c13}.trace-status.tone-protocol{color:var(--blue)}.trace-status.tone-math{color:var(--red)}.trace-layout .trace-detail{min-width:0;padding:0;background:var(--white)}.trace-detail-head{display:flex;padding:24px;align-items:start;justify-content:space-between;border-bottom:1px solid var(--rule)}.trace-detail-head>div>span{color:var(--muted);font-family:var(--mono);font-size:10px;text-transform:uppercase}.trace-detail-head h3{margin:5px 0}.official-status{padding:8px 10px;border:1px solid;font-family:var(--mono);font-size:9px}.official-status.pass{color:var(--green)}.official-status.fail{color:var(--red)}.result-analysis{margin:20px 24px 0;padding:17px;border-left:3px solid var(--blue);background:var(--paper-2)}.result-analysis>b{font-family:var(--mono);font-size:9px;letter-spacing:.08em}.result-analysis p{margin:7px 0 0}.record-provenance{display:flex;gap:10px;margin:16px 24px;align-items:center;justify-content:space-between;color:var(--muted);font-family:var(--mono);font-size:9px}.record-provenance a{display:inline-flex;gap:4px;align-items:center;color:var(--blue)}.record-provenance>span{min-width:0;overflow-wrap:anywhere}.trace-tabs{padding:0 24px;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule)}.trace-content{min-height:330px;max-height:700px;padding:24px;overflow:auto}.contract-output pre,.evaluation-detail pre,.trace-content pre{margin:0;padding:18px;overflow:auto;background:var(--ink);color:var(--white);font-family:var(--mono);font-size:11px;white-space:pre-wrap}.condition-trace>div,.evaluation-detail>div{display:grid;grid-template-columns:auto minmax(0,1fr);gap:10px;padding:12px 0;border-bottom:1px solid var(--rule)}.condition-trace>div.pass,.evaluation-detail>div.pass{color:var(--green)}.condition-trace>div.fail,.evaluation-detail>div.fail{color:var(--red)}.condition-trace .prompt-math,.contract-checks .prompt-math,.evaluation-detail .prompt-math{color:var(--ink)}.condition-trace .prompt-math p,.contract-checks .prompt-math p,.evaluation-detail .prompt-math p{margin:0}.condition-trace small,.evaluation-detail small{display:block;color:var(--muted);font-size:11px}.empty-task-result{padding:22px;color:var(--muted)}.symbolic-contract{background:var(--paper)}.lab-task-tabs{display:flex;margin-top:40px;overflow-x:auto;border:1px solid var(--rule-strong)}.lab-task-tabs button{display:flex;min-width:190px;padding:13px 16px;align-items:flex-start;flex-direction:column;border-right:1px solid var(--rule);background:transparent;cursor:pointer}.lab-task-tabs button.active{background:var(--blue);color:white}.lab-task-tabs b{font-family:var(--mono);font-size:10px}.lab-task-tabs span{margin-top:3px;font-family:var(--serif)}.symbolic-contract-grid{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(320px,.85fr);margin-top:24px;border:1px solid var(--rule-strong)}.contract-checks,.contract-output{min-width:0}.contract-output{border-right:1px solid var(--rule)}.contract-checks .panel-heading,.contract-output .panel-heading,.sample-verdict .panel-heading{min-height:72px;padding:14px 17px;border-bottom:1px solid var(--rule)}.contract-output pre{min-height:315px}.contract-checks ol{margin:0;padding:12px 22px;list-style:none}.contract-checks li{display:grid;grid-template-columns:auto minmax(0,1fr);gap:8px;padding:10px 0;border-bottom:1px solid var(--rule)}.contract-checks li svg{margin-top:4px;color:var(--green)}.verifier-source-link{display:grid;margin:14px 22px 22px;padding:14px;grid-template-columns:auto 1fr auto;gap:10px;align-items:center;border:1px solid var(--blue);color:var(--blue)}.verifier-source-link b,.verifier-source-link small{display:block}.verifier-source-link small{overflow-wrap:anywhere;font-family:var(--mono);font-size:9px}.sample-verdict{margin-top:24px;border:1px solid var(--rule-strong)}.condition-trace{padding:10px 22px 22px}.site-footer{display:flex;gap:30px;min-height:180px;padding:45px clamp(24px,5vw,78px);align-items:center;justify-content:space-between;background:var(--ink);color:white}.site-footer b{font-family:var(--serif);font-size:22px}.site-footer p{max-width:700px;margin:7px 0 0;color:rgba(255,255,255,.62)}.site-footer>div:last-child{display:flex;gap:15px;flex-wrap:wrap}.site-footer a{display:inline-flex;gap:4px;align-items:center;color:var(--acid);font-family:var(--mono);font-size:11px}@media (max-width:1100px){.data-atlas-grid,.hero-case-grid,.symbolic-contract-grid{grid-template-columns:1fr}.contract-output{border-right:0;border-bottom:1px solid var(--rule)}.result-summary-grid{grid-template-columns:repeat(2,1fr)}.result-summary-grid article:nth-child(2){border-right:0}}@media (max-width:760px){.conjecture-selector{margin-top:35px;margin-bottom:45px;flex-direction:column;overflow:visible}.conjecture-selector button{width:100%;min-width:0}.hint-policy-note{margin-left:0}.outcome-list,.result-summary-grid,.trace-layout{grid-template-columns:1fr}.result-summary-grid article{border-right:0;border-bottom:1px solid var(--rule)}.outcome-list .outcome-row{grid-template-columns:1fr auto}.outcome-list .outcome-code{grid-column:1/-1}.trace-filters{align-items:stretch;flex-direction:column}.trace-filters select{width:100%}.no-hint-badge{margin-left:0}.trace-layout .trace-list{max-height:360px;border-right:0;border-bottom:1px solid var(--rule)}.record-provenance,.site-footer{align-items:flex-start;flex-direction:column}.arithmetic-visual>svg,.configured-visual .hero-visual svg{min-height:260px}}@media (max-width:1100px){.frontier-news-timeline{grid-template-columns:1fr 1fr}.frontier-news-timeline a{min-height:245px}}@media (max-width:680px){.frontier-news{margin-right:-18px;margin-left:-18px;padding:35px 18px;border-right:0;border-left:0}.frontier-news-head,.frontier-news-timeline{grid-template-columns:1fr}.frontier-news-head{gap:20px}.frontier-news-timeline a{min-height:220px}.outcome-row{min-height:108px}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}.moving-points{display:none}*,:after,:before{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important}}body{font-size:16.5px}.site-header{grid-template-columns:minmax(280px,1fr) auto minmax(280px,1fr);min-height:78px;padding-right:max(clamp(24px,5vw,78px),calc((100vw - 1440px) / 2 + 78px));padding-left:max(clamp(24px,5vw,78px),calc((100vw - 1440px) / 2 + 78px))}.brand-mark.conjecture-mark{width:42px;height:42px;border-radius:50%;background:var(--blue);border-color:var(--blue);font-size:24px;font-style:normal;font-weight:500}.brand b{font-size:18px}.brand small{font-size:10px}.main-nav a{font-size:13px}.header-actions{display:flex;gap:10px;align-items:center;justify-self:end}.top-button{display:inline-flex;gap:6px;min-height:38px;padding:0 11px;border:1px solid var(--rule-strong);align-items:center;justify-content:center;background:rgba(255,255,255,.36);color:var(--ink);cursor:pointer;font-family:var(--mono);font-size:10px;font-weight:700;letter-spacing:.08em;transition:border-color .15s ease,background .15s ease,color .15s ease}.top-button:focus-visible,.top-button:hover{border-color:var(--blue);background:var(--blue);color:white}.language-switcher{display:inline-flex;gap:7px;min-height:38px;padding:0 10px;align-items:center;border:1px solid var(--rule-strong);background:rgba(255,255,255,.36)}.language-switcher select{min-width:72px;padding:0;border:0;background:transparent;cursor:pointer;font-size:13px;font-weight:650;outline:none}.github-cta{min-height:38px;font-size:12px}.hero-home{padding-top:clamp(68px,8vw,118px);padding-bottom:clamp(84px,9vw,132px)}.hero-intro{max-width:1120px;margin:0 auto;text-align:center}.hero-intro .hero-eyebrow{justify-content:center;margin-bottom:28px;font-size:12px}.hero-intro h1{margin:0;font-family:var(--serif);font-size:clamp(62px,8.2vw,124px);font-weight:500;letter-spacing:-.065em;line-height:.96}.hero-quote{max-width:890px;margin:40px auto 0}.hero-quote blockquote{margin:0;color:var(--ink-2);font-family:var(--serif);font-size:clamp(21px,2.1vw,31px);font-style:italic;line-height:1.5}.hero-quote figcaption{margin-top:13px;color:var(--muted);font-family:var(--mono);font-size:12px}.hero-quote a{color:var(--blue);text-decoration:underline;text-underline-offset:3px}.hero-intro .hero-lead{max-width:820px;margin:31px auto 0;font-size:clamp(20px,1.8vw,27px)}.conjecture-selector{display:flex;gap:10px;max-width:890px;margin:54px auto 66px;align-items:stretch;justify-content:center}.conjecture-selector>span{display:flex;min-height:65px;padding:0 16px;align-items:center;color:var(--muted);font-family:var(--mono);font-size:11px;letter-spacing:.1em}.conjecture-selector button{display:flex;min-width:235px;min-height:65px;padding:11px 16px;align-items:flex-start;justify-content:center;flex-direction:column;border:1px solid var(--rule-strong);background:transparent;text-align:left}.conjecture-selector button.active{border-color:var(--blue);background:var(--blue);color:white;box-shadow:5px 5px 0 rgba(33,70,208,.15)}.conjecture-selector button:disabled{opacity:.5}.conjecture-selector button b{font-family:var(--serif);font-size:17px;font-weight:500}.conjecture-selector button small{margin-top:4px;color:inherit;font-family:var(--mono);font-size:10px;opacity:.72}.hero-case-grid{display:grid;grid-template-columns:minmax(390px,.76fr) minmax(590px,1.24fr);gap:clamp(45px,6vw,96px);align-items:center;padding-top:clamp(44px,5vw,74px);border-top:1px solid var(--rule-strong)}.hero-case-copy .micro-label{font-size:11px}.hero-case-copy h2{margin:12px 0 0;font-family:var(--serif);font-size:clamp(43px,4.4vw,67px);font-weight:500;letter-spacing:-.045em;line-height:1.05}.hero-case-copy>p{max-width:620px;margin:24px 0 0;color:var(--muted);font-family:var(--serif);font-size:19px;line-height:1.68}.hero-case-copy .button{min-height:50px;font-size:13px}.hero-case-grid .hero-visual{width:100%;max-width:900px}.hero-case-grid .visual-eyebrow{font-size:12px}.hero-case-grid .visual-label{font-size:15px}.hero-case-grid .visual-legend{font-size:11px}.hero-stats dd{font-size:12px}.statement-inner{display:flex;min-height:390px;padding-top:62px;padding-bottom:62px;align-items:center;justify-content:center;flex-direction:column;text-align:center}.statement-inner>.section-index{align-self:center;font-size:11px}.statement-copy{max-width:1110px}.statement-inner>.statement-copy>p{max-width:920px;margin:0 auto;color:rgba(255,255,255,.82);font-family:var(--serif);font-size:18px;line-height:1.65}.statement-inner .math-block{margin:25px 0;font-size:clamp(23px,2.6vw,40px)}.statement-note{max-width:820px;margin-top:32px;padding:18px 24px;align-items:center;border:1px solid rgba(255,255,255,.35);text-align:left}.statement-note p{font-size:14px}.micro-label,.section-index{font-size:11px}.section-lead>p{font-size:18px}.timeline time{font-size:12px}.timeline b{font-size:15px}.timeline p{font-size:13px}.certificate-row span,.collision>span,.timeline a,.verified-badge{font-size:11px}.formula-intro,.scope-note{font-size:14px}.known-map>.math-block{font-size:clamp(17px,1.6vw,23px)}.collision .math-block{font-size:clamp(15px,1.4vw,20px)}.shared-context summary{min-height:72px;font-size:14px}.shared-context .markdown-body,.shared-context p{max-width:1080px;font-size:17px}.copy-mini{font-size:12px}.task-scale{margin-left:106px}.task-scale,.tier{font-size:11px}.task-heading h3{font-size:34px}.task-heading>div:first-child>p{font-size:12px}.capability{grid-template-columns:22px 1fr;padding:14px 16px}.capability span{font-size:11px}.capability b{font-size:13px}.task-question,.task-question .markdown-body{font-size:18px}.constraint-row span{padding:7px 10px;font-size:11px}.task-significance{grid-template-columns:120px 1fr}.task-significance span{font-size:11px}.task-significance p{font-size:14px}.task-details-grid summary{min-height:51px;font-size:12px}.task-details-grid .markdown-body,.task-details-grid details p{font-size:15px;line-height:1.75}.task-actions button span,.task-order{font-size:10px}.task-actions button b{font-size:13px}.novelty-footnote,.results-disclaimer,.verifier-note{max-width:1050px;font-size:13px;line-height:1.65}.filter-bar label>span,.metric-label{font-size:10px}.filter-bar select{font-size:13px}.filter-count,.metric small{font-size:11px}.table-caption{min-height:55px}.table-caption span{font-size:20px}.table-caption small{max-width:760px;font-size:11px;text-align:right}.outcome-grid{grid-template-columns:1fr 1fr}.outcome-row{min-height:79px}.outcome-row b{font-size:13px}.outcome-row small{font-size:11px}.matrix-corner small,.matrix-corner span,.matrix-legend em,.matrix-legend span,.matrix-model small,.matrix-run,.matrix-task-head span{font-size:10px}.matrix-model b,.matrix-task-head b{font-size:12px}.matrix-cell,.matrix-corner,.matrix-model,.matrix-task-head{min-height:74px}.matrix-run{min-height:52px}.model-table-scroll{overflow-x:auto}.model-table.detailed{min-width:1120px}.model-table.detailed .model-row{grid-template-columns:minmax(250px,1.65fr) repeat(8,minmax(84px,.62fr));min-height:58px}.model-row span{font-size:11px}.model-row b{font-size:13px}.trace-browser{grid-template-columns:340px minmax(0,1fr)}.trace-list-head{min-height:60px}.trace-list-head span{font-size:18px}.trace-filters{display:grid;gap:1px;padding:1px;background:rgba(255,255,255,.14)}.trace-filters label{display:grid;grid-template-columns:72px minmax(0,1fr);gap:9px;min-height:44px;padding:0 12px;align-items:center;background:var(--ink)}.trace-filters label>span{color:rgba(255,255,255,.48);font-family:var(--mono);font-size:10px;letter-spacing:.07em}.trace-filters select{min-width:0;border:0;background:transparent;color:white;font-size:12px;outline:none}.trace-filters option{background:var(--ink)}.trace-item{min-height:86px}.trace-item b{font-size:12px}.trace-item small{max-width:270px;font-size:11px}.trace-item em{max-width:270px;font-size:10px}.record-badges span{padding:5px 8px;font-size:10px}.trace-detail-head h3{font-size:28px}.trace-detail-head p{font-size:11px}.official-status{min-width:126px}.official-status small{font-size:9px}.official-status b{font-size:13px}.record-mini-metrics span{padding:11px 15px;font-size:10px}.result-analysis span{font-size:10px}.result-analysis b{font-size:19px}.result-analysis p{font-size:13px}.eval-error,.result-analysis small{font-size:11px}.trace-tabs{min-height:54px}.trace-tabs button{height:54px;font-size:12px}.markdown-body{font-size:16px}.eval-json pre,.markdown-body pre,.raw-output{font-size:12px}.eval-grid span{font-size:11px}.counterexample-view{padding:clamp(22px,3.2vw,42px)}.counterexample-explainer{display:grid;grid-template-columns:.7fr .5fr 1.8fr;gap:12px}.counterexample-explainer>div,.counterexample-explainer>p{margin:0;padding:16px;border:1px solid rgba(255,255,255,.16);background:rgba(255,255,255,.035)}.counterexample-explainer span,.counterexample-formula-card>span,.counterexample-point-card>span{display:block;color:rgba(255,255,255,.48);font-family:var(--mono);font-size:10px;letter-spacing:.08em}.counterexample-explainer b{display:block;margin-top:7px;color:white;font-family:var(--serif);font-size:17px;font-weight:500}.counterexample-explainer>p,.counterexample-point-card p{color:rgba(255,255,255,.67);font-size:13px;line-height:1.65}.counterexample-formula-card,.counterexample-point-card{margin-top:16px;padding:20px;overflow-x:auto;border:1px solid rgba(255,255,255,.16);background:#0c0e0d}.counterexample-formula-card .math-block,.counterexample-point-card .math-block{min-width:max-content;margin-top:19px;font-size:clamp(16px,1.55vw,22px)}.raw-certificate{margin-top:16px;border-top:1px solid rgba(255,255,255,.16)}.raw-certificate summary{padding:15px 0;color:rgba(255,255,255,.62);cursor:pointer;font-size:12px}.verifier-toolbar{min-height:64px}.points-heading button,.verifier-toolbar button,.verifier-toolbar>div:first-child{font-size:11px}.panel-heading>span{font-size:12px}.panel-heading b{font-size:20px}.panel-heading small{font-size:11px}.expression-field textarea{font-size:13px}.expression-field>small{font-size:10px}.point-input label span{font-size:11px}.point-input input{font-size:12px}.verify-button{min-height:56px;font-size:13px}.matrix-grid code,.output-label{font-size:10px}.det-value span{font-size:20px}.det-value b{font-size:16px}.condition{min-height:43px;font-size:11px}.image-table span{font-size:13px}.image-table code{font-size:11px}.verdict b{font-size:14px}.verdict span,.verifier-empty p,.verifier-error{font-size:12px}.community-grid{grid-template-columns:minmax(0,1.1fr) minmax(420px,.9fr)}.message-board-head>div:first-child>span,.sort-toggle button{font-size:11px}.community-filters{display:grid;grid-template-columns:1fr 1fr;gap:10px;margin-top:24px}.community-filters label{display:grid;gap:5px}.community-filters label>span{color:var(--muted);font-family:var(--mono);font-size:10px;letter-spacing:.07em}.community-filters select{width:100%;min-height:40px;padding:0 10px;border:1px solid var(--rule);background:rgba(255,255,255,.3);font-size:12px}.community-empty p,.message-item>p{font-size:13px}.message-conjecture,.message-item footer button,.message-item footer span,.message-item time,.message-task{font-family:var(--mono);font-size:10px}.message-tags{display:flex;gap:7px}.message-conjecture,.message-task{padding:3px 6px;border:1px solid var(--rule);color:var(--blue)}.form-status,.message-form label>span,.moderation-note{font-size:11px}.message-form input,.message-form select,.message-form textarea{padding:12px 13px;font-size:13px}.submit-message{min-height:49px;font-size:13px}.sources{grid-template-columns:180px minmax(0,1fr) minmax(370px,.82fr)}.sources h2{font-size:clamp(34px,3.1vw,47px);line-height:1.1}.sources>div:nth-child(2) p{font-size:14px;line-height:1.7}.source-list a{min-height:57px;font-size:13px}.source-list span{font-size:10px}.acknowledgement{grid-column:2/4;display:grid;grid-template-columns:180px 1fr;gap:28px;margin-top:14px;padding-top:24px;border-top:1px solid var(--rule)}.acknowledgement>span{color:var(--blue);font-family:var(--mono);font-size:11px;letter-spacing:.08em}.acknowledgement p{margin:0;color:var(--muted);font-size:13px}.footer-inner{grid-template-columns:1fr 1.2fr auto;min-height:238px}.footer-inner>div.footer-brand,.footer-inner>div.footer-meta{align-items:flex-start}.footer-brand p b{color:white;font-family:var(--serif);font-size:18px}.footer-inner p,.footer-inner>a{font-size:12px}.footer-meta{display:flex;gap:7px!important;flex-direction:column}@media (max-width:1100px){.site-header{grid-template-columns:minmax(250px,1fr) auto minmax(250px,1fr)}.hero-case-grid{grid-template-columns:minmax(340px,.85fr) minmax(470px,1.15fr);gap:42px}.sources{grid-template-columns:120px minmax(0,1fr) minmax(330px,.8fr)}}@media (max-width:900px){.site-header{grid-template-columns:1fr auto auto}.header-actions{margin-left:auto}.header-actions .github-cta{display:none}.hero-case-grid{grid-template-columns:1fr}.hero-case-grid .hero-visual{max-width:none}.statement-inner{display:flex}.statement-note{align-self:center}.outcome-grid{grid-template-columns:1fr}.trace-browser{grid-template-columns:280px minmax(0,1fr)}.community-grid{grid-template-columns:1fr}.sources{grid-template-columns:100px 1fr}.acknowledgement,.source-list{grid-column:2}}@media (max-width:680px){.site-header{min-height:70px;padding-right:18px;padding-left:18px}.brand-mark.conjecture-mark{width:37px;height:37px;font-size:21px}.brand b{font-size:15px}.language-switcher{min-height:36px;padding:0 7px}.top-button{width:36px;min-height:36px;padding:0}.language-switcher svg,.top-button span{display:none}.language-switcher select{min-width:60px;font-size:12px}.hero-home{padding:54px 18px 82px}.hero-intro .hero-eyebrow{gap:10px;align-items:center;flex-direction:column;font-size:10px}.hero-intro h1{font-size:clamp(49px,15vw,70px)}.hero-quote{margin-top:30px}.hero-quote blockquote{font-size:20px}.hero-intro .hero-lead{font-size:19px}.conjecture-selector{display:grid;margin:40px 0 52px}.conjecture-selector>span{min-height:auto;justify-content:center}.conjecture-selector button{width:100%;min-width:0}.hero-case-grid{padding-top:38px}.hero-case-copy h2{font-size:44px}.hero-case-copy>p{font-size:17px}.statement-inner{padding-top:50px;padding-bottom:50px}.statement-inner .math-block{width:100%;font-size:18px}.statement-inner>.statement-copy>p{font-size:16px}.statement-note{padding:16px}.constraint-row span,.task-details-grid summary,.task-scale,.task-significance span{font-size:10px}.task-question,.task-question .markdown-body{font-size:17px}.table-caption small{text-align:left}.trace-browser{grid-template-columns:1fr}.trace-filters{grid-template-columns:1fr 1fr}.trace-scroll{max-width:100%}.acknowledgement,.community-filters,.counterexample-explainer{grid-template-columns:1fr}.acknowledgement{gap:10px}.footer-inner{grid-template-columns:1fr}}.footer-inner>div.footer-brand{align-items:center}.footer-brand .brand-mark{align-self:center}.data-atlas-grid{overflow:hidden;background:#e9e5da}.data-atlas-grid .timeline-panel{padding:clamp(32px,3.5vw,54px);background:#e9e5da}.atlas-side-card{min-width:0;align-self:stretch;padding:clamp(32px,3.5vw,54px);border:0;background:var(--ink)}.atlas-side-card>span{display:block;margin-bottom:18px}.atlas-side-card>h3,.jacobian-frontier-card .known-map-head h3{font-size:clamp(25px,2.2vw,34px)}.atlas-side-card .prompt-math p{margin:0 0 12px;color:rgba(255,255,255,.72);font-size:14px;line-height:1.65}.atlas-side-card>.math-block,.jacobian-frontier-card>.math-block{margin-top:24px;padding:24px 20px;border-left:3px solid var(--acid);background:rgba(0,0,0,.2);font-size:clamp(14px,1.35vw,19px)}.atlas-frontier-facts{display:grid;grid-template-columns:1fr 1fr;gap:1px;margin-top:28px;background:rgba(255,255,255,.18)}.atlas-frontier-facts>div{min-width:0;padding:18px;background:#171a18}.atlas-frontier-facts>div>span{display:block;margin-bottom:10px;color:var(--acid);font-family:var(--mono);font-size:9px;letter-spacing:.09em}.atlas-frontier-facts .prompt-math p{margin:0;font-size:12px}.jacobian-frontier-card .known-map-head{margin-top:2px}.jacobian-frontier-card .certificate-row span,.jacobian-frontier-card .collision>span,.jacobian-frontier-card .micro-label{color:var(--acid)}.jacobian-frontier-card .verified-badge{flex:0 0 auto;border-color:rgba(184,233,134,.42);color:var(--acid)}.jacobian-frontier-card .formula-intro,.jacobian-frontier-card .scope-note{color:rgba(255,255,255,.64)}.jacobian-frontier-card .certificate-row,.jacobian-frontier-card .certificate-row>div+div,.jacobian-frontier-card .collision{border-color:rgba(255,255,255,.2)}.jacobian-frontier-card .collision .math-block{margin:0;color:white}.message-content{margin:9px 0 14px;color:var(--ink-2);font-size:13px}.message-content .prompt-math ol,.message-content .prompt-math p,.message-content .prompt-math ul,.message-preview .prompt-math ol,.message-preview .prompt-math p,.message-preview .prompt-math ul{margin:8px 0;line-height:1.65}.message-content .prompt-math a,.message-preview .prompt-math a{color:var(--blue);text-decoration:underline}.message-content .prompt-math code,.message-preview .prompt-math code{padding:2px 4px;background:rgba(33,70,208,.08);font-family:var(--mono);font-size:.9em}.message-editor{margin-top:15px;border:1px solid var(--rule);background:rgba(255,255,255,.24)}.message-editor-head{display:flex;min-height:48px;align-items:stretch;justify-content:space-between;border-bottom:1px solid var(--rule)}.message-editor-head>div:first-child{display:flex;padding:9px 12px;flex-direction:column;justify-content:center}.message-editor-head span{color:var(--muted);font-family:var(--mono);font-size:11px;letter-spacing:.07em}.message-editor-head small{margin-top:3px;color:var(--muted);font-size:10px}.message-editor-tabs{display:flex;align-items:stretch}.message-editor-tabs button{display:inline-flex;gap:5px;padding:0 11px;align-items:center;border-left:1px solid var(--rule);background:transparent;color:var(--muted);cursor:pointer;font-family:var(--mono);font-size:10px}.message-editor-tabs button.active{background:white;color:var(--blue)}.message-form .message-editor textarea{display:block;width:100%;min-height:230px;padding:15px;border:0;background:transparent;font-size:13px;line-height:1.65;outline:none;resize:vertical}.message-form .message-editor textarea:focus{box-shadow:inset 0 0 0 1px var(--blue)}.message-preview{min-height:230px;padding:15px;background:rgba(255,255,255,.52);color:var(--ink-2);font-size:13px}.message-preview>p{color:var(--muted)}.community-review-pipeline{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));margin-bottom:28px;border:1px solid var(--rule-strong);background:var(--ink);color:white}.community-review-pipeline>div{position:relative;display:grid;min-width:0;min-height:126px;padding:19px;align-content:start;gap:7px}.community-review-pipeline>div+div{border-left:1px solid rgba(255,255,255,.16)}.community-review-pipeline>div>span{position:absolute;top:13px;right:13px;color:rgba(255,255,255,.35);font-family:var(--mono);font-size:9px}.community-review-pipeline svg{margin-bottom:5px;color:var(--acid)}.community-review-pipeline b{font-family:var(--serif);font-size:15px;font-weight:500}.community-review-pipeline small{color:rgba(255,255,255,.58);font-family:var(--mono);font-size:9px;line-height:1.5}.community-filters{grid-template-columns:repeat(3,minmax(0,1fr))}.message-category-group+.message-category-group{margin-top:28px}.message-category-head{display:flex;padding:10px 0;align-items:center;justify-content:space-between;border-bottom:2px solid var(--ink)}.message-category-head h4{margin:0;font-family:var(--mono);font-size:11px;letter-spacing:.08em;text-transform:uppercase}.message-category-head span{color:var(--blue);font-family:var(--mono);font-size:10px}.message-item time{max-width:190px;text-align:right}.message-item footer>div{display:flex;gap:10px;align-items:center;flex-wrap:wrap}.message-item footer,.moderation-card>footer{background:transparent;color:inherit}.message-review-badges{display:inline-flex;gap:5px;flex-wrap:wrap}.message-review-badges b{display:inline-flex;gap:3px;padding:3px 5px;align-items:center;border:1px solid rgba(29,116,82,.3);color:var(--green);font-family:var(--mono);font-size:8px;font-weight:700}.community-honeypot{position:absolute!important;width:1px!important;height:1px!important;margin:-1px!important;padding:0!important;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.moderator-console{margin-top:20px;border-top:1px solid var(--rule)}.moderator-console-toggle{display:inline-flex;gap:7px;min-height:38px;padding:0;align-items:center;background:transparent;color:var(--muted);cursor:pointer;font-family:var(--mono);font-size:10px}.moderator-console-toggle:hover{color:var(--blue)}.moderator-console-panel{padding:24px;border:1px solid var(--rule-strong);background:#e9e5da}.moderator-auth{display:grid;grid-template-columns:minmax(220px,1fr) minmax(220px,1fr) auto;gap:12px;align-items:end}.human-decision-fields label,.moderator-auth label{display:grid;gap:6px}.human-decision-fields label>span,.moderator-auth label>span{color:var(--muted);font-family:var(--mono);font-size:9px;letter-spacing:.07em}.human-decision-fields select,.human-decision-fields textarea,.moderator-auth input{width:100%;min-height:42px;padding:9px 11px;border:1px solid var(--rule);background:rgba(255,255,255,.58);outline:none}.moderation-card footer button,.moderator-auth button{display:inline-flex;gap:6px;min-height:42px;padding:0 13px;align-items:center;justify-content:center;background:var(--ink);color:white;cursor:pointer;font-family:var(--mono);font-size:10px}.moderation-card footer button:disabled,.moderator-auth button:disabled{opacity:.42;cursor:not-allowed}.moderator-privacy-note{display:flex;gap:7px;margin:14px 0 0;align-items:flex-start;color:var(--muted);font-size:10px}.moderator-privacy-note svg{flex:0 0 auto;color:var(--green)}.moderator-storage-summary{display:flex;gap:12px;margin-top:12px;padding:10px 12px;align-items:center;justify-content:space-between;border:1px solid var(--rule);background:rgba(255,255,255,.35);font-family:var(--mono);font-size:9px}.moderator-storage-summary button,.moderator-storage-summary>div{display:inline-flex;gap:7px;align-items:center}.moderator-storage-summary button{min-height:32px;padding:0 10px;background:var(--ink);color:white;cursor:pointer;font-family:var(--mono);font-size:9px}.moderator-storage-summary button:disabled{opacity:.42;cursor:not-allowed}.moderator-ai-diagnostics{margin-top:12px;padding:12px;border:1px solid rgba(29,116,82,.36);background:rgba(29,116,82,.06)}.moderator-ai-diagnostics.incompatible{border-color:rgba(193,70,56,.42);background:rgba(193,70,56,.07)}.moderator-ai-diagnostics-head{display:flex;gap:7px;align-items:center;font-family:var(--mono);font-size:9px;letter-spacing:.05em;text-transform:uppercase}.moderator-ai-diagnostics-head span{margin-left:auto;color:var(--green);font-weight:700}.moderator-ai-diagnostics.incompatible .moderator-ai-diagnostics-head span{color:var(--red)}.moderator-ai-diagnostics dl{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));margin:10px 0 0;border-top:1px solid var(--rule);border-left:1px solid var(--rule)}.moderator-ai-diagnostics dl>div{min-width:0;padding:8px 9px;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule)}.moderator-ai-diagnostics dl .wide{grid-column:1/-1}.moderator-ai-diagnostics dt{color:var(--muted);font-family:var(--mono);font-size:8px;text-transform:uppercase}.moderator-ai-diagnostics dd{margin:4px 0 0;overflow-wrap:anywhere;font-family:var(--mono);font-size:9px}.moderator-ai-diagnostics>p{margin:10px 0 0;color:#7a2921;font-size:10px;line-height:1.55}.moderator-ai-diagnostics>p.warning{color:#815c13}.moderation-view-toggle{display:inline-flex;margin-top:16px;border:1px solid var(--rule)}.moderation-view-toggle button{min-height:34px;padding:0 12px;background:rgba(255,255,255,.38);color:var(--muted);cursor:pointer;font-family:var(--mono);font-size:9px}.moderation-view-toggle button+button{border-left:1px solid var(--rule)}.moderation-view-toggle button.active{background:var(--ink);color:white}.moderator-empty,.moderator-notice{margin:18px 0 0;padding:10px 12px;border-left:3px solid var(--green);background:rgba(29,116,82,.08);font-size:11px}.moderator-notice.error{border-left-color:var(--red);background:rgba(193,70,56,.08);color:var(--red)}.moderation-queue{display:grid;gap:18px;margin-top:22px}.moderation-card{padding:22px;border:1px solid var(--rule-strong);background:var(--paper)}.moderation-card>footer,.moderation-card>header{display:flex;gap:10px;align-items:center;justify-content:space-between}.moderation-card>header>div{display:flex;gap:7px;align-items:center}.moderation-card>header span,.moderation-card>header time{color:var(--muted);font-family:var(--mono);font-size:9px}.moderation-card .ai-verdict{padding:4px 6px;border:1px solid var(--rule);color:var(--blue);text-transform:uppercase}.moderation-card .ai-verdict.allow{border-color:rgba(29,116,82,.4);color:var(--green)}.moderation-card .ai-verdict.failed,.moderation-card .ai-verdict.reject{border-color:rgba(193,70,56,.4);color:var(--red)}.moderation-card .human-verdict{padding:4px 6px;border:1px solid var(--rule);text-transform:uppercase}.moderation-card .human-verdict.approved{border-color:rgba(29,116,82,.4);color:var(--green)}.moderation-card .human-verdict.rejected{border-color:rgba(193,70,56,.4);color:var(--red)}.original-submission-label{margin-top:18px;color:var(--blue);font-family:var(--mono);font-size:9px;font-weight:700;letter-spacing:.08em;text-transform:uppercase}.moderation-card h4{margin:18px 0 8px;font-family:var(--serif);font-size:20px;font-weight:500}.moderation-message{font-size:12px}.human-review-record,.submission-private-detail{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));margin:12px 0 16px;border-top:1px solid var(--rule);border-left:1px solid var(--rule)}.human-review-record>div,.submission-private-detail>div{min-width:0;padding:10px 11px;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule)}.human-review-record dt,.submission-private-detail dt{color:var(--muted);font-family:var(--mono);font-size:8px;letter-spacing:.07em;text-transform:uppercase}.human-review-record dd,.submission-private-detail dd{margin:5px 0 0;overflow-wrap:anywhere;font-size:11px;line-height:1.5}.submission-private-detail a{color:var(--blue);text-decoration:underline}.human-review-record .wide{grid-column:1/-1}.moderation-raw-message{margin-top:12px;border:1px solid var(--rule);background:rgba(255,255,255,.35)}.moderation-raw-message summary{padding:9px 11px;color:var(--muted);cursor:pointer;font-family:var(--mono);font-size:9px}.moderation-raw-message pre{max-height:280px;margin:0;padding:12px;overflow:auto;border-top:1px solid var(--rule);white-space:pre-wrap;overflow-wrap:anywhere;font-family:var(--mono);font-size:10px;line-height:1.55}.ai-review-detail{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));margin:18px 0;border-top:1px solid var(--rule);border-left:1px solid var(--rule)}.ai-review-detail>div{min-width:0;padding:11px;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule)}.ai-review-detail dt{color:var(--muted);font-family:var(--mono);font-size:8px;letter-spacing:.07em;text-transform:uppercase}.ai-review-detail dd{margin:5px 0 0;overflow-wrap:anywhere;font-size:11px;line-height:1.5}.ai-review-detail .wide{grid-column:1/-1}.ai-failure-override-note{margin:0 0 14px;padding:10px 12px;border-left:3px solid var(--red);background:rgba(193,70,56,.08);color:#7a2921;font-size:11px;line-height:1.55}.human-decision-fields{display:grid;grid-template-columns:minmax(190px,.4fr) minmax(0,1fr);gap:12px}.human-decision-fields textarea{resize:vertical}.moderation-card>footer{margin-top:16px;justify-content:flex-end}.moderation-card footer button.reject{background:var(--red)}.moderation-card footer button.approve{background:var(--green)}@media (min-width:901px){.data-atlas-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width:900px){.data-atlas-grid{grid-template-columns:1fr}.data-atlas-grid .timeline-panel{border-right:0}.atlas-frontier-facts{grid-template-columns:1fr}.community-review-pipeline{grid-template-columns:repeat(2,minmax(0,1fr))}.community-review-pipeline>div+div{border-left:0}.community-review-pipeline>div:nth-child(2n){border-left:1px solid rgba(255,255,255,.16)}.community-review-pipeline>div:nth-child(n+3){border-top:1px solid rgba(255,255,255,.16)}.moderator-auth{grid-template-columns:1fr}}@media (max-width:680px){.atlas-side-card,.data-atlas-grid .timeline-panel{padding:28px 20px}.jacobian-frontier-card .known-map-head,.message-editor-head{flex-direction:column}.message-editor-tabs{min-height:40px;border-top:1px solid var(--rule)}.message-editor-tabs button{flex:1 1;justify-content:center}.ai-review-detail,.community-filters,.community-review-pipeline,.human-decision-fields,.human-review-record,.submission-private-detail{grid-template-columns:1fr}.community-review-pipeline>div:nth-child(2n){border-left:0}.community-review-pipeline>div+div{border-top:1px solid rgba(255,255,255,.16)}.message-item footer,.message-item header,.moderation-card>footer,.moderation-card>header{align-items:flex-start;flex-direction:column}.message-item time{max-width:none;text-align:left}.moderation-card,.moderator-console-panel{padding:17px}}.frontier-news-timeline{grid-auto-columns:25%;grid-auto-flow:column;grid-template-columns:none;overflow-x:auto;overflow-y:hidden}.capability svg{grid-row:1;align-self:center;margin-top:0;transform:translateY(-1px)}.capability b{grid-column:2}@media (max-width:960px){.frontier-news-timeline{grid-auto-columns:auto;grid-auto-flow:row;grid-template-columns:1fr;max-height:660px;overflow-x:hidden;overflow-y:auto}}.message-board{min-height:900px}.message-list-scroll{min-height:680px;max-height:1240px;padding-right:10px;overflow-y:auto;scrollbar-gutter:stable}.message-category-group+.message-category-group{margin-top:34px}.message-item{margin-top:14px;padding:20px;border:1px solid var(--rule);background:rgba(255,255,255,.26)}.message-card-heading{display:flex;gap:18px;align-items:flex-start;justify-content:space-between}.message-item .message-card-heading h4{min-width:0;margin:0;color:var(--ink);font-family:var(--serif);font-size:clamp(21px,1.8vw,27px);font-weight:700;line-height:1.16;overflow-wrap:anywhere}.message-card-actions,.message-modal-actions{display:flex;flex:0 0 auto;gap:6px;align-items:center}.message-card-actions>button,.message-modal-actions>button,.message-pagination>button{display:inline-flex;width:32px;height:30px;padding:0;border:1px solid var(--rule);align-items:center;justify-content:center;background:rgba(255,255,255,.38);color:var(--muted);cursor:pointer}.message-card-actions>button:hover,.message-modal-actions>button:hover,.message-pagination>button:hover:not(:disabled){border-color:var(--ink);color:var(--ink)}.message-card-actions>button.copied,.message-modal-actions>button.copied{border-color:var(--green);color:var(--green)}.message-language-toggle{display:inline-flex;border:1px solid var(--rule);background:rgba(255,255,255,.38)}.message-language-toggle button{width:32px;height:28px;padding:0;border:0;background:transparent;color:var(--muted);cursor:pointer;font-family:var(--mono);font-size:9px;font-weight:700;letter-spacing:.04em}.message-language-toggle button:first-child{width:38px}.message-language-toggle button+button{border-left:1px solid var(--rule)}.message-language-toggle button.active{background:var(--ink);color:white}.message-language-toggle button:disabled{cursor:not-allowed;opacity:.28}.message-card-meta,.message-modal-meta{display:flex;gap:16px;margin-top:10px;align-items:center;justify-content:space-between}.message-author{color:var(--muted);font-family:var(--mono);font-size:10px;font-weight:700}.message-card-meta .message-tags,.message-modal-meta .message-tags{justify-content:flex-end;flex-wrap:wrap}.message-card-meta .message-conjecture,.message-card-meta .message-task,.message-modal-meta .message-conjecture,.message-modal-meta .message-task{padding:4px 7px;background:rgba(30,104,178,.04);font-family:var(--mono);font-size:9px;font-weight:700;line-height:1.25}.message-item .message-content{min-height:112px;max-height:240px;margin-top:17px;padding:14px 12px 14px 0;overflow:auto;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);color:var(--ink-2);font-size:13px;line-height:1.72;scrollbar-gutter:stable}.message-item .message-content>:first-child,.message-modal-scroll>:first-child{margin-top:0}.message-item .message-content>:last-child,.message-modal-scroll>:last-child{margin-bottom:0}.message-item footer{gap:14px;margin-top:14px}.message-item footer>div{min-width:0}.message-pagination{display:grid;grid-template-columns:auto minmax(80px,1fr) auto auto;gap:11px;margin-top:22px;align-items:center}.message-pagination>button:disabled{cursor:not-allowed;opacity:.28}.message-page-track{position:relative;height:4px;overflow:hidden;background:var(--rule)}.message-page-track>span{position:absolute;inset:0 auto 0 0;background:var(--blue);transition:width .18s ease}.message-page-count{min-width:42px;color:var(--muted);font-family:var(--mono);font-size:9px;text-align:center}.message-modal-backdrop{position:fixed;z-index:2000;inset:0;display:grid;padding:clamp(18px,5vw,70px);place-items:center;background:rgba(12,16,15,.56);-webkit-backdrop-filter:blur(2px);backdrop-filter:blur(2px)}.message-modal{display:flex;width:min(960px,calc(100vw - 36px));max-height:min(86vh,900px);padding:clamp(22px,3.2vw,38px);border:1px solid rgba(255,255,255,.45);flex-direction:column;background:rgba(247,245,238,.94);box-shadow:0 24px 80px rgba(0,0,0,.32)}.message-modal-head{display:flex;gap:22px;align-items:flex-start;justify-content:space-between}.message-modal-head>div:first-child{min-width:0}.message-modal-head h3{margin:7px 0 0;font-family:var(--serif);font-size:clamp(25px,3vw,39px);font-weight:700;line-height:1.12;overflow-wrap:anywhere}.message-modal-scroll{min-height:280px;max-height:calc(86vh - 235px);margin-top:22px;padding:22px 18px 22px 0;overflow:auto;border-top:1px solid var(--rule-strong);border-bottom:1px solid var(--rule);color:var(--ink-2);font-size:15px;line-height:1.75;scrollbar-gutter:stable}.message-modal-footer{display:flex;gap:16px;margin-top:14px;justify-content:space-between;color:var(--muted);font-family:var(--mono);font-size:9px}@media (max-width:680px){.message-board{min-height:760px}.message-list-scroll{min-height:560px;max-height:1040px;padding-right:5px}.message-item{padding:16px}.message-card-heading,.message-modal-head{flex-direction:column}.message-card-actions,.message-modal-actions{width:100%;justify-content:flex-end}.message-card-meta,.message-modal-meta{align-items:flex-start;flex-direction:column}.message-card-meta .message-tags,.message-modal-meta .message-tags{justify-content:flex-start}.message-item footer{gap:11px;align-items:flex-start;flex-direction:column}.message-pagination{grid-template-columns:auto minmax(50px,1fr) auto auto;gap:7px}.message-modal-backdrop{padding:12px}.message-modal{width:calc(100vw - 24px);max-height:91vh;padding:19px}.message-modal-scroll{min-height:230px;max-height:calc(91vh - 300px)}.message-modal-footer{flex-direction:column}}.references-section{padding-top:76px;padding-bottom:78px;background:var(--paper)}.references-lead{width:100%;max-width:none;grid-template-columns:180px minmax(360px,1fr) minmax(280px,410px)}.references-lead h2{font-size:clamp(34px,3.7vw,56px)}.reference-list{margin:34px 0 0;padding:0;list-style:none;border-top:1px solid var(--rule-strong)}.reference-item{border-bottom:1px solid var(--rule-strong)}.reference-item>a{display:grid;grid-template-columns:42px minmax(260px,.92fr) minmax(280px,1.08fr) 24px;gap:20px;min-height:104px;padding:18px 14px 18px 4px;align-items:center;color:inherit;text-decoration:none;transition:background .16s ease,padding .16s ease}.reference-item>a:hover{padding-right:18px;padding-left:10px;background:rgba(15,15,14,.045)}.reference-number{color:var(--rust);font-family:var(--mono);font-size:10px;font-weight:700}.reference-primary h3{margin:0;font-family:var(--serif);font-size:clamp(18px,1.65vw,24px);font-weight:500;line-height:1.16}.reference-tags{display:flex;gap:6px;margin-top:11px;align-items:center;flex-wrap:wrap}.reference-tags span{display:inline-flex;min-height:22px;padding:4px 7px;gap:5px;align-items:center;border:1px solid var(--rule);color:var(--muted);font-family:var(--mono);font-size:7px;line-height:1;text-transform:uppercase}.reference-secondary b{display:block;color:var(--ink);font-family:var(--mono);font-size:8px;font-weight:600;line-height:1.5}.reference-secondary p{margin:5px 0 0;color:var(--muted);font-size:11px;line-height:1.55}.reference-link-icon{color:var(--rust);transition:transform .16s ease}.reference-item>a:hover .reference-link-icon{transform:translate(2px,-2px)}.global-traffic{border-top:1px solid rgba(255,255,255,.12);background:#10100f;color:white}.global-traffic-inner{display:grid;grid-template-columns:minmax(280px,.34fr) minmax(0,.66fr);min-height:680px;padding-top:88px;padding-bottom:88px}.global-traffic-copy{padding-right:48px}.global-traffic .section-index{color:rgba(255,255,255,.42)}.traffic-kicker{display:flex;gap:8px;align-items:center;width:max-content;margin-top:56px;color:#f28b62;font-family:var(--mono);font-size:9px;font-weight:700;letter-spacing:.1em}.global-traffic h2{margin:19px 0;font-family:var(--serif);font-size:clamp(34px,4.2vw,62px);font-weight:400;line-height:.98}.global-traffic-copy>p{max-width:430px;color:rgba(255,255,255,.58);font-size:13px;line-height:1.75}.traffic-total{display:flex;gap:14px;align-items:baseline;margin-top:38px}.traffic-total strong{font-family:var(--serif);font-size:clamp(54px,6vw,86px);font-weight:400;line-height:1}.traffic-total span{color:rgba(255,255,255,.48);font-family:var(--mono);font-size:9px;text-transform:uppercase}.traffic-leaders{display:grid;gap:0;margin:34px 0 0;padding:0;list-style:none;border-top:1px solid rgba(255,255,255,.14)}.traffic-leaders li{display:flex;justify-content:space-between;padding:10px 0;border-bottom:1px solid rgba(255,255,255,.1);font-family:var(--mono);font-size:9px}.traffic-leaders span{display:inline-flex;gap:7px;align-items:center;color:rgba(255,255,255,.68)}.traffic-empty{margin-top:32px!important;font-family:var(--mono);font-size:9px!important}.traffic-map-panel{display:flex;min-width:0;padding:28px;border:1px solid rgba(255,255,255,.14);background:rgba(255,255,255,.03);flex-direction:column;justify-content:center}.traffic-map-panel svg{display:block;width:100%;filter:drop-shadow(0 16px 34px rgba(0,0,0,.3))}.traffic-map-sphere{fill:rgba(255,255,255,.025);stroke:rgba(255,255,255,.13);stroke-width:.8}.traffic-map-graticule{fill:none;stroke:rgba(255,255,255,.055);stroke-width:.45}.traffic-map-countries path{stroke:#10100f;stroke-width:.6;vector-effect:non-scaling-stroke;transition:fill .18s ease,opacity .18s ease}.traffic-map-countries path:hover{opacity:.72}.traffic-map-legend{display:flex;gap:5px;align-items:center;justify-content:flex-end;margin-top:24px;color:rgba(255,255,255,.48);font-family:var(--mono);font-size:8px}.traffic-map-legend i{width:22px;height:7px;background:#ded8ca}.traffic-map-legend i:nth-of-type(2){background:hsl(18 72% 58%)}.traffic-map-legend i:nth-of-type(3){background:hsl(18 72% 43%)}.traffic-map-legend i:nth-of-type(4){background:hsl(18 72% 28%)}.traffic-map-panel>p{margin:16px 0 0;color:rgba(255,255,255,.38);font-family:var(--mono);font-size:8px;text-align:right}.traffic-map-panel a{color:rgba(255,255,255,.68)}.human-review-history{margin:14px 0 0;border:1px solid var(--rule)}.human-review-history summary{padding:10px 12px;cursor:pointer;color:var(--muted);font-family:var(--mono);font-size:9px}.human-review-history ol{margin:0;padding:0 14px 12px 42px;border-top:1px solid var(--rule)}.human-review-history li{padding:11px 0;font-size:10px}.human-review-history li+li{border-top:1px solid var(--rule)}.human-review-history li span{display:block;margin-top:4px;color:var(--muted);font-family:var(--mono);font-size:8px}.human-review-history li p{margin:6px 0 0}@media (max-width:900px){.global-traffic-inner,.references-lead{grid-template-columns:1fr}.global-traffic-copy{padding-right:0}.traffic-map-panel{margin-top:42px}}@media (max-width:680px){.references-section{padding-top:68px;padding-bottom:72px}.reference-item>a{grid-template-columns:32px minmax(0,1fr) 20px;gap:12px;padding:17px 4px}.reference-secondary{grid-column:2/4}.global-traffic-inner{min-height:0;padding-top:68px;padding-bottom:68px}.traffic-kicker{margin-top:36px}.traffic-map-panel{padding:12px}.traffic-map-legend,.traffic-map-panel>p{text-align:left;justify-content:flex-start}}