.research-explorer{--re-accent:var(--accent,#82b6ff);--re-secondary:#c8b6ff;--re-reject:#ec9d97;--re-mono:"SFMono-Regular",Consolas,"Liberation Mono",monospace;width:100%;min-width:0;color:var(--ink);border:1px solid var(--line);background:var(--surface);--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;border-radius:6px;font:15px/1.65 Hk Grotesk,Helvetica Neue,sans-serif;overflow:hidden}.research-explorer--mahilda{--re-accent:#c8b6ff}.research-explorer *,.research-explorer :before,.research-explorer :after{box-sizing:border-box}.research-explorer button{appearance:none;border:1px solid var(--line);min-height:40px;color:var(--muted);font:11px/1.5 var(--re-mono);cursor:pointer;background:0 0;border-radius:3px;transition:color .16s,border-color .16s,background .16s}.research-explorer button:hover:not(:disabled){color:var(--ink);border-color:var(--muted)}.research-explorer :is(button,summary):focus-visible{outline:2px solid var(--re-accent);outline-offset:4px}.research-explorer button:disabled{cursor:default;opacity:.36}.research-explorer .re-toolbar{border-bottom:1px solid var(--line);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px;padding:14px 18px;display:flex}.research-explorer .re-view-switch{gap:4px;display:flex}.research-explorer .re-view-switch button{border-color:#0000;padding:7px 13px}.research-explorer .re-view-switch button[aria-pressed=true]{color:var(--re-accent);background:color-mix(in srgb,var(--re-accent)8%,transparent);border-color:color-mix(in srgb,var(--re-accent)28%,transparent)}.research-explorer .re-motion-toggle{align-items:center;gap:7px;padding:7px 10px;display:inline-flex}.research-explorer .re-motion-toggle[aria-pressed=true]{color:var(--re-accent)}.research-explorer .re-motion-toggle>span{font-size:15px}.research-explorer .re-overview{margin:0}.research-explorer .re-diagram-stage{background-color:var(--paper);background-image:radial-gradient(var(--line).75px,transparent .75px);background-size:18px 18px;padding:14px 20px}.research-explorer .re-diagram{width:100%;max-width:650px;height:auto;margin-inline:auto;display:block;overflow:visible}.research-explorer .re-overview figcaption{color:var(--muted);padding:16px 22px 19px;font-size:13px;line-height:1.65}.research-explorer .re-formula-block{border-top:1px solid var(--line);background:var(--paper);padding:18px 22px 22px}.research-explorer .re-code-label{color:var(--muted);font:10px/1.5 var(--re-mono);letter-spacing:.07em;text-transform:uppercase;display:block}.research-explorer pre{color:var(--re-accent);font:12px/1.85 var(--re-mono);white-space:pre-wrap;overflow-wrap:anywhere;word-break:normal;background:0 0;border:0;margin:9px 0 0;padding:0}.research-explorer .re-pipeline{border-top:1px solid var(--line)}.research-explorer .re-pipeline summary{cursor:pointer;font:12px/1.65 var(--re-mono);justify-content:space-between;align-items:center;gap:15px;padding:19px 22px;list-style:none;display:flex}.research-explorer .re-pipeline summary::-webkit-details-marker{display:none}.research-explorer .re-pipeline summary:hover{color:var(--re-accent)}.research-explorer .re-summary-mark{color:var(--re-accent);margin-right:10px;display:inline-block}.research-explorer .re-pipeline[open] .re-summary-mark{transform:rotate(45deg)}.research-explorer .re-step-count{color:var(--muted);flex-shrink:0;font-size:10px}.research-explorer .re-step-count>span{color:var(--re-accent);margin-left:9px;font-size:16px;display:inline-block}.research-explorer .re-pipeline[open] .re-step-count>span{transform:rotate(90deg)}.research-explorer .re-step-nav{background:var(--line);grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;padding:1px;display:grid}.research-explorer .re-step-nav button{background:var(--surface);text-align:left;border:0;border-radius:0;flex-direction:column;align-items:flex-start;gap:7px;min-width:0;padding:13px 14px;font-size:10px;display:flex}.research-explorer .re-step-nav button[aria-pressed=true]{background:color-mix(in srgb,var(--re-accent)9%,var(--paper));color:var(--ink);box-shadow:inset 0 2px 0 var(--re-accent)}.research-explorer .re-step-index{color:var(--re-accent);font-size:11px}.research-explorer .re-step-heading{padding:26px 22px 21px}.research-explorer .re-step-heading h4{color:var(--ink);margin:8px 0 9px;font:500 21px/1.3 Hk Grotesk,Helvetica Neue,sans-serif}.research-explorer .re-step-heading p{color:var(--muted);max-width:640px;margin:0;font:14px/1.7 Hk Grotesk,Helvetica Neue,sans-serif}.research-explorer .re-step-stage{border-block:1px solid var(--line);padding-block:24px}.research-explorer .re-step-example{padding:21px 22px 24px}.research-explorer .re-step-example p{color:var(--muted);margin:12px 0 0;font-size:12px;line-height:1.7}.research-explorer .re-playback{justify-content:space-between;gap:8px;padding:0 22px 22px;display:flex}.research-explorer .re-playback button{min-height:42px;padding:8px 12px}.research-explorer .re-playback button:last-child:not(:disabled){color:var(--re-accent)}.research-explorer .re-diagram text{font-family:var(--re-mono)}.research-explorer .re-svg-label{fill:var(--ink);font-size:15px}.research-explorer .re-svg-detail{fill:var(--muted);font-size:13px}.research-explorer .re-svg-eyebrow{letter-spacing:1px;fill:var(--muted);font-size:11px}.research-explorer .re-svg-witness{fill:var(--re-accent);font-size:15px}.research-explorer .re-svg-symbol{fill:var(--re-accent);font-size:28px}.research-explorer .re-svg-implication{fill:var(--re-accent);font-size:46px}.research-explorer .re-svg-pass{fill:var(--re-accent);font-size:17px}.research-explorer .re-svg-reject{fill:var(--re-reject);font-size:17px}.research-explorer .re-node rect{fill:var(--surface);stroke:var(--line);stroke-width:1.4px}.research-explorer .re-node--accent rect{stroke:var(--re-accent)}.research-explorer .re-node--secondary rect{stroke:var(--re-secondary)}.research-explorer .re-node--reject rect{stroke:var(--re-reject);stroke-dasharray:4 4}.research-explorer .re-node--reject .re-svg-label{fill:var(--re-reject)}.research-explorer .re-edge{fill:none;stroke:#536887;stroke-width:1.6px}.research-explorer .re-edge--accent{stroke:var(--re-accent)}.research-explorer .re-edge--dashed{stroke-dasharray:4 5}.research-explorer .re-arrow{fill:none;stroke:var(--re-accent);stroke-width:1.6px}.research-explorer .re-flow{fill:none;stroke:var(--re-accent);stroke-width:2px;stroke-dasharray:5 35;animation:4s linear infinite re-flow}.research-explorer .re-witness-link{fill:none;stroke:var(--re-secondary);stroke-width:1.3px;stroke-dasharray:3 3}.research-explorer .re-pulse{fill:var(--re-accent);transform-box:fill-box;transform-origin:50%;animation:3s ease-in-out infinite re-pulse}.research-explorer .re-check-gate{fill:var(--surface);stroke:var(--re-accent);stroke-width:1.5px}.research-explorer .re-reject-mark{fill:none;stroke:var(--re-reject);stroke-width:2px}.research-explorer .re-bracket{fill:none;stroke:var(--line);stroke-width:1.5px}.research-explorer .re-group-box{fill:color-mix(in srgb,var(--re-accent)3%,var(--paper));stroke:color-mix(in srgb,var(--re-accent)35%,var(--line));stroke-dasharray:4 4}.research-explorer .re-group-box--secondary{fill:color-mix(in srgb,var(--re-secondary)3%,var(--paper));stroke:color-mix(in srgb,var(--re-secondary)35%,var(--line))}.research-explorer .re-table{fill:var(--surface);stroke:#536887;stroke-width:1.5px}.research-explorer .re-data-row{fill:#2a4265;animation:3s ease-in-out infinite re-row-highlight}.research-explorer .re-scan{stroke:var(--re-accent);stroke-width:1.5px;opacity:.6;animation:3s ease-in-out infinite re-scan}.research-explorer .re-bar-track{fill:var(--line)}.research-explorer .re-metric-bar{fill:var(--re-accent);transform-box:fill-box;transform-origin:0;animation:1.5s both re-bar-grow}.research-explorer .re-secondary{fill:var(--re-secondary)}.research-explorer .re-recursive-arc{fill:none;stroke:var(--re-secondary);stroke-width:1.5px}.research-explorer .re-divider{stroke:var(--line);stroke-width:1px}.research-explorer .re-branch-leaf{fill:var(--surface);stroke:#536887;stroke-width:1.5px}.research-explorer .re-branch-leaf--active{fill:var(--re-accent);stroke:var(--re-accent)}.research-explorer .re-pruned{opacity:.25;animation:1.5s both re-prune}.research-explorer .re-trace{stroke-dasharray:1;stroke-dashoffset:0;animation:1.4s both re-draw}.research-explorer .re-appear{animation:.7s both re-appear}.research-explorer .re-split-body{animation:1.4s cubic-bezier(.2,.8,.2,1) both re-split-body}.research-explorer .re-split-head{animation:1.4s cubic-bezier(.2,.8,.2,1) both re-split-head}.research-explorer[data-paused=true] *,.research-explorer[data-paused=true] :before,.research-explorer[data-paused=true] :after{animation-play-state:paused!important}@keyframes re-flow{to{stroke-dashoffset:-80px}}@keyframes re-pulse{50%{opacity:.45;transform:scale(.72)}}@keyframes re-draw{0%{stroke-dashoffset:1px;opacity:.3}to{stroke-dashoffset:0;opacity:1}}@keyframes re-appear{0%{opacity:.3}to{opacity:1}}@keyframes re-split-body{0%{transform:translate(50px)}to{transform:translate(0)}}@keyframes re-split-head{0%{transform:translate(-50px)}to{transform:translate(0)}}@keyframes re-row-highlight{50%{fill:var(--re-accent)}}@keyframes re-scan{0%,to{transform:translateY(0)}85%{transform:translateY(98px)}}@keyframes re-bar-grow{0%{transform:scaleX(.06)}to{transform:scaleX(1)}}@keyframes re-prune{0%{opacity:1}to{opacity:.25}}@media (max-width:620px){.research-explorer .re-toolbar{gap:8px;padding:12px 14px}.research-explorer .re-diagram-stage{padding-block:16px;padding-inline:10px}.research-explorer .re-overview figcaption{padding:14px 16px 17px}.research-explorer .re-formula-block,.research-explorer .re-pipeline summary{padding:16px}.research-explorer .re-step-count{font-size:0}.research-explorer .re-step-nav{grid-template-columns:repeat(2,minmax(0,1fr))}.research-explorer .re-step-nav button{flex-direction:row;align-items:baseline;gap:9px;padding:13px;font-size:11px}.research-explorer .re-step-heading{padding:23px 16px 20px}.research-explorer .re-step-heading h4{font-size:20px}.research-explorer .re-step-example{padding:19px 16px}.research-explorer .re-playback{gap:6px;padding:0 16px 19px}.research-explorer .re-playback button{padding-inline:10px}}@media (max-width:360px){.research-explorer .re-toolbar{align-items:stretch}.research-explorer .re-view-switch,.research-explorer .re-view-switch button{flex:1}.research-explorer .re-motion-toggle{justify-content:center;width:100%}.research-explorer .re-playback button{padding-inline:7px;font-size:10px}.research-explorer pre{font-size:11px}}@media (prefers-reduced-motion:reduce){.research-explorer *,.research-explorer :before,.research-explorer :after{transition:none!important;animation:none!important}}