:root{--bg:#f2f4f5;--surface:#fff;--bench:#e8ecef;--ink:#142029;--muted:#53616d;--line:#d2d9df;--accent:#c24f27;--accent-soft:#f6e3da;--on:#0f7a5a;--on-soft:#dcf0e7;--off:#a2acb5;--bad:#b8322b;--bad-soft:#f7dedb;--arc:#55636f;--shadow:0 1px 2px #1420290d, 0 10px 30px -12px #14202924;--font-display:"Bricolage Grotesque", "Segoe UI", system-ui, sans-serif;--font-body:"Atkinson Hyperlegible", "Segoe UI", system-ui, -apple-system, sans-serif;--font-mono:"JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--radius:16px;--topbar-h:68px;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#0f151a;--surface:#161f27;--bench:#1c2630;--ink:#e3e9ee;--muted:#98a6b2;--line:#2a3641;--accent:#ee7b4d;--accent-soft:#3b2219;--on:#3cc596;--on-soft:#123a2d;--off:#54616c;--bad:#f26b61;--bad-soft:#401c1a;--arc:#98a6b2;--shadow:0 1px 2px #0000004d, 0 12px 32px -14px #0009;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}}:root[data-theme=dark]{--bg:#0f151a;--surface:#161f27;--bench:#1c2630;--ink:#e3e9ee;--muted:#98a6b2;--line:#2a3641;--accent:#ee7b4d;--accent-soft:#3b2219;--on:#3cc596;--on-soft:#123a2d;--off:#54616c;--bad:#f26b61;--bad-soft:#401c1a;--arc:#98a6b2;--shadow:0 1px 2px #0000004d, 0 12px 32px -14px #0009;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{background:var(--bg);min-height:100vh;color:var(--ink);font-family:var(--font-body);-webkit-font-smoothing:antialiased;margin:0;font-size:16px;line-height:1.6;overflow-x:hidden}h1,h2,p{margin:0}button,select,input{font:inherit;color:inherit}kbd{font-family:var(--font-mono);border:1px solid var(--line);background:var(--bench);color:var(--muted);border-bottom-width:2px;border-radius:5px;padding:3px 6px;font-size:11px;line-height:1}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.topbar{z-index:10;background:color-mix(in srgb, var(--bg) 82%, transparent);-webkit-backdrop-filter:blur(12px)saturate(1.4);border-bottom:1px solid var(--line);position:sticky;top:0}.topbar-inner{max-width:1320px;min-height:var(--topbar-h);padding:10px max(16px, env(safe-area-inset-left));flex-wrap:wrap;align-items:center;gap:16px 24px;margin:0 auto;display:flex}.brand{color:var(--ink);align-items:center;gap:12px;margin-right:auto;text-decoration:none;display:flex}.logo{flex:none;width:36px;height:36px}.logo-bg{fill:var(--ink)}.logo-ring,.logo-line{fill:none;stroke:var(--bg);stroke-width:2px;stroke-linecap:round}.logo-dot{fill:var(--accent)}.logo-bar{fill:var(--on)}.brand-name{font-family:var(--font-display);letter-spacing:-.01em;font-size:20px;font-weight:700}.picker{align-items:center;gap:6px;display:flex}.picker-label{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);margin-right:4px;font-size:11px}.select-wrap{position:relative}.select-wrap:after{content:"";border-right:2px solid var(--muted);border-bottom:2px solid var(--muted);pointer-events:none;width:7px;height:7px;position:absolute;top:50%;right:14px;transform:translateY(-70%)rotate(45deg)}select{appearance:none;border:1px solid var(--line);background:var(--surface);cursor:pointer;min-width:250px;box-shadow:var(--shadow);border-radius:10px;padding:9px 40px 9px 14px;font-size:15px;font-weight:700;transition:border-color .15s}select:hover{border-color:var(--muted)}.icon-btn{border:1px solid var(--line);background:var(--surface);cursor:pointer;border-radius:10px;place-items:center;width:38px;height:38px;padding:0;transition:border-color .15s,transform .15s;display:inline-grid}.icon-btn:hover{border-color:var(--muted)}.icon-btn:active{transform:scale(.94)}.icon-btn svg{fill:none;stroke:currentColor;stroke-width:2px;stroke-linecap:round;stroke-linejoin:round;width:18px;height:18px}@media (width<=640px){.topbar-inner{gap:10px}.theme-btn{order:2}.picker{order:3;width:100%}.picker-label{display:none}.select-wrap{flex:1;min-width:0}select{width:100%;min-width:0}.layout{gap:14px;padding-top:16px}.card{padding:16px}}.theme-btn .icon-sun{display:none}:root[data-theme=dark] .theme-btn .icon-sun{display:block}:root[data-theme=dark] .theme-btn .icon-moon{display:none}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .theme-btn .icon-sun{display:block}:root:not([data-theme=light]) .theme-btn .icon-moon{display:none}}.layout{max-width:1320px;padding:24px max(16px, env(safe-area-inset-left)) 32px;grid-template-columns:minmax(0,1fr) 380px;grid-template-areas:"stage check""readout check""rules legend";align-items:start;gap:20px;margin:0 auto;display:grid}.stage-card{grid-area:stage}.check-card{grid-area:check}.readout-card{grid-area:readout}.rules-card{grid-area:rules}.legend-card{grid-area:legend}.check-card{top:calc(var(--topbar-h) + 16px);position:sticky}@media (width<=1040px){.layout{grid-template-columns:minmax(0,1fr);grid-template-areas:"stage""check""readout""rules""legend"}.check-card{position:static}}.card{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);min-width:0;box-shadow:var(--shadow);padding:18px 20px}.panel-title{font-family:var(--font-mono);letter-spacing:.09em;text-transform:uppercase;color:var(--muted);align-items:center;gap:8px;margin-bottom:12px;font-size:11px;font-weight:400;display:flex}.pulse-dot{background:var(--on);width:8px;height:8px;box-shadow:0 0 0 0 color-mix(in srgb, var(--on) 50%, transparent);border-radius:50%}body.busy .pulse-dot{background:var(--accent);animation:1s ease-out infinite live}.stage-head{flex-wrap:wrap;justify-content:space-between;align-items:flex-end;gap:16px;margin-bottom:14px;display:flex}.eyebrow{font-family:var(--font-mono);letter-spacing:.09em;text-transform:uppercase;color:var(--accent);font-size:11px}h1{font-family:var(--font-display);letter-spacing:-.02em;text-wrap:balance;font-size:clamp(24px,3vw,32px);font-weight:700;line-height:1.1}.stats{gap:8px;margin:0;display:flex}.stat{background:var(--bench);border-radius:12px;min-width:82px;padding:7px 12px}.stat dt{font-family:var(--font-mono);letter-spacing:.09em;text-transform:uppercase;color:var(--muted);font-size:10px}.stat dd{font-family:var(--font-mono);font-variant-numeric:tabular-nums;align-items:baseline;gap:6px;margin:0;font-size:20px;font-weight:600;line-height:1.3;display:flex}.delta{border-radius:999px;padding:1px 6px;font-size:11px;font-weight:600;animation:.35s ease-out pop}.delta.up{background:var(--on-soft);color:var(--on)}.delta.down{background:var(--bad-soft);color:var(--bad)}.delta.zero{background:var(--surface);color:var(--muted)}.stage{border:1px solid var(--line);background-color:var(--bench);background-image:radial-gradient(circle, var(--line) 1.1px, transparent 1.4px);background-size:20px 20px;border-radius:12px;overflow-x:auto}.stage svg{width:100%;min-width:540px;height:auto;display:block}.stage svg.enter{animation:.4s ease-out enter}.toolbar{flex-wrap:wrap;align-items:center;gap:8px;margin-top:14px;display:flex}.toolbar .spacer{flex:1}.btn{border:1px solid var(--line);background:var(--surface);cursor:pointer;border-radius:10px;align-items:center;gap:8px;padding:8px 12px;font-size:14px;font-weight:700;line-height:1.2;transition:border-color .15s,background .15s,color .15s,transform .15s;display:inline-flex}.btn:hover:not(:disabled){border-color:var(--muted);transform:translateY(-1px)}.btn:active:not(:disabled){transform:translateY(0)scale(.97)}.btn:disabled{opacity:.45;cursor:not-allowed}.btn svg{fill:none;stroke:currentColor;stroke-width:2px;stroke-linecap:round;stroke-linejoin:round;width:16px;height:16px}.btn svg .fill{fill:currentColor}.btn .icon-pause{display:none}.btn.playing{background:var(--accent);border-color:var(--accent);color:var(--surface)}.btn.playing .icon-play{display:none}.btn.playing .icon-pause{display:block}.btn.playing kbd{border-color:color-mix(in srgb, var(--surface) 50%, transparent);color:var(--surface);background:0 0}.speed{align-items:center;gap:8px;display:flex}.speed-label{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);font-size:11px}.segmented{background:var(--bench);border:1px solid var(--line);border-radius:10px;padding:3px;display:inline-flex}.segmented label{cursor:pointer;position:relative}.segmented input{opacity:0;cursor:pointer;margin:0;position:absolute;inset:0}.segmented span{color:var(--muted);white-space:nowrap;border-radius:7px;padding:5px 10px;font-size:13px;transition:background .15s,color .15s,box-shadow .15s;display:block}.segmented input:checked+span{background:var(--surface);color:var(--ink);font-weight:700;box-shadow:0 1px 3px #0000001f}.segmented input:focus-visible+span{outline:2px solid var(--accent);outline-offset:1px}@media (width<=720px){.btn kbd,.toolbar .spacer{display:none}.stats{width:100%}.stat{flex:1;min-width:0}}.check.fresh>*{animation:.3s ease-out both rise}.check.fresh>:nth-child(2){animation-delay:40ms}.check.fresh>:nth-child(3){animation-delay:80ms}.check.fresh>:nth-child(4){animation-delay:.12s}.check-message{background:var(--bench);border-radius:12px;padding:14px 16px;font-size:16px;line-height:1.6}.check-title{font-family:var(--font-display);letter-spacing:-.01em;font-size:22px;font-weight:500;line-height:1.25}.check-title strong{color:var(--accent);font-weight:700}.rule-block{margin-top:14px}.rule-head{color:var(--muted);font-size:14px;line-height:1.45}.rule-name{color:var(--ink);font-weight:700}.rule-lines{flex-direction:column;gap:6px;margin:8px 0 0;padding:0;list-style:none;display:flex}.rule-lines li{background:var(--bench);font-family:var(--font-mono);font-variant-numeric:tabular-nums;border-radius:10px;align-items:flex-start;gap:10px;padding:7px 10px;font-size:13px;line-height:1.5;display:flex}.rule-lines li.bad{background:var(--bad-soft)}.rule-lines .mark{width:20px;height:20px;font-family:var(--font-body);color:var(--surface);background:var(--on);border-radius:50%;flex:none;place-items:center;font-size:12px;font-weight:700;display:grid}.rule-lines .bad .mark{background:var(--bad)}.line-text{overflow-wrap:anywhere;min-width:0}.verdict{border-radius:12px;margin-top:14px;padding:11px 14px;font-size:15px;font-weight:700;line-height:1.45}.verdict.ok{background:var(--on-soft);color:var(--on)}.verdict.bad{background:var(--bad-soft);color:var(--bad)}.readout{grid-template-columns:max-content minmax(0,1fr);gap:12px 18px;margin:0;display:grid}.readout dt{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);padding-top:4px;font-size:11px}.readout dd{flex-wrap:wrap;align-items:center;gap:6px;min-width:0;margin:0;display:flex}#r-next{display:block}@media (width<=520px){.readout{grid-template-columns:minmax(0,1fr);gap:4px}.readout dd{margin-bottom:10px}}.empty{color:var(--muted);font-style:italic}.sep,.arrow{color:var(--muted);font-family:var(--font-mono);font-size:13px}.seq-more{color:var(--muted)}.chip{border:1px solid var(--line);background:var(--bench);font-family:var(--font-mono);white-space:nowrap;border-radius:999px;align-items:baseline;gap:6px;padding:2px 10px;font-size:13px;line-height:1.6;display:inline-flex}.chip-name{color:var(--muted)}.chip-value{font-variant-numeric:tabular-nums;font-weight:600}.chip.changed{animation:1.1s ease-out changed}.chip-btn{cursor:pointer;background:var(--on-soft);color:var(--on);border-color:#0000;font-weight:600;transition:transform .15s,box-shadow .15s}.chip-btn:hover{box-shadow:0 0 0 1px var(--on);transform:translateY(-1px)}body.busy .chip-btn{opacity:.55;cursor:progress}.chip.seq.latest{background:var(--accent-soft);color:var(--accent);border-color:#0000;font-weight:600;animation:.35s ease-out pop}.next-main,.next-conflict,.next-sub{font-size:15px;line-height:1.55}.next-conflict{color:var(--accent);margin-top:6px}.next-sub{color:var(--muted);margin-top:6px}.tag{font-family:var(--font-mono);letter-spacing:.06em;text-transform:uppercase;vertical-align:1px;border-radius:999px;margin-right:8px;padding:2px 8px;font-size:11px;display:inline-block}.tag.free{background:var(--on-soft);color:var(--on)}.tag.forced{background:var(--bench);color:var(--ink);box-shadow:inset 0 0 0 1px var(--line)}.tag.stuck{background:var(--bad-soft);color:var(--bad)}.tag.konf{background:var(--accent-soft);color:var(--accent)}.formula{flex-direction:column;gap:10px;margin:0;padding:0;list-style:none;display:flex}.formula li{grid-template-columns:64px minmax(0,1fr);align-items:baseline;gap:2px 12px;display:grid}.formula-name{grid-row:span 2;font-size:14px;font-weight:700}.formula code{font-family:var(--font-mono);overflow-wrap:anywhere;font-size:14px}.formula-text{color:var(--muted);font-size:13.5px}.note{border-top:1px dashed var(--line);color:var(--muted);margin-top:14px;padding-top:12px;font-size:13.5px}.legend{grid-template-columns:repeat(auto-fill,minmax(150px,1fr));gap:8px;margin:0;padding:0;list-style:none;display:grid}.legend li{background:var(--bench);color:var(--muted);border-radius:10px;align-items:center;gap:10px;padding:6px 10px;font-size:13px;line-height:1.3;display:flex}.legend svg{flex:none;width:42px;height:32px}.legend b{color:var(--ink);display:block}.footer{max-width:1320px;padding:8px max(16px, env(safe-area-inset-left)) 40px;color:var(--muted);flex-direction:column;gap:10px;margin:0 auto;font-size:13px;display:flex}.shortcuts{flex-wrap:wrap;gap:8px 18px;display:flex}.shortcuts span{align-items:center;gap:5px;display:inline-flex}.pn-place{fill:var(--surface);stroke:var(--ink);stroke-width:1.5px;transition:stroke .2s,stroke-width .2s}.pn-token{fill:var(--ink)}.pn-count{fill:var(--ink);font-family:var(--font-mono);font-size:16px;font-weight:600}.pn-cap{fill:var(--accent);font-family:var(--font-mono);font-size:12px}.pn-label{fill:var(--muted);font-family:var(--font-body);font-size:13px}.pn-label,.pn-weight,.pn-cap,.pn-count{paint-order:stroke;stroke:var(--bench);stroke-width:4px;stroke-linejoin:round}.pn-count{stroke:var(--surface)}.pn-weight{fill:var(--ink);font-family:var(--font-mono);font-size:14px;font-weight:600}.pn-arc{fill:none;stroke:var(--arc);stroke-width:1.3px;transition:stroke .25s,stroke-width .25s}.pn-arc.active{stroke:var(--accent);stroke-width:2px}.pn-head{fill:none;stroke:var(--arc);stroke-width:1.5px;stroke-linecap:round;stroke-linejoin:round}.pn-head.active{stroke:var(--accent);stroke-width:1.8px}.pn-tr{fill:var(--off);transform-box:fill-box;transform-origin:50%;transition:fill .2s}.pn-tr.on{fill:var(--on);animation:2.6s ease-in-out infinite breathe}.pn-tr.fire{fill:var(--accent);filter:drop-shadow(0 0 6px var(--accent))}.pn-tr.bad{fill:var(--bad);animation:.4s ease-in-out shake}.pn-hit{fill:#0000;stroke:none}.pn-move{fill:var(--accent);filter:drop-shadow(0 0 4px var(--accent));pointer-events:none}.pn-ripple{fill:none;stroke:var(--accent);stroke-width:2px;transform-box:fill-box;transform-origin:50%;pointer-events:none;animation:.7s ease-out forwards ripple}.pn-click{cursor:pointer;outline:none}body.busy .pn-click{cursor:progress}.pn-click:hover .pn-place{stroke:var(--accent);stroke-width:2.2px}.pn-click:hover .pn-tr{filter:brightness(1.12)}.pn-click:focus-visible .pn-hit{stroke:var(--accent);stroke-width:2px;stroke-dasharray:4 3}.pn-click:focus-visible .pn-place{stroke:var(--accent);stroke-width:3px}@keyframes breathe{0%,to{filter:drop-shadow(0 0 #0000)}50%{filter:drop-shadow(0 0 5px color-mix(in srgb, var(--on) 75%, transparent))}}@keyframes shake{0%,to{transform:translate(0)}20%{transform:translate(-3px)}40%{transform:translate(3px)}60%{transform:translate(-2px)}80%{transform:translate(2px)}}@keyframes ripple{0%{opacity:.9;transform:scale(1)}to{opacity:0;transform:scale(1.75)}}@keyframes enter{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:none}}@keyframes rise{0%{opacity:0;transform:translateY(5px)}to{opacity:1;transform:none}}@keyframes pop{0%{transform:scale(.85)}60%{transform:scale(1.06)}to{transform:scale(1)}}@keyframes changed{0%{background:var(--accent-soft);border-color:var(--accent)}to{background:var(--bench);border-color:var(--line)}}@keyframes live{0%{box-shadow:0 0 0 0 color-mix(in srgb, var(--accent) 60%, transparent)}to{box-shadow:0 0 0 8px #0000}}@media (prefers-reduced-motion:reduce){*,:before,:after{transition:none!important;animation:none!important}}