.post-contents{width:100%;max-width:43rem;margin:0 auto 2rem;font-family:var(--font-heading);font-size:.76rem;line-height:1.65;color:var(--color-ink)}.post-contents__sticky{border-top:1px solid var(--color-rule);padding-top:.85rem}.post-contents__toggle{display:flex;justify-content:space-between;align-items:center;gap:1rem;width:100%;padding:0;margin:0 0 1.3rem;border:0;background:none;color:inherit;font:inherit;font-weight:500;text-align:left;cursor:pointer}.post-contents__toggle[aria-expanded=false]>span{transform:rotate(-90deg)}.post-contents ol{list-style:none;padding:0;margin:0;display:grid;gap:.9rem}.post-contents ol[hidden]{display:none}.post-contents ol ol{margin-top:.65rem;padding-left:14px;gap:.65rem}.post-contents li{margin:0;min-width:0}.post-contents a{display:flex;align-items:baseline;gap:.65rem;color:inherit;text-decoration:none;overflow-wrap:anywhere}.post-contents a:hover,.post-contents a[aria-current=location]{color:var(--color-accent)}.post-contents a[aria-current=location]{font-weight:500}.post-contents__number{flex-shrink:0;font-family:var(--font-mono);font-size:.65rem;color:var(--color-accent)}.post-contents :focus-visible{outline:2px solid var(--color-accent);outline-offset:4px}@media(min-width:1280px){.post-contents{width:12rem}.post-contents__sticky{position:sticky;top:2rem;max-height:calc(100dvh - 4rem);overflow-y:auto;scrollbar-width:thin}}@media print{.post-contents{display:none!important}}.research-post{--reading-width: 43rem;--figure-width: 57rem;max-width:1440px;margin:0 auto;padding:32px 24px 128px}.research-post__header,.research-post__content{max-width:720px;margin:0 auto;padding:0 19px;min-width:0}.research-post__content{position:relative}.research-post__breadcrumb{font-family:var(--font-heading);font-size:.8rem;color:#6b6660;margin-top:1rem}.research-post__breadcrumb a{color:inherit}.research-post h1{font-family:var(--font-heading);font-weight:500;font-size:2.6rem;line-height:1.12;letter-spacing:-.04em;color:var(--color-ink);margin:24px 0 32px}.research-post__metadata{display:flex;flex-wrap:wrap;align-items:flex-start;gap:24px 48px;padding:24px 0;margin-bottom:48px;border-block:1px solid var(--color-rule);font-family:var(--font-heading);font-size:.875rem}.research-post__metadata>div{min-width:0}.research-post__authors{flex:1;font-weight:500}.research-post__label{margin-bottom:8px;font-size:.72rem;font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:#6b6660}.research-post__affiliation{margin-top:6px;font-size:.75rem;font-weight:400;color:#8a857e}.research-post__affiliation a{overflow-wrap:anywhere}.research-post__links a{display:block;text-decoration:underline;text-decoration-color:var(--color-rule)}.research-post__links a:hover{color:var(--color-accent)}.research-post__draft{font-family:var(--font-heading);font-size:.75rem;color:var(--color-accent);margin:-1.5rem 0 2rem}.research-post__body{font-family:var(--font-body);font-size:17px;line-height:1.75}.research-post__body p{margin:0 0 1.15rem}.research-post__body mark{background:#f5e7a6;color:inherit;padding:.08em 0;-webkit-box-decoration-break:clone;box-decoration-break:clone}.research-post__body h2{font-family:var(--font-body);font-size:1.65rem;line-height:1.2;font-weight:700;letter-spacing:-.02em;margin:2.4em 0 .7em;scroll-margin-top:2rem}.research-post__body h3{font-family:var(--font-body);font-size:1.2rem;font-weight:700;letter-spacing:-.01em;margin:1.9em 0 .55em}.research-post__body a{text-decoration:none;color:var(--color-accent);border-bottom:1px solid var(--color-rule);overflow-wrap:anywhere}.research-post__body a:hover{border-color:currentColor}.research-post__body strong{font-weight:600}.research-post__body li{margin-bottom:.65rem}.research-post__body blockquote{margin:2rem 0;padding-left:1.4rem;border-left:2px solid var(--color-accent);font-size:1.35rem}.research-post__body blockquote footer{font-family:var(--font-heading);font-size:.75rem}.research-post__body .equation{text-align:center;padding:.9rem .25rem;margin:1.1rem 0;font-size:1.2rem;overflow-wrap:anywhere}.research-post__body .technical-detail{border-top:1px solid var(--color-rule);border-bottom:1px solid var(--color-rule);margin:1.8rem 0;padding:.75rem 0}.research-post__body summary{cursor:pointer;font-family:var(--font-heading);font-size:.85rem;font-weight:500}.research-post__body details[open] summary{margin-bottom:1rem}.research-post__body code{font-family:var(--font-mono);font-size:.8em;overflow-wrap:anywhere}.research-post__body pre.astro-code{margin:1.6rem 0;padding:.9rem 1.1rem;border:1px solid var(--color-rule);border-radius:4px;line-height:1.5}.research-post__body pre.astro-code code{overflow-wrap:normal}.research-post__body .source-list{font-family:var(--font-heading);font-size:.88rem;line-height:1.65;padding-left:1.25rem}.research-post__body .sidenote{position:relative;display:inline}.research-post__body .sidenote__ref{font:inherit;font-size:.75em;font-family:var(--font-mono);line-height:0;vertical-align:super;padding:0 .15em;margin:0;border:0;background:none;color:var(--color-accent);cursor:pointer}.research-post__body .sidenote__ref:hover{color:var(--color-ink)}.research-post__body .sidenote__body{position:absolute;z-index:5;left:50%;bottom:calc(100% + .55rem);transform:translate(-50%);width:min(18rem,calc(100vw - 2rem));padding:.7rem .85rem;border:1px solid var(--color-rule);background:var(--color-paper);box-shadow:0 8px 24px #2824201f;font-family:var(--font-heading);font-size:.8rem;line-height:1.55;color:var(--color-muted);text-align:left;white-space:normal}.research-post__body .sidenote__body[hidden]{display:none}.research-post__body .sidenote__number{font-family:var(--font-mono);font-size:.72em;color:var(--color-accent);margin-right:.15rem}.research-post__body .footnotes{display:none}.research-post__body .sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.research-post__body .citation,.research-post__body .references li{scroll-margin-top:2rem}.research-post__body .references{border-top:1px solid var(--color-rule);padding:1.25rem 0 0 1.5rem;font-family:var(--font-heading);font-size:.88rem;line-height:1.65}.research-post__body .references li{padding-left:.35rem;margin-bottom:1rem;overflow-wrap:anywhere}.research-post__body .references li::marker{color:var(--color-accent);font-family:var(--font-mono);font-size:.75rem}.research-post__body .references li:target{background:var(--color-surface-muted);outline:1px solid var(--color-rule)}.research-post__body .citation-backlink{display:inline-block;padding:.15rem .3rem;font-size:.8rem}.research-post__body .citation:focus-visible,.research-post__body .references a:focus-visible{outline:2px solid var(--color-accent);outline-offset:3px}.research-figure{margin:2.5rem 0;font-family:var(--font-heading);font-size:.88rem;line-height:1.6}.research-figure__heading{display:flex;align-items:baseline;gap:1rem;border-top:1px solid var(--color-rule);padding-top:.85rem;margin-bottom:1.1rem}.research-figure__heading>span{flex-shrink:0;font-family:var(--font-mono);font-size:.65rem;text-transform:uppercase;color:var(--color-accent)}.research-figure .research-figure__heading h3{margin:0;font-size:.9rem}.research-figure figcaption{margin:1rem auto 0;max-width:var(--reading-width);font-size:.8rem;line-height:1.6}.research-figure__source{display:inline-block;margin-left:.5rem}.blowup-demo{--branch-plus: #385f82;--branch-minus: #a75b41;--exceptional: #6d7652;display:block;background:var(--color-surface-muted);padding:1.25rem}.blowup-demo__status{display:flex;gap:1rem;justify-content:space-between;font-weight:500;font-size:.87rem}.blowup-demo__status [data-count]{font-family:var(--font-mono);color:var(--color-accent);font-size:.7rem;flex-shrink:0}.blowup-demo svg{width:100%;height:340px;display:block}.blowup-demo svg text{fill:var(--color-ink);font-family:var(--font-mono);font-size:12px}.blowup-demo__axis{stroke:var(--color-rule);stroke-width:1}.blowup-demo__branch{fill:none;stroke-width:2.7}.blowup-demo__branch--plus{stroke:var(--branch-plus)}.blowup-demo__branch--minus{stroke:var(--branch-minus);stroke-dasharray:7 4}.blowup-demo__point--plus{fill:var(--branch-plus)}.blowup-demo__point--minus{fill:var(--branch-minus)}.blowup-demo__exceptional{stroke:var(--exceptional);stroke-width:2}.blowup-demo__legend{display:flex;gap:.4rem 1.5rem;flex-wrap:wrap;justify-content:center;font-size:.72rem}.blowup-demo__key--plus{color:var(--branch-plus)}.blowup-demo__key--minus{color:var(--branch-minus)}.blowup-demo__key--exceptional{color:var(--exceptional)}.blowup-demo__math{display:flex;flex-wrap:wrap;justify-content:space-between;gap:.4rem 1rem;margin:1.1rem 0;padding-top:.8rem;border-top:1px solid var(--color-rule);font-family:var(--font-mono);font-size:.76rem;min-height:2.5rem}.blowup-demo__controls:not([hidden]){display:flex;align-items:center;flex-wrap:wrap;gap:.7rem;font-size:.75rem}.blowup-demo__controls button{font:inherit;cursor:pointer;padding:.45rem .75rem;background:var(--color-paper);color:var(--color-ink);border:1px solid var(--color-rule);border-radius:3px;min-height:40px}.blowup-demo__controls button:hover{border-color:var(--color-accent)}.blowup-demo__controls button[aria-pressed=true],.blowup-demo__controls [data-play]{background:var(--color-ink);color:var(--color-paper);border-color:var(--color-ink)}.blowup-demo__controls input{flex:1;min-width:70px;accent-color:var(--color-accent);min-height:40px}.blowup-demo__steps{display:flex;gap:.4rem;flex-wrap:wrap}.research-post__body .blowup-demo__description{font-size:.78rem;margin:.9rem 0 0;min-height:2.6em}.proof-workflow{list-style:none;padding:0;margin:1.5rem 0;display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:1.3rem}.proof-workflow li{border-top:2px solid var(--color-accent);padding-top:.75rem;margin:0}.proof-workflow span{font-family:var(--font-mono);font-size:.67rem;color:var(--color-accent)}.proof-workflow strong{display:block;margin:.35rem 0;font-weight:500}.proof-workflow p{font-size:.78rem;line-height:1.6;margin:0}:where(.research-post) :focus-visible{outline:2px solid var(--color-accent);outline-offset:4px}@media(min-width:1280px){.research-post{max-width:1180px;padding-left:248px;padding-right:32px}.research-post__content>.post-contents{position:absolute;right:100%;margin-right:24px;top:0;bottom:0}.research-figure--wide{width:calc(100% + 3rem);margin-left:-1.5rem}}@media(min-width:1400px){.research-post{--sidenote-width: 13rem;--sidenote-gap: 1.75rem;max-width:1360px;padding-right:calc(var(--sidenote-width) + var(--sidenote-gap) + 1.5rem)}.research-post__header,.research-post__content{margin-left:0;margin-right:0}.research-post__content,.research-post__body{overflow:visible}.research-post__body .sidenote__body,.research-post__body .sidenote__body[hidden]{display:block!important;float:right;clear:right;position:relative;inset:auto;transform:none;z-index:1;width:var(--sidenote-width);margin:.15rem calc(-1 * (var(--sidenote-width) + var(--sidenote-gap))) 1rem var(--sidenote-gap);padding:0;border:0;background:transparent;box-shadow:none;font-size:.78rem;line-height:1.5;color:var(--color-muted)}.research-post__body .sidenote__ref{cursor:default;pointer-events:none}}@media(max-width:600px){.research-post{padding:24px 16px 64px}.research-post__header,.research-post__content{padding:0}.research-post h1{font-size:2rem}.research-post__metadata{gap:20px}.research-post__authors{flex-basis:100%}.research-post__body{font-size:1.05rem}.research-figure__heading{align-items:start}.blowup-demo{padding:.85rem}.blowup-demo__steps{width:100%}.blowup-demo__steps button{flex:1;padding-inline:.35rem;min-height:44px}.proof-workflow{grid-template-columns:1fr 1fr}.blowup-demo__controls button,.blowup-demo__controls input{min-height:44px}}@media print{.research-post{width:100%;padding:24px}.blowup-demo__controls{display:none!important}.research-figure--wide{width:100%;margin-left:0}.research-figure{break-inside:avoid}}