.tx-p-rom .rom-lbl{font-size:13px}.tx-p-rom .rom-lbl--sm{font-size:11.5px}.tx-p-rom .rom-lbl--amber{fill:var(--tx-amber)}.tx-p-rom .rom-lbl--violet{fill:var(--tx-violet)}.tx-p-rom .rom-lbl--green{fill:var(--tx-green)}.tx-p-rom .rom-lbl--ink{fill:var(--tx-ink)}.tx-p-rom .rom-op{font:600 26px var(--font-mono);fill:var(--tx-muted)}.tx-p-rom .rom-eqn{font:500 20px var(--font-mono);fill:var(--tx-ink)}.tx-p-rom .rom-eqn--sm{font-size:16px}.tx-p-rom .rom-st-h{font:600 15px var(--font-mono);fill:var(--tx-cyan);letter-spacing:.08em;text-transform:uppercase}.tx-p-rom .rom-v{font:700 13px var(--font-mono);letter-spacing:.08em}.tx-p-rom .rom-v--pass{fill:var(--tx-green)}.tx-p-rom .rom-v--caution{fill:var(--tx-amber)}.tx-p-rom .rom-v--fail{fill:var(--tx-red)}.tx-p-rom .rom-neq{font:600 44px var(--font-mono);fill:var(--tx-amber)}.tx-p-rom .rom-eq{fill:var(--tx-cyan)}.tx-p-rom text.rom-eq{font-size:34px}.tx-p-rom .rom-blend{mix-blend-mode:screen}@media (max-width:640px){.tx-p-rom .rom-lbl{font-size:16px}.tx-p-rom .rom-lbl--sm{font-size:14px}.tx-p-rom .rom-st-h{font-size:18px}.tx-p-rom .rom-eqn{font-size:22px}.tx-p-rom .rom-v{font-size:15px}}.tx-p-rom .rom-hero-fig{aspect-ratio:640 / 560}.tx-p-rom .rom-hero-svg{display:block}.tx-p-rom .rom-h-e1,.tx-p-rom .rom-h-e2,.tx-p-rom .rom-h-e3{opacity:.12}.tx-p-rom .rom-h-scan{animation:rom-scan 6s var(--ease-out) infinite}@keyframes rom-scan{0%{transform:translateX(0);opacity:0}10%{opacity:.8}70%{transform:translateX(540px);opacity:.5}71%,100%{transform:translateX(540px);opacity:0}}@keyframes rom-in{from{opacity:0}to{opacity:1}}@keyframes rom-rise{from{opacity:0;transform:translateY(12px)}to{opacity:1;transform:none}}@keyframes rom-out{from{opacity:1}to{opacity:.12}}@keyframes rom-grow{from{transform:scaleY(0)}to{transform:scaleY(1)}}@keyframes rom-growx{from{transform:scaleX(0)}to{transform:scaleX(1)}}.js .tx-p-rom .rom-h-a0{animation:rom-in .8s var(--ease-out) .2s both}.js .tx-p-rom .rom-h-a1{animation:rom-in .8s var(--ease-out) .9s both}.js .tx-p-rom .rom-h-a2{animation:rom-in .8s var(--ease-out) 1.5s both}.js .tx-p-rom .rom-h-a3{animation:rom-in .8s var(--ease-out) 2.1s both}.js .tx-p-rom .rom-h-t0{animation:rom-rise .7s var(--ease-out) .2s both}.js .tx-p-rom .rom-h-t1{animation:rom-rise .7s var(--ease-out) .9s both}.js .tx-p-rom .rom-h-t2{animation:rom-rise .7s var(--ease-out) 1.5s both}.js .tx-p-rom .rom-h-t3{animation:rom-rise .7s var(--ease-out) 2.1s both}.js .tx-p-rom .rom-h-e1{animation:rom-out .8s var(--ease-out) .9s both}.js .tx-p-rom .rom-h-e2{animation:rom-out .8s var(--ease-out) 1.5s both}.js .tx-p-rom .rom-h-e3{animation:rom-out .8s var(--ease-out) 2.1s both}.tx-p-rom .rom-bar{transform-box:fill-box;transform-origin:50% 100%}.js .tx-p-rom .rom-h-sv .rom-bar{animation:rom-grow .9s var(--ease-out) calc(.3s + var(--i) * .15s) both}.js .tx-p-rom .rom-h-sv .tx-draw{stroke-dashoffset:0;animation:rom-draw 1.4s var(--ease-out) .6s both}@keyframes rom-draw{from{stroke-dashoffset:1}to{stroke-dashoffset:0}}.js .tx-p-rom .rom-h-load{animation:rom-rise .6s var(--ease-out) .1s both}.tx-p-rom .rom-pbar{transform-box:fill-box;transform-origin:0 50%}.js .tx-p-rom .rom-prob-fig .rom-pbar{transform:scaleX(0);transition:transform 1.1s var(--ease-out) .3s}.js .tx-p-rom .rom-prob-fig.is-in .rom-pbar{transform:none}.js .tx-p-rom .rom-prob-fig .rom-neq{opacity:0;transition:opacity .6s var(--ease-out) 1.2s}.js .tx-p-rom .rom-prob-fig.is-in .rom-neq{opacity:1}.tx-p-rom .rom-prob-fig .rom-eq{fill:var(--tx-cyan)}.tx-p-rom .rom-sp{opacity:0;transform:translateY(10px)}.tx-p-rom .rom-steps:not([data-active]) .rom-sp[data-show~="4"],.tx-p-rom .rom-steps[data-active="1"] .rom-sp[data-show~="1"],.tx-p-rom .rom-steps[data-active="2"] .rom-sp[data-show~="2"],.tx-p-rom .rom-steps[data-active="3"] .rom-sp[data-show~="3"],.tx-p-rom .rom-steps[data-active="4"] .rom-sp[data-show~="4"],.tx-p-rom .rom-steps[data-active="5"] .rom-sp[data-show~="5"],.tx-p-rom .rom-steps[data-active="6"] .rom-sp[data-show~="6"]{opacity:1;transform:none}.tx-p-rom .rom-stage-svg{padding:4%}.tx-p-rom .rom-demo-wrap{margin-top:clamp(3rem,2rem + 4vw,6rem)}.tx-p-rom .rom-demo-head{padding:clamp(1.2rem,1rem + 1vw,2rem) clamp(1.2rem,1rem + 1vw,2rem) 0}.tx-p-rom .rom-demo-head p{max-width:75ch;margin:0}.tx-p-rom .rom-demo-svg{padding:1rem clamp(.6rem,.4rem + 1vw,1.6rem) 0}.tx-p-rom .rom-d-decl{opacity:0;visibility:hidden;transition:opacity .35s var(--ease-out),visibility 0s .35s}.tx-p-rom .rom-demo.is-declined .rom-d-decl{opacity:1;visibility:visible;transition:opacity .35s var(--ease-out)}.tx-p-rom .rom-d-decl-h{font:700 34px var(--font-mono);fill:var(--tx-red);letter-spacing:.1em;text-transform:uppercase}.tx-p-rom .rom-demo-ctl{display:grid;gap:1rem 2rem;padding:1rem clamp(1.2rem,1rem + 1vw,2rem);align-items:start}@media (min-width:760px){.tx-p-rom .rom-demo-ctl{grid-template-columns:minmax(0,1fr) auto}}html:not(.js) .tx-p-rom .rom-demo-ctl{display:none}.tx-p-rom .rom-demo-slider label{display:block;font-size:var(--step-sm);margin-bottom:.5rem}.tx-p-rom .rom-demo-slider output{font-family:var(--font-mono);color:var(--tx-cyan)}.tx-p-rom .rom-demo-slider input[type="range"]{width:100%;accent-color:var(--tx-cyan);margin:0;min-height:28px}.tx-p-rom .rom-demo-slider input[type="range"]:focus-visible{outline:2px solid var(--tx-amber);outline-offset:4px}.tx-p-rom .rom-track{display:block;width:100%;height:auto;margin-top:.2rem}.tx-p-rom .rom-small{font-size:var(--step-xs);margin:.4rem 0 0}.tx-p-rom .rom-modes{border:1px solid var(--tx-line);border-radius:var(--radius-md);padding:.6rem 1rem .8rem;margin:0;display:flex;flex-wrap:wrap;gap:.4rem}.tx-p-rom .rom-modes legend{font-size:var(--step-xs);font-family:var(--font-mono);color:var(--tx-muted);padding:0 .4rem;letter-spacing:.06em;text-transform:uppercase}.tx-p-rom .rom-modes label{position:relative;display:inline-grid;place-items:center;min-width:44px;min-height:44px;border:1px solid var(--tx-line);border-radius:var(--radius-sm);font-family:var(--font-mono);cursor:pointer;transition:border-color var(--dur-base),background var(--dur-base),color var(--dur-base)}.tx-p-rom .rom-modes input{position:absolute;opacity:0;inset:0;margin:0;cursor:pointer}.tx-p-rom .rom-modes label:has(input:checked){background:var(--tx-cyan);border-color:var(--tx-cyan);color:var(--text-on-accent)}.tx-p-rom .rom-modes label:has(input:focus-visible){outline:2px solid var(--tx-amber);outline-offset:2px}.tx-p-rom .rom-readout{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,180px),1fr));gap:1px;margin:0;background:var(--tx-line);border-top:1px solid var(--tx-line)}.tx-p-rom .rom-readout>div{background:var(--surface-1);padding:.9rem clamp(1.2rem,1rem + 1vw,2rem)}.tx-p-rom .rom-readout dt{font-size:var(--step-xs);color:var(--tx-muted);font-family:var(--font-mono);letter-spacing:.04em}.tx-p-rom .rom-readout dd{margin:.3rem 0 0;font-size:var(--step-md);font-weight:600;font-variant-numeric:tabular-nums}.tx-p-rom .rom-demo.is-declined #rom-o-st{color:var(--tx-red)}.tx-p-rom .rom-depth-split{margin-top:1.5rem;align-items:center}.tx-p-rom .rom-depth-svg{padding:3% 3% 1%}.tx-p-rom .rom-dp-pts circle{fill:var(--tx-ink);stroke:var(--surface-1);stroke-width:2;transition:r var(--dur-base) var(--ease-out),fill var(--dur-base)}.tx-p-rom .rom-dp-pts .rom-g1{fill:var(--tx-cyan)}.tx-p-rom .rom-dp-pts .rom-g2{fill:var(--tx-amber)}.tx-p-rom .rom-dp-pts circle:hover,.tx-p-rom .rom-dp-pts circle:focus-visible{r:9;outline:none;stroke:var(--tx-amber)}.tx-p-rom .rom-tabs{margin-top:clamp(2.5rem,2rem + 2vw,4rem)}.tx-p-rom .rom-pan[hidden]{display:none}.tx-p-rom .rom-pan:hover{transform:none}.tx-p-rom .rom-pan:focus-visible{outline:2px solid var(--tx-amber);outline-offset:3px}.tx-p-rom .rom-pan p{color:var(--tx-muted);max-width:80ch}.tx-p-rom .rom-eq-block{display:grid;gap:.2rem;margin-bottom:1rem;padding:1rem 1.2rem;border-radius:var(--radius-md);background:var(--surface-2);border:1px solid var(--tx-line);overflow-x:auto}.tx-p-rom .rom-eq-block p{margin:.2rem 0;color:var(--tx-ink)}.tx-p-rom span.rom-eq{font-family:var(--font-mono);font-size:var(--step-sm);color:var(--tx-ink);white-space:nowrap}.tx-p-rom .rom-proof-split{margin-top:2rem}.tx-p-rom .rom-proof-svg{padding:3% 3% 1%}.js .tx-p-rom .rom-proof-svg .rom-pbar{transform:scaleX(0);transition:transform 1.2s var(--ease-out) calc(.2s + var(--i) * .12s)}.js .tx-p-rom .is-in .rom-proof-svg .rom-pbar{transform:none}.tx-p-rom .rom-proof-cards{display:grid;gap:1rem}.tx-p-rom .rom-proof-cards p + p{margin-top:.8rem}.tx-p-rom .rom-proof-cards strong{color:var(--tx-ink);font-variant-numeric:tabular-nums}.tx-p-rom .rom-roles{margin-top:2rem}.tx-p-rom .rom-sub{margin-top:clamp(2.5rem,2rem + 2vw,4rem)}.tx-p-rom .rom-apps{margin-top:1rem}.tx-p-rom .rom-app{padding:1.1rem 0;border-top:1px solid var(--tx-line)}.tx-p-rom .rom-app p{color:var(--tx-muted);font-size:var(--step-sm);margin:.7rem 0 0}.tx-p-rom .rom-table{margin-top:clamp(2.5rem,2rem + 2vw,4rem)}.tx-p-rom .rom-table caption{text-align:left;padding:1rem 1.1rem 0;font-size:var(--step-xs)}.tx-p-rom .rom-loop-note{margin-top:2.5rem}.tx-p-rom .rom-loop-note p{margin:0}.tx-p-rom .rom-loop-note a{color:var(--tx-cyan)}.tx-reduced .tx-p-rom .rom-pbar,.tx-reduced .tx-p-rom .rom-neq{transform:none !important;opacity:1 !important;transition:none !important}.tx-reduced .tx-p-rom .rom-sp{transition:none}.tx-reduced .tx-p-rom .rom-h-e1,.tx-reduced .tx-p-rom .rom-h-e2,.tx-reduced .tx-p-rom .rom-h-e3{opacity:.12}.tx-reduced .tx-p-rom .rom-h-scan{opacity:0}@media (prefers-reduced-motion:reduce){.tx-p-rom .rom-pbar,.tx-p-rom .rom-neq{transform:none !important;opacity:1 !important}.tx-p-rom .rom-h-scan{opacity:0}}html:not(.js) .tx-p-rom .rom-tabs .tx-tablist{display:none}html:not(.js) .tx-p-rom .rom-pan + .rom-pan{margin-top:1rem}