:root{--color-paper:oklch(100% 0 0);--color-paper-raised:oklch(100% 0 0);--color-paper-sunk:oklch(97.3% .0053 140.6);--color-paper-band:oklch(94.4% .0119 138.4);--color-rule:oklch(90.7% .0144 141.5);--color-rule-strong:oklch(70.7% .0256 141.1);--color-ink:oklch(35.3% .0247 136.2);--color-ink-strong:oklch(26% .0221 138.5);--color-ink-soft:oklch(46.9% .0312 133);--color-ink-faint:oklch(50.8% .0253 150.2);--color-accent:oklch(60.2% .1029 148);--color-accent-ink:oklch(50.2% .086 149.2);--color-accent-hover:oklch(43.4% .0739 149.6);--color-accent-wash:oklch(92.8% .0202 144.5);--color-on-accent:oklch(100% 0 0);--color-focus:oklch(50.2% .086 149.2);--logo-tile:#1a1a1a;--logo-glyph:#f9f9f9;--font-display:var(--font-body);--font-body:"Instrument Sans", ui-sans-serif, system-ui, -apple-system, "Segoe UI", "PingFang SC", "Microsoft YaHei", "Noto Sans CJK SC", sans-serif;--font-mono:"IBM Plex Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--text-display:clamp(2.9rem, 1.6rem + 5.2vw, 5.4rem);--text-display-s:clamp(2.1rem, 1.35rem + 2.9vw, 3.4rem);--text-3xl:clamp(1.6rem, 1.25rem + 1.4vw, 2.3rem);--text-2xl:clamp(1.32rem, 1.12rem + .9vw, 1.8rem);--text-xl:clamp(1.12rem, 1.05rem + .3vw, 1.3rem);--text-lg:1.0625rem;--text-base:1rem;--text-sm:.875rem;--text-xs:.75rem;--leading-display:1.02;--leading-body:1.62;--tracking-display:-.02em;--tracking-label:.07em;--measure:62ch;--space-2xs:.25rem;--space-xs:.5rem;--space-sm:.75rem;--space-md:1rem;--space-lg:1.5rem;--space-xl:2.25rem;--space-2xl:3.25rem;--space-3xl:4.5rem;--space-4xl:7rem;--page-max:1180px;--page-gutter:clamp(1.15rem, 4vw, 3.25rem);--gutter-h:clamp(1.5rem, 5vw, 4rem);--radius-sm:4px;--radius-md:8px;--radius-lg:12px;--ease-out:cubic-bezier(.22, .61, .36, 1);--ease-in:cubic-bezier(.55, .06, .68, .19);--ease-in-out:cubic-bezier(.45, .05, .55, .95);--dur-fast:.14s;--dur-base:.24s;--dur-slow:.42s}[data-theme=dark]{--color-paper:oklch(0% 0 0);--color-paper-raised:oklch(28.6% .0117 142.6);--color-paper-sunk:oklch(19.4% .0093 136.8);--color-paper-band:oklch(24.5% .0121 142.6);--color-rule:oklch(34.9% .0195 145.1);--color-rule-strong:oklch(48.8% .0264 141.8);--color-ink:oklch(87.9% .0214 143.5);--color-ink-strong:oklch(97% .0095 133.6);--color-ink-soft:oklch(80.5% .0263 143.3);--color-ink-faint:oklch(71.4% .029 141.9);--color-accent:oklch(70.4% .1083 145.2);--color-accent-ink:oklch(80.5% .0916 142.3);--color-accent-hover:oklch(75.4% .1056 143.9);--color-accent-wash:oklch(28.6% .0404 147.3);--color-on-accent:oklch(0% 0 0);--color-focus:oklch(80.5% .0916 142.3);--logo-tile:#faf9f5;--logo-glyph:#1a1a1a}@media (prefers-color-scheme:dark){:root:not([data-theme]){--color-paper:oklch(0% 0 0);--color-paper-raised:oklch(28.6% .0117 142.6);--color-paper-sunk:oklch(19.4% .0093 136.8);--color-paper-band:oklch(24.5% .0121 142.6);--color-rule:oklch(34.9% .0195 145.1);--color-rule-strong:oklch(48.8% .0264 141.8);--color-ink:oklch(87.9% .0214 143.5);--color-ink-strong:oklch(97% .0095 133.6);--color-ink-soft:oklch(80.5% .0263 143.3);--color-ink-faint:oklch(71.4% .029 141.9);--color-accent:oklch(70.4% .1083 145.2);--color-accent-ink:oklch(80.5% .0916 142.3);--color-accent-hover:oklch(75.4% .1056 143.9);--color-accent-wash:oklch(28.6% .0404 147.3);--color-on-accent:oklch(0% 0 0);--color-focus:oklch(80.5% .0916 142.3);--logo-tile:#faf9f5;--logo-glyph:#1a1a1a}}*,:before,:after{box-sizing:border-box}html{background:var(--color-paper);-webkit-text-size-adjust:100%}html,body{overflow-x:clip}body{font-family:var(--font-body);font-size:var(--text-base);line-height:var(--leading-body);color:var(--color-ink);text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;margin:0}:focus-visible{outline:2px solid var(--color-focus);outline-offset:3px;border-radius:var(--radius-sm)}h1,h2,h3{font-family:var(--font-display);letter-spacing:var(--tracking-display);font-style:normal;font-weight:600;line-height:var(--leading-display);color:var(--color-ink-strong);overflow-wrap:anywhere;min-width:0;margin:0}p{margin:0}a{color:inherit;text-decoration:none}code,.mono{font-family:var(--font-mono);font-variant-ligatures:none}.shell{width:100%;max-width:var(--page-max);padding-inline:var(--page-gutter);margin-inline:auto}.skip{padding:var(--space-xs) var(--space-md);background:var(--color-paper-raised);border:1px solid var(--color-rule);z-index:5;position:absolute;inset-block-start:0;inset-inline-start:var(--page-gutter);transform:translateY(-120%)}.skip:focus{transform:none}.masthead{background:var(--color-paper)}.masthead__bar{align-items:center;gap:var(--space-md) var(--space-lg);padding-block:var(--space-md);max-width:var(--page-max);padding-inline:var(--page-gutter);flex-wrap:wrap;margin-inline:auto;display:flex}.wordmark{font-family:var(--font-display);font-size:var(--text-xl);letter-spacing:-.01em;color:var(--color-ink-strong);white-space:nowrap;align-items:center;gap:.55rem;font-weight:600;display:inline-flex}.masthead__nav{align-items:center;gap:var(--space-lg);min-width:0;margin-inline-start:auto;display:flex}.menu-btn{background:var(--color-paper-band);block-size:2.2rem;inline-size:2.2rem;color:var(--color-ink);border-radius:var(--radius-md);cursor:pointer;transition:background var(--dur-fast) var(--ease-out), color var(--dur-fast) var(--ease-out);border:none;justify-content:center;align-items:center;margin-inline-start:auto;display:none}.menu-btn:hover{background:var(--color-rule);color:var(--color-ink-strong)}.menu-btn svg{block-size:18px;inline-size:18px}.menu-btn__x,.masthead[data-menu-open] .menu-btn__bars{display:none}.masthead[data-menu-open] .menu-btn__x{display:inline}.masthead[data-menu-open] .menu-btn{background:var(--color-rule);color:var(--color-ink-strong)}.navlink{font-size:var(--text-sm);color:var(--color-ink-soft);white-space:nowrap;transition:color var(--dur-fast) var(--ease-out)}.navlink:hover{color:var(--color-accent-ink)}.theme-toggle{align-items:center;gap:var(--space-2xs);font:inherit;font-size:var(--text-sm);color:var(--color-ink);background:var(--color-paper-band);cursor:pointer;white-space:nowrap;transition:background var(--dur-fast) var(--ease-out), color var(--dur-fast) var(--ease-out);border:none;border-radius:999px;padding:.3rem .7rem;display:inline-flex}.theme-toggle:hover{background:var(--color-rule);color:var(--color-ink-strong)}.theme-toggle svg{flex:none;width:14px;height:14px}.hero{padding-block:var(--space-4xl) var(--space-3xl);gap:var(--gutter-h);grid-template-columns:minmax(0,1fr);align-items:start;display:grid}.hero__headline{font-size:var(--text-display);max-width:15ch}.hero__headline em{color:var(--color-accent);font-style:normal}.scrawl{display:inline-block;position:relative}.scrawl__mark{block-size:.17em;inline-size:calc(100% + .1em);fill:var(--color-accent);pointer-events:none;position:absolute;inset-block-end:-.16em;inset-inline-start:-.05em}.hero__headline,.cta__title{line-height:1.22}html[lang^=zh] .hero__headline,html[lang^=zh] .cta__title{line-height:1.4}html[lang^=zh] .scrawl__mark{block-size:.12em;inset-block-end:-.06em}.hero__lede{max-width:46ch;font-size:var(--text-lg);color:var(--color-ink-soft);margin-block-start:var(--space-lg)}.hero__lede code{background:var(--color-paper-band);border-radius:var(--radius-sm);padding:.1em .35em;font-size:.86em}.hero__actions{gap:var(--space-md);flex-wrap:wrap;align-items:center;margin-block-start:var(--space-xl);display:flex}.hero__note{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-ink-faint);letter-spacing:.02em;margin-block-start:var(--space-md)}.btn{align-items:center;gap:var(--space-2xs);font-size:var(--text-base);border-radius:var(--radius-md);background:var(--color-accent-ink);color:var(--color-on-accent);white-space:nowrap;transition:transform var(--dur-fast) var(--ease-out), background var(--dur-fast) var(--ease-out);border:none;padding:.85rem 1.4rem;line-height:1.2;display:inline-flex}.btn:hover{background:var(--color-accent-hover)}.btn:active{transform:translateY(1px)}.btn--quiet{background:var(--color-paper-band);color:var(--color-ink-strong)}.btn--quiet:hover{background:var(--color-rule);color:var(--color-ink-strong)}.link-arrow{font-size:var(--text-sm);color:var(--color-accent-ink);border-bottom:1px solid var(--color-accent-ink);white-space:nowrap;padding-block-end:2px}.link-arrow:hover{border-bottom-width:2px}.figure{border-radius:var(--radius-lg);background:var(--color-paper-sunk);padding:var(--space-lg) var(--space-lg) var(--space-md);margin:0}.figure figcaption{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-ink-faint);margin-block-start:var(--space-md);line-height:1.55}.tree,.tree ul{margin:0;padding:0;list-style:none}.tree ul{border-inline-start:1px solid var(--color-rule);margin-inline-start:0;padding-inline-start:clamp(.9rem,4vw,1.6rem)}.tree li{padding-block:.28rem;position:relative}.tree ul>li:before{content:"";background:var(--color-rule);transform-origin:0;width:clamp(.9rem,4vw,1.6rem);height:1px;animation:tick-in var(--dur-slow) var(--ease-out) both;animation-delay:calc(var(--i,0) * 65ms);position:absolute;inset-block-start:1.05rem;inset-inline-start:calc(-1*clamp(.9rem,4vw,1.6rem))}@keyframes tick-in{0%{transform:scaleX(0)}to{transform:scaleX(1)}}.node{align-items:baseline;gap:var(--space-xs);border-radius:var(--radius-md);transition:background var(--dur-fast) var(--ease-out);background:0 0;border:none;padding:.5rem .7rem;display:flex}.node:hover{background:var(--color-paper-band)}.node__label{font-size:var(--text-sm);overflow-wrap:anywhere;min-width:0;line-height:1.4}.node__type{font-family:var(--font-mono);letter-spacing:var(--tracking-label);text-transform:uppercase;color:var(--color-ink-soft);background:var(--color-paper-band);border-radius:999px;flex:none;padding:.15rem .5rem;font-size:.6875rem}.node:hover .node__type{background:var(--color-paper-raised)}.node--root,.node--root:hover{background:var(--color-accent-wash)}.node--root .node__type{color:var(--color-accent-ink);background:var(--color-paper-raised)}.lab__grid{gap:var(--gutter-h);grid-template-columns:minmax(0,1fr);align-items:start;margin-block-start:var(--space-xl);display:grid}.lab__bar{display:none}.js .lab__bar{gap:var(--space-xs);flex-wrap:wrap;margin-block-end:var(--space-md);display:flex}.lab__btn{font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--tracking-label);text-transform:uppercase;color:var(--color-ink);background:var(--color-paper-band);cursor:pointer;transition:background var(--dur-fast) var(--ease-out), color var(--dur-fast) var(--ease-out);border:none;border-radius:999px;padding:.32rem .7rem}.lab__btn:hover{background:var(--color-rule);color:var(--color-ink-strong)}.lab__row{width:100%;font:inherit;color:inherit;text-align:start;cursor:pointer}.lab__tree summary{list-style:none}.lab__tree summary::-webkit-details-marker{display:none}.node__caret{border-inline-end:1.5px solid var(--color-ink-faint);border-block-end:1.5px solid var(--color-ink-faint);block-size:.4rem;inline-size:.4rem;transition:transform var(--dur-fast) var(--ease-out);flex:none;align-self:center;transform:rotate(-45deg)}details[open]>summary .node__caret{transform:rotate(45deg)}.node__caret--leaf{visibility:hidden}.node[data-picked]{background:var(--color-accent-wash);box-shadow:inset 2px 0 0 var(--color-accent)}.lab__aside{gap:var(--space-sm);border-radius:var(--radius-lg);background:var(--color-paper-sunk);padding:var(--space-lg);align-content:start;display:none}.js .lab__aside{display:grid}.lab__aside-title{font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--tracking-label);text-transform:uppercase;color:var(--color-ink-faint);font-weight:400}.lab__hint{font-size:var(--text-sm);color:var(--color-ink-soft)}.lab__crumbs{margin:0;padding:0;list-style:none}.lab__crumb{padding-inline-start:1rem;padding-block:var(--space-2xs) var(--space-xs);border-inline-start:1px solid var(--color-rule);gap:.15rem;margin-inline-start:.3rem;display:grid;position:relative}.lab__crumb:before{content:"";background:var(--color-rule);block-size:1px;inline-size:1rem;position:absolute;inset-block-start:.95rem;inset-inline-start:-1px}.lab__crumb-type{font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--tracking-label);text-transform:uppercase;color:var(--color-ink-faint)}.lab__crumb-label{font-size:var(--text-sm);color:var(--color-ink);overflow-wrap:anywhere;min-width:0}.lab__crumb--here .lab__crumb-label{color:var(--color-ink-strong);font-weight:600}.lab__meta{align-items:baseline;gap:var(--space-xs);font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:var(--tracking-label);text-transform:uppercase;color:var(--color-ink-faint);margin-block-start:var(--space-2xs);display:flex}.lab__meta code{color:var(--color-ink-strong);font-size:var(--text-sm)}.section{padding-block:var(--space-3xl)}.sec-head{max-width:var(--measure)}.sec-head__title{font-size:var(--text-3xl);max-width:24ch}.sec-head__lead{color:var(--color-ink-soft);max-width:52ch;margin-block-start:var(--space-md)}.spec{border-collapse:collapse;width:100%;font-size:var(--text-sm);margin-block-start:var(--space-xl)}.spec caption{text-align:start;color:var(--color-ink-faint);font-family:var(--font-mono);font-size:var(--text-xs);padding-block-end:var(--space-sm)}.spec th{text-align:start;font-weight:500;font-size:var(--text-xs);letter-spacing:var(--tracking-label);text-transform:uppercase;color:var(--color-ink-faint);border-bottom:1px solid var(--color-rule);padding:var(--space-2xs) var(--space-sm) var(--space-xs) 0}.spec td{padding:var(--space-sm) var(--space-sm) var(--space-sm) 0;border-bottom:1px solid var(--color-rule);vertical-align:top;line-height:1.5}.spec tbody tr:last-child td{border-bottom:none}.spec tbody tr{transition:background var(--dur-fast) var(--ease-out)}.spec tbody tr:hover{background:var(--color-paper-sunk)}.spec__type{font-family:var(--font-mono);color:var(--color-accent-ink);white-space:nowrap;font-size:.8125rem}.spec__name{color:var(--color-ink-strong);white-space:nowrap}.split{padding-block:var(--space-3xl)}.split>.shell{gap:var(--gutter-h);grid-template-columns:minmax(0,1fr);align-items:start;display:grid}.split__text{gap:var(--space-md);align-content:start;display:grid}.split__title{font-size:var(--text-2xl);max-width:22ch}.split__body{color:var(--color-ink-soft);max-width:48ch}.split__body code{color:var(--color-ink-strong);background:var(--color-paper-band);border-radius:var(--radius-sm);padding:.08em .34em;font-size:.86em}.split__proof{min-width:0}.proof{border-radius:var(--radius-lg);background:var(--color-paper-sunk);padding:var(--space-lg)}.proof__caption{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-ink-faint);margin-block-start:var(--space-lg)}.proof__pre{font-family:var(--font-mono);color:var(--color-ink-soft);white-space:pre;margin:0;font-size:.8125rem;line-height:1.7;overflow-x:auto}.proof__pre b{color:var(--color-ink-strong);font-weight:500}.tool-list{gap:var(--space-sm);font-family:var(--font-mono);grid-template-columns:minmax(0,1fr);margin:0;padding:0;font-size:.8125rem;list-style:none;display:grid}.tool-list li{color:var(--color-ink-soft)}.tool-list__name{color:var(--color-ink-strong);display:block}.tool-list__what{color:var(--color-ink-faint);font-family:var(--font-body);font-size:var(--text-xs);display:block}.ref-pair{gap:var(--space-xs);font-family:var(--font-mono);font-size:.8125rem;display:grid}.ref-pair__row{align-items:center;gap:var(--space-xs);color:var(--color-ink-soft);flex-wrap:wrap;display:flex}.ref-pair__from{color:var(--color-ink-strong);background:var(--color-paper-band);border-radius:var(--radius-sm);padding:.2rem .45rem}.ref-pair__arrow{color:var(--color-ink-faint)}.ref-pair__to{color:var(--color-accent-ink)}.spec-strip{gap:var(--space-md);margin:0;display:grid}.spec-strip__row{gap:var(--space-2xs);display:grid}.spec-strip__term{font-family:var(--font-mono);color:var(--color-ink-strong);overflow-wrap:anywhere;font-size:.8125rem}.spec-strip__desc{font-size:var(--text-sm);color:var(--color-ink-soft)}.cases{gap:var(--space-lg) var(--gutter-h);grid-template-columns:minmax(0,1fr);margin-block-start:var(--space-xl);margin-block-end:0;display:grid}.cases>div{min-width:0}.cases dt{font-size:var(--text-sm);color:var(--color-ink-strong);font-weight:600}.cases dd{font-size:var(--text-sm);color:var(--color-ink-soft);max-width:44ch;margin:.35rem 0 0}.band{background:var(--color-paper-sunk)}.band>.shell{padding-block:var(--space-3xl)}.chips{gap:var(--space-xs) var(--space-xs);margin:var(--space-xl) 0 0;flex-wrap:wrap;padding:0;list-style:none;display:flex}.chips li{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-ink-soft);background:var(--color-paper-band);white-space:nowrap;transition:background var(--dur-fast) var(--ease-out), color var(--dur-fast) var(--ease-out);border-radius:999px;padding:.3rem .7rem}.chips li:hover{background:var(--color-rule);color:var(--color-ink-strong)}.band__note{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-ink-faint);margin-block-start:var(--space-lg)}.unbuilt{margin:var(--space-xl) 0 0;gap:var(--space-sm);max-width:62ch;padding:0;list-style:none;display:grid}.unbuilt li{gap:var(--space-xs);font-size:var(--text-sm);color:var(--color-ink-soft);grid-template-columns:1.1rem minmax(0,1fr);display:grid}.unbuilt li:before{content:"—";color:var(--color-ink-faint);font-family:var(--font-mono)}.cta{padding-block:var(--space-4xl)}.cta__inner{gap:var(--space-lg);max-width:var(--measure);justify-items:start;display:grid}.cta__title{font-size:var(--text-display-s);max-width:16ch}.cta__body{color:var(--color-ink-soft);max-width:42ch}.cta__row{align-items:center;gap:var(--space-lg);flex-wrap:wrap;display:flex}.colophon{background:var(--color-paper-sunk);padding-block:var(--space-2xl) var(--space-3xl);font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-ink-faint);line-height:1.85}.colophon__tag{align-items:center;gap:var(--space-xs);color:var(--color-ink-soft);display:flex}.colophon__links{gap:var(--space-xs) var(--space-md);flex-wrap:wrap;margin-block-start:var(--space-sm);display:flex}.colophon__links a{color:var(--color-ink-soft);white-space:nowrap;transition:color var(--dur-fast) var(--ease-out)}.colophon__links a:hover{color:var(--color-accent-ink)}.colophon__cmd{color:var(--color-ink-strong)}.js [data-reveal]{opacity:0;transition:opacity var(--dur-slow) var(--ease-out), transform var(--dur-slow) var(--ease-out);transition-delay:calc(var(--reveal-i,0) * 90ms);transform:translateY(14px)}.js [data-reveal].is-in{opacity:1;transform:none}@media (width>=560px){.cases{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width>=768px){.tool-list{column-gap:var(--space-lg);grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width>=900px){.hero,.split>.shell,.js .lab__grid{grid-template-columns:minmax(0,7fr) minmax(0,5fr)}.split--flip .split__text{order:2}.split--wide>.shell{grid-template-columns:minmax(0,5fr) minmax(0,7fr)}.split--wide.split--flip .split__text{order:2}}@media (width<=620px){.lab__tree ul{padding-inline-start:.55rem}.lab__tree ul>li:before{width:.55rem;inset-inline-start:-.55rem}.lab__tree .node{column-gap:var(--space-xs);grid-template-columns:.45rem minmax(0,1fr);align-items:start;row-gap:.2rem;display:grid}.lab__tree .node__caret{grid-column:1;margin-block-start:.45rem}.lab__tree .node__type,.lab__tree .node__label{grid-column:2}.wordmark{font-size:var(--text-xl)}.js .menu-btn{display:inline-flex}.js .masthead__nav{order:3;flex:0 0 calc(100% + 2 * var(--page-gutter));margin-inline:calc(-1 * var(--page-gutter));margin-block:calc(-1 * var(--space-md)) calc(-1 * var(--space-md));padding-inline:var(--page-gutter);background:var(--color-paper-sunk);flex-direction:column;align-items:stretch;gap:0;padding-block-end:var(--space-sm);display:none}.js .masthead[data-menu-open] .masthead__nav{display:flex}.js .masthead__nav .navlink{padding-block:var(--space-sm)}.js .masthead__nav .theme-toggle{margin-block:var(--space-sm) var(--space-2xs);align-self:flex-start}.spec__name-col{display:none}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.15s!important;animation-duration:.01ms!important;animation-iteration-count:1!important}.js [data-reveal]{opacity:1;transform:none}}