:root{color-scheme:light;--blue:#40619f;--blue-dark:#304e85;--rust:#b05a4d;--gold:#dca64d;--ink:#242e3d;--muted:#748090;--line:#e7eaee;--bg:#f7f8fa;--white:#fff;font-family:Inter,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;font-size:14px;font-synthesis:none}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--ink)}button,input,select{font:inherit}button,select,input[type=range],summary{cursor:pointer}button{transition:background .15s,border-color .15s,box-shadow .15s}button:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:3px solid #98aed6;outline-offset:3px}button:disabled{opacity:.4;cursor:not-allowed}button{color:inherit}button:hover{filter:brightness(.97)}.topbar{height:73px;border-bottom:1px solid var(--line);padding:0 4.2%;display:flex;align-items:center;justify-content:space-between;background:#fff}.brand{display:flex;align-items:center;gap:12px}.brand strong{font-size:20px;letter-spacing:-.6px}.brand-divider{height:18px;width:1px;background:#dddfe4;margin:0 3px}.brand-subtitle{font-size:13px;color:#798391}.private-badge{display:flex;gap:6px;align-items:center;color:#687283;border:1px solid #e5e9ed;border-radius:6px;padding:6px 9px;font-size:11px;font-weight:500}main{max-width:1540px;padding:37px 4.2% 0;margin:0 auto}.intro{display:flex;align-items:center;justify-content:space-between;gap:20px;margin-bottom:29px}.eyebrow{font-size:10px;font-weight:650;letter-spacing:1.7px;display:flex;align-items:center;gap:7px;color:var(--blue)}.live-dot{width:5px;height:5px;border-radius:50%;background:var(--blue)}h1{font-size:clamp(25px,2.5vw,36px);font-weight:570;letter-spacing:-1.2px;margin:11px 0 10px}p{line-height:1.6;margin:0}.intro p{font-size:13px;color:#7a8290}.button{display:inline-flex;justify-content:center;align-items:center;gap:9px;border:1px solid transparent;border-radius:7px;min-height:40px;padding:0 16px;font-size:12px;font-weight:550;white-space:nowrap}.primary{background:var(--blue);color:#fff;box-shadow:0 2px 3px #294f8b16}.primary:hover{background:var(--blue-dark)}.primary span{font-size:21px;line-height:1}.workspace{display:grid;grid-template-columns:248px minmax(0,1fr);gap:20px}.panel{background:#fff;border:1px solid var(--line);border-radius:10px;box-shadow:0 2px 4px #20314502}.controls{padding:21px 19px;align-self:stretch}.panel-heading{display:flex;align-items:center;justify-content:space-between;margin-bottom:23px}h2{font-size:15px;margin:0;font-weight:600;letter-spacing:-.25px}.text-button{border:0;background:none;color:#7a8798;font-size:11px;padding:4px}.field-label{font-size:11px;font-weight:570;display:block;margin-bottom:9px}select{width:100%;padding:10px 28px 10px 10px;border:1px solid #e2e6ed;border-radius:6px;background:#fff;color:#455266;font-size:11px;min-height:37px}.separator{height:1px;background:var(--line);margin:21px 0}.range-label{display:flex;justify-content:space-between;align-items:center;margin-bottom:9px;font-size:11px;font-weight:550}.range-label output{min-width:29px;text-align:center;padding:4px 7px;background:#f0f3f8;border:1px solid #e5e9f0;color:var(--blue);border-radius:4px;font-size:11px;font-weight:650;font-variant-numeric:tabular-nums}.math{font-family:Georgia,serif;font-style:italic;color:#8390a1;margin-left:3px}input[type=range]{width:100%;height:4px;accent-color:var(--blue);margin:8px 0 10px;display:block}.range-endpoints{display:flex;justify-content:space-between;font-size:9px;color:#939ca9}.spaced{margin-top:22px}.field-hint{color:#8993a1;font-size:10px;line-height:1.6;margin:6px 0 0}.field-hint strong{font-weight:550;color:#647186}.mixture-bar{display:flex;height:5px;border-radius:3px;overflow:hidden;margin:17px 0 9px;gap:2px}.switch-row{position:relative;display:flex;align-items:center;justify-content:space-between;gap:9px;font-size:11px;font-weight:550;margin-top:24px;cursor:pointer}.switch-row small{display:block;font-size:10px;font-weight:400;color:#8c95a2;margin-top:6px}.switch-row input{position:absolute;right:0;opacity:0;width:34px;height:22px;cursor:pointer;z-index:2}.switch-track{width:30px;height:18px;background:#dce0e6;border-radius:12px;flex-shrink:0;position:relative}.switch-track:after{content:"";position:absolute;left:3px;top:3px;width:12px;height:12px;border-radius:50%;background:#fff;transition:transform .15s}.switch-row input:checked+.switch-track{background:var(--blue)}.switch-row input:checked+.switch-track:after{transform:translate(12px)}.switch-row input:focus-visible+.switch-track{outline:3px solid #98aed6;outline-offset:3px}.seed-row{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-top:23px;font-size:11px}.seed-row input{width:84px;border:1px solid var(--line);border-radius:5px;padding:7px 8px;font-size:11px;color:#5e6b7f;background:#fafbfc;font-variant-numeric:tabular-nums}.control-note{display:flex;gap:8px;margin-top:24px;border-radius:6px;background:#f5f7fa;padding:12px 10px;color:#8290a3}.control-note>span{font-size:16px;color:var(--blue)}.control-note p{font-size:10px;line-height:1.7}.tree-panel{min-width:0;overflow:hidden;display:flex;flex-direction:column}.tree-heading{display:flex;align-items:center;justify-content:space-between;padding:21px 23px 19px;gap:15px}.muted{color:#8a94a2;font-size:9px;letter-spacing:1.5px}.tree-heading h2{font-size:17px;margin-top:8px}.tree-actions{display:flex;align-items:center;gap:5px}.count-badge{font-size:10px;color:#929aa5;border:1px solid var(--line);border-radius:5px;padding:6px 8px;white-space:nowrap}.tree-actions .count-badge{margin-right:7px}.icon-button,.small-button{height:27px;min-width:27px;background:#fff;border:1px solid var(--line);border-radius:5px;font-size:14px;color:#778392}.small-button{font-size:10px;padding:0 8px}.rule-tabs{display:flex;gap:5px;align-items:center;margin:0 23px;padding:5px;background:#f5f7fa;border:1px solid #edf0f4;border-radius:7px;overflow:auto;flex-shrink:0}.rule-tab{flex:1;white-space:nowrap;border:1px solid transparent;border-radius:5px;background:transparent;color:#8b94a1;font-size:10px;padding:8px 9px;line-height:1.2}.rule-tab[aria-selected=true]{background:#fff;color:var(--blue);border-color:#e4e9f0;box-shadow:0 1px 3px #152d4a0b;font-weight:600}.tree-scroll{position:relative;flex:1;min-height:350px;height:350px;max-height:470px;overflow:auto;background-image:radial-gradient(#dce2ea .7px,transparent .7px);background-size:15px 15px;margin:8px 0 0;overscroll-behavior:contain}.tree-scroll svg{display:block;min-width:100%;height:100%;min-height:350px}.tree-node{cursor:pointer;outline:none}.tree-node:focus-visible circle:first-of-type{stroke:#242e3d;stroke-width:3}.tree-node .hit-area{fill:transparent}.tree-node:hover .node-body{stroke:#65738a;stroke-width:2}.tree-legend{display:flex;align-items:center;flex-wrap:wrap;gap:15px;padding:12px 23px 16px;font-size:9px;color:#86909f}.tree-legend>span{display:flex;align-items:center;gap:5px;white-space:nowrap}.legend-node{display:inline-block;width:8px;height:8px;border-radius:50%;flex-shrink:0}.prefetched{background:var(--gold)}.unscheduled{background:#e9edf2;border:1px solid #cfd7e2}.legend-line{width:14px;border-top:2px solid var(--blue)}.legend-line.dashed{border-top-style:dashed;opacity:.7}.legend-directions{margin-left:auto;font-size:9px}.node-inspector{background:#fafbfc;border-top:1px solid var(--line);border-bottom:1px solid var(--line);min-height:43px;padding:11px 23px;display:flex;align-items:center;flex-wrap:wrap;gap:7px 17px;font-size:10px;color:#8a95a2}.node-inspector strong{font-weight:600;color:#53627a}.node-inspector .node-status{margin-left:auto;color:#a07529}.node-inspector .inspector-key{color:#99a2af;margin-right:4px}.metrics{display:grid;grid-template-columns:repeat(4,1fr);padding:21px 0 22px}.metric{padding:0 23px;border-right:1px solid var(--line)}.metric:last-child{border:0}.metric-name{font-size:10px;font-weight:500;color:#8993a1;white-space:nowrap}.metric-value{font-size:29px;line-height:1.2;font-weight:500;letter-spacing:-1px;margin:9px 0 4px;font-variant-numeric:tabular-nums}.metric-value small{font-size:14px;color:#b0b7c1;margin-left:5px;font-weight:400;letter-spacing:0}.metric-value.blue{color:var(--blue)}.metric-sub{font-size:9px;color:#9da5b0;line-height:1.5}.comparison{margin-top:23px;overflow:hidden}.comparison-heading{padding:23px 24px 20px;display:flex;align-items:center;justify-content:space-between;gap:15px}.comparison-heading h2{font-size:19px;letter-spacing:-.4px;margin-top:8px}.comparison-heading p{font-size:11px;color:#9199a5;margin-top:6px}.table-scroll{overflow:auto}table{width:100%;border-collapse:collapse;text-align:left;font-variant-numeric:tabular-nums;white-space:nowrap}th{font-size:9px;letter-spacing:.3px;font-weight:500;color:#959eaa;background:#fafbfc;padding:11px 23px;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}td{padding:13px 23px;border-bottom:1px solid #eef0f3;font-size:11px;color:#6b788b}tr:last-child td{border-bottom:0}tr.selected{background:#f1f5fb}tr:hover{background:#f6f8fc}.rule-select{display:flex;align-items:center;gap:11px;border:0;background:transparent;padding:0;font-size:11px;color:#53627a;text-align:left;font-weight:550}.radio-marker{width:12px;height:12px;border:1px solid #cad2df;border-radius:50%;position:relative}.selected .radio-marker{border-color:var(--blue)}.selected .radio-marker:after{content:"";position:absolute;inset:2px;border-radius:50%;background:var(--blue)}.selected .rule-select{color:var(--blue)}.progress-stat{display:flex;align-items:center;gap:14px}.progress-track{height:4px;width:80px;background:#e7ecf3;border-radius:2px;overflow:hidden}.progress-fill{display:block;height:100%;background:#9daecb;border-radius:2px}.selected .progress-fill{background:var(--blue)}.effective-number{min-width:32px}.effective-number small{font-size:9px;color:#9ca6b3}.trace-row{display:flex;align-items:center;justify-content:space-between;gap:20px;background:#fafbfc;border-top:1px solid var(--line);padding:17px 24px}.trace-row strong{font-size:10px;font-weight:550;color:#758093;display:block}.trace-row>div>span{font-size:9px;color:#97a0ad;display:block;margin-top:5px}.trace{display:flex;align-items:center;gap:7px}.trace-chip{position:relative;min-width:28px;height:26px;border:1px solid #dfe6f0;border-radius:5px;display:flex;align-items:center;justify-content:center;color:var(--blue);background:#f1f5fa;font-size:10px;font-weight:550;cursor:pointer}.trace-chip.reject{color:var(--rust);background:#fbf3f1;border-color:#eadcd8}.trace-chip.beyond{opacity:.5;border-style:dashed}.trace-arrow{font-size:10px;color:#b3bac5}.method{margin:23px 0 0;background:#fff;border:1px solid var(--line);border-radius:8px}.method summary{font-size:11px;font-weight:550;color:#788395;list-style:none;padding:17px 21px;display:flex;align-items:center;justify-content:space-between}.method summary::-webkit-details-marker{display:none}.method summary span{font-size:18px;font-weight:400}.method[open] summary span{transform:rotate(45deg)}.method-content{padding:0 22px 24px;display:grid;grid-template-columns:repeat(2,1fr);gap:22px 35px;border-top:1px solid #f0f2f5}.method-content h3{font-size:12px;color:#56657a;margin:21px 0 10px}.method-content p{font-size:11px;color:#8893a2;line-height:1.8;margin-top:9px}.method-content p strong{font-weight:550;color:#5e6d82}footer{padding:27px 2px;display:flex;justify-content:space-between;gap:15px;color:#99a2af;font-size:10px}footer strong{font-weight:650;color:#778599}.footer-dot{margin:0 8px;color:#c3c8d0}.toast{position:fixed;bottom:25px;left:50%;transform:translate(-50%,15px);padding:10px 17px;border-radius:8px;background:#29364b;color:#fff;font-size:12px;opacity:0;transition:.2s;pointer-events:none;box-shadow:0 4px 20px #1c2e4420}.toast.visible{transform:translate(-50%);opacity:1}[hidden]{display:none!important}@media(min-width:1600px){.tree-scroll{min-height:410px}}@media(max-width:1100px){main{padding:28px 3% 0}.topbar{padding:0 3%}.workspace{grid-template-columns:225px minmax(0,1fr);gap:15px}.controls{padding:20px 16px}.metric{padding:0 16px}.metric-name{font-size:9px}.tree-heading{padding:20px 17px}.rule-tabs{margin:0 15px}.rule-tab{font-size:9px;padding:8px 5px}.tree-legend{padding:12px 17px;gap:10px}.legend-directions{display:none!important}th,td{padding-left:18px;padding-right:18px}.tree-actions .count-badge{display:none}.node-inspector{padding:10px 17px;gap:7px 12px}}@media(max-width:760px){.topbar{height:61px;padding:0 20px}.brand-subtitle{font-size:11px}.brand{gap:9px}.brand strong{font-size:18px}.private-badge{font-size:9px;padding:5px 7px}main{padding:27px 18px 0}.intro{flex-wrap:wrap;gap:18px;margin-bottom:20px}h1{font-size:27px;line-height:1.2;letter-spacing:-.9px}.intro p{font-size:12px}.intro .button{min-height:35px;font-size:11px}.workspace{grid-template-columns:1fr}.controls{display:grid;grid-template-columns:1fr 1fr;column-gap:22px;row-gap:0;padding:18px}.panel-heading{grid-column:1/-1;margin-bottom:18px}.controls>.field-label,.controls>select,.controls>.separator,.controls>.range-label,.controls>input,.controls>.range-endpoints,.controls>.field-hint,.controls>#mixture-details,.controls>#uniform-details{grid-column:1/-1}.controls>.separator{margin:17px 0}.controls>.switch-row{margin-top:14px}.controls>.seed-row{margin-top:14px}.control-note{grid-column:1/-1;margin-top:17px;padding:9px 12px}.control-note p br{display:none}.tree-heading h2{font-size:16px}.rule-tabs{margin:0 11px}.rule-tab{padding:9px 8px;font-size:9px;flex:none}.tree-scroll{height:340px;min-height:340px}.tree-legend{font-size:8px;gap:10px;padding:10px 13px 14px}.metrics{grid-template-columns:1fr 1fr;row-gap:21px;padding:19px 0}.metric:nth-child(2){border-right:0}.metric-name{font-size:10px}.metric-value{font-size:27px}.node-inspector{min-height:60px;font-size:9px;padding:10px 14px}.node-inspector .node-status{margin-left:0}.comparison-heading{padding:20px 17px}.comparison-heading .count-badge{display:none}.comparison-heading h2{font-size:18px}.comparison-heading p{font-size:10px;max-width:270px}th,td{padding:13px 17px;font-size:10px}.trace-row{flex-direction:column;align-items:flex-start;gap:12px;padding:17px}.trace{gap:5px}.trace-chip{min-width:25px;height:25px}.method-content{grid-template-columns:1fr;gap:0}footer{font-size:9px;line-height:1.7;flex-wrap:wrap}.toast{width:max-content;max-width:90%;font-size:11px}}@media(prefers-reduced-motion:reduce){*{transition:none!important;scroll-behavior:auto!important}}:root{--page-accent:#2e5bea;--page-ink:#17191d;--page-muted:#5d6470}main{max-width:none;padding:0;margin:0}.paper-intro{margin:0;padding:0;color:var(--page-ink)}.paper-hero{padding:64px 28px 52px;border-bottom:1px solid #e9ebef;background:radial-gradient(ellipse 64% 100% at 50% 0%,#eaf0ff,#f7f9ff 42%,#fff 85%)}.paper-hero-content{max-width:1160px;margin:0 auto;text-align:center}.paper-topic{display:inline-flex;align-items:center;gap:8px;padding:8px 15px;margin-bottom:25px;border:1px solid #edf0f6;border-radius:100px;background:#fff;font-size:1rem;font-weight:550;color:#515763;box-shadow:0 3px 12px #1e2b4b08}.paper-topic svg{width:17px;height:17px;fill:none;stroke:var(--page-accent);stroke-width:1.8;stroke-linecap:round;stroke-linejoin:round}.paper-intro h1{font-size:clamp(2.2rem,4.1vw,3.75rem);font-weight:800;line-height:1.13;letter-spacing:-.04em;text-align:center;margin:0 auto 31px;max-width:1140px;text-wrap:balance;color:var(--page-ink)}.title-accent{color:var(--page-accent);background:linear-gradient(110deg,#2660e8,#7254e8);background-clip:text;-webkit-background-clip:text;-webkit-text-fill-color:transparent}.paper-authors,.paper-affiliations,.paper-emails{display:flex;justify-content:center;flex-wrap:wrap;list-style:none;padding:0;margin:0}.paper-authors{gap:10px 27px;font-size:1.4rem;font-weight:600;line-height:1.7}.paper-authors li{white-space:nowrap}.paper-authors a{color:var(--page-ink);text-decoration:none}.paper-authors a:hover{color:var(--page-accent)}.paper-authors sup{color:var(--page-accent);font-size:.72em;margin-left:2px;line-height:0}.paper-affiliations{gap:8px 24px;margin:17px auto 0;max-width:1120px;font-size:1.1rem;font-weight:450;line-height:1.65}.paper-affiliations li{max-width:100%}.paper-affiliations sup{font-size:.75em;margin-right:3px;line-height:0}.paper-emails{gap:6px 25px;margin-top:12px;font-size:1rem;line-height:1.7}.paper-emails a{color:var(--page-muted);text-decoration:none;text-underline-offset:4px}.paper-emails a:hover{color:var(--page-accent);text-decoration:underline}.paper-links{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:12px;margin:29px 0 0}.paper-links .paper-button{display:inline-flex;align-items:center;justify-content:center;gap:9px;min-height:49px;padding:0 22px;border:1px solid transparent;border-radius:100px;font-size:1.1rem;font-weight:600;line-height:1.3;text-decoration:none;transition:background .16s,transform .16s,box-shadow .16s}.paper-links .paper-button:hover{transform:translateY(-2px);box-shadow:0 5px 15px #16244712}.paper-button svg{width:18px;height:18px;fill:none;stroke:currentColor;stroke-width:1.8;stroke-linecap:round;stroke-linejoin:round}.paper-primary{background:var(--page-accent);color:#fff}.paper-primary:hover{background:#244cce}.paper-code{background:#17191d;color:#fff}.paper-code:hover{background:#30343b}.paper-links .paper-project{background:#fff;color:var(--page-ink);border-color:#e2e5e9}.paper-project:hover{background:#f6f7f9}.paper-intro a:focus-visible{outline:3px solid #96acf7;outline-offset:5px;border-radius:4px}.paper-intro .paper-button:focus-visible{border-radius:100px}.paper-abstract{max-width:940px;margin:0 auto;padding:58px 28px 65px}.paper-abstract h2{font-size:2.2rem;font-weight:750;letter-spacing:-.025em;text-align:center;margin:0 0 23px;color:var(--page-ink)}.paper-abstract p{font-size:1.2rem;line-height:1.9;color:#484e58;overflow-wrap:break-word}.paper-abstract u{text-underline-offset:3px}.explorer-section{background:#f7f9fc;border-top:1px solid #e8ecf2;padding:48px 4.2% 0}.explorer-container{max-width:1280px;margin:0 auto}.intro h2{font-size:clamp(25px,2.5vw,36px);font-weight:650;letter-spacing:-1.2px;line-height:1.2;margin:11px 0 10px;color:var(--page-ink)}.intro p{font-size:1.05rem;color:#697282}.panel{box-shadow:0 3px 12px #20314503}@media(max-width:1100px){.paper-hero{padding:52px 25px 42px}.paper-intro h1{font-size:clamp(2.3rem,4.6vw,3.5rem)}.title-break{display:none}.paper-authors{font-size:1.3rem;gap:8px 22px}.paper-affiliations{max-width:830px}.explorer-section{padding:38px 3% 0}}@media(max-width:760px){main{padding:0}.paper-hero{padding:39px 20px 35px}.paper-topic{margin-bottom:21px;font-size:.95rem}.paper-intro h1{font-size:2.35rem;line-height:1.16;margin-bottom:25px}.paper-authors{font-size:1.16rem;gap:7px 17px}.paper-affiliations{display:grid;gap:6px;font-size:1rem;margin-top:17px;max-width:520px}.paper-emails{font-size:1rem;gap:4px 18px;margin-top:14px}.paper-links{gap:9px;margin-top:24px}.paper-links .paper-button{font-size:1rem;min-height:46px;padding:0 19px}.paper-abstract{padding:35px 23px 42px}.paper-abstract h2{font-size:1.9rem;margin-bottom:18px}.paper-abstract p{font-size:1.15rem;line-height:1.85}.explorer-section{padding:29px 18px 0}.intro h2{font-size:27px;letter-spacing:-.9px}.intro p{font-size:1rem}.intro{margin-bottom:22px}}@media(prefers-reduced-motion:reduce){.paper-links .paper-button{transition:none}.paper-links .paper-button:hover{transform:none}}.citation-section{margin-top:44px;padding:31px 32px 28px;border:1px solid #e5e9ef;border-radius:12px;background:#fff}.citation-section h2{font-size:2rem;font-weight:750;letter-spacing:-.025em;color:var(--page-ink)}.citation-note{margin-top:10px;color:var(--page-muted);font-size:1rem;line-height:1.6}.citation-section pre{margin:20px 0 0;padding:22px 24px;border:1px solid #e8ebf0;border-radius:8px;background:#f7f9fc;overflow:auto;text-align:left;font:1rem/1.8 ui-monospace,SFMono-Regular,Consolas,monospace;color:#394353;tab-size:2}.citation-section code{font:inherit;white-space:pre}@media(max-width:760px){.citation-section{margin-top:28px;padding:23px 18px}.citation-section h2{font-size:1.8rem}.citation-copy{padding:0 13px}.citation-section pre{padding:18px 16px}.citation-note{font-size:1rem}}.experiments-section{padding:56px 28px 64px;border-top:1px solid #e9ebef;color:var(--page-ink);background:#fff}.experiments-container{max-width:1200px;margin:0 auto}.experiments-header{text-align:center;max-width:820px;margin:0 auto 42px}.experiments-header h2{font-size:2.2rem;letter-spacing:-.025em;font-weight:750}.experiments-header>p{font-size:1.05rem;color:var(--page-accent);font-weight:600;margin-top:14px}.experiments-header .experiment-context{font-size:1.1rem;color:var(--page-muted);font-weight:400;line-height:1.7;margin-top:12px}.experiment-block+.experiment-block{margin-top:48px;padding-top:40px;border-top:1px solid #e6eaf3}.experiment-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:24px;margin-bottom:20px}.experiment-heading h3{font-size:1.6rem;line-height:1.3;font-weight:700;letter-spacing:-.025em;margin:0}.experiment-heading p{font-size:1.05rem;line-height:1.7;color:var(--page-muted);max-width:760px;margin-top:10px}.experiment-grid{display:grid;gap:20px;min-width:0}.experiment-chart{margin:0;min-width:0}.experiment-chart h4{font-size:1rem;font-weight:650;line-height:1.5;letter-spacing:-.01em;margin:0}.chart-setting{font-size:.875rem;color:#687383;line-height:1.6;margin:6px 0 10px}.chart-canvas{position:relative;min-width:0}.chart-canvas svg{display:block;width:100%;height:auto;overflow:visible;font-family:inherit}.chart-canvas svg text{fill:#627084;font-size:13px}.chart-canvas svg .bar-label{fill:#33435a;font-weight:600;font-size:14px}.chart-canvas svg .bar-value{fill:#33435a;font-size:14px;font-variant-numeric:tabular-nums}.experiment-chart figcaption{font-size:.9375rem;color:#465269;line-height:1.65;border-top:1px solid #e6eaf3;padding-top:12px;margin-top:10px;font-variant-numeric:tabular-nums}.timing-speedup-value{display:block;font-size:clamp(1.8rem,3vw,2.5rem);line-height:1.3;letter-spacing:-.04em;color:var(--page-accent);margin-bottom:6px}.experiment-note{font-size:.9375rem;line-height:1.75;color:#657084;margin:18px 0 0}.experiment-select{display:flex;flex-direction:column;gap:8px;min-width:175px;flex-shrink:0;font-size:.9375rem;color:#505969}.experiment-select select{font-size:1rem;padding:10px 14px;border-radius:8px}.interactive-figure{margin:0}.scatter-controls{display:grid;grid-template-columns:220px 220px auto 1fr;align-items:end;gap:20px;margin:0 0 28px}.filter-field{display:grid;gap:8px;min-width:0}.filter-field>label{display:block;font-size:.875rem;font-weight:550;line-height:1.4;color:#40516a}.filter-select{position:relative;min-width:0}.filter-select:after{content:"";position:absolute;right:16px;top:18px;width:7px;height:7px;border-right:1.5px solid #53647c;border-bottom:1.5px solid #53647c;transform:rotate(45deg);pointer-events:none}.scatter-controls .filter-select select{appearance:none;-webkit-appearance:none;display:block;box-sizing:border-box;width:100%;height:46px;min-height:46px;margin:0;padding:0 42px 0 14px;border:1px solid #bdc9db;border-radius:8px;background:#fff;color:#192333;font:400 1rem/1.4 -apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;text-overflow:ellipsis;cursor:pointer;box-shadow:none}.scatter-controls .filter-select select:hover{border-color:#8499b9;background:#fafbfe}.scatter-controls .filter-select select:focus-visible{outline:3px solid #96acf7;outline-offset:3px;border-color:#2e5bea}.scatter-controls .filter-select option{background:#fff;color:#192333}#figure-reset{border:1px solid #cbd4e2;border-radius:8px;background:#fff;color:#405675;padding:10px 15px;min-height:46px;height:46px;font:inherit;font-size:.875rem;cursor:pointer;white-space:nowrap}#figure-reset:hover{background:#f1f5fd}#figure-count{font-size:.8125rem;color:#65748a;margin:0;justify-self:end;align-self:end;min-height:46px;display:flex;align-items:center;font-variant-numeric:tabular-nums}.scatter-panels{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:24px}.scatter-panel{min-width:0;position:relative}.scatter-panel-title{font-size:1rem;font-weight:600;letter-spacing:-.02em;margin:0 0 10px 20px;color:#27374f}.scatter-panel>svg{display:block;width:100%;height:auto;overflow:visible;font-family:inherit}.scatter-panel svg text{font-size:12px;fill:#65738a}.scatter-panel svg .scatter-axis-title{font-size:12px;fill:#4a5b74}.scatter-axis{stroke:#aab5c6;stroke-width:1}.scatter-guide{stroke:#bbc3d0;stroke-width:1;stroke-dasharray:5 4}.scatter-break-even{stroke:#58687e;stroke-width:1.6}.scatter-panel svg .scatter-break-label{fill:#445571;font-weight:600}.scatter-panel svg .scatter-guide-label{fill:#7b889c}.scatter-point{cursor:pointer;outline:none}.scatter-halo{fill:transparent;stroke:transparent;stroke-width:1.5;pointer-events:none}.scatter-point.is-selected .scatter-halo{fill:#2e5bea0d;stroke:#304e84}.scatter-point:focus-visible .scatter-halo{stroke:#152d5d;stroke-width:2.5}.scatter-point:hover .scatter-halo{stroke:#304e84}.scatter-hit{pointer-events:all}.scatter-panel svg .scatter-empty{fill:#3b4e6b;font-size:12px;paint-order:stroke;stroke:#fff;stroke-width:7px;stroke-linejoin:round}.scatter-legends{display:grid;gap:10px;border-top:1px solid #e6ebf2;padding-top:19px;margin:15px 0 23px}.scatter-legend{display:flex;flex-wrap:wrap;justify-content:center;gap:9px 21px;font-size:.8125rem;color:#4d5e76}.scatter-legend-item{display:flex;align-items:center;gap:4px;white-space:nowrap}.scatter-legend-item svg{width:20px;height:20px;flex-shrink:0}.scatter-inspector{display:flex;justify-content:space-between;align-items:center;gap:20px;min-height:99px;padding:19px 24px;border-radius:10px;background:#f2f6fd;color:#283d5e}.scatter-identity{display:grid;gap:5px}.scatter-detail-label{font-size:.8125rem;color:#596c89}.scatter-identity strong{font-size:1.125rem;font-weight:600}.scatter-measures{display:flex;gap:38px;margin:0}.scatter-measures dt{font-size:.8125rem;color:#596c89;margin-bottom:4px}.scatter-measures dd{font-size:1.45rem;font-weight:600;margin:0;font-variant-numeric:tabular-nums}.scatter-measures>div:last-child dd{color:var(--page-accent)}.scatter-point-note{font-size:.8125rem;line-height:1.7;color:#795e33;margin:10px 0}.interactive-figure figcaption{font-size:.875rem;line-height:1.75;color:#596b83;margin-top:17px;max-width:95ch}.interactive-figure figcaption strong{color:#273952;font-weight:600}@media(max-width:900px){.scatter-panels{grid-template-columns:1fr;gap:27px}.scatter-panel{max-width:500px;width:100%;margin:0 auto}.scatter-panel-title{font-size:1.125rem;margin-left:30px}.scatter-controls{grid-template-columns:minmax(0,1fr) minmax(0,1fr) auto}.scatter-controls #figure-count{grid-column:1/-1;justify-self:start}.scatter-measures{gap:23px}}@media(max-width:600px){.scatter-controls{gap:16px 14px;grid-template-columns:minmax(0,1fr) minmax(0,1fr)}.scatter-controls #figure-count{grid-column:auto;justify-self:end;align-self:center;text-align:right}.scatter-inspector{display:block;padding:18px}.scatter-measures{margin-top:20px;justify-content:space-between;gap:10px}.scatter-measures dd{font-size:1.25rem}.scatter-measures dt{font-size:.75rem}.scatter-legend{justify-content:flex-start;gap:7px 14px}.scatter-legend-item,.scatter-detail-label{font-size:.75rem}}.figure-details{margin-top:12px;font-size:.8125rem;color:#647087;line-height:1.8}.figure-details summary{cursor:pointer;display:list-item;padding:8px 0;width:fit-content}.figure-details p{max-width:95ch;margin:4px 0 0}.experiment-source{margin-top:32px;padding-top:20px;border-top:1px solid #e6eaf3;font-size:.8125rem;color:#67758b;line-height:1.8}.experiment-source a{color:var(--page-accent);text-decoration:underline;text-underline-offset:3px;margin-left:6px}.experiments-section select:focus-visible,.figure-details summary:focus-visible,#figure-reset:focus-visible{outline:3px solid #96acf7;outline-offset:3px}@media(max-width:767px){.experiment-heading{flex-direction:column;gap:15px}.experiment-select{width:100%;min-width:0}.experiment-grid{grid-template-columns:1fr}.experiment-source{margin-top:25px}.experiment-heading h3{font-size:1.4rem}}.scatter-tooltip{position:absolute;z-index:5;width:230px;max-width:calc(100% - 10px);padding:11px 13px;border-radius:8px;background:#20324e;color:#fff;box-shadow:0 5px 18px #14294320;pointer-events:none;font-size:.75rem;line-height:1.6}.scatter-tooltip strong,.scatter-tooltip span{display:block}.scatter-tooltip strong{font-weight:600;margin-bottom:4px}.scatter-tooltip[hidden]{display:none}.experiment-nav{display:flex;gap:8px 25px;flex-wrap:wrap;justify-content:center;padding:17px 0;border-block:1px solid #e6ebf2;margin:0 0 38px;font-size:.875rem}.experiment-nav a{color:#4e6180;text-decoration:none;padding:5px 0}.experiment-nav a:hover{color:var(--page-accent);text-decoration:underline;text-underline-offset:4px}.experiment-block{scroll-margin-top:25px}.case-highlight{color:var(--page-accent);font-size:1.55rem;letter-spacing:-.03em;white-space:nowrap;font-weight:600}.case-controls{display:flex;gap:30px;align-items:center;justify-content:space-between;margin:0 0 24px}.case-range{display:flex;align-items:center;gap:22px;flex:1;max-width:600px}.case-range label{font-size:.875rem;color:#4d607d;white-space:nowrap}.case-range output{font-weight:650;color:var(--page-accent);display:inline-block;min-width:25px;font-variant-numeric:tabular-nums}.case-range input{flex:1;min-width:100px;accent-color:var(--page-accent)}.case-check{display:flex;align-items:center;gap:9px;font-size:.875rem;color:#4d607d;white-space:nowrap;cursor:pointer;min-height:36px}.case-check input{width:17px;height:17px;accent-color:var(--page-accent)}.case-legend{display:flex;gap:12px 25px;flex-wrap:wrap;font-size:.8125rem;color:#586a84;margin-bottom:23px}.case-legend span{display:flex;align-items:center;gap:8px}.case-legend i{width:18px;height:4px;background:var(--series);display:block;border-radius:2px}.case-legend i.dashed{background:transparent;border-top:2px dashed var(--series);height:0}.case-legend i.shade{height:13px;background:#edf2fa;border:1px solid #d6e0ef}.case-grid{display:grid;gap:24px}.case-grid.three{grid-template-columns:repeat(3,minmax(0,1fr))}.case-grid.two{grid-template-columns:repeat(2,minmax(0,1fr))}.case-grid figure{min-width:0;margin:0}.case-grid h4{font-size:1rem;font-weight:600;color:#30435f;line-height:1.5;letter-spacing:-.015em;margin:0}.case-grid .chart-setting{margin:5px 0 10px;font-size:.8125rem}.case-grid figcaption{font-size:.8125rem;line-height:1.75;color:#66748b;margin:12px 0 0;font-variant-numeric:tabular-nums}.case-canvas{position:relative;min-width:0}.case-canvas>svg{display:block;width:100%;height:auto;overflow:visible;font-family:inherit}.case-canvas svg text{font-size:11px;fill:#687994}.case-canvas svg .case-axis-label,.case-canvas svg .case-group-label{font-size:11px;fill:#4b5f7d}.case-canvas svg .case-dataset-label{font-size:11px;fill:#3b506e}.case-gridline{stroke:#e4eaf3;stroke-width:1}.case-mark{cursor:pointer;outline:none}.case-mark:focus-visible{outline:2px solid #a3b8e3;outline-offset:3px}.case-tooltip{position:absolute;z-index:4;top:15px;left:35px;right:10px;max-width:310px;padding:11px 13px;background:#213650;color:#fff;border-radius:8px;font-size:.75rem;line-height:1.7;white-space:pre-line;pointer-events:none;box-shadow:0 4px 16px #1c355420}.case-tooltip[hidden]{display:none}.experiment-nav a:focus-visible,.case-check input:focus-visible,.case-range input:focus-visible{outline:3px solid #96acf7;outline-offset:4px}@media(max-width:950px){.case-grid.three{grid-template-columns:1fr}.case-grid.three figure{width:100%;max-width:640px;margin:auto}.case-grid.three .case-canvas{max-width:580px;margin:auto}}@media(max-width:650px){.case-grid.two{grid-template-columns:1fr}.case-grid{gap:30px}.case-controls{display:block}.case-range{gap:12px;margin-bottom:15px}.case-check{font-size:.8125rem}.experiment-nav{justify-content:flex-start;gap:7px 20px;font-size:.8125rem}.case-highlight{font-size:1.3rem}.case-legend{gap:10px 17px}.case-grid h4{font-size:1rem}}.case-trace-select{min-width:185px}.case-controls{gap:20px;flex-wrap:wrap}.case-controls .case-range{min-width:280px}.case-table-scroll{overflow:auto;border:1px solid #e0e7f1;border-radius:10px}.case-budget-table{width:100%;min-width:740px;border-collapse:separate;border-spacing:0;font-variant-numeric:tabular-nums}.case-budget-table caption{text-align:left;padding:16px 19px;color:#52647e;background:#f7f9fd;font-size:.8125rem}.case-budget-table th,.case-budget-table td{padding:16px 17px;text-align:center;border-top:1px solid #e6ebf3;font-size:.875rem;white-space:nowrap}.case-budget-table thead th{background:#f7f9fd;color:#405472;font-size:.8125rem;font-weight:550;letter-spacing:0;text-transform:none}.case-budget-table th:first-child{text-align:left}.case-budget-table tbody th{background:#fff;font-weight:500;color:#3c526f;position:sticky;left:0;box-shadow:1px 0 #e6ebf3}.case-budget-table td{color:#4c607e}.case-budget-table .best-budget{background:#eef3ff;color:#2e5bea;font-weight:700}.case-table-scroll:focus-visible{outline:3px solid #96acf7;outline-offset:3px}@media(max-width:650px){.case-controls .case-range{min-width:0;width:100%;margin-bottom:18px}.case-trace-select{width:100%;margin-bottom:12px}.case-budget-table th,.case-budget-table td{padding:13px 12px}}.scatter-controls{display:flex;align-items:center;flex-wrap:nowrap;gap:20px;overflow-x:auto;padding:4px 4px 8px}.scatter-controls .filter-field{display:flex;align-items:center;gap:10px;flex:0 0 auto}.scatter-controls .filter-field>label{margin:0;white-space:nowrap}.scatter-controls .filter-select{width:180px;flex:0 0 180px}.scatter-controls #figure-reset{flex:0 0 auto}.scatter-controls #figure-count{flex:0 0 auto;margin-left:auto;align-self:center;white-space:nowrap}#figure-one>.experiment-heading>div{width:100%;min-width:0}#figure-one-caption{max-width:none;font-size:14px;line-height:1.7}@media(min-width:1400px){#figure-one-caption{white-space:nowrap}}.case-canvas svg .case-readout-heading{font-size:12px;fill:#65748a}.case-canvas svg .case-readout-value{font-size:13px;fill:#273952;font-variant-numeric:tabular-nums}#case1 .case1-conclusion{margin:0 0 24px}#case1>.case-legend{margin:20px 0 0}.scatter-controls{justify-content:flex-end;justify-content:safe flex-end}.scatter-controls #figure-count{margin-left:0}.case-controls{justify-content:flex-end}.case-controls .case-range{flex:0 1 400px}@media(max-width:650px){.case-controls{display:flex}.case-controls .case-range{flex:1 1 100%}}.case-controls .case-trace-select{display:flex;align-items:center;gap:12px;min-width:0;width:auto;margin:0}.case-trace-select>label{font-size:.875rem;color:#4d607d;white-space:nowrap}.case-trace-select .filter-select{width:260px;max-width:100%}.case-trace-select select{appearance:none;-webkit-appearance:none;box-sizing:border-box;width:100%;height:46px;margin:0;padding:0 42px 0 14px;border:1px solid #bdc9db;border-radius:8px;background:#fff;color:#192333;font:inherit;font-size:.875rem;cursor:pointer}.case-trace-select select:hover{border-color:#8499b9;background:#fafbfe}.case-trace-select select:focus-visible{outline:3px solid #96acf7;outline-offset:3px;border-color:#2e5bea}@media(max-width:650px){.case-controls .case-trace-select{width:100%;justify-content:space-between}.case-trace-select .filter-select{flex:1;max-width:260px;min-width:0}.case-controls{gap:16px}}.traversal-sampler{display:flex;align-items:center;gap:12px;margin-left:auto;min-width:0}.traversal-sampler .filter-select{width:180px}@font-face{font-family:Space Grotesk;src:url(./fonts/space-grotesk-latin.woff2) format("woff2");font-style:normal;font-weight:300 700;font-display:swap}:root{font-size:16px;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;--page-accent:#2e5bea;--page-ink:#192333;--page-muted:#535f70;--ink:#253247;--muted:#5b697c;--line:#dfe5ee;--bg:#f5f7fb;--heading-font:"Space Grotesk",-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}body{color:var(--page-ink);line-height:1.5;-webkit-font-smoothing:antialiased}h1,h2,h3,h4{font-family:var(--heading-font)}.paper-hero{padding:64px 28px 50px;background:#fff;border-bottom:0}.paper-hero-content{max-width:1160px}.paper-intro h1{max-width:1120px;font-size:clamp(2.1rem,4vw,3.4rem);font-weight:650;line-height:1.13;letter-spacing:-.055em;margin-bottom:30px}.title-accent{color:var(--page-accent);background:none;-webkit-text-fill-color:currentColor}.paper-authors{font-size:1.18rem;gap:9px 30px;font-weight:550}.paper-affiliations{font-size:.9375rem;max-width:1050px;gap:8px 25px;margin-top:18px;line-height:1.7;color:#465268}.paper-emails{font-size:.875rem;gap:6px 28px;margin-top:10px}.paper-emails a{color:#526179}.paper-links{margin-top:28px;gap:12px}.paper-links .paper-button{min-height:47px;font-size:.9375rem;font-weight:600;padding:0 23px;white-space:nowrap;box-shadow:none;transition:transform .16s ease,background .16s ease}.paper-links .paper-button:hover{transform:translateY(-2px);box-shadow:none}.paper-links .paper-button:active{transform:translateY(0) scale(.98)}.paper-abstract{max-width:860px;padding:40px 28px 64px;border-top:1px solid var(--line)}.paper-abstract h2,.experiments-header h2{font-size:2.1rem;font-weight:600;letter-spacing:-.04em;line-height:1.25}.paper-abstract h2{margin-bottom:25px}.paper-abstract p{font-size:1.0625rem;line-height:1.85;color:#3f4b5e}.abstract-summary strong{font-weight:600;color:var(--page-ink)}.full-abstract{margin-top:20px;border-top:1px solid var(--line);padding-top:8px}.full-abstract summary{width:fit-content;min-height:44px;padding:9px 0;font-size:.9375rem;font-weight:600;line-height:1.7;color:var(--page-accent);cursor:pointer}.full-abstract summary:hover{color:#2348b8}.full-abstract summary:focus-visible{outline:3px solid #96acf7;outline-offset:4px;border-radius:4px}.full-abstract p{margin-top:13px}.full-abstract .abstract-hide,.full-abstract[open] .abstract-show{display:none}.full-abstract[open] .abstract-hide{display:inline}.experiments-section{padding:64px 28px 72px;border-color:var(--line)}.experiments-container{max-width:1160px}.experiments-header{max-width:720px;margin-bottom:38px}.experiments-header>p{font-size:.9375rem;margin-top:15px;font-weight:600}.experiments-header .experiment-context{font-size:1.0625rem;line-height:1.7;margin-top:14px}.experiment-highlights{grid-template-columns:1.25fr 1fr 1fr;padding:30px 0;margin:38px 0 54px;border-color:var(--line)}.experiment-highlights>div{padding:0 28px;border-color:var(--line)}.experiment-highlights>div:first-child{padding-left:0}.experiment-highlights>div:last-child{padding-right:0}.experiment-highlights strong{font-family:var(--heading-font);font-size:3.2rem;font-weight:550;letter-spacing:-.065em;color:var(--page-ink)}.experiment-highlights>div:first-child strong{color:var(--page-accent)}.experiment-highlights h3{font-size:1.05rem;font-weight:650;margin:12px 0 8px}.experiment-highlights p{font-size:.9375rem;line-height:1.7;max-width:30ch}.experiment-heading{gap:28px;margin-bottom:24px}.experiment-heading h3{font-size:1.6rem;font-weight:600;letter-spacing:-.04em}.experiment-heading p{font-size:1rem;line-height:1.75;max-width:68ch;margin-top:12px}.experiment-toggle{font-size:.875rem;min-height:40px}.experiment-legend{font-size:.875rem;gap:10px 26px;margin-bottom:23px;color:#49566a}.experiment-grid{gap:28px}.experiment-chart{background:transparent;border:0;border-radius:0;padding:10px 0 0}.experiment-chart h4{font-size:1.0625rem;font-weight:600;letter-spacing:-.025em}.chart-setting{font-size:.875rem;color:#58667b;margin:7px 0 15px}.experiment-chart figcaption{font-size:.875rem;color:#44546c;border-color:var(--line);padding-top:14px}.timing-plots{grid-template-columns:repeat(2,minmax(0,1fr))}.timing-plots .experiment-chart{display:block}.timing-plots .experiment-chart:first-child{grid-column:1/-1;display:grid;grid-template-columns:minmax(230px,.8fr) minmax(0,1.8fr);column-gap:32px;align-content:start;padding:27px 25px 24px;border-radius:12px;background:#f3f6fd}.timing-plots .experiment-chart:first-child h4{font-size:1.25rem;margin-top:12px}.timing-plots .experiment-chart:first-child .chart-canvas{grid-column:2;grid-row:1/5}.timing-plots .experiment-chart:first-child .chart-setting{margin-bottom:8px}.timing-plots .experiment-chart:first-child figcaption{margin:8px 0 0}.timing-plots .experiment-chart:not(:first-child){padding-top:13px}.timing-plots .experiment-chart:last-child,.budget-plots .experiment-chart:last-child,.certainty-plots .experiment-chart:last-child{border-left:1px solid var(--line);padding-left:28px}.experiment-block+.experiment-block{padding-top:42px;margin-top:50px;border-color:var(--line)}.experiment-note{font-size:.875rem;line-height:1.8;color:#57657b;margin-top:22px}.experiment-select{font-size:.875rem;min-width:150px}.experiment-select select{font-size:.9375rem;min-height:42px;border-color:#cbd4e2;background:#fff;color:var(--page-ink)}.experiment-values{border-radius:8px;border-color:var(--line)}.experiment-values summary{font-size:.9375rem;min-height:48px;background:#f8faff;color:#3c4e68}.experiment-values summary:hover{background:#eff4fd}.experiment-values th,.experiment-values td,.experiment-values caption{font-size:.875rem}.certainty-summary{font-size:.875rem;margin:14px 0 20px;gap:8px 17px}.certainty-summary b{color:#26384f}.explorer-section{padding:52px 4.2% 0;background:#f5f7fb;border-color:var(--line)}.explorer-container{max-width:1280px}.intro h2{font-weight:600;font-size:clamp(1.65rem,2.8vw,2.2rem);letter-spacing:-.045em;margin:0 0 12px;line-height:1.25}.intro p{font-size:1rem;color:#54647a;line-height:1.65}.panel{border-color:var(--line);border-radius:12px;box-shadow:none}.workspace{grid-template-columns:260px minmax(0,1fr)}.panel-heading h2{font-size:1.125rem;font-weight:600}.controls{padding:23px 20px}.controls label,.field-label,.range-label,.seed-row{font-size:.875rem;color:#3e4d62}.controls select,.seed-row input{font-size:.875rem;border-color:#cbd4e2;min-height:41px;border-radius:8px;color:#3d4d66}.seed-row input{width:95px}.range-label output{font-size:.8125rem;color:#305188;border-color:#d5deed}.range-endpoints{font-size:.75rem;color:#647389}.field-hint,.field-hint strong,.switch-row small,.control-note p{font-size:.8125rem;line-height:1.65;color:#5a6980}.control-note{background:#f1f5fc;border-radius:8px;padding:12px}.controls .separator{margin:22px 0}.switch-row{gap:10px}.tree-heading{padding:23px 24px 18px}.tree-heading h2{font-size:1.15rem;font-weight:600}.muted{font-size:.75rem;color:#62738c;letter-spacing:.085em}.tree-actions .count-badge{font-size:.75rem;color:#5d6c81}.icon-button,.small-button{height:32px;min-width:32px;border-radius:8px;color:#415574;border-color:#cdd6e4}.small-button{font-size:.8125rem;padding:0 10px}.rule-tabs{background:#eef2f8;border-color:#e4eaf3;border-radius:8px}.rule-tab{font-size:.8125rem;padding:11px 12px;color:#566982;border-radius:6px;min-height:40px}.rule-tab[aria-selected=true]{color:#2d4e86;border-color:#d9e2f0;box-shadow:none}.tree-legend{font-size:.75rem;color:#5d6d83;gap:10px 15px;line-height:1.7}.legend-directions{font-size:.75rem}.node-inspector{font-size:.8125rem;line-height:1.65;color:#586b84;padding:12px 23px}.node-inspector .inspector-key{color:#667790}.node-inspector strong{color:#3e506b}.node-inspector .node-status{color:#815c1d}.metrics{padding:23px 0}.metric{padding:0 20px}.metric-name{font-size:.8125rem;color:#5d6b82;white-space:normal;line-height:1.45}.metric-value{font-family:var(--heading-font);font-size:2rem;font-weight:500;letter-spacing:-.055em;margin-top:10px}.metric-sub{font-size:.75rem;color:#617188;line-height:1.65}.comparison-heading h2{font-size:1.4rem;font-weight:600;letter-spacing:-.035em}.comparison-heading p{font-size:.875rem;line-height:1.7;color:#5e6f86;max-width:62ch;margin-top:10px}.comparison-heading .count-badge{font-size:.75rem;color:#60718a}.comparison th{font-size:.8125rem;color:#5c6d85;white-space:normal;line-height:1.5}.comparison td,.rule-select{font-size:.875rem;color:#475b77}.comparison .effective-number small{font-size:.75rem;color:#65748a}.comparison .progress-track{width:54px}.trace-row strong{font-size:.875rem;color:#4e6079}.trace-row>div>span{font-size:.75rem;color:#5e6f85}.trace-chip{font-size:.8125rem;height:32px;min-width:32px}.method{border-radius:12px;border-color:var(--line)}.method summary{font-size:.9375rem;color:#425976;min-height:52px}.method-content h3{font-size:1rem;color:#364c6d;font-weight:600}.method-content p{font-size:.875rem;line-height:1.8;color:#52657f}.method-content p strong{color:#354d70}.button.primary{font-size:.875rem;min-height:44px;border-radius:8px}.text-button{font-size:.8125rem;color:#506889;min-height:32px}.citation-section{margin-top:42px;padding:32px;border-radius:12px;border-color:var(--line)}.citation-section h2{font-size:1.9rem;font-weight:600;letter-spacing:-.04em}.citation-note{font-size:.9375rem;color:#54647a}.citation-section pre{font-size:.875rem;line-height:1.9;padding:23px;background:#f5f7fb;border-color:var(--line)}footer{font-size:.8125rem;line-height:1.7;color:#586b85;padding:28px 2px}button:not(:disabled):active{transform:translateY(1px)}@media(max-width:1100px){.workspace{grid-template-columns:240px minmax(0,1fr);gap:17px}.controls{padding:20px 17px}.metric{padding:0 15px}.metrics{grid-template-columns:1fr 1fr;gap:23px 0}.metric:nth-child(2){border-right:0}.metric-name,.rule-tab{font-size:.8125rem}.tree-heading{padding:22px 18px 18px}.node-inspector{padding:12px 18px}.experiment-highlights>div{padding:0 23px}}@media(max-width:767px){.paper-hero{padding:39px 22px 33px}.paper-intro h1{font-size:clamp(1.85rem,7.4vw,2.6rem);line-height:1.17;letter-spacing:-.045em;margin-bottom:24px}.paper-authors{font-size:1.0625rem;gap:6px 20px}.paper-affiliations{font-size:.875rem;margin-top:18px;gap:6px}.paper-emails{font-size:.875rem;gap:5px 19px;margin-top:13px}.paper-links{margin-top:24px}.paper-links .paper-button{font-size:.9375rem;min-height:46px;padding:0 23px}.paper-abstract{padding:32px 22px 42px;margin:0 20px}.paper-abstract h2,.experiments-header h2{font-size:1.8rem}.paper-abstract p{font-size:1rem;line-height:1.85}.experiments-section{padding:42px 22px 46px}.experiments-header{margin-bottom:28px}.experiments-header .experiment-context{font-size:1rem}.experiment-highlights{grid-template-columns:1fr;gap:0;padding:0;margin:28px 0 35px}.experiment-highlights>div,.experiment-highlights>div:first-child,.experiment-highlights>div:last-child{padding:22px 0;border-right:0}.experiment-highlights strong{font-size:2.9rem}.experiment-highlights p{max-width:38ch}.experiment-heading{gap:16px}.experiment-heading h3{font-size:1.4rem}.experiment-heading p{font-size:.9375rem}.experiment-grid{grid-template-columns:1fr;gap:25px}.timing-plots .experiment-chart:first-child{display:block;padding:19px 14px 17px;margin:0 -8px}.timing-plots .experiment-chart:first-child h4{font-size:1.125rem;margin-top:0}.timing-plots .experiment-chart:first-child figcaption{margin-top:12px}.timing-plots .experiment-chart:last-child,.budget-plots .experiment-chart:last-child,.certainty-plots .experiment-chart:last-child{padding-left:0;border-left:0;border-top:1px solid var(--line);padding-top:25px}.experiment-block+.experiment-block{margin-top:35px;padding-top:32px}.chart-setting{margin-bottom:14px}.experiment-select{min-width:0}.experiment-note{font-size:.875rem}.experiment-legend{font-size:.8125rem;gap:10px 18px}.explorer-section{padding:36px 18px 0}.intro h2{font-size:1.75rem}.workspace{grid-template-columns:1fr}.controls{padding:20px;column-gap:22px}.controls .switch-row,.controls .seed-row{margin-top:18px}.tree-heading h2{font-size:1.0625rem}.tree-actions{gap:5px}.rule-tab{flex:1;padding:10px 7px;font-size:.8125rem}.tree-legend{font-size:.75rem;gap:8px 14px;padding:13px 16px}.node-inspector{font-size:.8125rem;padding:12px 16px}.metrics{grid-template-columns:1fr 1fr}.metric-value{font-size:1.9rem}.metric-name{font-size:.8125rem}.comparison-heading p{font-size:.875rem;max-width:none}.comparison th,.comparison td{padding:14px 16px}.comparison .table-scroll table{min-width:700px}.trace{flex-wrap:wrap;gap:6px}.trace-row{gap:15px}.trace-chip{min-width:30px;height:30px}.method summary{font-size:.875rem;padding:17px}.citation-section{padding:24px 18px;margin-top:30px}.citation-section h2{font-size:1.7rem}.citation-section pre{font-size:.8125rem;padding:18px}.citation-note{font-size:.875rem}footer{font-size:.8125rem}}@media(prefers-reduced-motion:reduce){.paper-links .paper-button:hover,.paper-links .paper-button:active,button:not(:disabled):active{transform:none}}.paper-goal{max-width:1040px}.paper-goal .goal-lead{text-align:center;font-size:1.0625rem}.goal-equation{overflow-x:auto;padding:25px 0 22px;color:var(--page-ink)}.goal-equation math{font-size:1.5rem}.paper-goal .goal-definition{font-size:.9375rem;line-height:1.75;color:var(--page-muted);max-width:none;width:100%;margin:0 auto}.goal-methods{margin-top:30px;display:grid;grid-template-columns:1fr 1fr;gap:28px}.goal-methods>div{border-top:2px solid #d1d8e4;padding-top:18px}.goal-methods>div:last-child{border-color:var(--page-accent)}.goal-methods h3{font-size:1.125rem;font-weight:600;letter-spacing:-.025em;margin-bottom:10px}.paper-goal .goal-methods p{font-size:1rem;line-height:1.8}@media(max-width:767px){.paper-goal{margin:0 20px;padding-left:2px;padding-right:2px}.goal-equation math{font-size:1.18rem}.goal-methods{grid-template-columns:1fr;gap:24px}}.explorer-section{padding:52px 0 0;margin:56px 0 60px;background:#fff;border-top:1px solid var(--line);scroll-margin-top:24px}.explorer-container{max-width:none}.explorer-section .intro{display:block;margin-bottom:28px}.explorer-section .intro h2{font-size:clamp(1.7rem,3vw,2.3rem);max-width:28ch;letter-spacing:-.045em}.explorer-section .intro p{font-size:1rem;margin-top:10px}.explorer-section #resample{margin-top:20px;background:var(--page-accent);border-color:var(--page-accent);box-shadow:none;padding:0 20px}.explorer-section #resample:hover{background:#244bc6}.explorer-section .workspace{gap:0;grid-template-columns:244px minmax(0,1fr);border:1px solid var(--line);border-radius:12px;overflow:hidden;align-items:stretch}.explorer-section .workspace>.panel{border:0;border-radius:0;box-shadow:none}.explorer-section .controls{padding:24px 20px;background:#f7f9fc;border-right:1px solid var(--line)}.explorer-section .controls .separator{margin:18px 0}.explorer-section .controls .control-note{padding:12px 0 0;background:none;border-radius:0;border-top:1px solid var(--line)}.explorer-section .control-note>span{display:none}.explorer-section .control-note p br{display:none}.explorer-section .tree-heading{padding:24px 24px 18px;gap:12px}.explorer-section .tree-heading h2{font-size:1.1rem}.explorer-section .tree-actions{gap:6px}.explorer-section .icon-button,.explorer-section .small-button{min-height:36px;min-width:36px;background:#fff}.explorer-section .rule-tabs{margin:0 24px;border:0;background:#edf1f7;padding:4px}.explorer-section .rule-tab{min-height:42px;font-size:.875rem}.explorer-section .rule-tab[aria-selected=true]{color:#244bbf;background:#fff;border-color:#fff}.explorer-section .tree-scroll{background:#fff;min-height:365px}.explorer-section .tree-legend{padding:14px 24px;border-top:1px solid #edf0f5;gap:8px 18px}.explorer-section .node-inspector{background:#f7f9fc;padding:14px 24px;min-height:64px}.explorer-section .metrics{padding:24px 0;gap:24px 0}.explorer-section .metric-value{font-size:2.1rem}.explorer-section .comparison{margin-top:28px;border:0;border-radius:0;background:#fff}.explorer-section .comparison-heading{padding:0 0 20px}.explorer-section .comparison-heading h2{font-size:1.4rem}.explorer-section .comparison-heading p{margin-top:8px}.explorer-section .comparison th{background:#f7f9fc;color:#495b72}.explorer-section .comparison td{padding-top:18px;padding-bottom:18px}.explorer-section .progress-track{display:none}.explorer-section .trace-row{padding:20px 0;background:#fff}.explorer-section .method{margin-top:4px;border-width:1px 0;border-radius:0}.explorer-section .method summary{padding-left:0;padding-right:0}.explorer-section .method-content{padding-left:0;padding-right:0}.explorer-section+article{padding-top:42px;border-top:1px solid var(--line)}.paper-ending{max-width:1160px;margin:0 auto;padding:0 28px}.explorer-section :is(button,select,input,summary):focus-visible{outline:3px solid #96acf7;outline-offset:3px}@media(max-width:900px){.explorer-section .workspace{grid-template-columns:220px minmax(0,1fr)}.explorer-section .controls{padding:22px 16px}.explorer-section .tree-heading{padding:22px 16px 16px}.explorer-section .rule-tabs{margin:0 16px}.explorer-section .rule-tab{font-size:.8125rem}.explorer-section .metrics{grid-template-columns:1fr 1fr}}@media(max-width:767px){.explorer-section{margin:40px 0;padding:34px 0 0}.explorer-section .intro h2{font-size:1.8rem}.explorer-section .workspace{display:flex;flex-direction:column}.explorer-section .controls{order:2;display:block;border-right:0;border-top:1px solid var(--line);padding:22px}.explorer-section .tree-panel{order:1}.explorer-section .tree-scroll{min-height:340px}.explorer-section .tree-heading{flex-wrap:wrap}.explorer-section .tree-legend,.explorer-section .node-inspector{padding:14px 16px}.explorer-section .tree-actions{margin-left:auto}.explorer-section .rule-tabs{margin:0 12px}.explorer-section .rule-tab{padding:10px 5px}.explorer-section .metric{padding:0 16px}.explorer-section .comparison{margin-top:28px}.paper-ending{padding:0 22px}}.paper-button svg.brand-icon{fill:currentColor;stroke:none}.advanced-controls{grid-column:1/-1;font-size:.875rem;color:#40516a}.advanced-controls>summary{padding:6px 0;min-height:36px;font-weight:550;cursor:pointer}.advanced-controls-body{padding-top:18px}.explorer-section .controls .separator:has(+.advanced-controls){margin-bottom:10px}.explorer-section .intro #resample{margin-top:14px}@media(min-width:768px){.paper-hero-content{max-width:1320px}.paper-intro h1{max-width:none;font-size:clamp(20px,2.6vw,36px);letter-spacing:-.045em;line-height:1.2;white-space:nowrap;text-wrap:nowrap}}.goal-animation{margin:32px 0 0}.goal-animation a{display:block;border-radius:8px}.goal-animation img{display:block;width:100%;height:auto;border-radius:8px}.goal-methods{grid-template-columns:minmax(0,1fr);gap:32px}.goal-methods>div{min-width:0}.goal-methods .goal-animation{margin-top:22px}.goal-method-tabs{display:flex;width:fit-content;gap:4px;padding:4px;margin:30px auto 0;border:1px solid #dfe5ee;border-radius:10px;background:#edf1f7}.goal-method-tabs button{min-width:130px;min-height:44px;padding:10px 24px;border:1px solid transparent;border-radius:7px;background:transparent;color:#53647c;font:600 .9375rem/1.4 var(--heading-font);cursor:pointer}.goal-method-tabs button[aria-selected=true]{background:#fff;border-color:#d9e2f0;color:#244bbf}.goal-method-tabs button:hover{background:#f8faff}.goal-method-tabs button:focus-visible{outline:3px solid #96acf7;outline-offset:3px}.paper-goal .goal-methods{display:block;max-width:none;width:100%;margin:26px auto 0}.paper-goal .goal-methods .goal-animation{max-width:884px;margin-left:auto;margin-right:auto}.paper-goal #method-panel-presto .goal-animation{max-width:none;width:100%}.paper-goal .goal-methods>div{border:0;padding-top:0}.goal-methods [role=tabpanel]:focus-visible{outline:3px solid #96acf7;outline-offset:8px;border-radius:4px}@media(max-width:480px){.goal-method-tabs{width:100%}.goal-method-tabs button{min-width:0;flex:1;padding-inline:14px}}.presto-steps{list-style:none;padding:0;margin:0;display:grid;gap:6px;font-size:1rem;line-height:1.8;color:var(--page-muted)}.presto-steps strong{color:var(--page-ink,#192333);font-weight:600}#experiments-title{border-bottom:1px solid var(--line,#dce3ed)}#presto-animation{width:100%;aspect-ratio:1440/620;display:grid;place-items:center;overflow:hidden;background:#fff;border-radius:8px}#presto-animation canvas{display:block;width:100%;height:auto}.experiments-title{font-size:2.1rem;font-weight:600;letter-spacing:-.04em;line-height:1.25;text-align:center;margin:0 0 26px}.quality-grid{margin-top:25px}.quality-grid .case-model-label{font-size:10px;fill:#60718b}.quality-grid .case-p-value{font-size:10px;fill:#3f4b5e}.quality-grid figure[hidden]{display:none}.explorer-section .preset-select{width:100%;margin-top:8px}.explorer-section .preset-select select{appearance:none;-webkit-appearance:none;display:block;box-sizing:border-box;width:100%;height:46px;margin:0;padding:0 40px 0 14px;border:1px solid #bdc9db;border-radius:8px;background:#fff;color:#192333;font:inherit;font-size:.875rem;cursor:pointer}.explorer-section .preset-select select:hover{border-color:#8499b9;background:#fafbfe}.explorer-section .preset-select select:focus-visible{outline:3px solid #96acf7;outline-offset:3px;border-color:#2e5bea}@media(min-width:901px){.explorer-section .workspace{grid-template-columns:280px minmax(0,1fr)}}@media(min-width:768px)and (max-width:900px){.explorer-section .workspace{grid-template-columns:260px minmax(0,1fr)}}main>#tree-explorer{padding:52px 28px 60px;margin:0;border-bottom:1px solid var(--line)}main>#tree-explorer>.explorer-container{max-width:1160px;margin:0 auto}@media(max-width:767px){main>#tree-explorer{padding:34px 22px 40px}}#tree-explorer .intro h2{text-align:center;max-width:none;width:100%}.explorer-section .tree-actions #resample{margin-top:0;min-height:32px;padding:0 14px;font-size:.8125rem}.tree-count-row{padding:10px 22px 0;text-align:right}#tree-explorer .workspace{border:0;border-radius:0;background:transparent;box-shadow:none}#tree-explorer :is(.explorer-container,.workspace>.panel,.controls,.tree-scroll,.node-inspector,.metrics){background:transparent;box-shadow:none}#tree-explorer .controls{border-right:0}#tree-explorer .legend-node{border-radius:3px}.paper-source-control{display:flex;align-items:center;justify-content:center;gap:12px;margin:0 0 30px;font-size:14px}.paper-source-control .filter-select{width:280px}#tree-workspace[data-source=paper] #simulation-tree-controls,#tree-workspace[data-source=paper] #simulation-tree-view,#tree-workspace[data-source=simulation] #paper-tree-controls,#tree-workspace[data-source=simulation] #paper-tree-view{display:none}.paper-run-note,.paper-tree-caption{font-size:13px;color:#586b8e;line-height:1.7;margin:20px 0}.paper-tree-scroll{overflow:auto;margin:14px 0 24px}#paper-tree-svg{display:block;width:100%;min-width:600px;height:auto}.paper-node{cursor:pointer}.paper-node:focus{outline:none}.paper-node:focus rect{stroke:#234dd7;stroke-width:2.5}#tree-explorer .legend-node.paper-rounded{background:#fcb827;border-color:#dca64d}@media(max-width:640px){.paper-source-control{flex-wrap:wrap}#paper-tree-view .tree-heading{flex-wrap:wrap;gap:12px}}.paper-source-control select{appearance:none;padding-right:36px;width:100%}.paper-tree-scroll{overflow:hidden;position:relative}#paper-tree-svg{width:100%;min-width:0;height:500px;touch-action:none;cursor:grab}#paper-tree-svg:active{cursor:grabbing}.paper-tree-hint{font-size:12px;color:#78869b;margin:12px 0 0}#paper-tree-view .tree-actions{flex-wrap:wrap;justify-content:flex-end}#paper-tree-view .tree-heading{gap:12px}#tree-explorer #paper-node-inspector{position:absolute;z-index:2;display:flex;flex-direction:column;align-items:flex-start;gap:5px;max-width:190px;min-height:0;padding:12px 14px;background:#fff;border:1px solid #dce3ed;border-radius:8px;box-shadow:0 4px 16px #24344e14;font-size:12px;pointer-events:none}.paper-prompt-text{margin-top:16px;display:block;width:100%;height:260px;resize:vertical;padding:12px;border:1px solid #dce3ed;border-radius:6px;background:#fff;color:#3e506b;font:inherit;font-size:13px;line-height:1.65;overflow:auto;white-space:pre-wrap}.paper-prompt-text:focus-visible{outline:2px solid #98aed6;outline-offset:2px}#powermh-animation{width:100%;aspect-ratio:1440/410;display:grid;place-items:center;overflow:hidden;background:#fff;border-radius:8px}#powermh-animation canvas{display:block;width:100%;height:auto}.paper-goal .goal-tldr{font-size:1.125rem;line-height:1.65;font-weight:600;color:#244bbf;margin:18px 0 0;padding:14px 18px;background:#eef3ff;border-radius:6px;text-align:center}.paper-goal .goal-tldr strong{color:var(--page-ink)}.certainty-figure{margin:28px 0 24px}.certainty-figure>h4{font-size:20px;margin:0 0 8px}.certainty-figure .chart-setting{margin:0 0 18px}.certainty-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:24px 18px;margin:20px 0 12px}.certainty-panel{position:relative;margin:0;min-width:0}.certainty-panel>figcaption{text-align:center;font-size:15px;font-weight:600;color:#182233;margin-bottom:6px}.certainty-panel svg{display:block;width:100%;overflow:visible}.certainty-panel svg text{fill:#536078;font:13px Arial,sans-serif}.certainty-panel svg .certainty-share{font-weight:700;font-size:16px}.certainty-panel svg .certainty-share-0{fill:#06c}.certainty-panel svg .certainty-share-1{fill:#bd3030}.certainty-panel svg .certainty-share-2{fill:#936300}.certainty-panel svg .certainty-axis{font-size:12px}.certainty-panel .case-tooltip{bottom:38px;max-width:280px;left:0;right:0;font-size:13px;z-index:5}.certainty-legend{display:flex;gap:12px 26px;flex-wrap:wrap;font-size:14px;color:#42516b}.certainty-legend span{display:inline-flex;align-items:center;gap:8px}.certainty-legend i{display:inline-block;width:18px;height:16px;border:1px solid var(--certainty-color);background:repeating-linear-gradient(135deg,transparent 0 3px,var(--certainty-color) 3px 4px,transparent 4px 6px)}.certainty-legend .certainty-swatch-1{background:repeating-linear-gradient(45deg,transparent 0 3px,var(--certainty-color) 3px 4px,transparent 4px 6px)}.certainty-caption{font-size:15px;line-height:1.7;color:#42516b;margin:18px 0}.certainty-caption a{color:#2e5bea;text-underline-offset:3px}.certainty-appendix{margin:28px 0 42px;border-top:1px solid #dce3ee}.certainty-appendix>h4{font-size:18px;margin:24px 0 14px}.certainty-appendix details{border-bottom:1px solid #dce3ee;padding:16px 0}.certainty-appendix summary{font-size:16px;font-weight:600;cursor:pointer;min-height:24px;color:#182233}.certainty-appendix summary:focus-visible{outline:2px solid #2e5bea;outline-offset:6px}.certainty-appendix details[open]>summary{margin-bottom:26px}.certainty-appendix h5{font-size:18px;color:#182233;margin:36px 0 14px}.certainty-appendix .certainty-caption{margin-bottom:0}.case4-traversal-heading{padding-top:24px;border-top:1px solid #dce3ee}.case4-traversal-heading h4{font-size:20px;margin:0 0 8px}@media(max-width:900px){.certainty-grid{grid-template-columns:repeat(3,minmax(0,1fr))}}@media(max-width:680px){.certainty-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:22px 12px}.certainty-legend{gap:10px}}@media(max-width:460px){.certainty-grid{grid-template-columns:minmax(0,1fr);max-width:340px;margin-left:auto;margin-right:auto}.certainty-panel>figcaption{font-size:16px}.certainty-panel svg text{font-size:14px}}.certainty-compact .certainty-grid{grid-template-columns:repeat(7,minmax(0,1fr));gap:12px;margin-top:12px;max-width:none}.certainty-compact .certainty-panel>figcaption{font-size:14px}.certainty-compact .certainty-panel svg text{font-size:20px}.certainty-compact .certainty-panel svg .certainty-share{font-size:24px}.certainty-compact .certainty-axis{display:none}.certainty-shared-axis{font-size:13px;color:#536078;margin:18px 0 0}.certainty-shared-axis-x{text-align:center;margin:0 0 12px}@media(max-width:1000px){.certainty-compact{overflow-x:auto;padding-bottom:8px}.certainty-compact .certainty-grid,.certainty-compact .certainty-shared-axis-x{min-width:980px}}.certainty-model-controls{display:flex;align-items:center;gap:12px;margin:0 0 20px}.certainty-model-controls label{font-size:14px;font-weight:550;color:#40516a;white-space:nowrap}.certainty-model-controls select{width:220px;max-width:100%;height:44px;margin:0;padding:0 12px;border:1px solid #bdc9db;border-radius:8px;background:#fff;color:#192333;font:inherit;font-size:15px;cursor:pointer}.certainty-model-controls select:focus-visible{outline:3px solid #96acf7;outline-offset:3px}.certainty-picker-row{flex-wrap:wrap;gap:16px 24px;margin:20px 0}.certainty-picker-field{display:flex;align-items:center;gap:12px;min-width:0}.certainty-picker-field #certainty-method{width:100%}@media(max-width:600px){.certainty-picker-field{width:100%}.certainty-picker-field select{flex:1;min-width:0}.certainty-picker-field label{width:78px}}.certainty-picker-field .filter-select{width:210px;flex:0 0 210px}.certainty-picker-field select{appearance:none;-webkit-appearance:none;display:block;box-sizing:border-box;width:100%;height:46px;min-height:46px;padding:0 42px 0 14px;border-radius:8px;font:400 1rem/1.4 -apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;box-shadow:none}.certainty-picker-field select:hover{border-color:#8499b9;background:#fafbfe}@media(max-width:600px){.certainty-picker-field .filter-select{flex:1;width:auto;min-width:0}}.certainty-picker-row{justify-content:flex-end}.certainty-epsilon-control{display:grid;grid-template-columns:auto 64px minmax(180px,420px);align-items:center;justify-content:end;gap:12px 20px;margin:22px 0 12px;color:#40516a;font-size:14px}.certainty-epsilon-control output{color:#2e5bea;font-weight:650;font-variant-numeric:tabular-nums}.certainty-epsilon-track input{display:block;width:100%;height:6px;margin:12px 0;appearance:none;border-radius:6px;background:linear-gradient(to right,#2e5bea 0 var(--progress),#e2e7f0 var(--progress) 100%);cursor:pointer}.certainty-epsilon-track input::-webkit-slider-thumb{appearance:none;width:18px;height:18px;border-radius:50%;background:#2e5bea}.certainty-epsilon-track input::-moz-range-thumb{width:18px;height:18px;border:0;border-radius:50%;background:#2e5bea}.certainty-epsilon-track input:focus-visible{outline:3px solid #96acf7;outline-offset:7px}.certainty-epsilon-ticks{display:flex;justify-content:space-between;font-size:12px;color:#687892}.certainty-epsilon-note{font-size:13px;line-height:1.6;color:#536078;margin:16px 0 24px}@media(max-width:600px){.certainty-epsilon-control{grid-template-columns:1fr auto;justify-content:stretch}.certainty-epsilon-track{grid-column:1/-1}}.certainty-picker-row{gap:18px 24px;margin-bottom:30px}.certainty-picker-field .filter-select{width:210px;flex-basis:210px}.certainty-picker-row .certainty-epsilon-control{flex:1 1 350px;max-width:420px;grid-template-columns:auto 42px minmax(140px,1fr);gap:10px;margin:0;min-height:46px}.certainty-epsilon-track{position:relative}.certainty-epsilon-ticks{position:absolute;top:24px;left:0;right:0}@media(max-width:600px){.certainty-picker-row .certainty-epsilon-control{flex-basis:100%;max-width:none;grid-template-columns:1fr auto}.certainty-epsilon-track{grid-column:1/-1}.certainty-picker-row{margin-bottom:38px}.certainty-picker-field .filter-select{flex:1;width:auto;min-width:0}}.certainty-epsilon-track .certainty-epsilon-note{position:absolute;top:100%;right:0;width:360px;max-width:calc(100vw - 64px);box-sizing:border-box;margin:22px 0 0;padding:14px 16px;background:#fff;border:1px solid #dce3ee;border-radius:8px;box-shadow:0 8px 24px #19233314;font-size:13px;line-height:1.6;z-index:10;visibility:hidden;opacity:0;pointer-events:none;transition:opacity .15s ease}.certainty-epsilon-track:hover .certainty-epsilon-note{visibility:visible;opacity:1}:root{--page-ink:#18202d;--page-accent:#2e5bea;--page-muted:#546175;--line:#dfe4ec;--showcase-width:1280px;--showcase-ease:cubic-bezier(.16,1,.3,1)}html{scroll-padding-top:100px}body{background:#fff}::selection{background:#dce6ff;color:#18202d}a,button{touch-action:manipulation}.skip-link{position:fixed;top:10px;left:20px;z-index:6;padding:12px 20px;background:#18202d;color:#fff;transform:translateY(-150%);border-radius:6px}.skip-link:focus{transform:none}.site-header{position:sticky;top:0;z-index:4;display:grid;grid-template-columns:1fr auto 1fr;align-items:center;gap:24px;min-height:76px;padding:0 max(32px,calc((100vw - var(--showcase-width))/2));background:#fff;border-bottom:1px solid var(--line)}.site-brand{display:inline-flex;align-items:center;width:fit-content;text-decoration:none;color:var(--page-accent);font:650 24px/1 var(--heading-font);letter-spacing:-.06em}.site-nav{display:flex;gap:30px;align-items:center;min-height:76px}.site-nav a{position:relative;display:flex;align-items:center;min-height:44px;text-decoration:none;color:#5b6473;font-size:13px;font-weight:550}.site-nav a:after{content:"";position:absolute;bottom:4px;left:0;right:0;height:2px;background:var(--page-accent);transform:scaleX(0);transform-origin:left;transition:transform .3s var(--showcase-ease)}.site-nav a:hover,.site-nav a[aria-current]{color:var(--page-ink)}.site-nav a:hover:after,.site-nav a[aria-current]:after{transform:scaleX(1)}.motion-control{justify-self:end;border:0;background:none;font-size:12px;min-height:44px;padding:0;color:#526179;text-decoration:underline;text-underline-offset:4px}.paper-hero{padding:58px 32px 0;background:#fff}.paper-hero-content{max-width:var(--showcase-width);margin:0 auto}.hero-composition{display:grid;grid-template-columns:1.35fr 1fr;align-items:center;gap:34px;min-height:530px;text-align:left}.hero-copy{padding-bottom:38px;min-width:0}.paper-intro h1{max-width:none;white-space:normal;text-wrap:balance;margin:0;letter-spacing:-.05em;font-weight:550;line-height:1.15}.hero-wordmark{display:block;font-size:clamp(96px,12vw,178px);line-height:1.04;letter-spacing:-.082em;font-weight:650;padding-bottom:14px;color:var(--page-accent)}.hero-paper-title{display:block;font-size:clamp(24px,2.4vw,34px);line-height:1.23;letter-spacing:-.045em;max-width:24ch;margin:18px 0 26px}.hero-copy .paper-links{justify-content:flex-start;margin-top:26px;gap:10px}.paper-links .paper-button{min-height:50px;padding:0 26px;font-size:14px;border-radius:100px}.paper-links .paper-primary{background:var(--page-accent);border-color:var(--page-accent);color:#fff}.paper-links .paper-code{background:#18202d;border-color:#18202d;color:#fff}.hero-explore{display:inline-flex;align-items:center;gap:20px;min-height:44px;margin-top:12px;color:var(--page-ink);font-size:13px;font-weight:550;text-decoration:none}.hero-explore span{font-size:22px;transition:transform .25s var(--showcase-ease)}.hero-explore:hover span{transform:translate(3px,-3px)}.hero-tree{margin:0;min-width:0;padding:0 0 36px}.hero-tree-art{max-width:500px;margin:0 auto}.hero-tree svg{width:100%;height:auto;display:block;overflow:visible}.hero-edge{fill:none;stroke:#dbe1eb;stroke-width:1.3;stroke-linecap:round}.hero-edge.is-path{stroke:#2e5bea;stroke-width:2.8}.hero-node rect{fill:#fff;stroke:#ccd4df;stroke-width:1}.hero-node.is-rounded rect{fill:#edf2ff;stroke:#a9bde9}.hero-node.is-path rect{fill:#2e5bea;stroke:#2e5bea;stroke-width:1.5}.hero-node text{font:10px var(--heading-font);text-anchor:middle;fill:#67748a}.hero-node.is-path text{fill:#fff}.hero-node{transition:opacity .25s}.hero-node:hover rect{stroke:#2e5bea;stroke-width:2}.hero-tree figcaption{display:flex;justify-content:space-between;gap:12px;font-size:11px;color:#607086;border-top:1px solid var(--line);padding:16px 0;margin:4px 10px 0}.hero-tree figcaption a{color:var(--page-accent);text-decoration:none;white-space:nowrap}.hero-authorship{padding:26px 0 30px;border-top:1px solid var(--line);text-align:left}.paper-authors{justify-content:flex-start;font-size:15px;gap:12px 30px}.paper-authors a{text-decoration:none;color:var(--page-ink)}.paper-authors sup{color:var(--page-accent)}.paper-affiliations{justify-content:flex-start;font-size:12px;gap:12px 25px;max-width:none;margin-top:13px}.paper-emails{justify-content:flex-start;font-size:11px;gap:12px 26px;margin-top:8px}.paper-abstract.paper-goal{max-width:var(--showcase-width);margin:0 auto;padding:74px 32px 82px;border-top:1px solid var(--line)}.paper-goal h2{font-size:clamp(40px,5vw,64px);text-align:left;letter-spacing:-.06em;line-height:1.1;margin:0 0 35px}.paper-goal .goal-lead{font-size:17px;text-align:center;margin:0 0 20px}.goal-equation{padding:12px 0 30px}.goal-equation math{font-size:clamp(20px,2vw,27px)}.paper-goal .goal-definition{max-width:760px;margin:0 auto 28px;font-size:14px;line-height:1.9}.paper-goal .goal-tldr{max-width:920px;margin:26px auto 40px;padding:22px 28px;font-size:clamp(18px,1.7vw,22px);line-height:1.55;text-align:center;border-radius:6px;background:transparent;color:#2e5bea;border-left:0;font-weight:550}.paper-goal .goal-tldr strong{font-weight:700;color:#2e5bea}.goal-method-tabs{margin:0 auto 34px;border:0;border-radius:100px;background:#edf1f7;padding:5px;gap:4px}.goal-method-tabs button{border-radius:100px;min-width:145px;font-size:14px;min-height:46px}.goal-method-tabs button[aria-selected=true]{background:var(--page-accent);color:#fff;border-color:var(--page-accent)}.goal-method-tabs button[aria-selected=true]:hover{background:#244cc9}.paper-goal .goal-methods{margin-top:0}.goal-methods h3{font-size:20px;letter-spacing:-.03em;margin-bottom:22px}.presto-steps{grid-template-columns:repeat(3,minmax(0,1fr));gap:28px;margin:0 0 30px;font-size:14px;line-height:1.8}.presto-steps li{border-top:1px solid #d7dfea;padding-top:18px}.presto-steps strong{display:block;font-size:13px;margin-bottom:8px;color:var(--page-accent)}#method-panel-powermh .presto-steps{grid-template-columns:repeat(2,minmax(0,1fr))}.paper-goal .goal-methods .goal-animation{margin-top:26px}main>#tree-explorer{padding:82px 32px 86px;border-top:1px solid var(--line)}main>#tree-explorer>.explorer-container{max-width:var(--showcase-width)}#tree-explorer .intro{margin-bottom:40px}#tree-explorer .intro h2{font-size:clamp(36px,4.4vw,60px);text-align:left;letter-spacing:-.055em}#tree-explorer .workspace{grid-template-columns:265px minmax(0,1fr);gap:28px;overflow:visible}#tree-explorer .controls{padding:20px 0 0}#tree-explorer .panel-heading h2{font-size:15px;font-weight:600}#tree-explorer .tree-heading{padding:12px 0 20px;border-bottom:1px solid var(--line)}#tree-explorer .tree-heading h2{font-size:16px}.paper-tree-scroll{margin-top:24px}.paper-prompt-text{border-color:#d5dce8;background:#fafbfe;font-size:12px;line-height:1.75;padding:16px;height:270px;resize:vertical}.field-label{font-size:12px}.paper-run-note{font-size:12px;color:#53647c}#tree-explorer .preset-select select{height:46px;border-radius:6px;font-size:13px}#tree-explorer .small-button,#tree-explorer .icon-button{border-radius:6px;font-size:12px;min-height:40px}#tree-explorer .tree-legend{padding:20px 0;font-size:11px}.experiments-section{padding:86px 32px 96px}.experiments-container{max-width:var(--showcase-width)}.experiments-title{font-size:clamp(40px,5vw,64px);letter-spacing:-.06em;text-align:left;margin-bottom:32px}.experiment-nav{justify-content:flex-start;gap:32px;padding:20px 0;margin-bottom:52px;font-size:13px;flex-wrap:wrap}.experiment-nav a{min-height:30px;display:inline-flex;align-items:center}.experiment-heading h3{font-size:clamp(25px,3vw,36px);letter-spacing:-.045em}.experiment-heading p{max-width:80ch;font-size:15px;line-height:1.8}.experiment-block+.experiment-block{margin-top:64px;padding-top:60px}.experiment-note{font-size:14px;line-height:1.8;color:#53647c}.case-grid{gap:32px}.case-grid h4{font-size:14px}.case-controls,.scatter-controls{margin:30px 0 32px}.filter-select select{border-radius:6px}.scatter-inspector{border-radius:8px;background:#f0f4fc;padding:24px}.scatter-inspector strong{font-size:17px}.scatter-inspector dd{font-family:var(--heading-font);font-size:28px;letter-spacing:-.04em}.case-budget-table{font-variant-numeric:tabular-nums}.case-budget-table caption{text-align:left;font-size:14px;margin-bottom:18px}.case-budget-table th{background:#f6f8fc}.case-budget-table td{padding-block:22px}.paper-ending{max-width:var(--showcase-width);padding:0 32px}.citation-section{padding:60px 0;margin:0;border:0}.citation-heading{display:flex;align-items:center;justify-content:space-between;gap:20px;margin-bottom:26px}.citation-heading h2{font-size:38px;letter-spacing:-.05em;margin:0}.citation-heading button{background:#fff;border:1px solid #c6d1e2;border-radius:6px;padding:10px 18px;min-height:44px;font-size:12px}.citation-section pre{border-radius:8px;background:#f6f8fc;color:#36475e;border:1px solid var(--line);padding:28px;font-size:13px;line-height:1.85}footer{border-top:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;gap:24px;padding:32px 0 36px;font-size:11px;color:#64718a}footer a{color:#526179;text-decoration:none}footer .footer-wordmark{font:650 34px/1 var(--heading-font);letter-spacing:-2px;color:var(--page-accent)}:is(a,button,select,textarea):focus-visible{outline:3px solid #97b1f6;outline-offset:5px}button:active{transform:scale(.97)}@media(prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}.hero-wordmark{animation:hero-enter .9s var(--showcase-ease) both}.hero-paper-title{animation:hero-enter .9s .1s var(--showcase-ease) both}.hero-edge.is-path{animation:draw-path 1s var(--delay) var(--showcase-ease) both}.hero-node.is-path{animation:node-enter .9s var(--delay) var(--showcase-ease) both}.reveal-once{animation:section-enter .75s var(--showcase-ease) both}}@keyframes hero-enter{0%{opacity:0;transform:translateY(22px)}to{opacity:1;transform:translateY(0)}}@keyframes section-enter{0%{opacity:.35;transform:translateY(18px)}to{opacity:1;transform:translateY(0)}}@keyframes node-enter{0%{opacity:.3}to{opacity:1}}@keyframes draw-path{0%{stroke-dasharray:1;stroke-dashoffset:1}to{stroke-dashoffset:0}}html[data-motion=paused]{scroll-behavior:auto}html[data-motion=paused] :is(.hero-wordmark,.hero-paper-title,.hero-edge,.hero-node,.reveal-once){animation:none}@media(max-width:1024px){.hero-composition{gap:12px;grid-template-columns:1.25fr 1fr;min-height:460px}.hero-wordmark{font-size:13vw}.hero-paper-title{font-size:26px}.hero-tree figcaption{flex-direction:column;gap:8px}#tree-explorer .workspace{grid-template-columns:230px minmax(0,1fr);gap:24px}.site-nav{gap:22px}}@media(max-width:767px){.site-header{min-height:64px;grid-template-columns:1fr auto;padding:0 22px;gap:8px}.site-brand{font-size:20px}.site-nav{grid-column:1/-1;grid-row:2;justify-content:space-between;gap:12px;min-height:42px}.site-nav a{min-height:38px;font-size:12px}.motion-control{font-size:11px}.paper-hero{padding:40px 22px 0}.hero-composition{grid-template-columns:1fr;gap:0;min-height:0}.hero-copy{padding:0 0 20px}.hero-wordmark{font-size:clamp(78px,21.5vw,150px);padding-bottom:0}.hero-paper-title{font-size:24px;max-width:25ch;margin:22px 0}.hero-copy .paper-links{margin-top:20px}.hero-tree{padding:16px 0 20px}.hero-tree-art{max-width:420px}.hero-tree figcaption{flex-direction:row;font-size:10px;margin-inline:0}.hero-authorship{padding:24px 0 28px}.paper-authors{gap:9px 18px;font-size:13px}.paper-affiliations{display:block;font-size:11px;line-height:1.8}.paper-emails{gap:6px 18px;font-size:10px}.paper-abstract.paper-goal{margin:0;padding:50px 22px 54px}.paper-goal h2{font-size:40px;margin-bottom:30px}.paper-goal .goal-lead{font-size:14px}.goal-equation{padding:10px 0 25px}.goal-equation math{font-size:clamp(17px,4vw,22px)}.paper-goal .goal-definition{font-size:12px}.paper-goal .goal-tldr{font-size:18px;padding:20px 18px;margin:24px auto 30px}.goal-method-tabs{width:fit-content;max-width:100%;margin-bottom:30px}.goal-method-tabs button{min-width:125px;font-size:13px;min-height:42px}.goal-methods h3{font-size:17px}.presto-steps,#method-panel-powermh .presto-steps{grid-template-columns:1fr;gap:15px;font-size:13px}.presto-steps li{padding-top:12px}.presto-steps strong{display:inline;margin-right:5px}.paper-goal .goal-methods .goal-animation{margin-inline:-8px;width:calc(100% + 16px)}main>#tree-explorer{padding:50px 22px 48px}#tree-explorer .intro{margin-bottom:24px}#tree-explorer .intro h2{font-size:36px}#tree-explorer .workspace{display:flex;flex-direction:column;gap:22px}#tree-explorer .controls{order:0;padding:0;border:0}#tree-explorer .tree-panel{order:1}#tree-explorer .panel-heading{margin-bottom:18px}.paper-prompt-text{height:180px}#tree-explorer .tree-heading{padding-top:16px}.experiments-section{padding:50px 22px 54px}.experiments-title{font-size:40px}.experiment-nav{gap:8px 20px;font-size:11px;margin-bottom:32px;padding:15px 0}.experiment-heading h3{font-size:26px}.experiment-heading p,.experiment-note{font-size:13px}.experiment-block+.experiment-block{margin-top:42px;padding-top:38px}.case-grid{gap:26px}.scatter-inspector{padding:18px}.scatter-inspector strong{font-size:14px}.paper-ending{padding:0 22px}.citation-section{padding:42px 0}.citation-heading h2{font-size:32px}.citation-section pre{padding:18px;font-size:11px}footer{flex-wrap:wrap;gap:18px}footer span{order:3;width:100%}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{animation:none!important;transition:none!important}}.paper-intro .hero-copy h1{text-align:left}.paper-links .paper-forthcoming{display:inline-flex;align-items:center;gap:10px;background:#eef2fa;border-color:#dbe3f1;color:#526179;cursor:default}.paper-links .paper-forthcoming:hover{transform:none}@media(max-width:767px){.scatter-controls{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:18px 14px;overflow:visible;padding:0;justify-content:stretch}.scatter-controls .filter-field{display:grid;gap:8px;min-width:0}.scatter-controls .filter-select{width:100%;min-width:0;flex:auto}.scatter-controls .filter-field>label{font-size:12px}.scatter-controls #figure-reset{justify-self:start;font-size:12px;padding:0 14px}.scatter-controls #figure-count{justify-self:end;font-size:11px}.case-controls .case-trace-select{display:grid;gap:8px}.case-controls .case-trace-select .filter-select{width:100%}.case-range{flex-wrap:wrap;gap:12px}.case-range input{min-height:30px;width:100%;flex-basis:100%}}@media(prefers-reduced-motion:no-preference){.hero-edge.is-path[stroke-dasharray="0.035 0.025"]{animation:node-enter .9s var(--delay) var(--showcase-ease) both}}html[data-motion=paused] .hero-edge.is-path{animation:none!important}.paper-goal #method-panel-powermh .goal-animation{max-width:none;width:100%;margin-left:auto;margin-right:auto}.hero-tree-art{aspect-ratio:500/480;display:grid;align-items:center}.paper-goal #method-panel-presto .goal-animation{width:90%;max-width:none;margin-left:auto;margin-right:auto}.hero-tree-toolbar{display:flex;justify-content:flex-end;margin:0 10px 8px}.hero-tree-toolbar .motion-control{padding:0 8px}.hero-copy .hero-authorship{margin-top:28px;padding:22px 0 0;border-top:0}.hero-copy .hero-authorship ul{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;text-align:left}.hero-copy .paper-authors{font-size:13px}.hero-copy .paper-affiliations{font-size:11px;line-height:1.6}.hero-copy .paper-emails{font-size:10px;overflow-wrap:anywhere}@media(max-width:480px){.hero-copy .hero-authorship ul{gap:8px}.hero-copy .paper-authors{font-size:12px}.hero-copy .paper-affiliations{font-size:10px}.hero-copy .paper-emails{font-size:9px}}.paper-goal .goal-lead,.paper-goal .goal-definition{width:min(100%,470px);margin-left:auto;margin-right:auto;text-align:left}.hero-copy .paper-links .paper-button{min-height:38px;padding:0 18px;font-size:12px;gap:7px}.hero-copy .paper-links .paper-button svg{width:14px;height:14px}.site-header{display:flex;justify-content:center}.site-header .site-nav{justify-content:center}@media(max-width:767px){.site-header .site-nav{width:100%;justify-content:space-between}}@media(min-width:768px){.hero-composition{align-items:end}.hero-copy{padding-bottom:52px}}