*,:before,:after{box-sizing:border-box;margin:0}:root{--font-display:"Fraunces", "Source Serif 4", Georgia, serif;--font-body:"Source Sans 3", system-ui, sans-serif;--font-mono:"IBM Plex Mono", ui-monospace, monospace;--paper:oklch(97.1% .012 75);--paper-deep:oklch(94.5% .015 75);--rule:oklch(78% .018 60);--rule-soft:oklch(88% .012 60);--ink:oklch(18% .025 30);--ink-mid:oklch(38% .025 30);--ink-soft:oklch(55% .02 40);--register:oklch(50% .18 25);--register-soft:oklch(66% .13 25);--mark:oklch(45% .1 175);--color-primary:var(--register);--color-on-primary:var(--paper);--color-surface:var(--paper);--color-on-surface:var(--ink);--color-on-surface-variant:var(--ink-mid);--color-surface-container:var(--paper-deep);--color-surface-container-high:var(--paper-deep);--color-outline-variant:var(--rule-soft);--color-inverse-surface:var(--ink);--color-inverse-on-surface:var(--paper);--color-code-surface:var(--ink);--color-code-on-surface:var(--paper)}@media (prefers-color-scheme:dark){:root{--paper:oklch(16% .012 40);--paper-deep:oklch(20% .014 40);--rule:oklch(42% .015 50);--rule-soft:oklch(30% .012 50);--ink:oklch(94% .012 75);--ink-mid:oklch(75% .012 75);--ink-soft:oklch(62% .012 75);--register:oklch(72% .16 25);--register-soft:oklch(55% .14 25);--mark:oklch(68% .12 175)}}html{scroll-behavior:smooth}body{font-family:var(--font-body);font-feature-settings:"kern" 1, "liga" 1, "calt" 1, "ss01" 1;font-variation-settings:"opsz" 14;background:var(--paper);color:var(--ink);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;margin:0}code,pre,kbd,samp{font-family:var(--font-mono);font-feature-settings:"kern" 1, "liga" 0}::selection{background:var(--register);color:var(--paper)}a{color:inherit}body:before{content:"";pointer-events:none;z-index:0;opacity:.035;mix-blend-mode:multiply;background-image:url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' width='240' height='240'><filter id='n'><feTurbulence type='fractalNoise' baseFrequency='0.85' numOctaves='2' seed='3'/><feColorMatrix values='0 0 0 0 0  0 0 0 0 0  0 0 0 0 0  0 0 0 0.7 0'/></filter><rect width='100%' height='100%' filter='url(%23n)'/></svg>");position:fixed;inset:0}@media (prefers-color-scheme:dark){body:before{opacity:.06;mix-blend-mode:screen}}main{z-index:1;position:relative}.eyebrow{font-family:var(--font-body);letter-spacing:.15em;text-transform:uppercase;color:var(--register);font-size:.75rem;font-weight:600}.display-large,.display{font-family:var(--font-display);font-variation-settings:"opsz" 144, "SOFT" 30;letter-spacing:-.025em;color:var(--ink);font-size:clamp(2.75rem,6.4vw,5.5rem);font-weight:500;line-height:.96}.headline-large,.headline{font-family:var(--font-display);font-variation-settings:"opsz" 72, "SOFT" 50;letter-spacing:-.018em;color:var(--ink);font-size:clamp(1.85rem,3.2vw,2.4rem);font-weight:500;line-height:1.08}.title-large{font-family:var(--font-display);font-variation-settings:"opsz" 24;color:var(--ink);font-size:1.18rem;font-weight:600;line-height:1.25}.lede{font-family:var(--font-display);font-variation-settings:"opsz" 18, "SOFT" 80;color:var(--ink-mid);font-size:clamp(1.125rem,1.5vw,1.3125rem);font-style:italic;font-weight:400;line-height:1.55}.byline{font-family:var(--font-body);letter-spacing:.05em;color:var(--ink-soft);font-variant:small-caps;font-size:.825rem}.rule{border:0;border-top:1px solid var(--rule);margin:0}.rule-thick{border:0;border-top:3px double var(--ink);margin:0}.rule-soft{border:0;border-top:1px solid var(--rule-soft);margin:0}.section-rule{align-items:baseline;gap:1.5rem;max-width:78rem;margin:0 auto;padding:0 1.5rem;display:flex}.section-rule:before,.section-rule:after{content:"";border-top:1px solid var(--rule);flex:1;position:relative;top:-.3em}.section-rule .marker{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--register);white-space:nowrap;font-size:.75rem}.prose{font-family:var(--font-body);color:var(--ink);max-width:36rem;font-size:1.0625rem;line-height:1.72}.prose h1{font-family:var(--font-display);font-variation-settings:"opsz" 72, "SOFT" 40;letter-spacing:-.015em;margin:0 0 1.25rem;font-size:clamp(1.85rem,3vw,2.4rem);font-weight:500;line-height:1.08}.prose h2{font-family:var(--font-display);font-variation-settings:"opsz" 48;border-bottom:1px solid var(--rule);margin:2.75rem 0 .75rem;padding-bottom:.4rem;font-size:1.5rem;font-weight:600;line-height:1.2}.prose h3{font-family:var(--font-display);margin:2rem 0 .6rem;font-size:1.22rem;font-weight:600;line-height:1.3}.prose h4{font-family:var(--font-body);letter-spacing:.01em;margin:1.5rem 0 .4rem;font-size:1.04rem;font-weight:600}.prose p{margin:0 0 1rem}.prose a{color:var(--ink);text-decoration:underline;text-decoration-color:var(--register);text-underline-offset:3px;text-decoration-thickness:1.5px}.prose a:hover{text-decoration-thickness:3px}.prose ul,.prose ol{margin:0 0 1rem;padding-left:1.4rem}.prose li{margin-bottom:.3rem}.prose code{background:var(--paper-deep);color:var(--register);border-radius:2px;padding:.08em .32em;font-size:.9em}.prose pre{background:var(--ink);color:var(--paper);border-left:3px solid var(--register);margin:0 0 1.5rem;padding:1.1rem 1.3rem;font-size:.875rem;line-height:1.65;overflow-x:auto}.prose pre code{color:inherit;font-size:inherit;background:0 0;padding:0}.prose table{border-collapse:collapse;width:100%;max-width:100%;margin:0 0 1.5rem;font-size:.92rem;display:block;overflow-x:auto}.prose th{text-align:left;border-bottom:2px solid var(--ink);color:var(--ink);font-variant:small-caps;letter-spacing:.04em;padding:.55rem .8rem;font-weight:600}.prose td{border-bottom:1px solid var(--rule-soft);color:var(--ink-mid);padding:.5rem .8rem}.prose tr:last-child td{border-bottom:none}.prose blockquote{border-left:3px solid var(--register);font-family:var(--font-display);color:var(--ink-mid);margin:1.25rem 0;padding:.25rem 0 .25rem 1.1rem;font-size:1.05em;font-style:italic}.prose blockquote p:last-child{margin-bottom:0}.prose hr{border:0;border-top:1px solid var(--rule);margin:2.5rem 0}.prose img{max-width:100%;height:auto}.prose strong{color:var(--ink);font-weight:700}.mermaid{background:var(--paper-deep);border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);color:#0000;justify-content:center;min-height:120px;padding:2rem 1rem;font-size:0;display:flex;overflow-x:auto}.mermaid[data-mermaid-rendered]{font-size:initial;color:inherit}.mermaid svg{max-width:100%;height:auto}@media (prefers-reduced-motion:reduce){*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important}html{scroll-behavior:auto}}.article-section[data-astro-cid-j7pv25f6]{padding:4.5rem 0 0}.article-body[data-astro-cid-j7pv25f6]{max-width:44rem;margin:0 auto;padding:0 1.5rem}.section-headline[data-astro-cid-j7pv25f6]{margin:0 0 1rem}.section-lede[data-astro-cid-j7pv25f6]{margin:0 0 2rem}.section-rule-divider[data-astro-cid-j7pv25f6]{border:0;border-top:1px solid var(--ink);max-width:78rem;margin:0 auto 3rem;padding:0 1.5rem}.hero[data-astro-cid-j7pv25f6]{max-width:60rem;margin:0 auto;padding:4.5rem 1.5rem 2rem}.hero-eyebrow[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);letter-spacing:.04em;color:var(--ink-mid);flex-wrap:wrap;align-items:baseline;gap:.4rem .6rem;margin:0 0 1.5rem;font-size:.78rem;display:flex}.hero-version[data-astro-cid-j7pv25f6]{color:var(--register);font-weight:500}.hero-sep[data-astro-cid-j7pv25f6]{color:var(--rule)}.hero-headline[data-astro-cid-j7pv25f6]{max-width:22ch;margin:0 0 1.5rem}.register-em[data-astro-cid-j7pv25f6]{color:var(--register);font-variation-settings:"opsz" 144,"SOFT" 90;font-style:italic}.hero-lede[data-astro-cid-j7pv25f6]{max-width:42rem;margin:0 0 2.2rem}.hero-actions[data-astro-cid-j7pv25f6]{flex-wrap:wrap;align-items:center;gap:1.2rem 1.6rem;display:flex}.cta-primary[data-astro-cid-j7pv25f6]{background:var(--ink);color:var(--paper);border:1px solid var(--ink);font-family:var(--font-body);letter-spacing:.03em;align-items:center;gap:.65rem;padding:.85rem 1.25rem;font-size:.9rem;font-weight:600;text-decoration:none;transition:background .12s linear,color .12s linear,border-color .12s linear;display:inline-flex}.cta-primary[data-astro-cid-j7pv25f6]:hover{background:var(--register);border-color:var(--register)}.cta-arrow[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);transition:transform .2s cubic-bezier(.2,.7,.2,1)}.cta-primary[data-astro-cid-j7pv25f6]:hover .cta-arrow[data-astro-cid-j7pv25f6]{transform:translate(4px)}.cta-secondary[data-astro-cid-j7pv25f6]{font-family:var(--font-body);color:var(--ink);text-decoration:underline;text-decoration-color:var(--register);text-underline-offset:4px;font-size:.9rem;text-decoration-thickness:1.5px}.cta-secondary[data-astro-cid-j7pv25f6]:hover{text-decoration-thickness:3px}.terminal-section[data-astro-cid-j7pv25f6]{max-width:60rem;margin:2rem auto 0;padding:0 1.5rem}.terminal[data-astro-cid-j7pv25f6]{background:var(--ink);border:1px solid var(--ink);box-shadow:0 1px 0 var(--rule),0 10px 32px -16px oklch(0% 0 0/.18)}.terminal-chrome[data-astro-cid-j7pv25f6]{background:oklch(10% .012 30);border-bottom:1px solid oklch(30% .015 30);align-items:center;gap:.45rem;padding:.55rem .9rem;display:flex}.terminal-dot[data-astro-cid-j7pv25f6]{background:oklch(35% .012 30);border-radius:50%;width:.65rem;height:.65rem}.terminal-title[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);color:oklch(70% .01 30);letter-spacing:.02em;margin-left:.6rem;font-size:.74rem}.terminal-body[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);color:var(--paper);white-space:pre;tab-size:2;margin:0;padding:1.1rem 1.2rem;font-size:.84rem;line-height:1.7;overflow-x:auto}.t-prompt[data-astro-cid-j7pv25f6]{color:var(--register);font-weight:600}.t-cmd[data-astro-cid-j7pv25f6]{color:oklch(92% .01 75)}.t-heading[data-astro-cid-j7pv25f6]{color:oklch(94% .01 75);font-weight:600}.t-section[data-astro-cid-j7pv25f6]{color:oklch(78% .1 200);font-weight:600}.t-pass[data-astro-cid-j7pv25f6]{color:var(--mark);font-weight:600}.t-fail[data-astro-cid-j7pv25f6]{color:oklch(72% .16 25);font-weight:600}.t-bold[data-astro-cid-j7pv25f6]{color:oklch(94% .01 75);font-weight:600}.t-bold-fail[data-astro-cid-j7pv25f6]{color:oklch(78% .14 25);font-weight:600}.t-dim[data-astro-cid-j7pv25f6]{color:oklch(62% .012 60)}.t-decision[data-astro-cid-j7pv25f6]{color:var(--mark)}.terminal-cite[data-astro-cid-j7pv25f6]{font-family:var(--font-body);color:var(--ink-mid);max-width:44rem;margin:1rem 0 0;font-size:.875rem;line-height:1.6}.terminal-cite[data-astro-cid-j7pv25f6] code[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);color:var(--ink);background:var(--paper-deep);padding:.05em .32em;font-size:.92em}.proof-step[data-astro-cid-j7pv25f6]{margin:1.5rem 0 1.8rem}.step-label[data-astro-cid-j7pv25f6]{font-family:var(--font-body);color:var(--ink);align-items:baseline;gap:.65rem;margin:0 0 .55rem;font-size:.95rem;font-weight:600;display:flex}.step-num[data-astro-cid-j7pv25f6]{border:1px solid var(--ink);width:1.4rem;height:1.4rem;font-family:var(--font-mono);color:var(--ink);flex-shrink:0;justify-content:center;align-items:center;font-size:.75rem;font-weight:600;display:inline-flex}.code-step[data-astro-cid-j7pv25f6],pre[data-astro-cid-j7pv25f6].code-step{background:var(--ink);color:var(--paper);font-family:var(--font-mono);border-left:3px solid var(--register);margin:0 0 .75rem;padding:.9rem 1.1rem;font-size:.86rem;line-height:1.65;position:relative;overflow-x:auto}.expected[data-astro-cid-j7pv25f6]{font-family:var(--font-body);color:var(--ink-mid);border-left:1px solid var(--rule);margin:0;padding-left:.7rem;font-size:.92rem;line-height:1.6}.expected-tag[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.12em;color:var(--register);margin-right:.5rem;font-size:.7rem;font-weight:600}.expected[data-astro-cid-j7pv25f6] code[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);color:var(--ink);background:var(--paper-deep);padding:.05em .3em;font-size:.85em}.proof-next[data-astro-cid-j7pv25f6]{font-family:var(--font-body);color:var(--ink-mid);border-top:1px solid var(--rule);margin:1.8rem 0 0;padding:1rem 0 0;font-size:.95rem;line-height:1.6}.proof-next[data-astro-cid-j7pv25f6] code[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);color:var(--ink);background:var(--paper-deep);padding:.05em .32em;font-size:.92em}.pillars[data-astro-cid-j7pv25f6]{border-top:1px solid var(--ink);border-bottom:1px solid var(--ink);grid-template-columns:1fr;gap:0;margin:0 0 1.5rem;display:grid}.pillar[data-astro-cid-j7pv25f6]{border-bottom:1px solid var(--rule-soft);grid-template-columns:1fr;gap:.35rem;padding:1.4rem 0;display:grid}.pillar[data-astro-cid-j7pv25f6]:last-child{border-bottom:none}.pillar-tag[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);letter-spacing:.12em;text-transform:uppercase;color:var(--register);margin:0;font-size:.72rem}.pillar-title[data-astro-cid-j7pv25f6]{font-family:var(--font-display);font-variation-settings:"opsz" 36;color:var(--ink);margin:0;font-size:1.3rem;font-weight:600;line-height:1.2}.pillar-body[data-astro-cid-j7pv25f6]{font-family:var(--font-body);color:var(--ink-mid);margin:.2rem 0 0;font-size:.97rem;line-height:1.6}.pillar-body[data-astro-cid-j7pv25f6] code[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);color:var(--ink);background:var(--paper-deep);padding:.04em .32em;font-size:.9em}.pillars-cite[data-astro-cid-j7pv25f6]{font-family:var(--font-body);color:var(--ink-soft);margin:0;font-size:.9rem;line-height:1.55}.pillars-cite[data-astro-cid-j7pv25f6] a[data-astro-cid-j7pv25f6]{color:var(--ink);text-decoration:underline;text-decoration-color:var(--register);text-underline-offset:3px}.diagram[data-astro-cid-j7pv25f6]{border-top:1px solid var(--ink);border-bottom:1px solid var(--ink);background:var(--paper-deep);margin-top:1rem;padding:1.5rem 1rem}.next-body[data-astro-cid-j7pv25f6]{max-width:58rem}.next-grid[data-astro-cid-j7pv25f6]{border-top:1px solid var(--ink);border-bottom:1px solid var(--ink);grid-template-columns:repeat(2,1fr);gap:0;display:grid}.next-card[data-astro-cid-j7pv25f6]{color:var(--ink);border-right:1px solid var(--rule-soft);border-bottom:1px solid var(--rule-soft);flex-direction:column;gap:.45rem;padding:1.4rem 1.4rem 1.5rem;text-decoration:none;transition:background .12s linear;display:flex}.next-card[data-astro-cid-j7pv25f6]:nth-child(2n){border-right:none}.next-card[data-astro-cid-j7pv25f6]:nth-last-child(-n+2){border-bottom:none}.next-card[data-astro-cid-j7pv25f6]:hover{background:var(--paper-deep)}.next-kind[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);letter-spacing:.14em;text-transform:uppercase;color:var(--register);margin:0;font-size:.7rem}.next-title[data-astro-cid-j7pv25f6]{font-family:var(--font-display);color:var(--ink);text-decoration:underline;text-decoration-color:var(--register);text-underline-offset:3px;margin:0;font-size:1.12rem;font-weight:600;line-height:1.25;text-decoration-thickness:1.5px}.next-card[data-astro-cid-j7pv25f6]:hover .next-title[data-astro-cid-j7pv25f6]{text-decoration-thickness:3px}.next-blurb[data-astro-cid-j7pv25f6]{font-family:var(--font-body);color:var(--ink-mid);margin:.2rem 0 0;font-size:.92rem;line-height:1.55}.next-blurb[data-astro-cid-j7pv25f6] code[data-astro-cid-j7pv25f6]{font-family:var(--font-mono);color:var(--ink);background:var(--paper-deep);padding:.04em .3em;font-size:.9em}@media (width<=720px){.next-grid[data-astro-cid-j7pv25f6]{grid-template-columns:1fr}.next-card[data-astro-cid-j7pv25f6]{border-right:none!important}.next-card[data-astro-cid-j7pv25f6]:not(:last-child){border-bottom:1px solid var(--rule-soft)!important}.next-card[data-astro-cid-j7pv25f6]:last-child{border-bottom:none!important}}@media (width<=640px){.hero[data-astro-cid-j7pv25f6],.article-section[data-astro-cid-j7pv25f6]{padding-top:3rem}.dossier-item[data-astro-cid-j7pv25f6] a[data-astro-cid-j7pv25f6]{grid-template-columns:2.4rem 1fr}.terminal-body[data-astro-cid-j7pv25f6]{font-size:.75rem}}