@font-face{font-family:Manrope;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/manrope-latin-400-normal.woff2)format("woff2")}@font-face{font-family:Manrope;font-style:normal;font-weight:500;font-display:swap;src:url(/fonts/manrope-latin-500-normal.woff2)format("woff2")}@font-face{font-family:Manrope;font-style:normal;font-weight:600;font-display:swap;src:url(/fonts/manrope-latin-600-normal.woff2)format("woff2")}@font-face{font-family:Manrope;font-style:normal;font-weight:700;font-display:swap;src:url(/fonts/manrope-latin-700-normal.woff2)format("woff2")}@font-face{font-family:DM Mono;font-style:normal;font-weight:300;font-display:swap;src:url(/fonts/dm-mono-latin-300-normal.woff2)format("woff2")}@font-face{font-family:DM Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/dm-mono-latin-400-normal.woff2)format("woff2")}@font-face{font-family:DM Mono;font-style:normal;font-weight:500;font-display:swap;src:url(/fonts/dm-mono-latin-500-normal.woff2)format("woff2")}:root{color:#243438;font-synthesis:none;text-rendering:optimizelegibility;background:#edf0e8;font-family:Manrope,system-ui,sans-serif}.proof-lab{color:#edf2e9;background:radial-gradient(circle at 84% 9%,#f6b9be29,#0000 20rem),radial-gradient(circle at 4% 86%,#a3d5c121,#0000 24rem),#29464a;border-radius:2.2rem;max-width:1600px;margin:3.25rem auto 0;padding:clamp(1.35rem,3vw,3.4rem);box-shadow:0 1.5rem 4rem #2434381a}.proof-heading{grid-template-columns:minmax(0,1.35fr) minmax(15rem,.65fr);align-items:end;gap:3rem;padding:0 .2rem 2.15rem;display:grid}.proof-heading h2{letter-spacing:-.07em;max-width:38rem;margin:0;font-size:clamp(2.3rem,5vw,5.4rem);font-weight:500;line-height:.92}.proof-heading h2 span{color:#f0afb3}.proof-intro{color:#edf2e9b8;max-width:23rem;margin:0 0 .25rem auto;font-size:.94rem;line-height:1.55}.proof-layout{grid-template-columns:minmax(0,1.5fr) minmax(16rem,.5fr);gap:.7rem;display:grid}.proof-console,.rule-inspector{border-radius:1.35rem;min-width:0}.proof-console{color:#293b3d;background:#eff1e8;padding:clamp(1rem,2.5vw,2rem)}.console-topline,.console-label,.console-controls,.inspector-heading,.inspector-foot{align-items:center;display:flex}.console-topline{border-bottom:1px solid #293b3d24;justify-content:space-between;gap:1rem;padding-bottom:1rem}.console-label,.console-state,.micro-label,.line-kind,.line-rule,.trace-counter,.console-event,.inspector-foot,.theorem-tab{text-transform:uppercase;letter-spacing:.08em;font:500 .66rem/1.3 DM Mono,monospace}.console-label{gap:.5rem}.console-label .status-dot{background:#6cae94;width:.42rem;height:.42rem;animation:none}.console-state{color:#709384}.console-state[data-complete=true]{color:#bf747c}.theorem-picker{grid-template-columns:minmax(0,1fr) minmax(10rem,.42fr);gap:1.25rem;padding:1.25rem 0 1.3rem;display:grid}.micro-label{color:#293b3d85;margin-bottom:.55rem;display:block}.theorem-tabs{flex-wrap:wrap;gap:.4rem;display:flex}.theorem-tab{color:#293b3dad;cursor:pointer;background:0 0;border:1px solid #293b3d2e;border-radius:.55rem;align-items:center;gap:.55rem;min-height:2.35rem;padding:.55rem .7rem;transition:color .18s,background .18s,border-color .18s;display:inline-flex}.theorem-tab span{color:#bf747c}.theorem-tab:hover,.theorem-tab:focus-visible,.theorem-tab[data-selected=true]{color:#eff1e8;background:#29464a;border-color:#29464a}.theorem-tab[data-selected=true] span{color:#f0afb3}.theorem-blurb{border-left:1px solid #293b3d24;flex-direction:column;justify-content:end;padding:.2rem 0 .2rem 1rem;display:flex}.theorem-blurb .micro-label{margin-bottom:.35rem}.theorem-blurb strong{font-size:.96rem;font-weight:600}.theorem-blurb>span:last-child{color:#293b3d9e;margin-top:.25rem;font-size:.75rem;line-height:1.35}.proof-goal{background:#fff6;border:1px solid #293b3d29;border-radius:.75rem;grid-template-columns:1fr auto 1fr;align-items:center;gap:1rem;margin-bottom:1.15rem;padding:.95rem 1rem;display:grid}.proof-goal .micro-label{margin-bottom:.35rem}.proof-goal strong,.trace code,.rule-choice code{font:400 .85rem/1.35 DM Mono,monospace}.turnstile{color:#bf747c;font:400 2rem/1 Georgia,serif}.goal-caption{color:#293b3d8a;text-align:right;text-transform:uppercase;letter-spacing:.07em;justify-self:end;font:400 .64rem/1.35 DM Mono,monospace}.trace{gap:.28rem;display:grid}.trace-line{border-radius:.48rem;grid-template-columns:2rem 4.3rem minmax(0,1fr) auto;align-items:center;gap:.65rem;min-height:2.65rem;padding:.35rem .55rem;display:grid}.premise-line{color:#293b3dad;background:#d3e1d87a}.derived-line{color:#293b3d61;border:1px dashed #293b3d24}.derived-line[data-current=true]{color:#293b3d;background:#f5dfe0;border-style:solid;border-color:#d89ba1}.derived-line[data-done=true]{color:#3d7567;background:#c6e1d29e;border-style:solid;border-color:#5a9d8352}.derived-line[data-wrong=true]{color:#a84f5b;background:#f3d2d5;border-color:#bd6c76}.line-number{color:#293b3d6b;text-align:right;font:400 .71rem/1 DM Mono,monospace}.line-kind,.line-rule{color:#293b3d78;font-size:.59rem}.line-kind{text-align:right}.line-rule{text-align:right;white-space:nowrap}.trace-block{gap:.4rem;display:grid}.choice-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:.4rem;padding:.18rem 0 .18rem 6.95rem;display:grid}.rule-choice{color:#293b3d;text-align:left;cursor:pointer;background:#ffffff75;border:1px solid #293b3d2e;border-radius:.58rem;align-items:flex-start;gap:.55rem;min-width:0;min-height:4.1rem;padding:.7rem;transition:transform .18s,color .18s,background .18s,border-color .18s;display:flex;position:relative}.rule-choice:hover,.rule-choice:focus-visible{background:#fff;border-color:#29464a;transform:translateY(-.12rem)}.rule-choice[data-wrong=true]{color:#a84f5b;background:#f3d2d5;border-color:#bd6c76}.rule-choice[data-correct=true]{color:#286c5b;background:#d8ebdf;border-color:#5a9d83}.choice-index{border:1px solid;border-radius:50%;flex:none;place-items:center;width:1.35rem;height:1.35rem;font:500 .65rem/1 DM Mono,monospace;display:grid}.rule-choice span:nth-child(2){gap:.3rem;min-width:0;display:grid}.rule-choice strong{font-size:.72rem;font-weight:600}.rule-choice code{overflow-wrap:anywhere;color:#293b3db8;font-size:.67rem}.choice-mark{font:600 1rem/1 DM Mono,monospace;position:absolute;top:.4rem;right:.5rem}.correction{color:#a84f5b;margin:0;padding:.15rem 0 .2rem 6.95rem;font-size:.76rem}.furlong-progress{border-top:1px solid #293b3d24;grid-template-columns:auto minmax(6rem,1fr) auto;align-items:center;gap:.75rem;margin-top:1.1rem;padding-top:1rem;display:grid}.furlong-progress .micro-label{white-space:nowrap;margin:0}.furlong-progress progress{background:#293b3d1f;border:0;border-radius:999px;width:100%;height:.45rem;overflow:hidden}.furlong-progress progress::-webkit-progress-bar{background:#293b3d1f;border-radius:999px}.furlong-progress progress::-webkit-progress-value{background:#bf747c;border-radius:999px;transition:width .3s}.furlong-progress progress::-moz-progress-bar{background:#bf747c;border-radius:999px}.furlong-progress strong{color:#293b3d9e;text-transform:uppercase;letter-spacing:.08em;white-space:nowrap;font:500 .66rem/1.3 DM Mono,monospace}.console-controls{flex-wrap:wrap;gap:.45rem;margin-top:.65rem}.console-button{color:#293b3d;text-transform:uppercase;letter-spacing:.07em;cursor:pointer;background:0 0;border:1px solid #293b3d38;border-radius:999px;align-items:center;gap:.45rem;min-height:2.3rem;padding:.55rem .8rem;font:500 .67rem/1 DM Mono,monospace;transition:color .18s,background .18s,transform .18s;display:inline-flex}.console-button:hover,.console-button:focus-visible{color:#eff1e8;background:#29464a;transform:translateY(-.1rem)}.console-button-primary{color:#eff1e8;background:#29464a;border-color:#29464a}.console-button-primary:hover,.console-button-primary:focus-visible{color:#29464a;background:#d8ebdf}.console-button-quiet{color:#293b3d8f;border-color:#0000}.trace-counter{color:#293b3d80;margin-left:auto}.console-event{color:#293b3d94;text-transform:none;letter-spacing:0;margin:.8rem 0 0}.console-event span{color:#bf747c;font-size:1rem}.rule-inspector{color:#29464a;background:#cfe1d6;flex-direction:column;justify-content:space-between;padding:1.5rem;display:flex}.inspector-heading{justify-content:space-between;gap:1rem}.inspector-heading .micro-label{color:#29464aa3;margin:0}.inspector-glyph{color:#bf747c;letter-spacing:.08em;font:400 1.3rem/1 Georgia,serif}.inspector-quote{letter-spacing:-.05em;max-width:15rem;margin:3.5rem 0 2rem;font-size:clamp(1.35rem,2.5vw,2rem);line-height:1.02}.rule-list{gap:.55rem;display:grid}.rule-card{border-top:1px solid #29464a2e;grid-template-columns:2.4rem 1fr;gap:.7rem;padding:.7rem 0;display:grid}.rule-card strong{color:#bf747c;font:500 .75rem/1.3 DM Mono,monospace}.rule-card span{color:#29464ab8;font-size:.74rem;line-height:1.35}.inspector-foot{color:#29464a85;border-top:1px solid #29464a2e;justify-content:space-between;gap:.6rem;margin-top:2rem;padding-top:.8rem}.inspector-foot strong{color:#3d7567;font-weight:500}@media (max-width:900px){.proof-heading,.proof-layout{grid-template-columns:1fr}.proof-intro{margin-left:0}.rule-inspector{min-height:18rem}.inspector-quote{margin:2rem 0 1rem}}@media (max-width:590px){.proof-lab{border-radius:1.35rem;margin-top:2rem}.proof-heading{gap:1.5rem}.theorem-picker{grid-template-columns:1fr}.theorem-blurb{border-top:1px solid #293b3d24;border-left:0;padding:.8rem 0 0}.proof-goal{grid-template-columns:1fr auto}.goal-caption{display:none}.trace-line{grid-template-columns:1.5rem 3.2rem minmax(0,1fr);gap:.45rem}.line-rule{text-align:left;grid-column:3}.choice-grid{grid-template-columns:1fr;padding-left:0}.correction{padding-left:0}.furlong-progress{grid-template-columns:1fr auto}.furlong-progress progress{grid-area:2/1/auto/-1}.trace-counter{width:100%;margin-left:0}}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:radial-gradient(circle at 13% 8%,#ffffffeb,#0000 27rem),#edf0e8;min-width:320px;min-height:100vh;margin:0}button,a{font:inherit}button{color:inherit}.skip-link{z-index:100;color:#fff;background:#243438;border-radius:999px;padding:.75rem 1rem;transition:transform .18s;position:fixed;top:.75rem;left:.75rem;transform:translateY(-180%)}.skip-link:focus{transform:translateY(0)}.site-shell{min-height:100vh;padding:1rem}.site-header,.site-footer{justify-content:space-between;align-items:center;gap:1rem;max-width:1600px;margin:0 auto;display:flex}.site-header{min-height:4.25rem;padding:0 .4rem 1rem}.brand{color:inherit;align-items:center;gap:.8rem;text-decoration:none;display:inline-flex}.brand-mark{aspect-ratio:1;letter-spacing:-.08em;border:1px solid #24343838;border-radius:80%;place-items:center;width:4.15rem;font:1200 .7rem/1 DM Mono,monospace;transition:transform .5s cubic-bezier(.22,1,.36,1),background .2s;display:grid}.brand:hover .brand-mark,.brand:focus-visible .brand-mark{color:#fff;background:#243438;transform:rotate(360deg)}.brand-name,.header-prompt,.site-footer,.keyboard-note{letter-spacing:.04em;font:800 .92rem/1.4 DM Mono,monospace}.header-actions{align-items:center;gap:1.25rem;display:flex}.header-divider{background:#24343829;width:1px;height:2.25rem}.header-labs{grid-template-columns:repeat(2,auto);gap:.35rem 1rem;display:grid}.header-link{text-align:center}.lab-link{color:#243438ad;letter-spacing:.04em;font:800 1rem/1.2 DM Mono,monospace;text-decoration:none;transition:color .18s,transform .25s cubic-bezier(.22,1,.36,1)}.lab-link:hover,.lab-link:focus-visible{color:#bf747c;transform:translate(.15rem)}@media (max-width:1000px){.header-actions{order:3;justify-content:space-between;width:100%}}@media (max-width:590px){.header-divider,.header-labs{display:none}}.header-proof-link:hover,.header-proof-link:focus-visible{color:#bf747c}.status-dot{background:#ef8e95;border-radius:50%;width:.5rem;height:.5rem;animation:2.3s infinite status-pulse;box-shadow:0 0 #ef8e9573}.hero{max-width:1600px;margin:0 auto}.hero-copy{justify-content:space-between;align-items:end;gap:2rem;padding:1.5rem .4rem 2rem;display:flex}.eyebrow{text-transform:uppercase;letter-spacing:.12em;margin:0 0 .45rem;font:500 .94rem/1.4 DM Mono,monospace}.hero-copy h1{letter-spacing:-.068em;max-width:950px;margin:0;font-size:clamp(2.2rem,5.6vw,6.7rem);font-weight:500;line-height:.94}.panel-deck{perspective:1400px;border-radius:2.2rem;gap:.65rem;height:min(67vh,760px);min-height:540px;display:flex;overflow:hidden}.kinetic-panel{--pointer-x:50%;--pointer-y:50%;--tilt-x:0deg;--tilt-y:0deg;text-align:left;cursor:pointer;isolation:isolate;border:0;border-radius:1.65rem;outline:none;flex-direction:column;flex:1 1 0;justify-content:space-between;min-width:0;padding:1.25rem;transition:flex .72s cubic-bezier(.22,1,.36,1),filter .45s,transform .45s cubic-bezier(.22,1,.36,1),opacity .45s;display:flex;position:relative;overflow:hidden;transform:translateZ(0)}.panel-gift{color:#f8fbf6;background:#789690}.panel-horse{color:#4a3035;background:#f1b2b5}.panel-mouth{color:#57363b;background:#f8d7d8}.panel-inspection{color:#263b43;background:#b9c7cb}.panel-deck:not([data-active=none]) .kinetic-panel:not([data-active=true]){filter:saturate(.74);opacity:.88;flex:.72 1 0}.kinetic-panel[data-active=true]{transform:rotateX(var(--tilt-x)) rotateY(var(--tilt-y));flex:1.9 1 0}.kinetic-panel:focus-visible{box-shadow:inset 0 0 0 4px}.panel-glow{z-index:-2;background:radial-gradient(circle 14rem at var(--pointer-x) var(--pointer-y), #ffffff57, transparent 72%);opacity:0;transition:opacity .32s;position:absolute;inset:-1px}.kinetic-panel[data-active=true] .panel-glow{opacity:1}.panel-grid{z-index:-1;opacity:0;background-image:linear-gradient(#ffffff21 1px,#0000 1px),linear-gradient(90deg,#ffffff21 1px,#0000 1px);background-size:2rem 2rem;transition:opacity .5s,transform .9s cubic-bezier(.22,1,.36,1);position:absolute;inset:0}.kinetic-panel[data-active=true] .panel-grid{opacity:.38;transform:scale(1.08)rotate(1deg)}.panel-meta{z-index:4;text-transform:uppercase;letter-spacing:.09em;justify-content:space-between;gap:1rem;font:500 .69rem/1.3 DM Mono,monospace;display:flex;position:relative}.panel-label{white-space:nowrap;text-overflow:ellipsis;opacity:.7;overflow:hidden}.kinetic-stage{z-index:2;aspect-ratio:1;width:clamp(7rem,11vw,10rem);transform-style:preserve-3d;transition:transform .7s cubic-bezier(.22,1,.36,1);position:absolute;top:47%;left:50%;transform:translate(-50%,-56%)}.kinetic-panel[data-active=true] .kinetic-stage{transform:translate(-50%,-62%)scale(1.2)}.ghost-initial{color:#ffffff38;letter-spacing:-.12em;font-size:clamp(7rem,13vw,13rem);font-weight:700;line-height:.7;transition:transform .7s cubic-bezier(.22,1,.36,1),opacity .4s;position:absolute;inset:50% auto auto 50%;transform:translate(-50%,-50%)rotate(-6deg)}.panel-horse .ghost-initial,.panel-mouth .ghost-initial,.panel-inspection .ghost-initial{color:#4e303521}.panel-inspection .ghost-initial{color:#263b4321}.kinetic-panel[data-active=true] .ghost-initial{opacity:.8;transform:translate(-50%,-50%)rotate(4deg)scale(1.14)}.emoji-wrap,.symbol{position:absolute;top:50%;left:50%}.emoji-wrap{z-index:2;place-items:center;display:grid;transform:translate(-72%,-58%)}.emoji{z-index:1;filter:grayscale(.08)drop-shadow(0 10px 12px #262a2724);transform-origin:50% 85%;font-size:clamp(3.2rem,5.5vw,5.5rem);display:block;position:relative}.emoji-shadow{filter:blur(5px);background:#232c2b2e;border-radius:50%;width:65%;height:.6rem;transition:transform .3s,opacity .3s;position:absolute;top:88%}.symbol{z-index:3;-webkit-backdrop-filter:blur(7px);backdrop-filter:blur(7px);background:#ffffff4d;border:1px solid;border-radius:50%;place-items:center;width:3.1rem;height:3.1rem;font:400 1.7rem/1 Georgia,serif;transition:transform .65s cubic-bezier(.22,1,.36,1);display:grid;transform:translate(20%,10%)rotate(8deg);box-shadow:0 8px 24px #262a2714}.kinetic-panel[data-active=true] .symbol{transform:translate(45%,-25%)rotate(-9deg)scale(1.1)}.orbit-dot{opacity:0;background:currentColor;border-radius:50%;width:.5rem;height:.5rem;position:absolute;top:50%;left:50%}.hoofprints{letter-spacing:.5em;opacity:0;font:500 1rem/1 DM Mono,monospace;position:absolute;top:75%;left:2%;transform:rotate(-12deg)}.word-lockup{z-index:5;flex-direction:column;align-items:flex-start;gap:.28rem;margin-top:auto;padding-bottom:6.7rem;display:flex;position:relative}.word{letter-spacing:-.065em;white-space:nowrap;max-width:100%;font-size:clamp(1.55rem,3.2vw,3.4rem);font-weight:600;line-height:.9;transition:letter-spacing .6s cubic-bezier(.22,1,.36,1),transform .5s;display:flex}.panel-inspection .word{font-size:clamp(1.05rem,2vw,2.4rem)}.word-letter{transition:transform .5s cubic-bezier(.22,1,.36,1);display:inline-block}.word-rule{transform-origin:0;background:currentColor;width:0;height:2px;transition:width .65s cubic-bezier(.22,1,.36,1),transform .4s;display:block}.kinetic-panel[data-active=true] .word-rule-bottom{width:100%}.word-rule-top{opacity:0}.panel-detail{z-index:5;opacity:0;grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:1.5rem;font-size:.91rem;line-height:1.45;transition:opacity .32s 80ms,transform .55s cubic-bezier(.22,1,.36,1) 80ms;display:grid;position:absolute;bottom:1.25rem;left:1.25rem;right:1.25rem;transform:translateY(1rem)}.kinetic-panel[data-active=true] .panel-detail{opacity:1;transform:translateY(0)}.panel-action{white-space:nowrap;text-transform:uppercase;letter-spacing:.06em;align-items:center;gap:.55rem;font:500 .69rem/1.2 DM Mono,monospace;display:flex}.action-arrow{border:1px solid;border-radius:50%;place-items:center;width:2.25rem;height:2.25rem;transition:transform .45s cubic-bezier(.22,1,.36,1),background .2s;display:grid}.kinetic-panel:hover .action-arrow,.kinetic-panel:focus-visible .action-arrow{color:#fff;background:#243438;transform:rotate(45deg)}.particles{z-index:8;pointer-events:none;position:absolute;top:46%;left:50%}.particle{opacity:0;border:1px solid;border-radius:50%;width:.5rem;height:.5rem;position:absolute}.kinetic-panel[data-play="1"] .particle{animation:.62s cubic-bezier(.18,.8,.26,1) both particle-out-a}.kinetic-panel[data-play="0"][data-locked=true] .particle{animation:.62s cubic-bezier(.18,.8,.26,1) both particle-out-b}.particle:nth-child(2){animation-delay:35ms!important}.particle:nth-child(3){animation-delay:70ms!important}.particle:nth-child(4){animation-delay:.105s!important}.particle:nth-child(5){animation-delay:.14s!important}.particle:nth-child(6){animation-delay:.175s!important}.panel-gift[data-active=true] .emoji{animation:1.7s ease-in-out infinite gift-hover}.panel-gift[data-active=true] .symbol{transform:translate(58%,-52%)rotate(14deg)scale(1.12)}.panel-gift[data-active=true] .word-rule-bottom{transform:rotate(-1.5deg)scaleX(1.03);box-shadow:0 4px #ffffff52}.panel-gift[data-play="1"] .emoji,.panel-gift[data-play="0"][data-locked=true] .emoji{animation:.82s cubic-bezier(.2,.9,.25,1) both gift-open}.panel-horse[data-active=true] .emoji{animation:.72s ease-in-out infinite alternate horse-gallop}.panel-horse[data-active=true] .emoji-shadow{animation:.72s ease-in-out infinite alternate horse-shadow}.panel-horse[data-active=true] .word-letter{animation:.7s ease-in-out infinite alternate letter-gallop;animation-delay:calc(var(--letter-index) * 80ms)}.panel-horse[data-active=true] .hoofprints{opacity:.55;animation:1.4s linear infinite hoof-trail}.panel-horse[data-play="1"] .kinetic-stage,.panel-horse[data-play="0"][data-locked=true] .kinetic-stage{animation:.9s cubic-bezier(.22,1,.36,1) both horse-run}.panel-mouth[data-active=true] .emoji{animation:.9s ease-in-out infinite mouth-speak}.panel-mouth[data-active=true] .word{letter-spacing:.075em}.panel-mouth[data-active=true] .word-rule-top{opacity:1;width:100%}.panel-mouth[data-play="1"] .word-lockup,.panel-mouth[data-play="0"][data-locked=true] .word-lockup{animation:.7s cubic-bezier(.2,.9,.25,1) both mouth-bite}.panel-mouth[data-play="1"] .symbol,.panel-mouth[data-play="0"][data-locked=true] .symbol{animation:.7s cubic-bezier(.22,1,.36,1) both mu-flip}.scan-beam{z-index:4;opacity:0;pointer-events:none;background:linear-gradient(90deg,#0000,#ffffffad,#0000);width:15%;position:absolute;inset:0 auto 0 -15%;transform:skew(-10deg)}.panel-inspection[data-active=true] .scan-beam{opacity:.3;animation:2.2s linear infinite scan}.panel-inspection[data-active=true] .symbol{animation:3s linear infinite lens-orbit}.panel-inspection[data-active=true] .orbit-dot{opacity:.75;animation:2.2s linear infinite dot-orbit}.panel-inspection[data-play="1"] .panel-grid,.panel-inspection[data-play="0"][data-locked=true] .panel-grid{animation:.76s both grid-inspect}.panel-inspection[data-play="1"] .emoji,.panel-inspection[data-play="0"][data-locked=true] .emoji{animation:.76s cubic-bezier(.22,1,.36,1) both magnify}.keyboard-note{color:#24343894;justify-content:flex-end;gap:1.4rem;margin:0;padding:.85rem .4rem 1.5rem;display:flex}.keyboard-note span:before{content:"↳ "}.site-footer{color:#243438a6;border-top:1px solid #24343829;padding:1.2rem .4rem .5rem}@keyframes status-pulse{60%{box-shadow:0 0 0 .55rem #ef8e9500}to{box-shadow:0 0 #ef8e9500}}@keyframes gift-hover{0%,to{transform:translateY(0)rotate(-3deg)}50%{transform:translateY(-.55rem)rotate(4deg)}}@keyframes gift-open{0%{transform:translateY(0)rotate(0)scale(1)}35%{transform:translateY(.35rem)rotate(-8deg)scale(.92)}65%{transform:translateY(-2rem)rotate(11deg)scale(1.22)}to{transform:translateY(0)rotate(360deg)scale(1)}}@keyframes horse-gallop{0%{transform:translate(-.25rem,.22rem)rotate(-4deg)}to{transform:translate(.3rem,-.42rem)rotate(3deg)}}@keyframes horse-shadow{0%{opacity:.28;transform:scaleX(1.1)}to{opacity:.12;transform:scaleX(.62)}}@keyframes letter-gallop{0%{transform:translateY(0)rotate(0)}to{transform:translateY(-.28em)rotate(-3deg)}}@keyframes hoof-trail{0%{opacity:0;transform:translate(1rem)rotate(-12deg)}30%{opacity:.55}to{opacity:0;transform:translate(-2rem)rotate(-12deg)}}@keyframes horse-run{0%{transform:translate(-50%,-62%)scale(1.2)}30%{transform:translate(-65%,-67%)scale(1.08)rotate(-5deg)}58%{transform:translate(-20%,-70%)scale(1.28)rotate(4deg)}to{transform:translate(-50%,-62%)scale(1.2)}}@keyframes mouth-speak{0%,to{transform:scaleY(.85)scaleX(1.05)}45%{transform:scaleY(1.18)scaleX(.92)}60%{transform:scaleY(.68)scaleX(1.14)}}@keyframes mouth-bite{0%,to{transform:scaleY(1)}42%{transform:scaleY(.1)}62%{transform:scaleY(1.2)}}@keyframes mu-flip{0%{transform:translate(45%,-25%)rotate(-9deg)}to{transform:translate(45%,-25%)rotate(351deg)}}@keyframes scan{0%{left:-18%}to{left:105%}}@keyframes lens-orbit{0%{transform:translate(45%,-25%)rotate(0)translate(.45rem)rotate(0)}to{transform:translate(45%,-25%)rotate(360deg)translate(.45rem)rotate(-360deg)}}@keyframes dot-orbit{0%{transform:rotate(0)translate(4rem)}to{transform:rotate(360deg)translate(4rem)}}@keyframes grid-inspect{0%{background-size:2rem 2rem}45%{opacity:.75;background-size:.72rem .72rem}to{background-size:2rem 2rem}}@keyframes magnify{0%,to{transform:scale(1)}45%{transform:scale(1.62)rotate(-12deg)}}@keyframes particle-out-a{0%{opacity:0;transform:translate(0)scale(.3)}22%{opacity:.9}to{opacity:0;transform:translate(var(--particle-x), var(--particle-y)) scale(1.4)}}@keyframes particle-out-b{0%{opacity:0;transform:translate(0)scale(.3)rotate(0)}22%{opacity:.9}to{opacity:0;transform:translate(var(--particle-x), var(--particle-y)) scale(1.4) rotate(180deg)}}@media (max-width:900px){.hero-copy{display:block}.eyebrow{margin-bottom:.8rem}.panel-deck{border-radius:1.5rem;grid-template-columns:1fr 1fr;height:auto;min-height:0;display:grid;overflow:visible}.kinetic-panel,.panel-deck:not([data-active=none]) .kinetic-panel:not([data-active=true]),.kinetic-panel[data-active=true]{min-height:28rem;transform:none}.kinetic-panel[data-active=true]{grid-column:span 2}.panel-detail{grid-template-columns:1fr;gap:.7rem}}@media (max-width:590px){.site-shell{padding:.65rem}.brand-name,.header-prompt,.keyboard-note{display:none}.site-header{min-height:3.8rem;padding-bottom:.65rem}.hero-copy{padding:1rem .2rem 1.4rem}.panel-deck{flex-direction:column;gap:.5rem;display:flex}.kinetic-panel,.panel-deck:not([data-active=none]) .kinetic-panel:not([data-active=true]),.kinetic-panel[data-active=true]{border-radius:1.35rem;flex:none;min-height:13.5rem}.kinetic-panel[data-active=true]{min-height:27rem}.kinetic-stage{top:50%}.word-lockup{padding-bottom:0}.kinetic-panel[data-active=true] .word-lockup{padding-bottom:7rem}.word{font-size:2.2rem}.panel-inspection .word{font-size:1.55rem}.site-footer{line-height:1.8;display:block}.site-footer span:last-child{display:none}}.theorem-tab,.console-button{text-transform:uppercase;letter-spacing:.08em;font:500 .66rem/1.3 DM Mono,monospace}.evolution-lab{color:#29464a;background:radial-gradient(circle at 88% 3%,#f0afb359,#0000 21rem),radial-gradient(circle at 6% 93%,#a0cfbc6b,#0000 25rem),#ded9e8;border-radius:2.2rem;max-width:1600px;margin:3.25rem auto 0;padding:clamp(1.35rem,3vw,3.4rem);box-shadow:0 1.5rem 4rem #2434381a}.evolution-heading{grid-template-columns:minmax(0,1.35fr) minmax(15rem,.65fr);align-items:end;gap:3rem;padding:0 .2rem 2.15rem;display:grid}.evolution-heading h2{letter-spacing:-.07em;max-width:38rem;margin:0;font-size:clamp(2.3rem,5vw,5.4rem);font-weight:500;line-height:.92}.evolution-heading h2 span{color:#bf747c}.evolution-intro{color:#29464ab8;max-width:23rem;margin:0 0 .25rem auto;font-size:.94rem;line-height:1.55}.grammar-strip{grid-template-columns:repeat(3,1fr);gap:.5rem;margin-bottom:.7rem;display:grid}.grammar-item{background:#ffffff47;border:1px solid #29464a29;border-radius:.78rem;align-items:center;gap:.8rem;min-width:0;padding:.9rem 1rem;display:flex}.grammar-glyph{color:#eff1e8;background:#29464a;flex:none;place-items:center;width:2.3rem;height:2.3rem;font:500 .76rem/1 DM Mono,monospace;display:grid}.terminal-glyph{border-radius:50%}.nonterminal-glyph{color:#29464a;background:#f0afb3;border-radius:.55rem}.result-glyph{color:#29464a;background:0 0;border:1px solid #29464a;border-radius:50%;font:400 1.35rem/1 Georgia,serif}.grammar-item span:last-child{gap:.18rem;min-width:0;display:grid}.grammar-item strong{font-size:.77rem;font-weight:600}.grammar-item small{color:#29464a9e;text-overflow:ellipsis;white-space:nowrap;font:400 .66rem/1.35 DM Mono,monospace;overflow:hidden}.evolution-console{background:#eff1e8;border-radius:1.35rem;padding:clamp(1rem,2.5vw,2rem);box-shadow:0 .8rem 2rem #29464a0f}.evolution-console-top,.console-label,.history-controls,.evolution-explainer,.selection-readout,.operator-controls,.candidate-header,.candidate-card-top{align-items:center;display:flex}.evolution-console-top{border-bottom:1px solid #29464a24;justify-content:space-between;gap:1rem;padding-bottom:1rem}.evolution-console .console-label{color:#29464a;flex-wrap:wrap;gap:.5rem}.evolution-console .console-label .status-dot{background:#6cae94;width:.42rem;height:.42rem;animation:none}.generation-badge{color:#7c4e61;background:#f5dfe0;border-radius:999px;padding:.3rem .5rem;font-size:.58rem}.history-controls{gap:.25rem}.history-controls button{color:#29464aad;cursor:pointer;text-transform:uppercase;background:0 0;border:0;align-items:center;gap:.25rem;padding:.35rem .45rem;font:500 .72rem/1 DM Mono,monospace;display:inline-flex}.history-controls button:hover:not(:disabled),.history-controls button:focus-visible:not(:disabled){color:#bf747c}.history-controls button:disabled{cursor:not-allowed;opacity:.28}.history-controls button span{font-size:.58rem}.evolution-explainer{justify-content:space-between;gap:1.2rem;padding:1.1rem 0 1rem}.evolution-explainer p{color:#29464ab3;margin:0;font-size:.84rem}.evolution-explainer code{color:#29464a;font:400 .76rem/1.3 DM Mono,monospace}.population-grid{grid-template-columns:repeat(4,minmax(0,1fr));gap:.5rem;display:grid}.ast-card{background:#ffffff6b;border:1px solid #29464a29;border-radius:.95rem;min-width:0;transition:transform .25s cubic-bezier(.22,1,.36,1),box-shadow .25s,border-color .25s;position:relative;overflow:hidden}.ast-card:hover{transform:translateY(-.18rem)}.ast-card[data-selected=true]{border-color:#bf747c;transform:translateY(-.18rem);box-shadow:0 0 0 3px #bf747c2e,0 .8rem 1.6rem #29464a1a}.ast-card[data-tint=rose] .tree-letter,.ast-card[data-tint=rose] .ast-node[data-selected=true]{color:#7c4e61;background:#f0afb3}.ast-card[data-tint=lilac] .tree-letter,.ast-card[data-tint=lilac] .ast-node[data-selected=true]{color:#514a72;background:#d8d2ec}.ast-card[data-tint=sand] .tree-letter,.ast-card[data-tint=sand] .ast-node[data-selected=true]{color:#6c5843;background:#e8d9be}.ast-card-header{justify-content:space-between;align-items:center;gap:.5rem;padding:.7rem .7rem .55rem;display:flex}.ast-card-select{color:#29464a;text-align:left;cursor:pointer;background:0 0;border:0;align-items:center;gap:.5rem;min-width:0;padding:0;display:flex}.tree-letter{color:#285f54;background:#bfe0cf;border-radius:50%;flex:none;place-items:center;width:1.7rem;height:1.7rem;font:500 .75rem/1 DM Mono,monospace;display:grid}.ast-card-select span:last-child{gap:.08rem;min-width:0;display:grid}.ast-card-select strong{letter-spacing:.08em;font:500 .7rem/1.2 DM Mono,monospace}.ast-card-select small,.tree-generation{color:#29464a87;font:400 .58rem/1.2 DM Mono,monospace}.tree-generation{flex:none}.ast-viewport{cursor:pointer;place-items:start center;min-height:13.8rem;padding:1rem .55rem 1.25rem;display:grid;position:relative;overflow:auto hidden}.selection-pin{color:#bf747c;border:1px solid #bf747c;border-radius:50%;place-items:center;width:1.25rem;height:1.25rem;font:500 .58rem/1 DM Mono,monospace;display:grid;position:absolute;top:.45rem;right:.55rem}.ast-node-wrap{flex-direction:column;align-items:center;display:flex;position:relative}.ast-node{z-index:1;color:#29464a;cursor:pointer;white-space:nowrap;background:#edf4ec;border:1px solid #29464a;border-radius:.48rem;align-items:center;gap:.28rem;min-width:2.45rem;min-height:2rem;padding:.42rem .52rem;font:500 .72rem/1 DM Mono,monospace;transition:color .15s,background .15s,transform .15s,border-color .15s;display:inline-flex;position:relative;box-shadow:0 .25rem .6rem #29464a14}.ast-node[data-kind=terminal]{color:#286c5b;background:#d7ecdf;border-color:#6c9c8c;border-radius:999px}.ast-node:hover,.ast-node:focus-visible{transform:scale(1.08)}.ast-node[data-selected=true]{color:#eff1e8;background:#bf747c;border-color:#bf747c;box-shadow:0 0 0 4px #bf747c33,0 .45rem .9rem #bf747c38}.ast-node-kind{color:#29464a6e;font-size:.5rem}.ast-node[data-selected=true] .ast-node-kind{color:#ffffffb8}.ast-children{gap:1.25rem;padding-top:1.25rem;display:flex;position:relative}.ast-children:before{content:"";border-top:1px solid #29464a61;width:50%;position:absolute;top:.56rem;left:25%}.ast-child{padding-top:.15rem;position:relative}.ast-child:before{content:"";border-left:1px solid #29464a61;height:.85rem;position:absolute;top:-.7rem;left:50%}.ast-card-foot{border-top:1px solid #29464a21;gap:.35rem;padding:.65rem .7rem .75rem;display:grid}.ast-card-foot code{overflow-wrap:anywhere;color:#29464a;min-height:2.1rem;font:400 .64rem/1.35 DM Mono,monospace}.ast-card-foot span{color:#29464a80;text-transform:uppercase;font:400 .58rem/1.3 DM Mono,monospace}.selection-readout{color:#29464a99;text-transform:uppercase;letter-spacing:.06em;background:#d9e9dd73;border:1px solid #29464a24;border-radius:.55rem;justify-content:space-between;gap:1rem;margin-top:.55rem;padding:.75rem .8rem;font:400 .62rem/1.35 DM Mono,monospace}.selection-readout strong{color:#bf747c;font-weight:500}.selection-readout>span:last-child{color:#3d7567;text-align:right}.operator-controls{border-bottom:1px solid #29464a24;padding:1rem 0 .8rem;display:block}.operator-buttons{flex-wrap:wrap;gap:.4rem;display:flex}.operator-button,.adopt-button{color:#29464a;cursor:pointer;text-transform:uppercase;letter-spacing:.06em;background:0 0;border:1px solid #29464a33;border-radius:999px;align-items:center;gap:.4rem;min-height:2.3rem;padding:.55rem .75rem;font:500 .64rem/1 DM Mono,monospace;transition:color .18s,background .18s,border-color .18s,transform .18s;display:inline-flex}.operator-button:hover:not(:disabled),.operator-button:focus-visible:not(:disabled),.adopt-button:hover,.adopt-button:focus-visible{color:#eff1e8;background:#29464a;border-color:#29464a;transform:translateY(-.1rem)}.operator-button-primary{color:#eff1e8;background:#29464a;border-color:#29464a}.operator-button:disabled{cursor:not-allowed;opacity:.35}.operator-hint{color:#29464a8c;margin:.7rem 0 0;font-size:.72rem;line-height:1.4}.candidate-shelf{background:#ffffff38;border:1px dashed #29464a42;border-radius:.8rem;margin-top:1rem;padding:.95rem}.candidate-shelf[data-has-candidate=true]{background:#f5dfe061;border-style:solid;border-color:#bf747c73}.candidate-header{justify-content:space-between;gap:1rem}.candidate-header>div{gap:.12rem;display:grid}.candidate-header .micro-label{margin:0}.candidate-header strong{font-size:.82rem;font-weight:600}.adopt-button{color:#7c4e61;border-color:#bf747c}.candidate-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.45rem;margin-top:.8rem;display:grid}.candidate-card{background:#ffffff6e;border:1px solid #29464a24;border-radius:.65rem;min-width:0;padding:.7rem}.candidate-card[data-tint=rose]{background:#f0afb340}.candidate-card-top{justify-content:space-between;gap:.7rem;margin-bottom:.25rem}.candidate-card-top strong,.candidate-card-top span{color:#29464a99;text-transform:uppercase;font:500 .6rem/1.25 DM Mono,monospace}.candidate-card-top strong{color:#bf747c}.candidate-tree{min-height:8rem;padding:.6rem 0 .8rem;overflow:auto hidden}.candidate-tree .ast-node{min-height:1.65rem;padding:.32rem .42rem;font-size:.62rem}.candidate-tree .ast-node-kind{display:none}.candidate-tree .ast-children{gap:.75rem;padding-top:1rem}.candidate-tree .ast-children:before{top:.42rem}.candidate-tree .ast-child:before{height:.7rem;top:-.58rem}.candidate-card>code{overflow-wrap:anywhere;color:#29464a;border-top:1px solid #29464a1f;padding-top:.55rem;font:400 .62rem/1.35 DM Mono,monospace;display:block}.empty-bay{color:#29464a94;margin:.7rem 0 0;font-size:.77rem;line-height:1.45}.evolution-event{color:#29464a99;margin:.85rem 0 0;font:400 .66rem/1.4 DM Mono,monospace}.evolution-event span{color:#bf747c;font-size:1rem}.operator-notes{grid-template-columns:repeat(3,1fr);gap:1.5rem;padding:1.25rem .2rem 0;display:grid}.operator-notes>div{grid-template-columns:2rem 1fr;column-gap:.55rem;display:grid}.operator-notes span{color:#bf747c;grid-row:span 2;font:500 .68rem/1.4 DM Mono,monospace}.operator-notes strong{font-size:.82rem;font-weight:600}.operator-notes p{color:#29464aa6;margin:.3rem 0 0;font-size:.74rem;line-height:1.45}@media (max-width:1100px){.population-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width:900px){.evolution-heading{grid-template-columns:1fr}.evolution-intro{margin-left:0}.operator-notes{grid-template-columns:1fr;gap:.85rem}}@media (max-width:590px){.evolution-lab{border-radius:1.35rem;margin-top:2rem}.grammar-strip{grid-template-columns:1fr}.evolution-explainer{flex-direction:column;align-items:flex-start;gap:.55rem}.population-grid,.candidate-grid{grid-template-columns:1fr}.ast-viewport{min-height:14.5rem}.selection-readout{flex-direction:column;align-items:flex-start;gap:.35rem}.selection-readout>span:last-child{text-align:left}.candidate-header{flex-direction:column;align-items:flex-start}}.site-nav{align-items:center;gap:.15rem;margin-left:auto;display:flex}.site-nav a,.site-footer-links a{color:#243438b8;text-decoration:none;transition:color .18s,background .18s,border-color .18s}.site-nav a{text-transform:uppercase;letter-spacing:.07em;border:1px solid #0000;border-radius:999px;padding:.42rem .62rem;font:800 .83rem/1.2 DM Mono,monospace}.site-nav a:hover,.site-nav a:focus-visible,.site-footer-links a:hover,.site-footer-links a:focus-visible{color:#bf747c}.site-nav a[aria-current=page]{color:#29464a;background:#ffffff73;border-color:#2434382e}.site-footer{flex-wrap:wrap;row-gap:.7rem}.site-footer-links{flex-wrap:wrap;justify-content:center;align-items:center;gap:.35rem .9rem;display:flex}.site-footer-links a{font-size:.68rem}.subpage-shell{min-height:100vh}.subpage-main{max-width:1600px;margin:0 auto;padding:clamp(1.5rem,4vw,4.5rem) .4rem 4rem}.subpage-hero{max-width:64rem;padding:clamp(1rem,2vw,1.8rem) 0 3.4rem}.section-kicker,.work-card-tag,.publication-number,.inspector-label{text-transform:uppercase;letter-spacing:.1em;margin:0;font:600 1.15rem/1.3 DM Mono,monospace}.section-kicker,.work-card-tag,.inspector-label{color:#bf747c}.subpage-hero h1{color:#29464a;letter-spacing:-.075em;max-width:50rem;margin:.65rem 0 1.2rem;font-size:clamp(3rem,8vw,7.8rem);font-weight:500;line-height:.9}.subpage-hero .hero-blurb{color:#243438b8;max-width:39rem;margin:0;font-size:clamp(1rem,1.5vw,1.2rem);line-height:1.6}.split-hero{grid-template-columns:minmax(0,50rem) minmax(19rem,31rem);align-items:start;gap:clamp(1rem,2vw,2rem);max-width:none;display:grid}.split-hero .hero-blurb{text-align:left;max-width:31rem;padding-top:clamp(2.4rem,3vw,3.25rem);font-size:clamp(1.05rem,1.35vw,1.25rem)}.split-hero .hero-blurb p{margin:0}.split-hero .hero-blurb p+p{margin-top:1.25rem}.hiring-hero{text-align:center;flex-direction:column;justify-content:center;align-items:center;max-width:100%;min-height:min(64vh,42rem);padding-top:clamp(3rem,10vh,7rem);padding-bottom:clamp(4rem,10vh,7rem);display:flex}.hiring-hero .hero-main{flex-direction:column;align-items:center;display:flex}.hiring-hero h1{max-width:none;margin-bottom:clamp(1.5rem,3vw,2.75rem)}.hiring-email{color:#29464a;letter-spacing:-.08em;overflow-wrap:anywhere;max-width:100%;font:500 clamp(1.35rem,3.15vw,3.7rem)/1.05 DM Mono,monospace;text-decoration:none}.hiring-hero .hero-blurb{text-align:center;max-width:42rem;margin-top:clamp(3rem,7vh,5rem);padding:0;font-size:clamp(1rem,1.35vw,1.15rem)}.work-grid-title{color:#29464a;letter-spacing:-.06em;max-width:56rem;margin:0 0 clamp(1.4rem,3vw,2.5rem);font-size:clamp(2rem,4.5vw,4.8rem);font-weight:500;line-height:.98}.work-grid{grid-template-columns:repeat(4,minmax(0,1fr));gap:.7rem;margin-bottom:3.25rem;display:grid}.work-card,.publication-card,.contact-card{background:#ffffff80;border:1px solid #24343824;box-shadow:0 1.2rem 3rem #2434380d}.work-card{border-radius:1.35rem;min-height:20rem;padding:1.25rem}.work-card-index{color:#24343873;margin-bottom:3.5rem;font:500 .72rem/1 DM Mono,monospace;display:block}.work-card h2,.publication-card h2,.contact-card h2{color:#29464a;letter-spacing:-.04em;margin:.55rem 0 .8rem;font-size:clamp(1.2rem,2vw,1.65rem);font-weight:500;line-height:1.03}.work-card>p:last-child,.publication-card p:last-child,.contact-card p:last-child{color:#243438ad;margin:0;font-size:.88rem;line-height:1.55}.publication-list{gap:.65rem;max-width:66rem;display:grid}.publication-card{border-radius:1.25rem;grid-template-columns:3rem minmax(0,1fr) auto;align-items:start;gap:1.1rem;padding:1.25rem 1.35rem;display:grid}.publication-number{color:#24343866}.publication-card h2{margin-top:.4rem}.publication-arrow{color:#bf747c;font-size:1.3rem}.subpage-note{color:#24343885;margin:1.5rem 0 0;font:400 .72rem/1.5 DM Mono,monospace}.contact-card{background:radial-gradient(circle at 85% 12%,#f0afb359,#0000 15rem),#ffffff8c;border-radius:1.6rem;grid-template-columns:minmax(0,1fr) minmax(14rem,.7fr);align-items:end;gap:2rem;max-width:66rem;padding:clamp(1.3rem,3vw,2.4rem);display:grid}.contact-card h2{margin-top:.7rem;font-size:clamp(2rem,4vw,3.8rem)}.contact-card p:last-child{max-width:34rem}.contact-placeholder{color:#29464a;letter-spacing:-.04em;text-align:right;justify-self:end;font:500 clamp(.9rem,1.5vw,1.2rem)/1.35 DM Mono,monospace}.dessin-lab{color:#edf2e9;background:radial-gradient(circle at 84% 5%,#f0afb33b,#0000 21rem),radial-gradient(circle at 5% 95%,#a3d5c12b,#0000 25rem),#29464a;border-radius:2.2rem;max-width:1600px;margin:3.25rem auto 0;padding:clamp(1.35rem,3vw,3.4rem);box-shadow:0 1.5rem 4rem #2434381a}.dessin-heading{grid-template-columns:minmax(0,1.3fr) minmax(15rem,.7fr);align-items:end;gap:3rem;padding:0 .2rem 2.15rem;display:grid}.dessin-heading .section-kicker{color:#f0afb3}.dessin-heading h2{letter-spacing:-.07em;max-width:39rem;margin:.55rem 0 0;font-size:clamp(2.25rem,5vw,5.15rem);font-weight:500;line-height:.92}.dessin-intro{color:#edf2e9b8;max-width:24rem;margin:0 0 .25rem auto;font-size:.94rem;line-height:1.55}.dessin-layout{grid-template-columns:minmax(0,1.5fr) minmax(16rem,.5fr);gap:.7rem;display:grid}.dessin-console,.dessin-inspector{border-radius:1.35rem;min-width:0}.dessin-console{color:#293b3d;background:#eff1e8;padding:clamp(1rem,2.5vw,2rem)}.dessin-tabs{border-bottom:1px solid #293b3d24;grid-template-columns:repeat(3,minmax(0,1fr));gap:.45rem;padding-bottom:1rem;display:grid}.dessin-tab,.focus-button,.dessin-play{cursor:pointer;border:0}.dessin-tab{color:#293b3db3;text-align:left;background:0 0;border:1px solid #0000;border-radius:.8rem;gap:.45rem;min-height:4.4rem;padding:.75rem;font-size:.86rem;line-height:1.12;transition:color .18s,background .18s,border-color .18s;display:grid}.dessin-tab span{color:#293b3d75;text-transform:uppercase;letter-spacing:.08em;font:500 .58rem/1 DM Mono,monospace}.dessin-tab:hover,.dessin-tab:focus-visible,.dessin-tab.is-active{color:#29464a;background:#ffffffa1;border-color:#293b3d29}.dessin-canvas-wrap{padding:1.15rem 0 0}.dessin-canvas-label,.dessin-canvas-caption,.dessin-controls{justify-content:space-between;align-items:center;gap:1rem;display:flex}.dessin-canvas-label{color:#293b3d85;text-transform:uppercase;letter-spacing:.08em;padding:0 .2rem .65rem;font:500 .64rem/1.3 DM Mono,monospace}.dessin-canvas{background-color:#e4eadf;background-image:linear-gradient(#293b3d0d 1px,#0000 1px),linear-gradient(90deg,#293b3d0d 1px,#0000 1px),none;background-position:0 0,0 0,0 0;background-repeat:repeat,repeat,repeat;background-size:2rem 2rem;background-attachment:scroll,scroll,scroll;background-origin:padding-box,padding-box,padding-box;background-clip:border-box,border-box,border-box;border:1px solid #293b3d1f;border-radius:1.05rem;min-height:20rem;position:relative;overflow:hidden}.dessin-svg{width:100%;height:auto;min-height:20rem;display:block}.dessin-face{fill:#f0afb32e;stroke:#bf747c52;stroke-dasharray:3 8}.dessin-edge{fill:none;stroke:#6cae94;stroke-width:5px;stroke-linecap:round;stroke-dasharray:0 1000;transition:stroke .18s,opacity .18s}.dessin-node{transform-box:fill-box;transform-origin:50%;transition:transform .18s}.dessin-node circle{stroke:#29464a;stroke-width:2px}.dessin-node text{fill:#29464a;pointer-events:none;font:600 .62rem/1 DM Mono,monospace}.node-black circle{fill:#29464a}.node-black text{fill:#edf2e9}.node-white circle{fill:#f0afb3}.dessin-canvas[data-focus=zero] .node-black,.dessin-canvas[data-focus=one] .node-white{transform:scale(1.15)}.dessin-canvas[data-focus=infinity] .dessin-face{fill:#f0afb36b;stroke-width:2px}.dessin-canvas[data-playing=true] .dessin-edge{stroke-dasharray:12 14;animation:2.2s linear infinite dessin-walk}.dessin-canvas[data-playing=true] .dessin-node{animation:1.4s ease-in-out infinite alternate dessin-node-pulse}.dessin-canvas-caption{color:#293b3da3;text-transform:uppercase;letter-spacing:.06em;justify-content:flex-end;font:500 .6rem/1.3 DM Mono,monospace;position:absolute;bottom:.75rem;right:.9rem}.node-key{align-items:center;gap:.35rem;display:inline-flex}.node-key-dot{border:1px solid #29464a;border-radius:50%;width:.55rem;height:.55rem;display:inline-block}.node-key-black{background:#29464a}.node-key-white{background:#f0afb3}.dessin-controls{padding-top:1rem}.dessin-focuses{flex-wrap:wrap;gap:.35rem;display:flex}.focus-button{color:#293b3dab;text-transform:uppercase;letter-spacing:.06em;background:0 0;border:1px solid #293b3d24;border-radius:999px;padding:.48rem .65rem;font:500 .62rem/1 DM Mono,monospace}.focus-button:hover,.focus-button:focus-visible,.focus-button.is-active{color:#29464a;background:#a3d5c145;border-color:#6cae94}.dessin-play{color:#edf2e9;text-transform:uppercase;letter-spacing:.06em;background:#29464a;border-radius:.65rem;padding:.75rem .9rem;font:500 .64rem/1.2 DM Mono,monospace;transition:transform .18s,background .18s}.dessin-play:hover,.dessin-play:focus-visible{background:#bf747c;transform:translateY(-2px)}.dessin-inspector{background:#122b2e61;padding:clamp(1.2rem,2.5vw,2rem)}.dessin-inspector .inspector-label{color:#f0afb3}.dessin-formula{color:#fff8ee;margin:1.35rem 0 .6rem;font:500 clamp(1rem,1.8vw,1.35rem)/1.3 DM Mono,monospace}.dessin-status{color:#edf2e99e;margin:0;font-size:.85rem;line-height:1.5}.dessin-fact-grid{grid-template-columns:1fr 1fr;gap:.45rem;margin:1.5rem 0;display:grid}.dessin-fact-grid div{border:1px solid #edf2e924;border-radius:.7rem;gap:.4rem;padding:.8rem;display:grid}.dessin-fact-grid span{color:#edf2e985;text-transform:uppercase;letter-spacing:.08em;font:500 .6rem/1 DM Mono,monospace}.dessin-fact-grid strong{color:#fff8ee;font:500 1.5rem/1 DM Mono,monospace}.dessin-note{color:#edf2e9c7;margin:0;font-size:.86rem;line-height:1.6}.dessin-reading{color:#f0afb3;text-transform:uppercase;letter-spacing:.06em;border-top:1px solid #edf2e924;align-items:flex-start;gap:.55rem;margin-top:1.5rem;padding-top:1rem;font:500 .68rem/1.45 DM Mono,monospace;display:flex}.reading-pulse{background:#6cae94;border-radius:50%;flex:none;width:.45rem;height:.45rem;margin-top:.18rem;box-shadow:0 0 0 .32rem #6cae9421}.dessin-footnote{color:#edf2e96b;margin:3rem 0 0;font:400 .68rem/1.5 DM Mono,monospace}.dessin-source{color:#edf2e98c;margin:.75rem 0 0;font:400 .68rem/1.5 DM Mono,monospace}.dessin-source a,.homotopy-footnote a{color:inherit;text-underline-offset:.2em;transition:color .18s}.dessin-source a:hover,.dessin-source a:focus-visible,.homotopy-footnote a:hover,.homotopy-footnote a:focus-visible{color:#f0afb3}@keyframes dessin-walk{to{stroke-dashoffset:-52px}}@keyframes dessin-node-pulse{to{transform:scale(1.08)}}.homotopy-lab{color:#edf2e9;background:radial-gradient(circle at 12% 4%,#a3d5c133,#0000 21rem),radial-gradient(circle at 92% 94%,#f0afb333,#0000 24rem),#29464a;border-radius:2.2rem;max-width:1600px;margin:3.25rem auto 0;padding:clamp(1.35rem,3vw,3.4rem);box-shadow:0 1.5rem 4rem #2434381a}.homotopy-heading{grid-template-columns:minmax(0,1.25fr) minmax(15rem,.75fr);align-items:end;gap:3rem;padding:0 .2rem 2.15rem;display:grid}.homotopy-heading .section-kicker{color:#f0afb3}.homotopy-heading h2{letter-spacing:-.07em;max-width:43rem;margin:.55rem 0 0;font-size:clamp(2.25rem,5vw,5.15rem);font-weight:500;line-height:.92}.homotopy-intro{color:#edf2e9b8;max-width:24rem;margin:0 0 .25rem auto;font-size:.94rem;line-height:1.55}.homotopy-system-strip{grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:stretch;gap:.65rem;margin-bottom:.7rem;display:grid}.system-card{background:#122b2e61;border:1px solid #edf2e924;border-radius:1rem;gap:.45rem;padding:1rem 1.15rem;display:grid}.system-card span,.system-card small,.homotopy-canvas-topline,.homotopy-legend,.homotopy-stage-readout,.homotopy-footnote{letter-spacing:.06em;font:500 .63rem/1.35 DM Mono,monospace}.system-card span{color:#f0afb3;text-transform:uppercase}.system-card strong{color:#fff8ee;letter-spacing:-.04em;font:500 clamp(.82rem,1.5vw,1.05rem)/1.35 DM Mono,monospace}.system-card small{color:#edf2e985}.system-card-target span{color:#a3d5c1}.homotopy-arrow{color:#f0afb3;align-self:center;font-size:1.5rem}.homotopy-layout{grid-template-columns:minmax(0,1.5fr) minmax(16rem,.5fr);gap:.7rem;display:grid}.homotopy-console,.homotopy-inspector{border-radius:1.35rem;min-width:0}.homotopy-console{color:#293b3d;background:#eff1e8;padding:clamp(1rem,2.5vw,2rem)}.homotopy-canvas-topline{color:#293b3d94;text-transform:uppercase;justify-content:space-between;gap:1rem;padding-bottom:.85rem;display:flex}.homotopy-svg{background:#e4eadf;border:1px solid #293b3d1f;border-radius:1.05rem;width:100%;height:auto;min-height:20rem;display:block;overflow:visible}.homotopy-axis{stroke:#293b3d3b;stroke-width:1px}.homotopy-axis-label,.homotopy-map-label,.homotopy-root-label{fill:#293b3d8c;letter-spacing:.08em;text-transform:uppercase;font-family:DM Mono,monospace;font-size:10px}.homotopy-map-label{fill:#293b3d6e;font-size:9px}.homotopy-root-label{fill:#29464a;font-size:11px;font-weight:600}.homotopy-path-track,.homotopy-path-trail{fill:none;stroke-linecap:round;stroke-linejoin:round}.homotopy-path-track{stroke:#293b3d29;stroke-width:2px;stroke-dasharray:4 9}.homotopy-path-trail{stroke:#6cae94;stroke-width:5px;transition:stroke .22s}.homotopy-track:nth-of-type(2) .homotopy-path-trail{stroke:#bf747c}.homotopy-track:nth-of-type(3) .homotopy-path-trail{stroke:#d2a85e}.homotopy-track:nth-of-type(4) .homotopy-path-trail{stroke:#789eae}.homotopy-cursor{fill:#fff8ee;stroke:#29464a;stroke-width:3px;transition:cx .3s cubic-bezier(.22,1,.36,1),cy .3s cubic-bezier(.22,1,.36,1),r .18s}.homotopy-cursor.is-exact{fill:#f0afb3;r:10}.homotopy-console.is-playing .homotopy-path-track{animation:2.3s linear infinite homotopy-dash}.homotopy-console.is-playing .homotopy-cursor{animation:1.25s ease-in-out infinite alternate homotopy-pulse}.homotopy-legend{color:#293b3d94;text-transform:uppercase;flex-wrap:wrap;gap:.7rem 1rem;padding-top:.85rem;display:flex}.homotopy-legend span{align-items:center;gap:.4rem;display:inline-flex}.legend-line{border-top:3px solid #6cae94;width:1.35rem;display:inline-block}.legend-line-track{border-top:2px dashed #293b3d59}.legend-line-trail{border-color:#6cae94}.legend-dot{background:#fff8ee;border:2px solid #29464a;border-radius:50%;width:.58rem;height:.58rem;display:inline-block}.homotopy-inspector{background:#122b2e61;padding:clamp(1.2rem,2.5vw,2rem)}.homotopy-inspector .inspector-label{color:#f0afb3}.homotopy-phase{color:#fff8ee;margin:1.35rem 0 .6rem;font:500 clamp(1rem,1.8vw,1.35rem)/1.3 DM Mono,monospace}.homotopy-detail{color:#edf2e9b8;min-height:4.7rem;margin:0;font-size:.86rem;line-height:1.6}.homotopy-stage-readout{color:#edf2e980;text-transform:uppercase;gap:.45rem;margin-top:1.2rem;display:grid}.homotopy-stage-readout strong{color:#a3d5c1;letter-spacing:.08em;font:500 .72rem/1.3 DM Mono,monospace}.homotopy-progress{background:#edf2e91f;border-radius:999px;height:.35rem;margin:.75rem 0 1.2rem;overflow:hidden}.homotopy-progress span{border-radius:inherit;background:#a3d5c1;height:100%;transition:width .3s cubic-bezier(.22,1,.36,1);display:block}.homotopy-controls{gap:.55rem;display:grid}.homotopy-advance,.homotopy-secondary-controls button,.homotopy-step{cursor:pointer;border:0}.homotopy-advance{color:#29464a;text-transform:uppercase;letter-spacing:.06em;background:#a3d5c1;border-radius:.65rem;padding:.8rem .9rem;font:500 .64rem/1.2 DM Mono,monospace;transition:transform .18s,background .18s}.homotopy-advance:hover:not(:disabled),.homotopy-advance:focus-visible:not(:disabled){background:#f0afb3;transform:translateY(-2px)}.homotopy-advance:disabled,.homotopy-secondary-controls button:disabled{cursor:default;opacity:.48}.homotopy-secondary-controls{grid-template-columns:1fr 1fr;gap:.45rem;display:grid}.homotopy-secondary-controls button{color:#edf2e9bf;text-transform:uppercase;letter-spacing:.05em;background:0 0;border:1px solid #edf2e929;border-radius:.55rem;padding:.58rem .5rem;font:500 .6rem/1.2 DM Mono,monospace}.homotopy-secondary-controls button:hover:not(:disabled),.homotopy-secondary-controls button:focus-visible:not(:disabled){color:#fff8ee;border-color:#f0afb3}.homotopy-step-list{border-top:1px solid #edf2e924;grid-template-columns:repeat(4,minmax(0,1fr));gap:.35rem;margin-top:1.45rem;padding-top:1rem;display:grid}.homotopy-step{color:#edf2e978;text-align:left;text-transform:uppercase;letter-spacing:.04em;background:0 0;border-radius:.45rem;gap:.25rem;padding:.45rem .35rem;font:500 .58rem/1.2 DM Mono,monospace;transition:color .18s,background .18s;display:grid}.homotopy-step span{color:#edf2e947}.homotopy-step:hover,.homotopy-step:focus-visible,.homotopy-step.is-active{color:#fff8ee;background:#edf2e917}.homotopy-step.is-active span{color:#f0afb3}.homotopy-footnote{color:#edf2e970;margin:1.5rem 0 0;line-height:1.55}@keyframes homotopy-dash{to{stroke-dashoffset:-52px}}@keyframes homotopy-pulse{to{r:11}}.hiring-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.7rem;max-width:66rem;margin-bottom:3.25rem;display:grid}.hiring-card{background:#ffffff6b;border:1px solid #24343824;border-radius:1.1rem;padding:clamp(1.2rem,2.5vw,2rem)}.hiring-card h2{color:#29464a;letter-spacing:-.05em;max-width:22rem;margin:.55rem 0 .8rem;font-size:clamp(1.35rem,2.5vw,2.1rem);font-weight:500;line-height:1}.hiring-card>p:last-child{color:#243438ad;max-width:30rem;margin:0;font-size:.88rem;line-height:1.55}.hiring-cta{margin-top:0}.footnote-marker{color:#bf747c;text-decoration:none}.footnote-marker:hover,.footnote-marker:focus-visible,.page-footnote a:hover,.page-footnote a:focus-visible{color:#29464a}.page-footnote{color:#24343885;max-width:42rem;margin:1.5rem 0 0;font:400 .72rem/1.5 DM Mono,monospace}.page-footnote a{color:#bf747c;text-decoration:none}@media (max-width:1000px){.site-header{flex-wrap:wrap}.site-nav{order:3;justify-content:flex-end;width:100%}.work-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.split-hero{grid-template-columns:1fr;gap:0;max-width:64rem}.split-hero .hero-blurb{max-width:42rem;padding-top:0}.dessin-heading,.dessin-layout{grid-template-columns:1fr}.dessin-intro{margin:0}.homotopy-heading,.homotopy-layout{grid-template-columns:1fr}.homotopy-intro{margin:0}}@media (max-width:590px){.site-header{align-items:flex-start}.site-nav{justify-content:space-between;gap:0}.site-nav a{padding:.4rem .2rem;font-size:.56rem}.site-footer{align-items:flex-start;line-height:1.5;display:flex}.site-footer-links{order:3;justify-content:flex-start;width:100%}.subpage-main{padding-top:1.8rem}.subpage-hero{padding-bottom:2.3rem}.work-grid{grid-template-columns:1fr}.work-card{min-height:auto}.work-card-index{margin-bottom:2.2rem}.publication-card{grid-template-columns:2rem minmax(0,1fr) auto;gap:.7rem;padding:1rem}.contact-card{grid-template-columns:1fr}.contact-placeholder{text-align:left;justify-self:start}.hiring-grid{grid-template-columns:1fr}.dessin-lab{border-radius:1.35rem;margin-top:2rem}.dessin-tabs{grid-template-columns:1fr}.dessin-tab{min-height:auto}.dessin-canvas,.dessin-svg{min-height:15rem}.dessin-canvas-caption{flex-wrap:wrap;justify-content:flex-start;padding:.6rem .75rem .75rem;position:static}.dessin-controls{flex-direction:column;align-items:flex-start}.dessin-play{width:100%}.dessin-footnote{margin-top:2rem}.homotopy-lab{border-radius:1.35rem;margin-top:2rem}.homotopy-system-strip{grid-template-columns:1fr}.homotopy-arrow{justify-self:center;transform:rotate(90deg)}.homotopy-svg{min-height:15rem}.homotopy-step-list{grid-template-columns:repeat(2,minmax(0,1fr))}}:root{--ink:#243438;--deep:#29464a;--paper:#edf0e8;--rose:#bf747c}body{color:var(--ink)}a,button{-webkit-tap-highlight-color:transparent}a:focus-visible,button:focus-visible{outline-offset:4px;outline:3px solid #bf747c}section[id],main[id]{scroll-margin-top:1.5rem}.site-header{padding:.75rem .4rem 0;display:block}.header-main{justify-content:space-between;align-items:center;gap:2rem;padding-bottom:1.2rem;display:flex}.brand{flex:none}.brand-mark{letter-spacing:-.06em;border-radius:50%;width:3.5rem;font-size:.85rem;font-weight:500}.brand-name{letter-spacing:-.015em;font-size:.875rem;font-weight:500;display:block}.site-nav{flex-wrap:wrap;justify-content:flex-end;gap:.2rem;width:auto;margin:0}.site-nav a{text-transform:none;letter-spacing:0;padding:.6rem .8rem;font-size:.875rem;font-weight:500}.header-labs{border-top:1px solid #24343824;border-bottom:1px solid #24343824;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.9rem 1.4rem;padding:1.1rem 0;display:flex}.lab-nav-label{color:#596b68;font:400 .75rem/1.4 DM Mono,monospace}.lab-link{letter-spacing:-.025em;font-size:.875rem;font-weight:400}.hero-copy{grid-template-columns:minmax(11rem,.35fr) 1fr;align-items:end;padding:2.8rem .4rem 2.5rem;display:grid}.hero-copy .eyebrow{max-width:15rem;font-size:.8125rem;line-height:1.65}.hero-copy h1{letter-spacing:-.055em;font-size:clamp(3rem,5.4vw,6.2rem);line-height:1.02}.panel-meta,.panel-action{font-size:.75rem}.panel-detail{grid-template-columns:1fr;gap:.55rem;font-size:1rem;line-height:1.5}.panel-action{min-height:1.75rem}.hero-controls{justify-content:space-between;align-items:center;gap:1rem;padding:1.1rem .4rem 0;display:flex}.keyboard-note{gap:1.4rem;padding:0;font-size:.75rem;font-weight:400}.release-panels{color:var(--deep);cursor:pointer;background:0 0;border:1px solid #24343840;border-radius:999px;padding:.6rem 1rem;font:400 .8125rem/1.3 DM Mono,monospace}.release-panels:hover:not(:disabled){background:var(--deep);color:var(--paper)}.release-panels:disabled{opacity:.4;cursor:default}.proof-heading h2,.evolution-heading h2,.dessin-heading h2,.homotopy-heading h2{letter-spacing:-.055em;line-height:1.03}.proof-intro,.evolution-intro,.dessin-intro,.homotopy-intro{font-size:1rem;line-height:1.65}.section-kicker,.work-card-tag,.inspector-label{font-size:.8125rem;font-weight:500;line-height:1.6}.eyebrow{font-size:.8125rem;line-height:1.6}.proof-layout,.dessin-layout,.homotopy-layout{grid-template-columns:minmax(0,1.55fr) minmax(17rem,.65fr)}.console-label,.console-state,.micro-label,.line-kind,.line-rule,.trace-counter,.console-event,.inspector-foot,.theorem-tab,.console-button{letter-spacing:.035em;font-size:.75rem;line-height:1.5}.theorem-tab,.console-button{min-height:2.75rem;font-size:.875rem}.theorem-blurb>span:last-child{font-size:.875rem;line-height:1.5}.theorem-picker{grid-template-columns:1fr;gap:.8rem}.theorem-blurb{border:0;padding:.6rem 0 0}.proof-goal strong,.trace code,.rule-choice code{overflow-wrap:anywhere;font-size:.875rem;line-height:1.5}.trace{scrollbar-width:thin;max-height:36rem;padding-right:.4rem;position:relative;overflow-y:auto}.trace-line{min-height:3rem}.choice-grid{grid-template-columns:1fr}.rule-choice{min-height:3.8rem;padding:.75rem}.rule-choice strong{font-size:.875rem}.rule-choice code{margin-top:.25rem;display:block}.correction,.furlong-progress{font-size:.875rem}.lab-disclosure{color:#edf2e9bf;margin:0 0 1.5rem;font-size:.875rem;line-height:1.7}.inspector-quote{font-size:1.5rem;line-height:1.25}.rule-card span{font-size:.875rem;line-height:1.5}.current-rule-detail{border-top:1px solid #edf2e92e;margin-top:1.5rem;padding-top:1.1rem}.current-rule-detail .micro-label{color:#f0afb3}.current-rule-detail p{font-size:.9375rem;line-height:1.65}.evolution-console .console-label,.generation-badge,.history-controls button,.tree-generation,.ast-card-select small,.selection-pin{font-size:.75rem;line-height:1.5}.grammar-item strong,.grammar-item small{font-size:.875rem;line-height:1.45}.evolution-explainer p{font-size:1rem}.evolution-explainer code{font-size:.875rem}.ast-node,.candidate-tree .ast-node{min-height:2.5rem;padding:.55rem .65rem;font-size:.875rem}.ast-node-kind{font-size:.75rem}.ast-node:disabled{opacity:1;cursor:default}.ast-node:disabled:hover{transform:none}.ast-card-select strong{font-size:.875rem}.ast-card-foot code,.candidate-card>code{font-size:.875rem;line-height:1.55}.ast-card-foot span{font-size:.75rem;line-height:1.55}.ast-card-foot .scope-readout{color:#4a6c60;text-transform:none}.ast-viewport{justify-content:safe center;min-height:15rem}.selection-readout,.operator-button,.adopt-button{font-size:.8125rem;line-height:1.5}.operator-button,.adopt-button{min-height:2.75rem}.operator-hint,.empty-bay,.evolution-event,.operator-notes p,.ast-scope-note{font-size:.9375rem;line-height:1.6}.candidate-header strong{font-size:.9375rem}.candidate-card-top strong,.candidate-card-top span{font-size:.8125rem}.ast-scope-note{color:#4d5f62;max-width:64rem;margin:1.75rem .2rem 0}.crossover-flight{text-align:center;grid-template-columns:1fr 1fr;gap:3rem;padding:1.5rem;display:grid;overflow:hidden}.crossover-flight code{background:#d7ecdf;border:1px solid #29464a40;border-radius:.7rem;padding:.8rem;font:400 .875rem/1.5 DM Mono,monospace}.crossover-flight code:first-child{animation:.85s ease-in-out both branch-travel-a}.crossover-flight code:last-child{background:#f1d2d6;animation:.85s ease-in-out both branch-travel-b}@keyframes branch-travel-a{40%{transform:translateY(-.4rem)}to{transform:translate(calc(100% + 3rem))}}@keyframes branch-travel-b{40%{transform:translateY(.4rem)}to{transform:translate(calc(-100% - 3rem))}}.dessin-edge{stroke-dasharray:none}.dessin-walker{fill:#bf747c;stroke:#eff1e8;stroke-width:2px}.dessin-svg,.homotopy-svg{min-height:0}.dessin-tab,.focus-button,.dessin-play{min-height:2.75rem;font-size:.875rem}.dessin-tab span,.dessin-canvas-label,.node-key,.dessin-fact-grid span{font-size:.75rem}.dessin-formula{overflow-wrap:anywhere;font-size:1.15rem;line-height:1.5}.dessin-note,.dessin-status,.dessin-reading,.dessin-footnote,.dessin-source{font-size:.9375rem;line-height:1.65}.dessin-controls{flex-wrap:wrap;gap:.8rem}.dessin-node text{font-size:14px}.system-card strong{overflow-wrap:anywhere;font-size:1rem;line-height:1.5}.system-card span,.system-card small,.homotopy-canvas-topline,.homotopy-legend{font-size:.8125rem;line-height:1.6}.homotopy-phase{font-size:1.6rem;line-height:1.25}.homotopy-detail,.homotopy-footnote{font-size:.9375rem;line-height:1.65}.homotopy-advance,.homotopy-secondary-controls button,.homotopy-step{min-height:2.75rem;font-size:.875rem;line-height:1.4}.homotopy-stage-readout{font-size:.75rem}.predictor-vector{stroke:#c78352;stroke-width:1.5px;stroke-dasharray:4 4}.corrector-vector{stroke:#3d7567;stroke-width:2.5px}.predictor-ghost{fill:none;stroke:#c78352;stroke-width:2px}.homotopy-cursor.is-predictor{fill:#cf925e}.predictor-dot{background:#cf925e}.continuation-progress{accent-color:#f0afb3;width:100%;height:.5rem;margin:1rem 0;display:block}.residual-reading{border:1px solid #edf2e92e;border-radius:.8rem;flex-wrap:wrap;justify-content:space-between;gap:.5rem;margin:1.2rem 0;padding:1rem;font:400 .875rem/1.5 DM Mono,monospace;display:flex}.residual-reading strong{color:#a3d5c1;font-weight:500}.residual-reading small{color:#edf2e9b8;width:100%;font-size:.75rem}.root-table-wrap{padding-top:1rem;overflow-x:auto}.root-table{border-collapse:collapse;text-align:right;width:100%;font:400 .875rem/1.7 DM Mono,monospace}.root-table caption{text-align:left;color:#52675e;padding-bottom:.75rem;font-size:.75rem}.root-table th,.root-table td{white-space:nowrap;border-bottom:1px solid #29464a24;padding:.55rem .35rem}.root-table th{font-weight:500}.root-table th:first-child{text-align:left}.exact-reading{background:#f0afb310;border:1px solid #f0afb36b;border-radius:.8rem;margin-top:1.2rem;padding:1rem;font-size:.875rem;line-height:1.65}.exact-reading p{margin:0}.exact-reading p+p{margin-top:.7rem}.contact-invitation{background:#f8d7d8;border-radius:2.2rem;grid-template-columns:1.2fr 1fr;gap:4rem;max-width:1600px;margin:3.25rem auto 0;padding:clamp(2rem,4vw,4.5rem);display:grid}.contact-invitation h2{color:#29464a;letter-spacing:-.055em;margin:1rem 0 0;font-size:clamp(2.6rem,5vw,5.5rem);font-weight:500;line-height:1.05}.invitation-copy{align-self:end;max-width:31rem}.invitation-copy p{font-size:1.05rem;line-height:1.7}.text-link{color:#29464a;border:1px solid #29464a50;border-radius:999px;padding:.9rem 1.25rem;font:400 .875rem/1.5 DM Mono,monospace;text-decoration:none;display:inline-block}.text-link:hover{color:#eff1e8;background:#29464a}.subpage-hero h1{letter-spacing:-.055em;font-size:clamp(3rem,6vw,6.5rem);line-height:1.02}.work-card>p:last-child,.publication-card p:last-child,.contact-card p:last-child,.hiring-card p:last-child{font-size:1rem;line-height:1.65}.work-card h2{font-size:clamp(1.35rem,2vw,1.8rem);line-height:1.15}.work-card-index,.site-footer-links a,.subpage-note{font-size:.8125rem}.publication-card{grid-template-columns:2.5rem 1fr}.contact-card{grid-template-columns:1fr 1fr;max-width:none}.contact-addresses{gap:.9rem;font:400 1rem/1.6 DM Mono,monospace;display:grid}.contact-addresses a,.contact-placeholder{color:#29464a;overflow-wrap:anywhere;text-decoration:none}.contact-addresses a:hover{color:#9d565e}.contact-topics{max-width:50rem;margin-top:3rem}.contact-topics ul{padding-left:1.3rem;font-size:1.05rem;line-height:1.75}.contact-topics li+li{margin-top:.6rem}.site-footer{margin-top:2.5rem;font-size:.8125rem;font-weight:400;line-height:1.7}.site-footer span,.site-footer-links{min-width:0}@media (max-width:1150px){.population-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.proof-layout,.dessin-layout,.homotopy-layout{grid-template-columns:minmax(0,1.4fr) minmax(16rem,.7fr)}.trace-line{grid-template-columns:1.5rem 3.5rem minmax(0,1fr)}.line-rule{text-align:left;grid-column:3}}@media (max-width:1000px){.header-main{flex-wrap:wrap;gap:1rem}.site-nav{width:auto}.header-labs{justify-content:flex-start}.lab-nav-label{width:100%}.proof-layout,.dessin-layout,.homotopy-layout{grid-template-columns:1fr}.proof-heading,.evolution-heading,.dessin-heading,.homotopy-heading{grid-template-columns:1fr;gap:1.5rem}.proof-intro,.evolution-intro,.dessin-intro,.homotopy-intro{max-width:40rem;margin-left:0}.rule-inspector{min-height:auto}.rule-list{grid-template-columns:1fr 1fr;display:grid}.inspector-quote{margin:1rem 0}.contact-invitation{gap:2rem}}@media (max-width:900px){.hero-copy{display:block}.hero-copy .eyebrow{max-width:32rem;margin-bottom:1.5rem}.hero-copy h1{font-size:clamp(3rem,7vw,5.5rem)}.panel-deck{height:auto;min-height:0}.contact-invitation{grid-template-columns:1fr}.invitation-copy{max-width:42rem}}@media (max-width:590px){.site-header{padding:.5rem .25rem 0}.header-main{align-items:center;padding-bottom:1rem}.brand-name{font-size:.8125rem;display:block}.brand-mark{width:3rem}.site-nav{flex-wrap:wrap;justify-content:flex-start;gap:.15rem;width:100%;display:flex}.site-nav a{min-height:2.75rem;padding:.55rem .65rem;font-size:.8125rem}.header-labs{grid-template-columns:1fr 1fr;gap:.7rem;padding:.9rem 0;display:grid}.lab-nav-label{display:none}.lab-link{letter-spacing:-.035em;font-size:.75rem;line-height:1.5}.hero-copy{padding:1.8rem .2rem}.hero-copy h1{font-size:clamp(2.8rem,10vw,4rem);line-height:1.06}.kinetic-panel{min-height:13.5rem}.kinetic-panel[data-active=true]{min-height:28rem}.panel-detail{padding-right:.2rem}.hero-controls{justify-content:flex-end}.keyboard-note{display:none}.population-grid,.candidate-grid{grid-template-columns:1fr}.trace-line{grid-template-columns:1.3rem 3rem minmax(0,1fr);gap:.45rem}.choice-grid{padding-left:0}.console-controls{flex-wrap:wrap}.console-button{padding:.6rem .75rem}.rule-list,.dessin-tabs{grid-template-columns:1fr}.dessin-tab{min-height:3.5rem}.dessin-focuses{flex-wrap:wrap}.homotopy-system-strip{grid-template-columns:1fr}.homotopy-arrow{padding:.5rem;transform:rotate(90deg)}.homotopy-legend{gap:.5rem 1rem}.homotopy-step-list{grid-template-columns:1fr 1fr}.root-table{font-size:.8125rem}.contact-invitation{border-radius:1.35rem;margin-top:2rem;padding:2rem 1.4rem}.contact-invitation h2{font-size:clamp(2.7rem,9vw,4rem)}.contact-card{grid-template-columns:1fr;gap:1.5rem}.contact-addresses{font-size:.9375rem}.contact-placeholder{text-align:left;justify-self:start}.hiring-email{letter-spacing:-.035em;font-size:clamp(1.15rem,4vw,1.5rem)}.site-footer{flex-direction:column;align-items:flex-start;gap:.8rem;display:flex}.site-footer-links{order:2}.site-footer span:last-child{display:block}}:root{--accessible-accent:#8c434d;--muted-ink:#455b58;--mint-ink:#102924}.header-main{gap:.85rem 1.5rem}.site-nav{flex:auto}.motion-control{color:#29464a;cursor:pointer;background:#edf0e8;border:1px solid #455b58;border-radius:999px;flex:none;justify-content:center;align-items:center;gap:.5rem;min-height:2.75rem;padding:.6rem .85rem;font:500 .875rem/1.5 DM Mono,monospace;display:inline-flex}.motion-control:hover,.motion-control[aria-pressed=true]{color:#edf0e8;background:#29464a}.motion-control-mark{text-align:center;width:1rem}.hero-copy h1 span{color:var(--accessible-accent)}.hero-context{grid-template-columns:minmax(11rem,.35fr) 1fr;gap:2rem;padding:0 .4rem 2rem;display:grid}.hero-context h2{letter-spacing:-.025em;max-width:22rem;margin:.75rem 0 0;font-size:clamp(1.25rem,1.65vw,1.65rem);font-weight:500;line-height:1.3}.hero-context p:not(.section-kicker){max-width:48rem;margin:0;font-size:1rem;line-height:1.75}.hero-context p+p{margin-top:.75rem}.hero-context .section-kicker{color:var(--muted-ink)}.hero-copy h1,.proof-heading h2,.evolution-heading h2,.dessin-heading h2,.homotopy-heading h2,.subpage-hero h1{letter-spacing:-.04em;line-height:1.08}.panel-deck{height:clamp(32rem,60vh,40rem);min-height:32rem}.panel-gift{color:var(--mint-ink)}.panel-deck:not([data-active=none]) .kinetic-panel:not([data-active=true]){opacity:1;filter:none}.panel-meta,.panel-action{font-size:.875rem;line-height:1.5}.panel-label{opacity:1}.kinetic-panel[data-active] .word-lockup{padding-bottom:0}.panel-detail{margin-top:1rem;position:relative;inset:auto}.kinetic-panel:not([data-active=true]) .panel-detail{display:none}.keyboard-note{color:var(--muted-ink);flex-wrap:wrap;gap:.4rem 1.25rem;font-size:.875rem}.lab-link,.site-nav a,.site-footer-links a{align-items:center;min-height:2.75rem;display:inline-flex}.site-nav a:hover,.site-nav a:focus-visible,.lab-link:hover,.lab-link:focus-visible,.site-footer-links a:hover,.site-footer-links a:focus-visible,.contact-addresses a:hover{color:var(--accessible-accent)}a:focus-visible,button:focus-visible{outline-offset:4px;outline:3px solid #29464a;box-shadow:0 0 0 3px #fff8ee}.proof-console,.homotopy-console,.evolution-console,.dessin-console{overflow-wrap:anywhere}.console-label,.console-state,.theorem-tab,.console-button,.trace-counter,.line-kind,.line-rule,.micro-label{font-size:.875rem;line-height:1.5}.line-number,.choice-index{font-size:.8125rem}.theorem-blurb>span:last-child,.goal-caption,.line-number,.line-kind,.line-rule,.console-event,.console-label,.console-state,.proof-console .micro-label,.proof-goal .goal-caption,.rule-choice code,.derived-line{color:var(--muted-ink)}.derived-line[data-done=true]{color:#285f54}.line-rule{white-space:normal}.console-event,.current-rule-detail p,.lab-disclosure{font-size:1rem;line-height:1.7}.rule-inspector .micro-label,.homotopy-inspector .inspector-label{color:#f0afb3}.lab-disclosure,.rule-card span,.inspector-foot,.current-rule-detail p,.homotopy-intro,.proof-intro,.homotopy-detail,.homotopy-footnote,.homotopy-stage-readout,.residual-reading small{color:#d3dfd2}.rule-choice[data-wrong=true],.correction{color:#8c434d}.rule-choice{border-color:#536c65}.ast-card-select small,.tree-generation,.ast-card-foot span,.ast-card-foot .scope-readout,.evolution-explainer p,.ast-scope-note,.operator-hint,.empty-bay,.selection-readout,.evolution-event{color:var(--muted-ink)}.ast-card[data-tint] .tree-letter{color:#29464a}.ast-node,.candidate-tree .ast-node,.operator-button,.adopt-button,.history-controls button{min-width:2.75rem;min-height:2.75rem;font-size:.875rem}.ast-node[data-kind=terminal]{border-color:#46695e}.ast-card[data-tint] .ast-node[data-selected=true]{color:#edf0e8;background:#743942;border:2px solid #743942}.ast-node-kind,.ast-node[data-selected=true] .ast-node-kind{color:inherit}.ast-card[data-selected=true]{border-color:#743942}.selection-pin{color:#743942;border-color:#743942;width:1.75rem;height:1.75rem}.selection-readout{font-size:.875rem}.operator-hint,.empty-bay,.evolution-event,.operator-notes p,.ast-scope-note,.dessin-note,.dessin-status,.dessin-reading,.dessin-footnote,.dessin-source,.homotopy-detail,.homotopy-footnote{font-size:1rem;line-height:1.7}.evolution-explainer p span{color:#8c434d}.dessin-status,.dessin-note,.dessin-reading,.dessin-footnote,.dessin-source,.dessin-canvas-label,.node-key,.dessin-fact-grid span,.homotopy-canvas-topline,.homotopy-legend,.root-table caption{color:var(--muted-ink)}.dessin-source a{color:#8c434d;text-underline-offset:.2em;text-decoration:underline}.homotopy-axis-label,.homotopy-root-label{fill:#29464a;font-size:14px}.homotopy-step,.homotopy-stage-readout,.homotopy-stage-readout strong,.homotopy-canvas-topline,.homotopy-legend,.root-table caption,.node-key,.dessin-canvas-label{font-size:.875rem}.homotopy-step{color:#d3dfd2}.service-scope{color:#29464a;border-top:1px solid #455b5880;padding-top:.8rem;font-size:1rem;line-height:1.7}.invitation-copy .service-scope{font-size:1rem}.contact-invitation h2 span{color:#8c434d}.site-footer,.site-footer-links a,.subpage-note{color:var(--muted-ink);font-size:.875rem}.subpage-hero .hero-blurb{color:#29464a}.section-kicker,.work-card-tag,.publication-number,.publication-card .publication-status,.hiring-card .section-kicker{color:#8c434d}.work-card-index,.publication-card p:last-child,.publication-meta{color:#455b58}.work-card-tag,.publication-meta,.publication-status{font-size:.875rem}.dessin-intro,.dessin-inspector .dessin-status,.dessin-inspector .dessin-note,.dessin-inspector .dessin-reading,.dessin-inspector .dessin-footnote,.dessin-inspector .dessin-source,.dessin-inspector .dessin-fact-grid span{color:#d3dfd2}.dessin-inspector .dessin-source a{color:#f0afb3}.dessin-play:hover,.dessin-play:focus-visible{background:#8c434d}.homotopy-step span,.homotopy-secondary-controls button{color:#d3dfd2}.hiring-email:hover,.hiring-email:focus-visible{color:#8c434d}:root[data-motion=off] *,:root[data-motion=off] :before,:root[data-motion=off] :after{scroll-behavior:auto!important;transition:none!important;animation:none!important}:root[data-motion=off] .kinetic-panel,:root[data-motion=off] .ast-card,:root[data-motion=off] .ast-node,:root[data-motion=off] .rule-choice{transform:none!important}:root[data-motion=off] .dessin-walker{display:none}@media (max-width:1000px){.hero-context{grid-template-columns:1fr;gap:1rem}.hero-context h2{max-width:none}.trace-line{grid-template-columns:1.5rem 3.5rem minmax(0,1fr)}.line-rule{text-align:left;grid-column:3}.furlong-progress{grid-template-columns:1fr}.header-main{flex-wrap:wrap}}@media (max-width:900px){.panel-deck{height:auto;min-height:0}.hero-context{padding-top:0}.kinetic-panel[data-active=true]{min-height:32rem}}@media (max-width:590px){.site-nav{flex:100%}.site-nav a,.lab-link{font-size:.875rem}.header-labs{gap:.4rem .75rem}.hero-context{padding:0 .2rem 1.6rem}.kinetic-panel[data-active=true]{min-height:30rem}.trace-line{grid-template-columns:1.25rem 3rem minmax(0,1fr);gap:.4rem}.proof-goal{grid-template-columns:minmax(0,1fr) auto}.proof-goal .goal-caption{text-align:left;grid-column:1/-1;justify-self:start}.console-topline,.selection-readout,.evolution-console-top{flex-wrap:wrap;gap:.75rem}.history-controls{margin-left:auto}.contact-addresses,.contact-placeholder{font-size:.875rem}}@media (forced-colors:active){a:focus-visible,button:focus-visible{box-shadow:none;outline:3px solid canvastext}button{border:1px solid buttontext}[aria-pressed=true]{border:3px solid highlight}.homotopy-path-track,.homotopy-path-trail,.dessin-edge,.predictor-vector,.corrector-vector{stroke:canvastext}}.visitor-routes{border-block:1px solid #455b5860;grid-template-columns:repeat(2,minmax(0,1fr));margin:0 .4rem 2rem;display:grid}.visitor-route{min-width:0;padding:1.5rem 0}.visitor-route+.visitor-route{border-left:1px solid #455b5860;margin-left:2rem;padding-left:2rem}.visitor-route>p:not(.section-kicker){max-width:32rem;margin:.5rem 0 1rem;font-size:1.0625rem;line-height:1.65}.route-secondary{color:#29464a;text-underline-offset:.25em;align-items:center;min-height:2.75rem;margin-left:1rem;padding:.5rem .2rem;font-size:1rem;line-height:1.5;text-decoration:underline;display:inline-flex}.route-secondary:hover{color:#8c434d}.investigation-section{border-block:1px solid #455b5860;margin:0 0 4rem;padding-block:2.5rem}.investigation-heading{max-width:52rem}.investigation-heading h2,.enquiry-guide h2{color:#29464a;letter-spacing:-.035em;margin:.75rem 0 1.25rem;font-size:clamp(2rem,3.5vw,3.5rem);font-weight:500;line-height:1.15}.investigation-heading>p:last-child,.investigation-result p,.enquiry-guide p,.enquiry-guide li,.research-bridge{color:#29464a;font-size:1rem;line-height:1.75}.investigation-steps{counter-reset:investigation;grid-template-columns:repeat(3,minmax(0,1fr));gap:2rem;margin:2rem 0;padding:0;list-style:none;display:grid}.investigation-steps li{border-top:2px solid #8c434d;min-width:0;padding-top:1.25rem}.step-number{color:#8c434d;font:400 .875rem/1.5 DM Mono,monospace}.investigation-steps h3,.investigation-result h3{color:#29464a;margin:.75rem 0;font-size:1.25rem;font-weight:600;line-height:1.4}.investigation-steps p{color:#29464a;margin:0;font-size:1rem;line-height:1.75}.investigation-result{background:#d7ecdf;border-left:3px solid #29464a;max-width:60rem;padding:1.5rem}.investigation-result h3{margin-top:0}.investigation-result p{max-width:48rem}.research-bridge{max-width:52rem}.enquiry-guide{border-block:1px solid #455b5860;max-width:60rem;margin-top:2.5rem;padding-block:2rem}.enquiry-guide ul{margin:1.5rem 0;padding-left:1.4rem}.enquiry-guide li+li{margin-top:.75rem}.enquiry-actions{flex-wrap:wrap;align-items:center;gap:.75rem 1rem;margin-top:1.5rem;display:flex}.enquiry-actions .route-secondary{margin-left:0}.enquiry-guide .enquiry-note{color:#455b58;font-size:.875rem}#research{scroll-margin-top:1.5rem}@media (max-width:900px){.visitor-routes{grid-template-columns:1fr}.visitor-route+.visitor-route{border-top:1px solid #455b5860;border-left:0;margin-left:0;padding-left:0}.investigation-steps{grid-template-columns:1fr;gap:1.5rem}}@media (max-width:590px){.visitor-routes{margin-inline:.2rem}.visitor-route .route-secondary{width:fit-content;margin:.5rem 0 0;display:flex}.investigation-result{padding:1.25rem}}@media print{.site-header,.site-footer,.skip-link,.enquiry-actions{display:none}.site-shell,.subpage-main{margin:0;padding:0}.investigation-section,.enquiry-guide{margin:1rem 0;padding:1rem 0}.investigation-steps{display:block}.investigation-steps li,.investigation-result,.contact-card{break-inside:avoid}.investigation-steps li{margin-bottom:1rem}}