@font-face{font-family:IBM Plex Sans;font-weight:400;font-style:normal;font-display:swap;src:url(./IBMPlexSans-Regular-Bl2SjS7V.ttf)format("truetype")}@font-face{font-family:IBM Plex Sans;font-weight:400;font-style:italic;font-display:swap;src:url(./IBMPlexSans-Italic-DqEcGRyk.ttf)format("truetype")}@font-face{font-family:IBM Plex Sans;font-weight:600;font-style:normal;font-display:swap;src:url(./IBMPlexSans-SemiBold-B9auKknr.ttf)format("truetype")}@font-face{font-family:IBM Plex Mono;font-weight:400;font-style:normal;font-display:swap;src:url(./IBMPlexMono-Regular-CaE70L_R.ttf)format("truetype")}@font-face{font-family:IBM Plex Mono;font-weight:600;font-style:normal;font-display:swap;src:url(./IBMPlexMono-SemiBold-B7vLlAoF.ttf)format("truetype")}:root{--ink:#1c1c1a;--beige:#f7f3eb;--sand:#eae6db;--muted:#5d5852;--graphite:#3d3834;--ash:#807b74;--stone:#a8a298;--neutral-light:#d6cfc3;--rule:#ddd6ca;--orange:#f57050;--orange-text:#b53e20;--panel:#fbf9f5;--orange-light:#f7a792;--orange-wash:#fae6de;--sans:"IBM Plex Sans", system-ui, sans-serif;--mono:"IBM Plex Mono", ui-monospace, monospace}*,:before,:after{box-sizing:border-box}html{background:var(--beige);color:var(--ink);font-family:var(--sans);-webkit-font-smoothing:antialiased;font-size:17px;line-height:1.6}body{margin:0}a{color:var(--orange-text);text-underline-offset:2px;text-decoration-thickness:1px}.l-body{max-width:704px;margin:0 auto;padding:0 20px}.l-page{max-width:1080px;margin:0 auto;padding:0 20px}.masthead{border-bottom:1px solid var(--rule);margin-bottom:40px;padding:72px 0 32px}h1{letter-spacing:-.01em;margin:0 0 16px;font-size:40px;font-weight:600;line-height:1.15}h2{margin:40px 0 12px;font-size:24px;font-weight:600;line-height:1.3}h3{margin:28px 0 10px;font-size:18px;font-weight:600;line-height:1.35}.chapter-head h2{margin-bottom:0}.chapter-head+section>h3:first-child{margin-top:14px}.byline{color:var(--muted);margin:0;font-size:14px}.placeholder{color:var(--muted)}.widget-figure{margin:40px auto}figcaption{max-width:704px;color:var(--muted);margin:16px auto 0;font-size:14px;line-height:1.5}figcaption p{margin:0 0 8px}ol.steps{counter-reset:step;margin:8px 0 0;padding:0;list-style:none}ol.steps li{counter-increment:step;margin:0 0 6px;padding-left:30px;position:relative}ol.steps li:before{content:counter(step);background:var(--ink);width:20px;height:20px;color:var(--beige);font-family:var(--mono);text-align:center;border-radius:50%;font-size:11px;line-height:20px;position:absolute;top:1px;left:0}button.step{border:1px solid var(--ink);color:var(--ink);font:inherit;cursor:pointer;background:0 0;border-radius:999px;padding:0 7px;font-weight:600}button.step:hover,button.step.active{background:var(--sand)}@media (prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}.toc{margin-top:8px;margin-bottom:8px;font-size:14px;line-height:1.5}.toc-kicker{font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--ash);margin-bottom:6px;font-size:11px;display:block}.toc ol{border-top:1px solid var(--rule);columns:2;column-gap:24px;margin:0;padding:10px 0 0;list-style:none}.toc li{break-inside:avoid;margin:0 0 4px}.toc ol ol{columns:1;border-top:0;padding:2px 0 0 14px;font-size:13px}.toc li li{margin-bottom:1px}.toc a{color:var(--muted);text-decoration:none}.toc a:hover{color:var(--ink);text-decoration:underline}@media (max-width:520px){.toc ol{columns:1}}@media (min-width:1240px){.toc{top:var(--toc-top,96px);width:212px;max-width:none;max-height:calc(100vh - var(--toc-top,96px) - 24px);margin:0;padding:0;font-size:13px;position:fixed;left:max(16px,50% - 588px);overflow-y:auto}.toc ol{columns:1;border-top:0;padding:0}.toc ol ol{padding:0;font-size:12.5px}.toc li:not(.toc-open)>ol{display:none}.toc li{margin:0}.toc a{border-left:2px solid var(--rule);padding:3px 0 3px 10px;display:block}.toc li li a{padding-left:22px}.toc .toc-open>a,.toc a[aria-current]{color:var(--ink)}.toc a[aria-current]{border-left-color:var(--ink)}}section.l-body{position:relative}p{margin:0 0 16px}dfn{font-style:normal;font-weight:600}code{font-family:var(--mono);font-size:.88em}pre{border:1px solid var(--rule);background:var(--panel);border-radius:8px;margin:20px 0;padding:14px 16px;font-size:13px;line-height:1.55;overflow-x:auto}pre code{font-size:inherit}pre .c{color:var(--ash)}pre .k{font-weight:600}pre .s{color:var(--graphite)}details.foldout{border-left:2px solid var(--ink);background:var(--panel);margin:20px 0;padding:10px 16px}details.foldout>summary{cursor:pointer;font-weight:600}details.foldout>summary::marker{color:var(--ash)}details.foldout[open]>summary{margin-bottom:8px}details.foldout p:last-child{margin-bottom:4px}.foldout-kicker,.aside-kicker,.caveat-kicker{font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--ash);margin-bottom:2px;font-size:11px;font-weight:400;display:block}aside.note{border-left:1px solid var(--rule);color:var(--muted);margin:16px 0;padding:2px 0 2px 14px;font-size:14px;line-height:1.5}aside.note p{margin:0 0 6px}@media (min-width:1240px){aside.note{width:230px;margin-top:0;position:absolute;left:calc(100% + 8px)}}.caveat{border:1px solid var(--ink);background:var(--panel);border-radius:8px;margin:24px 0;padding:12px 16px;font-size:15px}.caveat p:last-child{margin-bottom:0}.figure-placeholder{border:1px dashed var(--rule);color:var(--ash);text-align:center;border-radius:12px;padding:48px 16px}.refs{color:var(--muted);padding-left:20px;font-size:14px;line-height:1.5}.refs li{margin-bottom:6px}.bibtex{font-size:12px}.mark-line{align-items:center;gap:14px;display:flex}.mark-inline{flex:none;width:32px;height:32px}.wordmark-title{vertical-align:-.165em;width:4.92em;height:auto}.wordmark{width:auto;height:22px;margin-bottom:12px;display:block}footer{border-top:1px solid var(--rule);color:var(--muted);margin-top:64px;padding-top:16px;padding-bottom:48px;font-size:13px}.rw{-webkit-user-select:none;user-select:none;font-size:14px;line-height:1.4}.rw-loading{min-height:420px;color:var(--muted);border:1px dashed var(--rule);border-radius:12px;place-items:center;display:grid}.rw button,.rw select,.rw input{font:inherit;color:inherit}.rw-controls{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px 24px;margin-bottom:16px;display:flex}.rw-controls-right{flex-wrap:wrap;align-items:center;gap:12px 20px;display:flex}.rw-picker{flex-wrap:wrap;gap:6px;display:flex}.rw-tile{border:1px solid var(--rule);background:var(--beige);cursor:pointer;border-radius:6px;width:40px;height:40px;padding:0;overflow:hidden}.rw-tile canvas{width:100%;height:100%;image-rendering:pixelated;display:block}.rw-tile:hover{border-color:var(--ash)}.rw-tile.active{border:2px solid var(--orange-text)}.rw-tile-draw{width:auto;color:var(--muted);padding:0 12px;font-size:13px}.rw-tile-draw.active{color:var(--orange-text)}.rw-slider,.rw-select,.rw-toggle{color:var(--muted);align-items:center;gap:8px;display:inline-flex}.rw-slider input{width:140px;accent-color:var(--orange-text)}.rw-slider output{min-width:2ch;font-family:var(--mono);color:var(--ink)}.rw-select select{border:1px solid var(--rule);background:var(--panel);border-radius:6px;padding:4px 6px}.rw-toggle{cursor:pointer}.rw-toggle input{accent-color:var(--orange-text);margin:0}.rw-btn{border:1px solid var(--ink);cursor:pointer;white-space:nowrap;background:0 0;border-radius:999px;padding:5px 14px}.rw-btn:hover:not(:disabled){background:var(--sand)}.rw-btn.primary{background:var(--ink);min-width:112px;color:var(--beige)}.rw-btn.primary:hover{background:var(--graphite)}.rw-btn.quiet{border-color:var(--rule);color:var(--muted)}.rw-btn:disabled{opacity:.4;cursor:default}.rw-stage{grid-template-columns:1fr 1fr;gap:20px;display:grid}.rw-panel{border:1px solid var(--rule);background:var(--panel);border-radius:12px;min-width:0;padding:12px 14px 14px}.rw-panel-head{justify-content:space-between;align-items:baseline;gap:8px;display:flex}.rw-panel-head h4{margin:0;font-size:15px;font-weight:600}.rw-hint{color:var(--ash);font-size:12px}.rw-sphere-wrap{position:relative}.rw-sphere{aspect-ratio:1;width:100%;max-width:420px;margin:0 auto}.sphere-canvas{touch-action:none;cursor:grab;display:block}.sphere-canvas.dragging{cursor:grabbing}.rw-inset{border:1px solid var(--rule);background:var(--sand);border-radius:4px;height:84px;margin:4px auto 0;display:block}.rw-row{flex-wrap:wrap;align-items:center;gap:8px 12px;margin-top:10px;display:flex}.rw-padbox{flex-direction:column;align-items:flex-start;gap:4px;display:none;position:absolute;top:4px;left:0}.rw.drawing .rw-padbox{display:flex}.drawpad canvas{border:1px solid var(--ash);width:112px;height:112px;image-rendering:pixelated;cursor:crosshair;touch-action:none;border-radius:6px;display:block}.rw-colorbar{font-family:var(--mono);color:var(--muted);justify-content:center;align-items:center;gap:8px;margin:10px 0 0;font-size:11px;display:flex}.rw-colorbar-ramp{border-radius:4px;width:160px;height:8px}.rw-march{border:1px solid var(--rule);background:var(--panel);border-radius:12px;flex-wrap:wrap;align-items:center;gap:10px 16px;margin:18px 0 8px;padding:12px 14px;display:flex}.rw-march .rw-slider input{width:220px}.rw-status{min-height:2.8em;color:var(--muted);-webkit-user-select:text;user-select:text;flex:100%;font-size:13px}.rw.solving .rw-status:before{content:"";background:var(--orange);border-radius:50%;width:8px;height:8px;margin-right:8px;animation:.9s ease-in-out infinite alternate rw-pulse;display:inline-block}@keyframes rw-pulse{0%{opacity:.25}to{opacity:1}}.rw-strips{margin-top:16px}.rw-strip-head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:4px 16px;margin-top:14px;display:flex}.rw-strip-head h5{margin:0;font-size:13px;font-weight:600}.rw-legend{color:var(--muted);flex-wrap:wrap;gap:4px 12px;font-size:11px;display:flex}.rw-legend span{align-items:center;gap:5px;display:inline-flex}.rw-legend i{display:inline-block}.rw-legend i.bar{background:var(--c);border-radius:1px;width:9px;height:9px}.rw-legend i.line{border-top:1.5px solid var(--ink);width:12px}.rw-legend i.dot{background:var(--orange-text);border-radius:50%;width:7px;height:7px}.rw-strip{margin-top:4px;position:relative}.strip-canvas{display:block}.strip-readout{min-height:1.5em;font-family:var(--mono);color:var(--muted);white-space:nowrap;text-overflow:ellipsis;font-size:11px;overflow:hidden}.rw [hidden]{display:none!important}.rw-strip-tools{flex-wrap:wrap;align-items:center;gap:6px 14px;display:flex}.rw-seg{border:1px solid var(--rule);border-radius:999px;display:inline-flex;overflow:hidden}.rw-seg button{color:var(--muted);cursor:pointer;background:0 0;border:0;padding:2px 11px;font-size:11px}.rw-seg button[aria-pressed=true]{background:var(--ink);color:var(--beige);cursor:default}.rw-legend i.cell,.rw-legend i.pending{box-sizing:border-box;width:9px;height:9px}.rw-legend i.cell{border:1px solid var(--rule);background:var(--orange-light)}.rw-legend i.cell.kept{border-color:var(--ink)}.rw-legend i.pending{background:radial-gradient(circle, var(--stone) 0 1.5px, transparent 2px)}.rw-map{margin-top:6px}.rw-map-grid{grid-template-columns:1fr 1fr;gap:10px 20px;display:grid}.rw-map-half{min-width:0}.rw-map-cap{color:var(--ash);margin-bottom:4px;font-size:11px}.map-canvas{display:block}.cf-stage{grid-template-columns:minmax(0,5fr) minmax(0,6fr);align-items:start;gap:20px;display:grid}.cf-models{gap:14px;display:grid}.cf-note{color:var(--ash);font-size:12px}.cf-model>.cf-note{margin-top:8px}.cf-body{grid-template-columns:minmax(0,5fr) minmax(0,8fr);align-items:end;gap:18px;margin-top:8px;display:grid}.cf-input{aspect-ratio:2;border:1px solid var(--rule);background:var(--sand);border-radius:4px;width:100%;display:block}.cf-input.cf-strip{aspect-ratio:auto;background:0 0;border:0;border-radius:0;height:auto}.cf-reads .cf-note{margin-top:4px}.cf-readout{grid-template-columns:76px minmax(0,1fr);align-items:end;gap:14px;display:grid}.cf .rw-sphere{max-width:380px}.cf-verdict{text-align:center;padding-bottom:14px}.cf-verdict b{font-family:var(--mono);font-size:60px;font-weight:600;line-height:1;display:block}.cf-verdict span{font-family:var(--mono);color:var(--muted);font-size:12px}.cf-bars{grid-template-columns:repeat(10,minmax(0,1fr));gap:5px;display:grid}.cf-col{font-family:var(--mono);color:var(--ash);flex-direction:column;align-items:center;gap:3px;font-size:11px;display:flex}.cf-col.truth{color:var(--ink);font-weight:600}.cf-track{border-bottom:1px solid var(--rule);align-items:flex-end;width:100%;height:96px;display:flex}.cf-track i{background:var(--neutral-light);border-radius:2px 2px 0 0;width:100%;min-height:1px;display:block}.cf-col.top .cf-track i{background:var(--fill,var(--ink))}.cf-readout.wrong .cf-verdict span{color:var(--ink);font-weight:600}.cf-focus{outline:2px solid var(--ink);outline-offset:3px;transition:outline-color .6s}.katex-display{overflow:auto hidden}.math-glued{white-space:nowrap}.rg-signal,.rg-plane{aspect-ratio:1;width:100%;max-height:300px;margin:0 auto;display:block}.rg-signal{cursor:grab;touch-action:none}.rg-signal.dragging{cursor:grabbing}.rg-spec-panel{margin-top:20px}.rg-spec{cursor:pointer;width:100%;display:block}.rg-readout{min-height:2.8em;color:var(--muted);margin:8px 0 0;font-size:13px}.br-view,.br-sphere{aspect-ratio:1;width:100%;max-width:240px;margin:0 auto;display:block}.br-label{color:var(--muted);margin:12px 0 4px;font-size:12px;font-weight:600}.br-cells{width:100%;height:16px;display:block}.br-matrix{aspect-ratio:1;width:100%;max-width:240px;margin:0 auto;display:block}.br-sizes{font-family:var(--mono);text-align:center;color:var(--ash);margin:4px 0 0;font-size:11px}.wl-chart{width:100%;height:300px;margin-top:8px;display:block}.wl .rw-controls{justify-content:flex-start}.wl .rw-slider input{width:200px}.dictionary-scroll{overflow-x:auto}section>.dictionary-scroll{margin-bottom:20px}.table-figure{margin:24px 0 28px}.table-figure figcaption{margin-top:12px}table.dictionary.compact{width:auto;min-width:0}table.dictionary.compact td,table.dictionary.compact thead th:not(:first-child){text-align:center;min-width:88px}table.dictionary{border-collapse:collapse;width:100%;min-width:600px;max-width:880px;margin:20px auto 0;font-size:14px;line-height:1.45}table.dictionary th,table.dictionary td{border-bottom:1px solid var(--rule);text-align:left;vertical-align:top;padding:7px 10px}table.dictionary thead th{border-bottom:1px solid var(--ink);font-weight:600}table.dictionary tbody th{color:var(--muted);font-weight:400}.modules{grid-template-columns:repeat(auto-fill,minmax(300px,1fr));align-items:start;gap:10px 18px;margin:18px 0;padding:0;list-style:none;display:grid}.modules li{grid-template-columns:36px minmax(0,1fr);align-items:start;column-gap:12px;display:grid}.modules img{grid-row:span 2;width:36px;height:36px}.modules code{font-weight:600}.modules span{color:var(--muted);font-size:14px;line-height:1.35}.pipeline{gap:16px;margin-top:12px;margin-bottom:28px;display:grid}.pl-title{font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--ash);margin-bottom:6px;font-size:11px;display:block}.pl-row{flex-wrap:wrap;align-items:center;gap:10px 0;margin:0;padding:0;list-style:none;display:flex}.pl-row>li{border:1px solid var(--rule);background:var(--panel);border-radius:8px;flex-direction:column;justify-content:center;min-height:44px;padding:4px 12px;font-size:14px;line-height:1.3;display:flex;position:relative}.pl-row>li+li{margin-left:28px}.pl-row>li+li:before{content:"";border-top:1px solid var(--stone);width:13px;position:absolute;top:50%;left:-23px}.pl-row>li+li:after{content:"";border-style:solid;border-width:4px 0 4px 6px;border-color:transparent transparent transparent var(--stone);position:absolute;top:calc(50% - 3.5px);left:-10px}.pl-meta{font-family:var(--mono);color:var(--ash);font-size:11px}.pl-row>li.pl-ours{border-color:var(--orange-light);background:var(--orange-wash);flex-direction:row;align-items:center;gap:9px;padding-left:8px}.pl-ours>span{flex-direction:column;display:flex}.pl-ours code{color:var(--orange-text);font-size:13px;font-weight:600}.pl-ours .pl-meta{color:var(--orange-text);opacity:.75}.pl-row>li.pl-end{color:var(--muted);background:0 0;border-color:#0000;padding-left:0;padding-right:0}@media (max-width:560px){.pl-row{flex-direction:column;align-items:flex-start}.pl-row>li+li{margin-top:12px;margin-left:0}.pl-row>li+li:before{border-top:0;border-left:1px solid var(--stone);width:0;height:11px;top:-19px;left:24px}.pl-row>li+li:after{border-width:6px 4px 0;border-color:var(--stone) transparent transparent;top:-8px;left:20.5px}.pl-row>li.pl-end{min-height:0;padding-left:12px}}.bench-wrap{overflow-x:auto}table.bench{border-collapse:collapse;width:100%;font-size:14px;line-height:1.35}table.bench th,table.bench td{border-bottom:1px solid var(--rule);text-align:left;vertical-align:baseline;padding:6px 10px 6px 0}table.bench thead th{color:var(--muted);font-size:12px;font-weight:600}table.bench thead th.group{border-bottom-color:var(--stone);text-align:right}table.bench tbody th{font-weight:400}table.bench td:nth-child(2){color:var(--muted)}table.bench .num{font-family:var(--mono);text-align:right;white-space:nowrap;padding-left:14px;padding-right:0;font-size:13px}table.bench td.ours{color:var(--orange-text)}.hr-stage{grid-template-columns:minmax(0,5fr) minmax(0,7fr);align-items:stretch;gap:20px;display:grid}.hr-earth .rw-sphere{max-width:360px}.hr-rows{gap:14px;display:grid}.hr-row{grid-template-columns:minmax(0,1fr) 148px;align-items:center;gap:18px;display:grid}.hr-list{margin-top:14px}.hr-lead{align-items:baseline;gap:10px;margin-bottom:8px;display:flex}.hr-count{font-family:var(--mono);font-size:28px;font-weight:600;line-height:1}.hr-row.ours .hr-count{color:var(--orange-text)}.hr-what{color:var(--muted);font-size:14px;line-height:1.35}.hr-cells{height:auto;display:block}.hr-status{min-height:2.8em;color:var(--ash);margin-top:8px;font-size:12px;line-height:1.4}.hr-redraw{text-align:center;color:var(--ash);font-size:12px}.hr-redraw .rw-row{justify-content:center;gap:6px;margin-top:6px}.hr-redraw .rw-btn{padding:3px 10px;font-size:12px}@media (max-width:720px){.br .rw-stage,.rg .rw-stage{grid-template-columns:1fr}.cf-stage,.hr-stage{grid-template-columns:minmax(0,1fr);gap:10px}.hr-earth .rw-sphere{max-width:260px}.hr-row{grid-template-columns:minmax(0,1fr) 112px;gap:10px}.hr-count{font-size:22px}.hr-what{font-size:13px}.cf-body{grid-template-columns:minmax(0,1fr);gap:10px}.cf-input{max-width:240px}.cf-readout{grid-template-columns:56px minmax(0,1fr);gap:8px}.cf-verdict b{font-size:44px}.rw-map-grid{grid-template-columns:1fr}html{font-size:16px}h1{font-size:30px}.rw-stage{gap:10px}.rw-panel{padding:8px}.rw-hint{display:none}.rw-padbox{margin-top:6px;position:static}.rw-march .rw-slider input{width:140px}}