:root{--ink-strong:#15121a;--ink:#30273f;--ink-soft:#574a66;--line:#211a2b1f;--panel:#fffcf8d6;--panel-strong:#ffffffeb;--accent:#0b7fab;--accent-2:#c43b3b;--accent-3:#edb444;--accent-4:#136f63;--shadow:0 20px 60px #22152826;--mono:"IBM Plex Mono", "SFMono-Regular", Consolas, monospace;--sans:"Space Grotesk", "Segoe UI", sans-serif;--surface-bg:linear-gradient(180deg, #fff7eb 0%, #f7efe9 100%);--surface-radial-1:#0b7fab24;--surface-radial-2:#c43b3b1f;--input-bg:#fff9f2e6;--mono-block-bg:#1d1824;--mono-block-fg:#f7f1eb;--metric-bg:linear-gradient(180deg, #12151af0, #211a2bf0);--metric-fg:#f7f1eb;--metric-muted:#f7f1ebc7;--warning-bg:#c43b3b1a;--warning-fg:#6b1717;--warning-border:#c43b3b29;font-family:var(--sans);color:var(--ink);background:radial-gradient(circle at top left, var(--surface-radial-1), transparent 32%), radial-gradient(circle at top right, var(--surface-radial-2), transparent 28%), var(--surface-bg);font-synthesis:none;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}[data-theme=dark]{--ink-strong:#f0edf5;--ink:#d5cfe0;--ink-soft:#a99eb8;--line:#c8bedc24;--panel:#1e1a26e0;--panel-strong:#262130f0;--accent:#4dc3f7;--accent-2:#f06868;--accent-3:#f0c95a;--accent-4:#3dd9c4;--shadow:0 20px 60px #00000059;--surface-bg:linear-gradient(180deg, #12101a 0%, #1a1624 100%);--surface-radial-1:#4dc3f714;--surface-radial-2:#f068680f;--input-bg:#16131ee6;--mono-block-bg:#0e0b14;--mono-block-fg:#e0dbe8;--metric-bg:linear-gradient(180deg, #08060ef0, #120e1cf0);--metric-fg:#e0dbe8;--metric-muted:#c8bedcc7;--warning-bg:#f068681f;--warning-fg:#f8a8a8;--warning-border:#f0686833}*{box-sizing:border-box}body{-webkit-text-size-adjust:100%;min-width:320px;min-height:100vh;margin:0}.skip-link{z-index:100;background:var(--accent);color:#fff;border-radius:0 0 12px;width:1px;height:1px;padding:12px 18px;font-weight:700;text-decoration:none;position:absolute;top:auto;left:-10000px;overflow:hidden}.skip-link:focus{width:auto;height:auto;position:fixed;top:0;left:0}button{font:inherit;cursor:pointer}#app{min-height:100vh}.page-shell{width:min(1180px,100% - 32px);margin:0 auto;padding:28px 0 72px}.hero-panel,.lab-section,.panel-card,.info-panel,.warning-banner{-webkit-backdrop-filter:blur(20px);backdrop-filter:blur(20px)}.hero-panel{border:1px solid var(--line);background:var(--panel);box-shadow:var(--shadow);border-radius:28px;grid-template-columns:minmax(0,1.8fr) minmax(260px,1fr);gap:22px;padding:30px;display:grid;position:relative}.hero-copy{gap:12px;display:grid}.portfolio-badge{width:fit-content;color:var(--accent);font-family:var(--mono);background:#0b7fab1f;border-radius:999px;padding:10px 14px;font-size:.84rem;text-decoration:none}.portfolio-badge:hover{text-decoration:underline}.eyebrow{color:var(--accent);letter-spacing:.08em;text-transform:uppercase;margin:0;font-size:.9rem;font-weight:700}.hero-panel h1{color:var(--ink-strong);margin:0;font-size:clamp(2.8rem,7vw,5rem);line-height:.92}.hero-text{max-width:64ch;color:var(--ink-soft);margin:0;line-height:1.65}.why-details{border:1px solid var(--line);background:var(--panel);border-radius:20px;padding:16px 18px}.why-details summary{cursor:pointer;color:var(--ink-strong);font-weight:700}.why-details p{margin:12px 0 0;line-height:1.6}.hero-metric-card{background:var(--metric-bg);color:var(--metric-fg);border-radius:24px;align-content:start;gap:12px;padding:22px;display:grid}.hero-metric-label{letter-spacing:.08em;text-transform:uppercase;color:var(--metric-muted);margin:0;font-size:.82rem}.hero-metric-value{font-family:var(--mono);margin:0;font-size:1.05rem;line-height:1.5}.hero-metric-note{color:var(--metric-muted);margin:0;line-height:1.6}.lab-section{border:1px solid var(--line);background:var(--panel);box-shadow:var(--shadow);border-radius:28px;margin-top:26px;padding:28px}.section-heading-row,.panel-header{justify-content:space-between;align-items:flex-start;gap:16px;display:flex}.section-kicker{color:var(--accent-2);letter-spacing:.08em;text-transform:uppercase;margin:0 0 6px;font-size:.85rem;font-weight:700}.lab-section h2,.panel-card h3{color:var(--ink-strong);margin:0}.lab-section h2{font-size:clamp(1.8rem,4vw,2.8rem)}.panel-card h3{font-size:1.15rem}.panel-copy,.section-footnote,.info-panel p{color:var(--ink-soft);line-height:1.6}.panel-copy,.section-footnote{margin:8px 0 0}.tab-button{border:1px solid var(--line);background:var(--panel-strong);min-height:44px;color:var(--ink-soft);border-radius:999px;padding:12px 18px;font-weight:700;transition:transform .18s,box-shadow .18s,background .18s,color .18s}.tab-button:hover{transform:translateY(-1px)}.tab-button:focus-visible{outline:2px solid var(--accent-3);outline-offset:3px}.tab-button.is-active{background:var(--mono-block-bg);color:var(--mono-block-fg)}.playground-grid,.reuse-grid,.math-summary-grid{gap:18px;margin-top:24px;display:grid}.playground-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.reuse-grid,.math-summary-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.panel-card,.info-panel{border:1px solid var(--line);background:var(--panel-strong);border-radius:24px;padding:22px}.mono-inline,.mono-cell{font-family:var(--mono)}.mono-inline{overflow-wrap:anywhere;background:var(--mono-block-bg);color:var(--mono-block-fg);letter-spacing:.06em;border-radius:18px;margin-top:14px;padding:14px 16px}.scenario-status--pending{color:var(--accent)}.scenario-status--valid{color:var(--accent-4)}.scenario-status--invalid{color:var(--accent-2)}.table-shell{border:1px solid var(--line);-webkit-overflow-scrolling:touch;border-radius:24px;margin-top:18px;overflow-x:auto}.math-table{border-collapse:collapse;background:var(--panel-strong);width:100%;min-width:920px}.math-table th,.math-table td{border-bottom:1px solid var(--line);text-align:left;vertical-align:top;padding:14px 16px}.math-table th{color:var(--ink-strong);background:#0b7fab14}.math-row{opacity:0;animation:.42s forwards row-enter;transform:translateY(12px)}@keyframes row-enter{0%{opacity:0;transform:translateY(12px)}to{opacity:1;transform:translateY(0)}}.warning-banner{border:1px solid var(--warning-border);background:var(--warning-bg);color:var(--warning-fg);border-radius:20px;align-items:center;gap:10px;margin-top:22px;padding:16px 18px;display:flex}.warning-banner[hidden]{display:none}.info-tabs{flex-wrap:wrap;gap:12px;margin-top:22px;display:flex}.info-panels{margin-top:18px}.info-panel{line-height:1.7}.info-panel p{margin:0}.info-panel p+p{margin-top:14px}.family-detail:focus-visible,.info-panels:focus-visible{outline:2px solid var(--accent-3);outline-offset:4px;border-radius:18px}.theme-toggle{border:1px solid var(--line);background:var(--panel-strong);width:2.75rem;height:2.75rem;color:var(--ink-strong);cursor:pointer;border-radius:50%;place-items:center;font-size:1.2rem;transition:transform .18s,box-shadow .18s;display:grid;position:absolute;top:0;right:0}.theme-toggle:hover{transform:translateY(-1px)}.theme-toggle:focus-visible{outline:2px solid var(--accent-3);outline-offset:3px}@media (width<=1024px){.hero-panel,.playground-grid,.reuse-grid,.math-summary-grid{grid-template-columns:1fr}}@media (width<=720px){.page-shell{width:min(1180px,100% - 20px);padding:20px 0 48px}.hero-panel,.lab-section,.panel-card,.info-panel{padding:22px}.hero-panel{padding-top:64px}.section-heading-row,.panel-header,.warning-banner{flex-direction:column}.warning-banner{align-items:flex-start}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}}.maturity-chip{font-family:var(--mono);letter-spacing:.04em;vertical-align:middle;background:var(--panel-strong);border:1px solid var(--line);border-radius:999px;margin-left:8px;padding:3px 12px;font-size:.72rem;font-weight:700;display:inline-block}.maturity-chip.scenario-status--valid{background:color-mix(in oklab, var(--accent-4) 18%, transparent);color:var(--accent-4)}.maturity-chip.scenario-status--pending{background:color-mix(in oklab, var(--accent) 18%, transparent);color:var(--accent)}.maturity-chip.scenario-status--invalid{background:var(--warning-bg);color:var(--accent-2);border-color:var(--warning-border)}.family-tabs{flex-wrap:wrap;gap:12px;margin-top:22px;display:flex}.family-detail{margin-top:24px}.family-headline{grid-template-columns:minmax(0,1.6fr) minmax(220px,1fr);align-items:start;gap:22px;display:grid}.family-name{color:var(--ink-strong);margin:0 0 8px;font-size:1.5rem}.family-summary{margin-top:18px;font-size:1.02rem}.confidence-meter{background:var(--metric-bg);color:var(--metric-fg);border-radius:20px;padding:18px}.confidence-meter .hero-metric-label{color:var(--metric-muted)}.confidence-track{background:#ffffff1f;border-radius:999px;height:12px;margin:12px 0 8px;overflow:hidden}.confidence-fill{background:linear-gradient(90deg, var(--accent), var(--accent-4));border-radius:999px;height:100%;transition:width .9s cubic-bezier(.22,1,.36,1)}.confidence-value{color:var(--metric-fg);margin:0}.trait-list{gap:10px;margin:14px 0 0;padding-left:0;list-style:none;display:grid}.trait-list li{color:var(--ink-soft);padding-left:26px;line-height:1.55;position:relative}.trait-list li:before{font-weight:700;position:absolute;top:0;left:0}.trait-list--good li:before{content:"✓";color:var(--accent-4)}.trait-list--bad li:before{content:"✗";color:var(--accent-2)}.size-chart{gap:14px;margin-top:22px;display:grid}.size-row{grid-template-columns:minmax(180px,240px) 1fr minmax(70px,auto);align-items:center;gap:16px;display:grid}.size-label{gap:2px;display:grid}.size-name{color:var(--ink-strong);font-size:.92rem;font-weight:700}.size-fam{color:var(--ink-soft);font-size:.78rem}.size-track{background:var(--input-bg);border:1px solid var(--line);border-radius:999px;height:22px;overflow:hidden}.size-fill{border-radius:999px;height:100%;transition:width .8s cubic-bezier(.22,1,.36,1)}.size-fill--lattice{background:linear-gradient(90deg, var(--accent), color-mix(in oklab, var(--accent) 55%, black))}.size-fill--code{background:linear-gradient(90deg, var(--accent-2), color-mix(in oklab, var(--accent-2) 55%, black))}.size-fill--hash{background:linear-gradient(90deg, var(--accent-3), color-mix(in oklab, var(--accent-3) 55%, black))}.size-fill--multivariate{background:linear-gradient(90deg, var(--accent-4), color-mix(in oklab, var(--accent-4) 55%, black))}.size-fill--isogeny{background:linear-gradient(90deg, var(--ink-soft), color-mix(in oklab, var(--ink-soft) 55%, black))}.size-value{text-align:right;color:var(--ink-strong);margin:0;font-size:.86rem}.scripture{color:var(--ink-soft);margin:18px 0 0;font-style:italic;line-height:1.6}@media (width<=1024px){.family-headline{grid-template-columns:1fr}}@media (width<=720px){.size-row{grid-template-columns:1fr;gap:6px}.size-value{text-align:left}}.kbd-tip{color:var(--ink-soft);margin-left:4px;font-size:.86rem;display:inline-block}.kbd-tip kbd{border:1px solid var(--line);background:var(--panel-strong);min-width:18px;color:var(--ink-strong);font-family:var(--mono);text-align:center;border-bottom-width:2px;border-radius:6px;margin:0 1px;padding:1px 6px;font-size:.78rem;display:inline-block}.tab-button .tab-index{background:var(--input-bg);width:18px;height:18px;color:var(--ink-soft);font-family:var(--mono);text-align:center;vertical-align:1px;border-radius:6px;margin-right:8px;font-size:.74rem;line-height:18px;display:inline-block}.tab-button.is-active .tab-index{color:var(--mono-block-fg);background:#ffffff2e}.metric-toggle{flex-wrap:wrap;align-self:flex-start;gap:8px;display:flex}.tab-button--sm{min-height:36px;padding:8px 14px;font-size:.86rem}.hs-controls{border:1px solid var(--line);background:var(--panel-strong);border-radius:24px;grid-template-columns:1fr 1fr;gap:22px;margin-top:22px;padding:22px;display:grid}.hs-controls .control-group{gap:10px;display:grid}.hs-chips{flex-wrap:wrap;gap:8px;display:flex}.hs-chip{border:1px solid var(--line);background:var(--panel);color:var(--ink-soft);text-align:left;border-radius:14px;gap:1px;padding:9px 14px;transition:transform .16s,box-shadow .16s,background .16s,color .16s,border-color .16s;display:grid}.hs-chip:hover{transform:translateY(-1px)}.hs-chip:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.hs-chip.is-active{background:var(--mono-block-bg);color:var(--mono-block-fg);border-color:var(--mono-block-bg)}.hs-chip.is-broken{border-style:dashed;border-color:var(--warning-border)}.hs-chip.is-broken.is-active{background:color-mix(in oklab, var(--accent-2) 80%, black);border-color:var(--accent-2);color:#fff}.hs-chip-name{font-size:.88rem;font-weight:700}.hs-chip-fam{font-family:var(--mono);letter-spacing:.04em;opacity:.78;font-size:.7rem}.hybrid-toggle{border:1px solid var(--line);background:var(--panel);color:var(--ink-soft);cursor:pointer;border-radius:14px;grid-column:1/-1;align-items:center;gap:12px;padding:12px 14px;font-size:.92rem;display:flex}.hybrid-toggle input[type=checkbox]{width:18px;height:18px;accent-color:var(--accent);cursor:pointer}.hybrid-toggle:hover{border-color:var(--accent)}.hs-stack{gap:16px;margin-top:24px;display:grid}.hs-row{grid-template-columns:minmax(220px,280px) 1fr minmax(72px,auto);align-items:center;gap:18px;display:grid}.hs-label{gap:2px;display:grid}.hs-label-name{color:var(--ink-strong);font-size:.95rem;font-weight:700}.hs-label-detail{color:var(--ink-soft);font-family:var(--mono);font-size:.74rem}.hs-track{background:var(--input-bg);border:1px solid var(--line);border-radius:999px;height:30px;display:flex;overflow:hidden}.hs-seg{color:#fffffff2;width:0;height:100%;font-family:var(--mono);white-space:nowrap;justify-content:center;align-items:center;font-size:.7rem;transition:width .7s cubic-bezier(.22,1,.36,1);display:flex;overflow:hidden}.hs-seg-label{padding:0 8px}.hs-seg--kempk{background:var(--accent)}.hs-seg--kemct{background:color-mix(in oklab, var(--accent) 65%, white)}.hs-seg--sigpk{background:var(--accent-2)}.hs-seg--certsig{background:color-mix(in oklab, var(--accent-2) 60%, white)}.hs-seg--verifysig{background:color-mix(in oklab, var(--accent-2) 40%, white)}.hs-seg--hybrid{background:var(--accent-3);color:var(--ink-strong)}.hs-row--classical .hs-track{background:var(--input-bg)}.hs-total{text-align:right;margin:0;padding:6px 10px;font-size:.82rem}.hs-legend{color:var(--ink-soft);flex-wrap:wrap;gap:8px 18px;margin-top:18px;font-size:.82rem;display:flex}.legend-dot{vertical-align:1px;border-radius:4px;width:10px;height:10px;margin-right:6px;display:inline-block}.legend-dot--kempk{background:var(--accent)}.legend-dot--kemct{background:color-mix(in oklab, var(--accent) 65%, white)}.legend-dot--sigpk{background:var(--accent-2)}.legend-dot--certsig{background:color-mix(in oklab, var(--accent-2) 60%, white)}.legend-dot--verifysig{background:color-mix(in oklab, var(--accent-2) 40%, white)}.legend-dot--hybrid{background:var(--accent-3)}.hs-note{color:var(--ink-soft);margin:18px 0 0;line-height:1.6}.hs-note-warn{color:var(--accent-2);margin-right:6px;display:inline-block}.timeline-rail{gap:18px;margin:22px 0 0;padding:0;list-style:none;display:grid;position:relative}.timeline-rail:before{content:"";background:linear-gradient(180deg, transparent, var(--line) 8%, var(--line) 92%, transparent);width:2px;position:absolute;top:6px;bottom:6px;left:97px}.tl-event{grid-template-columns:72px 24px 1fr;align-items:start;gap:14px;display:grid}.tl-year{text-align:center;margin:0;padding:8px 10px;font-size:.86rem}.tl-marker{background:var(--panel-strong);border:2px solid var(--line);border-radius:50%;width:24px;height:24px;margin-top:6px;position:relative}.tl-event.tl-tone--theory .tl-marker{border-color:var(--accent);box-shadow:0 0 0 4px #0b7fab1f}.tl-event.tl-tone--broken .tl-marker{border-color:var(--accent-2);box-shadow:0 0 0 4px #c43b3b29}.tl-event.tl-tone--standard .tl-marker{border-color:var(--accent-4);box-shadow:0 0 0 4px #136f6329}.tl-event.tl-tone--milestone .tl-marker{border-color:var(--accent-3);box-shadow:0 0 0 4px #edb4442e}.tl-body{padding-top:4px}.tl-title{color:var(--ink-strong);margin:0;font-size:1.02rem;font-weight:700}.tl-kind{font-family:var(--mono);letter-spacing:.04em;text-transform:uppercase;vertical-align:2px;background:var(--panel);color:var(--ink-soft);border:1px solid var(--line);border-radius:999px;margin-left:10px;padding:2px 9px;font-size:.68rem;display:inline-block}.tl-event.tl-tone--theory .tl-kind{color:var(--accent);border-color:color-mix(in oklab, var(--accent) 40%, transparent)}.tl-event.tl-tone--broken .tl-kind{color:var(--accent-2);border-color:var(--warning-border)}.tl-event.tl-tone--standard .tl-kind{color:var(--accent-4);border-color:color-mix(in oklab, var(--accent-4) 40%, transparent)}.tl-event.tl-tone--milestone .tl-kind{color:var(--accent-3);border-color:color-mix(in oklab, var(--accent-3) 40%, transparent)}.tl-text{margin-top:6px}.hs-presets{flex-wrap:wrap;align-items:center;gap:8px;margin-top:22px;display:flex}.hs-preset-label{color:var(--ink-soft);font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;margin-right:4px;font-size:.78rem}.hs-preset{border:1px solid var(--line);background:var(--panel);color:var(--ink-strong);border-radius:999px;padding:7px 13px;font-size:.84rem;font-weight:600;transition:transform .16s,background .16s,color .16s,border-color .16s}.hs-preset:hover{border-color:var(--accent);transform:translateY(-1px)}.hs-preset:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.hs-preset.is-warn{color:var(--accent-2);border-style:dashed;border-color:var(--warning-border)}.hs-preset.is-warn:hover{border-color:var(--accent-2);background:var(--warning-bg)}.rec-grid{grid-template-columns:1fr 1fr;gap:22px;margin-top:22px;display:grid}.rec-question{border:1px solid var(--line);background:var(--panel-strong);border-radius:22px;gap:10px;padding:22px;display:grid}.rec-chips{flex-wrap:wrap;gap:10px;display:flex}.rec-chip{border:1px solid var(--line);background:var(--panel);min-width:120px;color:var(--ink-soft);text-align:left;border-radius:14px;gap:2px;padding:10px 14px;transition:transform .16s,background .16s,color .16s,border-color .16s;display:grid}.rec-chip:hover{border-color:var(--accent);transform:translateY(-1px)}.rec-chip:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.rec-chip.is-active{background:var(--mono-block-bg);color:var(--mono-block-fg);border-color:var(--mono-block-bg)}.rec-chip-label{font-size:.94rem;font-weight:700}.rec-chip-desc{opacity:.78;font-size:.76rem}.rec-result{margin-top:22px}.rec-card{border:1px solid var(--line);background:var(--panel-strong);border-radius:24px;gap:14px;padding:24px 26px;display:grid}.rec-lines{grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:10px;margin-top:4px;display:grid}.rec-line{border:1px solid var(--line);background:var(--panel);border-radius:14px;gap:4px;padding:12px 14px;display:grid}.rec-line-label{color:var(--ink-soft);font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;font-size:.72rem}.rec-line-value{color:var(--ink-strong);font-weight:700}.rec-rationale{margin:0}.rec-caveat{background:var(--warning-bg);color:var(--warning-fg);border:1px solid var(--warning-border);border-radius:14px;margin:0;padding:12px 14px;font-size:.92rem}.rec-try{background:linear-gradient(135deg, var(--accent), var(--accent-4));color:#fff;box-shadow:0 6px 20px color-mix(in oklab, var(--accent) 30%, transparent);border:0;border-radius:999px;justify-self:start;padding:12px 18px;font-size:.94rem;font-weight:700;transition:transform .16s,box-shadow .16s}.rec-try:hover{box-shadow:0 10px 26px color-mix(in oklab, var(--accent) 40%, transparent);transform:translateY(-1px)}.rec-try:focus-visible{outline:2px solid var(--accent-3);outline-offset:3px}.reveal-pending{opacity:0;transition:opacity .7s cubic-bezier(.22,1,.36,1),transform .7s cubic-bezier(.22,1,.36,1);transform:translateY(24px)}.reveal-pending.is-revealed{opacity:1;transform:translateY(0)}@media (prefers-reduced-motion:reduce){.reveal-pending{opacity:1;transition:none;transform:none}}.hero-actions{align-items:center;gap:8px;display:flex;position:absolute;top:18px;right:18px}.copy-link{border:1px solid var(--line);background:var(--panel-strong);min-height:40px;color:var(--ink-strong);border-radius:999px;align-items:center;gap:6px;padding:8px 14px;font-size:.84rem;font-weight:600;transition:transform .16s,background .16s,color .16s,border-color .16s;display:inline-flex}.copy-link:hover{border-color:var(--accent);transform:translateY(-1px)}.copy-link:focus-visible{outline:2px solid var(--accent-3);outline-offset:3px}.copy-link.is-copied{background:color-mix(in oklab, var(--accent-4) 70%, transparent);border-color:var(--accent-4);color:#fff}.theme-toggle{position:static}.chip-row{flex-wrap:wrap;gap:8px;display:flex}.sec-chip{font-family:var(--mono);letter-spacing:.04em;color:var(--accent);border:1px solid color-mix(in oklab, var(--accent) 30%, transparent);cursor:help;background:#0b7fab24;border-radius:999px;padding:3px 12px;font-size:.72rem;font-weight:700;display:inline-block}.panel-perf{background:var(--input-bg);border:1px solid var(--line);border-radius:12px;margin-top:12px;padding:10px 12px;font-size:.92rem}.math-summary-grid--three{grid-template-columns:repeat(3,minmax(0,1fr))}.math-card{border:1px solid var(--line);background:var(--mono-block-bg);color:var(--mono-block-fg);border-radius:22px;margin-top:24px;padding:22px 24px}.math-card .section-kicker{color:var(--accent-3)}.math-card .panel-copy{color:#f7f1ebdb;margin-top:14px}.math-block{color:var(--mono-block-fg);font-family:var(--mono);white-space:pre-wrap;word-break:break-word;background:0 0;margin:12px 0 0;padding:0;font-size:.92rem;line-height:1.65}.confidence-note{color:var(--metric-muted);margin-top:10px;font-size:.78rem}.confidence-note summary{cursor:pointer}.confidence-note p{margin:8px 0 0;line-height:1.55}.reuse-grid--bottom{margin-top:18px}.attack-list{gap:12px;margin:14px 0 0;padding:0;list-style:none;display:grid}.attack-item{grid-template-columns:70px 1fr;align-items:start;gap:12px;display:grid}.attack-year{text-align:center;margin:0;padding:6px 10px;font-size:.82rem}.attack-name{color:var(--ink-strong);margin:0;font-size:.94rem;font-weight:700}.attack-summary{margin-top:4px}.ref-list{gap:12px;margin:14px 0 0;padding:0;list-style:none;display:grid}.ref-item{border:1px solid var(--line);background:var(--panel);border-radius:12px;gap:2px;padding:10px 12px;display:grid}.ref-cite{color:var(--ink-soft);font-family:var(--mono);letter-spacing:.04em;font-size:.74rem}.ref-title{color:var(--ink-strong);font-size:.94rem;font-weight:600}.ref-title a{color:var(--accent);text-decoration:underline;-webkit-text-decoration-color:color-mix(in oklab, var(--accent) 40%, transparent);text-decoration-color:color-mix(in oklab, var(--accent) 40%, transparent)}.ref-title a:hover{-webkit-text-decoration-color:var(--accent);text-decoration-color:var(--accent)}.ref-venue{color:var(--ink-soft);font-size:.82rem;font-style:italic}.glossary-grid{grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:16px;margin-top:22px;display:grid}.glossary-item{border:1px solid var(--line);background:var(--panel-strong);border-radius:18px;padding:16px 18px}.glossary-term{color:var(--accent);font-family:var(--mono);letter-spacing:.02em;margin:0;font-size:.86rem;font-weight:700}.glossary-def{margin-top:6px;font-size:.92rem}.hs-chain{grid-column:1/-1;gap:10px;display:grid}.hs-chain-buttons{gap:8px;display:flex}.hs-chain-btn{border:1px solid var(--line);background:var(--panel);width:46px;height:38px;color:var(--ink-strong);font-family:var(--mono);border-radius:12px;font-weight:700;transition:transform .16s,background .16s,color .16s,border-color .16s}.hs-chain-btn:hover{border-color:var(--accent);transform:translateY(-1px)}.hs-chain-btn:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.hs-chain-btn.is-active{background:var(--mono-block-bg);color:var(--mono-block-fg);border-color:var(--mono-block-bg)}.hs-seg--chain{background:color-mix(in oklab, var(--accent-2) 25%, white);color:var(--ink-strong)}.legend-dot--chain{background:color-mix(in oklab, var(--accent-2) 25%, white)}.lat-wrap{grid-template-columns:minmax(0,1.4fr) minmax(260px,1fr);gap:22px;margin-top:22px;display:grid}.lat-svg{background:var(--panel-strong);border:1px solid var(--line);touch-action:none;border-radius:20px;width:100%;height:auto}.lat-handle{cursor:grab;transition:r .16s}.lat-handle:hover{r:11}.lat-handle:active{cursor:grabbing}.lat-handle:focus-visible{filter:drop-shadow(0 0 0 3px var(--accent-3));outline:none}.lat-b1-name{color:var(--accent);font-weight:700}.lat-b2-name{color:var(--accent-2);font-weight:700}.lat-readout{align-content:start;gap:12px;display:grid}.lat-line{color:var(--ink-strong);align-items:center;gap:8px;font-size:.94rem;display:flex}.lat-line--meta{border:1px solid var(--line);background:var(--panel);color:var(--ink-soft);border-radius:14px;gap:6px;padding:12px 14px;font-size:.88rem;display:grid}.lat-line .mono-inline{margin:0;padding:4px 8px;font-size:.84rem}.lat-actions{flex-wrap:wrap;gap:8px;margin-top:6px;display:flex}.lat-note{color:var(--ink-soft);margin:4px 0 0;font-size:.9rem;line-height:1.55}.isd-presets{flex-wrap:wrap;align-items:center;gap:8px;margin-top:22px;display:flex}.isd-controls{border:1px solid var(--line);background:var(--panel-strong);border-radius:22px;grid-template-columns:repeat(3,minmax(0,1fr));gap:18px;margin-top:22px;padding:22px;display:grid}.isd-slider{gap:8px;display:grid}.isd-slider input[type=range]{width:100%;accent-color:var(--accent)}.isd-slider .mono-inline{width:fit-content;margin:0;padding:4px 10px;font-size:.82rem}.isd-result{grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:12px;margin-top:20px;display:grid}.isd-result .rec-line-value{font-size:.96rem}.isd-cat{color:var(--accent-3);font-weight:700}.isd-note{color:var(--ink-soft);margin:18px 0 0;font-size:.92rem;line-height:1.6}.impl-table thead th{font-size:.86rem}.impl-cell{text-align:center}.impl-glyph{width:26px;height:26px;font-family:var(--mono);cursor:help;border-radius:8px;justify-content:center;align-items:center;font-size:.92rem;font-weight:700;display:inline-flex}.impl-glyph.impl-ship{background:color-mix(in oklab, var(--accent-4) 22%, transparent);color:var(--accent-4)}.impl-glyph.impl-exp{background:color-mix(in oklab, var(--accent-3) 22%, transparent);color:var(--accent-3)}.impl-glyph.impl-planned{background:var(--input-bg);color:var(--ink-soft)}.impl-glyph.impl-none{color:var(--ink-soft);opacity:.6;background:0 0}.impl-key{flex-wrap:wrap;align-items:center;gap:12px;margin-left:8px;font-size:.84rem;display:inline-flex}.impl-key .impl-glyph{width:20px;height:20px;margin-right:4px;font-size:.78rem}.impl-footnote{margin-top:14px}.impl-footnote a{color:var(--accent)}.callout{border:1px solid color-mix(in oklab, var(--accent-3) 40%, transparent);background:color-mix(in oklab, var(--accent-3) 12%, transparent);border-radius:14px;margin-top:14px;padding:14px 16px}.callout-title{color:var(--accent-3);font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;margin:0;font-size:.76rem;font-weight:700}.callout p:not(.callout-title){color:var(--ink-strong);margin:8px 0 0;line-height:1.55}.inline-details{margin-top:6px;display:inline-block}.inline-details summary{cursor:pointer;color:var(--accent);font-size:.86rem;font-weight:600;list-style:none}.inline-details summary::-webkit-details-marker{display:none}.inline-details summary:before{content:"▸ ";transition:transform .16s;display:inline-block}.inline-details[open] summary:before{transform:rotate(90deg)}.inline-details p{color:var(--ink-soft);margin:8px 0 0;font-size:.9rem;line-height:1.55}.panel-card--scheme{position:relative}.pin-btn{border:1px solid var(--line);background:var(--panel);color:var(--ink-soft);border-radius:999px;align-items:center;gap:6px;margin-top:14px;padding:7px 12px;font-size:.82rem;font-weight:700;transition:transform .16s,background .16s,color .16s,border-color .16s;display:inline-flex}.pin-btn:hover{border-color:var(--accent);color:var(--ink-strong);transform:translateY(-1px)}.pin-btn:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.pin-btn.is-pinned{background:linear-gradient(135deg, var(--accent), var(--accent-4));color:#fff;border-color:#0000}.panel-card--pinned{border-color:var(--accent);box-shadow:0 0 0 1px var(--accent), var(--shadow)}.pinned-drawer[hidden]{display:none}.pinned-drawer{margin-top:14px}.pinned-drawer-inner{border:1px solid var(--accent);background:color-mix(in oklab, var(--accent) 8%, var(--panel-strong));border-radius:18px;gap:12px;padding:16px 18px;display:grid}.pinned-drawer-label{color:var(--ink-strong);margin:0;font-size:.94rem;font-weight:700}.pinned-hint{color:var(--ink-soft);font-size:.86rem;font-weight:400}.pinned-chips{flex-wrap:wrap;gap:8px;display:flex}.pin-chip{background:var(--mono-block-bg);color:var(--mono-block-fg);border-radius:12px;align-items:center;gap:6px;padding:6px 8px 6px 12px;font-size:.84rem;display:inline-flex}.pin-chip-fam{font-family:var(--mono);opacity:.8;font-size:.72rem}.pin-chip-name{font-weight:700}.pin-chip-x{width:22px;height:22px;color:var(--mono-block-fg);cursor:pointer;background:oklab(100% 0 5.96046e-8/.18);border:0;border-radius:50%;font-size:.95rem;font-weight:700;line-height:1}.pin-chip-x:hover{background:var(--accent-2);color:#fff}.pin-chip-x:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.pinned-actions{flex-wrap:wrap;gap:8px;display:flex}.pin-apply,.pin-clear{border:1px solid var(--line);background:var(--panel);color:var(--ink-strong);cursor:pointer;border-radius:999px;padding:9px 16px;font-size:.86rem;font-weight:700;transition:transform .16s,background .16s,color .16s,border-color .16s}.pin-apply{background:linear-gradient(135deg, var(--accent), var(--accent-4));color:#fff;border-color:#0000}.pin-apply:hover,.pin-clear:hover{transform:translateY(-1px)}.pin-clear:hover{border-color:var(--accent-2);color:var(--accent-2)}.pin-apply:focus-visible,.pin-clear:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.size-row--pinned{position:relative}.size-row--pinned .size-name{color:var(--accent)}.size-row--pinned .size-track{border-color:var(--accent);box-shadow:0 0 0 1px var(--accent)}.size-pin{margin-right:4px;font-size:.9em;display:inline-block}.math-row--pinned{background:color-mix(in oklab, var(--accent) 8%, transparent)}.math-row--pinned td:first-child{border-left:3px solid var(--accent)}.audience-picker{background:var(--input-bg);border:1px solid var(--line);border-radius:999px;flex-shrink:0;padding:3px;display:inline-flex}.audience-btn{color:var(--ink-soft);cursor:pointer;background:0 0;border:0;border-radius:999px;padding:5px 11px;font-size:.78rem;font-weight:700;transition:background .16s,color .16s}.audience-btn:hover{background:var(--panel);color:var(--ink-strong)}.audience-btn.is-active{background:linear-gradient(135deg, var(--accent), var(--accent-4));color:#fff}.audience-btn:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.sticky-nav-divider{background:var(--line);flex-shrink:0;width:1px;height:22px;margin:0 6px}html[data-audience=student] .lab-section:not([data-audience~=student]),html[data-audience=engineer] .lab-section:not([data-audience~=engineer]),html[data-audience=executive] .lab-section:not([data-audience~=executive]){opacity:.55;transition:opacity .22s,filter .22s}html[data-audience=student] .lab-section:not([data-audience~=student]):hover,html[data-audience=student] .lab-section:not([data-audience~=student]):focus-within,html[data-audience=engineer] .lab-section:not([data-audience~=engineer]):hover,html[data-audience=engineer] .lab-section:not([data-audience~=engineer]):focus-within,html[data-audience=executive] .lab-section:not([data-audience~=executive]):hover,html[data-audience=executive] .lab-section:not([data-audience~=executive]):focus-within{opacity:1}html[data-audience=student] .lab-section[data-audience~=student],html[data-audience=engineer] .lab-section[data-audience~=engineer],html[data-audience=executive] .lab-section[data-audience~=executive]{border-color:color-mix(in oklab, var(--accent) 50%, var(--line))}html[data-audience=student] .lab-section[data-audience~=student]:before,html[data-audience=engineer] .lab-section[data-audience~=engineer]:before,html[data-audience=executive] .lab-section[data-audience~=executive]:before{content:"";background:linear-gradient(90deg, var(--accent), var(--accent-4));border-radius:28px 28px 0 0;height:3px;margin:-28px -28px 18px;display:block}@media (prefers-reduced-motion:reduce){html[data-audience] .lab-section{transition:none!important}}@media (width<=720px){.audience-btn{padding:4px 8px;font-size:.72rem}}.start-here{border:1px solid var(--line);background:var(--panel);border-radius:22px;margin-top:18px;padding:22px 24px}.start-eyebrow{color:var(--accent-2);font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;margin:0 0 14px;font-size:.78rem;font-weight:700}.start-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:14px;display:grid}.start-card{border:1px solid var(--line);background:var(--panel-strong);color:var(--ink-strong);border-radius:18px;grid-template-rows:auto auto 1fr;gap:8px;padding:18px 20px;text-decoration:none;transition:transform .18s,border-color .18s,box-shadow .18s;display:grid}.start-card:hover{border-color:var(--accent);box-shadow:0 12px 32px color-mix(in oklab, var(--accent) 18%, transparent);transform:translateY(-2px)}.start-card:focus-visible{outline:2px solid var(--accent-3);outline-offset:3px}.start-card--accent{background:linear-gradient(135deg, color-mix(in oklab, var(--accent) 22%, var(--panel-strong)), var(--panel-strong) 70%);border-color:color-mix(in oklab, var(--accent) 30%, var(--line))}.start-card-num{background:var(--mono-block-bg);width:28px;height:28px;color:var(--mono-block-fg);font-family:var(--mono);border-radius:50%;place-items:center;font-size:.78rem;font-weight:700;display:grid}.start-card-title{font-size:1.04rem;font-weight:700}.start-card-sub{color:var(--ink-soft);font-size:.9rem;line-height:1.5}.sticky-nav{z-index:50;background:color-mix(in oklab, var(--panel) 92%, transparent);-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);border-bottom:1px solid var(--line);margin-top:20px;padding:10px 0;position:sticky;top:0}.sticky-nav-inner{scrollbar-width:thin;-webkit-overflow-scrolling:touch;gap:4px;padding:0 4px;display:flex;overflow-x:auto}.sticky-nav-link{color:var(--ink-soft);border-radius:999px;flex-shrink:0;padding:8px 14px;font-size:.86rem;font-weight:600;text-decoration:none;transition:background .16s,color .16s}.sticky-nav-link:hover{background:var(--input-bg);color:var(--ink-strong)}.sticky-nav-link.is-active{background:var(--mono-block-bg);color:var(--mono-block-fg)}.sticky-nav-link:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.subview-tabs{background:var(--input-bg);border:1px solid var(--line);border-radius:14px;flex-wrap:wrap;gap:6px;width:fit-content;margin-bottom:18px;padding:6px;display:flex}.subview-tab{color:var(--ink-soft);cursor:pointer;background:0 0;border:0;border-radius:10px;padding:8px 14px;font-size:.88rem;font-weight:700;transition:background .16s,color .16s}.subview-tab:hover{background:var(--panel);color:var(--ink-strong)}.subview-tab.is-active{background:var(--mono-block-bg);color:var(--mono-block-fg)}.subview-tab:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.trust-badge{border:1px solid color-mix(in oklab, var(--accent-3) 40%, transparent);background:color-mix(in oklab, var(--accent-3) 10%, transparent);color:var(--ink-strong);border-radius:10px;margin:14px 0 0;padding:8px 12px;font-size:.84rem;line-height:1.5}.footer-meta{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:16px;margin-bottom:18px;display:grid}.footer-meta-item{border:1px solid var(--line);background:var(--panel-strong);border-radius:14px;padding:14px 16px}.footer-meta-item .panel-copy{margin-top:6px;font-size:.9rem;line-height:1.55}.remember-list{gap:14px;margin:22px 0 0;padding:0;list-style:none;display:grid}.remember-item{border:1px solid var(--line);background:var(--panel-strong);border-radius:18px;grid-template-columns:56px 1fr;gap:16px;padding:18px 20px;display:grid}.remember-num{background:linear-gradient(135deg, var(--accent), var(--accent-4));color:#fff;width:44px;height:44px;font-family:var(--mono);border-radius:50%;place-items:center;font-size:1.2rem;font-weight:700;display:grid}.remember-title{color:var(--ink-strong);margin:0;font-size:1.08rem;font-weight:700;line-height:1.4}.remember-body .panel-copy{margin-top:6px}.lat-verdict{text-align:center;border:1px solid var(--line);background:var(--panel);color:var(--ink-soft);border-radius:12px;margin-top:4px;padding:10px 14px;font-size:.92rem;font-weight:700;transition:background .2s,color .2s,border-color .2s}.lat-verdict--good{background:color-mix(in oklab, var(--accent-4) 16%, transparent);color:var(--accent-4);border-color:color-mix(in oklab, var(--accent-4) 30%, transparent)}.lat-verdict--mid{background:color-mix(in oklab, var(--accent-3) 14%, transparent);color:color-mix(in oklab, var(--accent-3) 70%, var(--ink-strong));border-color:color-mix(in oklab, var(--accent-3) 30%, transparent)}.lat-verdict--bad{background:var(--warning-bg);color:var(--warning-fg);border-color:var(--warning-border)}.isd-cat--ok{color:var(--accent-4)}.isd-cat--mid{color:var(--accent-3)}.isd-cat--bad{color:var(--accent-2)}@media (width<=720px){.start-grid{grid-template-columns:1fr}.sticky-nav{padding:8px 0}.sticky-nav-link{padding:6px 10px;font-size:.8rem}.subview-tab{padding:6px 10px;font-size:.82rem}.remember-item{grid-template-columns:40px 1fr;gap:12px;padding:14px 16px}.remember-num{width:36px;height:36px;font-size:1rem}}@media (width<=1024px){.start-grid{grid-template-columns:1fr}}.panel-bench{color:var(--ink-soft);font-family:var(--mono);letter-spacing:.02em;background:#0b7fab0f;border-radius:10px;margin:8px 0 0;padding:8px 12px;font-size:.78rem}.panel-bench-label{color:var(--accent);margin-right:6px;font-weight:700}.mono-inline--inline{background:var(--mono-block-bg);color:var(--mono-block-fg);font-family:var(--mono);border-radius:6px;margin:0;padding:2px 6px;font-size:.88em;display:inline}.lamport-controls{border:1px solid var(--line);background:var(--panel-strong);border-radius:20px;flex-wrap:wrap;align-items:end;gap:12px;margin-top:22px;padding:18px;display:flex}.lamport-btn{border:1px solid var(--line);background:var(--panel);min-height:42px;color:var(--ink-strong);border-radius:999px;padding:10px 16px;font-size:.9rem;font-weight:700;transition:transform .16s,background .16s,color .16s,border-color .16s}.lamport-btn:hover:not(:disabled){border-color:var(--accent);transform:translateY(-1px)}.lamport-btn:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.lamport-btn:disabled{opacity:.45;cursor:not-allowed}.lamport-btn--primary{background:linear-gradient(135deg, var(--accent), var(--accent-4));color:#fff;border-color:#0000}.lamport-btn--primary:hover:not(:disabled){box-shadow:0 10px 26px color-mix(in oklab, var(--accent) 40%, transparent);border-color:#0000}.lamport-btn--warn{border-style:dashed;border-color:var(--warning-border);color:var(--accent-2)}.lamport-btn--warn:hover:not(:disabled){border-color:var(--accent-2);background:var(--warning-bg)}.lamport-msg-wrap{flex:240px;gap:6px;display:grid}.lamport-msg-wrap input[type=text]{border:1px solid var(--line);background:var(--input-bg);color:var(--ink-strong);font-family:var(--mono);border-radius:12px;padding:10px 14px;font-size:.9rem}.lamport-msg-wrap input[type=text]:focus-visible{outline:2px solid var(--accent-3);outline-offset:2px}.lamport-stats{grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:10px;margin-top:18px;display:grid}.lamport-stats .rec-line-value{word-break:break-all;font-size:.88rem}.lamport-ok{color:var(--accent-4);font-weight:700}.lamport-bad{color:var(--accent-2);font-weight:700}.lamport-grid{border:1px solid var(--line);background:var(--input-bg);border-radius:14px;grid-template-columns:repeat(32,1fr);gap:3px;margin-top:14px;padding:12px;display:grid}.lc{aspect-ratio:1;background:var(--panel);border:1px solid var(--line);border-radius:3px;width:100%;transition:background .22s,border-color .22s,transform .22s;display:block}.lc--bit0.lc--revealed{background:var(--accent);border-color:var(--accent)}.lc--bit1.lc--revealed{background:var(--accent-2);border-color:var(--accent-2)}.lamport-warn{background:var(--warning-bg);border:1px solid var(--warning-border);color:var(--warning-fg);border-radius:14px;margin:18px 0 0;padding:14px 16px;line-height:1.6}@media (width<=1024px){.hs-controls,.rec-grid,.math-summary-grid--three,.lat-wrap,.isd-controls{grid-template-columns:1fr}.lamport-grid{grid-template-columns:repeat(16,1fr)}}@media print{:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}body{color:#111!important;background:#fff!important}.hero-actions,.copy-link,.theme-toggle,.lamport-controls,.hs-presets,.isd-presets,.lat-actions,.hs-chain-buttons,.hybrid-toggle,.metric-toggle,.family-tabs,.info-tabs,.kbd-tip,.rec-try{display:none!important}.reveal-pending,.reveal-pending.is-revealed{opacity:1!important;transition:none!important;transform:none!important}.lab-section,.hero-panel{page-break-inside:avoid;break-inside:avoid;box-shadow:none!important;-webkit-backdrop-filter:none!important;backdrop-filter:none!important;background:#fff!important;border:1px solid #ccc!important}.lab-section h2,.panel-card h3,.hero-panel h1,.ink-strong,.panel-copy,.section-footnote{color:#111!important}.hero-metric-card,.confidence-meter,.math-card{color:#111!important;background:#f3f3f3!important}.math-block,.mono-inline{color:#111!important;background:#f0f0f0!important}details:not([open])>:not(summary){display:none}details>summary:after{content:""}details{display:block}details>:not(summary){display:block!important}a{text-decoration:underline;color:#06c!important}.lamport-grid,.lat-svg{display:none!important}}@media (width<=720px){.hs-row{grid-template-columns:1fr;gap:6px}.hs-total{text-align:left}.timeline-rail:before{left:11px}.tl-event{grid-template-columns:24px 1fr}.tl-year{text-align:left;grid-column:1/-1;width:fit-content;padding:4px 8px}.tl-marker{margin-top:0}}