body:has(#peterson-playground) main>.prose>.meta,body:has(#peterson-playground) main>.prose>.meta+p{display:none}#peterson-playground{--pg-bg:#0b101a;--pg-panel:#111b2b;--pg-ink:#eff5ff;--pg-muted:#94a6bd;--pg-line:#26374f;--pg-one:#5bdbc5;--pg-two:#b3a0ff;color:var(--pg-ink);font:16px/1.55 Arial,Helvetica,sans-serif}#peterson-playground *{box-sizing:border-box}#peterson-playground [hidden]{display:none!important}#peterson-playground p{margin:0}#peterson-playground button,#peterson-playground input{font:inherit}#peterson-playground button{border:1px solid var(--pg-line);color:var(--pg-muted);cursor:pointer;background:0 0;border-radius:5px;min-height:40px;padding:8px 13px;transition:color .15s,background .15s,border-color .15s}#peterson-playground button:hover:not(:disabled){color:#fff;background:#1b2b40;border-color:#627d9f}#peterson-playground button:disabled{opacity:.35;cursor:default}#peterson-playground button[aria-pressed=true]{color:var(--pg-ink);background:#26384f;border-color:#607997}#peterson-playground :is(button,input,a,summary):focus-visible{outline-offset:4px;outline:2px solid #8dc8ff}#peterson-playground a{color:#a7cfff}#peterson-playground .pg-chapters{border-bottom:1px solid var(--pg-line);gap:24px;display:flex;overflow-x:auto}#peterson-playground .pg-chapters button{white-space:nowrap;border:0;border-bottom:2px solid #0000;border-radius:0;padding:0 0 12px;font-size:14px}#peterson-playground .pg-chapters button[aria-selected=true]{color:var(--pg-ink);border-bottom-color:var(--pg-one)}#peterson-playground .pg-chapter-copy{color:#aebed2;padding:16px 0 20px;font-size:16px}#peterson-playground .pg-lab{background:var(--pg-bg);border:1px solid var(--pg-line);border-radius:8px;overflow:hidden}#peterson-playground .pg-lab-top{border-bottom:1px solid #1e2b3e;justify-content:space-between;align-items:center;gap:16px;padding:15px 22px;font-size:14px;display:flex}#peterson-playground .pg-run-heading{align-items:center;gap:10px;display:flex}#peterson-playground .pg-run-meta{color:var(--pg-muted);font:12px/1.4 var(--mono);gap:20px;display:flex}#peterson-playground .pg-live-dot{background:var(--pg-one);border-radius:50%;width:6px;height:6px;box-shadow:0 0 12px #5bdbc580}#peterson-playground .pg-live-dot.is-paused{background:var(--pg-muted);box-shadow:none}#peterson-playground .pg-arena{width:100%;max-height:470px;display:block}#peterson-playground .pg-memory-bus{stroke:#2b405b;stroke-width:1px;fill:none}#peterson-playground .pg-memory-cell rect{fill:#142136;stroke:#38516f;transition:stroke .2s,fill .2s}#peterson-playground .pg-memory-cell.is-active rect{stroke:var(--access-color,#e7f3ff);fill:#243b55}#peterson-playground .pg-memory-key{fill:#adbed4;font:14px var(--mono)}#peterson-playground .pg-memory-value{fill:#eef6ff;font:bold 20px var(--mono)}#peterson-playground .pg-track{fill:none;stroke:#283951;stroke-width:2px}#peterson-playground .pg-travel{fill:none;stroke:currentColor;stroke-width:2px;opacity:.65}#peterson-playground .pg-stop{fill:var(--pg-bg);stroke:#55718e;stroke-width:1.5px}#peterson-playground .pg-critical-zone{fill:url(#pg-zone);stroke:#36556a;transition:stroke .3s,fill .3s}#peterson-playground .pg-critical-zone.is-occupied{stroke:#5bdbc5}#peterson-playground .pg-occupancy{fill:#aac1d2;font:14px var(--mono)}#peterson-playground .pg-svg-label{fill:#8aa0ba;font:11px var(--mono);letter-spacing:.7px}#peterson-playground .pg-process-label{fill:currentColor;font:bold 18px var(--mono)}#peterson-playground .pg-p1{color:var(--pg-one)}#peterson-playground .pg-p2{color:var(--pg-two)}#peterson-playground .pg-token{transition:transform .52s cubic-bezier(.22,.7,.15,1)}#peterson-playground .pg-token-aura{fill:currentColor;opacity:.12}#peterson-playground .pg-token-body{fill:currentColor;stroke:#0b101a;stroke-width:3px}#peterson-playground .pg-token text{fill:#091321;font:bold 13px var(--mono)}#peterson-playground .pg-token.is-active .pg-token-aura{animation:.65s ease-out pg-pulse}@keyframes pg-pulse{0%{r:19;opacity:.55}to{r:38;opacity:0}}#peterson-playground .pg-process-state{grid-template-columns:1fr 1fr;gap:24px;padding:0 22px 18px;display:grid}#peterson-playground .pg-process-state>div{grid-template-columns:auto 1fr;align-items:baseline;gap:4px 10px;display:grid}#peterson-playground .pg-process-state strong{font:13px var(--mono)}#peterson-playground .pg-process-state span{color:#c1d0df;font-size:14px}#peterson-playground .pg-process-state small{color:var(--pg-muted);font:12px/1.5 var(--mono);grid-column:2;min-height:18px}#peterson-playground .pg-process-state .is-stale{color:#f6cb87}#peterson-playground .pg-action-bar{min-height:54px;font:14px/1.5 var(--mono);background:#122035;border-block:1px solid #233349;align-items:center;gap:14px;padding:14px 22px;display:flex}#peterson-playground .pg-action-index{color:#607d9e}#peterson-playground .pg-safety{color:#80c7ba;white-space:nowrap;margin-left:auto;font-size:12px}#peterson-playground .pg-playback{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px;padding:14px 22px 6px;display:flex}#peterson-playground .pg-transport,#peterson-playground .pg-speed{flex-wrap:wrap;gap:5px;display:flex}#peterson-playground .pg-playback button{font-size:14px}#peterson-playground .pg-playback .pg-primary{background:var(--pg-ink);color:#0b101a;border-color:var(--pg-ink);min-width:84px}#peterson-playground .pg-speed button{border:0;min-height:34px;padding:5px 9px;font-size:12px}#peterson-playground .pg-timeline{padding:16px 22px 18px}#peterson-playground .pg-section-label{color:var(--pg-muted);justify-content:space-between;gap:10px;margin-bottom:12px;font-size:12px;display:flex}#peterson-playground .pg-timeline-body{gap:10px;display:flex}#peterson-playground .pg-lane-labels{font:11px/20px var(--mono);grid-template-rows:20px 20px;display:grid}#peterson-playground .pg-event-strip{flex:1;gap:3px;padding:1px;display:flex;overflow-x:auto}#peterson-playground .pg-event-strip button{border:0;border-radius:0;flex:1;min-width:14px;max-width:35px;min-height:40px;padding:0;position:relative}#peterson-playground .pg-event-strip button:before{content:"";opacity:.2;background:currentColor;border-radius:2px;width:100%;height:12px;transition:opacity .2s,box-shadow .2s;position:absolute;top:4px;left:0}#peterson-playground .pg-event-strip button.pg-p2:before{top:24px}#peterson-playground .pg-event-strip button.is-past:before{opacity:.75}#peterson-playground .pg-event-strip button[aria-current=true]:before{opacity:1;box-shadow:0 0 12px}#peterson-playground .pg-event-strip button.is-entry:after{content:"";background:#05121e;border-radius:50%;width:4px;height:4px;position:absolute;top:8px;left:calc(50% - 2px)}#peterson-playground .pg-event-strip button.pg-p2.is-entry:after{top:28px}#peterson-playground .pg-scrubber{align-items:center;gap:14px;margin:10px 0 0 24px;display:flex}#peterson-playground .pg-scrubber input{accent-color:var(--pg-one);width:100%;min-width:0;height:16px}#peterson-playground .pg-scrubber output{color:var(--pg-muted);font:12px var(--mono);white-space:nowrap}#peterson-playground .pg-explanation{align-items:baseline;gap:20px;min-height:50px;margin:16px 0 22px;display:flex}#peterson-playground .pg-explanation p{color:#aec0d5;flex:1;font-size:14px}#peterson-playground [data-run-result]{font:13px var(--mono);color:var(--pg-one)}#peterson-playground .pg-schedules{margin-bottom:24px}#peterson-playground .pg-schedule-list{gap:8px;padding:1px 1px 6px;display:flex;overflow-x:auto}#peterson-playground .pg-schedule-list button{text-align:left;min-width:140px;font:12px var(--mono);flex:1;padding:10px}#peterson-playground .pg-schedule-list button[aria-current=true]{border-color:var(--pg-one);color:var(--pg-ink);background:#122531}#peterson-playground .pg-schedule-list svg{width:120px;height:26px;margin-top:8px;display:block}#peterson-playground .pg-details,#peterson-playground .pg-source{border-top:1px solid var(--pg-line);color:var(--pg-muted);padding:16px 0;font-size:14px}#peterson-playground summary{color:#c6d7e8;cursor:pointer;min-height:26px}#peterson-playground .pg-source p{margin:12px 0}#peterson-playground .pg-source-links{flex-wrap:wrap;gap:12px 22px;display:flex}#peterson-playground .pg-manual-controls{flex-wrap:wrap;gap:10px;margin-top:16px;display:flex}#peterson-playground .pg-manual-controls>div{gap:4px;display:flex}#peterson-playground .pg-manual-controls button{font-size:13px}#peterson-playground pre{color:#b8cadf;font:13px/1.9 var(--mono);background:#101c2b;padding:16px;overflow-x:auto}#peterson-playground .pg-code-active{background:#23384d}#peterson-playground input[type=text]{width:100%;color:var(--pg-ink);border:1px solid var(--pg-line);background:#101c2b;padding:10px;display:block}#peterson-playground .pg-proof{border:1px solid var(--pg-line);background:#101c2a;flex-wrap:wrap;align-items:center;gap:24px;margin-bottom:24px;padding:24px;display:flex}#peterson-playground .pg-proof strong{font:24px/1.8 var(--mono);display:block}#peterson-playground .pg-proof-conclusion{flex:1;min-width:220px;font-size:16px}#peterson-playground .pg-proof-conclusion small{color:var(--pg-muted);margin-top:6px;display:block}#peterson-playground .pg-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}@media (width<=650px){#peterson-playground .pg-chapters{gap:20px}#peterson-playground .pg-lab-top{padding:12px}#peterson-playground .pg-run-meta{gap:10px}#peterson-playground [data-read-order]{display:none}#peterson-playground .pg-process-state{gap:12px;padding:0 12px 14px}#peterson-playground .pg-action-bar{padding:12px;font-size:12px}#peterson-playground .pg-safety{display:none}#peterson-playground .pg-playback{padding:12px 12px 0}#peterson-playground .pg-playback button{padding:7px 10px;font-size:12px}#peterson-playground .pg-timeline{padding:14px 12px}#peterson-playground .pg-explanation{display:block}#peterson-playground [data-run-result]{margin-top:8px;display:block}#peterson-playground .pg-process-state small{font-size:11px}#peterson-playground .pg-visual-wrap{overflow-x:auto}#peterson-playground .pg-arena{min-width:600px;min-height:252px}}@media (prefers-reduced-motion:reduce){#peterson-playground *,#peterson-playground :before,#peterson-playground :after{transition:none!important;animation:none!important}}#peterson-playground .pg-n-lab{color:#eff5ff;background:#0b101a;border:1px solid #26374f;border-radius:12px;overflow:hidden}#peterson-playground .pg-n-header{background:#111b2b;border-bottom:1px solid #26374f;justify-content:space-between;align-items:center;gap:1rem;padding:1.15rem 1.25rem;display:flex}#peterson-playground .pg-n-header h3{letter-spacing:-.01em;margin:.15rem 0 0;font-size:1.12rem}#peterson-playground .pg-n-eyebrow{color:#94a6bd;font:700 .68rem/1.2 var(--mono);letter-spacing:.12em;text-transform:uppercase;margin:0}#peterson-playground .pg-n-runstate{color:#94a6bd;font:.72rem var(--mono);align-items:center;gap:.5rem;display:flex}#peterson-playground .pg-n-runstate i{background:#52637a;border-radius:50%;width:7px;height:7px;box-shadow:0 0 0 4px #52637a18}#peterson-playground .pg-n-runstate i.is-running{background:#5bdbc5;box-shadow:0 0 0 4px #5bdbc528,0 0 16px #5bdbc5}#peterson-playground .pg-n-toolbar{background:#0e1725;border-bottom:1px solid #26374f;flex-wrap:wrap;align-items:center;gap:.75rem 1.2rem;padding:.75rem 1rem;display:flex}#peterson-playground .pg-n-group,#peterson-playground .pg-n-actions{align-items:center;gap:.35rem;display:flex}#peterson-playground .pg-n-group>span{color:#94a6bd;font:.68rem var(--mono);text-transform:uppercase;letter-spacing:.08em;margin-right:.25rem}#peterson-playground .pg-n-toolbar button{border-color:#344861;border-radius:5px;min-height:32px;padding:.32rem .62rem;font-size:.76rem}#peterson-playground .pg-n-toolbar button[aria-pressed=true]{color:#0b101a;background:#b3a0ff;border-color:#b3a0ff;font-weight:700}#peterson-playground .pg-n-actions{margin-left:auto}#peterson-playground .pg-n-toolbar .pg-n-primary{color:#071812;background:#5bdbc5;border-color:#5bdbc5;font-weight:700}#peterson-playground .pg-n-stage{background:radial-gradient(circle at 34% 48%,#15243a 0,#0b101a 53%);overflow-x:auto}#peterson-playground .pg-n-scene{aspect-ratio:1000/420;width:100%;min-width:760px;height:auto;display:block}#peterson-playground .pg-n-boundary{stroke:#26374f;stroke-width:1.5px;stroke-dasharray:3 6}#peterson-playground .pg-n-axis-title,#peterson-playground .pg-n-level,#peterson-playground .pg-n-memory-title{fill:#94a6bd;font:700 11px var(--mono);letter-spacing:1px}#peterson-playground .pg-n-capacity-label{fill:#eff5ff;font:700 13px var(--mono)}#peterson-playground .pg-n-count{fill:#71859e;font:11px var(--mono)}#peterson-playground .pg-n-count.is-full{fill:#5bdbc5}#peterson-playground .pg-n-memory-panel{fill:#111b2b;stroke:#26374f}#peterson-playground .pg-n-cell{fill:#0b101a;stroke:#2e425d;stroke-width:1px;transition:fill .18s,stroke .18s}#peterson-playground .pg-n-cell.is-active{fill:#173b3a;stroke:#5bdbc5;stroke-width:2px;filter:url(#pg-n-glow)}#peterson-playground .pg-n-cell-name{fill:#94a6bd;font:11px var(--mono)}#peterson-playground .pg-n-cell-value{fill:#eff5ff;font:700 12px var(--mono)}#peterson-playground .pg-n-actor{color:var(--actor-color);transform-box:view-box;will-change:transform;transition:transform .48s cubic-bezier(.2,.8,.2,1),opacity .25s}#peterson-playground .pg-n-actor circle{fill:#0b101a;stroke:var(--actor-color);stroke-width:3px}#peterson-playground .pg-n-actor text{fill:var(--actor-color);font:700 10px var(--mono)}#peterson-playground .pg-n-actor.is-active circle{fill:var(--actor-color);filter:url(#pg-n-glow)}#peterson-playground .pg-n-actor.is-active text{fill:#0b101a}#peterson-playground .pg-n-actor.is-done{opacity:.18}#peterson-playground .pg-n-access{fill:none;stroke:#5bdbc5;stroke-width:1.8px;stroke-linecap:round;stroke-dasharray:7 6;filter:url(#pg-n-glow);animation:.7s linear infinite pg-n-flow}@keyframes pg-n-flow{to{stroke-dashoffset:-13px}}#peterson-playground .pg-n-readout{background:#111b2b;border-top:1px solid #26374f;grid-template-columns:1.6fr 1fr .45fr;display:grid}#peterson-playground .pg-n-readout>div{border-right:1px solid #26374f;min-width:0;padding:.7rem 1rem}#peterson-playground .pg-n-readout>div:last-child{border-right:0}#peterson-playground .pg-n-readout span{color:#71859e;font:.65rem var(--mono);letter-spacing:.08em;text-transform:uppercase;display:block}#peterson-playground .pg-n-readout strong{color:#dbe7f6;font:500 .75rem/1.3 var(--mono);text-overflow:ellipsis;white-space:nowrap;margin-top:.22rem;display:block;overflow:hidden}#peterson-playground .pg-n-status{color:#94a6bd;min-height:2.25rem;font:.78rem/1.4 var(--mono);border-top:1px solid #26374f;margin:0;padding:.65rem 1rem}#peterson-playground .pg-n-details{color:#94a6bd;border-top:1px solid #26374f;margin-top:.8rem;font-size:.88rem}#peterson-playground .pg-n-details summary{color:#eff5ff;padding:.75rem 0;font-size:.85rem}#peterson-playground .pg-n-details p{max-width:72ch}@media (width<=700px){#peterson-playground .pg-n-header{align-items:flex-start}#peterson-playground .pg-n-actions{width:100%;margin-left:0}#peterson-playground .pg-n-actions button{flex:1}#peterson-playground .pg-n-readout{grid-template-columns:1fr 1fr}#peterson-playground .pg-n-readout>div:first-child{border-bottom:1px solid #26374f;grid-column:1/-1}}@media (prefers-reduced-motion:reduce){#peterson-playground .pg-n-actor,#peterson-playground .pg-n-cell{transition:none}#peterson-playground .pg-n-access{animation:none}}#peterson-playground .pg-n-lab.is-paused .pg-n-access{animation-play-state:paused}.exploration-frame[data-astro-cid-ocjtusmj]{border:1px solid var(--rule);background:#fff;width:100%;min-height:34rem}