.callout[data-astro-cid-3ewsnqgm]{align-items:baseline;gap:10px;display:flex}.callout[data-astro-cid-3ewsnqgm].theorem{background:var(--card);border:1px solid var(--border);border-radius:0;padding:18px 22px}.callout[data-astro-cid-3ewsnqgm].heuristic{padding:0 23px}.label[data-astro-cid-3ewsnqgm]{font-family:var(--font-mono);letter-spacing:0;color:var(--cyan-mark);white-space:nowrap;font-size:12px;font-weight:600}.heuristic[data-astro-cid-3ewsnqgm] .label[data-astro-cid-3ewsnqgm]{color:var(--text-low);flex-shrink:0;margin-left:-15px}.text[data-astro-cid-3ewsnqgm]{color:var(--ink);font-size:16px;line-height:1.4}@media (width<=720px){.callout[data-astro-cid-3ewsnqgm]{flex-direction:column;gap:8px}.callout[data-astro-cid-3ewsnqgm].theorem{padding:16px 18px}.callout[data-astro-cid-3ewsnqgm].heuristic{padding:0 18px}.heuristic[data-astro-cid-3ewsnqgm] .label[data-astro-cid-3ewsnqgm]{margin-left:0}.text[data-astro-cid-3ewsnqgm]{font-size:15px}}.coverage[data-astro-cid-k5tynyyg]{background:var(--card);border:1px solid var(--border);padding:36px 32px}.legend[data-astro-cid-k5tynyyg]{flex-wrap:wrap;gap:24px;margin-bottom:24px;display:flex}.legend-item[data-astro-cid-k5tynyyg]{font-family:var(--font-mono);color:var(--text-mid);align-items:center;gap:8px;font-size:12px;font-weight:600;display:flex}.swatch[data-astro-cid-k5tynyyg]{width:12px;height:12px;display:inline-block}.swatch[data-astro-cid-k5tynyyg].verified{background:var(--cyan-pale);border:1.5px solid var(--cyan-mark)}.swatch[data-astro-cid-k5tynyyg].trusted{border:1.5px solid var(--text-low);background:repeating-linear-gradient(45deg, #fff, #fff 3px, var(--border) 3px, var(--border) 5px)}.tag[data-astro-cid-k5tynyyg]{font-family:var(--font-mono);color:var(--text-low);font-size:11px;font-weight:600}.flow[data-astro-cid-k5tynyyg]{align-items:stretch;display:flex}.trusted-box[data-astro-cid-k5tynyyg],.base[data-astro-cid-k5tynyyg]{border:1px dashed var(--icon-gray);background:repeating-linear-gradient(45deg, #fff, #fff 4px, var(--border-light) 4px, var(--border-light) 7px)}.trusted-box[data-astro-cid-k5tynyyg] .tag[data-astro-cid-k5tynyyg],.base[data-astro-cid-k5tynyyg] .tag[data-astro-cid-k5tynyyg]{color:var(--icon-gray);font-size:10px}.trusted-box[data-astro-cid-k5tynyyg]{flex-direction:column;justify-content:center;gap:5px;width:140px;padding:12px;display:flex}.trusted-box[data-astro-cid-k5tynyyg] .name[data-astro-cid-k5tynyyg]{font-family:var(--font-sans);color:var(--text-mid);font-size:13px;line-height:1.3}.arrow[data-astro-cid-k5tynyyg]{width:34px;font-family:var(--font-mono);color:var(--icon-gray);justify-content:center;align-items:center;display:flex}.arrow[data-astro-cid-k5tynyyg]:before{content:"→"}.verified-box[data-astro-cid-k5tynyyg]{border:2px solid var(--cyan-mark);background:#bcfcff40;flex:1;padding:14px}.verified-box[data-astro-cid-k5tynyyg] .tag[data-astro-cid-k5tynyyg]{color:var(--cyan-mark);margin-bottom:10px}.stages[data-astro-cid-k5tynyyg]{grid-template-columns:repeat(4,1fr);gap:10px;display:grid}.stage[data-astro-cid-k5tynyyg]{border:1.5px solid var(--ink);background:var(--card);flex-direction:column;justify-content:flex-start;gap:6px;min-height:96px;padding:18px 14px;display:flex}.stage-tag[data-astro-cid-k5tynyyg]{font-family:var(--font-mono);color:var(--cyan-mark);font-size:11px;font-weight:600}.stage-name[data-astro-cid-k5tynyyg]{font-family:var(--font-sans);font-size:17px;line-height:1.3}.base[data-astro-cid-k5tynyyg]{margin-top:14px;padding:14px 18px}.base[data-astro-cid-k5tynyyg] .tag[data-astro-cid-k5tynyyg]{margin-bottom:10px}.base-grid[data-astro-cid-k5tynyyg]{grid-template-columns:repeat(3,minmax(0,1fr));gap:32px;display:grid}.assumption[data-astro-cid-k5tynyyg]{flex-direction:column;gap:5px;display:flex}.assumption[data-astro-cid-k5tynyyg] .name[data-astro-cid-k5tynyyg]{font-family:var(--font-sans);color:var(--text-mid);font-size:13px}.assumption[data-astro-cid-k5tynyyg] .note[data-astro-cid-k5tynyyg]{color:var(--icon-gray);font-size:12px;line-height:1.4}@media (width<=720px){.coverage[data-astro-cid-k5tynyyg]{padding:20px 16px}.legend[data-astro-cid-k5tynyyg]{gap:18px;margin-bottom:18px}.legend-item[data-astro-cid-k5tynyyg]{gap:7px;font-size:11px}.flow[data-astro-cid-k5tynyyg]{flex-direction:column}.trusted-box[data-astro-cid-k5tynyyg]{gap:3px;width:auto;padding:10px 12px}.arrow[data-astro-cid-k5tynyyg]{width:auto;padding:6px 0}.arrow[data-astro-cid-k5tynyyg]:before{content:"↓"}.verified-box[data-astro-cid-k5tynyyg]{padding:12px}.stages[data-astro-cid-k5tynyyg]{flex-direction:column;gap:8px;display:flex}.stage[data-astro-cid-k5tynyyg]{flex-direction:row-reverse;justify-content:space-between;align-items:center;gap:10px;min-height:44px;padding:12px}.stage-tag[data-astro-cid-k5tynyyg]{white-space:nowrap;font-size:10px}.stage-name[data-astro-cid-k5tynyyg]{font-size:16px}.base[data-astro-cid-k5tynyyg]{margin-top:12px;padding:16px 14px}.base[data-astro-cid-k5tynyyg] .tag[data-astro-cid-k5tynyyg]{color:var(--text-low);margin-bottom:12px;font-size:11px}.base-grid[data-astro-cid-k5tynyyg]{flex-direction:column;gap:24px;display:flex}.assumption[data-astro-cid-k5tynyyg]{gap:3px}}.dag-scroll[data-astro-cid-sr25ukjp]{overflow-x:auto}.dag[data-astro-cid-sr25ukjp]{width:1120px;height:482px;position:relative}.dag[data-astro-cid-sr25ukjp] svg[data-astro-cid-sr25ukjp]{pointer-events:none;width:100%;height:100%;position:absolute;inset:0}.edge[data-astro-cid-sr25ukjp]{stroke:var(--slate);stroke-width:1.5px;fill:none;marker-end:url(#arw)}.edge[data-astro-cid-sr25ukjp].active{stroke:var(--blue);stroke-width:2px;marker-end:url(#arwA)}.node[data-astro-cid-sr25ukjp]{background:var(--card);border:1.5px solid var(--ink);width:240px;height:132px;color:var(--ink);cursor:pointer;flex-direction:column;justify-content:center;gap:5px;padding:14px 16px 46px;transition:all 75ms;display:flex;position:absolute}.node[data-astro-cid-sr25ukjp].touching{border-color:var(--slate)}.node[data-astro-cid-sr25ukjp]:hover{border-color:var(--blue);color:var(--ink);transform:translateY(-2px);box-shadow:0 4px 14px #191c2724}.node[data-astro-cid-sr25ukjp]:focus-visible{outline:2px solid var(--blue);outline-offset:2px}.name[data-astro-cid-sr25ukjp]{font-family:var(--font-sans);letter-spacing:-.01em;font-size:17px}.node[data-astro-cid-sr25ukjp] .blurb[data-astro-cid-sr25ukjp]{color:var(--text-mid);font-size:12.5px;line-height:1.4}.read[data-astro-cid-sr25ukjp]{font-family:var(--font-mono);color:var(--blue-deep);background:#f5f9ff;border:1px solid #cae1ff;padding:4px 8px;font-size:10px;font-weight:600}.node[data-astro-cid-sr25ukjp] .read[data-astro-cid-sr25ukjp]{position:absolute;bottom:14px;left:16px}.stack[data-astro-cid-sr25ukjp]{display:none}@media (width<=900px){.dag-scroll[data-astro-cid-sr25ukjp]{display:none}.stack[data-astro-cid-sr25ukjp]{flex-direction:column;display:flex}.stack-card[data-astro-cid-sr25ukjp]{background:var(--card);border:1.5px solid var(--ink);color:var(--ink);flex-direction:column;gap:6px;padding:16px;transition:border-color 75ms;display:flex}.stack-card[data-astro-cid-sr25ukjp]:hover{border-color:var(--blue);color:var(--ink)}.stack-card[data-astro-cid-sr25ukjp]:focus-visible{outline:2px solid var(--blue);outline-offset:2px}.row[data-astro-cid-sr25ukjp]{justify-content:space-between;align-items:baseline;gap:10px;display:flex}.read[data-astro-cid-sr25ukjp]{white-space:nowrap}.stack-card[data-astro-cid-sr25ukjp] .blurb[data-astro-cid-sr25ukjp]{color:var(--text-mid);font-size:13px;line-height:1.4}.deps[data-astro-cid-sr25ukjp]{font-family:var(--font-mono);color:var(--icon-gray);margin-top:2px;font-size:10.5px;font-weight:600}.connector[data-astro-cid-sr25ukjp]{font-family:var(--font-mono);color:var(--icon-gray);justify-content:center;padding:4px 0;display:flex}}.stats[data-astro-cid-a64zehxp]{border:1px solid var(--border);background:var(--card)}.table-view[data-astro-cid-a64zehxp]{margin-top:28px}.grid-row[data-astro-cid-a64zehxp]{border-bottom:1px solid var(--border-light);grid-template-columns:2fr 1fr 1fr 1fr;padding:11px 22px;font-size:14px;display:grid}.grid-row[data-astro-cid-a64zehxp].head{border-bottom:1px solid var(--border);font-family:var(--font-mono);color:var(--text-low);padding:12px 22px;font-size:11px;font-weight:600}.num[data-astro-cid-a64zehxp]{text-align:right}.mono[data-astro-cid-a64zehxp]{font-family:var(--font-mono);font-size:13px}.total[data-astro-cid-a64zehxp]{font-family:var(--font-sans);background:#f5f8fc;border-bottom:none}.agg-view[data-astro-cid-a64zehxp]{margin-top:24px;display:none}.agg-head[data-astro-cid-a64zehxp]{border-bottom:1px solid var(--border);font-family:var(--font-mono);color:var(--text-low);padding:12px 16px;font-size:11px;font-weight:600}.agg-grid[data-astro-cid-a64zehxp]{background:var(--border-light);grid-template-columns:1fr 1fr;gap:1px;display:grid}.tile[data-astro-cid-a64zehxp]:last-child:nth-child(odd){grid-column:span 2}.tile[data-astro-cid-a64zehxp]{background:var(--card);flex-direction:column;gap:3px;padding:14px 16px;display:flex}.value[data-astro-cid-a64zehxp]{font-family:var(--font-mono);font-size:17px}.label[data-astro-cid-a64zehxp]{font-family:var(--font-mono);color:var(--icon-gray);font-size:10.5px;font-weight:600}@media (width<=900px){.table-view[data-astro-cid-a64zehxp]{display:none}.agg-view[data-astro-cid-a64zehxp]{display:block}}h2[data-astro-cid-lcdefpme]{margin:14px 0 0;font-size:32px;line-height:1.25}.section[data-astro-cid-lcdefpme]{padding-top:96px}.eyebrow[data-astro-cid-lcdefpme].blue{color:var(--blue-deep)}.eyebrow[data-astro-cid-lcdefpme].cyan{color:var(--cyan)}.hero[data-astro-cid-lcdefpme]{background:var(--ink);position:relative;overflow:hidden}.hero-bg[data-astro-cid-lcdefpme]{opacity:.45;pointer-events:none;width:auto;max-width:none;height:112%;position:absolute;top:50%;left:calc(50% - 60px);transform:translateY(-50%)}.hero-grid[data-astro-cid-lcdefpme]{padding-top:96px;padding-bottom:104px;position:relative}.hero-copy[data-astro-cid-lcdefpme]{flex-direction:column;gap:24px;display:flex}h1[data-astro-cid-lcdefpme]{color:#fff;text-wrap:balance;font-size:56px;line-height:1}.nobr[data-astro-cid-lcdefpme]{white-space:nowrap}.sub[data-astro-cid-lcdefpme]{font-family:var(--font-sans);color:var(--on-dark-body);max-width:56ch;margin:0;font-size:19px;line-height:1.5}.ctas[data-astro-cid-lcdefpme]{flex-wrap:wrap;gap:14px;margin-top:6px;display:flex}.two-col[data-astro-cid-lcdefpme]{grid-template-columns:300px 1fr;gap:56px;margin-bottom:44px;display:grid}.stack-20[data-astro-cid-lcdefpme]{flex-direction:column;gap:20px;display:flex}.theorems[data-astro-cid-lcdefpme]{flex-direction:column;gap:10px;display:flex}.blueprint-title[data-astro-cid-lcdefpme]{margin:14px 0 8px}.section-sub[data-astro-cid-lcdefpme]{color:var(--text-mid);max-width:62ch;margin:0 0 32px;font-size:16px;line-height:1.4}.check[data-astro-cid-lcdefpme]{background:var(--ink);margin-top:104px}.check-grid[data-astro-cid-lcdefpme]{grid-template-columns:1fr 1fr;gap:64px;padding-top:88px;padding-bottom:88px;display:grid}.check-grid[data-astro-cid-lcdefpme].solo{grid-template-columns:1fr}.check-copy[data-astro-cid-lcdefpme]{flex-direction:column;gap:22px;display:flex}.check-copy[data-astro-cid-lcdefpme] h2[data-astro-cid-lcdefpme]{color:#fff;text-wrap:pretty;margin:0;font-size:40px;line-height:1}.check-paras[data-astro-cid-lcdefpme]{color:var(--on-dark-body);flex-direction:column;gap:18px;max-width:54ch;font-size:15px;line-height:1.4;display:flex}.check-paras[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]{margin:0}.hl[data-astro-cid-lcdefpme]{color:#fff}.check-paras[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]{color:var(--cyan)}.check-paras[data-astro-cid-lcdefpme] a[data-astro-cid-lcdefpme]:hover{color:var(--cyan-pale)}.terminal[data-astro-cid-lcdefpme]{background:var(--dark-panel);border:1px solid var(--dark-border);align-self:center;width:100%;overflow:hidden}.terminal-head[data-astro-cid-lcdefpme]{border-bottom:1px solid var(--dark-border);font-family:var(--font-mono);color:var(--icon-gray);padding:12px 18px;font-size:11px;font-weight:600}.terminal-body[data-astro-cid-lcdefpme]{font-family:var(--font-mono);color:var(--code-text);white-space:nowrap;padding:20px 18px;font-size:13px;line-height:2;overflow-x:auto}.prompt[data-astro-cid-lcdefpme]{color:var(--text-low)}.ok[data-astro-cid-lcdefpme]{color:var(--cyan)}.run-section[data-astro-cid-lcdefpme]{padding-top:128px;padding-bottom:40px}.run-grid[data-astro-cid-lcdefpme]{grid-template-columns:300px 1fr;gap:56px;display:grid}.run-body[data-astro-cid-lcdefpme]{flex-direction:column;gap:20px;display:flex}.run-body[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]{color:var(--ink);max-width:62ch;margin:0;font-size:16px;line-height:1.4}.run-cmd[data-astro-cid-lcdefpme]{background:var(--card);border:1px solid var(--border);overflow:hidden}.run-cmd-head[data-astro-cid-lcdefpme]{border-bottom:1px solid var(--border);font-family:var(--font-mono);color:var(--text-low);padding:12px 18px;font-size:11px;font-weight:600}.run-cmd-body[data-astro-cid-lcdefpme]{font-family:var(--font-mono);color:var(--ink);white-space:nowrap;padding:20px 18px;font-size:13px;line-height:2;overflow-x:auto}.run-cmd-body[data-astro-cid-lcdefpme] .prompt[data-astro-cid-lcdefpme]{color:var(--slate)}.learn[data-astro-cid-lcdefpme]{background:var(--ink);margin-top:104px}.learn-inner[data-astro-cid-lcdefpme]{padding-top:88px;padding-bottom:96px}.learn-title[data-astro-cid-lcdefpme]{color:#fff;margin:14px 0 28px}.learn-grid[data-astro-cid-lcdefpme]{grid-template-columns:repeat(3,1fr);gap:14px;display:grid}.learn-card[data-astro-cid-lcdefpme]{background:var(--dark-panel);border:1px solid var(--dark-border);color:#fff;flex-direction:column;gap:8px;padding:22px;transition:border-color 75ms;display:flex}.learn-card[data-astro-cid-lcdefpme]:hover{border-color:var(--cyan);color:#fff}.learn-card[data-astro-cid-lcdefpme] .name[data-astro-cid-lcdefpme]{font-family:var(--font-sans);letter-spacing:-.01em;font-size:17px}.learn-card[data-astro-cid-lcdefpme] .meta[data-astro-cid-lcdefpme]{font-family:var(--font-mono);color:var(--icon-gray);font-size:12px}@media (width<=900px){.learn-grid[data-astro-cid-lcdefpme]{grid-template-columns:1fr 1fr}}@media (width<=720px){h2[data-astro-cid-lcdefpme]{margin:12px 0 0;font-size:27px}.section[data-astro-cid-lcdefpme]{padding-top:64px}.hero-bg[data-astro-cid-lcdefpme]{width:340px;height:auto;top:-20px;left:auto;right:-48px;transform:none}.hero-grid[data-astro-cid-lcdefpme]{padding-top:56px;padding-bottom:64px}.hero-copy[data-astro-cid-lcdefpme]{gap:20px}h1[data-astro-cid-lcdefpme]{text-wrap:pretty;font-size:38px}.nobr[data-astro-cid-lcdefpme]{white-space:normal}.sub[data-astro-cid-lcdefpme]{font-size:16px}.ctas[data-astro-cid-lcdefpme]{flex-direction:column;gap:10px;margin-top:4px}.ctas[data-astro-cid-lcdefpme] .btn{width:100%;min-height:44px;padding:0;font-size:13px}.two-col[data-astro-cid-lcdefpme]{grid-template-columns:1fr;gap:16px;margin-bottom:24px}.stack-20[data-astro-cid-lcdefpme]{gap:16px}.blueprint-title[data-astro-cid-lcdefpme]{margin:12px 0 8px}.learn-title[data-astro-cid-lcdefpme]{margin:12px 0 20px}.section-sub[data-astro-cid-lcdefpme]{margin-bottom:24px;font-size:15px}.check[data-astro-cid-lcdefpme]{margin-top:64px}.check-grid[data-astro-cid-lcdefpme]{grid-template-columns:1fr;gap:20px;padding-top:64px;padding-bottom:64px}.check-copy[data-astro-cid-lcdefpme]{gap:20px}.check-copy[data-astro-cid-lcdefpme] h2[data-astro-cid-lcdefpme]{font-size:30px}.check-paras[data-astro-cid-lcdefpme]{gap:16px}.terminal-head[data-astro-cid-lcdefpme]{padding:10px 14px}.terminal-body[data-astro-cid-lcdefpme]{padding:16px 14px;font-size:11.5px}.run-section[data-astro-cid-lcdefpme]{padding-top:64px;padding-bottom:0}.run-grid[data-astro-cid-lcdefpme]{grid-template-columns:1fr;gap:16px}.run-body[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]{font-size:15px}.run-cmd-head[data-astro-cid-lcdefpme]{padding:10px 14px}.run-cmd-body[data-astro-cid-lcdefpme]{padding:16px 14px;font-size:11.5px}.learn[data-astro-cid-lcdefpme]{margin-top:64px}.learn-inner[data-astro-cid-lcdefpme]{padding-top:56px;padding-bottom:64px}.learn-grid[data-astro-cid-lcdefpme]{grid-template-columns:1fr;gap:10px}.learn-card[data-astro-cid-lcdefpme]{gap:5px;padding:16px 18px}.learn-card[data-astro-cid-lcdefpme] .name[data-astro-cid-lcdefpme]{font-size:16px}.learn-card[data-astro-cid-lcdefpme] .meta[data-astro-cid-lcdefpme]{font-size:11px}}