:root{color-scheme:dark;--paper: #0e1014;--card: #15181e;--wash: #1b1f27;--line: #262a33;--line-strong: #3a404b;--ink: #eceef2;--text-2: #b6bcc7;--text-3: #8b93a1;--accent: #86a0ff;--accent-soft: #1c2645;--good: #4cc785;--good-soft: #11281b;--bad: #ff7b82;--bad-soft: #351417;--warn: #f0a656;--warn-soft: #33220f;--neutral-soft: #22262e;--font-sans: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--font-mono: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace;--fs-xs: .6875rem;--fs-sm: .75rem;--fs-md: .8125rem;--fs-base: .875rem;--chart-label: 168px;--chart-value: 84px;--chart-gap: 16px}*,*:before,*:after{box-sizing:border-box}html{scroll-padding-top:48px}body{min-width:320px;margin:0;background:var(--paper);color:var(--ink);font-family:var(--font-sans);font-size:var(--fs-base);line-height:1.5;font-synthesis:none;text-rendering:optimizeLegibility}h1,h2,p{margin:0}a{color:var(--accent);text-underline-offset:.2em}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}code{padding:.05em .3em;border-radius:3px;background:var(--wash);color:var(--ink);font-family:var(--font-mono);font-size:.875em}.shell{width:min(700px,100% - 48px);margin:0 auto;padding:28px 0 32px}.hero{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:24px;padding-bottom:14px}.eyebrow{margin-bottom:4px;color:var(--accent);font-family:var(--font-mono);font-size:var(--fs-xs);font-weight:600;letter-spacing:.04em;text-transform:uppercase}h1{margin-bottom:6px;font-size:clamp(1.5rem,3vw,2rem);font-weight:800;line-height:1.1;letter-spacing:-.03em}.lede{max-width:70ch;color:var(--text-2);font-size:var(--fs-base);line-height:1.5;text-wrap:pretty}.status-card{display:flex;align-items:center;gap:10px;min-width:0;max-width:280px;padding:7px 12px;border:1px solid var(--line);border-radius:8px;background:var(--card)}.status-card>div{min-width:0}.status-card strong,.status-card small{display:block}.status-card strong{font-size:var(--fs-md);line-height:1.3}.status-card small{overflow:hidden;color:var(--text-3);font-size:var(--fs-xs);text-overflow:ellipsis;white-space:nowrap}.status-card small a{color:inherit}.status-card small.stale{color:var(--warn);white-space:normal}.status-card small.running{color:var(--accent);white-space:normal}.status-dot{flex:0 0 auto;width:8px;height:8px;border-radius:50%;background:var(--dot);box-shadow:0 0 0 3px var(--dot-soft)}.status-dot.ready{--dot: var(--good);--dot-soft: var(--good-soft)}.status-dot.pending{--dot: var(--warn);--dot-soft: var(--warn-soft)}.status-dot.running{--dot: var(--accent);--dot-soft: var(--accent-soft)}.status-dot.failed{--dot: var(--bad);--dot-soft: var(--bad-soft)}.metadata{display:flex;flex-wrap:wrap;gap:2px 16px;padding:8px 0;border-top:1px solid var(--line);color:var(--text-3);font-family:var(--font-mono);font-size:var(--fs-xs)}.metadata a{text-decoration:none}.metadata a:hover{text-decoration:underline}.toc{position:sticky;top:0;z-index:10;display:flex;gap:2px;margin:0 -8px 4px;padding:6px 8px;overflow-x:auto;scrollbar-width:none;border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--paper) 90%,transparent);backdrop-filter:blur(10px);-webkit-backdrop-filter:blur(10px)}.toc a{flex:0 0 auto;padding:3px 10px;border-radius:999px;color:var(--text-2);font-size:var(--fs-sm);font-weight:600;text-decoration:none}.toc a:hover{background:var(--wash);color:var(--ink)}.section{padding:20px 0 28px;border-top:2px solid var(--ink)}.toc+.section{border-top:0}.section-heading{margin-bottom:14px}h2{font-size:1.25rem;font-weight:800;line-height:1.2;letter-spacing:-.02em}.section-detail{max-width:90ch;margin-top:4px;color:var(--text-2);font-size:var(--fs-md);line-height:1.5}.annotation{max-width:100ch;margin-top:12px;color:var(--text-3);font-size:var(--fs-sm);line-height:1.5}.annotation strong{color:var(--ink)}.empty-state{padding:24px 12px;border:1px dashed var(--line-strong);border-radius:8px;color:var(--text-3);font-size:var(--fs-md);text-align:center}.failures{margin-top:14px;padding:8px 12px;border-left:3px solid var(--bad);background:var(--bad-soft)}.failures strong{display:block;color:var(--bad);font-size:var(--fs-md)}.failures ul{margin:4px 0 0;padding-left:18px;color:var(--text-2);font-size:var(--fs-sm);line-height:1.5;overflow-wrap:anywhere}.failures-info{border-left-color:var(--accent);background:var(--accent-soft)}.failures-info strong{color:var(--accent)}.indistinct{opacity:.5;text-decoration:line-through;text-decoration-thickness:1px}.speed-list{border-top:1px solid var(--line)}.speed-row{display:grid;grid-template-columns:var(--chart-label) minmax(0,1fr) var(--chart-value);align-items:center;column-gap:var(--chart-gap);padding:3px 0;border-bottom:1px solid var(--line)}.speed-row:hover{background:var(--card)}.speed-label{display:flex;align-items:baseline;gap:6px;min-width:0;white-space:nowrap}.speed-label span{overflow:hidden;font-size:var(--fs-md);font-weight:650;text-overflow:ellipsis}.speed-label em{display:inline-block;margin-left:6px;padding:0 6px;border-radius:999px;background:var(--ink);color:var(--paper);font-size:.625rem;font-style:normal;font-weight:600;line-height:1.6;vertical-align:1px}.speed-label small{display:none}.table-label+small{color:var(--text-3);font-family:var(--font-mono);font-size:var(--fs-xs)}.speed-track{position:relative;height:10px}.speed-zero{position:absolute;top:-5px;bottom:-5px;width:1px;background:var(--ink)}.speed-bar{position:absolute;top:0;bottom:0;border-radius:0 2px 2px 0;background:var(--accent)}.speed-bar.indistinct{background:repeating-linear-gradient(-45deg,var(--accent) 0 3px,transparent 3px 6px)}.speed-dot{display:none}.speed-dot.control{position:absolute;top:50%;display:block;width:8px;height:8px;margin:-4px 0 0 -4px;border-radius:50%;background:var(--ink)}.speed-row>strong{display:flex;align-items:baseline;justify-content:flex-end;gap:6px;font-size:var(--fs-md);font-weight:700;font-variant-numeric:tabular-nums;white-space:nowrap}.speed-row>strong small{color:var(--text-3);font-size:var(--fs-xs);font-weight:500}.speed-axis{display:grid;grid-template-columns:var(--chart-label) minmax(0,1fr) var(--chart-value);column-gap:var(--chart-gap);margin-top:4px;color:var(--text-3);font-family:var(--font-mono);font-size:var(--fs-xs)}.speed-axis span{grid-row:1;grid-column:2}.speed-axis span:last-child{justify-self:end}.table-wrap{margin-top:20px;overflow-x:auto}.table-wrap table{width:100%;border-collapse:separate;border-spacing:0;color:var(--text-2);font-size:var(--fs-md);line-height:1.35}.table-wrap th{padding:0 10px 6px;border-bottom:2px solid var(--ink);background:var(--paper);color:var(--ink);font-size:var(--fs-xs);font-weight:700;letter-spacing:.04em;text-align:left;text-transform:uppercase;white-space:nowrap}.table-wrap td{padding:5px 10px;border-bottom:1px solid var(--line);background:var(--paper)}.table-wrap tbody tr:hover td{background:var(--card)}.table-wrap th:first-child,.table-wrap td:first-child{position:sticky;left:0;z-index:1;padding-left:0;white-space:nowrap}.table-wrap td:first-child{color:var(--ink)}.table-wrap tr.is-control td{background:var(--wash)}.table-wrap tr.is-control td:first-child{padding-left:8px;box-shadow:inset 3px 0 0 var(--ink)}.table-label{margin-right:6px;font-weight:650}.table-wrap td small{color:var(--text-3);font-size:var(--fs-xs)}.table-wrap td.number small{display:block}.number{font-variant-numeric:tabular-nums;text-align:right;white-space:nowrap}.table-wrap td.number{color:var(--ink)}.mechanism{display:inline-block;padding:0 7px;border:1px solid var(--line-strong);border-radius:999px;background:var(--card);color:var(--text-2);font-size:var(--fs-xs);font-weight:600;line-height:1.6;white-space:nowrap}.reach,.verdict{display:inline-flex;align-items:center;gap:4px;padding:0 7px;border-radius:4px;font-size:var(--fs-sm);font-weight:650;line-height:1.6;white-space:nowrap}.reach-yes,.verdict-sees-through{background:var(--good-soft);color:var(--good)}.reach-no{background:var(--neutral-soft);color:var(--text-2)}.verdict-build-failed{background:var(--accent-soft);color:var(--accent)}.reach-yes:before{content:"✓";content:"✓" / ""}.reach-no:before{content:"✕";content:"✕" / ""}.verdict-escaped-to-runtime{background:var(--warn-soft);color:var(--warn)}.verdict-dropped{background:var(--bad-soft);color:var(--bad)}.reach-na,.verdict-not-applicable{padding-inline:0;color:var(--text-3);font-weight:500}.scale-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(min(200px,100%),1fr));gap:8px}.scale-panel{margin:0;padding:7px 8px 2px;border:1px solid var(--line);border-radius:6px;background:var(--card)}.scale-panel-label{overflow:hidden;font-size:var(--fs-sm);font-weight:650;text-overflow:ellipsis;white-space:nowrap}.scale-panel svg{display:block;width:100%;height:auto;overflow:visible}.grid-line{stroke:var(--line);stroke-width:1}.axis-label{fill:var(--text-3);font-size:12px}.scale-line{stroke:var(--accent);stroke-width:2}.scale-dot{fill:var(--accent);stroke:var(--card);stroke-width:2}.scale-values{width:100%;margin-top:4px;border-collapse:collapse;font-size:var(--fs-xs);font-variant-numeric:tabular-nums;line-height:1.5}.scale-values th,.scale-values td{padding:0;color:var(--text-3);font-weight:500;text-align:right;white-space:nowrap}.scale-values tbody th{text-align:left}.scale-values :is(th,td):not(:first-child){padding-left:8px}.scale-values tbody td{color:var(--ink);font-weight:650}.scale-note{grid-column:1 / -1;margin-top:4px;color:var(--text-3);font-size:var(--fs-sm);line-height:1.5}.machine-note{margin-bottom:10px;padding:10px 14px;border:1px solid var(--line);border-radius:8px;background:var(--card)}.machine-row{display:flex;flex-wrap:wrap;align-items:center;gap:8px;margin-bottom:6px}.machine-tag{padding:0 7px;border-radius:999px;background:var(--ink);color:var(--paper);font-size:.625rem;font-weight:700;letter-spacing:.05em;line-height:1.7;text-transform:uppercase}.machine-row code{padding:0;background:none;color:var(--text-2);font-size:var(--fs-xs)}.machine-note p,.note-body p{max-width:90ch;margin-bottom:8px;color:var(--text-2);line-height:1.6}.machine-note p:last-child,.note-body p:last-child{margin-bottom:0}.callout{margin-bottom:14px;padding:8px 14px;border-left:3px solid var(--accent);background:var(--accent-soft);color:var(--text-2);line-height:1.6}.callout strong{color:var(--ink)}.note{border-bottom:1px solid var(--line)}.note:first-of-type{border-top:2px solid var(--ink)}.note summary{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:9px 0;font-size:var(--fs-base);font-weight:700;cursor:pointer;list-style:none}.note summary::-webkit-details-marker{display:none}.note summary:after{flex:0 0 auto;color:var(--text-3);content:"+";font-size:1.125rem;font-weight:400;line-height:1}.note[open] summary:after{content:"−"}.note summary:hover{color:var(--accent)}.note-body{padding:0 0 14px}.note-body em,.method strong{color:var(--ink);font-style:normal;font-weight:700}.mechanism-list{display:grid;grid-template-columns:max-content minmax(0,1fr);gap:8px 16px;margin:10px 0}.mechanism-list dd{max-width:90ch;margin:0;color:var(--text-2);line-height:1.5}.mechanism-list .lanes{margin-left:8px;color:var(--text-3);font-size:var(--fs-sm)}.model-list{margin:0 0 10px}.model-list dt{margin-top:10px;color:var(--ink);font-weight:700}.model-list dd{max-width:90ch;margin:2px 0 0;color:var(--text-2);line-height:1.6}.method{margin:0;padding-left:18px;color:var(--text-2);line-height:1.6}.method li{max-width:90ch;margin-bottom:6px}.method li:last-child{margin-bottom:0}footer{display:flex;flex-wrap:wrap;justify-content:space-between;gap:4px 20px;padding-top:12px;border-top:2px solid var(--ink);color:var(--text-3);font-size:var(--fs-sm)}@media(prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}.status-dot.running{animation:pulse 1.6s ease-in-out infinite}}@keyframes pulse{50%{box-shadow:0 0 0 5px var(--dot-soft)}}@media(max-width:760px){:root{--chart-label: 104px;--chart-value: 64px;--chart-gap: 10px}.shell{width:min(100% - 24px,640px);padding-top:20px}.hero{grid-template-columns:minmax(0,1fr);gap:10px}.status-card{max-width:none}.toc{margin-inline:-12px;padding-inline:12px}.speed-row>strong small{display:none}.table-wrap th:first-child,.table-wrap td:first-child{padding-right:10px;border-right:1px solid var(--line)}.table-label+small{display:none}.mechanism-list{grid-template-columns:minmax(0,1fr);gap:2px}.mechanism-list dd{margin-bottom:8px}}