.viz{border:1px solid var(--line);background:var(--surface);border-radius:14px;margin:2rem 0 2.4rem;padding:1.1rem 1.1rem 1rem}.viz__head{flex-wrap:wrap;justify-content:space-between;align-items:flex-start;gap:1rem;display:flex}.viz__eyebrow{color:var(--accent);letter-spacing:.14em;text-transform:uppercase;margin:0;font-size:.7rem;font-weight:750}.viz__title{margin:.2rem 0 0;font-size:1.02rem;font-weight:760;line-height:1.35}.viz__controls{flex-wrap:wrap;gap:.45rem;display:flex}.viz__btn{appearance:none;cursor:pointer;font:inherit;color:var(--text);background:var(--surface-2);border:1px solid var(--line);border-radius:999px;padding:.38rem .8rem;font-size:.78rem;font-weight:650;transition:color .16s,border-color .16s,background-color .16s}.viz__btn:hover{border-color:var(--accent);color:var(--accent)}.viz__btn:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.viz__btn[aria-pressed=true]{background:var(--accent);border-color:var(--accent);color:var(--bg)}.viz__sliders{grid-template-columns:repeat(auto-fit,minmax(210px,1fr));gap:.55rem 1rem;margin:1rem 0 0;display:grid}.viz__sliders--wide{grid-template-columns:repeat(2,minmax(0,1fr))}@media (width<=640px){.viz__sliders--wide{grid-template-columns:1fr}}.viz__sliders label{color:var(--muted);align-items:center;gap:.45rem;min-width:0;font-size:.78rem;display:flex}.viz__sliders input[type=range]{min-width:0;accent-color:var(--accent);flex:1}.viz__select{font:inherit;color:var(--text);background:var(--surface-2);border:1px solid var(--line);border-radius:6px;padding:.28rem .4rem;font-size:.78rem}.viz__sliders output{min-width:2.6ch;color:var(--text);font-variant-numeric:tabular-nums;text-align:right}.viz__stage{margin-top:.95rem}.viz__stage--split{grid-template-columns:1fr 1fr;gap:.9rem;display:grid}.viz__label{color:var(--muted);letter-spacing:.04em;margin:0 0 .3rem;font-size:.72rem}.viz__canvas{background:var(--surface-2);border-radius:8px;width:100%;height:200px;display:block}.viz__canvas--tall{height:260px}.viz__readout{min-height:1.5em;color:var(--muted);font-variant-numeric:tabular-nums;margin:.7rem 0 0;font-size:.79rem;line-height:1.5}.viz__readout strong{color:var(--text)}.viz__caption{color:var(--muted);margin:.65rem 0 0;font-size:.8rem;line-height:1.6}.viz__formula{border-left:2px solid var(--accent);background:var(--surface-2);white-space:nowrap;border-radius:0 6px 6px 0;margin:.65rem 0 0;padding:.55rem .7rem;font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,monospace;font-size:.8rem;line-height:1.5;overflow-x:auto}.viz__formula--wrap{white-space:normal}.viz__formula .katex-display{margin:0}.viz__formula .katex{font-size:1.05em}.viz__legend{color:var(--muted);flex-wrap:wrap;gap:.4rem .95rem;margin:.55rem 0 0;font-size:.74rem;display:flex}.viz__legend span{align-items:center;gap:.32rem;display:inline-flex}.viz__legend i{background:var(--accent);border-radius:2px;width:.62rem;height:.62rem;display:inline-block}.viz__legend i.is-cut{background:#ff7a7a}.viz__legend i.is-muted{background:var(--muted)}.viz__svg{background:var(--surface-2);border-radius:8px;width:100%;height:auto;display:block}.viz__edge{fill:none;stroke:var(--muted);stroke-width:1.6px;transition:stroke .18s,stroke-width .18s}.viz__edge.is-path{stroke:var(--accent);stroke-width:3.2px}.viz__edge.is-back{stroke:var(--accent);stroke-width:3.2px;stroke-dasharray:6 4}.viz__edge.is-cut{stroke:#ff7a7a;stroke-width:3.2px;stroke-dasharray:6 4}.viz__node circle{fill:var(--surface);stroke:var(--line);stroke-width:1.6px;transition:stroke .18s,stroke-width .18s}.viz__node.is-active circle{stroke:var(--accent);stroke-width:3px}.viz__node.is-reachable circle{stroke:var(--accent);stroke-width:2.4px}.viz__node text{fill:var(--text);text-anchor:middle;dominant-baseline:central;font-size:13px;font-weight:700}.viz__node .viz__node-sub{fill:var(--muted);font-size:9px;font-weight:500}.viz__edge-label{fill:var(--muted);font-variant-numeric:tabular-nums;text-anchor:middle;font-size:10.5px}.viz__edge-label.is-path{fill:var(--accent);font-weight:700}.viz__edge-label.is-cut{fill:#ff7a7a;font-weight:700}.viz__matrix{border-collapse:collapse;font-variant-numeric:tabular-nums;width:100%;font-size:.75rem}.viz__matrix th,.viz__matrix td{border:1px solid var(--line);text-align:center;padding:.28rem .25rem}.viz__matrix th{color:var(--muted);background:var(--surface-2);font-weight:650}.viz__matrix td{color:var(--text)}.viz__matrix td.is-inf{color:var(--muted)}.viz__matrix td.is-k{background:color-mix(in srgb, var(--accent) 14%, transparent)}.viz__matrix td.is-changed{animation:1.1s viz-flash}.viz__matrix tr.is-k th{color:var(--accent)}.viz__scroll{border-radius:6px;max-height:240px;overflow-y:auto}.ni{padding:.2rem 0 0}.ni__axis{border-bottom:1px solid var(--line);height:.9rem;margin:0 0 .2rem;position:relative}.ni__axis span{color:var(--muted);font-size:.68rem;position:absolute;bottom:-.95rem}.ni__axis span:first-child{left:0}.ni__axis span:nth-child(2){right:0}.ni__target{background:var(--accent);width:2px;height:.6rem;position:absolute;bottom:-.3rem;transform:translate(-1px)}.ni__list{gap:.4rem;margin:1.3rem 0 0;padding:0;list-style:none;display:grid}.ni__row{grid-template-columns:10.5rem minmax(0,1fr);align-items:center;gap:.55rem;display:grid}.ni__label{color:var(--muted);font-variant-numeric:tabular-nums;font-size:.7rem}.ni__track{background:var(--surface-2);border-radius:3px;height:.8rem;position:relative;overflow:hidden}.ni__bar{background:var(--accent);border-radius:3px;transition:left .3s,width .3s;position:absolute;top:0;bottom:0}.rs__array{flex-wrap:wrap;gap:.35rem;margin:.2rem 0 .8rem;display:flex}.rs__chip{border:1px solid var(--line);background:var(--surface);font-variant-numeric:tabular-nums;border-radius:5px;align-items:center;gap:.1rem;padding:.18rem .38rem;font-size:.74rem;display:inline-flex}.rs__chip b{color:var(--accent);font-weight:800}.rs__scroll{padding-bottom:.2rem;overflow-x:auto}.rs__buckets{grid-template-columns:repeat(10,minmax(38px,1fr));gap:.3rem;min-width:440px;display:grid}.rs__bucket{border:1px solid var(--line);background:var(--surface-2);border-radius:6px;min-height:3.4rem;padding:.25rem}.rs__bucket header{color:var(--muted);text-align:center;margin-bottom:.2rem;font-size:.68rem}.rs__bucket .rs__chip{justify-content:center;margin:.15rem 0;padding:.08rem .2rem;font-size:.66rem;display:flex}.viz__node.is-scc-0 circle{stroke:#8ab4ff;stroke-width:3px}.viz__node.is-scc-1 circle{stroke:#ffb86b;stroke-width:3px}.viz__node.is-scc-2 circle{stroke:#7ee0b8;stroke-width:3px}.viz__edge.is-scc-0{stroke:#8ab4ff;stroke-width:3px}.viz__edge.is-scc-1{stroke:#ffb86b;stroke-width:3px}.viz__edge.is-scc-2{stroke:#7ee0b8;stroke-width:3px}.viz__node.is-a circle{stroke:var(--muted)}.viz__node.is-b circle{stroke:var(--accent)}.viz__edge.is-map{stroke:var(--accent);stroke-width:2px}@media (width<=640px){.ni__row{grid-template-columns:1fr;gap:.1rem}.rs__scroll{overflow-x:visible}.rs__buckets{grid-template-columns:repeat(5,minmax(0,1fr));min-width:0}}@keyframes viz-flash{0%{background:var(--accent);color:var(--bg)}to{background:0 0}}.viz__stage--matrix{grid-template-columns:minmax(0,1.15fr) minmax(0,1fr);align-items:start;gap:1rem;display:grid}@media (width<=760px){.viz__stage--split,.viz__stage--matrix{grid-template-columns:1fr}.viz__canvas{height:180px}}@media (prefers-reduced-motion:reduce){.viz *,.viz :before,.viz :after{transition:none!important;animation:none!important}}