.deep-how[data-astro-cid-y4zsc3hh]{--deep-blue:#69a7ff;--deep-cyan:#74d1ff;--deep-good:#6ed6ad;--deep-warn:#ff9d87;background:var(--ink);color:var(--text);overflow:clip}.deep-shell[data-astro-cid-y4zsc3hh]{width:min(1240px,100vw - 96px);margin-inline:auto}.deep-hero[data-astro-cid-y4zsc3hh]{border-bottom:1px solid var(--line);background:radial-gradient(circle at 76% 18%, #69a7ff26, transparent 32%), linear-gradient(180deg, var(--ink-raised), var(--ink));padding:132px 0 52px;position:relative}.deep-hero[data-astro-cid-y4zsc3hh]:before{background-image:linear-gradient(var(--line) 1px, transparent 1px), linear-gradient(90deg, var(--line) 1px, transparent 1px);content:"";pointer-events:none;background-size:72px 72px;position:absolute;inset:0;mask-image:linear-gradient(#0000007a,#0000 76%)}.deep-hero__grid[data-astro-cid-y4zsc3hh]{grid-template-columns:minmax(0,1.16fr) minmax(340px,.84fr);align-items:end;gap:clamp(40px,6vw,78px);display:grid;position:relative}.deep-kicker[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);letter-spacing:.14em;text-transform:uppercase;margin-bottom:20px;font-size:.69rem;font-weight:760}.deep-hero[data-astro-cid-y4zsc3hh] h1[data-astro-cid-y4zsc3hh]{letter-spacing:-.048em;max-width:760px;font-size:clamp(2.8rem,4.2vw,4.25rem);line-height:1.03}.deep-hero__copy[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);gap:22px;padding-bottom:10px;font-size:clamp(1rem,1.12vw,1.14rem);line-height:1.68;display:grid}.deep-equation[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);background:color-mix(in srgb, var(--ink-raised) 92%, transparent);border-radius:14px;align-items:center;gap:12px;margin-top:50px;padding:17px;display:flex;position:relative;overflow-x:auto}.deep-equation[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh]{background:var(--ink-soft);border-radius:8px;min-width:max-content;padding:10px 14px;font-size:.78rem;font-weight:700}.deep-equation[data-astro-cid-y4zsc3hh] b[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);font-weight:500}.deep-chapters[data-astro-cid-y4zsc3hh]{z-index:20;border-top:1px solid var(--line);border-bottom:1px solid var(--line);background:color-mix(in srgb, var(--ink) 97%, var(--ink-raised));backdrop-filter:blur(18px);position:sticky;top:0}.deep-chapters[data-astro-cid-y4zsc3hh]>div[data-astro-cid-y4zsc3hh]{scrollbar-width:none;align-items:center;gap:6px;display:flex;overflow-x:auto}.deep-chapters[data-astro-cid-y4zsc3hh] a[data-astro-cid-y4zsc3hh]{min-width:max-content;color:var(--muted);border-bottom:2px solid #0000;padding:17px 14px 15px;font-size:.72rem;font-weight:700;text-decoration:none;transition:color .14s,border-color .14s}.deep-chapters[data-astro-cid-y4zsc3hh] a[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);font-variant-numeric:tabular-nums;margin-right:7px}.deep-chapters[data-astro-cid-y4zsc3hh] a[data-astro-cid-y4zsc3hh]:hover,.deep-chapters[data-astro-cid-y4zsc3hh] a[data-astro-cid-y4zsc3hh][data-current]{border-color:var(--deep-blue);color:var(--text)}.deep-section[data-astro-cid-y4zsc3hh]{border-bottom:1px solid var(--line);padding:clamp(78px,8vw,112px) 0;scroll-margin-top:76px}.deep-section-heading[data-astro-cid-y4zsc3hh]{border-left:3px solid color-mix(in srgb, var(--deep-blue) 72%, transparent);max-width:820px;margin-bottom:42px;padding-left:22px}.deep-section-heading--wide[data-astro-cid-y4zsc3hh]{max-width:940px}.deep-section-heading[data-astro-cid-y4zsc3hh] h2[data-astro-cid-y4zsc3hh]{letter-spacing:-.04em;max-width:900px;font-size:clamp(2rem,3vw,3.1rem);line-height:1.08}.deep-section-heading[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]:last-child{max-width:760px;color:var(--muted-bright);margin-top:20px;font-size:clamp(1rem,1.15vw,1.12rem);line-height:1.72}.principle-grid[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(4,1fr);gap:14px;display:grid}.principle-grid[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);background:var(--ink-raised);border-radius:15px;min-height:248px;padding:26px}.principle-grid[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh],.definition-band[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh],.rule-parts[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh],.trace-explanation[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh],.algorithm-grid[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);letter-spacing:.12em;text-transform:uppercase;font-size:.66rem;font-weight:760}.principle-grid[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh]{letter-spacing:-.035em;margin:34px 0 13px;font-size:1.55rem}.principle-grid[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh],.definition-band[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh],.rule-parts[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh],.trace-explanation[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh],.algorithm-grid[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);line-height:1.68}.not-dag[data-astro-cid-y4zsc3hh]{border:1px solid color-mix(in srgb, var(--deep-blue) 35%, var(--line));background:color-mix(in srgb, var(--deep-blue) 7%, var(--ink-raised));border-radius:12px;grid-template-columns:minmax(220px,.34fr) minmax(0,1fr);align-items:baseline;gap:24px;max-width:900px;margin-top:20px;padding:18px 20px;display:grid}.not-dag[data-astro-cid-y4zsc3hh] strong[data-astro-cid-y4zsc3hh]{font-size:.95rem}.not-dag[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{max-width:930px;color:var(--muted-bright);font-size:.9rem;line-height:1.6}.deep-discovery[data-astro-cid-y4zsc3hh]{background:var(--section-deep)}.definition-band[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(3,1fr);gap:14px;display:grid}.definition-band[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);background:var(--ink-raised);border-radius:15px;flex-direction:column;min-width:0;padding:25px;display:flex}.definition-band[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]:last-child{border-right:1px solid var(--line)}.definition-band[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh]{margin:24px 0 15px;font-size:clamp(1.28rem,1.65vw,1.6rem);line-height:1.16}.ts-analog[data-astro-cid-y4zsc3hh]{border-left:2px solid color-mix(in srgb, var(--deep-blue) 65%, transparent);margin-top:auto;padding:17px 0 0 16px}.ts-analog[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh],.memory-checkpoint[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);letter-spacing:.1em;text-transform:uppercase;margin-bottom:8px;font-size:.64rem;font-weight:760;display:block}.ts-analog[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{font-size:.82rem;line-height:1.58}.deep-code-pair[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(2,minmax(0,1fr));gap:24px;margin-top:38px;display:grid}.deep-code-pair--foundations[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr}.deep-code[data-astro-cid-y4zsc3hh]{min-width:0}.deep-code[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]{color:var(--muted);margin:0 0 12px;font-size:.76rem}.deep-code[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);margin-right:8px;font-weight:750}.deep-code[data-astro-cid-y4zsc3hh] .code-window{height:100%}.deep-code[data-astro-cid-y4zsc3hh] .code-window__body pre{overscroll-behavior-inline:contain;min-width:0;max-height:520px;overflow-x:auto}.memory-checkpoint[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);background:var(--ink-raised);border-radius:15px;grid-template-columns:1fr auto 1fr auto 1fr;align-items:center;gap:16px;margin-top:24px;padding:22px;display:grid}.memory-checkpoint[data-astro-cid-y4zsc3hh]>div[data-astro-cid-y4zsc3hh]{min-width:0}.memory-checkpoint[data-astro-cid-y4zsc3hh]>b[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);font-weight:500}.memory-checkpoint[data-astro-cid-y4zsc3hh] strong[data-astro-cid-y4zsc3hh]{min-height:28px;margin-bottom:8px;display:block}.memory-checkpoint[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);font-size:.84rem;line-height:1.55}.ast-visual[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);background:var(--ink-soft);border-radius:15px;grid-template-columns:1fr auto 1fr auto 1.25fr;align-items:center;gap:14px;margin-top:16px;padding:20px;display:grid}.ast-visual[data-astro-cid-y4zsc3hh]>div[data-astro-cid-y4zsc3hh]{min-width:0}.ast-visual[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh],.python-edge-story[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh],.projection-strip[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh],.stage-output[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);letter-spacing:.1em;text-transform:uppercase;margin-bottom:9px;font-size:.64rem;font-weight:760;display:block}.ast-visual[data-astro-cid-y4zsc3hh] code[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);font:.78rem/1.55 ui-monospace,SFMono-Regular,Consolas,monospace;display:block;overflow-x:auto}.ast-visual[data-astro-cid-y4zsc3hh] .inline-code{white-space:normal;overflow-wrap:anywhere;display:block}.ast-visual[data-astro-cid-y4zsc3hh]>b[data-astro-cid-y4zsc3hh],.projection-strip[data-astro-cid-y4zsc3hh]>b[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);font-weight:500}.analysis-limit[data-astro-cid-y4zsc3hh]{background:color-mix(in srgb, var(--deep-warn) 7%, var(--ink-raised));border-radius:12px;grid-template-columns:minmax(220px,.3fr) minmax(0,1fr);gap:24px;margin-top:16px;padding:18px 20px;display:grid}.analysis-limit[data-astro-cid-y4zsc3hh] strong[data-astro-cid-y4zsc3hh]{font-size:.92rem}.analysis-limit[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);font-size:.88rem;line-height:1.62}.language-analogy[data-astro-cid-y4zsc3hh]{border:1px solid color-mix(in srgb, var(--deep-blue) 32%, var(--line));background:color-mix(in srgb, var(--deep-blue) 6%, var(--ink-raised));border-radius:15px;grid-template-columns:minmax(250px,.42fr) minmax(0,1fr);align-items:start;gap:36px;margin-top:34px;padding:26px;display:grid}.language-analogy[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh]{letter-spacing:-.035em;font-size:clamp(1.35rem,1.9vw,1.85rem);line-height:1.12}.language-analogy[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);line-height:1.7}.language-analogy--compact[data-astro-cid-y4zsc3hh]{margin-top:22px}.python-edge-story[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;display:grid}.python-edge-story[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);background:var(--ink-raised);border-radius:14px;min-width:0;padding:23px}.python-edge-story[data-astro-cid-y4zsc3hh] strong[data-astro-cid-y4zsc3hh]{margin-bottom:15px;display:block}.python-edge-story[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);font-size:.86rem;line-height:1.62}.trace-intro[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line-strong);grid-template-columns:minmax(280px,.46fr) minmax(0,.54fr);gap:40px;margin:62px 0 24px;padding-top:30px;display:grid}.trace-intro[data-astro-cid-y4zsc3hh] .deep-kicker[data-astro-cid-y4zsc3hh]{grid-column:1/-1;margin-bottom:-18px}.trace-intro[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh]{letter-spacing:-.04em;font-size:clamp(1.65rem,2.3vw,2.25rem);line-height:1.1}.trace-intro[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]:last-child{color:var(--muted-bright);line-height:1.7}.resolution-detail[data-astro-cid-y4zsc3hh],.evaluation-machine[data-astro-cid-y4zsc3hh],.assertion-grid[data-astro-cid-y4zsc3hh]{grid-template-columns:minmax(0,.82fr) minmax(500px,1.18fr);align-items:start;gap:clamp(34px,5vw,82px);margin-top:58px;display:grid}.resolution-detail[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh],.graph-contract[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh],.empty-test-note[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh]{letter-spacing:-.04em;margin-bottom:18px;font-size:clamp(1.75rem,2.5vw,2.45rem);line-height:1.08}.resolution-detail[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh],.graph-contract[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh],.empty-test-note[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);line-height:1.72}.evidence-lab[data-astro-cid-y4zsc3hh]{border:1px solid var(--line-strong);background:var(--ink-raised);border-radius:18px;grid-template-columns:minmax(0,1.04fr) minmax(0,.96fr);display:grid;overflow:hidden}.ide-frame[data-astro-cid-y4zsc3hh]{border-right:1px solid var(--line);min-width:0}.ide-titlebar[data-astro-cid-y4zsc3hh],.terminal-bar[data-astro-cid-y4zsc3hh],.ide-tab[data-astro-cid-y4zsc3hh]{border-bottom:1px solid var(--line);align-items:center;min-height:52px;padding:0 17px;display:flex}.ide-titlebar[data-astro-cid-y4zsc3hh]{gap:14px}.ide-titlebar[data-astro-cid-y4zsc3hh] strong[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);font-size:.75rem;font-weight:650}.ide-titlebar[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh],.terminal-foot[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh]{border:1px solid color-mix(in srgb, var(--deep-blue) 60%, transparent);background:var(--lime-soft);color:var(--text);cursor:pointer;border-radius:8px;margin-left:auto;padding:9px 13px;font-size:.72rem;font-weight:720}[data-astro-cid-y4zsc3hh][data-run-trace],[data-astro-cid-y4zsc3hh][data-show-trace]{display:none}[data-astro-cid-y4zsc3hh][data-enhanced] [data-astro-cid-y4zsc3hh][data-run-trace],[data-astro-cid-y4zsc3hh][data-enhanced] [data-astro-cid-y4zsc3hh][data-show-trace]{justify-content:center;align-items:center;display:inline-flex}.ide-titlebar[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh]:disabled{cursor:wait;opacity:.62}.ide-body[data-astro-cid-y4zsc3hh]{grid-template-columns:154px minmax(0,1fr);min-height:360px;display:grid}.ide-body[data-astro-cid-y4zsc3hh] aside[data-astro-cid-y4zsc3hh]{border-right:1px solid var(--line);color:var(--muted);flex-direction:column;gap:12px;padding:20px 10px;font:.68rem/1.35 ui-monospace,SFMono-Regular,Consolas,monospace;display:flex}.ide-body[data-astro-cid-y4zsc3hh] aside[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh],.ide-body[data-astro-cid-y4zsc3hh] aside[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh]{padding:0 8px}.ide-body[data-astro-cid-y4zsc3hh] aside[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh]{color:var(--text);text-align:left;background:0 0;border:0}.ide-editor[data-astro-cid-y4zsc3hh] pre[data-astro-cid-y4zsc3hh]{overscroll-behavior-inline:contain;color:#e1e4e8;padding:26px;font:.79rem/1.8 ui-monospace,SFMono-Regular,Consolas,monospace;overflow-x:auto}.ide-tab[data-astro-cid-y4zsc3hh]{border-right:1px solid var(--line);width:max-content;color:var(--muted-bright);font:.7rem ui-monospace,SFMono-Regular,Consolas,monospace}.token-comment[data-astro-cid-y4zsc3hh]{color:#8b949e}.token-keyword[data-astro-cid-y4zsc3hh]{color:#ff7b72}.token-string[data-astro-cid-y4zsc3hh]{color:#a5d6ff}.token-function[data-astro-cid-y4zsc3hh]{color:#d2a8ff}.token-punctuation[data-astro-cid-y4zsc3hh]{color:#c9d1d9}.lab-graph[data-astro-cid-y4zsc3hh]{min-width:0;padding:18px}.lab-status[data-astro-cid-y4zsc3hh]{color:var(--muted);text-transform:uppercase;letter-spacing:.08em;justify-content:space-between;font-size:.68rem;display:flex}.lab-status[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh]{color:var(--deep-cyan)}.lab-graph[data-astro-cid-y4zsc3hh] svg[data-astro-cid-y4zsc3hh]{margin-top:8px}.lab-graph[data-astro-cid-y4zsc3hh] .lab-edge[data-astro-cid-y4zsc3hh]{fill:none;stroke:var(--deep-blue);stroke-dasharray:7 8;stroke-width:3px;opacity:.25;transition:opacity .26s,stroke-dashoffset 1.2s linear}.lab-graph[data-astro-cid-y4zsc3hh][data-edge-ready] .lab-edge[data-astro-cid-y4zsc3hh]{opacity:1;animation:1.2s linear infinite edge-flow}.lab-graph[data-astro-cid-y4zsc3hh] marker[data-astro-cid-y4zsc3hh] path[data-astro-cid-y4zsc3hh]{fill:var(--deep-blue)}.lab-node[data-astro-cid-y4zsc3hh] rect[data-astro-cid-y4zsc3hh],.lab-edge-card[data-astro-cid-y4zsc3hh] rect[data-astro-cid-y4zsc3hh]{fill:var(--ink-soft);stroke:var(--line-strong)}.lab-node[data-astro-cid-y4zsc3hh] text[data-astro-cid-y4zsc3hh],.lab-edge-card[data-astro-cid-y4zsc3hh] text[data-astro-cid-y4zsc3hh]{fill:var(--muted-bright);font:14px ui-monospace,SFMono-Regular,Consolas,monospace}.lab-node[data-astro-cid-y4zsc3hh] text[data-astro-cid-y4zsc3hh]:first-of-type,.lab-edge-card[data-astro-cid-y4zsc3hh] text[data-astro-cid-y4zsc3hh]:first-of-type{fill:var(--deep-blue);letter-spacing:.1em;font-size:11px;font-weight:760}.lab-graph[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]{color:var(--muted);padding:0 14px 10px;font-size:.76rem;line-height:1.55}.evidence-terminal[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line);background:#05070b;grid-column:1/-1}.terminal-bar[data-astro-cid-y4zsc3hh]{color:#8592a6;justify-content:space-between;font:.68rem ui-monospace,SFMono-Regular,Consolas,monospace}.evidence-terminal[data-astro-cid-y4zsc3hh] pre[data-astro-cid-y4zsc3hh]{overscroll-behavior-inline:contain;color:#d8e0eb;white-space:pre-wrap;height:auto;min-height:280px;max-height:350px;margin:0;padding:24px;font:.76rem/1.7 ui-monospace,SFMono-Regular,Consolas,monospace;overflow:auto}.log-line[data-astro-cid-y4zsc3hh]{opacity:1;overflow-wrap:anywhere;word-break:break-word;white-space:pre-wrap;border-left:2px solid #0000;max-width:100%;padding-left:8px;transition:opacity .14s,background-color .14s,border-color .14s;display:block}[data-astro-cid-y4zsc3hh][data-running] .log-line[data-astro-cid-y4zsc3hh]:not([data-active]):not([data-complete]){opacity:.68}[data-astro-cid-y4zsc3hh][data-running] .log-line[data-astro-cid-y4zsc3hh][data-complete]{opacity:.7}.log-line[data-astro-cid-y4zsc3hh][data-active]{border-color:var(--deep-cyan);opacity:1;background:#69a7ff1a}.log-line--debug[data-astro-cid-y4zsc3hh]{color:#9eb0c9}.log-line--info[data-astro-cid-y4zsc3hh]{color:#8ecfff}.log-line--warn[data-astro-cid-y4zsc3hh]{color:#ffad98}.terminal-foot[data-astro-cid-y4zsc3hh]{color:#8b98ab;border-top:1px solid #7fa9e121;grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:24px;padding:18px 22px;display:grid}.terminal-foot[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{max-width:1050px;font-size:.72rem;line-height:1.55}.terminal-foot[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]:first-child{grid-column:1/-1}.terminal-foot[data-astro-cid-y4zsc3hh] .trace-status[data-astro-cid-y4zsc3hh]{color:#b7c7db;text-overflow:ellipsis;white-space:nowrap;max-width:72ch;overflow:hidden}.trace-explanation[data-astro-cid-y4zsc3hh],.rule-parts[data-astro-cid-y4zsc3hh],.algorithm-grid[data-astro-cid-y4zsc3hh]{background:var(--line);grid-template-columns:repeat(3,1fr);gap:1px;margin-top:28px;display:grid}.trace-explanation[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh],.rule-parts[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh],.algorithm-grid[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]{background:var(--ink);padding:28px}.trace-explanation[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh],.rule-parts[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh],.algorithm-grid[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{margin-top:16px}.resolution-detail[data-astro-cid-y4zsc3hh]{grid-template-columns:minmax(280px,.72fr) minmax(0,1.28fr)}.graph-contract[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);border-radius:20px;grid-template-columns:.45fr 1fr;gap:45px 70px;margin-top:54px;padding:32px;display:grid}.graph-contract[data-astro-cid-y4zsc3hh] dl[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(2,1fr);gap:18px;display:grid}.graph-contract[data-astro-cid-y4zsc3hh] dl[data-astro-cid-y4zsc3hh] div[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);background:var(--ink-soft);border-radius:12px;padding:18px}.graph-contract[data-astro-cid-y4zsc3hh] dt[data-astro-cid-y4zsc3hh]{margin-bottom:11px}.graph-contract[data-astro-cid-y4zsc3hh] dd[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);margin:0;line-height:1.55}.graph-contract[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]{grid-column:2}.graph-contract[data-astro-cid-y4zsc3hh]>div[data-astro-cid-y4zsc3hh]:first-child>p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);margin-top:18px;font-size:.9rem;line-height:1.62}.projection-strip[data-astro-cid-y4zsc3hh]{grid-column:1/-1;grid-template-columns:1fr auto 1fr auto 1fr auto 1fr;align-items:center;gap:12px;display:grid}.projection-strip[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);background:var(--ink-soft);border-radius:12px;min-height:142px;padding:18px}.projection-strip[data-astro-cid-y4zsc3hh] strong[data-astro-cid-y4zsc3hh]{margin-bottom:12px;display:block}.projection-strip[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);font-size:.8rem;line-height:1.55}.stage-output[data-astro-cid-y4zsc3hh]{border:1px solid color-mix(in srgb, var(--deep-blue) 34%, var(--line));background:color-mix(in srgb, var(--deep-blue) 6%, var(--ink-raised));border-radius:12px;grid-template-columns:minmax(200px,.27fr) minmax(0,1fr);gap:24px;margin-top:24px;padding:19px 20px;display:grid}.graph-contract[data-astro-cid-y4zsc3hh] .stage-output[data-astro-cid-y4zsc3hh]{grid-column:1/-1;margin-top:0}.stage-output[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh]{margin:0}.stage-output[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);font-size:.9rem;line-height:1.62}.deep-rule-section[data-astro-cid-y4zsc3hh]{background:var(--section-deep)}.sentence-machine[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);background:var(--ink-raised);border-radius:18px;align-items:stretch;gap:10px;padding:24px;display:flex;overflow-x:auto}.sentence-machine[data-astro-cid-y4zsc3hh] div[data-astro-cid-y4zsc3hh]{background:var(--ink-soft);border-radius:11px;min-width:156px;padding:18px}.sentence-machine[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);letter-spacing:.12em;text-transform:uppercase;margin-bottom:20px;font-size:.62rem;font-weight:760;display:block}.sentence-machine[data-astro-cid-y4zsc3hh] strong[data-astro-cid-y4zsc3hh]{font-size:.89rem}.sentence-machine[data-astro-cid-y4zsc3hh]>b[data-astro-cid-y4zsc3hh]{color:var(--muted);align-self:center;font-weight:500}.rule-parts[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(4,1fr)}.evaluation-machine[data-astro-cid-y4zsc3hh]{grid-template-columns:minmax(460px,.95fr) minmax(0,1.05fr)}.evaluation-code-stack[data-astro-cid-y4zsc3hh]{gap:34px;min-width:0;display:grid}.evaluation-flow[data-astro-cid-y4zsc3hh]{background:var(--line);grid-template-columns:repeat(2,1fr);gap:1px;display:grid}.evaluation-flow[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]{background:var(--ink-raised);padding:24px}.evaluation-flow[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh],.assertion-steps[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh]{border:1px solid var(--line-strong);width:31px;height:31px;color:var(--deep-blue);border-radius:50%;place-items:center;margin-bottom:30px;font-size:.65rem;display:inline-grid}.evaluation-flow[data-astro-cid-y4zsc3hh] strong[data-astro-cid-y4zsc3hh]{margin-bottom:10px;display:block}.evaluation-flow[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh],.assertion-steps[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);font-size:.88rem;line-height:1.62}.evaluation-notes[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin-top:20px;display:grid}.evaluation-notes[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);background:var(--ink-raised);border-radius:12px;padding:20px}.evaluation-notes[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh]{margin-bottom:13px;display:block}.evaluation-notes[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);font-size:.84rem;line-height:1.6}.evaluation-example[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);border-radius:16px;margin-top:34px;overflow-x:auto}.eval-row[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line);grid-template-columns:1.3fr 1.3fr .7fr .7fr .7fr;min-width:850px;display:grid}.eval-row[data-astro-cid-y4zsc3hh]:first-child{border-top:0}.eval-row[data-astro-cid-y4zsc3hh]>[data-astro-cid-y4zsc3hh]{border-right:1px solid var(--line);padding:16px 18px;font-size:.76rem}.eval-row[data-astro-cid-y4zsc3hh]>[data-astro-cid-y4zsc3hh]:last-child{border-right:0}.eval-row--head[data-astro-cid-y4zsc3hh]{background:var(--ink-soft);color:var(--muted);letter-spacing:.08em;text-transform:uppercase;font-weight:730}.eval-row[data-astro-cid-y4zsc3hh] b[data-astro-cid-y4zsc3hh]{color:var(--deep-warn)}.eval-row[data-astro-cid-y4zsc3hh] em[data-astro-cid-y4zsc3hh]{color:var(--muted);font-style:normal}.empty-test-note[data-astro-cid-y4zsc3hh]{border:1px solid var(--line-strong);background:var(--lime-soft);border-radius:16px;grid-template-columns:.45fr 1fr;gap:50px;margin-top:34px;padding:32px;display:grid}.algorithm-grid[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]{min-height:310px}.algorithm-grid[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh]{margin:44px 0 16px;font-size:1.65rem;line-height:1.1}.algorithm-grid[data-astro-cid-y4zsc3hh] strong[data-astro-cid-y4zsc3hh]{color:var(--deep-cyan);margin-top:28px;font-size:.78rem;display:block}.algorithm-visual[data-astro-cid-y4zsc3hh]{border:1px solid var(--line);border-radius:18px;flex-wrap:wrap;align-items:center;gap:18px;margin-top:32px;padding:40px;display:flex}.algorithm-visual[data-astro-cid-y4zsc3hh] div[data-astro-cid-y4zsc3hh]{border:1px solid var(--deep-blue);background:var(--lime-soft);border-radius:50%;place-items:center;width:112px;height:112px;display:grid}.algorithm-visual[data-astro-cid-y4zsc3hh] div[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh]{font-size:1.4rem;font-weight:800}.algorithm-visual[data-astro-cid-y4zsc3hh] div[data-astro-cid-y4zsc3hh] small[data-astro-cid-y4zsc3hh]{color:var(--muted);margin-top:-32px;font-size:.58rem}.algorithm-visual[data-astro-cid-y4zsc3hh] i[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);font-style:normal}.algorithm-visual[data-astro-cid-y4zsc3hh] .algorithm-return[data-astro-cid-y4zsc3hh]{color:var(--deep-warn);font-size:1.6rem}.algorithm-visual[data-astro-cid-y4zsc3hh] .algorithm-isolated[data-astro-cid-y4zsc3hh]{border-color:var(--line-strong);margin-left:40px}.algorithm-visual[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{min-width:300px;color:var(--muted-bright);flex:1;line-height:1.65}.deep-feedback-section[data-astro-cid-y4zsc3hh]{background:var(--section-deep)}.assertion-code-pair[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(2,minmax(0,1fr));align-items:start;gap:clamp(28px,4vw,58px);margin-top:58px;display:grid}.assertion-grid[data-astro-cid-y4zsc3hh]{grid-template-columns:minmax(540px,1.1fr) minmax(0,.9fr)}.assertion-steps[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line);display:grid}.assertion-steps--wide[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(2,minmax(0,1fr));column-gap:34px;max-width:1080px;margin-top:42px}.assertion-steps[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]{border-bottom:1px solid var(--line);grid-template-columns:44px 1fr;gap:18px;padding:20px 0;display:grid}.assertion-steps[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]>span[data-astro-cid-y4zsc3hh]{margin:0}.trust-boundary[data-astro-cid-y4zsc3hh]{background:var(--line);grid-template-columns:repeat(2,1fr);gap:1px;margin-top:68px;display:grid}.trust-boundary[data-astro-cid-y4zsc3hh]>div[data-astro-cid-y4zsc3hh]{background:var(--ink);padding:34px}.trust-boundary[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);letter-spacing:.1em;text-transform:uppercase;font-size:.72rem;font-weight:760}.trust-boundary[data-astro-cid-y4zsc3hh] ul[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);gap:15px;margin-top:26px;padding-left:20px;line-height:1.62;display:grid}.deep-summary[data-astro-cid-y4zsc3hh]{border:1px solid var(--line-strong);background:radial-gradient(circle at 80% 20%, #69a7ff24, transparent 32%), var(--ink-raised);border-radius:24px;margin-top:90px;padding:clamp(42px,6vw,88px)}.deep-summary[data-astro-cid-y4zsc3hh] h2[data-astro-cid-y4zsc3hh]{letter-spacing:-.048em;max-width:1050px;font-size:clamp(2.15rem,3.4vw,3.45rem);line-height:1.06}.deep-summary[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]:nth-of-type(2){max-width:790px;color:var(--muted-bright);margin-top:28px;font-size:1.08rem;line-height:1.7}.deep-summary[data-astro-cid-y4zsc3hh]>div[data-astro-cid-y4zsc3hh]{gap:12px;margin-top:34px;display:flex}@keyframes edge-flow{to{stroke-dashoffset:-30px}}@media (width<=1100px){.deep-shell[data-astro-cid-y4zsc3hh]{width:min(100% - 64px,1240px)}.deep-hero__grid[data-astro-cid-y4zsc3hh],.resolution-detail[data-astro-cid-y4zsc3hh],.evaluation-machine[data-astro-cid-y4zsc3hh],.assertion-grid[data-astro-cid-y4zsc3hh],.assertion-code-pair[data-astro-cid-y4zsc3hh],.graph-contract[data-astro-cid-y4zsc3hh],.empty-test-note[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr}.principle-grid[data-astro-cid-y4zsc3hh],.rule-parts[data-astro-cid-y4zsc3hh],.python-edge-story[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(2,1fr)}.definition-band[data-astro-cid-y4zsc3hh],.trace-explanation[data-astro-cid-y4zsc3hh],.algorithm-grid[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr}.definition-band[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]{border:1px solid var(--line)}.evidence-lab[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr}.ide-frame[data-astro-cid-y4zsc3hh]{border-right:0;border-bottom:1px solid var(--line)}.graph-contract[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]{grid-column:auto}.projection-strip[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr}.projection-strip[data-astro-cid-y4zsc3hh]>b[data-astro-cid-y4zsc3hh]{justify-self:center;transform:rotate(90deg)}.algorithm-visual[data-astro-cid-y4zsc3hh] .algorithm-isolated[data-astro-cid-y4zsc3hh]{margin-left:0}}@media (width<=760px){.deep-shell[data-astro-cid-y4zsc3hh]{width:min(100% - 40px,1240px)}.deep-hero[data-astro-cid-y4zsc3hh]{padding:92px 0 38px}.deep-hero__grid[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr;gap:24px}.deep-hero[data-astro-cid-y4zsc3hh] h1[data-astro-cid-y4zsc3hh]{font-size:clamp(2.1rem,9vw,2.55rem);line-height:1.04}.deep-equation[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(2,minmax(0,1fr));margin-top:44px;display:grid;overflow:visible}.deep-equation[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh]{text-align:center;min-width:0}.deep-equation[data-astro-cid-y4zsc3hh] b[data-astro-cid-y4zsc3hh]{display:none}.deep-chapters[data-astro-cid-y4zsc3hh]{top:0}.deep-chapters[data-astro-cid-y4zsc3hh] a[data-astro-cid-y4zsc3hh]{scroll-snap-align:center;padding:12px 9px 10px}.deep-chapters[data-astro-cid-y4zsc3hh]>div[data-astro-cid-y4zsc3hh]{scroll-snap-type:x proximity}.deep-section[data-astro-cid-y4zsc3hh]{padding:64px 0;scroll-margin-top:64px}.deep-section-heading[data-astro-cid-y4zsc3hh] h2[data-astro-cid-y4zsc3hh],.deep-summary[data-astro-cid-y4zsc3hh] h2[data-astro-cid-y4zsc3hh]{font-size:clamp(1.9rem,7.8vw,2.35rem)}.deep-section-heading[data-astro-cid-y4zsc3hh]{padding-left:16px}.principle-grid[data-astro-cid-y4zsc3hh],.deep-code-pair[data-astro-cid-y4zsc3hh],.rule-parts[data-astro-cid-y4zsc3hh],.trust-boundary[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr}.principle-grid[data-astro-cid-y4zsc3hh] article[data-astro-cid-y4zsc3hh]{min-height:0}.not-dag[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr;gap:18px}.memory-checkpoint[data-astro-cid-y4zsc3hh],.language-analogy[data-astro-cid-y4zsc3hh],.ast-visual[data-astro-cid-y4zsc3hh],.analysis-limit[data-astro-cid-y4zsc3hh],.python-edge-story[data-astro-cid-y4zsc3hh],.trace-intro[data-astro-cid-y4zsc3hh],.stage-output[data-astro-cid-y4zsc3hh],.evaluation-notes[data-astro-cid-y4zsc3hh],.assertion-steps--wide[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr}.memory-checkpoint[data-astro-cid-y4zsc3hh]>b[data-astro-cid-y4zsc3hh],.ast-visual[data-astro-cid-y4zsc3hh]>b[data-astro-cid-y4zsc3hh]{justify-self:start;transform:rotate(90deg)}.trace-intro[data-astro-cid-y4zsc3hh]{gap:18px;margin-top:48px}.trace-intro[data-astro-cid-y4zsc3hh] .deep-kicker[data-astro-cid-y4zsc3hh]{grid-column:auto;margin-bottom:0}.ide-body[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr}.ide-body[data-astro-cid-y4zsc3hh] aside[data-astro-cid-y4zsc3hh]{display:none}.ide-editor[data-astro-cid-y4zsc3hh] pre[data-astro-cid-y4zsc3hh]{padding:20px;font-size:.7rem}.lab-graph[data-astro-cid-y4zsc3hh]{padding:10px 4px}.evidence-terminal[data-astro-cid-y4zsc3hh] pre[data-astro-cid-y4zsc3hh]{height:360px;padding:18px;font-size:.68rem}.terminal-foot[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr;align-items:flex-start}.terminal-foot[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]:first-child,.terminal-foot[data-astro-cid-y4zsc3hh] .trace-status[data-astro-cid-y4zsc3hh],.terminal-foot[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh]{grid-column:1}.terminal-foot[data-astro-cid-y4zsc3hh] .trace-status[data-astro-cid-y4zsc3hh]{white-space:normal}.terminal-foot[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh]{margin-left:0}.graph-contract[data-astro-cid-y4zsc3hh],.empty-test-note[data-astro-cid-y4zsc3hh]{padding:24px}.graph-contract[data-astro-cid-y4zsc3hh] dl[data-astro-cid-y4zsc3hh],.evaluation-flow[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr}.algorithm-visual[data-astro-cid-y4zsc3hh]{padding:25px}.algorithm-visual[data-astro-cid-y4zsc3hh] div[data-astro-cid-y4zsc3hh]{width:82px;height:82px}.algorithm-visual[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{min-width:100%}.deep-summary[data-astro-cid-y4zsc3hh]>div[data-astro-cid-y4zsc3hh]{flex-direction:column;align-items:stretch}}@media (prefers-reduced-motion:reduce){.lab-graph[data-astro-cid-y4zsc3hh][data-edge-ready] .lab-edge[data-astro-cid-y4zsc3hh]{animation:none}}.deep-how[data-astro-cid-y4zsc3hh] pre[data-astro-cid-y4zsc3hh],.deep-how[data-astro-cid-y4zsc3hh] svg[data-astro-cid-y4zsc3hh],.evidence-lab[data-astro-cid-y4zsc3hh],.ide-frame[data-astro-cid-y4zsc3hh],.evidence-terminal[data-astro-cid-y4zsc3hh]{max-width:100%}.deep-how[data-astro-cid-y4zsc3hh] svg[data-astro-cid-y4zsc3hh]{height:auto}.deep-code-pair[data-astro-cid-y4zsc3hh]>[data-astro-cid-y4zsc3hh],.definition-band[data-astro-cid-y4zsc3hh]>[data-astro-cid-y4zsc3hh],.resolution-detail[data-astro-cid-y4zsc3hh]>[data-astro-cid-y4zsc3hh],.evaluation-machine[data-astro-cid-y4zsc3hh]>[data-astro-cid-y4zsc3hh],.assertion-grid[data-astro-cid-y4zsc3hh]>[data-astro-cid-y4zsc3hh],.assertion-code-pair[data-astro-cid-y4zsc3hh]>[data-astro-cid-y4zsc3hh],.graph-contract[data-astro-cid-y4zsc3hh]>[data-astro-cid-y4zsc3hh],.terminal-foot[data-astro-cid-y4zsc3hh]>[data-astro-cid-y4zsc3hh]{min-width:0}@media (width<=420px){.deep-shell[data-astro-cid-y4zsc3hh]{width:min(100% - 40px,1240px)}.deep-hero[data-astro-cid-y4zsc3hh] h1[data-astro-cid-y4zsc3hh]{font-size:2.18rem}.deep-equation[data-astro-cid-y4zsc3hh]{padding:12px}}.deep-how[data-astro-cid-y4zsc3hh] [data-astro-cid-y4zsc3hh][hidden]{display:none!important}.deep-section-heading[data-astro-cid-y4zsc3hh]{border-bottom:1px solid var(--line);border-left:0;max-width:960px;padding:0 0 30px}.deep-section-heading[data-astro-cid-y4zsc3hh] h2[data-astro-cid-y4zsc3hh]{font-size:clamp(1.9rem,2.6vw,2.75rem)}.adapter-picker[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:minmax(220px,.32fr) minmax(0,1fr);align-items:center;gap:30px;padding:22px 0;display:grid}.adapter-picker[data-astro-cid-y4zsc3hh]>div[data-astro-cid-y4zsc3hh]:first-child>p[data-astro-cid-y4zsc3hh]:last-child{max-width:440px;color:var(--muted-bright);font-size:.9rem;line-height:1.55}.adapter-tabs[data-astro-cid-y4zsc3hh]{flex-wrap:wrap;gap:7px;min-width:0;display:flex}.adapter-tabs[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh]{border:1px solid var(--line-strong);min-height:40px;color:var(--muted-bright);font:inherit;cursor:pointer;background:0 0;border-radius:999px;align-items:center;gap:7px;padding:9px 13px;font-size:.78rem;font-weight:710;display:inline-flex}.adapter-tabs[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh]:hover{border-color:color-mix(in srgb, var(--deep-blue) 60%, var(--line));color:var(--text)}.adapter-tabs[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh][aria-selected=true]{border-color:var(--deep-blue);background:color-mix(in srgb, var(--deep-blue) 14%, var(--ink-raised));color:var(--text)}.adapter-tabs[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh]:focus-visible{outline:2px solid var(--deep-cyan);outline-offset:3px}.adapter-tabs[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh]{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;font-size:.57rem;font-weight:750}.adapter-status[data-astro-cid-y4zsc3hh]{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.adapter-panel[data-astro-cid-y4zsc3hh]{margin-top:46px;scroll-margin-top:76px}.adapter-panel-intro[data-astro-cid-y4zsc3hh]{max-width:920px;margin-bottom:30px}.adapter-panel-intro--compact[data-astro-cid-y4zsc3hh]{margin-bottom:26px}.adapter-panel-intro[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh]{letter-spacing:-.035em;max-width:820px;margin-top:9px;font-size:clamp(1.55rem,2.2vw,2.15rem);line-height:1.14}.adapter-panel-intro[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]:last-child,.raw-graph-note[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh],.graph-contract[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]{max-width:850px;color:var(--muted-bright);margin-top:16px;line-height:1.72}.adapter-steps[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line);max-width:1040px;margin:0;padding:0;list-style:none}.adapter-steps[data-astro-cid-y4zsc3hh]>li[data-astro-cid-y4zsc3hh]{border-bottom:1px solid var(--line);grid-template-columns:56px minmax(0,1fr);gap:24px;padding:28px 0;display:grid}.adapter-step-number[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);letter-spacing:.12em;padding-top:4px;font-size:.72rem;font-weight:780}.adapter-steps[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh]{margin:0 0 12px;font-size:clamp(1.18rem,1.55vw,1.46rem);line-height:1.2}.adapter-steps[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{max-width:860px;color:var(--muted-bright);line-height:1.72}.plain-example[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line);border-bottom:1px solid var(--line);max-width:760px;margin:18px 0;display:grid}.plain-example[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{grid-template-columns:150px minmax(0,1fr);gap:18px;padding:11px 0;display:grid}.plain-example[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]+p[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line)}.deep-code-pair--foundations[data-astro-cid-y4zsc3hh]{align-items:start}.deep-code[data-astro-cid-y4zsc3hh]{grid-template-rows:auto auto;align-content:start;gap:12px;min-width:0;display:grid}.deep-code[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]{margin:0}.deep-code[data-astro-cid-y4zsc3hh] .code-window{height:auto;min-height:0}.deep-code[data-astro-cid-y4zsc3hh] .code-window__bar{grid-template-columns:auto minmax(0,1fr) auto}.deep-code[data-astro-cid-y4zsc3hh] .code-window__filename{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.raw-graph-note[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line);max-width:980px;margin-top:34px;padding-top:26px}.raw-graph-note[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh]{font-size:1.35rem}.adapter-unavailable[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line);border-bottom:1px solid var(--line);max-width:820px;padding:34px 0}.adapter-unavailable[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh]{margin-top:10px;font-size:clamp(1.45rem,2.2vw,2.05rem)}.adapter-unavailable[data-astro-cid-y4zsc3hh]>p[data-astro-cid-y4zsc3hh]:last-child{max-width:690px;color:var(--muted-bright);margin-top:16px;line-height:1.68}.graph-contract[data-astro-cid-y4zsc3hh]{border:0;border-top:1px solid var(--line-strong);border-radius:0;max-width:1100px;margin-top:60px;padding:34px 0 0;display:block}.graph-contract[data-astro-cid-y4zsc3hh] h3[data-astro-cid-y4zsc3hh]{letter-spacing:-.035em;max-width:900px;margin-top:10px;font-size:clamp(1.65rem,2.45vw,2.45rem);line-height:1.12}.projection-example[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:minmax(0,1fr) auto minmax(0,.9fr);align-items:center;gap:28px;margin:30px 0;padding:24px 0;display:grid}.projection-example[data-astro-cid-y4zsc3hh]>div[data-astro-cid-y4zsc3hh]{gap:9px;min-width:0;display:grid}.projection-example[data-astro-cid-y4zsc3hh] span[data-astro-cid-y4zsc3hh]{color:var(--deep-blue);letter-spacing:.1em;text-transform:uppercase;margin-bottom:3px;font-size:.68rem;font-weight:760}.projection-example[data-astro-cid-y4zsc3hh] code[data-astro-cid-y4zsc3hh]{overflow-wrap:anywhere;color:var(--text);font-size:.86rem}.projection-example[data-astro-cid-y4zsc3hh]>b[data-astro-cid-y4zsc3hh]{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;font-size:.72rem;font-weight:700}.projection-example[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);font-size:.82rem;line-height:1.55}.projection-steps[data-astro-cid-y4zsc3hh]{border-top:1px solid var(--line);max-width:880px;margin:26px 0 0;padding:0;list-style:none;display:grid}.projection-steps[data-astro-cid-y4zsc3hh] li[data-astro-cid-y4zsc3hh]{border-bottom:1px solid var(--line);color:var(--muted-bright);padding:15px 0;line-height:1.62}.projection-steps[data-astro-cid-y4zsc3hh] strong[data-astro-cid-y4zsc3hh]{color:var(--text)}.projection-language-notes[data-astro-cid-y4zsc3hh]{grid-template-columns:repeat(2,minmax(0,1fr));gap:30px;margin-top:28px;display:grid}.projection-language-notes[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{color:var(--muted-bright);font-size:.9rem;line-height:1.66}.projection-language-notes[data-astro-cid-y4zsc3hh] strong[data-astro-cid-y4zsc3hh]{color:var(--text);margin-bottom:7px;display:block}.graph-contract[data-astro-cid-y4zsc3hh] .stage-output[data-astro-cid-y4zsc3hh]{margin-top:32px;display:block}@media (width<=760px){.deep-section-heading[data-astro-cid-y4zsc3hh]{padding-left:0}.adapter-picker[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr;gap:18px}.adapter-tabs[data-astro-cid-y4zsc3hh]{scrollbar-width:thin;flex-wrap:nowrap;padding:3px 1px 8px;overflow-x:auto}.adapter-tabs[data-astro-cid-y4zsc3hh] button[data-astro-cid-y4zsc3hh]{flex:none}.adapter-panel[data-astro-cid-y4zsc3hh]{margin-top:38px;scroll-margin-top:68px}.adapter-steps[data-astro-cid-y4zsc3hh]>li[data-astro-cid-y4zsc3hh]{grid-template-columns:38px minmax(0,1fr);gap:14px}.plain-example[data-astro-cid-y4zsc3hh] p[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr;gap:6px}.projection-example[data-astro-cid-y4zsc3hh],.projection-language-notes[data-astro-cid-y4zsc3hh]{grid-template-columns:1fr}.projection-example[data-astro-cid-y4zsc3hh]>b[data-astro-cid-y4zsc3hh]{justify-self:start}}