.research-hero{grid-template-columns:1.2fr 1fr;align-items:center;gap:48px;padding-block:24px 72px;display:grid}.kicker{color:var(--accent);margin-bottom:12px;font-size:15px;font-weight:700}.research-hero h1{max-width:12em}.research-lead{max-width:32em;color:var(--ink-2);margin-top:24px;font-size:18px;line-height:1.6}.stat-grid{grid-template-columns:1fr 1fr;gap:12px;margin:0;display:grid}.stat-grid>div{border-radius:var(--radius-m);background:var(--paper-2);padding:20px 22px}.stat-grid dd{letter-spacing:-.02em;margin:0;font-size:36px;font-weight:800;line-height:1.1}.stat-grid dt{color:var(--ink-2);margin-top:6px;font-size:14px;font-weight:600}.figure-section{padding-block:0 80px}.figure{margin:0 0 24px}.figure-scroll{border-radius:var(--radius-l);background:var(--paper-2);padding:24px;overflow-x:auto}.figure-scroll svg{width:100%;min-width:640px;height:auto;font-family:inherit;display:block}.figure+.figure{margin-top:48px}.figure figcaption{color:var(--ink);margin-bottom:16px}.figure figcaption h3{font-size:24px;font-weight:800;line-height:1.2}.legend{color:var(--ink-2);flex-wrap:wrap;gap:8px 24px;padding-inline:8px;font-size:14px;display:flex}.legend li{align-items:center;gap:8px;display:inline-flex}.legend strong{color:var(--ink)}.legend-swatch{border-radius:6px;width:18px;height:18px;display:inline-block}.t{fill:var(--ink);font-size:13px;font-weight:600}.t-small{fill:var(--ink-2);font-size:11px;font-weight:500}.t-inverse{fill:var(--paper)}.e{fill:none;stroke:var(--line);stroke-width:1.6px}.e-label{fill:var(--ink-2);font-size:11px;font-weight:600}.n{stroke-width:2px}.n-closed,.n-verified,.n-pass,.n-holds{fill:var(--accent-soft);stroke:var(--accent)}.n-open,.n-inferred{fill:var(--sun-soft);stroke:var(--sun)}.n-parked{fill:var(--paper-2);stroke:var(--line)}.n-downstream{fill:var(--paper);stroke:var(--line);stroke-dasharray:5 4}.n-redirected,.n-falsified,.n-fail,.n-caution{fill:var(--rose-soft);stroke:var(--rose)}.n-none{fill:var(--paper);stroke:var(--line)}.n-void,.n-migrated{fill:var(--paper);stroke:var(--line);stroke-dasharray:2 2}.n-historical{fill:var(--paper-2);stroke:var(--ink-3)}.n-agent{fill:var(--paper-2);stroke:var(--line)}.n-hardware{fill:var(--water);stroke:var(--water-deep)}.n-checkpoint{fill:var(--accent);stroke:var(--accent)}.decision{stroke-dasharray:4 3}.cluster{fill:none;stroke:var(--line);stroke-dasharray:6 5;stroke-width:1.2px}.lane{fill:var(--paper)}.e-cross{stroke:var(--water-deep);stroke-dasharray:5 4}.e-falsified_by{stroke:var(--rose)}.e-closed_by{stroke:var(--accent)}.e-parent_premise{stroke:var(--water-deep)}.e-measured_by{stroke:var(--line);stroke-opacity:.3;stroke-width:1px}.e-falsified_by,.e-closed_by{stroke-width:1.8px}.marker-fill{fill:var(--line)}.bar{stroke:none}.bar-attempt{fill:var(--accent)}.bar-sptm{fill:var(--water-deep)}.bar-linux{fill:var(--ink)}.bar-native{fill:var(--sun)}.mark-text{fill:var(--ink);font-weight:700}.pill-tested_by{fill:var(--water);stroke:var(--water-deep)}.pill-closed_by{fill:var(--accent-soft);stroke:var(--accent)}.pill-falsified_by{fill:var(--rose-soft);stroke:var(--rose)}.proof-table{gap:8px;display:grid}.proof{border-radius:var(--radius-m);background:var(--paper-2);grid-template-columns:72px 1fr 340px;align-items:baseline;gap:20px;padding:16px 22px;display:grid}.proof time{color:var(--accent);font-size:13px;font-weight:700}.proof h3{font-size:16px}.proof p{color:var(--ink-2);margin-top:4px;font-size:14px}.proof code,.figure-downloads code{word-break:break-all;color:var(--ink-2);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:12px}.claim-pill{border-radius:var(--pill);background:var(--paper);color:var(--ink-2);vertical-align:middle;margin-left:8px;padding:2px 8px;font-size:11px;font-weight:600}.not-claimed{border-radius:var(--radius-m);background:var(--rose-soft);margin-top:24px;padding:20px 24px}.not-claimed h3{margin-bottom:8px;font-size:16px}.not-claimed li{color:var(--ink-2);font-size:14px}.not-claimed li+li{margin-top:4px}.not-claimed strong{color:var(--ink)}.figure-downloads{color:var(--ink-2);margin-top:8px;padding-inline:8px;font-size:14px}@media (width<=900px){.research-hero{grid-template-columns:1fr;gap:32px;padding-block:16px 56px}.proof{grid-template-columns:64px 1fr}.proof code{grid-column:2}.figure-section{padding-bottom:64px}}@media (width<=620px){.research-hero h1{max-width:none}.stat-grid{grid-template-columns:1fr 1fr;gap:8px}.stat-grid>div{padding:16px}.stat-grid dd{font-size:28px}.figure-scroll{border-radius:var(--radius-m);padding:12px}.figure figcaption h3{font-size:20px}.proof{grid-template-columns:1fr;gap:6px;padding:14px 16px}.proof code{grid-column:1}.not-claimed{padding:16px}}