.inference-diagram:where(.astro-c4ofkoyb){width:100%;min-width:600px;height:auto;font-family:var(--edu-font-sans);margin-inline:auto;display:block}.diagram-sub:where(.astro-c4ofkoyb){fill:var(--edu-text-muted);font-size:11px}.edu-dg-process:where(.astro-c4ofkoyb) .diagram-sub:where(.astro-c4ofkoyb){fill:#ffffffd1}.edu-dg-highlight:where(.astro-c4ofkoyb) .diagram-sub:where(.astro-c4ofkoyb){fill:var(--edu-dg-label-strong);opacity:.75}.decode-loop:where(.astro-c4ofkoyb){stroke-dasharray:4 4}.diagram-rule:where(.astro-c4ofkoyb){stroke:var(--edu-border);stroke-width:1px}.diagram-note:where(.astro-c4ofkoyb),.diagram-note-strong:where(.astro-c4ofkoyb){fill:var(--edu-text-muted);font-size:12px}.diagram-note-strong:where(.astro-c4ofkoyb){fill:var(--edu-text-secondary);font-family:var(--edu-font-mono);letter-spacing:.06em;text-transform:uppercase;font-size:11px;font-weight:500}.diagram-formula:where(.astro-c4ofkoyb){fill:var(--edu-text-muted);font-family:var(--edu-font-mono);font-size:11px}.dl{margin-block:var(--edu-space-7);border:1px solid var(--edu-border);border-radius:var(--edu-radius-lg);background:var(--edu-surface);overflow:hidden}.dl__fallback{padding:var(--edu-space-5);border-block-end:1px solid var(--edu-border);background:var(--edu-bg-subtle)}.dl__fallback-svg{overflow:visible}.dl__static-svg{width:100%;height:auto;font-family:var(--edu-font-sans);display:block}.dl__fallback-caption{margin:var(--edu-space-4) 0 0;color:var(--edu-text-secondary);font-family:var(--edu-font-sans);font-size:var(--edu-text-sm);line-height:1.6}.dl[data-hydrated=true] .dl__fallback,.dl[data-hydrated=false] .dl__interactive{display:none}.dl__header{padding:var(--edu-space-5) var(--edu-space-5) var(--edu-space-4);border-block-end:1px solid var(--edu-border)}.dl__kicker{margin:0 0 var(--edu-space-2);color:var(--edu-text-muted);font-family:var(--edu-font-sans);font-size:var(--edu-text-xs);letter-spacing:.08em;text-transform:uppercase;font-weight:600;line-height:1.4}.dl__header h3{color:var(--edu-text);font-family:var(--edu-font-sans);font-size:var(--edu-text-h3);letter-spacing:-.01em;margin:0;font-weight:600;line-height:1.3}.dl__lede{max-width:56ch;margin:var(--edu-space-2) 0 0;color:var(--edu-text-secondary);font-family:var(--edu-font-sans);font-size:var(--edu-text-sm);line-height:1.6}.dl__reduced-note{margin:var(--edu-space-2) 0 0;color:var(--edu-text-muted);font-family:var(--edu-font-sans);font-size:var(--edu-text-xs);line-height:1.5}.dl__token-strips{gap:var(--edu-space-4);padding:var(--edu-space-5);background:var(--edu-bg-subtle);flex-direction:column;display:flex}.dl__strip{gap:var(--edu-space-2);flex-direction:column;display:flex}.dl__strip-label{color:var(--edu-text-muted);font-family:var(--edu-font-sans);letter-spacing:.08em;text-transform:uppercase;margin:0;font-size:11px;font-weight:600;line-height:1.4}.dl__chips{flex-wrap:wrap;align-items:center;gap:6px;min-height:40px;display:flex}.dl__chip{border:1px solid var(--edu-border);border-radius:var(--edu-radius-sm);background:var(--edu-surface);min-height:32px;color:var(--edu-text);font-family:var(--edu-font-mono);align-items:center;padding:4px 9px;font-size:13px;line-height:1.4;display:inline-flex}.dl__chip--input{border-color:var(--edu-dg-input);background:var(--edu-dg-input);color:var(--edu-dg-input);background:#56b4e91f}.dl__chip--output{border-color:var(--edu-accent-border);background:var(--edu-accent-subtle);color:var(--edu-accent)}.dl__chip--output.is-current{border-color:var(--edu-accent);box-shadow:inset 0 0 0 1px var(--edu-accent)}.dl__chip--placeholder{border-color:var(--edu-border);background:var(--edu-bg-sunken);color:var(--edu-text-muted)}.dl__chip--stop-token{border-color:var(--edu-danger);color:var(--edu-danger);font-family:var(--edu-font-mono);background:#b91c1c1a;font-size:12px}.dl__chip-text{fill:currentColor;font-family:var(--edu-font-mono);font-size:13px}.dl__chip-text--placeholder{fill:var(--edu-text-muted)}.dl__static-note{fill:var(--edu-text-muted);font-family:var(--edu-font-sans);font-size:11px}.dl__diagram-container{padding:var(--edu-space-5);background:var(--edu-bg-sunken);margin:0 calc(var(--edu-space-5) * -1);padding-inline:var(--edu-space-5);overflow-x:auto}.dl__diagram-svg{min-width:760px;height:auto;font-family:var(--edu-font-sans);display:block}.dl__node-bg{fill:var(--edu-surface);stroke:var(--edu-border-strong);stroke-width:2px}.dl__node--prefill .dl__node-bg{fill:var(--edu-dg-process);stroke:var(--edu-dg-process)}.dl__node--prefill.is-active .dl__node-bg{stroke:var(--edu-dg-highlight);stroke-width:3px;filter:drop-shadow(0 0 4px var(--edu-dg-highlight))}.dl__node--prefill .dl__node-label,.dl__node--prefill .dl__node-sub{fill:var(--edu-text-invert)}.dl__node--cache .dl__node-bg{fill:var(--edu-dg-neutral-fill);stroke:var(--edu-dg-neutral-stroke)}.dl__node--decode .dl__node-bg{fill:var(--edu-dg-highlight);stroke:var(--edu-dg-highlight)}.dl__node--decode.is-active .dl__node-bg{stroke:var(--edu-accent);stroke-width:3px;filter:drop-shadow(0 0 4px var(--edu-accent))}.dl__node--decode .dl__node-label,.dl__node--decode .dl__node-sub{fill:var(--edu-text-invert)}.dl__node--sample .dl__node-bg{fill:var(--edu-dg-output);stroke:var(--edu-dg-output)}.dl__node--sample .dl__node-label,.dl__node--sample .dl__node-token{fill:var(--edu-text-invert)}.dl__node--stop .dl__node-bg{fill:var(--edu-dg-neutral-fill);stroke:var(--edu-dg-neutral-stroke);stroke-width:2px}.dl__node--stop.is-stopped .dl__node-bg{stroke:var(--edu-danger);stroke-width:2px}.dl__node--stop .dl__node-label{fill:var(--edu-text);font-family:var(--edu-font-sans);font-size:13px;font-weight:600}.dl__node--stop .dl__node-sub{fill:var(--edu-text-secondary);font-family:var(--edu-font-sans);font-size:11px}.dl__node--stop.is-stopped .dl__node-sub{fill:var(--edu-danger);font-weight:500}.dl__node-label{fill:var(--edu-text);font-family:var(--edu-font-sans);font-size:13px;font-weight:600}.dl__node-sub{fill:var(--edu-text-secondary);font-family:var(--edu-font-sans);font-size:11px}.dl__node-token{fill:var(--edu-text-invert);font-family:var(--edu-font-mono);font-size:12px;font-weight:500}.dl__cache-badge{pointer-events:none}.dl__badge-bg{fill:var(--edu-accent)}.dl__badge-text{fill:var(--edu-on-accent);font-family:var(--edu-font-mono);font-size:10px;font-weight:600}.dl__edge{fill:none;stroke:var(--edu-dg-edge);stroke-width:1.5px}.dl__edge-label{fill:var(--edu-text-muted);font-family:var(--edu-font-sans);font-size:10px;font-weight:500}.dl__edge--feedback{stroke:var(--edu-dg-edge);stroke-width:1.5px}.dl__edge-label--feedback{fill:var(--edu-text-muted);font-family:var(--edu-font-sans);font-size:10px;font-weight:500}.dl__edge--exit{stroke:var(--edu-dg-edge);stroke-width:1.5px}.dl__edge-label--exit{fill:var(--edu-text-muted);font-family:var(--edu-font-sans);font-size:10px;font-weight:500}.dl__readout{gap:var(--edu-space-3);margin:var(--edu-space-4) var(--edu-space-5) 0;border-block-start:1px solid var(--edu-border);grid-template-columns:repeat(3,minmax(0,1fr));padding-block-start:var(--edu-space-4);display:grid}.dl__readout-fallback{gap:var(--edu-space-3);margin:var(--edu-space-4) 0 0;padding:var(--edu-space-4);padding-inline:var(--edu-space-5);border-block-start:1px solid var(--edu-border);background:var(--edu-bg-subtle);grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.dl__readout-item{flex-direction:column;gap:2px;display:flex}.dl__readout-label{color:var(--edu-text-muted);font-family:var(--edu-font-sans);letter-spacing:.07em;text-transform:uppercase;margin:0;font-size:10px;font-weight:600;line-height:1.4}.dl__readout-value{color:var(--edu-text);font-family:var(--edu-font-sans);margin:0;font-size:20px;font-weight:600;line-height:1.2}.dl__readout-value span{color:var(--edu-text-muted);font-size:11px;font-weight:400}.dl__stop-conditions{gap:var(--edu-space-2);margin:var(--edu-space-4) var(--edu-space-5) 0;padding:var(--edu-space-4) var(--edu-space-5);background:var(--edu-bg-subtle);border-block-start:1px solid var(--edu-border);flex-direction:column;display:flex}.dl__stop-conditions-fallback{gap:var(--edu-space-2);margin:var(--edu-space-4) 0 0;padding:var(--edu-space-4) var(--edu-space-5);background:var(--edu-bg-subtle);border-block-start:1px solid var(--edu-border);flex-direction:column;display:flex}.dl__stop-row{align-items:center;gap:var(--edu-space-2);color:var(--edu-text-secondary);font-family:var(--edu-font-sans);font-size:var(--edu-text-sm);line-height:1.5;display:flex}.dl__stop-checkbox{border:2px solid var(--edu-border-strong);border-radius:var(--edu-radius-sm);background:var(--edu-surface);flex-shrink:0;justify-content:center;align-items:center;width:18px;height:18px;display:inline-flex}.dl__stop-checkbox.is-checked{border-color:var(--edu-accent);background:var(--edu-accent)}.dl__stop-checkbox.is-checked:after{content:"";border:solid var(--edu-on-accent);border-width:0 2px 2px 0;width:5px;height:9px;transform:rotate(45deg)translate(-1px,-2px)}.dl__status{padding:var(--edu-space-3) var(--edu-space-5);border-block-start:1px solid var(--edu-border);background:var(--edu-bg-subtle);color:var(--edu-text-secondary);font-family:var(--edu-font-sans);font-size:var(--edu-text-xs);margin:0;line-height:1.6}.dl__controls{align-items:center;gap:var(--edu-space-2) var(--edu-space-3);padding:var(--edu-space-4) var(--edu-space-5);border-block-start:1px solid var(--edu-border);flex-wrap:wrap;display:flex}.dl__button{min-height:40px;padding:0 var(--edu-space-3);border:1px solid var(--edu-border-strong);border-radius:var(--edu-radius-md);background:var(--edu-surface);color:var(--edu-text);font-family:var(--edu-font-sans);font-size:var(--edu-text-xs);cursor:pointer;justify-content:center;align-items:center;gap:6px;font-weight:500;line-height:1;display:inline-flex}.dl__button:hover:not(:disabled){border-color:var(--edu-text-muted);background:var(--edu-surface-hover)}.dl__button:disabled{opacity:.5;cursor:not-allowed}.dl__button:focus-visible{box-shadow:0 0 0 2px var(--edu-surface), 0 0 0 4px var(--edu-accent);outline:none}.dl__button--primary{border-color:var(--edu-accent);background:var(--edu-accent);color:var(--edu-on-accent)}.dl__button--primary:hover:not(:disabled){border-color:var(--edu-accent-hover);background:var(--edu-accent-hover)}.dl__slider{align-items:center;gap:var(--edu-space-2);min-height:40px;color:var(--edu-text-muted);font-family:var(--edu-font-sans);font-size:var(--edu-text-xs);flex:220px;display:flex}.dl__slider input{min-width:80px;accent-color:var(--edu-accent);flex:1}.dl__slider output{min-width:1.5em;color:var(--edu-text);font-family:var(--edu-font-mono);text-align:end}.dl__text-equivalent,.dl__sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.dl__text-equivalent ol{margin:0;padding:0;list-style:none}.dl__text-equivalent li{margin:0;padding:0}@media (width<=767px){.dl__header,.dl__token-strips,.dl__readout,.dl__stop-conditions,.dl__controls,.dl__status{padding-inline:var(--edu-space-4)}.dl__diagram-container{margin:0 calc(var(--edu-space-4) * -1);padding-inline:var(--edu-space-4)}.dl__readout{gap:var(--edu-space-2)}.dl__readout-value{font-size:17px}.dl__controls{flex-direction:column;align-items:stretch}.dl__button{flex:1;justify-content:center}.dl__slider{flex:100%}.dl__diagram-svg{min-width:100%}}@media (width<=640px){.dl__chips{gap:4px}.dl__chip{padding:3px 7px;font-size:12px}}@media (prefers-reduced-motion:reduce){.dl__diagram-svg *{transition:none!important;animation:none!important}}[data-theme=dark] .dl__node--prefill .dl__node-bg{fill:var(--edu-dg-process);stroke:var(--edu-dg-process)}[data-theme=dark] .dl__node--decode .dl__node-bg{fill:var(--edu-dg-highlight);stroke:var(--edu-dg-highlight)}[data-theme=dark] .dl__node--sample .dl__node-bg{fill:var(--edu-dg-output);stroke:var(--edu-dg-output)}[data-theme=dark] .dl__node--cache .dl__node-bg,[data-theme=dark] .dl__node--stop .dl__node-bg{fill:var(--edu-dg-neutral-fill);stroke:var(--edu-dg-neutral-stroke)}[data-theme=dark] .dl__node--stop.is-stopped .dl__node-bg{stroke:var(--edu-danger)}[data-theme=dark] .dl__edge,[data-theme=dark] .dl__edge--feedback,[data-theme=dark] .dl__edge--exit{stroke:var(--edu-dg-edge)}