:root{--accent:#ffb84d;--accent-ink:#17120a;--bg:#101315;--bg-raised:#171b1e;--surface:#1c2225;--surface-strong:#232a2d;--border:#6f7a80;--border-soft:#30383d;--text:#f4f0e8;--text-dim:#c1bbb1;--text-muted:#a9a39a;--success:#72d9a3;--success-bg:#132a20;--danger:#ff8d88;--danger-bg:#321918;--alarm:#ffd166;--alarm-bg:#302711;--cyan:#70cfdd;--focus:#fff1c9;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;font-synthesis:none;background-color:var(--bg);color:var(--text);font-family:Avenir Next,Gill Sans,sans-serif}*{box-sizing:border-box}html{background-color:var(--bg);scroll-behavior:smooth;min-width:320px}body{background-color:var(--bg);min-width:320px;min-height:100vh;color:var(--text);background-image:linear-gradient(#ffb84d09 1px,#0000 1px),linear-gradient(90deg,#70cfdd06 1px,#0000 1px);background-size:32px 32px;margin:0}button,textarea{font:inherit}button{letter-spacing:0}a{color:var(--cyan);text-underline-offset:.18em;text-decoration:underline}a:hover{color:var(--text)}[hidden]{display:none!important}:focus-visible{outline:3px solid var(--focus);outline-offset:3px}.cl-topbar{--cl-ink:color-mix(in srgb, var(--accent) 62%, #fff);z-index:1000;border-bottom:1px solid color-mix(in srgb, var(--accent) 24%, transparent);background-color:#0b1512;justify-content:space-between;align-items:center;gap:1rem;min-height:62px;padding:.65rem clamp(.9rem,3vw,2rem);font-family:SFMono-Regular,Menlo,Consolas,monospace;display:flex;position:sticky;top:0}.cl-brand,.cl-actions,.cl-btn{align-items:center;display:flex}.cl-brand{gap:.75rem;text-decoration:none}.cl-badge{border:2px solid var(--accent);width:40px;height:40px;color:var(--cl-ink);border-radius:8px;flex:0 0 40px;place-items:center;font-weight:800;display:grid}.cl-brand-text{flex-direction:column;line-height:1.2;display:flex}.cl-title{color:#f1fff9;letter-spacing:0;font-size:1rem;font-weight:800}.cl-sub{color:#90aaa2;letter-spacing:0;font-size:.72rem}.cl-actions{gap:.5rem}.cl-btn{border:1px solid color-mix(in srgb, var(--cl-ink) 70%, transparent);min-height:40px;color:var(--cl-ink);letter-spacing:0;background-color:#0000;border-radius:8px;gap:.4rem;padding:.45rem .75rem;font-size:.78rem;font-weight:700;text-decoration:none}.cl-btn:hover{color:#fff;background-color:#173027}.cl-btn svg{width:16px;height:16px}.cl-skip-link{z-index:1100;color:#101315;background-color:#f4f0e8;border-radius:0 0 8px 8px;padding:.6rem .9rem;font-weight:800;position:fixed;top:-4rem;left:.75rem}.cl-skip-link:focus{top:0}#app{min-height:calc(100vh - 160px)}.page-shell{width:min(1180px,100% - 2rem);margin:0 auto;padding-bottom:4rem}.cl-hero{flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:clamp(1rem,4vw,3rem);margin:clamp(1.5rem,4vw,3.5rem) 0 2rem;display:flex}.cl-hero-main{flex:28rem;min-width:min(100%,20rem)}.cl-hero-title{letter-spacing:0;margin:0;font-size:clamp(1.6rem,3.8vw,2.7rem);font-weight:750;line-height:1.1}.cl-hero-sub{color:var(--accent);letter-spacing:0;margin:.5rem 0 0;font-family:SFMono-Regular,Menlo,monospace;font-size:clamp(.9rem,1.6vw,1.05rem)}.cl-hero-desc{max-width:62ch;color:var(--text-dim);margin:.65rem 0 0;font-size:1rem;line-height:1.6}.cl-hero-why{border:1px solid var(--border);border-left:4px solid var(--accent);background-color:color-mix(in srgb, var(--accent) 7%, var(--bg-raised));border-radius:8px;flex:0 min(40%,27rem);min-width:min(100%,17rem);padding:1rem 1.1rem}.cl-hero-why-label,.eyebrow,.section-label,.mirror-label,.hash-inspector-label{color:var(--accent);letter-spacing:0;text-transform:uppercase;font-family:SFMono-Regular,Menlo,monospace;font-size:.72rem;font-weight:800}.cl-hero-why-text{margin:.4rem 0 0;font-size:.95rem;line-height:1.55}.pane-tabs{z-index:900;border:1px solid var(--border);background-color:#0c0f11;border-radius:8px;grid-template-columns:repeat(3,minmax(0,1fr));gap:2px;margin-bottom:2rem;padding:3px;display:grid;position:sticky;top:62px}.pane-tab{min-height:48px;color:var(--text-muted);cursor:pointer;background-color:#0000;border:0;border-radius:5px;justify-content:center;align-items:center;gap:.55rem;scroll-margin-top:120px;font-weight:750;display:inline-flex}.pane-tab:hover{background-color:var(--surface);color:var(--text)}.pane-tab.is-active{background-color:var(--accent);color:var(--accent-ink)}.pane-tab svg{width:18px;height:18px}.pane{min-width:0}.pane-heading{border-bottom:1px solid var(--border-soft);justify-content:space-between;align-items:flex-start;gap:2rem;padding:0 0 1.4rem;display:flex}.eyebrow{margin:0 0 .45rem}h2,h3{letter-spacing:0;margin:0;font-weight:720}h2{max-width:22ch;font-size:clamp(1.5rem,3vw,2.25rem);line-height:1.16}h3{font-size:1.2rem;line-height:1.3}.pane-intro{max-width:68ch;color:var(--text-dim);margin:.75rem 0 0;line-height:1.65}.kat-badge{border:1px solid var(--border);background-color:var(--surface);min-width:max-content;color:var(--text-dim);border-radius:7px;align-items:center;gap:.55rem;padding:.55rem .75rem;font-family:SFMono-Regular,Menlo,monospace;font-size:.76rem;display:flex}.kat-mark{font-weight:900}.kat-badge.is-pass{border-color:var(--success);color:var(--success);background-color:var(--success-bg)}.kat-badge.is-fail{border-color:var(--danger);color:var(--danger);background-color:var(--danger-bg)}.stern-workbench{border:1px solid var(--border);background-color:var(--border);border-radius:8px;grid-template-columns:1.2fr 1fr 1fr;gap:1px;margin-top:1.5rem;display:grid;overflow:hidden}.stern-stage{background-color:var(--bg-raised);min-width:0;padding:1.1rem}.section-label{justify-content:space-between;gap:1rem;margin-bottom:.9rem;display:flex}.section-label span{color:var(--text-muted)}.commit-grid{gap:.55rem;margin-bottom:1rem;display:grid}.commitment{border-left:3px solid var(--cyan);background-color:var(--surface);grid-template-columns:2rem 1fr;gap:.15rem .6rem;min-width:0;padding:.65rem;display:grid}.commitment strong{color:var(--cyan);grid-row:1/span 2}.commitment span{color:var(--text-dim);font-size:.82rem}.commitment code{min-width:0;color:var(--text);text-overflow:ellipsis;font-size:.72rem;overflow:hidden}.challenge-picker{gap:.6rem;display:grid}.challenge-button{border:1px solid var(--border);background-color:var(--surface);min-height:52px;color:var(--text-dim);cursor:pointer;text-align:left;border-radius:6px;grid-template-columns:2rem 1fr;align-items:center;padding:.5rem .65rem;display:grid}.challenge-button>span{width:28px;height:28px;color:var(--accent);background-color:#0f1518;border-radius:50%;place-items:center;font-family:SFMono-Regular,Menlo,monospace;font-weight:900;display:grid}.challenge-button:hover{border-color:var(--accent);color:var(--text)}.challenge-button[aria-pressed=true]{border-color:var(--accent);background-color:color-mix(in srgb, var(--accent) 10%, var(--surface));color:var(--text)}.response-copy{min-height:7.5rem;color:var(--text-dim);line-height:1.55}.status{border:1px solid var(--border);background-color:var(--surface);border-radius:7px;grid-template-columns:auto 1fr;align-items:center;gap:.75rem;min-height:72px;margin-top:1rem;padding:.8rem;display:grid}.status-mark{text-align:center;min-width:3.4rem;font-family:SFMono-Regular,Menlo,monospace;font-size:.7rem;font-weight:900}.status strong,.status small{display:block}.status small{color:var(--text-dim);margin-top:.18rem;line-height:1.4}.status-pass{border-color:var(--success);background-color:var(--success-bg)}.status-pass .status-mark,.status-pass strong{color:var(--success)}.status-fail{border-color:var(--danger);background-color:var(--danger-bg)}.status-fail .status-mark,.status-fail strong{color:var(--danger)}.status-alarm{border-color:var(--alarm);background-color:var(--alarm-bg)}.status-alarm .status-mark,.status-alarm strong{color:var(--alarm)}.status-running .status-mark{color:var(--accent)}.button,.challenge-button,.tree-node,.pane-tab{transition:border-color .12s,background-color .12s,color .12s}.button{border:1px solid var(--border);cursor:pointer;border-radius:7px;justify-content:center;align-items:center;gap:.5rem;min-height:42px;padding:.58rem .85rem;font-weight:750;display:inline-flex}.button svg{width:17px;height:17px}.button-primary{border-color:var(--accent);background-color:var(--accent);color:var(--accent-ink)}.button-secondary{color:var(--text);background-color:#0000}.button-warning{border-color:var(--alarm);background-color:var(--alarm-bg);color:var(--alarm)}.button-danger{border-color:var(--danger);background-color:var(--danger-bg);color:var(--danger)}.button:hover:not(:disabled){filter:brightness(1.12)}.button:disabled{cursor:not-allowed;filter:grayscale(.5);opacity:.55}.proof-actions,.button-row{flex-wrap:wrap;gap:.7rem;margin-top:1rem;display:flex}.cheat-result{border:1px solid var(--border);background-color:var(--bg-raised);border-radius:8px;grid-template-columns:1.2fr 1fr auto;align-items:center;gap:1.25rem;margin:1rem 0 2.5rem;padding:1rem 1.1rem;display:grid}.cheat-result.has-result{border-color:var(--alarm)}.cheat-result p{color:var(--text-dim);margin:0;line-height:1.5}.branch-outcomes{grid-template-columns:repeat(3,1fr);gap:.35rem;display:grid}.branch-outcome{background-color:var(--surface);color:var(--text-muted);text-align:center;border-radius:5px;padding:.45rem;font-family:SFMono-Regular,Menlo,monospace;font-size:.72rem}.branch-outcome.is-pass{color:var(--success)}.branch-outcome.is-caught{background-color:var(--alarm-bg);color:var(--alarm);font-weight:800}.soundness-metric{min-width:13rem;display:grid}.soundness-metric span,.soundness-metric small{color:var(--text-muted);font-size:.76rem}.soundness-metric strong{color:var(--alarm);margin:.15rem 0;font-family:SFMono-Regular,Menlo,monospace;font-size:1.25rem}.reference-console{border:1px solid var(--border);background-color:#121719;border-radius:8px;margin-top:2rem;padding:1.25rem}.console-heading{justify-content:space-between;align-items:flex-start;gap:1rem;margin-bottom:1rem;display:flex}.runtime-chip{border:1px solid var(--cyan);color:var(--cyan);border-radius:5px;padding:.35rem .55rem;font-family:SFMono-Regular,Menlo,monospace;font-size:.72rem}label{color:var(--text-dim);margin-bottom:.35rem;font-size:.84rem;font-weight:700;display:block}textarea{resize:vertical;border:1px solid var(--border);width:100%;min-height:82px;color:var(--text);background-color:#0b0f11;border-radius:6px;padding:.75rem;line-height:1.5;display:block}textarea:hover{border-color:var(--text-muted)}.negative-claim{border-top:1px solid var(--border-soft);color:var(--text-dim);grid-template-columns:auto 1fr;gap:.75rem;margin-top:1rem;padding-top:1rem;line-height:1.5;display:grid}.negative-claim strong{color:var(--alarm);font-family:SFMono-Regular,Menlo,monospace;font-size:.82rem}.performance-note,.scope-note,.chart-source{color:var(--text-muted);font-size:.84rem;line-height:1.5}.hyper-layout{grid-template-columns:minmax(0,1.6fr) minmax(17rem,.7fr);gap:1.5rem;margin-top:1.5rem;display:grid}.tree-lab,.structure-map{min-width:0}.tree-lab h3,.structure-map h3{margin-bottom:1rem}.tree-canvas{border:1px solid var(--border);background-color:#0b0f11;border-radius:8px;gap:1rem;min-height:340px;margin-top:1rem;padding:1.2rem;display:grid}.tree-row{justify-content:space-around;gap:.65rem;display:flex;position:relative}.tree-node{border:1px solid var(--border);background-color:var(--surface);width:min(100%,180px);min-height:78px;color:var(--text);cursor:pointer;text-align:center;border-radius:6px;place-content:center;gap:.18rem;padding:.5rem;display:grid}.tree-node span{font-size:.78rem;font-weight:750}.tree-node code{color:var(--cyan);font-size:.66rem}.tree-node small{color:var(--text-muted);font-size:.64rem}.tree-node[aria-pressed=true]{border:2px solid var(--accent);background-color:color-mix(in srgb, var(--accent) 10%, var(--surface))}.hash-inspector{border-left:4px solid var(--accent);background-color:var(--surface);margin-top:1rem;padding:.9rem}.code-pair{grid-template-columns:1fr 1fr;gap:.75rem;margin-top:.6rem;display:grid}.code-pair>div{min-width:0}.code-pair span{color:var(--text-muted);margin-bottom:.25rem;font-size:.72rem;display:block}.code-pair code{border:1px solid var(--border-soft);min-height:4.8rem;max-height:8rem;color:var(--text-dim);overflow-wrap:anywhere;background-color:#0b0f11;padding:.55rem;font-size:.68rem;display:block;overflow:auto}.structure-map{border-left:1px solid var(--border);padding:1rem}.flow-list{gap:0;margin:0;padding:0;list-style:none;display:grid}.flow-list li{border-left:2px solid var(--border);gap:.35rem;padding:.7rem 0 1.2rem 1.3rem;display:grid;position:relative}.flow-list li:before{border:2px solid var(--accent);background-color:var(--bg);content:"";border-radius:50%;width:10px;height:10px;position:absolute;top:.95rem;left:-6px}.flow-node{font-size:.86rem;font-weight:700}.flow-hash{border:1px solid var(--accent);width:max-content;color:var(--accent);border-radius:4px;padding:.22rem .42rem;font-family:SFMono-Regular,Menlo,monospace;font-size:.68rem}.mirror-grid{border:1px solid var(--border);background-color:var(--border);border-radius:8px;grid-template-columns:1fr 1fr;gap:1px;margin-top:1.5rem;display:grid;overflow:hidden}.mirror-item{background-color:var(--bg-raised);padding:1.3rem}.mirror-item h3{margin:.35rem 0}.mirror-item p{color:var(--text-dim);line-height:1.55}.mirror-peer{color:var(--cyan);font-size:.82rem;font-weight:700}.size-section{margin-top:2rem}.size-chart{gap:.9rem;margin-top:1rem;display:grid}.size-row{grid-template-columns:minmax(10rem,1fr) minmax(10rem,2.4fr) 7.2rem;align-items:center;gap:.8rem;display:grid}.size-row>span{color:var(--text-dim);font-size:.84rem}.size-row strong{text-align:right;font-family:SFMono-Regular,Menlo,monospace;font-size:.78rem}.bar-track{border:1px solid var(--border);background-color:#0b0f11;height:22px}.bar{width:var(--bar-size);background-color:var(--cyan);height:100%;display:block}.bar-hyper{background-color:var(--accent)}.bar-ship{background-color:var(--alarm)}.bar-max{background-color:var(--danger)}.real-world{border:1px solid var(--accent);background-color:color-mix(in srgb, var(--accent) 6%, var(--bg-raised));border-radius:8px;grid-template-columns:minmax(14rem,.7fr) 1.6fr;gap:2rem;margin-top:2rem;padding:1.2rem;display:grid}.real-world p{color:var(--text-dim);margin:0;line-height:1.6}.related-links{flex-wrap:wrap;gap:1rem;margin:1.5rem 0;display:flex}.related-links a{align-items:center;gap:.35rem;display:inline-flex}.related-links svg{width:15px;height:15px}.sources{border-top:1px solid var(--border-soft);border-bottom:1px solid var(--border-soft);padding:1rem 0}.sources summary{cursor:pointer;color:var(--text);font-weight:750}.sources li,.sources p{color:var(--text-dim);line-height:1.6}.scripture-footer{border-top:1px solid var(--border);color:var(--text-muted);text-align:center;padding:1.25rem 1rem 2rem}.scripture-footer p{margin:0;font-size:.78rem}@media (width<=860px){.stern-workbench,.hyper-layout{grid-template-columns:1fr}.stern-stage+.stern-stage{border-top:1px solid var(--border)}.cheat-result{grid-template-columns:1fr}.structure-map{border-top:1px solid var(--border);border-left:0}}@media (width<=640px){.page-shell{width:min(100% - 1.1rem,1180px)}.cl-hero{flex-direction:column}.cl-hero-why{flex-basis:auto;width:100%}.pane-heading,.console-heading{flex-direction:column;gap:1rem}.kat-badge{min-width:0}.pane-tabs span{font-size:.78rem}.pane-tab{flex-direction:column;gap:.2rem;min-height:58px}.code-pair,.mirror-grid,.real-world{grid-template-columns:1fr}.size-row{grid-template-columns:1fr 5.8rem;gap:.35rem .7rem}.size-row .bar-track{grid-area:2/1/auto/-1}.size-row strong{grid-area:1/2}.tree-canvas{padding:.7rem}.tree-row{gap:.3rem}.tree-node{min-height:88px;padding:.35rem}.tree-node span{font-size:.68rem}.tree-node code{font-size:.58rem}.negative-claim{grid-template-columns:1fr}}@media (width<=420px){.cl-sub,.cl-btn span{display:none}.cl-btn{justify-content:center;width:42px;padding-inline:0}.pane-tabs span{font-size:.7rem}.tree-node code{display:none}}@media (pointer:coarse){.cl-btn,.button,.challenge-button,.tree-node,.pane-tab{min-height:44px}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition:none!important}}