.deck{background:var(--bg);place-items:center;padding:0 16px;display:grid;position:fixed;inset:0}.slide{width:100%;max-width:60rem}.slide .eyebrow{letter-spacing:.08em;text-transform:uppercase;color:var(--muted);font-size:.85rem}.title h1{letter-spacing:-.03em;margin-top:1rem;font-size:clamp(2.25rem,6vw,4rem);font-weight:600;line-height:1.1}.title .byline{margin-top:2rem;font-size:clamp(1.35rem,2.5vw + .25rem,1.65rem)}.title .people{flex-wrap:wrap;gap:1rem 3rem;margin-top:1.5rem;display:flex}.title dt{color:var(--muted);font-size:.85rem}.title dd{margin:.25rem 0 0;font-size:1.3rem}.motivation header h2{letter-spacing:-.02em;max-width:48rem;margin-top:.75rem;font-size:clamp(1.5rem,3vw,2.1rem);font-weight:600;line-height:1.25}.motivation h3{letter-spacing:.08em;text-transform:uppercase;color:var(--muted);font-size:.8rem;font-weight:600}.motivation .grid{border-top:1px solid var(--line);grid-template-columns:7fr 4fr;gap:3rem;margin-top:2.5rem;padding-top:2rem;display:grid}.leak .flow{align-items:center;gap:.4rem;margin-top:1rem;display:flex}.leak .node{border:1px solid var(--fg);white-space:nowrap;border-radius:6px;flex-direction:column;flex-shrink:0;padding:.5rem .75rem;font-size:1.15rem;display:flex}.leak .node small{color:var(--muted);font-size:1.05rem}.leak .node.muted{border-style:dashed;border-color:var(--muted);color:var(--muted)}.leak .node.bad{border-color:var(--bad);color:var(--bad)}.leak .edge{color:var(--muted);flex-direction:column;align-items:center;font-size:.75rem;display:flex}.leak .edge:after{content:"→";color:var(--fg);font-size:1.25rem;line-height:1}.leak figcaption{color:var(--muted);margin-top:1.25rem;font-size:1.2rem}.vend dl,.vend dl>div+div{margin-top:.75rem}.vend dt{font-weight:600}.vend dd{color:var(--muted);margin:.15rem 0 0;font-size:1.2rem}.prior{border-top:1px solid var(--line);margin-top:2.5rem;padding-top:2rem}.prior ol{grid-template-columns:repeat(3,1fr);gap:2rem;margin-top:.75rem;padding:0;list-style:none;display:grid}.prior li{flex-direction:column;gap:.2rem;font-size:1.2rem;display:flex}.prior .who{font-size:1.1rem;font-style:italic}.prior li span:last-child{color:var(--muted)}@media (max-width:720px){.leak .flow{flex-wrap:wrap}.motivation .grid,.prior ol{grid-template-columns:1fr}}.problem h2{letter-spacing:-.025em;max-width:50rem;margin-top:1rem;font-size:clamp(2rem,4.5vw,3.25rem);font-weight:600;line-height:1.15}.problem .given{max-width:44rem;color:var(--muted);margin-top:1.5rem;font-size:clamp(1.25rem,2vw + .25rem,1.45rem);line-height:1.6}.problem .examples{border-top:1px solid var(--line);grid-template-columns:1fr 1fr;gap:3rem;margin-top:3rem;padding-top:2rem;display:grid}.problem dt,.assumptions .arc,.assumptions .label{letter-spacing:.08em;text-transform:uppercase;color:var(--muted);font-size:.75rem;font-weight:600}.problem dd{margin:.5rem 0 0;font-size:clamp(1.25rem,2vw + .25rem,1.45rem);line-height:1.5}.assumptions .table{grid-template-columns:8.5rem repeat(3,1fr);column-gap:2rem;margin-top:1.5rem;display:grid}.assumptions .row{display:contents}.assumptions .head{flex-direction:column;gap:.5rem;padding-bottom:1.25rem;font-size:1.35rem;line-height:1.35;display:flex}.assumptions .row>*{border-top:1px solid var(--line);padding:1rem 0}.assumptions .row p{color:var(--muted);font-size:1.25rem;line-height:1.5}.assumptions .constraint{border-top:1px solid var(--line);align-items:baseline;gap:2rem;margin-top:1.5rem;padding-top:1.5rem;font-size:1.35rem;display:flex}.assumptions .constraint .label{flex-shrink:0;width:8.5rem}@media (max-width:720px){.problem .examples,.assumptions .table{grid-template-columns:1fr}.assumptions .constraint{flex-direction:column;gap:.5rem}}.related h2{letter-spacing:-.02em;max-width:48rem;margin-top:.75rem;font-size:clamp(1.5rem,3vw,2.1rem);font-weight:600;line-height:1.25}.related .chart{grid-template-rows:repeat(2,minmax(11rem,auto)) auto auto;grid-template-columns:1.5rem 4.5rem repeat(4,1fr);margin-top:2rem;display:grid}.related .y-title{writing-mode:vertical-rl;grid-area:1/1/3;place-self:center;transform:rotate(180deg)}.related .y-tick{text-align:right;grid-column:2;align-self:center;padding-right:1rem}.related .plot{grid-area:1/3/3/7;grid-template-columns:subgrid;grid-template-rows:subgrid;border-left:1px solid var(--fg);border-bottom:1px solid var(--fg);display:grid}.related .x-tick{text-align:center;grid-row:3;padding-top:.6rem}.related .x-title{text-align:center;grid-area:4/3/auto/7;padding-top:.5rem}.related .y-title,.related .x-title,.related .y-tick,.related .x-tick{letter-spacing:.08em;text-transform:uppercase;color:var(--muted);font-size:.75rem;font-weight:600}.related .group{border:1px solid var(--muted);background:var(--bg);border-radius:6px;flex-direction:column;gap:.3rem;margin:.6rem;padding:.75rem .9rem;display:flex}.related .chart{transform-style:preserve-3d;transition:transform 1s cubic-bezier(.65,0,.35,1)}.related .plot{transform-style:preserve-3d;position:relative}.related .group,.related .plane{transition:transform 1s cubic-bezier(.65,0,.35,1),opacity .6s}.related .plane{border:1px dashed var(--muted);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);opacity:0;pointer-events:none;border-radius:8px;justify-content:flex-end;padding:.6rem .9rem;font-size:.75rem;font-weight:600;display:flex;position:absolute;inset:0}.related.tilted{perspective:1600px}.related.tilted .chart{transform:translateY(1.5rem)rotateX(14deg)rotateY(26deg)scale(.82)}.related.tilted .multi{transform:translateZ(150px)}.related .plane.single{border:0;justify-content:flex-start;align-items:flex-end}.related.tilted .plane{opacity:1}@media (prefers-reduced-motion:reduce){.related .chart,.related .group,.related .plane{transition:none}}.related .group strong{font-size:1.25rem}.related .group p{color:var(--muted);font-size:1.1rem;line-height:1.4}.related .group .work{white-space:nowrap}.related .group .works{font-size:1.05rem;line-height:1.5}.related .group.ours{border:2px solid var(--fg);justify-content:center}.related .group.ours p{color:var(--fg);font-size:1.2rem}.approach h2{letter-spacing:-.02em;margin-top:.75rem;font-size:clamp(1.5rem,3vw,2.1rem);font-weight:600}.approach .sub{color:var(--muted);margin-top:.5rem;font-size:1.3rem}.approach .label{letter-spacing:.08em;text-transform:uppercase;color:var(--muted);font-size:.7rem;font-weight:600}.approach .table{grid-template-columns:7.5rem repeat(3,1fr);column-gap:1.25rem;display:grid}.approach .row{display:contents}.approach .head{flex-direction:column;gap:.2rem;padding-bottom:.6rem;font-size:1.4rem;font-weight:600;display:flex}.approach .row>*{border-top:1px solid var(--line);padding:.55rem 0}.approach .row p{color:var(--muted);font-size:1.1rem;line-height:1.4}.approach .row p.chosen{color:var(--fg)}.approach .head.chosen,.approach .row p.chosen{border-left:2px solid var(--fg);padding-left:.75rem}.approach .table{margin-top:2rem}.approach .row p{font-size:1.2rem}.fits h2{letter-spacing:-.02em;margin-top:.75rem;font-size:clamp(1.5rem,3vw,2.1rem);font-weight:600}.fits .points{margin-top:2.5rem}.fits .point{border-top:1px solid var(--line);grid-template-columns:1fr 1fr;align-items:center;gap:3rem;padding:1.75rem 0;display:grid}.fits code{white-space:pre;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:1.4rem}.fits code.math{font-family:STIX Two Math,Cambria Math,Latin Modern Math,serif;font-size:1.75rem}.fits .point p{color:var(--muted);font-size:1.4rem;line-height:1.5}@media (max-width:720px){.fits .point{grid-template-columns:1fr;gap:.75rem}}.tradeoff h2{letter-spacing:-.02em;margin-top:.75rem;font-size:clamp(1.5rem,3vw,2.1rem);font-weight:600}.tradeoff .triangle{aspect-ratio:4/3;width:min(100%,28rem);margin:7rem auto 5rem;position:relative}.tradeoff svg{width:100%;height:100%;overflow:visible}.tradeoff polygon{fill:none;stroke:var(--fg);stroke-width:1.5px;vector-effect:non-scaling-stroke}.tradeoff .corner{flex-direction:column;gap:.3rem;width:15rem;display:flex;position:absolute}.tradeoff .corner strong{font-size:1.5rem}.tradeoff .corner span{color:var(--muted);font-size:1.2rem;line-height:1.4}.tradeoff .corner.top{text-align:center;bottom:100%;left:50%;transform:translate(-50%,-.75rem)}.tradeoff .corner.left{text-align:center;top:100%;left:0;transform:translate(-50%,.75rem)}.tradeoff .corner.right{text-align:center;top:100%;left:100%;transform:translate(-50%,.75rem)}.plan h2{letter-spacing:-.02em;max-width:50rem;margin-top:.75rem;font-size:clamp(1.5rem,3vw,2.1rem);font-weight:600;line-height:1.25}.plan .body{grid-template-columns:1fr 1fr;gap:4rem;margin-top:2.25rem;display:grid}.plan .steps{counter-reset:step;padding:0;list-style:none}.plan .steps li{counter-increment:step;padding:0 0 1.4rem 2.75rem;font-size:1.3rem;line-height:1.45;position:relative}.plan .steps li:before{content:counter(step);border:1px solid var(--fg);border-radius:50%;place-items:center;width:1.75rem;height:1.75rem;font-size:.85rem;font-weight:600;display:grid;position:absolute;top:-.1rem;left:0}.plan .steps li:not(:last-child):after{content:"";border-left:1px solid var(--line);position:absolute;top:1.75rem;bottom:.1rem;left:calc(.875rem - .5px)}.plan .label{letter-spacing:.08em;text-transform:uppercase;color:var(--muted);font-size:.75rem;font-weight:600}.plan .side h3+*{margin-top:.6rem}.plan .side p+h3,.plan .side dl+h3{margin-top:1.5rem}.plan .side p{font-size:1.2rem;line-height:1.45}.plan .sts{align-items:center;gap:.5rem;display:flex}.plan .loc{border:1px solid var(--fg);border-radius:50%;flex-shrink:0;place-items:center;width:2.5rem;height:2.5rem;font-family:STIX Two Math,Cambria Math,serif;font-size:1.4rem;font-style:italic;display:grid}.plan .edge{border-bottom:1px solid var(--fg);flex-direction:column;flex:1;align-items:center;gap:.15rem;padding-bottom:.4rem;display:flex;position:relative}.plan .edge:after{content:"";border:5px solid #0000;border-left:8px solid var(--fg);border-right:0;position:absolute;bottom:-5px;right:-1px}.plan .math{white-space:nowrap;font-family:STIX Two Math,Cambria Math,serif;font-size:1.25rem}.plan .math.guard{color:var(--muted);font-size:1.15rem}.plan dl{margin-top:1rem}.plan dl>div{gap:.4rem;font-size:1.2rem;line-height:1.6;display:flex}.plan dt{font-weight:600}.plan dd{color:var(--muted);margin:0}@media (max-width:720px){.plan .body{grid-template-columns:1fr}}.outcome h2{letter-spacing:-.02em;margin-top:.75rem;font-size:clamp(1.5rem,3vw,2.1rem);font-weight:600}.outcome .outcomes{grid-template-columns:1fr 1fr;gap:2rem 3rem;margin-top:2rem;padding:0;list-style:none;display:grid}.outcome .outcomes>li{border-top:1px solid var(--line);padding-top:1rem}.outcome .n{color:var(--muted);font-size:.85rem;font-weight:600}.outcome .outcomes p{margin-top:.4rem;font-size:1.3rem;line-height:1.5}.outcome .outcomes ul{color:var(--muted);margin-top:.5rem;padding-left:1.1rem;font-size:1.2rem;line-height:1.6}@media (max-width:720px){.outcome .outcomes{grid-template-columns:1fr}}.slide.assumptions{max-width:72rem}.assumptions .table{grid-template-columns:8rem repeat(3,1fr)}.assumptions .head{padding-bottom:.9rem}.assumptions .row>*{padding:.7rem 0}.assumptions .row p{line-height:1.4}.assumptions .constraint .label{width:8rem}.slide.demo{grid-template-columns:1fr 1fr;gap:16px;max-width:none;height:100vh;padding:16px 0;display:grid}.demo .store,.demo .panel{border:1px solid var(--line);border-radius:14px;flex-direction:column;min-height:0;display:flex;overflow:hidden}.demo .store{background:radial-gradient(120% 70% at 30% 0%, color-mix(in srgb, var(--fg) 9%, transparent), transparent 60%), var(--bg)}.demo .store>header,.demo .panel>header{border-bottom:1px solid var(--line);align-items:center;gap:1rem;padding:.9rem 1.25rem;display:flex}.demo .brand{letter-spacing:-.02em;font-size:1.15rem;font-weight:700}.demo .store .eyebrow{margin-left:auto;font-size:.75rem}.demo .product{align-items:center;gap:2rem;padding:1.75rem 1.5rem 1.25rem;display:flex}.demo .stage{perspective:700px;flex-shrink:0;place-items:center;width:11rem;height:11rem;display:grid}.demo .cube{width:6.5rem;height:6.5rem;transform-style:preserve-3d;animation:14s linear infinite spin;position:relative}.demo .cube span{background:linear-gradient(135deg,#9ca3af,#4b5563 55%,#1f2937);border:1px solid #ffffff2e;position:absolute;inset:0;box-shadow:inset 0 0 24px #00000059}.demo .cube .front{transform:translateZ(3.25rem)}.demo .cube .back{transform:rotateY(180deg)translateZ(3.25rem)}.demo .cube .right{background:linear-gradient(135deg,#6b7280,#374151 60%,#111827);transform:rotateY(90deg)translateZ(3.25rem)}.demo .cube .left{background:linear-gradient(135deg,#6b7280,#374151 60%,#111827);transform:rotateY(-90deg)translateZ(3.25rem)}.demo .cube .top{background:linear-gradient(135deg,#e5e7eb,#9ca3af);transform:rotateX(90deg)translateZ(3.25rem)}.demo .cube .bottom{background:#111827;transform:rotateX(-90deg)translateZ(3.25rem)}@keyframes spin{0%{transform:rotateX(-22deg)rotateY(0)}to{transform:rotateX(-22deg)rotateY(360deg)}}.demo .info h3{letter-spacing:-.02em;font-size:1.75rem;font-weight:700}.demo .desc{color:var(--muted);margin-top:.25rem;font-size:1.05rem}.demo .price{letter-spacing:-.02em;margin-top:.75rem;font-size:2rem;font-weight:600}.demo .price span{color:var(--muted);font-size:1rem}.demo .stock{align-items:center;gap:.75rem;margin-top:.75rem;display:flex}.demo .meter{gap:3px;display:flex}.demo .meter span{background:var(--line);border-radius:2px;width:10px;height:18px;transition:background .3s}.demo .meter span.on{background:var(--fg)}.demo .count{color:var(--muted);font-size:1.05rem}.demo .count strong{color:var(--fg)}.demo .supplier{border:1px solid var(--line);border-radius:10px;align-items:center;gap:.6rem;margin:0 1.25rem;padding:.7rem .9rem;font-size:.95rem;display:flex}.demo .supplier .dot{background:var(--muted);border-radius:50%;flex-shrink:0;width:8px;height:8px}.demo .supplier.ordering{border-color:var(--fg)}.demo .supplier.ordering .dot{background:var(--fg);animation:1s ease-in-out infinite pulse}@keyframes pulse{50%{opacity:.2}}.demo .supplier .who{flex-shrink:0;font-weight:600}.demo .supplier .what{white-space:nowrap;text-overflow:ellipsis;color:var(--muted);overflow:hidden}.demo .chat{border:1px solid var(--line);border-radius:12px;flex-direction:column;flex:1;min-height:0;margin:1rem 1.25rem 1.25rem;display:flex}.demo .log{flex-direction:column;flex:1;gap:.5rem;min-height:0;padding:1rem;display:flex;overflow-y:auto}.demo .log p{border-radius:12px;max-width:85%;padding:.55rem .85rem;font-size:1.05rem;line-height:1.4}.demo .log .agent{background:color-mix(in srgb, var(--fg) 8%, transparent);align-self:flex-start}.demo .log .user{background:var(--fg);color:var(--bg);align-self:flex-end}.demo .log .typing{color:var(--muted)}.demo .chat form{border-top:1px solid var(--line)}.demo .chat input{width:100%;color:var(--fg);font:inherit;background:0 0;border:0;outline:none;padding:.85rem 1rem;font-size:1.05rem}.demo .chat input::placeholder{color:var(--muted)}.demo .panel .title{font-size:1.15rem;font-weight:700}.demo .panel .steps{color:var(--muted);font-size:.95rem}.demo .panel button{border:1px solid var(--line);color:var(--muted);font:inherit;cursor:pointer;background:0 0;border-radius:6px;margin-left:auto;padding:.3rem .75rem;font-size:.85rem}.demo .spec{border-bottom:1px solid var(--line);padding:1rem 1.25rem;font-family:STIX Two Math,Cambria Math,serif;font-size:1.1rem;line-height:1.55}.demo .spec .cont{padding-left:6.4rem}.demo .procs{border-bottom:1px solid var(--line);grid-template-columns:auto 1fr auto;display:grid}.demo .proc{flex-direction:column;gap:.6rem;padding:1rem 1.25rem;display:flex}.demo .proc+.proc{border-left:1px solid var(--line)}.demo .proc .name{font-family:STIX Two Math,Cambria Math,serif;font-size:1.15rem}.demo .nodes{flex-wrap:wrap;align-items:center;gap:.3rem;display:flex}.demo .pair{align-items:center;gap:.3rem;display:flex}.demo .arrow{color:var(--muted)}.demo .node{border:1px solid var(--line);color:var(--muted);white-space:nowrap;border-radius:6px;padding:.25rem .55rem;font-size:.9rem;transition:background .25s,color .25s,border-color .25s}.demo .node.current{border-color:var(--fg);background:var(--fg);color:var(--bg)}.demo .param{color:var(--muted);font-size:.9rem}.demo .panel .label{letter-spacing:.08em;text-transform:uppercase;color:var(--muted);font-size:.75rem;font-weight:600}.demo .offered{border-bottom:1px solid var(--line);flex-wrap:wrap;align-items:center;gap:.5rem;padding:.85rem 1.25rem;display:flex}.demo .panel code{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.95rem}.demo .offered code{border:1px solid var(--line);border-radius:5px;padding:.15rem .5rem}.demo .trace{flex-direction:column;flex:1;min-height:0;padding:.85rem 1.25rem 0;display:flex}.demo .trace ol{flex:1;min-height:0;margin-top:.5rem;padding:0 0 1rem;list-style:none;overflow-y:auto}.demo .trace li{border-top:1px solid var(--line);grid-template-columns:2rem 7.5rem 5.5rem 1fr;align-items:baseline;gap:.5rem;padding:.4rem 0;font-size:.95rem;display:grid}.demo .trace li:last-child{animation:.6s ease-out arrive}@keyframes arrive{0%{background:color-mix(in srgb, var(--fg) 14%, transparent)}}.demo .trace .n,.demo .trace .actor,.demo .trace .verdict{color:var(--muted)}.demo .trace .refused code,.demo .trace .refused .verdict{color:var(--bad)}.demo .trace .empty{color:var(--muted);display:block}@media (max-width:720px){.slide.demo{grid-template-columns:1fr;height:auto}}