.experiment{max-width:960px;margin:24px auto 0}.viz-breadcrumb{display:flex;align-items:center;flex-wrap:wrap;gap:8px;margin-bottom:20px;font-size:.92rem}.viz-breadcrumb a{color:var(--accent);font-weight:800;text-decoration:none}.viz-breadcrumb-sep,.viz-breadcrumb-group{color:var(--muted)}.experiment-head{padding-bottom:26px;border-bottom:1px solid var(--line);margin-bottom:8px}.experiment-head h1{font-size:clamp(2rem,5vw,3rem);margin-top:6px}.experiment-head .lead{margin-top:12px}.experiment-section{margin:36px 0;padding:24px;border:1px solid var(--line);border-radius:var(--radius);background:#ffffffd1;box-shadow:0 12px 36px #15231f0f}.experiment-section-title{margin-bottom:18px;font-size:1.4rem}.experiment-backlink{background:transparent;box-shadow:none;border-style:dashed}.step-player{display:grid;gap:16px}.step-player-view{min-height:120px;padding:18px;border:1px solid var(--line);border-radius:var(--radius);background:var(--surface-strong)}.step-title{margin:0 0 8px;font-size:1.1rem;color:var(--accent-strong)}.step-body{margin:0;color:#2f3f3a;white-space:pre-line}.step-empty{margin:0;color:var(--muted)}.step-player-bar{display:flex;align-items:center;gap:12px;flex-wrap:wrap}.step-player-progress{flex:1;min-width:100px;height:8px;border-radius:999px;background:var(--line);overflow:hidden}.step-player-progress-fill{height:100%;width:0;border-radius:999px;background:var(--accent);transition:width .18s ease}.step-player-count{color:var(--muted);font-size:.86rem;font-variant-numeric:tabular-nums}.sp-btn,.pc-btn{min-height:36px;border:1px solid var(--line);border-radius:999px;padding:0 14px;background:#fff;color:var(--ink);font:inherit;font-weight:700;cursor:pointer}.sp-btn:disabled{opacity:.45;cursor:not-allowed}.sp-btn-plain,.pc-btn-plain{background:transparent;color:var(--accent)}.player-controls{display:flex;align-items:center;gap:10px;flex-wrap:wrap}.pc-btn-primary{background:var(--accent-strong);border-color:var(--accent-strong);color:#fff;min-width:80px}.pc-btn-square{min-width:44px;padding:0}.pc-speed{display:inline-flex;align-items:center;gap:6px;margin-left:auto;color:var(--muted);font-size:.88rem}.pc-speed select{border:1px solid var(--line);border-radius:6px;background:#fff;padding:4px 8px;font:inherit;color:var(--ink)}.quiz-panel{display:grid;gap:14px}.quiz-card{padding:18px;border:1px solid var(--line);border-radius:var(--radius);background:#fff}.quiz-year{margin:0 0 8px;color:var(--accent);font-size:.82rem;font-weight:800}.quiz-year:empty{display:none}.quiz-prompt{margin:0 0 14px;font-size:1.05rem;white-space:pre-line}.quiz-form{display:flex;gap:10px;flex-wrap:wrap}.quiz-input{flex:1;min-width:160px;min-height:40px;border:1px solid var(--line);border-radius:var(--radius);padding:0 12px;font:inherit}.quiz-input:focus{outline:3px solid rgba(30,118,111,.18);border-color:var(--accent)}.quiz-submit{min-height:40px;border:1px solid var(--accent-strong);border-radius:var(--radius);padding:0 16px;background:var(--accent-strong);color:#fff;font:inherit;font-weight:700;cursor:pointer}.quiz-change{min-height:40px;border:1px solid var(--line);border-radius:var(--radius);padding:0 16px;background:#fff;color:var(--accent);font:inherit;font-weight:700;cursor:pointer}.quiz-feedback{min-height:22px;margin:12px 0 0;font-weight:700}.quiz-feedback.is-correct{color:#1f7a3a}.quiz-feedback.is-wrong{color:var(--warm)}.quiz-details{margin-top:12px;border-top:1px dashed var(--line);padding-top:10px}.quiz-details summary{cursor:pointer;color:var(--accent);font-weight:700}.quiz-explanation{margin-top:10px;color:#2f3f3a;font-size:.96rem;white-space:pre-line}.viz-hub-hero{margin:40px 0 28px}.viz-hub-status{display:flex;flex-wrap:wrap;align-items:center;gap:10px;margin-top:14px;font-size:.9rem;color:var(--muted)}.viz-group{margin:32px 0}.viz-group-title{margin-bottom:14px;font-size:1.25rem}.viz-card-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(220px,1fr));gap:14px}.viz-card{display:flex;flex-direction:column;gap:8px;padding:16px;border:1px solid var(--line);border-radius:var(--radius);background:#ffffffd1;text-decoration:none;transition:transform .18s ease,border-color .18s ease,box-shadow .18s ease}.viz-card:hover{transform:translateY(-3px);border-color:#1e766f73;box-shadow:0 20px 44px #15231f1f}.viz-card.is-soon{cursor:not-allowed;background:#ffffff80;box-shadow:none}.viz-card.is-soon:hover{transform:none;border-color:var(--line);box-shadow:none}.viz-card-code{font-size:.78rem;font-weight:800;color:var(--accent);letter-spacing:.04em}.viz-card-title{margin:0;font-size:1.05rem}.viz-card-desc{margin:0;color:var(--muted);font-size:.88rem;line-height:1.5}.viz-card-badge{width:fit-content;margin-top:auto;border-radius:999px;padding:2px 10px;background:var(--surface-strong);color:var(--muted);font-size:.75rem;font-weight:800}.viz-card-badge.is-done{background:#1f7a3a1f;color:#1f7a3a}.viz-lab{display:grid;gap:16px}.viz-controls{display:grid;grid-template-columns:repeat(auto-fit,minmax(180px,1fr));gap:12px 18px;padding:14px 16px;border:1px solid var(--line);border-radius:var(--radius);background:var(--surface-strong)}.viz-ctl{display:grid;gap:4px;font-size:.9rem}.viz-ctl-head{display:flex;justify-content:space-between;align-items:baseline;gap:8px}.viz-ctl-name{color:var(--muted);font-weight:700}.viz-ctl-value{font-variant-numeric:tabular-nums;font-weight:800;color:var(--accent-strong)}.viz-ctl input[type=range]{width:100%;accent-color:var(--accent)}.viz-ctl select{border:1px solid var(--line);border-radius:6px;background:#fff;padding:6px 8px;font:inherit;color:var(--ink)}.viz-canvas{width:100%;height:auto;border:1px solid var(--line);border-radius:var(--radius);background:#fff}.viz-readout{display:flex;flex-wrap:wrap;gap:10px 22px;align-items:baseline;padding:12px 16px;border:1px solid var(--line);border-radius:var(--radius);background:#fff}.viz-stat{display:grid;gap:2px}.viz-stat-label{color:var(--muted);font-size:.82rem;font-weight:700}.viz-stat-value{font-size:1.45rem;font-weight:800;font-variant-numeric:tabular-nums;color:var(--accent-strong)}.viz-stat-value.is-accent{color:var(--accent)}.viz-stat-value.is-warm{color:var(--warm)}.viz-note{margin:0;color:var(--muted);font-size:.9rem}.viz-lamps{display:flex;flex-wrap:wrap;gap:6px}.lamp{min-width:40px;min-height:44px;display:inline-flex;align-items:center;justify-content:center;border:1px solid var(--line);border-radius:6px;background:#fff;color:var(--muted);font:inherit;font-size:1.25rem;font-weight:800;font-variant-numeric:tabular-nums;cursor:pointer}.lamp.is-on{background:var(--accent);border-color:var(--accent);color:#fff}.lamp.is-static{cursor:default}.lamp.is-error{background:var(--warm);border-color:var(--warm);color:#fff;animation:viz-pulse .9s ease-in-out infinite}.lamp.is-parity{border-style:dashed}.lamp.is-covered{outline:3px solid rgba(240,180,41,.75);outline-offset:1px}.lamp.is-small{min-width:24px;min-height:30px;font-size:.85rem}.lamp.is-seg-sign{border-color:#eb5e4bb3}.lamp.is-seg-exp{border-color:#6b46c1b3}.lamp.is-seg-man{border-color:#1f7a3a8c}@keyframes viz-pulse{0%,to{transform:scale(1)}50%{transform:scale(1.08)}}.viz-lamp-grid{display:grid;gap:4px;justify-content:start}.viz-lamp-caption{display:flex;gap:6px}.viz-lamp-caption span{min-width:40px;text-align:center;color:var(--muted);font-size:.78rem;font-weight:700}.viz-frame{width:100%;height:auto;display:block}.viz-frame .rbox{fill:#fff;stroke:var(--accent);stroke-width:2;rx:8}.viz-frame .rbox-label{fill:var(--accent-strong);font-weight:800;font-size:15px}.viz-frame .rbox-value{fill:var(--muted);font-size:13px;font-variant-numeric:tabular-nums}.viz-frame .redge{stroke:#9fb8b0;stroke-width:2;fill:none}.viz-frame .redge-hot{stroke:var(--accent)}.viz-steps{margin:0;padding:12px 16px;border:1px dashed var(--line);border-radius:var(--radius);background:#eef6f299;color:#2f3f3a;font-size:.95rem;line-height:1.8;white-space:pre-line;font-variant-numeric:tabular-nums}.viz-formula{overflow-x:auto;padding:4px 0}.viz-fold{border:1px dashed var(--line);border-radius:var(--radius);padding:12px 16px;background:#ffffffa6}.viz-fold>summary{cursor:pointer;color:var(--accent);font-weight:800}.viz-fold[open]>summary{margin-bottom:14px}.viz-seg{display:inline-flex;border:1px solid var(--line);border-radius:999px;overflow:hidden;background:#fff}.viz-seg button{min-height:34px;border:0;background:transparent;padding:0 16px;font:inherit;font-weight:700;color:var(--muted);cursor:pointer}.viz-seg button.is-active{background:var(--accent);color:#fff}.viz-cache-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:14px}.viz-cache-card{border:1px solid var(--line);border-radius:var(--radius);padding:12px;background:#fff;display:grid;gap:8px}.viz-cache-card h4{margin:0;font-size:.98rem;color:var(--accent-strong)}.viz-cache-row{display:flex;align-items:center;justify-content:space-between;gap:8px;border:1px solid var(--line);border-radius:6px;padding:5px 10px;font-size:.86rem;font-variant-numeric:tabular-nums;color:var(--muted);transition:background .16s ease,border-color .16s ease}.viz-cache-row.is-hit{background:#1f7a3a24;border-color:#1f7a3a80;color:#1f7a3a;font-weight:700}.viz-cache-row.is-miss{background:#eb5e4b1f;border-color:#eb5e4b80;color:var(--warm);font-weight:700}.viz-cache-row.is-evict{background:#f0b42929;border-color:#f0b42999;color:#8a6a10}.viz-block-grid{display:grid;grid-template-columns:repeat(8,1fr);gap:6px}.viz-block-btn{min-height:38px;border:1px solid var(--line);border-radius:6px;background:#fff;font:inherit;font-weight:700;color:var(--ink);cursor:pointer}.viz-block-btn:hover{border-color:var(--accent)}.viz-btn{min-height:36px;border:1px solid var(--accent);border-radius:999px;padding:0 16px;background:#fff;color:var(--accent);font:inherit;font-weight:700;cursor:pointer}.viz-btn.is-solid{background:var(--accent);color:#fff}.viz-division{margin:0;padding:14px 16px;border:1px solid var(--line);border-radius:var(--radius);background:var(--ink);color:#d7e5df;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.95rem;line-height:1.5;overflow-x:auto;white-space:pre;font-variant-numeric:tabular-nums}.viz-division .is-new{color:#7dd3c0}.viz-table{width:100%;border-collapse:collapse;font-size:.92rem}.viz-table th,.viz-table td{border:1px solid var(--line);padding:6px 10px;text-align:center;font-variant-numeric:tabular-nums}.viz-table th{background:#1e766f14;color:var(--ink);font-weight:700}.viz-table tr.is-done td{background:#2f855a24}.viz-table tr.is-summary td{background:#1e766f1a;font-weight:700}.viz-table input[type=number]{width:56px;min-height:30px;padding:2px 6px;border:1px solid var(--line);border-radius:calc(var(--radius) * .7);font:inherit;text-align:center}.viz-note.is-ok{color:#1f7a4d;font-weight:600}.viz-note.is-bad{color:#b42318;font-weight:600}.viz-note.is-warm{color:#9a5b13;font-weight:600}.viz-lab.is-deadlock{animation:pv-deadlock-pulse .8s ease-in-out 3}@keyframes pv-deadlock-pulse{0%,to{box-shadow:none}50%{box-shadow:0 0 0 4px #b4231859}}.pv-buffer{display:flex;gap:8px;flex-wrap:wrap}.pv-buf-cell{min-width:64px;min-height:44px;display:inline-flex;align-items:center;justify-content:center;border:1.5px dashed var(--line);border-radius:var(--radius);color:var(--muted);font-weight:600}.pv-buf-cell.is-full{border:1.5px solid var(--accent);background:#1e766f24;color:var(--ink)}.pv-sem-card.is-hot{border-color:#b7791f99}.pv-queue-label{font-size:.8rem;color:var(--muted);margin-top:6px}.pv-queue{display:flex;gap:6px;flex-wrap:wrap;min-height:26px}.pv-queue-chip{display:inline-flex;align-items:center;padding:2px 10px;border-radius:999px;background:#b7791f29;color:#7c4a0e;font-size:.85rem;font-weight:600}.pv-proc-grid{display:grid;grid-template-columns:1fr 1fr;gap:12px}.pv-proc-card{border:1px solid var(--line);border-radius:var(--radius);padding:12px 14px}.pv-proc-card.is-turn{border-color:var(--accent)}.pv-proc-card.is-blocked{border-color:#b423188c;background:#b423180d}.pv-proc-head{display:flex;align-items:center;gap:10px;flex-wrap:wrap}.pv-proc-head .viz-btn{margin-left:auto}.pv-badge{padding:2px 10px;border-radius:999px;background:#1e766f1f;color:var(--accent-strong, #1e766f);font-size:.85rem;font-weight:600}.pv-proc-card.is-blocked .pv-badge{background:#b423181f;color:#b42318}.pv-program{margin:10px 0 0;padding-left:22px;display:grid;gap:3px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.88rem}.pv-program li.is-next{color:var(--accent-strong, #1e766f);font-weight:700}.pv-proc-card.is-blocked .pv-program li.is-next{color:#b42318}.pv-note{min-height:1.5em}.prec-svg{width:100%;max-width:560px;height:auto;display:block;margin:8px auto}.prec-svg .prec-node{fill:#eef5f1;stroke:var(--accent);stroke-width:1.2}.prec-svg .prec-node-text{fill:var(--ink);font-size:6.5px;font-weight:700}.prec-svg .prec-label{fill:#9fb0a9;font-size:5.5px}.prec-svg .prec-label.is-on{fill:var(--accent-strong, #1e766f);font-weight:700}.prec-table td:first-child{font-weight:700}.prec-table tr.is-dim td{color:var(--muted)}.pr-cards{display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:12px}.pr-card{border:1px solid var(--line);border-radius:var(--radius);padding:12px 14px}.pr-card h4{margin:0 0 4px;font-size:1rem}.pr-rule{margin:0 0 10px;font-size:.85rem;color:var(--muted)}.pr-frames{display:grid;gap:4px}.pr-slot{display:flex;gap:4px;min-height:32px}.pr-cell{flex:1;max-width:44px;min-height:30px;display:inline-flex;align-items:center;justify-content:center;border:1px solid var(--line);border-radius:6px;font-weight:700;font-variant-numeric:tabular-nums}.pr-cell.is-new{border-color:var(--accent);background:#1e766f24}.pr-cell.is-current{outline:2px solid #b7791f;outline-offset:1px}.pr-stat{margin:10px 0 0;font-size:.92rem}.pr-stat strong{color:var(--accent-strong, #1e766f)}.pr-trace{display:flex;gap:4px;flex-wrap:wrap}.pr-trace-cell{width:30px;height:30px;display:inline-flex;align-items:center;justify-content:center;border:1px solid var(--line);border-radius:6px;font-weight:600;font-variant-numeric:tabular-nums}.pr-trace-cell.is-fault{background:#b423181a;border-color:#b4231866;color:#b42318}.pr-trace-cell.is-hit{background:#2f855a1f;border-color:#2f855a73;color:#1f7a4d}.pr-trace-cell.is-future{opacity:.4}.sc-proc-table{display:grid;gap:6px}.sc-proc-row{display:grid;grid-template-columns:56px 1fr 1fr 1fr;gap:8px;align-items:center}.sc-proc-row.sc-proc-head{font-size:.82rem;color:var(--muted)}.sc-proc-row input[type=number]{width:100%;min-height:32px;padding:2px 6px;border:1px solid var(--line);border-radius:calc(var(--radius) * .7);font:inherit;text-align:center}.sc-proc-name{font-weight:700}.sc-compare{display:flex;flex-direction:column;gap:4px}.sc-compare code{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.88rem}.bk-req-row{display:flex;align-items:center;gap:10px;flex-wrap:wrap}.bk-req-row select{min-height:34px;border:1px solid var(--line);border-radius:calc(var(--radius) * .7);font:inherit;padding:0 8px}.bk-req-cell{display:inline-flex;align-items:center;gap:6px;font-size:.9rem;color:var(--muted)}.bk-req-cell input{width:56px;min-height:32px;border:1px solid var(--line);border-radius:calc(var(--radius) * .7);font:inherit;text-align:center}@media (max-width: 700px){.experiment-section{padding:16px;margin:24px 0}.sp-btn,.pc-btn{padding:0 12px;font-size:.9rem}.pc-speed{margin-left:0}.viz-card-grid,.pv-proc-grid,.sc-proc-row{grid-template-columns:1fr}.sc-proc-row.sc-proc-head{display:none}}.nf-table-caption{margin:0 0 6px;font-size:.95rem}.nf-table-caption .nf-source{color:var(--muted, #6b7280);font-size:.85rem}.nf-fdline{margin:8px 0 0;font-size:.92rem}.nf-fdline code{background:#1e766f1a;padding:1px 6px;border-radius:6px;font-size:.88rem}.nf-table{width:100%;border-collapse:collapse;font-size:.9rem}.nf-table th,.nf-table td{border:1px solid var(--line);padding:5px 10px;text-align:center;font-variant-numeric:tabular-nums}.nf-table th{background:#1e766f14;font-weight:700}.nf-chips{display:flex;flex-wrap:wrap;gap:8px;margin:8px 0}.nf-chip{border:1.5px solid var(--line);border-radius:999px;background:transparent;padding:5px 16px;font:inherit;font-weight:600;cursor:pointer;transition:all .15s}.nf-chip:hover{border-color:#1e766f}.nf-chip.is-selected{background:#1e766f29;border-color:#1e766f}.nf-chip.is-key{background:#2f855a33;border-color:#2f855a;box-shadow:0 0 0 2px #2f855a40}.nf-keybar{display:flex;gap:10px;margin:6px 0}.nf-diagram{width:100%;max-width:720px;color:#1e766f}.nf-node{fill:#1e766f14;stroke:var(--line)}.nf-node.is-key{fill:#2f855a2e;stroke:#2f855a}.nf-node-label{font-size:13px;font-weight:600;fill:currentColor;dominant-baseline:middle}.nf-arrow{fill:none;stroke:currentColor;stroke-width:2;opacity:.55}.nf-arrow.is-partial{stroke:#b45309;opacity:1;stroke-width:2.6}.nf-arrow.is-transitive{stroke:#b42318;opacity:1;stroke-width:2.6}.nf-arrow.is-bcnf{stroke:#6941c6;opacity:1;stroke-width:2.6}.nf-arrow-label{font-size:11px;fill:var(--muted, #6b7280)}.nf-legend{font-size:.85rem;color:var(--muted, #6b7280)}.nf-legend .nf-arrow{display:inline-block;width:22px;vertical-align:middle;margin-right:2px}.nf-check{border:1px solid var(--line);border-left:4px solid var(--line);border-radius:calc(var(--radius) * .8);padding:10px 14px;margin:10px 0;animation:nf-check-in .35s ease}.nf-check h4{margin:0 0 4px;font-size:.95rem}.nf-check p{margin:0;font-size:.9rem}.nf-check.is-current{box-shadow:0 0 0 2px #1e766f40}.nf-check.is-ok{border-left-color:#2f855a}.nf-check.is-warn{border-left-color:#b45309}.nf-check.is-bad{border-left-color:#b42318}.nf-check.is-info{border-left-color:#6941c6}@keyframes nf-check-in{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:none}}.nf-verdict{margin:8px 0 0;font-size:.92rem}.nf-final{margin:10px 0 0;font-size:.98rem}.nf-split{display:flex;flex-wrap:wrap;gap:16px;align-items:flex-start;margin:12px 0}.nf-part-box{flex:1 1 220px;min-width:200px}.nf-part-name{margin:0 0 4px;font-weight:700;font-size:.9rem}.nf-part{animation:nf-part-in .4s ease backwards}@keyframes nf-part-in{0%{opacity:0;transform:translate(14px)}to{opacity:1;transform:none}}.nf-part-meta{margin:4px 0 0;font-size:.85rem;color:var(--muted, #6b7280)}.nf-new-tag,.nf-kept-tag{font-size:.75rem;font-weight:600;border-radius:999px;padding:1px 8px;margin-left:8px;vertical-align:middle}.nf-new-tag{background:#b423181f;color:#b42318}.nf-kept-tag{background:#1e766f1f;color:#1e766f}.nf-deco-reason{margin:10px 0 0;font-weight:600}.nf-deco-bar{display:flex;gap:10px}.ra-tables{display:flex;flex-wrap:wrap;gap:20px;margin-bottom:14px}.ra-table-box{flex:1 1 260px}.ra-table-name{margin:0 0 4px;font-weight:700;font-size:.9rem}.ra-table{width:100%;border-collapse:collapse;font-size:.88rem}.ra-table th,.ra-table td{border:1px solid var(--line);padding:4px 10px;text-align:center;font-variant-numeric:tabular-nums}.ra-table th{background:#1e766f14;font-weight:700}.ra-table.ra-result tr.is-new td{animation:nf-check-in .3s ease backwards}.ra-table td.ra-empty{color:var(--muted, #6b7280)}.ra-expr{margin:10px 0 2px;font-size:1.12rem;font-weight:700}.ra-def{margin:2px 0;font-size:.92rem}.ra-sql{margin:2px 0 10px;font-size:.86rem;color:var(--muted, #6b7280)}.ra-sql code{background:#1e766f14;padding:1px 6px;border-radius:6px}.ra-trace-list{display:flex;flex-direction:column;gap:4px;max-height:300px;overflow-y:auto;margin-top:6px}.ra-trace-row{display:flex;align-items:center;gap:10px;padding:4px 10px;border-radius:calc(var(--radius) * .6);font-size:.88rem;animation:nf-check-in .3s ease backwards}.ra-trace-row.is-kept{background:#2f855a1a}.ra-trace-row.is-dropped{background:#b4231814}.ra-trace-row.is-current{box-shadow:0 0 0 2px #1e766f4d}.ra-trace-mark{font-weight:800;width:16px;text-align:center}.is-kept .ra-trace-mark{color:#2f855a}.is-dropped .ra-trace-mark{color:#b42318}.ra-trace-in{flex:0 0 auto;background:#1e766f14;padding:1px 8px;border-radius:6px;font-size:.84rem}.ra-trace-note{color:var(--muted, #6b7280);font-size:.85rem}.sb-bitmap{display:flex;flex-wrap:wrap;align-items:center;gap:2px}.sb-bitmap .sb-bit{width:24px}.sb-bit{width:26px;height:32px;border:1px solid var(--line);border-radius:5px;font:inherit;font-size:.82rem;font-weight:700;font-variant-numeric:tabular-nums;cursor:pointer;padding:0;background:#94a3b824;color:inherit;transition:transform .1s}.sb-bit:hover{transform:translateY(-2px)}.sb-bit.is-net{background:#02698f38;border-color:#03698f}.sb-bit.is-subnet{background:#6941c638;border-color:#6941c6}.sb-bit.is-host{background:#2f855a2e;border-color:#2f855a}.sb-bit.is-mask{font-weight:800}.sb-bit-dot{margin:0 2px;color:var(--muted, #6b7280)}.sb-inline{width:14px;height:18px;font-size:.72rem;cursor:default;display:inline-block;margin:0 1px}.sb-bit-legend{margin:8px 0 0;font-size:.88rem;color:var(--muted, #6b7280)}.sb-bit-legend .sb-bit{width:18px;height:20px;font-size:.7rem;cursor:default;vertical-align:middle}.sb-readout{margin:0}.sb-readout-row{display:flex;justify-content:space-between;gap:12px;padding:6px 4px;border-bottom:1px dashed var(--line);font-size:.92rem}.sb-readout-row dt{color:var(--muted, #6b7280)}.sb-readout-row dd{margin:0;font-weight:700;font-variant-numeric:tabular-nums;text-align:right}@media (max-width: 700px){.nf-split,.ra-tables{flex-direction:column}.sb-bit{width:18px;height:26px;font-size:.7rem}}.nf-arrow-label{paint-order:stroke;stroke:var(--bg, #ffffff);stroke-width:4px;font-weight:600}.mc-svg{height:360px;touch-action:none;user-select:none}.mc-node circle{fill:#eef2ff;stroke:#4f46e5;stroke-width:.7}.mc-node.is-pred circle{fill:#fff7ed;stroke:#d97706;stroke-width:1}.mc-node text{fill:var(--ink, #111827);font-size:4.2px;font-weight:700;text-anchor:middle;pointer-events:none}.mc-edge-line{stroke:#64748b;stroke-width:.5}.mc-edge-hit{stroke:transparent;stroke-width:3;cursor:pointer}.mc-edge:hover .mc-edge-line{stroke:#dc2626;stroke-width:.8}.mc-rubber{stroke:#d97706;stroke-width:.5;stroke-dasharray:2 1.5}.mc-arrow-path{fill:#64748b}.viz-stat-value.is-ok-text{color:#15803d}.qq-lane{display:flex;align-items:center;gap:12px;flex-wrap:wrap;padding:10px 0}.qq-server{min-width:84px;text-align:center;padding:10px 12px;border:2px solid var(--line);border-radius:var(--radius);font-weight:800;color:var(--muted, #6b7280);background:#fff}.qq-server.is-busy{border-color:#4f46e5;color:#4f46e5;background:#eef2ff}.qq-queue{display:flex;align-items:center;gap:4px;flex-wrap:wrap;min-height:34px;flex:1;padding:4px 8px;border:1px dashed var(--line);border-radius:var(--radius)}.qq-chip{width:18px;height:26px;display:inline-flex;align-items:center;justify-content:center;border-radius:6px;background:#4f46e5;color:#fff;font-weight:700}.qq-chip.is-overflow{background:#dc2626;width:auto;padding:0 6px}.qq-curve-wrap{margin-top:10px}.qq-curve{height:190px;background:#fff}.qq-curve-line{fill:none;stroke:#4f46e5;stroke-width:1.4;vector-effect:non-scaling-stroke}.qq-curve-rho1{stroke:#dc2626;stroke-width:1;stroke-dasharray:4 3;vector-effect:non-scaling-stroke}.qq-curve-drop{stroke:#dc262673;stroke-width:1;stroke-dasharray:3 2;vector-effect:non-scaling-stroke}.qq-curve-marker{fill:#dc2626;stroke:#fff;stroke-width:.8;vector-effect:non-scaling-stroke}.rl-strip{display:flex;gap:3px;flex-wrap:wrap;padding:8px 0 2px}.rl-tick{width:26px;height:26px;display:inline-flex;align-items:center;justify-content:center;border:1px solid var(--line);border-radius:6px;font-size:.75rem;font-variant-numeric:tabular-nums;color:var(--muted, #6b7280);background:#fff}.rl-tick.is-burst{background:#6941c629;border-color:#6941c6;color:#6941c6;font-weight:800}.rl-tick.is-done{opacity:.55}.rl-tick.is-now{outline:2px solid #4f46e5;outline-offset:1px;font-weight:800;color:var(--ink, #111827);opacity:1}.rl-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:12px;margin-top:6px}.rl-col{border:1px solid var(--line);border-radius:var(--radius);padding:10px 12px;background:#fff;display:grid;gap:8px;align-content:start}.rl-col-title{margin:0;font-size:.95rem}.rl-state{min-height:64px}.rl-bar{height:14px;border:1px solid var(--line);border-radius:7px;overflow:hidden;background:#f8fafc}.rl-bar-fill{height:100%;background:#4f46e5;transition:width .15s}.rl-bucket{position:relative;width:46px;height:56px;margin:0 auto;border:2px solid #0e7490;border-radius:6px 6px 14px 14px;overflow:hidden;background:#f0f9ff}.rl-bucket-fill{position:absolute;bottom:0;left:0;right:0;background:#38bdf8;transition:height .15s}.rl-tokens{display:flex;gap:4px;flex-wrap:wrap;min-height:28px}.rl-token{width:24px;height:24px;display:inline-flex;align-items:center;justify-content:center;border:1px dashed var(--line);border-radius:50%;font-size:.8rem;color:var(--muted, #6b7280)}.rl-token.is-full{border-style:solid;border-color:#d97706;background:#fffbeb}.rl-chips{display:flex;gap:4px;flex-wrap:wrap;min-height:26px}.rl-chip{width:22px;height:22px;display:inline-flex;align-items:center;justify-content:center;border-radius:6px;font-size:.8rem;font-weight:800}.rl-chip.is-pass{background:#dcfce7;color:#15803d}.rl-chip.is-reject{background:#fee2e2;color:#b91c1c}.rl-counter{margin:0;font-weight:700;font-variant-numeric:tabular-nums;color:var(--ink, #111827)}.rl-legend{margin-top:6px}.rsa-steps{display:grid;gap:8px}.rsa-step{display:flex;flex-direction:column;gap:2px;padding:8px 10px;border:1px solid var(--line);border-radius:var(--radius);background:#fff}.rsa-step-k{color:var(--muted, #6b7280);font-size:.82rem;font-weight:700}.rsa-step-v,.rsa-euclid td,.rsa-euclid th{font-variant-numeric:tabular-nums}.rsa-io code{font-weight:800}@media (max-width: 700px){.mc-svg{height:300px}.rl-grid{grid-template-columns:1fr}}