:root{color-scheme:light;--bg: #f4f6f8;--surface: #ffffff;--surface-raised: #ffffff;--surface-muted: #edf1f4;--surface-strong: #17191c;--text: #1b1e22;--text-soft: #59616b;--text-faint: #7a838e;--border: #d9dee4;--border-strong: #b8c0c9;--header-bg: rgba(255, 255, 255, .94);--focus: #146ec4;--blue: #2878d0;--green: #16856b;--amber: #b46a16;--purple: #7b5bb7;--red: #c44d62;--danger: #bc3c48;--code-bg: #11161d;--hero-bg: #17191c;--hero-text: #f6f7f8;--shadow: 0 10px 30px rgba(22, 28, 35, .08);--topbar-height: 64px;font-family:Inter,SF Pro Text,PingFang SC,Microsoft YaHei,system-ui,sans-serif;font-synthesis:none}:root[data-theme=dark]{color-scheme:dark;--bg: #121416;--surface: #191c1f;--surface-raised: #202428;--surface-muted: #252a2f;--surface-strong: #f1f3f5;--text: #edf0f2;--text-soft: #abb2ba;--text-faint: #858e98;--border: #30363c;--border-strong: #47505a;--header-bg: rgba(18, 20, 22, .94);--focus: #65a9ee;--blue: #5a9be0;--green: #48aa90;--amber: #d49449;--purple: #a98bd6;--red: #db7383;--danger: #e0747f;--code-bg: #0d1117;--hero-bg: #0f1113;--hero-text: #f6f7f8;--shadow: 0 12px 34px rgba(0, 0, 0, .3)}*{box-sizing:border-box}html{background:var(--bg);scroll-behavior:smooth}body{margin:0;min-width:320px;min-height:100vh;background:var(--bg);color:var(--text)}body,button,input,select{font:inherit}button,input,select{letter-spacing:0}button,a{-webkit-tap-highlight-color:transparent}button{color:inherit}a{color:inherit;text-decoration:none}img{display:block;max-width:100%}code{font-family:SFMono-Regular,Consolas,Liberation Mono,monospace}h1,h2,h3,p{margin-top:0}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible{outline:3px solid color-mix(in srgb,var(--focus) 38%,transparent);outline-offset:2px}::selection{background:color-mix(in srgb,var(--blue) 30%,transparent)}.app-shell{min-height:100vh}.topbar{position:sticky;top:0;z-index:80;height:var(--topbar-height);border-bottom:1px solid var(--border);background:var(--header-bg);-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px)}.topbar-inner{width:min(1360px,calc(100% - 40px));height:100%;margin:0 auto;display:flex;align-items:center;gap:34px}.brand{display:flex;align-items:center;gap:10px;flex:0 0 auto}.brand>span:last-child{display:flex;flex-direction:column;gap:1px}.brand b{font-size:14px;line-height:1.2}.brand small{color:var(--text-faint);font-size:10px}.pi-mark{width:32px;height:32px;display:inline-grid;place-items:center;border:1px solid var(--border-strong);border-radius:6px;background:var(--surface-strong);color:var(--bg);font:700 20px/1 Georgia,serif}.desktop-nav{display:flex;align-items:stretch;align-self:stretch;gap:4px}.desktop-nav a{position:relative;display:grid;place-items:center;padding:0 14px;color:var(--text-soft);font-size:13px;font-weight:600}.desktop-nav a:hover,.desktop-nav a.active{color:var(--text)}.desktop-nav a.active:after{content:"";position:absolute;bottom:-1px;left:14px;right:14px;height:2px;background:var(--blue)}.topbar-actions{display:flex;align-items:center;gap:5px;margin-left:auto}.icon-button{width:38px;height:38px;display:inline-grid;place-items:center;padding:0;border:1px solid transparent;border-radius:6px;background:transparent;cursor:pointer}.icon-button:hover{border-color:var(--border);background:var(--surface-muted)}.icon-button:disabled{cursor:not-allowed;opacity:.38}.bookmark-trigger{position:relative}.bookmark-trigger i{position:absolute;top:2px;right:1px;min-width:16px;height:16px;display:grid;place-items:center;padding:0 3px;border:2px solid var(--surface);border-radius:8px;background:var(--red);color:#fff;font:700 9px/1 sans-serif}.mobile-menu-trigger{display:none}.progress-ring{position:relative;display:inline-grid;place-items:center;margin-right:6px}.progress-ring svg{position:absolute;inset:0;transform:rotate(-90deg)}.progress-ring circle{fill:none;stroke-width:3}.progress-ring-track{stroke:var(--border)}.progress-ring-value{stroke:var(--green);stroke-linecap:round}.progress-ring b{font-size:10px}.mobile-drawer-scrim,.panel-scrim{position:fixed;inset:0;z-index:99;background:#05080a8a;opacity:0;pointer-events:none;transition:opacity .18s ease}.mobile-drawer-scrim.open,.panel-scrim.open{opacity:1;pointer-events:auto}.mobile-drawer{position:fixed;z-index:100;top:0;right:0;width:min(320px,88vw);height:100dvh;padding:18px;transform:translate(102%);transition:transform .22s ease;background:var(--surface);border-left:1px solid var(--border)}.mobile-drawer.open{transform:translate(0)}.mobile-drawer>header{display:flex;align-items:center;justify-content:space-between;margin-bottom:28px}.mobile-drawer nav{display:grid;gap:4px}.mobile-drawer nav a{padding:12px 14px;border-radius:6px;color:var(--text-soft);font-size:15px;font-weight:650}.mobile-drawer nav a.active{background:var(--surface-muted);color:var(--text)}.drawer-progress{position:absolute;left:18px;right:18px;bottom:22px;display:flex;align-items:center;gap:12px;padding-top:18px;border-top:1px solid var(--border);color:var(--text-soft);font-size:12px}.drawer-progress span{display:flex;flex-direction:column}.drawer-progress b{color:var(--text);font-size:15px}.site-footer{min-height:150px;padding:38px max(24px,calc((100% - 1200px)/2));display:flex;align-items:flex-start;justify-content:space-between;gap:28px;border-top:1px solid var(--border);background:var(--surface)}.site-footer>div{display:flex;align-items:center;gap:11px}.site-footer p{margin:0;color:var(--text-faint);font-size:12px;line-height:1.6}.site-footer>div p{display:flex;flex-direction:column}.site-footer b{color:var(--text);font-size:14px}.dialog-backdrop{position:fixed;inset:0;z-index:120;display:flex;justify-content:center;align-items:flex-start;padding:12vh 20px 20px;background:#05080aa1}.search-dialog{width:min(640px,100%);overflow:hidden;border:1px solid var(--border-strong);border-radius:8px;background:var(--surface-raised);box-shadow:0 22px 70px #00000047}.search-input-wrap{height:62px;display:flex;align-items:center;gap:12px;padding:0 13px 0 18px;border-bottom:1px solid var(--border)}.search-input-wrap>svg{color:var(--text-faint);flex:0 0 auto}.search-input-wrap input{min-width:0;flex:1;border:0;outline:0;background:transparent;color:var(--text);font-size:16px}.search-input-wrap input::placeholder{color:var(--text-faint)}.search-results{max-height:min(530px,66vh);overflow:auto;padding:8px}.search-results>button{width:100%;display:grid;grid-template-columns:36px minmax(0,1fr) 20px;align-items:center;gap:11px;min-height:58px;padding:8px 12px;border:0;border-radius:6px;background:transparent;text-align:left;cursor:pointer}.search-results>button.active{background:var(--surface-muted)}.search-results>button>span:nth-child(2){min-width:0;display:flex;flex-direction:column;gap:4px}.search-results b,.search-results small{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.search-results b{font-size:13px}.search-results small{color:var(--text-faint);font-size:11px}.search-results small{display:flex;align-items:center;gap:7px}.search-results small em{flex:0 0 auto;padding:2px 4px;border:1px solid var(--border);border-radius:3px;color:var(--text-soft);font:700 7px monospace;font-style:normal}.search-results>button>svg{color:var(--text-faint)}.search-kind{width:34px;height:34px;display:grid;place-items:center;border-radius:6px;background:var(--surface);color:var(--blue);border:1px solid var(--border)}.search-kind.kind-symbol{color:var(--purple)}.search-kind.kind-concept{color:var(--blue)}.search-kind.kind-invariant{color:var(--amber)}.search-kind.kind-failure{color:var(--danger)}.search-kind.kind-test,.search-kind.kind-lab{color:var(--green)}.empty-search{margin:30px;color:var(--text-faint);text-align:center;font-size:13px}.bookmarks-panel{position:fixed;z-index:110;top:0;right:0;width:min(390px,94vw);height:100dvh;display:flex;flex-direction:column;transform:translate(102%);transition:transform .22s ease;border-left:1px solid var(--border);background:var(--surface)}.bookmarks-panel.open{transform:translate(0)}.bookmarks-panel>header{height:64px;display:flex;align-items:center;justify-content:space-between;padding:0 16px 0 21px;border-bottom:1px solid var(--border)}.bookmarks-panel>header>div{display:flex;align-items:center;gap:9px}.bookmarks-panel h2{margin:0;font-size:15px}.bookmarks-panel header span{min-width:22px;height:20px;display:grid;place-items:center;border-radius:10px;background:var(--surface-muted);color:var(--text-soft);font-size:10px}.bookmark-list{padding:14px;overflow:auto}.bookmark-item{padding:15px 4px 17px;border-bottom:1px solid var(--border)}.bookmark-item>span{color:var(--purple);font-size:10px;font-weight:750}.bookmark-item h3{margin:7px 0 5px;font-size:14px}.bookmark-item p{margin:0;overflow-wrap:anywhere;color:var(--text-faint);font:11px/1.6 SFMono-Regular,Consolas,monospace}.bookmark-item>div{display:flex;align-items:center;gap:8px;margin-top:13px}.bookmark-item a,.bookmark-item button{height:30px;display:inline-flex;align-items:center;gap:6px;padding:0 10px;border:1px solid var(--border);border-radius:5px;background:transparent;font-size:11px;cursor:pointer}.bookmark-item a{color:var(--blue)}.bookmark-item button{width:30px;justify-content:center;padding:0;color:var(--danger)}.empty-panel{min-height:55vh;display:grid;place-content:center;justify-items:center;padding:30px;text-align:center}.empty-panel svg{color:var(--text-faint)}.empty-panel h3{margin:13px 0 6px;font-size:15px}.empty-panel p{max-width:250px;color:var(--text-faint);font-size:12px;line-height:1.7}.loading-page{min-height:calc(100vh - var(--topbar-height));display:grid;place-content:center;justify-items:center;color:var(--text-faint)}.loading-mark{width:46px;height:46px;display:grid;place-items:center;border:1px solid var(--border);border-radius:8px;color:var(--text);font:700 25px Georgia,serif;animation:pulse 1.4s infinite}.loading-page p{margin:12px 0 0;font-size:12px}@keyframes pulse{50%{opacity:.45}}.spin{animation:spin 1s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}@keyframes runtime-travel{0%{left:4%;opacity:0}10%,90%{opacity:1}to{left:96%;opacity:0}}@keyframes runtime-detail-in{0%{opacity:0;transform:translateY(5px)}to{opacity:1;transform:translateY(0)}}.content-width,.band-inner,.page-hero-inner{width:min(1200px,calc(100% - 48px));margin:0 auto}.section-kicker{color:var(--text-faint);font-size:10px;font-weight:800}.section-heading h2{margin:5px 0 9px;font-size:36px;line-height:1.14}.section-heading p{margin:0;max-width:610px;color:var(--text-soft);font-size:14px;line-height:1.75}.split-heading{display:flex;align-items:flex-end;justify-content:space-between;gap:50px}.split-heading>p{max-width:500px;padding-bottom:4px}.eyebrow{display:inline-flex;align-items:center;gap:9px;color:inherit;font-size:10px;font-weight:800}.eyebrow i{width:22px;height:2px;background:var(--green)}.primary-button{min-height:42px;display:inline-flex;align-items:center;justify-content:center;gap:8px;padding:0 16px;border:1px solid var(--blue);border-radius:6px;background:var(--blue);color:#fff;font-size:12px;font-weight:750}.primary-button:hover{filter:brightness(1.08)}.text-link{display:inline-flex;align-items:center;gap:7px;color:inherit;font-size:12px;font-weight:700}.text-link:hover{color:var(--blue)}.home-hero{position:relative;min-height:min(760px,calc(100svh - 112px));overflow:hidden;background:var(--hero-bg);color:var(--hero-text)}.hero-grid{position:absolute;inset:0 max(28px,calc((100% - 1260px)/2));opacity:.2;border-right:1px solid #47505a;border-left:1px solid #47505a}.hero-grid:before{content:"";position:absolute;top:26%;left:0;right:0;border-top:1px solid #47505a}.hero-inner{position:relative;width:min(1260px,calc(100% - 56px));min-height:inherit;margin:0 auto;padding:72px 0 86px;display:grid;grid-template-columns:minmax(340px,.82fr) minmax(560px,1.18fr);align-items:center;gap:72px}.hero-copy h1{margin:15px 0 17px;font-size:82px;line-height:.98;font-weight:720}.hero-copy>p{max-width:560px;margin:0;color:#bfc5cb;font-size:16px;line-height:1.8}.hero-actions{display:flex;align-items:center;gap:22px;margin-top:31px}.hero-actions .text-link{color:#d7dbe0}.snapshot-line{display:flex;align-items:center;gap:8px;margin-top:34px;color:#838c96;font-size:10px}.snapshot-line code{padding:3px 6px;border:1px solid #3c434b;border-radius:4px;color:#d0d5da}.snapshot-line small{margin-left:4px}.hero-runtime{position:relative;min-height:390px;display:flex;flex-direction:column;justify-content:center;padding:26px 30px 24px;border:1px solid #343a41;border-radius:8px;background:#101215d6;box-shadow:0 28px 70px #00000057}.hero-runtime>header{display:flex;justify-content:space-between;align-items:center;margin-bottom:52px;color:#7f8993;font-size:9px;font-weight:750}.hero-runtime>header code{color:#8f98a2;font-size:10px}.runtime-track{position:relative;display:grid;grid-template-columns:repeat(4,1fr);gap:22px}.runtime-track:before{content:"";position:absolute;left:8%;right:8%;top:26px;height:1px;background:#424950}.runtime-track>i{position:absolute;z-index:0;top:22px;width:9px;height:9px;margin-left:-4px;border-radius:50%;background:#65d0ae;box-shadow:0 0 13px #65d0ae}.runtime-track>i.runtime-pulse{left:4%;animation:runtime-travel 4.4s linear infinite}.runtime-track button{position:relative;z-index:1;min-width:0;padding:0;display:grid;justify-items:center;gap:9px;border:0;background:transparent;color:#9099a2;cursor:pointer}.runtime-track button>span{width:52px;height:52px;display:grid;place-items:center;border:1px solid #3e454d;border-radius:7px;background:#1a1e22;transition:.15s ease}.runtime-track button b{color:#cbd0d5;font-size:11px}.runtime-track button small{color:#59626c;font:9px SFMono-Regular,monospace}.runtime-track button.active>span{border-color:#65d0ae;background:#21322e;color:#79dec0;box-shadow:0 0 0 3px #65d0ae17}.runtime-track button.active b{color:#fff}.runtime-detail{min-height:78px;margin-top:36px;padding:15px 18px;display:flex;align-items:center;gap:16px;border-left:2px solid #65d0ae;background:#1c2024}.runtime-detail-enter{animation:runtime-detail-in .18s ease-out}.runtime-detail>span{color:#65d0ae;font:700 11px SFMono-Regular,monospace}.runtime-detail p{margin:0;display:flex;flex-direction:column;gap:3px;color:#949da5;font-size:11px}.runtime-detail b{color:#f2f4f6;font-size:13px}.runtime-events{display:flex;flex-wrap:wrap;gap:7px;margin-top:18px}.runtime-events span{padding:4px 7px;border:1px solid #333a41;border-radius:4px;color:#747e88;font:9px SFMono-Regular,monospace}.home-band{padding:84px 0;border-bottom:1px solid var(--border)}.continue-band{padding:46px 0;background:var(--surface)}.continue-layout{display:grid;grid-template-columns:.85fr 1.15fr;align-items:center;gap:70px}.continue-layout .section-heading h2{font-size:25px}.continue-row{min-width:0;display:grid;grid-template-columns:52px minmax(150px,1fr) minmax(90px,180px) 22px;align-items:center;gap:17px;padding:18px 20px;border:1px solid var(--border);border-radius:7px;background:var(--bg)}.continue-row:hover{border-color:var(--blue)}.continue-row>span{height:36px;display:grid;place-items:center;border-radius:5px;background:var(--surface-strong);color:var(--bg);font:750 11px SFMono-Regular,monospace}.continue-row>div:nth-child(2){min-width:0;display:flex;flex-direction:column;gap:4px}.continue-row b{font-size:14px}.continue-row small{overflow:hidden;color:var(--text-faint);font-size:11px;text-overflow:ellipsis;white-space:nowrap}.mini-progress,.progress-bar{height:4px;overflow:hidden;border-radius:2px;background:var(--border)}.mini-progress i,.progress-bar i{display:block;height:100%;background:var(--green)}.course-preview{background:var(--bg)}.chapter-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:13px}.home-chapter-grid{margin-top:37px}.chapter-card{position:relative;min-width:0;min-height:220px;display:flex;flex-direction:column;padding:20px;border:1px solid var(--border);border-top:3px solid var(--blue);border-radius:7px;background:var(--surface);transition:transform .16s ease,border-color .16s ease,box-shadow .16s ease}.chapter-card:hover{transform:translateY(-2px);border-color:var(--border-strong);box-shadow:var(--shadow)}.chapter-card.layer-border-foundation{border-top-color:var(--blue)}.chapter-card.layer-border-runtime{border-top-color:var(--green)}.chapter-card.layer-border-harness{border-top-color:var(--amber)}.chapter-card.layer-border-context{border-top-color:var(--purple)}.chapter-card.layer-border-interface{border-top-color:var(--red)}.chapter-card-top{display:flex;align-items:center;justify-content:space-between}.chapter-number{display:inline-flex;align-items:center;color:var(--text-faint);font:800 10px SFMono-Regular,monospace}.chapter-number.large{min-width:50px;height:26px;justify-content:center;border-radius:4px;background:var(--surface-strong);color:var(--bg)}.completion-dot{width:24px;height:24px;display:grid;place-items:center;border:1px solid var(--border);border-radius:50%;color:var(--text-faint)}.completion-dot.done{border-color:var(--green);background:color-mix(in srgb,var(--green) 12%,transparent);color:var(--green)}.chapter-card h3{margin:20px 0 7px;font-size:18px}.chapter-card>p{margin:0;color:var(--text-soft);font-size:12px;line-height:1.65}.chapter-card-meta{margin-top:auto;padding-top:22px;display:flex;align-items:center;justify-content:space-between;gap:12px;color:var(--text-faint);font-size:9px}.layer-mark{display:inline-flex;align-items:center;gap:6px;color:var(--text-soft);font-size:10px;font-weight:700;white-space:nowrap}.layer-mark i{width:7px;height:7px;border-radius:2px;background:currentColor}.layer-mark.layer-foundation{color:var(--blue)}.layer-mark.layer-runtime{color:var(--green)}.layer-mark.layer-harness{color:var(--amber)}.layer-mark.layer-context{color:var(--purple)}.layer-mark.layer-interface{color:var(--red)}.section-more{width:max-content;margin:25px 0 0 auto;display:flex;align-items:center;gap:7px;color:var(--blue);font-size:12px;font-weight:750}.architecture-preview{background:var(--surface)}.layer-stack-preview{max-width:990px;margin:38px auto 0;display:grid;gap:8px}.layer-strip{min-height:58px;display:grid;grid-template-columns:38px 4px minmax(120px,.7fr) minmax(160px,1fr) 50px;align-items:center;gap:15px;padding:0 19px;border:1px solid var(--border);border-radius:6px;background:var(--bg)}.layer-strip:hover{border-color:var(--border-strong)}.layer-strip>span{color:var(--text-faint);font:700 10px monospace}.layer-strip>i{width:4px;height:24px;border-radius:2px;background:currentColor}.layer-strip>b{font-size:13px}.layer-strip>small{color:var(--text-faint);font-size:10px}.layer-strip>em{color:var(--text-faint);font-size:10px;font-style:normal;text-align:right}.layer-strip.layer-foundation{color:var(--blue)}.layer-strip.layer-runtime{color:var(--green)}.layer-strip.layer-harness{color:var(--amber)}.layer-strip.layer-context{color:var(--purple)}.layer-strip.layer-interface{color:var(--red)}.layer-strip b{color:var(--text)}.standard-page{min-height:80vh}.page-hero{border-bottom:1px solid var(--border);background:var(--surface)}.compact-hero{min-height:335px;display:flex;align-items:center}.page-hero-inner{padding:58px 0 50px}.page-hero h1{margin:14px 0 13px;font-size:58px;line-height:1.05}.page-hero p{max-width:760px;margin:0;color:var(--text-soft);font-size:15px;line-height:1.75}.page-stats{display:flex;align-items:stretch;gap:0;margin-top:34px}.page-stats>span{min-width:120px;display:flex;flex-direction:column;gap:4px;padding:0 24px;border-left:1px solid var(--border)}.page-stats>span:first-child{padding-left:0;border-left:0}.page-stats b{font-size:20px}.page-stats small{color:var(--text-faint);font-size:9px}.page-stats>span:last-child{flex-direction:row;align-items:center;gap:8px;color:var(--text-faint)}.page-stats code{color:var(--text);font-size:10px}.timeline-content{padding:52px 0 90px}.timeline-progress-summary{display:grid;grid-template-columns:160px 1fr;align-items:center;gap:24px;margin:0 0 43px 174px}.timeline-progress-summary>div:first-child{display:flex;align-items:baseline;gap:8px}.timeline-progress-summary b{font-size:16px}.timeline-progress-summary span{color:var(--text-faint);font-size:10px}.timeline-list{display:grid}.timeline-entry{min-height:240px;display:grid;grid-template-columns:70px 230px minmax(0,1fr);gap:34px}.timeline-axis{position:relative;display:flex;justify-content:center}.timeline-axis>span{position:relative;z-index:1;width:38px;height:38px;display:grid;place-items:center;border:1px solid var(--border-strong);border-radius:50%;background:var(--bg);color:var(--text-faint);font:750 10px monospace}.timeline-entry.complete .timeline-axis>span{border-color:var(--green);background:var(--green);color:#fff}.timeline-axis>i{position:absolute;top:38px;bottom:0;left:calc(50% - .5px);width:1px;background:var(--border)}.timeline-context{padding-top:2px}.timeline-context>span{color:var(--text-faint);font-size:9px;font-weight:750}.timeline-context h2{margin:9px 0 8px;font:600 13px/1.5 SFMono-Regular,Consolas,monospace}.timeline-context p{color:var(--text-faint);font-size:10px}.timeline-context>svg{margin-top:10px;color:var(--border-strong)}.timeline-evidence-card{min-width:0}.timeline-evidence-strip{min-height:34px;display:flex;align-items:center;gap:7px;margin-bottom:7px}.timeline-evidence-strip>span{min-height:25px;display:inline-flex;align-items:center;gap:4px;padding:0 7px;border:1px solid var(--border);border-radius:4px;background:var(--surface-muted);color:var(--text-faint);font-size:8px}.timeline-evidence-strip>span b{color:var(--text-soft);font:750 8px monospace}.timeline-evidence-strip>span.done{border-color:color-mix(in srgb,var(--green) 35%,var(--border));color:var(--green)}.timeline-evidence-strip>span.done b{color:var(--green)}.timeline-evidence-strip>a{min-height:25px;display:inline-flex;align-items:center;gap:2px;margin-left:auto;padding:0 7px;border-radius:4px;color:var(--blue);font-size:8px;font-weight:750}.timeline-evidence-strip>a:hover{background:var(--surface-muted)}.timeline-entry .chapter-card{min-height:210px;margin-bottom:28px}.layer-map-section{padding:58px 0 90px}.architecture-flow{max-width:1080px;margin:0 auto}.architecture-level{min-height:150px;display:grid;grid-template-columns:66px minmax(230px,.72fr) minmax(400px,1.28fr);align-items:center;gap:28px;padding:25px 30px;border:1px solid var(--border);border-left:4px solid currentColor;border-radius:7px;background:var(--surface)}.architecture-level.layer-foundation{color:var(--blue)}.architecture-level.layer-runtime{color:var(--green)}.architecture-level.layer-harness{color:var(--amber)}.architecture-level.layer-context{color:var(--purple)}.architecture-level.layer-interface{color:var(--red)}.level-index{display:flex;align-items:center;gap:12px}.level-index span{font:700 12px monospace}.level-index i{width:1px;height:62px;background:currentColor;opacity:.4}.level-copy>span{font-size:9px;font-weight:750}.level-copy h2{margin:6px 0 8px;color:var(--text);font-size:21px}.level-copy p{margin:0;color:var(--text-soft);font-size:11px;line-height:1.65}.level-chapters{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:7px}.level-chapters a{min-width:0;min-height:38px;display:grid;grid-template-columns:34px minmax(0,1fr) 16px;align-items:center;gap:8px;padding:0 10px;border:1px solid var(--border);border-radius:5px;background:var(--bg);color:var(--text)}.level-chapters a:hover{border-color:currentColor}.level-chapters a b{color:currentColor;font:700 9px monospace}.level-chapters a span{overflow:hidden;font-size:11px;font-weight:650;text-overflow:ellipsis;white-space:nowrap}.dependency-arrow{height:46px;display:flex;align-items:center;justify-content:center;gap:8px;color:var(--text-faint)}.dependency-arrow span{font-size:9px}.package-band{padding:75px 0 88px;border-top:1px solid var(--border);background:var(--surface)}.package-chain{margin-top:42px;display:grid;grid-template-columns:repeat(4,1fr);gap:28px}.package-unit{position:relative;min-width:0;min-height:130px;display:flex;align-items:flex-start;gap:12px;padding:20px 16px;border-top:2px solid currentColor;background:var(--bg)}.package-unit.layer-foundation{color:var(--blue)}.package-unit.layer-runtime{color:var(--green)}.package-unit.layer-harness{color:var(--amber)}.package-unit.layer-interface{color:var(--red)}.package-unit>span{width:34px;height:34px;flex:0 0 auto;display:grid;place-items:center;border:1px solid currentColor;border-radius:5px}.package-unit code{color:var(--text);font-size:10px;font-weight:700;overflow-wrap:anywhere}.package-unit p{margin:8px 0 0;color:var(--text-faint);font-size:10px;line-height:1.6}.package-arrow{position:absolute;right:-25px;top:55px;color:var(--border-strong)}.compare-workspace{padding:48px 0 90px}.compare-controls{min-height:94px;display:grid;grid-template-columns:minmax(0,1fr) 54px minmax(0,1fr);align-items:end;gap:16px;padding:17px 20px;border:1px solid var(--border);border-radius:7px;background:var(--surface)}.compare-controls label{display:grid;gap:7px}.compare-controls label>span{color:var(--text-faint);font-size:9px;font-weight:750}.compare-controls select{width:100%;height:40px;padding:0 36px 0 11px;border:1px solid var(--border);border-radius:5px;background:var(--bg);color:var(--text);font-size:12px}.swap-mark{height:40px;display:grid;place-items:center;color:var(--text-faint)}.comparison-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px;margin-top:18px}.compare-column{min-width:0;overflow:hidden;border:1px solid var(--border);border-top:3px solid var(--blue);border-radius:7px;background:var(--surface)}.compare-column.layer-border-foundation{border-top-color:var(--blue)}.compare-column.layer-border-runtime{border-top-color:var(--green)}.compare-column.layer-border-harness{border-top-color:var(--amber)}.compare-column.layer-border-context{border-top-color:var(--purple)}.compare-column.layer-border-interface{border-top-color:var(--red)}.compare-column>header{min-height:180px;padding:24px;border-bottom:1px solid var(--border);background:var(--surface-muted)}.compare-column>header>span{color:var(--text-faint);font:750 10px monospace}.compare-column>header>small{float:right;color:var(--text-faint);font-size:10px}.compare-column>header h2{margin:28px 0 7px;font-size:25px}.compare-column>header p{margin:0;color:var(--text-soft);font-size:12px;line-height:1.6}.compare-column>section{padding:23px 24px;border-bottom:1px solid var(--border)}.compare-column>section:last-child{border-bottom:0}.compare-column h3{display:flex;align-items:center;gap:8px;margin:0 0 13px;font-size:12px}.compare-column section>p{color:var(--text-soft);font-size:12px;line-height:1.72}.compare-column section>code{display:block;padding:10px 12px;border-left:2px solid var(--green);background:var(--surface-muted);color:var(--text);font-size:10px;overflow-wrap:anywhere}.compare-column ol{margin:0;padding:0;list-style:none}.compare-column ol li{display:grid;grid-template-columns:28px 1fr;gap:10px;padding:10px 0;border-bottom:1px solid var(--border)}.compare-column ol li:last-child{border-bottom:0}.compare-column ol li>b{color:var(--text-faint);font:700 9px monospace}.compare-column ol li>span{display:flex;flex-direction:column;gap:4px;color:var(--text-soft);font-size:10px;line-height:1.55}.compare-column ol strong{color:var(--text);font-size:11px}.symbol-chips,.dependency-chips{display:flex;flex-wrap:wrap;gap:6px}.symbol-chips code,.dependency-chips span{padding:5px 7px;border:1px solid var(--border);border-radius:4px;background:var(--bg);color:var(--purple);font-size:9px;overflow-wrap:anywhere}.dependency-chips span{color:var(--amber);font-family:inherit;font-weight:700}.compact-decision{padding:10px 0;border-bottom:1px solid var(--border)}.compact-decision:last-child{border-bottom:0}.compact-decision b{font-size:11px}.compact-decision p{margin:5px 0 0;color:var(--text-faint);font-size:10px;line-height:1.55}@media(max-width:1100px){.topbar-inner{gap:20px}.desktop-nav a{padding-right:10px;padding-left:10px}.hero-inner{grid-template-columns:1fr;gap:44px;padding-top:60px}.home-hero{min-height:auto}.hero-copy{max-width:720px}.hero-runtime{width:min(780px,100%);min-height:340px}.chapter-page{grid-template-columns:190px minmax(0,1fr)}.chapter-header,.chapter-tabs{padding-left:28px;padding-right:28px}.chapter-panel,.chapter-pagination{width:calc(100% - 48px)}.chapter-panel.tab-source{width:calc(100% - 28px)}.source-toolbar{align-items:flex-start;flex-direction:column;gap:8px}.source-toolbar{min-height:99px}.source-tools{width:100%}.source-search{flex:1}.architecture-level{grid-template-columns:52px 240px minmax(0,1fr);gap:18px}.mini-agent-hero-layout{gap:45px}.mini-agent-stage-nav{grid-template-columns:repeat(3,minmax(0,1fr))}.mini-agent-stage-nav>a:after{display:none}.mini-agent-stage-layout{grid-template-columns:310px minmax(0,1fr)}.mini-agent-task-list{grid-template-columns:1fr}}@media(max-width:820px){:root{--topbar-height: 58px}.topbar-inner{width:calc(100% - 24px);gap:12px}.desktop-nav,.brand small{display:none}.mobile-menu-trigger{display:inline-grid}.topbar-actions .progress-ring{display:none}.content-width,.band-inner,.page-hero-inner{width:calc(100% - 32px)}.site-footer{min-height:130px;padding:30px 20px;flex-direction:column}.hero-inner{width:calc(100% - 34px);padding:48px 0 64px}.hero-copy h1{font-size:60px}.section-heading h2{font-size:30px}.page-hero h1{font-size:48px}.chapter-title-row h1{font-size:40px}.hero-runtime{min-height:330px;padding:22px 17px}.hero-runtime>header{margin-bottom:36px}.runtime-track{gap:8px}.runtime-track button>span{width:46px;height:46px}.runtime-track:before{top:23px}.runtime-track>i{top:19px}.home-band{padding:64px 0}.continue-band{padding:35px 0}.continue-layout{grid-template-columns:1fr;gap:23px}.split-heading{align-items:flex-start;flex-direction:column;gap:10px}.chapter-grid{grid-template-columns:repeat(2,1fr)}.layer-strip{grid-template-columns:30px 4px 1fr 50px}.layer-strip>small{display:none}.compact-hero{min-height:300px}.page-hero-inner{padding:45px 0}.page-stats{display:grid;grid-template-columns:repeat(3,1fr);row-gap:20px}.page-stats>span{min-width:0;padding:0 12px}.page-stats>span:last-child{grid-column:1 / -1;padding:14px 0 0;border-left:0;border-top:1px solid var(--border)}.timeline-progress-summary{margin-left:75px}.timeline-entry{grid-template-columns:52px minmax(0,1fr);gap:18px}.timeline-context{display:none}.architecture-level{grid-template-columns:42px 1fr;padding:22px 18px}.level-chapters{grid-column:2;grid-template-columns:repeat(2,1fr)}.package-chain{grid-template-columns:repeat(2,1fr)}.package-arrow{display:none}.comparison-grid{grid-template-columns:1fr}.compare-column>header{min-height:155px}.chapter-page{display:block}.chapter-sidebar{position:static;height:50px;overflow:hidden;border-right:0;border-bottom:1px solid var(--border)}.sidebar-heading{display:none}.chapter-sidebar nav{height:50px;display:flex;gap:3px;overflow-x:auto;padding:7px 12px;scrollbar-width:none}.sidebar-layer{display:contents}.sidebar-layer>span{display:none}.sidebar-layer a{min-width:max-content;grid-template-columns:30px auto 15px;padding:0 9px}.chapter-header{padding:25px 20px 22px}.chapter-tabs{top:var(--topbar-height);justify-content:flex-start;overflow-x:auto;padding:0 12px;scrollbar-width:none}.chapter-tabs button{min-width:94px}.chapter-panel,.chapter-panel.tab-source,.chapter-pagination{width:calc(100% - 28px)}.chapter-panel{padding-top:30px}.chapter-title-row{align-items:flex-start;flex-direction:column;gap:20px}.complete-button{align-self:flex-start}.chapter-evidence-panel{width:100%}.chapter-meta{align-items:flex-start;flex-wrap:wrap}.chapter-meta code{width:100%;margin:3px 0 0}.chapter-guide-intro,.engineering-problem-grid,.engineering-review-section{grid-template-columns:1fr}.ownership-board>div{grid-template-columns:repeat(3,minmax(150px,1fr));overflow-x:auto}.failure-clinic-section>div{grid-template-columns:1fr}.debugging-grid{grid-template-columns:1fr 1fr}.debugging-grid article:last-child{grid-column:1 / -1}.lab-task-grid{grid-template-columns:1fr}.lab-task-grid article:first-child{grid-row:auto}.source-proof-summary,.source-proof-overview .source-proof-module:nth-child(n+4) .source-proof-summary{grid-template-columns:1fr 1fr}.source-proof-summary>p{grid-column:1 / -1}.source-anchor-list>article{grid-template-columns:1fr}.source-anchor-explanation{border-top:1px solid var(--border);border-left:0}.lab-workspace{grid-template-columns:1fr}.lab-workspace>nav{display:flex;max-height:none;overflow-x:auto;padding:8px;border-right:0;border-bottom:1px solid var(--border)}.lab-workspace>nav button{min-width:190px}.counterexample-analysis article{grid-template-columns:35px minmax(0,1fr)}.counterexample-analysis dl{grid-column:2}.source-workspace{height:680px;min-height:600px;grid-template-areas:"select" "side" "main";grid-template-columns:1fr;grid-template-rows:44px auto 1fr}.mobile-symbol-select{grid-area:select;display:flex;align-items:center;justify-content:space-between;padding:0 12px;border:0;border-bottom:1px solid var(--border);background:var(--surface-muted);font-size:10px}.mobile-symbol-select>span{display:flex;align-items:center;gap:7px;min-width:0}.symbol-sidebar{grid-area:side;display:none;max-height:220px;border-right:0;border-bottom:1px solid var(--border)}.symbol-sidebar.mobile-open{display:flex}.source-main{grid-area:main}.decision-analysis>div,.chapter-relations>div{grid-template-columns:1fr}.decision-analysis article{min-height:210px}.mini-agent-hero{min-height:auto}.mini-agent-hero-layout{grid-template-columns:1fr;gap:35px}.mini-agent-hero h1{font-size:52px}.mini-agent-stats>div{min-height:105px}.mini-agent-roadmap{padding:58px 0 50px}.mini-agent-stage-nav{display:flex;overflow-x:auto;padding-bottom:5px;scrollbar-width:thin}.mini-agent-stage-nav>a{min-width:235px;min-height:185px}.mini-agent-inheritance{grid-template-columns:28px minmax(0,1fr)}.mini-agent-inheritance>code{grid-column:2;max-width:100%}.mini-agent-stage-header{grid-template-columns:40px minmax(0,1fr)}.mini-agent-stage-command{grid-column:2}.mini-agent-exercise-grid{grid-template-columns:1fr}.mini-agent-task-list{grid-template-columns:repeat(2,minmax(0,1fr))}.mini-agent-exercise-board>footer{align-items:stretch;flex-direction:column}.mini-agent-progress-actions{justify-content:flex-end}.mini-agent-stage-layout{grid-template-columns:1fr}.mini-agent-study-guide{border-top:1px solid var(--border);border-right:0}.mini-agent-source-browser{position:static;grid-row:1;height:730px;min-height:0}.mini-agent-study-guide{grid-row:2}.mini-agent-stage-support{grid-template-columns:1fr}.mini-agent-support-card{border-right:0;border-bottom:1px solid var(--border)}.mini-agent-support-card:last-child{border-bottom:0}}@media(max-width:560px){.topbar-actions{gap:0}.brand b{font-size:12px}.topbar-actions .icon-button{width:34px}.bookmark-trigger{display:none}.hero-copy>p{font-size:14px}.hero-copy h1{font-size:46px}.section-heading h2{font-size:26px}.hero-actions{align-items:flex-start;flex-direction:column;gap:16px}.snapshot-line{flex-wrap:wrap}.snapshot-line small{width:100%;margin-left:24px}.hero-runtime{min-height:314px}.hero-runtime>header{margin-bottom:29px}.runtime-track button>span{width:40px;height:40px}.runtime-track:before{top:20px}.runtime-track>i{top:16px}.runtime-track button b{font-size:9px}.runtime-detail{min-height:84px;margin-top:25px;padding:13px}.runtime-events span:nth-child(3){display:none}.continue-row{grid-template-columns:44px minmax(0,1fr) 20px;gap:11px;padding:14px}.continue-row .mini-progress{display:none}.chapter-grid{grid-template-columns:1fr}.chapter-card{min-height:190px}.layer-strip{grid-template-columns:25px 3px 1fr 38px;padding:0 12px;gap:9px}.page-hero h1{font-size:38px}.page-hero p{font-size:13px}.page-stats>span{padding:0 8px}.page-stats b{font-size:16px}.timeline-content{padding-top:38px}.timeline-progress-summary{grid-template-columns:105px 1fr;margin:0 0 30px}.timeline-entry{grid-template-columns:38px minmax(0,1fr);gap:10px}.timeline-axis>span{width:32px;height:32px}.timeline-axis>i{top:32px}.timeline-entry .chapter-card{margin-bottom:18px}.timeline-evidence-strip{align-items:stretch;flex-wrap:wrap}.timeline-evidence-strip>a{margin-left:0}.architecture-level{grid-template-columns:32px 1fr;gap:9px;padding:18px 12px}.level-index{gap:5px}.level-index i{height:52px}.level-copy h2{font-size:18px}.level-chapters{grid-column:1 / -1;grid-template-columns:1fr}.package-chain{grid-template-columns:1fr}.package-unit{min-height:100px}.compare-workspace{width:calc(100% - 20px)}.compare-controls{grid-template-columns:1fr;align-items:center;padding:14px}.swap-mark{height:24px;transform:rotate(90deg)}.compare-column>header,.compare-column>section{padding-left:17px;padding-right:17px}.chapter-header{padding-left:15px;padding-right:15px}.chapter-title-row h1{font-size:34px}.not-found-page h1{font-size:32px}.chapter-meta span{max-width:100%;overflow-wrap:anywhere}.chapter-tabs button{min-width:86px;padding:0 12px}.chapter-panel,.chapter-panel.tab-source,.chapter-pagination{width:calc(100% - 20px)}.insight-callout{grid-template-columns:1fr;padding:19px}.insight-callout code{grid-column:1;width:auto}.markdown-lesson{padding:0 6px}.markdown-lesson table{display:block;max-width:100%;overflow-x:auto}.markdown-lesson th,.markdown-lesson td{min-width:130px}.guide-objectives,.guide-terms,.problem-brief,.constraint-board,.ownership-board,.engineering-lifecycle{padding:17px}.ownership-board>div,.debugging-grid{grid-template-columns:1fr;overflow:visible}.debugging-grid article:last-child{grid-column:auto}.engineering-lifecycle{overflow:hidden}.engineering-lifecycle ol{padding-bottom:4px}.engineering-lifecycle li{min-width:150px}.failure-clinic-section article{padding:17px}.engineering-lab-heading{align-items:flex-start;flex-direction:column;padding:19px}.lab-repository-card{grid-template-columns:1fr}.lab-repository-card>p{grid-column:auto}.lab-repository-card>div{grid-template-columns:22px 60px minmax(0,1fr)}.lab-task-grid{padding:12px}.lab-source-links{align-items:flex-start;flex-direction:column}.lab-source-links a{max-width:100%}.engineering-review-section>div{padding:17px}.source-proof-section>header{grid-template-columns:22px minmax(0,1fr)}.source-proof-section>header>span{grid-column:2}.source-proof-module>header>div,.source-proof-module>summary>div{grid-template-columns:1fr}.source-proof-module>header small,.source-proof-module>summary small{grid-column:auto}.source-proof-summary,.source-proof-overview .source-proof-module:nth-child(n+4) .source-proof-summary{grid-template-columns:1fr}.source-proof-summary>p{grid-column:auto}.invariant-grid{grid-template-columns:1fr}.invariant-grid article:last-child:nth-child(odd){grid-column:auto;min-height:215px}.knowledge-check-section>header{align-items:flex-start;flex-wrap:wrap}.check-score{width:100%;margin-left:30px}.flow-track{min-width:620px}.active-step-panel{grid-template-columns:1fr;gap:8px;padding:15px 17px}.active-step-panel code{max-width:100%}.key-type-grid{grid-template-columns:1fr}.official-screenshot>div{align-items:flex-start;flex-direction:column;gap:4px;padding-top:10px;padding-bottom:10px}.exercise-section>div{grid-template-columns:1fr}.simulator-intro{align-items:flex-start;flex-direction:column;gap:14px;padding:19px}.agent-loop-lab>header{align-items:flex-start;padding:18px}.lab-options{align-items:flex-start;flex-direction:column;padding:13px 17px}.lab-step{padding:25px 18px}.lab-step h3{font-size:18px}.lab-state-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.agent-loop-lab>footer{flex-wrap:wrap}.agent-loop-lab>footer span{order:3;width:100%;margin:3px 0 0;text-align:center}.simulation-ledger article{grid-template-columns:68px minmax(0,1fr);gap:8px}.simulation-ledger article p,.simulation-ledger article code{grid-column:1 / -1}.source-workspace{height:660px;border-radius:6px}.source-toolbar{min-height:134px}.source-tools{flex-wrap:wrap}.source-search{width:100%;flex-basis:100%}.source-tool-button{flex:1;justify-content:center}.source-breadcrumb code{max-width:calc(100vw - 64px)}.source-reading-guide{grid-template-columns:1fr;gap:7px;padding:10px 12px}.source-reading-guide ol{display:none}.source-challenge-panel{max-height:285px}.source-challenge-panel>div{grid-template-columns:1fr}.source-challenge-panel article{border-right:0;border-bottom:1px solid #2b333d}.code-viewer{font-size:9px}.line-number{width:43px;padding-right:9px}.chapter-pagination{grid-template-columns:1fr 55px 1fr;gap:6px}.chapter-pagination b{font-size:9px}.chapter-pagination>a>svg{display:none}.package-analysis-map{justify-content:flex-start}.counterexample-analysis article{grid-template-columns:1fr}.counterexample-analysis article>span,.counterexample-analysis dl{grid-column:auto}.counterexample-analysis dl{grid-template-columns:1fr}.counterexample-analysis dl>div{padding:9px 0 0;border-top:1px solid var(--border);border-left:0}.mini-agent-hero-actions{align-items:flex-start;flex-direction:column}.mini-agent-stats>div{min-height:94px;padding:14px}.mini-agent-stats dd{font-size:25px}.mini-agent-stage-header{grid-template-columns:1fr;gap:13px;padding:21px 18px}.mini-agent-stage-number{display:none}.mini-agent-stage-command{grid-column:auto}.mini-agent-exercise-board{padding:19px 17px}.mini-agent-exercise-board>header{align-items:stretch;flex-direction:column;gap:13px}.mini-agent-stage-status{width:100%;display:flex;align-items:center;justify-content:space-between}.mini-agent-task-list{grid-template-columns:1fr}.mini-agent-task-summary{grid-template-columns:28px minmax(0,1fr)}.mini-agent-run-task{grid-column:2;justify-self:start}.mini-agent-task-title{align-items:flex-start;flex-direction:column;gap:4px}.mini-agent-secondary-commands>span{grid-template-columns:1fr 26px}.mini-agent-secondary-commands b{grid-column:1 / -1}.mini-agent-progress-actions{align-items:stretch;flex-direction:column}.mini-agent-progress-actions button{justify-content:center}.mini-agent-source-browser{height:650px}.mini-agent-browser-header{align-items:flex-start;flex-direction:column;justify-content:center;gap:4px}.mini-agent-browser-header>code{width:100%}.mini-agent-file-tabs a{grid-template-columns:16px minmax(0,1fr);padding:8px}.mini-agent-file-tabs code{display:none}.mini-agent-solution-gate{padding:35px 20px}.mini-agent-solution-gate>div{align-items:stretch;flex-direction:column}.mini-agent-readme{padding:26px 20px 45px}.mini-agent-readme h1{font-size:23px}.mini-agent-study-guide>section{padding:17px}.mini-agent-support-card{padding:17px}.mini-agent-support-card .mini-agent-test-list{grid-template-columns:1fr}.mini-agent-stage-pagination{gap:8px}.mini-agent-stage-pagination b{font-size:8px}.lab-source-links .lab-open-mini-agent{margin-left:0}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{scroll-behavior:auto!important;animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important}}