.tsb{--tsb-grid:color-mix(in srgb, var(--color-border) 80%, transparent);--tsb-inset:7px;border:1px solid var(--color-border);background:var(--color-surface);color:var(--color-fg);border-radius:14px;margin:1.75rem 0 2rem;padding:clamp(1rem,3vw,1.6rem)}.tsb__s0{--tsb-color:var(--color-muted)}.tsb__s1{--tsb-color:var(--viz-series-1)}.tsb__s2{--tsb-color:var(--viz-series-2)}.tsb__s3{--tsb-color:var(--viz-series-3)}.tsb__s4{--tsb-color:var(--viz-series-4)}.tsb__sr{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.tsb__caption{margin-bottom:.9rem}.tsb .tsb__eyebrow{color:var(--color-muted);letter-spacing:.06em;text-transform:uppercase;margin:0 0 .3rem;font-size:.7rem;font-weight:700}.tsb .tsb__title{margin:0 0 .45rem;font-size:clamp(1.15rem,3vw,1.4rem);font-weight:900;line-height:1.25}.tsb .tsb__sub{max-width:46rem;color:var(--color-muted);margin:0;font-size:.86rem;line-height:1.55}.tsb .tsb__sub+.tsb__sub{margin-top:.45rem}.tsb__sub strong{color:var(--color-fg)}.tsb .tsb__sub--caveat{border-left:2px solid var(--color-border);margin-top:.6rem;padding-left:.6rem;font-size:.78rem}.tsb code{font-size:.9em}.tsb .tsb__legend{flex-wrap:wrap;gap:.35rem 1.2rem;margin:0 0 .75rem;padding:0;list-style:none;display:flex}.tsb .tsb__legend-item{color:var(--color-fg);align-items:center;gap:.4rem;margin:0;font-size:.8rem;font-weight:700;display:flex}.tsb .tsb__legend-toggle{color:inherit;font:inherit;cursor:pointer;background:0 0;border:0;border-radius:4px;align-items:center;gap:.4rem;margin:-.1rem -.35rem;padding:.1rem .35rem;display:inline-flex}.tsb .tsb__legend-toggle:hover{background:var(--color-surface-hover)}.tsb .tsb__legend-toggle[aria-pressed=false]{opacity:.45}.tsb .tsb__legend-toggle[aria-pressed=false] span{text-decoration:line-through}.tsb__glyph{flex:none;width:.8rem;height:.8rem;overflow:visible}.tsb__glyph path,.tsb__mark path{fill:var(--tsb-color);stroke:var(--color-surface);stroke-width:1.5px}.tsb__ring path{fill:var(--color-surface);stroke:var(--tsb-color);stroke-width:2px}.tsb__controls{flex-wrap:wrap;gap:.6rem 1.1rem;margin:0 0 .85rem;display:flex}.tsb__control{justify-items:start;gap:.3rem;display:grid}.tsb__control-label{color:var(--color-muted);letter-spacing:.05em;text-transform:uppercase;font-size:.68rem;font-weight:700}.tsb__segments{border:1px solid var(--color-border);background:var(--color-bg);border-radius:9px;gap:2px;padding:3px;display:inline-flex}.tsb__segments button{color:var(--color-muted);font:inherit;cursor:pointer;background:0 0;border:0;border-radius:6px;padding:.32rem .75rem;font-size:.8rem;font-weight:700;line-height:1.3}.tsb__segments button:hover{color:var(--brand-strong)}.tsb__segments button[aria-pressed=true]{background:var(--brand-soft);box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--brand) 40%, transparent);color:var(--brand-strong)}.tsb__segments button:focus-visible{outline:2px solid var(--brand);outline-offset:1px}.tsb .tsb__note{color:var(--color-muted);margin:0 0 .35rem;font-size:.76rem;line-height:1.45}.tsb__chart{--decades:4}.tsb__head,.tsb__row{grid-template-columns:11rem minmax(0,1fr) 8.8rem;grid-template-areas:"name plot value";align-items:center;column-gap:.65rem;display:grid}.tsb--compare .tsb__head,.tsb--compare .tsb__row{grid-template-columns:11rem 1.5rem minmax(0,1fr) 4.4rem;grid-template-areas:"name k plot value"}.tsb__head{border-bottom:1px solid var(--color-border);color:var(--color-muted);padding-bottom:.3rem;font-size:.7rem;font-weight:700}.tsb__head-name{grid-area:name}.tsb__head-k{text-align:right;grid-area:k}.tsb__head-unit{text-align:right;grid-area:value}.tsb__ticks{height:1.1rem;margin-inline:var(--tsb-inset);font-variant-numeric:tabular-nums;grid-area:plot;font-weight:400;position:relative}.tsb__tick{white-space:nowrap;position:absolute;top:0;transform:translate(-50%)}.tsb__tick:first-child{transform:translateX(calc(-1 * var(--tsb-inset)))}.tsb__tick:last-child{transform:translateX(calc(-100% + var(--tsb-inset)))}.tsb__row{border-bottom:1px solid var(--color-border)}.tsb__name{grid-area:name;gap:.1rem;min-width:0;padding:.5rem 0;display:grid}.tsb .tsb__name a,.tsb__name-text{color:var(--color-fg);text-decoration-color:color-mix(in srgb, var(--brand) 55%, transparent);text-underline-offset:3px;font-size:.84rem;font-weight:700;line-height:1.3}.tsb .tsb__name a:hover{color:var(--brand-strong)}.tsb .tsb__name a:focus-visible{outline:2px solid var(--brand);outline-offset:2px;border-radius:3px}.tsb__meta{color:var(--color-muted);font-variant-numeric:tabular-nums;font-size:.7rem}.tsb__tag{border:1px solid var(--color-border);white-space:nowrap;border-radius:999px;margin-left:.35rem;padding:0 .35rem}.tsb__tag[hidden]{display:none}.tsb__plot{background-image:linear-gradient(to right, var(--tsb-grid) 1px, transparent 1px);background-position:var(--tsb-inset) 0;background-repeat:repeat-x;background-size:calc((100% - 2 * var(--tsb-inset)) / var(--decades)) 100%;cursor:default;border-radius:4px;grid-area:plot;align-content:center;align-self:stretch;gap:3px;padding:.55rem 0;display:grid;position:relative}.tsb__plot.is-active{background-color:var(--color-surface-hover)}.tsb__plot:focus-visible{outline:2px solid var(--brand);outline-offset:2px}.tsb--compare[data-view=relative] .tsb__plot:before{top:0;bottom:0;left:var(--tsb-inset);background:color-mix(in srgb, var(--color-muted) 70%, transparent);content:"";width:1px;position:absolute}.tsb__lane{height:15px;margin-inline:var(--tsb-inset);position:relative}.tsb__stem{width:var(--x);background:color-mix(in srgb, var(--tsb-color) 50%, transparent);border-radius:1px;height:2px;margin-top:-1px;position:absolute;top:50%;left:0}.tsb__mark{top:50%;left:var(--x);width:12px;height:12px;position:absolute;overflow:visible;transform:translate(-50%,-50%)}.tsb__lane:not([data-kind=ok]) .tsb__stem,.tsb__lane:not([data-kind=ok]) .tsb__mark,.tsb__row[hidden],.tsb--compare[data-metric=compile] [data-sampling-only],.tsb--bars[data-metric=compile] [data-sampling-only],.tsb__lane[hidden],.tsb__ks [hidden],.tsb__values [hidden]{display:none}.tsb .tsb__more{color:var(--brand-strong);cursor:pointer;font:inherit;background:0 0;border:0;margin:.6rem 0 0;padding:.35rem 0;font-size:.84rem;font-weight:700}.tsb .tsb__more:hover{text-decoration:underline}.tsb .tsb__more:focus-visible{outline:2px solid var(--brand);outline-offset:2px}.tsb__lane .tsb__mark--base{left:var(--from)}.tsb__lane:not([data-compare]) .tsb__mark--base{display:none}.tsb__lane[data-compare] .tsb__stem{left:min(var(--from), var(--x));width:calc(max(var(--from), var(--x)) - min(var(--from), var(--x)))}.tsb__ks,.tsb__values{font-variant-numeric:tabular-nums;text-align:right;align-content:center;gap:3px;font-size:.72rem;display:grid}.tsb__ks{color:var(--color-muted);grid-area:k}.tsb__values{color:var(--color-muted);grid-area:value}.tsb__ks span,.tsb__values span{white-space:nowrap;height:15px;line-height:15px}.tsb__values .is-best{color:var(--color-fg);font-weight:900}.tsb__values [data-kind=pending],.tsb__values [data-kind=na],.tsb__readout [data-kind=pending],.tsb__readout [data-kind=na]{font-style:italic}.tsb--bars .tsb__head,.tsb--bars .tsb__row{grid-template-columns:13.5rem minmax(0,1fr) 4.4rem}.tsb--bars .tsb__note-title{color:var(--color-fg);text-decoration-color:color-mix(in srgb, var(--brand) 55%, transparent);text-underline-offset:3px;margin-right:.45rem;font-weight:700}.tsb--bars a.tsb__note-title:hover{color:var(--brand-strong)}.tsb--bars a.tsb__note-title:focus-visible{outline:2px solid var(--brand);outline-offset:2px;border-radius:3px}.tsb__name-engine{align-items:center;gap:.4rem;display:inline-flex}.tsb__lane-note{color:var(--color-muted);white-space:nowrap;font-size:.72rem;font-style:italic;position:absolute;top:50%;left:0;transform:translateY(-50%)}.tsb__lane:not([data-kind=na]) .tsb__lane-note{display:none}.tsb__stem--proxy{background:repeating-linear-gradient(to right, color-mix(in srgb, var(--tsb-color) 70%, transparent) 0 5px, transparent 5px 9px)}.tsb__lane--dumbbell{height:22px}.tsb__span{top:50%;left:var(--from);width:calc(var(--to) - var(--from));background:color-mix(in srgb, var(--viz-series-1) 55%, transparent);height:2px;margin-top:-1px;position:absolute}.tsb__lane--dumbbell .tsb__mark{width:14px;height:14px}.tsb__readout{text-align:right;grid-area:value;justify-items:end;gap:.05rem;padding:.45rem 0;display:grid}.tsb__speedup{white-space:nowrap;font-size:1.25rem;font-weight:900;line-height:1.15}.tsb__speedup[data-kind=pending],.tsb__speedup[data-kind=na]{color:var(--color-muted);font-size:.9rem}.tsb__speedup-note,.tsb__from-to{color:var(--color-muted);font-variant-numeric:tabular-nums;font-size:.7rem;line-height:1.35}.tsb__panel[hidden]{display:none}.tsb__tip{z-index:60;border:1px solid var(--color-border);background:var(--color-bg);width:max-content;max-width:min(23rem,100vw - 1rem);color:var(--color-fg);pointer-events:none;border-radius:10px;padding:.6rem .75rem .65rem;font-size:.76rem;line-height:1.45;position:fixed;box-shadow:0 16px 36px -18px #0000008c}.tsb__tip[hidden]{display:none}.tsb .tsb__tip p{margin:0}.tsb .tsb__tip-title{font-size:.82rem;font-weight:900}.tsb .tsb__tip-meta{color:var(--color-muted);font-size:.72rem}.tsb__tip-item{margin-top:.45rem}.tsb__tip-head{grid-template-columns:.8rem minmax(0,1fr) auto;align-items:center;gap:.45rem;display:grid}.tsb__tip-name{color:var(--color-muted);font-weight:700}.tsb__tip-value{font-variant-numeric:tabular-nums;font-weight:900}.tsb .tsb__tip-notes{color:var(--color-muted);padding-left:1.25rem;font-size:.72rem}.tsb .tsb__tip-foot{border-top:1px solid var(--color-border);color:var(--color-muted);margin-top:.45rem;padding-top:.35rem;font-size:.72rem}.tsb__details,.tsb__table{border-top:1px solid var(--color-border);margin-top:1rem;padding-top:.75rem}.tsb__table{margin-top:.75rem}.tsb__details>summary,.tsb__table>summary{color:var(--brand-strong);cursor:pointer;font-size:.8rem;font-weight:700}.tsb__details>summary:focus-visible,.tsb__table>summary:focus-visible{outline:2px solid var(--brand);outline-offset:2px;border-radius:3px}.tsb__specs{grid-template-columns:9rem minmax(0,1fr);gap:.1rem 1rem;margin:.85rem 0 0;font-size:.78rem;line-height:1.55;display:grid}.tsb__specs dt{color:var(--color-fg);font-weight:700}.tsb__specs dd{color:var(--color-muted);margin:0 0 .5rem}.tsb__scroll{overflow-x:auto}.tsb table{border-collapse:collapse;width:100%;margin:.85rem 0 0;font-size:.76rem}.tsb caption{color:var(--color-muted);text-align:left;margin-bottom:.3rem;font-size:.72rem;font-weight:700}.tsb th,.tsb td{border-bottom:1px solid var(--color-border);font-variant-numeric:tabular-nums;text-align:right;padding:.3rem .45rem}.tsb thead th{color:var(--color-muted);vertical-align:bottom;font-weight:700}.tsb tbody th{color:var(--color-fg);text-align:left}.tsb th[scope=colgroup]{text-align:center}.tsb td[data-kind=na],.tsb td[data-kind=pending]{color:var(--color-muted);font-style:italic}.tsb--width table{margin-top:0;font-size:.84rem}.tsb--width thead th{white-space:nowrap}.tsb--width thead th:first-child{text-align:left}.tsb .tsb__group-row td{border-bottom:0}.tsb .tsb__group-row th{color:var(--color-fg);text-align:center;padding-bottom:.15rem}.tsb__th-engine{align-items:center;gap:.35rem;display:inline-flex}.tsb__k{text-align:center;border-radius:6px;min-width:2.2rem;padding:.05rem .4rem;display:inline-block}.tsb__k--none{color:var(--color-muted)}.tsb__k--lowest{color:var(--color-fg);font-weight:900}.tsb .tsb__empty{color:var(--color-muted);margin:0;font-size:.84rem}@media (prefers-reduced-motion:no-preference){.tsb__mark{transition:left .3s}.tsb__stem{transition:left .3s,width .3s}}@media (width<=50rem){.tsb__segments button{min-height:2.75rem;padding-inline:.9rem}.tsb .tsb__legend{row-gap:0}.tsb .tsb__legend-toggle{min-height:2.75rem;margin-block:0}.tsb__details>summary,.tsb__table>summary{min-height:2.75rem;padding:.75rem 0}.tsb .tsb__name a,.tsb--width tbody th a{margin-block:-.85rem;padding-block:.85rem;display:inline-block}}.tsb__chart{container-type:inline-size}@container (width<=34rem){.tsb__head,.tsb__row{grid-template-columns:minmax(0,1fr) 7rem;grid-template-areas:"name name""plot value"}.tsb__speedup{font-size:1.05rem}.tsb--compare .tsb__head,.tsb--compare .tsb__row{grid-template-columns:1.3rem minmax(0,1fr) 4rem;grid-template-areas:"name name name""k plot value";column-gap:.45rem}.tsb--bars .tsb__head,.tsb--bars .tsb__row{grid-template-columns:minmax(0,1fr) 4rem}.tsb__head-name{display:none}.tsb__name{padding-bottom:0}.tsb__plot{padding-top:.35rem}}@container (width<=30rem){.tsb__tick--minor{display:none}}@container (width>=34rem) and (width<=42rem){.tsb__tick--minor{display:none}}@media (width<=40rem){.tsb .tsb__eyebrow,.tsb code,.tsb__head,.tsb__meta,.tsb__ks,.tsb__values,.tsb__speedup-note,.tsb__from-to,.tsb__control-label,.tsb .tsb__tip-meta,.tsb .tsb__tip-notes,.tsb .tsb__tip-foot,.tsb table,.tsb caption{font-size:.75rem}.tsb__specs{grid-template-columns:minmax(0,1fr);gap:0}.tsb__specs dt{margin-top:.5rem}.tsb--width thead th{white-space:normal}.tsb__th-engine{justify-items:end;gap:.15rem;display:inline-grid}.tsb--width th,.tsb--width td{padding-inline:.3rem}}.tcs{--tcs-x:var(--viz-series-2);--tcs-z:var(--viz-series-3);--tcs-y:var(--viz-series-1);--tcs-phase:#2747d6;--tcs-zx-ink:var(--color-fg)}:root:not([data-theme=light]) .tcs{--tcs-phase:#9db4ff;--tcs-zx-ink:#b4b7c6}.tcs [hidden]{display:none!important}.tcs__nav{grid-template-columns:auto 1fr auto;align-items:center;gap:.75rem;display:grid}.tcs .tcs__nav-button{border:1px solid var(--color-border);background:var(--color-bg);min-height:2.5rem;color:var(--brand-strong);font:inherit;cursor:pointer;white-space:nowrap;border-radius:9px;padding:.4rem .9rem;font-size:.85rem;font-weight:700}.tcs .tcs__nav-button:hover:not(:disabled){border-color:color-mix(in srgb, var(--brand) 55%, var(--color-border));background:var(--brand-soft)}.tcs .tcs__nav-button:disabled{color:var(--color-muted);cursor:default;opacity:.55}.tcs .tcs__nav-button:focus-visible,.tcs__dots button:focus-visible{outline:2px solid var(--brand);outline-offset:2px}.tcs .tcs__where{text-align:center;flex-direction:column;align-items:center;margin:0;line-height:1.25;display:flex}.tcs__count{color:var(--color-muted);letter-spacing:.06em;font-size:.7rem;font-weight:700}.tcs__step-title{font-size:clamp(1rem,2.6vw,1.2rem);font-weight:900}.tcs__sub{min-height:1.1em;color:var(--brand-strong);font-size:.78rem;font-weight:700}.tcs .tcs__dots{justify-content:center;gap:.15rem;margin:.7rem 0 1.1rem;padding:0;list-style:none;display:flex}.tcs .tcs__dots li{margin:0}.tcs__dots button{cursor:pointer;background:0 0;border:0;width:1.75rem;height:1.75rem;padding:0;display:block}.tcs__dots button:before{background:var(--color-border);content:"";border-radius:50%;width:.55rem;height:.55rem;margin:auto;transition:background .2s,transform .2s;display:block}.tcs__dots button[aria-current=step]:before{background:var(--brand);transform:scale(1.35)}.tcs .tcs__dots>li{align-items:center;display:flex}.tcs__dots button[hidden]{display:none}.tcs .tcs__subdots{gap:2px;margin:0 .35rem;padding:0;list-style:none;display:flex}.tcs .tcs__subdots[hidden]{display:none}.tcs .tcs__subdots li{margin:0}.tcs .tcs__subdots button{cursor:pointer;background:0 0;border:0;width:.8rem;height:1.75rem;padding:0;display:block}.tcs .tcs__subdots button:before{background:var(--color-border);content:"";border-radius:0;width:100%;height:.75rem;margin:auto 0;transition:background .2s;display:block;transform:none}.tcs .tcs__subdots li:first-child button:before{border-radius:999px 0 0 999px}.tcs .tcs__subdots li:last-child button:before{border-radius:0 999px 999px 0}.tcs .tcs__subdots button.is-done:before{background:color-mix(in srgb, var(--brand) 40%, var(--color-border))}.tcs .tcs__subdots button[aria-current=step]:before{background:var(--brand);transform:none}.tcs__subdots button:focus-visible{outline:2px solid var(--brand);outline-offset:1px}.tcs .tcs__lead{max-width:46rem;margin:0 0 .7rem;font-size:.92rem;line-height:1.6}.tcs .tcs__lead strong{font-weight:900}.tcs .tcs__facts{flex-wrap:wrap;gap:.4rem;margin:0 0 .8rem;padding:0;list-style:none;display:flex}.tcs .tcs__facts li{border:1px solid var(--color-border);color:var(--color-muted);border-radius:999px;margin:0;padding:.2rem .6rem;font-size:.78rem}.tcs__facts strong{color:var(--color-fg);font-weight:900}.tcs__was{color:var(--color-muted);font-size:.72rem}.tcs .tcs__note{color:var(--color-muted);margin:.55rem 0 0;font-size:.76rem}.tcs{--tcs-code-instruction:#8250df;--tcs-code-measure:#0a63c9;--tcs-code-args:#b35900;--tcs-code-rec:#1a7f37;--tcs-code-pauli:#b3245f}:root:not([data-theme=light]) .tcs{--tcs-code-instruction:#cba6ff;--tcs-code-measure:#7cc0ff;--tcs-code-args:#ffb36b;--tcs-code-rec:#7ee2a0;--tcs-code-pauli:#ff9ec3}.tcs .tcs__code{border:1px solid var(--color-border);background:var(--color-bg);max-height:20rem;color:var(--color-fg);font-family:var(--sl-font-mono);white-space:pre;border-radius:10px;margin:0;padding:.75rem .9rem;font-size:.74rem;line-height:1.55;overflow:auto}.tcs__tok--instruction{color:var(--tcs-code-instruction);font-weight:700}.tcs__tok--measure{color:var(--tcs-code-measure);font-weight:700}.tcs__tok--annotation{color:var(--color-muted);font-weight:700}.tcs__tok--args{color:var(--tcs-code-args)}.tcs__tok--rec{color:var(--tcs-code-rec)}.tcs__tok--pauli{color:var(--tcs-code-pauli)}.tcs__zx{border:1px solid var(--color-border);background:var(--color-bg);border-radius:10px}.tcs__zx-tools{border-bottom:1px solid var(--color-border);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.4rem .8rem;padding:.45rem .6rem;display:flex}.tcs .tcs__facts--tools{margin:0}.tcs__canvas{padding:.25rem;overflow:hidden}.tcs__canvas[data-zoom=full]{overscroll-behavior:contain;max-height:min(70vh,40rem);overflow:auto}.tcs__canvas>div{display:none}.tcs__canvas svg{touch-action:pan-x pan-y;margin:0 auto;display:block}.tcs__canvas svg g.node>g{touch-action:none}.tcs__canvas svg [stroke=black]{stroke:var(--tcs-zx-ink)}.tcs__canvas svg [fill=\#000000]{fill:var(--tcs-zx-ink)}.tcs__canvas svg text[fill=\#00d]{fill:var(--tcs-phase)}.tcs__canvas svg text[fill=\#000],.tcs__canvas svg text[fill=\#999]{fill:var(--color-muted)}.tcs .tcs__basis{margin:0 0 .8rem}.tcs .tcs__basis>summary{color:var(--brand-strong);cursor:pointer;font-size:.84rem;font-weight:700}.tcs .tcs__basis-list{border:1px solid var(--color-border);background:var(--color-bg);border-radius:10px;max-height:16rem;margin:.5rem 0 0;padding:.5rem .7rem;list-style:none;overflow:auto}.tcs .tcs__basis-list li{font-family:var(--sl-font-mono);grid-template-columns:2.6rem 1fr;gap:.4rem;margin:0 0 .35rem;font-size:.72rem;line-height:1.5;display:grid}.tcs__basis-bit{color:var(--color-fg);font-weight:700}.tcs__basis-bit:after{color:var(--color-muted);content:" =";font-weight:400}.tcs__basis-errors{color:var(--color-muted);overflow-wrap:anywhere}.tcs__program-wrap{overflow-x:auto}.tcs .tcs__program{border-collapse:collapse;width:100%;margin:0;font-size:.8rem}.tcs .tcs__program th,.tcs .tcs__program td{border-bottom:1px solid var(--tsb-grid);text-align:left;vertical-align:middle;white-space:nowrap;padding:.28rem .4rem}.tcs .tcs__program thead th{color:var(--color-muted);letter-spacing:.05em;text-transform:uppercase;font-size:.68rem;font-weight:700}.tcs .tcs__program tbody tr{background:var(--color-surface)}.tcs .tcs__num{width:1.6rem;color:var(--color-muted);font-variant-numeric:tabular-nums;text-align:right}.tcs__pauli-head>span[aria-hidden]{padding-left:.9rem;display:inline-flex}.tcs__pauli-head>span[aria-hidden]>span{text-align:center;text-transform:none;width:1.45rem}.tcs .tcs__pauli{font-family:var(--sl-font-mono)}.tcs__sign{width:.9rem;color:var(--color-muted);display:inline-block}.tcs__p{text-align:center;border-radius:4px;width:1.35rem;margin-right:.1rem;font-weight:700;line-height:1.45rem;display:inline-block}.tcs__p--I{color:var(--color-muted)}.tcs__p--X{background:color-mix(in srgb, var(--tcs-x) 22%, transparent);color:var(--tcs-x)}.tcs__p--Z{background:color-mix(in srgb, var(--tcs-z) 22%, transparent);color:var(--tcs-z)}.tcs__p--Y{background:color-mix(in srgb, var(--tcs-y) 22%, transparent);color:var(--tcs-y)}.tcs .tcs__op--measure .tcs__what{font-weight:700}.tcs .tcs__noise{font-family:var(--sl-font-mono);font-size:.74rem}.tcs__none,.tcs__bits{color:var(--color-muted)}.tcs__bits--shared{background:color-mix(in srgb, var(--tcs-x) 18%, transparent);color:var(--tcs-x);border-radius:4px;padding:.05rem .35rem;font-weight:700}.tcs .tcs__k-head,.tcs .tcs__k{width:28%;min-width:6rem}.tcs .tcs__k{position:relative}.tcs__bar{width:calc(var(--k) / var(--k-max) * (100% - 1.6rem));background:color-mix(in srgb, var(--viz-series-1) 45%, transparent);vertical-align:middle;border-radius:3px;height:.62rem;margin-right:.35rem;transition:width .35s;display:inline-block}.tcs__k-value{color:var(--color-muted);font-variant-numeric:tabular-nums}.tcs .is-peak .tcs__bar{background:var(--viz-series-1)}.tcs .is-peak .tcs__k-value{color:var(--color-fg);font-weight:900}.tcs .tcs__divider td{border-bottom:1px dashed var(--color-border);background:var(--color-surface);color:var(--color-muted);letter-spacing:.05em;text-transform:uppercase;padding:.5rem .4rem .3rem;font-size:.68rem;font-weight:700}.tcs .tcs__program tr.is-waiting>td{opacity:.5}.tcs .tcs__program tr.is-waiting.is-chain>td,.tcs .tcs__program tr.is-waiting.is-candidate>td{opacity:1}.tcs .tcs__program tr.is-chain>td:first-child,.tcs .tcs__program tr.is-candidate>td:first-child{box-shadow:inset 3px 0 0 var(--brand)}.tcs .tcs__program tr.is-candidate{background:var(--brand-soft)}.tcs .tcs__program tr.is-new{background:color-mix(in srgb, var(--brand-soft) 70%, var(--color-surface))}.tcs .tcs__program tr.is-pending .tcs__what{color:var(--brand-strong)}.tcs .is-trial .tcs__bar{background:repeating-linear-gradient(135deg, color-mix(in srgb, var(--viz-series-1) 55%, transparent) 0 3px, transparent 3px 6px);box-shadow:inset 0 0 0 1px color-mix(in srgb, var(--viz-series-1) 60%, transparent)}.tcs .is-trial.is-peak .tcs__bar{background:repeating-linear-gradient(135deg, var(--viz-series-1) 0 3px, transparent 3px 6px)}.tcs .tcs__candidates{flex-wrap:wrap;gap:.4rem;margin:0 0 .8rem;display:flex}.tcs .tcs__candidates button{border:1px solid var(--color-border);background:var(--color-bg);min-width:6.5rem;color:var(--color-fg);font:inherit;text-align:left;cursor:pointer;border-radius:9px;padding:.35rem .6rem;display:grid}.tcs .tcs__candidates button[aria-pressed=true]{border-color:var(--brand);background:var(--brand-soft)}.tcs .tcs__candidates button:focus-visible{outline:2px solid var(--brand);outline-offset:1px}.tcs__candidate-name{font-family:var(--sl-font-mono);font-size:.8rem;font-weight:700}.tcs__candidate-peak{font-size:.78rem;font-weight:700}.is-winner .tcs__candidate-peak:after{color:var(--brand-strong);content:" ✓"}.tcs__candidate-chain{color:var(--color-muted);font-size:.7rem}.tcs__head-title{margin-bottom:.15rem;display:block}.tcs .tcs__program--frame thead th{vertical-align:bottom}.tcs__p.is-dropped{opacity:.2}.tcs__p--free{box-sizing:border-box;border:1px dashed var(--color-border);line-height:calc(1.45rem - 2px)}.tcs__axis{background:color-mix(in srgb, var(--viz-series-1) 14%, transparent);color:var(--brand-strong);border-radius:4px;margin-left:.45rem;padding:.05rem .35rem;font-size:.68rem;font-weight:700}.tcs__term{font-family:var(--sl-font-mono);border-radius:4px;padding:.05rem .35rem;font-weight:700}.tcs__term--f{background:color-mix(in srgb, var(--tcs-x) 18%, transparent);color:var(--tcs-x)}.tcs__term--noise{background:color-mix(in srgb, var(--color-muted) 14%, transparent);color:var(--color-muted);font-weight:400}.tcs__term--b{background:color-mix(in srgb, var(--viz-series-1) 18%, transparent);color:var(--brand-strong)}.tcs__terms{flex-wrap:wrap;align-items:center;gap:.25rem;display:inline-flex}.tcs__split{color:var(--brand-strong);font-size:.68rem;font-weight:700}.tcs__split:before{content:"↳ "}.tcs .tcs__program--sharing tr.is-split{background:color-mix(in srgb, var(--brand-soft) 60%, var(--color-surface))}.tcs__bar--t{width:calc(var(--t) / var(--t-max) * (100% - 2rem))}.tcs .tcs__program--sharing tr.is-split .tcs__bar--t,.tcs .tcs__program--sharing tbody tr:last-child .tcs__bar--t{background:var(--viz-series-1)}.tcs .tcs__outputs{grid-template-columns:repeat(auto-fill,minmax(15rem,1fr));gap:.35rem 1rem;margin:.8rem 0 0;padding:0;list-style:none;display:grid}.tcs .tcs__outputs li{color:var(--color-muted);margin:0;font-size:.74rem;line-height:1.9}.tcs__output-name{color:var(--color-fg);font-family:var(--sl-font-mono);font-weight:700}.tcs .tcs__lanes{color:var(--color-muted);margin:.7rem 0 0;font-size:.78rem}.tcs__lanes strong{color:var(--color-fg)}.tcs{position:relative}.tcs .tcs__program tr[data-op]{cursor:help}.tcs .tcs__program tr[data-op]:focus-visible{outline:2px solid var(--brand);outline-offset:-2px}.tcs__tip{z-index:20;border:1px solid var(--color-border);background:var(--color-surface);pointer-events:none;border-radius:10px;padding:.55rem .7rem .6rem;font-size:.74rem;position:absolute;box-shadow:0 8px 24px #0000002e}.tcs .tcs__tip-section{color:var(--color-muted);letter-spacing:.05em;text-transform:uppercase;margin:0 0 .25rem;font-size:.66rem;font-weight:700}.tcs .tcs__tip-note{color:var(--color-muted);margin:0}.tcs__tip-row{font-family:var(--sl-font-mono);white-space:nowrap;align-items:center;margin-bottom:.12rem;font-size:.8rem;display:flex}.tcs__tip-row.is-anti{background:color-mix(in srgb, var(--tcs-x) 10%, transparent);border-radius:4px}@media (width<=40rem){.tcs__nav{gap:.4rem}.tcs .tcs__nav-button{padding-inline:.7rem}.tcs__nav-label{display:none}.tcs .tcs__program{font-size:.74rem}.tcs .tcs__program th,.tcs .tcs__program td{padding-inline:.25rem}.tcs .tcs__program td.tcs__what,.tcs .tcs__program td.tcs__noise{white-space:normal}.tcs .tcs__program td.tcs__what{min-width:4.2rem}.tcs .tcs__program td.tcs__noise{min-width:3rem;font-size:.64rem;line-height:1.3}.tcs .tcs__k-head,.tcs .tcs__k{width:auto;min-width:3.6rem}.tcs__p{width:1.15rem}.tcs__tip-row{font-size:.74rem}.tcs__pauli-head>span[aria-hidden]>span{width:1.25rem}.tcs .tcs__frame-col{display:none}.tcs__axis{margin:.1rem 0 0;display:inline-block}}@media (prefers-reduced-motion:reduce){.tcs__bar,.tcs__dots button:before{transition:none}}