.lambda-post{--paper:#f6f1e7;--paper-deep:#ede5d3;--paper-edge:#e3d8c2;--ink:#1c1814;--ink-soft:#4a4238;--faint:#877b67;--hairline:#d5c9b2;--vermillion:#c23a1c;--vermillion-soft:#c23a1c17;--slate:#33619c;--slate-soft:#33619c1a;--vermillion-dk:#d9502e;--slate-dk:#5b8ac4;--brass-dk:#b58a2e;--brass:#8c6a1d;--night:#17130f;--night-ink:#efe7d6;--night-faint:#9a8d77;--serif:var(--font-body), "Newsreader", georgia, serif;--display:var(--font-display), "Fraunces", georgia, serif;--mono:var(--font-mono), "IBM Plex Mono", ui-monospace, monospace;--col:44rem;--wide:62rem}.lambda-post *{box-sizing:border-box}.lambda-post{scroll-behavior:smooth;background:var(--paper);color:var(--ink);font-family:var(--serif);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;margin:0;font-size:1.1875rem;line-height:1.68}.lambda-post:before{content:"";pointer-events:none;z-index:2000;opacity:.5;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='140' height='140'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.85' numOctaves='2'/%3E%3CfeColorMatrix values='0 0 0 0 0.35 0 0 0 0 0.3 0 0 0 0 0.22 0 0 0 0.035 0'/%3E%3C/filter%3E%3Crect width='140' height='140' filter='url(%23n)'/%3E%3C/svg%3E");position:fixed;inset:0}.lambda-post ::selection{background:var(--vermillion);color:var(--paper)}.lambda-post a{color:inherit;-webkit-text-decoration-color:color-mix(in srgb, var(--vermillion) 55%, transparent);text-decoration-color:color-mix(in srgb, var(--vermillion) 55%, transparent);text-underline-offset:3px;text-decoration-thickness:1px}.lambda-post a:hover{color:var(--vermillion)}.lambda-post p{margin:0 0 1.35rem}.lambda-post strong{font-weight:600}.lambda-post .col{max-width:var(--col);margin-inline:auto;padding-inline:1.4rem}.lambda-post .wide{max-width:var(--wide);margin-inline:auto;padding-inline:1.4rem}.lambda-post .topbar{z-index:100;background:color-mix(in srgb, var(--paper) 88%, transparent);-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);border-bottom:1px solid var(--hairline);font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--ink-soft);justify-content:space-between;align-items:baseline;gap:1rem;padding:.65rem 1.4rem;font-size:.72rem;display:flex;position:sticky;top:0}.lambda-post .topbar a{text-decoration:none}.lambda-post .topbar .brand b{color:var(--vermillion);font-weight:600}.lambda-post .hero{background:var(--night);color:var(--night-ink);position:relative;overflow:hidden}.lambda-post .hero-inner{max-width:var(--wide);grid-template-columns:1.15fr .85fr;align-items:center;gap:3rem;margin-inline:auto;padding:5.5rem 1.4rem 4rem;display:grid}@media (max-width:860px){.lambda-post .hero-inner{grid-template-columns:1fr}}.lambda-post .hero-kicker{font-family:var(--mono);letter-spacing:.22em;text-transform:uppercase;color:var(--vermillion);margin-bottom:1.6rem;font-size:.75rem}.lambda-post .hero h1{font-family:var(--display);letter-spacing:-.015em;margin:0 0 1.4rem;font-size:clamp(2.5rem,6vw,4.4rem);font-weight:340;line-height:1.04}.lambda-post .hero h1 em{color:var(--vermillion);font-style:italic;font-weight:420}.lambda-post .hero-byline{font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--night-faint);margin:-.3rem 0 1.3rem;font-size:.82rem}.lambda-post .hero-byline b{color:var(--night-ink);font-weight:600}.lambda-post .hero-sub{color:var(--night-faint);max-width:34rem;font-size:1.05rem}.lambda-post .hero-sub a{color:var(--night-ink)}.lambda-post .hero-big-number{font-family:var(--display);font-variant-numeric:lining-nums;color:var(--vermillion);letter-spacing:-.03em;font-size:clamp(4rem,9vw,7rem);font-weight:250;line-height:1}.lambda-post .hero-meta{font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--night-faint);flex-wrap:wrap;gap:1.8rem;margin-top:2.6rem;font-size:.72rem;display:flex}.lambda-post .hero-meta b{color:var(--night-ink);margin-top:.2rem;font-size:.95rem;font-weight:500;display:block}.lambda-post .toc{columns:2;gap:2.5rem;margin:2rem 0 0;padding:0;font-size:.98rem;list-style:none}@media (max-width:700px){.lambda-post .toc{columns:1}}.lambda-post .toc li{break-inside:avoid;border-bottom:1px solid var(--hairline);padding:.42rem 0}.lambda-post .toc a{align-items:baseline;gap:.8rem;text-decoration:none;display:flex}.lambda-post .toc .n{font-family:var(--mono);color:var(--vermillion);font-size:.7rem}.lambda-post .chapter{padding:4.5rem 0 1.5rem}.lambda-post .chapter-head{max-width:var(--col);margin:0 auto 2.2rem;padding-inline:1.4rem}.lambda-post .chapter-head .num{font-family:var(--mono);letter-spacing:.24em;text-transform:uppercase;color:var(--vermillion);align-items:center;gap:.9rem;font-size:.72rem;display:flex}.lambda-post .chapter-head .num:after{content:"";background:var(--hairline);flex:1;height:1px}.lambda-post .chapter-head h2{font-family:var(--display);letter-spacing:-.01em;margin:.9rem 0 0;font-size:clamp(1.9rem,4vw,2.7rem);font-weight:380;line-height:1.12}.lambda-post .chapter-head .dek{color:var(--ink-soft);margin-top:.7rem;font-size:1.15rem;font-style:italic}.lambda-post .analogy{background:var(--paper-deep);border:1px solid var(--paper-edge);color:var(--ink-soft);border-radius:2px;margin:2rem 0;padding:1.3rem 1.5rem 1.15rem 3.2rem;font-style:italic;position:relative}.lambda-post .analogy:before{content:"※";font-style:normal;font-family:var(--display);color:var(--vermillion);font-size:1.3rem;position:absolute;top:1.05rem;left:1.15rem}.lambda-post .analogy b,.lambda-post .analogy strong{color:var(--ink)}.lambda-post .sidenote{border-left:2px solid var(--vermillion);color:var(--ink-soft);margin:1.8rem 0;padding:.15rem 0 .15rem 1.3rem;font-size:.98rem}.lambda-post .theorem{border:1px solid var(--ink);background:var(--paper);box-shadow:4px 4px 0 var(--paper-edge);border-radius:2px;margin:2.2rem 0;padding:1.5rem 1.7rem}.lambda-post .theorem .label{font-family:var(--mono);letter-spacing:.2em;text-transform:uppercase;color:var(--vermillion);margin-bottom:.7rem;font-size:.7rem}.lambda-post .mathblock{margin:1.7rem 0;padding:.2rem .1rem;overflow-x:auto}.lambda-post .mathblock .katex{font-size:1.12em}.lambda-post .steps{counter-reset:step;margin:2.2rem 0;padding:0;list-style:none}.lambda-post .steps>li{counter-increment:step;border-top:1px solid var(--hairline);padding:1.4rem 0 1.4rem 3.4rem;position:relative}.lambda-post .steps>li:before{content:counter(step, decimal-leading-zero);font-family:var(--mono);color:var(--vermillion);font-size:.8rem;font-weight:600;position:absolute;top:1.5rem;left:0}.lambda-post .steps h4{font-family:var(--display);margin:0 0 .5rem;font-size:1.25rem;font-weight:480}.lambda-post .steps p:last-child{margin-bottom:0}.lambda-post figure.fig{max-width:var(--wide);margin:2.6rem auto;padding-inline:1.4rem}.lambda-post figure.fig svg{width:100%;height:auto;display:block}.lambda-post figure.fig figcaption{max-width:var(--col);color:var(--faint);border-top:1px solid var(--hairline);margin:.9rem auto 0;padding-top:.6rem;font-size:.92rem}.lambda-post figure.fig figcaption b{color:var(--ink-soft);font-family:var(--mono);letter-spacing:.12em;text-transform:uppercase;margin-right:.5rem;font-size:.72rem;font-weight:600}.lambda-post .figpanel{border:1px solid var(--paper-edge);background:#fdfaf3;border-radius:3px;box-shadow:0 1px #1c18140a}.lambda-post .mathtips{position:relative}.lambda-post .mathtips [data-term]{cursor:help;border-radius:3px;padding:0 2px;transition:background .15s}.lambda-post .mathtips [data-term]:hover{background:var(--vermillion-soft)}.lambda-post .tip-hint{font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;color:color-mix(in srgb, var(--faint) 75%, transparent);text-align:center;margin:-.9rem 0 1.4rem;font-size:.62rem}.lambda-post .term-tip{z-index:60;background:var(--night);color:var(--night-ink);pointer-events:none;border-radius:4px;width:max-content;max-width:22rem;padding:.65rem .85rem;position:absolute;transform:translate(-50%,calc(-100% - 12px));box-shadow:0 6px 24px #17130f59}.lambda-post .term-tip:after{content:"";background:var(--night);width:12px;height:12px;position:absolute;bottom:-6px;left:50%;transform:translate(-50%)rotate(45deg)}.lambda-post .term-tip b{font-family:var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--vermillion-dk);margin-bottom:.25rem;font-size:.78rem;display:block}.lambda-post .term-tip span{color:var(--night-ink);font-size:1.02rem;font-style:normal;font-weight:400;line-height:1.5;display:block}.lambda-post .gloss{cursor:help;border-bottom:2px dotted color-mix(in srgb, var(--vermillion) 55%, transparent);position:relative}.lambda-post .gloss-tip{font-family:var(--serif);letter-spacing:normal;text-transform:none;display:block;top:-4px;left:50%}.lambda-post .mathtips [data-tc=v]{color:var(--vermillion)}.lambda-post .mathtips [data-tc=s]{color:var(--slate)}.lambda-post .mathtips [data-tc=b]{color:var(--brass)}.lambda-post .check-chip{vertical-align:baseline;border-radius:2px;width:.68em;height:.68em;margin-right:.45rem;display:inline-block;transform:translateY(1px)}.lambda-post .chapter-head .num.accent-s,.lambda-post .chapter-head .num.accent-s:after{color:var(--slate)}.lambda-post .chapter-head .num.accent-b,.lambda-post .chapter-head .num.accent-b:after{color:var(--brass)}.lambda-post .chapter-head .num.accent-v,.lambda-post .chapter-head .num.accent-v:after{color:var(--vermillion)}.lambda-post .chapter-head .num.accent-s:after{background:color-mix(in srgb, var(--slate) 35%, transparent)}.lambda-post .chapter-head .num.accent-b:after{background:color-mix(in srgb, var(--brass) 40%, transparent)}.lambda-post .chapter-head .num.accent-v:after{background:color-mix(in srgb, var(--vermillion) 35%, transparent)}@media (max-width:640px){.lambda-post .term-tip{pointer-events:auto;width:auto;max-width:none;position:fixed;bottom:12px;right:12px;transform:none;box-shadow:0 10px 40px #17130f80;top:auto!important;left:12px!important}.lambda-post .term-tip:after{display:none}}.lambda-post .lab{background:var(--night);color:var(--night-ink);border-radius:4px;padding:1.6rem 1.6rem 1.2rem}.lambda-post .lab .lab-title{font-family:var(--mono);letter-spacing:.2em;text-transform:uppercase;color:var(--vermillion);margin-bottom:.9rem;font-size:.7rem}.lambda-post .lab input[type=range]{width:100%;accent-color:var(--vermillion)}.lambda-post .lab .readout{font-family:var(--mono);color:var(--night-faint);flex-wrap:wrap;gap:1.6rem;margin-top:.9rem;font-size:.78rem;display:flex}.lambda-post .lab .readout b{color:var(--night-ink);font-weight:500}.lambda-post .lab .sig{color:var(--vermillion);font-size:1.05rem;font-weight:600}.lambda-post .provenance{background:var(--night);color:var(--night-ink);margin-top:5rem;padding:4.5rem 0 3rem}.lambda-post .provenance h2{font-family:var(--display);margin:0 0 1.2rem;font-size:2rem;font-weight:380}.lambda-post .provenance p{color:var(--night-faint)}.lambda-post .provenance strong{color:var(--night-ink)}.lambda-post .linkcards{grid-template-columns:repeat(auto-fit,minmax(15rem,1fr));gap:.9rem;margin:2.2rem 0;display:grid}.lambda-post .linkcards a{border:1px solid #3a332a;border-radius:3px;padding:1rem 1.1rem;text-decoration:none;transition:border-color .2s,transform .2s;display:block}.lambda-post .linkcards a:hover{border-color:var(--vermillion);color:inherit;transform:translateY(-2px)}.lambda-post .linkcards .t{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--vermillion);font-size:.7rem}.lambda-post .linkcards .d{color:var(--night-ink);margin-top:.45rem;font-size:.95rem;display:block}.lambda-post .footer-note{font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--night-faint);border-top:1px solid #2c261f;margin-top:2.5rem;padding-top:1.4rem;font-size:.7rem}.lambda-post .gate{background:var(--night);min-height:100dvh;color:var(--night-ink);place-items:center;padding:1.5rem;display:grid}.lambda-post .gate-card{text-align:center;width:min(24rem,100%)}.lambda-post .gate-zeta{font-family:var(--display);color:var(--vermillion);font-size:5rem;font-style:italic;font-weight:300;line-height:1}.lambda-post .gate h1{font-family:var(--display);margin:1.2rem 0 .4rem;font-size:1.5rem;font-weight:380}.lambda-post .gate p{color:var(--night-faint);font-size:.98rem}.lambda-post .gate form{gap:.6rem;margin-top:1.6rem;display:flex}.lambda-post .gate input[type=password]{color:var(--night-ink);font-family:var(--mono);background:#221c16;border:1px solid #3a332a;border-radius:3px;outline:none;flex:1;padding:.7rem .9rem;font-size:.95rem}.lambda-post .gate input[type=password]:focus{border-color:var(--vermillion)}.lambda-post .gate button{background:var(--vermillion);color:#fff;font-family:var(--mono);letter-spacing:.12em;text-transform:uppercase;cursor:pointer;border:none;border-radius:3px;padding:0 1.3rem;font-size:.8rem}.lambda-post .gate button:hover{filter:brightness(1.1)}.lambda-post .gate .error{color:var(--vermillion);font-family:var(--mono);margin-top:1rem;font-size:.78rem}@media (prefers-reduced-motion:no-preference){.lambda-post .hero .hero-kicker,.lambda-post .hero h1,.lambda-post .hero .hero-sub,.lambda-post .hero .hero-meta{animation:.9s cubic-bezier(.2,.7,.2,1) both rise}.lambda-post .hero h1{animation-delay:80ms}.lambda-post .hero .hero-sub{animation-delay:.16s}.lambda-post .hero .hero-meta{animation-delay:.24s}@keyframes rise{0%{opacity:0;transform:translateY(14px)}to{opacity:1;transform:none}}.lambda-post .pulse{animation:3.2s ease-in-out infinite pulse}@keyframes pulse{0%,to{opacity:.75}50%{opacity:1}}}.lambda-post .hero-links{flex-wrap:wrap;gap:.6rem;margin:1.8rem 0 .4rem;display:flex}.lambda-post .hero-links a{font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--night-ink);border:1px solid #3a332a;border-radius:3px;padding:.42rem .75rem;font-size:.72rem;text-decoration:none;transition:border-color .2s,color .2s}.lambda-post .hero-links a:hover{border-color:var(--vermillion);color:var(--vermillion-dk)}.lambda-post .postlist-label{font-family:var(--mono);letter-spacing:.24em;text-transform:uppercase;color:var(--vermillion);align-items:center;gap:.9rem;margin-bottom:1.6rem;font-size:.72rem;display:flex}.lambda-post .postlist-label:after{content:"";background:var(--hairline);flex:1;height:1px}.lambda-post .postrow{border-bottom:1px solid var(--hairline);padding:1.8rem 0 2rem;text-decoration:none;transition:transform .15s;display:block}.lambda-post .postrow:hover{color:inherit}.lambda-post .postrow:hover .posttitle{color:var(--vermillion)}.lambda-post .postdate{font-family:var(--mono);letter-spacing:.14em;text-transform:uppercase;color:var(--faint);margin-bottom:.55rem;font-size:.7rem;display:block}.lambda-post .posttitle{font-family:var(--display);font-size:clamp(1.5rem,3vw,2.1rem);font-weight:400;line-height:1.18;transition:color .15s;display:block}.lambda-post .posttitle em{color:var(--vermillion);font-style:italic}.lambda-post .postdek{color:var(--ink-soft);max-width:40rem;margin-top:.7rem;font-size:1.02rem;display:block}.lambda-post .postread{font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--vermillion);margin-top:.9rem;font-size:.72rem;display:inline-block}