.vv {
  --vv-bg: #0b1210;
  --vv-panel: #12201a;
  --vv-rule: #355447;
  --vv-text: #e6f1ea;
  --vv-muted: #a9beb2;
  --vv-green: #82d9a2;
  --vv-amber: #e6b873;
  position: relative;
  box-sizing: border-box;
  margin: 1.75rem 0;
  padding: 16px 16px 14px;
  border: 1px solid var(--vv-rule);
  border-radius: 2px;
  background: var(--vv-bg);
  color: var(--vv-text);
  font: 12px/1.3 ui-monospace, "Cascadia Code", Consolas, monospace;
  overflow: hidden;
  color-scheme: dark;
}
.vv *, .vv *::before, .vv *::after { box-sizing: border-box; }
.vv [hidden] { display: none !important; }
.vv-sr {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}
.vv-topline {
  display: flex;
  justify-content: space-between;
  gap: 12px;
  color: var(--vv-muted);
  font-size: 10px;
  letter-spacing: .16em;
}
.vv-topline span:first-child, .vv-topline a { color: var(--vv-green); text-decoration: none; }
.vv button {
  appearance: none;
  cursor: pointer;
  min-height: 36px;
  min-width: 44px;
  padding: 0 10px;
  border: 1px solid var(--vv-rule);
  border-radius: 2px;
  background: var(--vv-panel);
  color: var(--vv-text);
  font: 11px/1 ui-monospace, Consolas, monospace;
}
.vv button:hover:not(:disabled) { border-color: var(--vv-green); }
.vv button[aria-pressed="true"] { border-color: var(--vv-green); color: var(--vv-green); background: #203b2c; }
.vv button:focus-visible, .vv a:focus-visible { outline: 2px solid var(--vv-amber); outline-offset: 3px; }
.vv button:disabled { opacity: .4; cursor: default; }
.vv-tools { display: inline-flex; align-items: center; gap: 8px; }
.vv button.vv-pause { min-height: 24px; min-width: 52px; padding: 0 8px; font-size: 10px; letter-spacing: .06em; }
.vv[data-paused],
.vv[data-paused] *,
.vv[data-paused]::before,
.vv[data-paused]::after,
.vv[data-paused] *::before,
.vv[data-paused] *::after { animation-play-state: paused !important; }
.vv-key button { display: inline-flex; align-items: center; gap: 7px; }
.vv-key button i { width: 7px; height: 7px; transform: rotate(45deg); background: var(--vv-green); }
.vv-key button[data-catch="after"] i { background: var(--vv-amber); }
.vv::after {
  content: "";
  position: absolute;
  left: 0;
  bottom: 0;
  height: 2px;
  width: 100%;
  transform: scaleX(0);
  transform-origin: left center;
  background: var(--vv-green);
  opacity: .7;
  animation: vv-clock 12s linear infinite;
}
@keyframes vv-clock {
  0% { transform: scaleX(0); }
  100% { transform: scaleX(1); }
}

.vv-validate { --vv-red: #e07068; }
.vv-validate::after { animation-duration: 32s; }
.vv-validate-body {
  display: grid;
  grid-template-columns: 72px minmax(0, 1fr);
  gap: 12px;
  margin-top: 14px;
  min-height: 292px;
}
.vv-steps {
  display: grid;
  align-content: center;
  gap: 2px;
  margin: 0;
  padding: 0;
  list-style: none;
}
.vv-steps li {
  padding-left: 8px;
  border-left: 2px solid transparent;
  color: var(--vv-muted);
  font-size: 11px;
  line-height: 26px;
}
.vv .vv-steps button {
  display: block;
  width: 100%;
  min-width: 0;
  min-height: 26px;
  margin: 0;
  padding: 0;
  border: 0;
  border-radius: 0;
  background: transparent;
  color: inherit;
  font: inherit;
  line-height: 26px;
  text-align: left;
  cursor: pointer;
}
.vv .vv-steps button:hover { color: var(--vv-text); }
.vv-steps li:nth-child(1) { animation: vv-step-rust 32s linear infinite; }
.vv-steps li:nth-child(2) { animation: vv-step-test 32s linear infinite; }
.vv-steps li:nth-child(3) { animation: vv-step-diff 32s linear infinite; }
.vv-steps li:nth-child(4) { animation: vv-step-fuzz 32s linear infinite; }
.vv-steps li:nth-child(5) { animation: vv-step-verus 32s linear infinite; }
.vv-steps li:nth-child(6) { animation: vv-step-integ 32s linear infinite; }
.vv-steps li:nth-child(7) { animation: vv-step-perf 32s linear infinite; }
.vv-steps li:nth-child(8) { animation: vv-step-ship 32s linear infinite; }
.vv-lens { position: relative; min-height: 292px; }
.vv-frame {
  position: absolute;
  inset: 0;
  display: flex;
  align-items: center;
  justify-content: center;
  opacity: 0;
}
.vv-frame[data-step="ship"] { opacity: 1; }
.vv-frame[data-step="rust"] { animation: vv-show-rust 32s linear infinite; }
.vv-frame[data-step="test"] { animation: vv-show-test 32s linear infinite; }
.vv-frame[data-step="diff"] { animation: vv-show-diff 32s linear infinite; }
.vv-frame[data-step="fuzz"] { animation: vv-show-fuzz 32s linear infinite; }
.vv-frame[data-step="verus"] { animation: vv-show-verus 32s linear infinite; }
.vv-frame[data-step="integ"] { animation: vv-show-integ 32s linear infinite; }
.vv-frame[data-step="perf"] { animation: vv-show-perf 32s linear infinite; }
.vv-frame[data-step="ship"] { animation: vv-show-ship 32s linear infinite; }
.vv-annot {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  column-gap: 28px;
  row-gap: 1px;
  width: min(100%, 560px);
  align-items: center;
}
.vv-annot.is-side {
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 48px;
  width: max-content;
  max-width: 100%;
  height: auto;
}
.vv-line {
  color: var(--vv-text);
  font-size: 12px;
  line-height: 1.45;
  white-space: pre;
}
.vv pre.vv-code {
  display: block;
  flex: 0 0 auto;
  width: max-content;
  max-width: 100%;
  height: auto;
  margin: 0;
  padding: 0;
  border: 0;
  border-radius: 0;
  background: transparent;
  color: var(--vv-text);
  font: 12px/1.45 ui-monospace, "Cascadia Code", Consolas, monospace;
  white-space: pre;
  overflow: visible;
}
.vv-line b, .vv-note b, .vv-formula, .vv-shipped b {
  font-weight: 650;
}
.vv-line b { color: var(--vv-green); }
.vv-hit, .vv-miss { display: inline-grid; vertical-align: baseline; }
.vv-hit > i, .vv-hit > b, .vv-miss > i, .vv-miss > b {
  grid-area: 1 / 1;
  font-family: inherit;
  font-style: normal;
}
.vv-hit > i, .vv-miss > i { color: var(--vv-text); font-weight: 450; }
.vv-frame[data-step="rust"] .vv-hit > b,
.vv-frame[data-step="rust"] .vv-note,
.vv-frame[data-step="rust"] .vv-miss > b { opacity: 0; }
.vv-frame[data-step="rust"] .vv-hit[data-n="1"] > b,
.vv-frame[data-step="rust"] .vv-note[data-n="1"] { animation: vv-reveal-1 32s linear infinite; }
.vv-frame[data-step="rust"] .vv-hit[data-n="2"] > b,
.vv-frame[data-step="rust"] .vv-note[data-n="2"] { animation: vv-reveal-2 32s linear infinite; }
.vv-frame[data-step="rust"] .vv-hit[data-n="3"] > b,
.vv-frame[data-step="rust"] .vv-note[data-n="3"] { animation: vv-reveal-3 32s linear infinite; }
.vv-frame[data-step="rust"] .vv-miss > b,
.vv-frame[data-step="rust"] .vv-note[data-n="miss"] { animation: vv-reveal-miss 32s linear infinite; }
.vv-line .is-bad, .vv-note.is-bad, .vv-cmp .is-bad { color: var(--vv-red); }
.vv-note, .vv-formula {
  position: relative;
  color: var(--vv-green);
  font-size: 10px;
  letter-spacing: .04em;
  white-space: nowrap;
}
.vv-note.is-bad,
.vv-inputs .is-missed {
  font-size: 15px;
  font-weight: 650;
}
.vv-frame[data-step="verus"] .vv-note,
.vv-frame[data-step="verus"] .vv-formula {
  font-size: 16px;
  font-weight: 650;
  letter-spacing: .01em;
}
.vv-flip .is-q { color: var(--vv-red); }
.vv-note::before, .vv-formula::before {
  content: "";
  position: absolute;
  right: calc(100% + 6px);
  top: 50%;
  width: 16px;
  border-top: 1px solid currentColor;
}
.vv-note::after, .vv-formula::after {
  content: "";
  position: absolute;
  right: calc(100% + 18px);
  top: 50%;
  margin-top: -3px;
  border: 3px solid transparent;
  border-right: 4px solid currentColor;
}
.vv-flip { display: grid; }
.vv-line .vv-flip { display: inline-grid; vertical-align: baseline; }
.vv-flip b { grid-area: 1 / 1; }
.vv-flip .is-yes, .vv-flip .is-fix { visibility: hidden; }
.vv-flip .is-fix { color: var(--vv-green); }
.vv-frame[data-step="verus"] .vv-flip .is-bad { animation: vv-pred-bad 32s linear infinite; }
.vv-frame[data-step="verus"] .vv-flip .is-fix { animation: vv-yes 32s linear infinite; }
.vv-frame[data-step="verus"] .vv-flip .is-q { animation: vv-q 32s linear infinite; }
.vv-frame[data-step="verus"] .vv-flip .is-yes { animation: vv-yes 32s linear infinite; }
.vv-inputs {
  display: grid;
  gap: 6px;
  margin: 0;
  padding: 0;
  list-style: none;
  color: var(--vv-green);
  font-size: 12px;
}
.vv-inputs .is-caught { color: var(--vv-red); }
.vv-inputs .is-missed { color: var(--vv-red); visibility: hidden; }
.vv-frame[data-step="test"] .is-missed { animation: vv-miss-test 32s linear infinite; }
.vv-frame[data-step="fuzz"] .is-missed { animation: vv-miss-fuzz 32s linear infinite; }
.vv-wafer {
  display: grid;
  grid-template-columns: repeat(4, 18px);
  gap: 4px;
  padding: 7px;
  border: 1px solid var(--vv-rule);
  background: #101a16;
}
.vv-wafer i { width: 18px; height: 14px; border: 1px solid #2c463b; background: #17261f; }
.vv-wafer.is-local { border-style: dashed; border-color: #4e6d5c; }
.vv-wafer.is-other { border-style: dashed; }
.vv-wafer .is-risk { border-color: var(--vv-amber); background: #3a2e1c; }
.vv-wafer.is-local .is-risk {
  border-color: var(--vv-green);
  background: #234433;
  box-shadow: 0 0 0 3px #0b1210, 0 0 0 4px var(--vv-green);
}
.vv-wafer .is-pass { border-color: var(--vv-green); background: var(--vv-green); }
.vv-pair { display: flex; align-items: center; gap: 10px; }
.vv-pair > b { color: var(--vv-green); font-weight: 500; font-size: 16px; }
.vv-shell {
  position: relative;
  display: flex;
  padding: 22px 28px;
  border: 1px solid var(--vv-green);
}
.vv-shell > i {
  position: absolute;
  top: 50%;
  width: 8px;
  height: 8px;
  margin-top: -4px;
  border: 1px solid var(--vv-green);
  background: #0b1210;
}
.vv-shell > i:first-child { left: -5px; }
.vv-shell > i:nth-child(2) { right: -5px; }
.vv-plot {
  position: relative;
  width: min(100%, 320px);
  height: 210px;
}
.vv-yaxis, .vv-xaxis { position: absolute; background: var(--vv-rule); }
.vv-yaxis { left: 28px; top: 12px; bottom: 28px; width: 1px; }
.vv-xaxis { left: 28px; right: 12px; bottom: 28px; height: 1px; }
.vv-yaxis::before, .vv-yaxis::after {
  position: absolute;
  right: 8px;
  color: var(--vv-muted);
  font-size: 9px;
  font-style: normal;
}
.vv-yaxis::before { content: "100"; top: -2px; }
.vv-yaxis::after { content: "0"; bottom: -2px; }
.vv-runs {
  position: absolute;
  left: 48px;
  right: 24px;
  top: 12px;
  bottom: 28px;
  display: grid;
  grid-template-columns: repeat(3, 36px);
  justify-content: center;
  align-items: end;
  gap: 28px;
}
.vv-runs span { position: relative; height: 100%; }
.vv-runs i {
  position: absolute;
  left: 6px;
  right: 6px;
  bottom: 0;
  height: 0;
  background: #234433;
  border: 1px solid var(--vv-green);
  border-bottom: 0;
  transform-origin: bottom center;
}
.vv-runs b {
  position: absolute;
  left: 0;
  right: 0;
  bottom: 0;
  color: var(--vv-green);
  font-size: 10px;
  font-weight: 500;
  text-align: center;
  opacity: 0;
}
.vv-runs { animation: vv-runs 32s linear infinite; }
.vv-runs [data-h="90"] i { animation: vv-bar-90 32s linear infinite; }
.vv-runs [data-h="80"] i { animation: vv-bar-80 32s linear infinite; }
.vv-runs [data-h="100"] i { animation: vv-bar-100 32s linear infinite; }
.vv-runs [data-h="90"] b { animation: vv-num-90 32s linear infinite; }
.vv-runs [data-h="80"] b { animation: vv-num-80 32s linear infinite; }
.vv-runs [data-h="100"] b { animation: vv-num-100 32s linear infinite; }
.vv-cdf {
  position: absolute;
  left: 28px;
  right: 8px;
  top: 8px;
  width: calc(100% - 36px);
  height: 176px;
  opacity: 0;
  animation: vv-cdf 32s linear infinite;
}
.vv-cdf path { fill: none; stroke-width: 2; }
.vv-cdf .is-base { stroke: var(--vv-amber); }
.vv-cdf .is-new { stroke: var(--vv-green); }
.vv-cdf text { fill: var(--vv-muted); font: 10px ui-monospace, Consolas, monospace; }
.vv-cdf text.is-base { fill: var(--vv-amber); }
.vv-cdf text.is-new { fill: var(--vv-green); }
.vv-ship { width: min(100%, 460px); }
.vv-shipped {
  display: flex;
  align-items: center;
  gap: 8px;
  margin-bottom: 10px;
  color: var(--vv-green);
}
.vv-shipped i { width: 8px; height: 8px; background: var(--vv-green); transform: rotate(45deg); }
.vv-shipped span { color: var(--vv-amber); letter-spacing: .12em; }
.vv-cmp {
  display: grid;
  grid-template-columns: 64px repeat(5, 36px);
  gap: 7px 6px;
  justify-content: start;
  align-items: center;
  font-size: 11px;
}
.vv-cmp > span { color: var(--vv-muted); }
.vv-cmp > span:not(:first-child) { text-align: center; }
.vv-mark {
  width: 7px;
  height: 7px;
  justify-self: center;
  border: 1px solid #4d675c;
  background: transparent;
  opacity: 1;
}
.vv-mark.is-on {
  border-color: var(--vv-green);
  background: var(--vv-green);
  transform: rotate(45deg);
}
.vv-mark.is-half {
  width: 10px;
  height: 10px;
  border: 0;
  background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 12 12'%3E%3Cpolygon points='6,1 11,6 6,11 1,6' fill='none' stroke='%2382D9A2' stroke-width='1.15'/%3E%3Cpolygon points='6,1.7 6,10.3 1.7,6' fill='%2382D9A2'/%3E%3C/svg%3E") center / contain no-repeat;
  transform: none;
}
.vv-frame[data-step="ship"] .vv-mark[data-col="rust"] { animation: vv-col-rust 32s linear infinite; }
.vv-frame[data-step="ship"] .vv-mark[data-col="verus"] { animation: vv-col-verus 32s linear infinite; }
.vv-frame[data-step="ship"] .vv-mark[data-col="test"] { animation: vv-col-test 32s linear infinite; }
.vv-frame[data-step="ship"] .vv-mark[data-col="fuzz"] { animation: vv-col-fuzz 32s linear infinite; }
.vv-frame[data-step="ship"] .vv-mark[data-col="ship"] { animation: vv-col-ship 32s linear infinite; }
@keyframes vv-reveal-1 { 0%, 1.8% { opacity: 0; } 2%, 12.2% { opacity: 1; } 12.5%, 100% { opacity: 0; } }
@keyframes vv-reveal-2 { 0%, 4.3% { opacity: 0; } 4.5%, 12.2% { opacity: 1; } 12.5%, 100% { opacity: 0; } }
@keyframes vv-reveal-3 { 0%, 6.8% { opacity: 0; } 7%, 12.2% { opacity: 1; } 12.5%, 100% { opacity: 0; } }
@keyframes vv-reveal-miss { 0%, 9.3% { opacity: 0; } 9.5%, 12.2% { opacity: 1; } 12.5%, 100% { opacity: 0; } }
@keyframes vv-col-rust { 0%, 83.8% { opacity: 0; } 84%, 100% { opacity: 1; } }
@keyframes vv-col-verus { 0%, 86.8% { opacity: 0; } 87%, 100% { opacity: 1; } }
@keyframes vv-col-fuzz { 0%, 89.8% { opacity: 0; } 90%, 100% { opacity: 1; } }
@keyframes vv-col-test { 0%, 92.8% { opacity: 0; } 93%, 100% { opacity: 1; } }
@keyframes vv-col-ship { 0%, 95.8% { opacity: 0; } 96%, 100% { opacity: 1; } }
@keyframes vv-show-rust { 0%, 12.2% { opacity: 1; } 12.5%, 100% { opacity: 0; } }
@keyframes vv-show-test { 0%, 12.2% { opacity: 0; } 12.5%, 24.7% { opacity: 1; } 25%, 100% { opacity: 0; } }
@keyframes vv-show-diff { 0%, 24.7% { opacity: 0; } 25%, 37.2% { opacity: 1; } 37.5%, 100% { opacity: 0; } }
@keyframes vv-show-fuzz { 0%, 37.2% { opacity: 0; } 37.5%, 49.7% { opacity: 1; } 50%, 100% { opacity: 0; } }
@keyframes vv-show-verus { 0%, 49.7% { opacity: 0; } 50%, 62.2% { opacity: 1; } 62.5%, 100% { opacity: 0; } }
@keyframes vv-show-integ { 0%, 62.2% { opacity: 0; } 62.5%, 74.7% { opacity: 1; } 75%, 100% { opacity: 0; } }
@keyframes vv-show-perf { 0%, 74.7% { opacity: 0; } 75%, 82.2% { opacity: 1; } 82.5%, 100% { opacity: 0; } }
@keyframes vv-show-ship { 0%, 82.2% { opacity: 0; } 82.5%, 100% { opacity: 1; } }
@keyframes vv-step-rust { 0%, 12.2% { color: var(--vv-green); border-left-color: var(--vv-green); } 12.5%, 100% { color: var(--vv-muted); border-left-color: transparent; } }
@keyframes vv-step-test { 0%, 12.2% { color: var(--vv-muted); border-left-color: transparent; } 12.5%, 24.7% { color: var(--vv-green); border-left-color: var(--vv-green); } 25%, 100% { color: var(--vv-muted); border-left-color: transparent; } }
@keyframes vv-step-diff { 0%, 24.7% { color: var(--vv-muted); border-left-color: transparent; } 25%, 37.2% { color: var(--vv-green); border-left-color: var(--vv-green); } 37.5%, 100% { color: var(--vv-muted); border-left-color: transparent; } }
@keyframes vv-step-fuzz { 0%, 37.2% { color: var(--vv-muted); border-left-color: transparent; } 37.5%, 49.7% { color: var(--vv-green); border-left-color: var(--vv-green); } 50%, 100% { color: var(--vv-muted); border-left-color: transparent; } }
@keyframes vv-step-verus { 0%, 49.7% { color: var(--vv-muted); border-left-color: transparent; } 50%, 62.2% { color: var(--vv-green); border-left-color: var(--vv-green); } 62.5%, 100% { color: var(--vv-muted); border-left-color: transparent; } }
@keyframes vv-step-integ { 0%, 62.2% { color: var(--vv-muted); border-left-color: transparent; } 62.5%, 74.7% { color: var(--vv-green); border-left-color: var(--vv-green); } 75%, 100% { color: var(--vv-muted); border-left-color: transparent; } }
@keyframes vv-step-perf { 0%, 74.7% { color: var(--vv-muted); border-left-color: transparent; } 75%, 82.2% { color: var(--vv-green); border-left-color: var(--vv-green); } 82.5%, 100% { color: var(--vv-muted); border-left-color: transparent; } }
@keyframes vv-step-ship { 0%, 82.2% { color: var(--vv-muted); border-left-color: transparent; } 82.5%, 100% { color: var(--vv-green); border-left-color: var(--vv-green); } }
@keyframes vv-pred-bad { 0%, 55% { visibility: visible; color: var(--vv-red); } 56.5%, 62.2% { visibility: hidden; } 62.5%, 100% { visibility: visible; color: var(--vv-red); } }
@keyframes vv-q { 0%, 55% { visibility: visible; } 56.5%, 62.2% { visibility: hidden; } 62.5%, 100% { visibility: visible; } }
@keyframes vv-yes { 0%, 55% { visibility: hidden; } 56.5%, 62.2% { visibility: visible; } 62.5%, 100% { visibility: hidden; } }
@keyframes vv-miss-test { 0%, 19.8% { visibility: hidden; } 20%, 24.7% { visibility: visible; } 25%, 100% { visibility: hidden; } }
@keyframes vv-miss-fuzz { 0%, 44.8% { visibility: hidden; } 45%, 49.7% { visibility: visible; } 50%, 100% { visibility: hidden; } }
@keyframes vv-bar-90 { 0%, 75.2% { height: 0; } 76.1%, 79% { height: 90%; } 79.6%, 100% { height: 0; } }
@keyframes vv-bar-80 { 0%, 76.1% { height: 0; } 77%, 79% { height: 80%; } 79.6%, 100% { height: 0; } }
@keyframes vv-bar-100 { 0%, 77% { height: 0; } 77.9%, 79% { height: 100%; } 79.6%, 100% { height: 0; } }
@keyframes vv-num-90 { 0%, 75.9% { opacity: 0; bottom: 0; } 76.1%, 79% { opacity: 1; bottom: 92%; } 79.6%, 100% { opacity: 0; } }
@keyframes vv-num-80 { 0%, 76.8% { opacity: 0; bottom: 0; } 77%, 79% { opacity: 1; bottom: 82%; } 79.6%, 100% { opacity: 0; } }
@keyframes vv-num-100 { 0%, 77.7% { opacity: 0; bottom: 0; } 77.9%, 79% { opacity: 1; bottom: 102%; } 79.6%, 100% { opacity: 0; } }
@keyframes vv-runs { 0%, 79% { opacity: 1; } 79.6%, 100% { opacity: 0; } }
@keyframes vv-cdf { 0%, 79.4% { opacity: 0; } 79.8%, 82.2% { opacity: 1; } 82.5%, 100% { opacity: 0; } }
@media (max-width: 560px) {
  .vv-validate-body { grid-template-columns: 52px minmax(0, 1fr); gap: 8px; }
  .vv-steps li, .vv-line, .vv-inputs, .vv pre.vv-code { font-size: 10px; }
  .vv-annot.is-side { flex-direction: column; align-items: flex-start; gap: 12px; width: 100%; }
  .vv-annot { grid-template-columns: minmax(0, 1fr); row-gap: 0; width: 100%; }
  .vv-annot > span:empty { display: none; }
  .vv-note, .vv-formula { margin: 0 0 5px 10px; font-size: 9px; }
  .vv-note.is-bad, .vv-inputs .is-missed { font-size: 13px; }
  .vv-frame[data-step="verus"] .vv-note,
  .vv-frame[data-step="verus"] .vv-formula { font-size: 13px; }
  .vv-note::before, .vv-formula::before,
  .vv-note::after, .vv-formula::after { display: none; }
  .vv-cmp { grid-template-columns: 46px repeat(5, 22px); gap: 6px 3px; font-size: 9px; }
  .vv-chain { --vv-ai: 40px; --vv-col-gap: 4px; grid-template-columns: var(--vv-ai) minmax(0, 1fr) 46px; column-gap: var(--vv-col-gap); row-gap: 0; }
  .vv-block { font-size: 10px; letter-spacing: 0; }
  .vv-block { min-width: 58px; padding: 6px 6px; letter-spacing: .08em; }
  .vv-from, .vv-owns, .vv-return { font-size: 9px; }
  .vv-face { width: 26px; height: 26px; font-size: 16px; }
  .vv-wafer { grid-template-columns: repeat(4, 14px); }
  .vv-wafer i { width: 14px; height: 12px; }
}
@media (prefers-reduced-motion: reduce) {
  .vv::after { display: none; }
  .vv, .vv::before, .vv::after,
  .vv *, .vv *::before, .vv *::after { animation: none !important; }
  .vv-validate:not([data-hold]) .vv-steps li:last-child { color: var(--vv-green); border-left-color: var(--vv-green); }
}
.vv-validate[data-hold] .vv-frame,
.vv-validate[data-hold] .vv-frame *,
.vv-validate[data-hold] .vv-steps li,
.vv-validate[data-hold]::after { animation: none !important; }
.vv-validate[data-hold]::after { display: none; }
.vv-validate[data-hold] .vv-frame { opacity: 0; }
.vv-validate[data-hold="rust"] .vv-frame[data-step="rust"],
.vv-validate[data-hold="test"] .vv-frame[data-step="test"],
.vv-validate[data-hold="diff"] .vv-frame[data-step="diff"],
.vv-validate[data-hold="fuzz"] .vv-frame[data-step="fuzz"],
.vv-validate[data-hold="verus"] .vv-frame[data-step="verus"],
.vv-validate[data-hold="integ"] .vv-frame[data-step="integ"],
.vv-validate[data-hold="perf"] .vv-frame[data-step="perf"],
.vv-validate[data-hold="ship"] .vv-frame[data-step="ship"] { opacity: 1; }
.vv-validate[data-hold] .vv-steps li { color: var(--vv-muted); border-left-color: transparent; }
.vv-validate[data-hold] .vv-steps li:has(button[aria-pressed="true"]) {
  color: var(--vv-green);
  border-left-color: var(--vv-green);
}
.vv-validate[data-hold="rust"] .vv-hit > b,
.vv-validate[data-hold="rust"] .vv-note,
.vv-validate[data-hold="rust"] .vv-miss > b { opacity: 1; }
.vv-validate[data-hold="test"] .is-missed,
.vv-validate[data-hold="fuzz"] .is-missed { visibility: visible; }
.vv-validate[data-hold="verus"] .vv-flip .is-bad,
.vv-validate[data-hold="verus"] .vv-flip .is-q { visibility: hidden; }
.vv-validate[data-hold="verus"] .vv-flip .is-fix,
.vv-validate[data-hold="verus"] .vv-flip .is-yes { visibility: visible; }
.vv-validate[data-hold="perf"] .vv-runs { opacity: 0; }
.vv-validate[data-hold="perf"] .vv-cdf { opacity: 1; }
.vv-validate[data-hold="ship"] .vv-mark { opacity: 1; }
.vv-agentic::after { animation-duration: 18s; }
.vv-chain {
  --vv-ai: 52px;
  --vv-col-gap: 10px;
  --vv-feed-gap: 14px;
  display: grid;
  grid-template-columns: var(--vv-ai) minmax(0, 1fr) 64px;
  grid-template-areas: "ai flow human" "back back back" ". tail .";
  column-gap: var(--vv-col-gap);
  row-gap: 0;
  width: min(100%, 520px);
  margin: 16px auto 0;
  align-items: stretch;
}
.vv-side {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 5px;
  min-width: 0;
  color: var(--vv-muted);
  font-size: 10px;
  letter-spacing: .08em;
}
.vv-side.is-ai { grid-area: ai; }
.vv-side.is-human { grid-area: human; }
.vv-face {
  display: grid;
  place-items: center;
  width: 32px;
  height: 32px;
  border: 1px solid var(--vv-rule);
  font-family: "Segoe UI Emoji", "Apple Color Emoji", "Noto Color Emoji", sans-serif;
  font-size: 20px;
  font-weight: 400;
  line-height: 1;
}
.vv-rail {
  position: relative;
  width: 1px;
  flex: 1;
  min-height: 18px;
  background: none;
}
.vv-rail::after {
  content: "";
  position: absolute;
  top: 0;
  left: 0;
  width: 1px;
  height: 100%;
  background: var(--vv-rule);
  transform-origin: top center;
  transform: scaleY(1);
}
.vv-side.is-ai .vv-rail { margin-bottom: calc(-1 * var(--vv-feed-gap) - 1px); }
.vv-diamond {
  width: 8px;
  height: 8px;
  background: var(--vv-green);
  transform: rotate(45deg);
}
.vv-vname { color: var(--vv-green); }
.vv-owns {
  position: absolute;
  top: 46px;
  color: var(--vv-amber);
  letter-spacing: .12em;
}
.vv-side.is-human { position: relative; }
.vv-flow { grid-area: flow; display: grid; }
.vv-step {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr);
  align-items: center;
  gap: 6px;
  max-height: 36px;
  margin-top: 14px;
  overflow: hidden;
}
.vv-step[data-step="spec"] { margin-top: 0; }
.vv-block {
  position: relative;
  min-width: 72px;
  padding: 7px 10px;
  border: 1px solid var(--vv-green);
  background: #203b2c;
  color: var(--vv-green);
  letter-spacing: .06em;
  text-align: center;
  white-space: nowrap;
}
.vv-step[data-step="spec"] .vv-block {
  border-color: #715b36;
  background: #231f16;
  color: var(--vv-amber);
}
.vv-from {
  color: var(--vv-green);
  font-size: 10px;
  letter-spacing: .04em;
  white-space: nowrap;
}
.vv-from.is-ai { justify-self: end; }
.vv-from.is-human, .vv-from.is-verus { justify-self: start; color: var(--vv-amber); }
.vv-from.is-verus { color: var(--vv-green); }
.vv-return {
  grid-area: back;
  position: relative;
  display: flex;
  align-items: flex-start;
  height: calc(16px + var(--vv-feed-gap));
  margin-left: calc(var(--vv-ai) / 2 - 1px);
  width: calc(100% - var(--vv-ai) / 2 + 1px);
  color: var(--vv-green);
  font-size: 10px;
  letter-spacing: .12em;
}
.vv-return i {
  position: absolute;
  left: 0;
  right: 72px;
  top: var(--vv-feed-gap);
  height: 0;
  border-top: 1px solid currentColor;
  transform-origin: right center;
}
.vv-return i::before {
  content: "";
  position: absolute;
  left: 0;
  top: -3px;
  width: 0;
  height: 0;
  border: 3px solid transparent;
  border-right: 5px solid currentColor;
}
.vv-return span {
  position: absolute;
  z-index: 1;
  right: 0;
  top: var(--vv-feed-gap);
  padding-left: 8px;
  background: var(--vv-bg);
  line-height: 1;
  transform: translateY(-50%);
}
.vv-after { grid-area: tail; display: grid; min-width: 0; }
.vv-after .vv-step { width: 100%; }
.vv-more {
  color: var(--vv-muted);
  font-size: 16px;
  letter-spacing: .35em;
  line-height: 1;
  text-align: center;
}
.vv-face svg { width: 20px; height: 20px; fill: none; stroke: currentColor; stroke-width: 1.4; }
.vv-face circle { fill: currentColor; stroke: none; }
.vv-side.is-ai .vv-face { border-color: var(--vv-green); color: var(--vv-green); }
.vv-side.is-human .vv-face { border-color: var(--vv-amber); color: var(--vv-amber); }
.vv-side.is-human .vv-rail::after { background: var(--vv-amber); }
.vv-agentic .vv-step[data-step="model"],
.vv-agentic .vv-step[data-step="model"] .vv-from.is-ai,
.vv-agentic .vv-step[data-step="proof"],
.vv-agentic .vv-step[data-step="proof"] .vv-from.is-ai,
.vv-agentic .vv-step[data-step="code"],
.vv-agentic .vv-step[data-step="code"] .vv-from.is-ai { animation: vv-agent-in 18s linear infinite; }
.vv-agentic .vv-step[data-step="model"] { animation-name: vv-agent-model; }
.vv-agentic .vv-step[data-step="model"] .vv-from.is-ai { animation-name: vv-agent-model-ai; }
.vv-agentic .vv-step[data-step="model"] .vv-from.is-human { animation: vv-agent-model-human 18s linear infinite; }
.vv-agentic .vv-step[data-step="proof"] { animation-name: vv-agent-proof; }
.vv-agentic .vv-step[data-step="proof"] .vv-from.is-ai { animation-name: vv-agent-proof-ai; }
.vv-agentic .vv-step[data-step="proof"] .vv-from.is-human { animation: vv-agent-proof-human 18s linear infinite; }
.vv-agentic .vv-step[data-step="code"] { animation-name: vv-agent-code; }
.vv-agentic .vv-step[data-step="code"] .vv-from.is-ai { animation-name: vv-agent-code-ai; }
.vv-agentic .vv-step[data-step="code"] .vv-from.is-verus,
.vv-agentic .vv-diamond,
.vv-agentic .vv-vname { animation: vv-agent-check 18s linear infinite; }
.vv-agentic .vv-return { animation: vv-agent-feedback 18s linear infinite; }
.vv-agentic .vv-return i { animation: vv-agent-feedback-line 18s linear infinite; }
.vv-agentic .vv-step[data-step="again"] { animation: vv-agent-again 18s linear infinite; }
.vv-agentic .vv-step[data-step="more"] { animation: vv-agent-more 18s linear infinite; }
.vv-agentic .vv-side.is-ai .vv-face { animation: vv-agent-ai-face 18s linear infinite; }
.vv-agentic .vv-side.is-human .vv-face { animation: vv-agent-human-face 18s linear infinite; }
.vv-agentic .vv-owns { animation: vv-agent-owns 18s linear infinite; }
.vv-agentic .vv-side.is-ai .vv-rail::after { animation: vv-agent-ai-rail 18s linear infinite; }
.vv-agentic .vv-side.is-human .vv-rail::after { animation: vv-agent-human-rail 18s linear infinite, vv-agent-rail 18s linear infinite; }
.vv-agentic .vv-step[data-step="spec"] { animation: vv-agent-spec 18s linear infinite; }
@keyframes vv-agent-spec { 0%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-model { 0%, 6% { opacity: 0; } 8%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-model-ai { 0%, 10% { opacity: 0; } 12%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-model-human { 0%, 16% { opacity: 0; } 18%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-proof { 0%, 26% { opacity: 0; } 28%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-proof-ai { 0%, 30% { opacity: 0; } 32%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-proof-human { 0%, 36% { opacity: 0; } 38%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-code { 0%, 48% { opacity: 0; } 50%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-code-ai { 0%, 52% { opacity: 0; } 54%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-check { 0%, 58% { opacity: 0; } 60%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-feedback { 0%, 64% { opacity: 0; } 66%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-feedback-line { 0%, 64% { transform: scaleX(0); } 72%, 97% { transform: scaleX(1); } 100% { transform: scaleX(0); } }
@keyframes vv-agent-again { 0%, 72% { opacity: 0; } 74%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-more { 0%, 80% { opacity: 0; } 82%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-ai-face {
  0%, 64% { border-color: var(--vv-rule); }
  66%, 97% { border-color: var(--vv-green); }
  100% { border-color: var(--vv-rule); }
}
@keyframes vv-agent-human-face {
  0%, 86% { border-color: var(--vv-rule); }
  88%, 97% { border-color: var(--vv-amber); }
  100% { border-color: var(--vv-rule); }
}
@keyframes vv-agent-owns { 0%, 86% { opacity: 0; } 88%, 97% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-agent-ai-rail {
  0%, 6% { transform: scaleY(0); }
  12%, 26% { transform: scaleY(.22); }
  32%, 48% { transform: scaleY(.58); }
  54%, 64% { transform: scaleY(.9); }
  72%, 97% { transform: scaleY(1); }
  100% { transform: scaleY(0); }
}
@keyframes vv-agent-human-rail {
  0%, 6% { transform: scaleY(0); }
  12%, 26% { transform: scaleY(.34); }
  32%, 48% { transform: scaleY(.9); }
  54%, 58% { transform: scaleY(.9); }
  62%, 97% { transform: scaleY(1); }
  100% { transform: scaleY(0); }
}
@keyframes vv-agent-rail {
  0%, 86% { background: var(--vv-rule); }
  88%, 97% { background: var(--vv-amber); }
  100% { background: var(--vv-rule); }
}
@media (max-width: 560px) {
  .vv-chain {
    --vv-ai: 34px;
    --vv-col-gap: 4px;
    grid-template-columns: var(--vv-ai) minmax(0, 1fr) 38px;
  }
  .vv-block { padding: 6px 6px; letter-spacing: 0; font-size: 10px; }
  .vv-from, .vv-owns, .vv-return, .vv-side { font-size: 9px; }
  .vv-face { width: 26px; height: 26px; }
  .vv-return i { right: 58px; }
}
.vv-plm { --vv-red: #e07068; }
.vv-plm [data-layer="photo"],
.vv-plm [data-layer="hex"] { opacity: 0; }
.vv-plm pre { margin: 0; padding: 0; border: 0; background: none; overflow: visible; }
.vv-plm::after { animation-duration: 24s; }
.vv-zoom { position: relative; height: 300px; margin-top: 10px; }
.vv-layer {
  position: absolute;
  inset: 0;
  display: grid;
  place-items: center;
  align-content: center;
  gap: 12px;
}
.vv-photo {
  position: relative;
  width: min(100%, 320px);
  height: 176px;
  border: 1px solid var(--vv-rule);
  border-radius: 22px;
  background: #101a16;
  display: grid;
  place-items: center;
  overflow: hidden;
}
.vv-photo svg { width: 92%; height: auto; fill: none; stroke: var(--vv-rule); stroke-width: 1.5; }
.vv-photo circle { stroke: var(--vv-amber); }
.vv-photo path:last-of-type { stroke: var(--vv-green); }
.vv-photo > b {
  position: absolute;
  left: 16px;
  bottom: 14px;
  color: var(--vv-muted);
  font-weight: 500;
  letter-spacing: .18em;
  font-size: 10px;
}
.vv-photo pre {
  margin: 0;
  color: var(--vv-muted);
  font: 13px/1.7 ui-monospace, Consolas, monospace;
  letter-spacing: .04em;
  text-align: center;
  white-space: pre;
}
.vv-photo .is-head {
  color: var(--vv-green);
  border: 1px solid transparent;
  padding: 1px 4px;
}
.vv-file {
  color: var(--vv-muted);
  font-size: 12px;
  letter-spacing: .04em;
  text-align: center;
}
.vv-file i { color: var(--vv-green); font-style: normal; }
.vv-head {
  min-width: min(100%, 280px);
  padding: 12px 16px;
  border: 1px solid var(--vv-green);
  background: #18261f;
  text-align: center;
}
.vv-head small {
  display: block;
  margin-bottom: 8px;
  color: var(--vv-muted);
  letter-spacing: .16em;
  font-size: 10px;
}
.vv-head b { color: var(--vv-text); font-weight: 500; letter-spacing: .06em; }
.vv-head em {
  font-style: normal;
  color: var(--vv-green);
  padding: 2px 6px;
  border: 1px solid var(--vv-green);
  background: #203b2c;
}
.vv-head span {
  margin-left: 8px;
  color: var(--vv-green);
  letter-spacing: .16em;
  font-size: 12px;
}
.vv-head code {
  display: block;
  margin-top: 10px;
  color: var(--vv-muted);
  font: 12px/1.4 ui-monospace, Consolas, monospace;
  background: none;
}
.vv-head.is-mark { text-align: left; }
.vv-bytes {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px;
  margin: 0;
}
.vv-bytes code { display: inline; margin: 0; color: var(--vv-text); }
.vv-mid { display: grid; }
.vv-mid > * { grid-area: 1 / 1; }
.vv-states { display: grid; align-content: center; gap: 6px; }
.vv-states > small { color: var(--vv-muted); letter-spacing: .14em; font-size: 10px; }
.vv-state { display: grid; grid-template-columns: 64px 14px auto auto; align-items: center; gap: 8px; }
.vv-state code { color: var(--vv-green); }
.vv-state i { color: var(--vv-muted); font-style: normal; }
.vv-state b { font-weight: 500; }
.vv-state span { color: var(--vv-muted); }
.vv-state [data-cast="stay"] { color: var(--vv-green); }
.vv-judge { display: grid; margin-top: 4px; }
.vv-judge > * { grid-area: 1 / 1; align-self: center; }
.vv-ens { margin: 0; color: var(--vv-muted); }
.vv-ens b { margin-left: 8px; color: var(--vv-green); font-weight: 500; }
.vv-ens span { margin-left: 8px; }
.vv-spec { display: grid; gap: 6px; }
.vv-spec p { display: flex; flex-wrap: wrap; align-items: baseline; gap: 8px 12px; margin: 0; }
.vv-spec s { white-space: nowrap; }
.vv-spec small { color: var(--vv-muted); letter-spacing: .08em; font-size: 10px; }
.vv-spec b { color: var(--vv-green); font-weight: 500; }
.vv-spec em, .vv-spec i { color: var(--vv-green); font-style: normal; }
.vv-spec i { margin-left: 18px; }
.vv-spec .is-bad s, .vv-spec .is-bad em { color: var(--vv-red); font-size: 15px; text-decoration: none; }
.vv-cast { list-style: none; margin: 0; padding: 0; display: grid; gap: 6px; align-content: center; }
.vv-cast li {
  display: grid;
  grid-template-columns: 112px 16px auto;
  align-items: center;
  gap: 8px;
}
.vv-cast code {
  padding: 4px 6px;
  border: 1px solid var(--vv-rule);
  color: var(--vv-green);
  font: 12px/1.2 ui-monospace, Consolas, monospace;
  background: none;
  text-align: center;
}
.vv-cast i { color: var(--vv-muted); font-style: normal; }
.vv-cast span { color: var(--vv-text); letter-spacing: .04em; }
.vv-saved { display: grid; justify-items: center; gap: 8px; }
.vv-recs { display: flex; gap: 8px; }
.vv-rec {
  padding: 8px 10px;
  border: 1px solid var(--vv-rule);
  color: var(--vv-muted);
}
.vv-rec.is-new { border-color: var(--vv-green); color: var(--vv-green); background: #203b2c; }
.vv-rec i { margin-left: 6px; color: var(--vv-green); font-style: normal; letter-spacing: .08em; }
.vv-cap { letter-spacing: .08em; }
.vv-cap span { color: var(--vv-muted); }
.vv-cap b { margin-left: 8px; color: var(--vv-red); font-weight: 500; font-size: 15px; }
.vv-plm .vv-cast { opacity: 0; }
.vv-plm [data-layer="photo"] { animation: vv-plm-photo 24s linear infinite; }
.vv-plm [data-layer="hex"] { animation: vv-plm-hex 24s linear infinite; }
.vv-plm [data-layer="hex"] .is-head { animation: vv-plm-select 24s linear infinite; }
.vv-plm [data-layer="parse"] { animation: vv-plm-parse 24s linear infinite; }
.vv-plm .vv-cast { animation: vv-plm-cast 24s linear infinite; }
.vv-plm [data-cast="seglen"] { animation: vv-plm-seglen 24s linear infinite; }
.vv-plm [data-cast="idx"] { animation: vv-plm-idx 24s linear infinite; }
.vv-plm [data-cast="len"] { animation: vv-plm-len 24s linear infinite; }
.vv-plm [data-cast="pkt"] { animation: vv-plm-pkt 24s linear infinite; }
.vv-plm [data-cast="states"] { animation: vv-plm-states 24s linear infinite; }
.vv-plm [data-cast="ens"] { opacity: 0; animation: vv-plm-ens 24s linear infinite; }
.vv-plm [data-cast="spec"] { animation: vv-plm-spec 24s linear infinite; }
.vv-plm [data-cast="stay"] { animation: vv-plm-stay 24s linear infinite; }
@keyframes vv-plm-photo {
  0%, 10% { opacity: 1; transform: scale(1); }
  16%, 96% { opacity: 0; transform: scale(1.12); }
  100% { opacity: 1; transform: scale(1); }
}
@keyframes vv-plm-hex {
  0%, 12% { opacity: 0; transform: scale(.88); }
  16%, 24% { opacity: 1; transform: scale(1); }
  30%, 100% { opacity: 0; transform: scale(1.08); }
}
@keyframes vv-plm-select {
  0%, 16% { border-color: transparent; background: transparent; }
  20%, 26% { border-color: var(--vv-green); background: #203b2c; }
  30%, 100% { border-color: transparent; background: transparent; }
}
@keyframes vv-plm-parse {
  0%, 26% { opacity: 0; }
  32%, 96% { opacity: 1; }
  100% { opacity: 0; }
}
@keyframes vv-plm-cast { 0%, 30% { opacity: 0; } 34%, 52% { opacity: 1; } 58%, 100% { opacity: 0; } }
@keyframes vv-plm-seglen { 0%, 32% { opacity: 0; } 36%, 100% { opacity: 1; } }
@keyframes vv-plm-idx { 0%, 36% { opacity: 0; } 40%, 100% { opacity: 1; } }
@keyframes vv-plm-len { 0%, 40% { opacity: 0; } 44%, 100% { opacity: 1; } }
@keyframes vv-plm-pkt { 0%, 44% { opacity: 0; } 48%, 100% { opacity: 1; } }
@keyframes vv-plm-states { 0%, 54% { opacity: 0; } 58%, 96% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-plm-ens { 0%, 56% { opacity: 0; } 60%, 70% { opacity: 1; } 74%, 100% { opacity: 0; } }
@keyframes vv-plm-spec { 0%, 72% { opacity: 0; } 76%, 96% { opacity: 1; } 100% { opacity: 0; } }
@keyframes vv-plm-stay { 0%, 72% { opacity: 0; } 76%, 100% { opacity: 1; } }
@media (max-width: 560px) {
  .vv-zoom { height: 320px; }
  .vv-spec s { font-size: 13px; }
  .vv-photo { height: 156px; }
  .vv-photo pre { font-size: 11px; }
  .vv-file { font-size: 10px; }
  .vv-head b, .vv-cast code { font-size: 11px; }
  .vv-cast li { grid-template-columns: 96px 14px auto; gap: 6px; }
}
@media print {
  .vv { break-inside: avoid; print-color-adjust: exact; -webkit-print-color-adjust: exact; }
  .vv::after { display: none; }
  .vv, .vv::before, .vv::after,
  .vv *, .vv *::before, .vv *::after { animation: none !important; }
}