:root{--paper:#f4f0e6;--paper-2:#ebe5d4;--paper-edge:#e2dac4;--ink:#1a1714;--ink-2:#4a4339;--ink-3:#8a8275;--ink-4:#b8b0a0;--rule:#d8d0bd;--rule-strong:#c4baa3;--accent:#1f3a6b;--accent-quiet:#6a7d9e;--selection:#e8d8a6;--obstacle:#0d0a08;--font-serif:"Source Serif 4", "Source Serif Pro", "Charter", "Iowan Old Style", Georgia, "Times New Roman", serif;--font-mono:"IBM Plex Mono", "SF Mono", Menlo, Consolas, monospace;--font-korean:"Noto Serif KR", "Source Serif 4", serif;--fs-meta:12px;--fs-small:14px;--fs-body:18px;--fs-lead:20px;--fs-h3:20px;--fs-h2:24px;--fs-h1:32px;--fs-display:40px;--lh-tight:1.2;--lh-prose:1.6;--lh-relaxed:1.75;--measure:36rem;--measure-wide:44rem;--s-1:4px;--s-2:8px;--s-3:12px;--s-4:16px;--s-5:24px;--s-6:32px;--s-7:48px;--s-8:64px;--s-9:96px;--border:1px solid var(--rule);--border-strong:1px solid var(--rule-strong);--radius:0;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--paper:#1c1815;--paper-2:#25201c;--paper-edge:#2c2620;--ink:#e8e0cf;--ink-2:#b5ab98;--ink-3:#847b6b;--ink-4:#5a5347;--rule:#3a342d;--rule-strong:#4a4339;--accent:#8aa3d4;--accent-quiet:#6a7d9e;--selection:#3d3520;--obstacle:#0a0806;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}:root[data-theme=dark]{--paper:#1c1815;--paper-2:#25201c;--paper-edge:#2c2620;--ink:#e8e0cf;--ink-2:#b5ab98;--ink-3:#847b6b;--ink-4:#5a5347;--rule:#3a342d;--rule-strong:#4a4339;--accent:#8aa3d4;--accent-quiet:#6a7d9e;--selection:#3d3520;--obstacle:#0a0806;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}html{background:var(--paper);color:var(--ink);font-family:var(--font-serif);font-size:var(--fs-body);line-height:var(--lh-prose);font-feature-settings:"kern", "liga", "onum";text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased}body{text-wrap:pretty;margin:0}::selection{background:var(--selection);color:var(--ink)}h1{font-family:var(--font-serif);font-size:var(--fs-h1);font-weight:400;line-height:var(--lh-tight);letter-spacing:-.01em;margin:0 0 var(--s-5);color:var(--ink)}h2{font-family:var(--font-serif);font-size:var(--fs-h2);font-style:italic;font-weight:500;line-height:var(--lh-tight);margin:var(--s-7) 0 var(--s-3);color:var(--ink)}h3{font-family:var(--font-serif);font-size:var(--fs-h3);margin:var(--s-6) 0 var(--s-2);color:var(--ink-2);font-style:italic;font-weight:500}p{margin:0 0 var(--s-4);max-width:var(--measure);-webkit-hyphens:auto;hyphens:auto}p.lead{font-size:var(--fs-lead);color:var(--ink)}a{color:var(--ink);text-decoration:underline;text-decoration-thickness:1px;-webkit-text-decoration-color:var(--rule-strong);text-decoration-color:var(--rule-strong);text-underline-offset:.18em;transition:text-decoration-color .12s}a:hover{-webkit-text-decoration-color:var(--ink);text-decoration-color:var(--ink)}strong{font-weight:600}em{font-style:italic}sup,.fn-ref{font-family:var(--font-mono);color:var(--accent);vertical-align:super;margin-left:1px;font-size:.7em;line-height:0;text-decoration:none}@keyframes fn-flash-bg{0%{background-color:var(--selection)}70%{background-color:var(--selection)}to{background-color:#0000}}@keyframes fn-flash-shadow{0%{box-shadow:0 0 0 3px var(--selection)}70%{box-shadow:0 0 0 3px var(--selection)}to{box-shadow:0 0 #0000}}li[id^=fn-].fn-flash,li[id^=user-content-fn-].fn-flash{animation:1.8s ease-out fn-flash-bg}.fn-ref.fn-flash,sup.fn-flash,a[id^=fnref-].fn-flash,a[id^=user-content-fnref-].fn-flash{box-shadow:0 0 0 3px var(--selection);animation:1.8s ease-out fn-flash-bg,1.8s ease-out fn-flash-shadow}[id^=fn-],[id^=fnref-],[id^=user-content-fn-],[id^=user-content-fnref-]{scroll-margin-top:96px;scroll-margin-bottom:96px}@media (prefers-reduced-motion:reduce){li[id^=fn-].fn-flash,li[id^=user-content-fn-].fn-flash,.fn-ref.fn-flash,sup.fn-flash,a[id^=fnref-].fn-flash,a[id^=user-content-fnref-].fn-flash{background-color:var(--selection);box-shadow:none;animation:none}}.fn-flash-sentence{animation:1.8s ease-out fn-flash-bg}@media (prefers-reduced-motion:reduce){.fn-flash-sentence{background-color:var(--selection);animation:none}}.footnotes pre{background:var(--paper-2);border-left:1px solid var(--rule-strong);font-family:var(--font-mono);color:var(--ink-2);white-space:pre;max-width:100%;margin:6px 0;padding:8px 10px;font-size:10px;line-height:1.55;overflow-x:auto}.footnotes pre code{font-size:inherit;background:0 0;padding:0}.footnotes code{font-size:.88em}.katex.katex{color:inherit;font-size:1em}.katex .text,.katex .mord.text{font-family:var(--font-serif)}.katex-display.katex-display{margin:0}code,pre,kbd,samp{font-family:var(--font-mono);font-size:.88em}code{background:var(--paper-2);border-radius:0;padding:1px 5px}pre{background:var(--paper-2);border-left:1px solid var(--rule-strong);padding:var(--s-4) var(--s-5);max-width:var(--measure-wide);margin:var(--s-5) 0;line-height:1.5;overflow-x:auto}pre code{background:0 0;padding:0}blockquote{margin:var(--s-5) 0;padding-left:var(--s-4);border-left:1px solid var(--rule-strong);color:var(--ink-2);max-width:var(--measure);font-style:italic}hr{text-align:center;margin:var(--s-7) 0;border:0}hr:before{content:"·   ·   ·";color:var(--ink-3);letter-spacing:.3em;font-size:var(--fs-small)}table{width:100%;max-width:var(--measure-wide);border-collapse:collapse;margin:var(--s-5) 0;font-size:var(--fs-small);font-feature-settings:"tnum"}th{text-align:left;color:var(--ink-2);border-bottom:1px solid var(--rule-strong);padding:var(--s-2) var(--s-3) var(--s-2) 0;font-style:italic;font-weight:500}td{border-bottom:1px solid var(--rule);padding:var(--s-2) var(--s-3) var(--s-2) 0;color:var(--ink)}td.num,th.num{font-family:var(--font-mono);text-align:right}.meta{font-family:var(--font-mono);font-size:var(--fs-meta);color:var(--ink-3);letter-spacing:.02em}:lang(ko),.ko{font-family:var(--font-korean);font-feature-settings:"kern"}:lang(ko) code,:lang(ko) code *,:lang(ko) pre,:lang(ko) pre *,:lang(ko) kbd,:lang(ko) kbd *,:lang(ko) samp,:lang(ko) samp *{font-family:var(--font-mono)}
:root{--dg-stroke:1px;--dg-stroke-strong:1.5px;--dg-stroke-thick:2px;--dg-node-radius:0;--dg-label:12px;--dg-caption:11px;--dg-arrow:8px}.dg-node{fill:var(--paper);stroke:var(--ink);stroke-width:var(--dg-stroke-strong)}.dg-node.muted{stroke:var(--ink-3)}.dg-node.active{stroke:var(--accent);stroke-width:var(--dg-stroke-thick)}.dg-node.terminal{fill:var(--paper-2)}.dg-edge{fill:none;stroke:var(--ink-2);stroke-width:var(--dg-stroke)}.dg-edge.muted{stroke:var(--ink-4)}.dg-edge.active{stroke:var(--accent);stroke-width:var(--dg-stroke-strong)}.dg-arrow{fill:var(--ink-2)}.dg-arrow.muted{fill:var(--ink-4)}.dg-arrow.active{fill:var(--accent)}.dg-label{font-family:var(--font-mono);font-size:var(--dg-label);fill:var(--ink)}.dg-label.muted{fill:var(--ink-3)}.dg-label.edge{fill:var(--ink-2);font-size:11px}.dg-label.edge.active{fill:var(--accent)}.ch-axis{stroke:var(--rule-strong);stroke-width:1px}.ch-grid{stroke:var(--rule);stroke-width:1px}.ch-tick{font-family:var(--font-mono);fill:var(--ink-3);font-size:10px}.ch-label{font-family:var(--font-serif);fill:var(--ink-2);font-size:12px;font-style:italic}.ch-line{fill:none;stroke:var(--ink);stroke-width:1.5px}.ch-line.comparison{stroke:var(--ink-3);stroke-dasharray:2 3}.ch-bar{fill:var(--ink)}.ch-bar.muted{fill:var(--ink-3)}.ch-bar.active{fill:var(--accent)}.ch-point{fill:var(--ink)}.ch-point.active{fill:var(--accent)}.ch-annotation{font-family:var(--font-mono);fill:var(--ink-2);font-size:11px}.ch-trace{fill:none;stroke:var(--ink);stroke-width:.5px;opacity:.08}.ch-trace.highlight{stroke:var(--accent);stroke-width:1.25px;opacity:1}.ch-band{fill:var(--ink);opacity:.08}.ch-band.outer{opacity:.04}.ch-mean{fill:none;stroke:var(--ink);stroke-width:1.25px}.ch-hist{fill:var(--ink);fill-opacity:.85}.ch-hist.muted{fill-opacity:.35}.ch-kde{fill:none;stroke:var(--ink);stroke-width:1.25px}.ch-heat{fill:var(--ink)}.ch-spectrum-fill{fill:var(--ink);fill-opacity:.18}.ch-spectrum-line{fill:none;stroke:var(--ink);stroke-width:1px}.ch-sankey-link{fill:none;stroke:var(--ink);stroke-opacity:.18}.ch-sankey-link.highlight{stroke:var(--accent);stroke-opacity:.55}.ch-sankey-node rect{fill:var(--paper);stroke:var(--ink);stroke-width:1px}.ch-sankey-node text{font-family:var(--font-mono);fill:var(--ink);font-size:10px}.gs-cell{fill:var(--paper-2);stroke:var(--rule);stroke-width:.5px}.gs-cell.wall{fill:var(--obstacle);stroke:var(--obstacle)}.gs-cell.fog{fill:none;stroke:var(--rule);stroke-opacity:.45;stroke-width:.5px}.gs-cell.visited{fill:var(--ink);fill-opacity:.12}.gs-cell.frontier{fill:var(--ink);fill-opacity:.32}.gs-cell.current{fill:var(--accent);fill-opacity:.65}.gs-cell.path{fill:var(--accent);fill-opacity:.85}.gs-cell.start{stroke:var(--ink);stroke-width:1.5px}.gs-cell.goal{stroke:var(--accent);stroke-width:1.5px}.gs-cell.heuristic{fill:var(--ink)}.gs-glyph{font-family:var(--font-mono);fill:var(--ink);text-anchor:middle;pointer-events:none;font-size:9px}.gs-glyph.on-dark{fill:var(--paper)}.gs-glyph.accent{fill:var(--accent)}.gs-jump{fill:none;stroke:var(--accent);stroke-width:1.25px;stroke-dasharray:4 3}.gs-jump-arrow{fill:var(--accent)}.gs-stats{font-family:var(--font-mono);color:var(--ink-2);letter-spacing:.02em;font-size:11px}.gs-stats .v{color:var(--ink);font-feature-settings:"tnum"}.layer-band{fill:var(--paper);stroke:var(--rule-strong);stroke-width:1px}.layer-band.muted{fill:var(--paper-2)}.layer-band.active{stroke:var(--accent);stroke-width:1.5px}.layer-band.deep{fill:var(--paper-2)}.layer-label{font-family:var(--font-mono);fill:var(--ink);letter-spacing:.02em;font-size:12px}.layer-sub{font-family:var(--font-serif);fill:var(--ink-2);font-size:13px;font-style:italic}.layer-chip{fill:var(--paper);stroke:var(--rule-strong);stroke-width:.5px}.layer-chip.accent{stroke:var(--accent);stroke-width:1px}.layer-chip.ghost{fill:var(--paper-2);stroke:var(--rule)}.layer-chip-label{font-family:var(--font-mono);fill:var(--ink);font-size:10px}.layer-chip-label.accent{fill:var(--accent)}.layer-chip-label.ghost{fill:var(--ink-3)}.layer-uses{fill:none;stroke:var(--ink-2);stroke-width:.8px;stroke-dasharray:2 3}.layer-uses.critical{stroke:var(--accent);stroke-dasharray:none;stroke-width:1.25px}.dag-node-rect{fill:var(--paper);stroke:var(--rule-strong);stroke-width:1px}.dag-node-rect.critical{stroke:var(--accent);stroke-width:1.5px}.dag-node-rect.done{fill:var(--ink);fill-opacity:.12;stroke:var(--ink-2)}.dag-node-rect.blocked{stroke:var(--ink-3);stroke-dasharray:3 2}.dag-node-rect.optional{stroke:var(--ink-3);stroke-dasharray:2 3;fill:var(--paper)}.dag-node-rect.current{fill:var(--accent);fill-opacity:.65;stroke:var(--accent);stroke-width:1.5px}.dag-node-label{font-family:var(--font-mono);fill:var(--ink);letter-spacing:.02em;font-size:11px}.dag-node-label.on-dark{fill:var(--paper)}.dag-node-label.muted{fill:var(--ink-3)}.dag-node-sub{font-family:var(--font-mono);fill:var(--ink-3);font-size:9px}.dag-edge{fill:none;stroke:var(--ink-2);stroke-width:1px;stroke-opacity:.55}.dag-edge.critical{stroke:var(--accent);stroke-width:1.5px;stroke-opacity:.85}.dag-edge.muted{stroke:var(--ink-3);stroke-dasharray:2 3}.dag-arrow{fill:var(--ink-2);fill-opacity:.55}.dag-arrow.critical{fill:var(--accent);fill-opacity:.85}.dag-arrow.muted{fill:var(--ink-3)}.dag-rank-label{font-family:var(--font-mono);fill:var(--ink-4);letter-spacing:.04em;text-transform:uppercase;font-size:10px}.comp-brick{fill:var(--paper);stroke:var(--ink);stroke-width:1px}.comp-brick.primitive{fill:var(--paper-2);stroke:var(--rule-strong)}.comp-brick.accent{stroke:var(--accent);stroke-width:1.5px}.comp-brick.muted{stroke:var(--ink-3);stroke-dasharray:2 3;fill:var(--paper)}.comp-brick-label{font-family:var(--font-mono);fill:var(--ink);letter-spacing:.02em;font-size:12px}.comp-brick-label.accent{fill:var(--accent)}.comp-brick-label.muted{fill:var(--ink-3)}.comp-brick-sub{font-family:var(--font-serif);fill:var(--ink-3);font-size:11px;font-style:italic}.comp-leg{stroke:var(--ink-2);stroke-width:1px;fill:none;stroke-opacity:.55}.comp-leg.accent{stroke:var(--accent);stroke-width:1.25px;stroke-opacity:.85}.comp-leg.muted{stroke:var(--ink-3);stroke-dasharray:2 3}.comp-stud{fill:var(--ink-2);fill-opacity:.7}.comp-stud.accent{fill:var(--accent);fill-opacity:1}.ic-row{font-family:var(--font-mono);align-items:stretch;gap:0;font-size:12px;display:inline-flex}.ic-btn{appearance:none;background:var(--paper);border:1px solid var(--rule-strong);color:var(--ink-2);font-family:var(--font-mono);letter-spacing:.02em;cursor:pointer;border-radius:0;padding:6px 12px;font-size:12px;line-height:1.4;transition:color .12s,border-color .12s,background .12s}.ic-btn+.ic-btn{border-left:none}.ic-btn:hover{color:var(--ink);border-color:var(--ink);z-index:1;position:relative}.ic-btn:hover+.ic-btn{border-left:1px solid var(--ink)}.ic-btn:focus-visible{outline:1px solid var(--accent);outline-offset:-2px}.ic-btn[aria-pressed=true],.ic-btn.is-active{color:var(--ink);background:var(--paper-2);border-color:var(--ink);z-index:1;position:relative}.ic-stepper{border:1px solid var(--rule-strong);font-family:var(--font-mono);align-items:stretch;font-size:12px;display:inline-flex}.ic-stepper>button{appearance:none;background:var(--paper);color:var(--ink-2);cursor:pointer;width:28px;font-family:var(--font-mono);border:none;border-radius:0;font-size:14px}.ic-stepper>button:hover{color:var(--ink);background:var(--paper-2)}.ic-stepper>.value{border-left:1px solid var(--rule-strong);border-right:1px solid var(--rule-strong);color:var(--ink);font-feature-settings:"tnum";text-align:center;min-width:36px;padding:6px 14px}.ic-toggle{cursor:pointer;font-family:var(--font-mono);color:var(--ink-2);-webkit-user-select:none;user-select:none;align-items:center;gap:8px;font-size:12px;display:inline-flex}.ic-toggle .box{border:1px solid var(--rule-strong);width:28px;height:14px;position:relative}.ic-toggle .box:after{content:"";background:var(--ink-4);width:10px;transition:left .12s,background .12s;position:absolute;inset:1px}.ic-toggle.is-on .box:after{background:var(--accent);left:15px}.ic-toggle.is-on{color:var(--ink)}.ic-slider{appearance:none;cursor:pointer;background:0 0;border:none;width:180px;height:18px;padding:0}.ic-slider::-webkit-slider-runnable-track{background:var(--rule-strong);height:1px}.ic-slider::-moz-range-track{background:var(--rule-strong);height:1px}.ic-slider::-webkit-slider-thumb{appearance:none;background:var(--ink);cursor:ew-resize;border:none;border-radius:0;width:2px;height:16px;margin-top:-8px}.ic-slider::-moz-range-thumb{background:var(--ink);cursor:ew-resize;border:none;border-radius:0;width:2px;height:16px}.figure-caption{font-family:var(--font-mono);color:var(--ink-3);letter-spacing:.02em;margin-top:6px;font-size:11px}.figure-caption .n{color:var(--accent);margin-right:6px}