/* one-shot-beta-the-verification-run.css — extracted from inline <style> blocks. Generated by scripts/h1-extract.mjs */
body {
        min-height: 100vh;
      }

      .article-wrap {
        position: relative;
        z-index: 1;
        max-width: 720px;
        margin: 0 auto;
        padding: 80px 24px 60px;
      }

      .article-meta {
        margin-bottom: 32px;
      }

      .article-meta .tag {
        display: inline-block;
        background: var(--green);
        color: #000;
        font-weight: 700;
        font-size: 11px;
        padding: 4px 14px;
        text-transform: uppercase;
        letter-spacing: 3px;
        margin-bottom: 16px;
      }

      .article-meta time {
        display: block;
        font-size: 12px;
        color: var(--text-dim);
        text-transform: uppercase;
        letter-spacing: 1px;
        margin-bottom: 12px;
      }

      .article-wrap h1 {
        font-size: 26px;
        line-height: 1.3;
        color: var(--green);
        margin-bottom: 32px;
      }

      .article-wrap h2 {
        font-size: 18px;
        color: var(--green);
        margin-top: 40px;
        margin-bottom: 16px;
        padding-bottom: 8px;
        border-bottom: 1px solid var(--border);
      }

      .article-wrap h3 {
        font-size: 15px;
        color: var(--green-dim);
        margin-top: 28px;
        margin-bottom: 12px;
      }

      .article-wrap p {
        font-size: 14px;
        color: var(--white);
        line-height: 1.8;
        margin-bottom: 16px;
      }

      .article-wrap ul,
      .article-wrap ol {
        font-size: 14px;
        color: var(--white);
        line-height: 1.8;
        margin-bottom: 16px;
        padding-left: 24px;
      }

      .article-wrap li {
        margin-bottom: 8px;
      }

      .article-wrap code {
        background: var(--bg-terminal);
        border: 1px solid var(--border);
        padding: 2px 6px;
        font-size: 13px;
        color: var(--green);
      }

      .article-wrap pre {
        background: var(--bg-terminal);
        border: 1px solid var(--border);
        padding: 20px;
        overflow-x: auto;
        margin-bottom: 20px;
        font-size: 13px;
        line-height: 1.6;
        color: var(--green);
      }

      .article-wrap pre code {
        background: none;
        border: none;
        padding: 0;
      }

      .article-wrap strong {
        color: var(--green);
        font-weight: 600;
      }

      .article-wrap em {
        color: var(--text-dim);
        font-style: italic;
      }

      .cta-box {
        border: 2px solid var(--green);
        background: var(--bg-card);
        padding: 32px 28px;
        margin: 40px 0;
        text-align: center;
        box-shadow: 0 0 40px var(--green-glow);
      }

      .cta-box h3 {
        color: var(--green);
        margin-top: 0;
        margin-bottom: 12px;
      }

      .cta-box p {
        color: var(--text-dim);
        font-size: 13px;
        margin-bottom: 20px;
      }

      .cta-btn {
        display: inline-block;
        background: var(--green);
        color: #000;
        font-weight: 700;
        font-size: 13px;
        padding: 12px 28px;
        text-decoration: none;
        text-transform: uppercase;
        letter-spacing: 2px;
        transition: background 0.2s;
      }

      .cta-btn:hover {
        background: #00cc33;
      }

      .nav-links {
        margin-top: 48px;
        display: flex;
        justify-content: space-between;
        font-size: 12px;
      }

      .nav-links a {
        text-shadow: 0 0 8px var(--green-glow);
        color: var(--green);
        text-decoration: none;
        text-transform: uppercase;
        letter-spacing: 1px;
      }

      .nav-links a:hover {
        color: var(--green);
      }

      .tldr {
        border-left: 3px solid var(--green);
        background: var(--bg-terminal);
        padding: 16px 20px;
        margin-bottom: 32px;
        font-size: 13px;
        line-height: 1.6;
        color: var(--white);
      }

      .tldr .tldr-label {
        color: var(--green);
        font-weight: 700;
        font-size: 11px;
        text-transform: uppercase;
        letter-spacing: 2px;
      }

      .incident-box {
        border: 1px solid #ff4444;
        background: rgba(255, 68, 68, 0.05);
        padding: 20px 24px;
        margin: 20px 0;
        font-size: 13px;
      }

      .incident-box strong {
        color: #ff4444;
      }

      .score-comparison {
        display: grid;
        grid-template-columns: 1fr 1fr;
        gap: 20px;
        margin: 24px 0;
      }

      .score-card {
        border: 1px solid var(--border);
        background: var(--bg-card);
        padding: 20px;
        text-align: center;
      }

      .score-card.fake {
        border-color: #ff4444;
      }

      .score-card.real {
        border-color: var(--green);
        box-shadow: 0 0 20px var(--green-glow);
      }

      .score-card .label {
        font-size: 11px;
        text-transform: uppercase;
        letter-spacing: 2px;
        margin-bottom: 8px;
      }

      .score-card.fake .label {
        color: #ff4444;
      }

      .score-card.real .label {
        color: var(--green);
      }

      .score-card .number {
        font-size: 32px;
        font-weight: 700;
      }

      .score-card.fake .number {
        color: #ff4444;
        text-decoration: line-through;
      }

      .score-card.real .number {
        color: var(--green);
      }

      .score-card .detail {
        font-size: 12px;
        color: var(--text-muted);
        margin-top: 8px;
      }

      .guardrail-card {
        border: 1px solid var(--border);
        background: var(--bg-card);
        padding: 20px 24px;
        margin: 16px 0;
      }

      .guardrail-card h4 {
        font-size: 14px;
        color: var(--green);
        margin-bottom: 8px;
      }

      .guardrail-card p {
        font-size: 13px;
        margin-bottom: 0;
      }

      @media (max-width: 600px) {
        .score-comparison {
          grid-template-columns: 1fr;
        }
        .stat-row {
          flex-direction: column;
        }
      }

      /* Visual layout classes */
      .key-point { border-left: 3px solid var(--green); padding: 12px 20px; margin: 16px 0; background: rgba(0, 255, 65, 0.03); }
      .key-point p { margin: 0; font-size: 13px; }
      .stat-row { display: flex; gap: 16px; margin: 20px 0; flex-wrap: wrap; }
      .stat-box { flex: 1; min-width: 120px; border: 1px solid var(--border); padding: 16px; text-align: center; }
      .stat-box .num { font-size: 28px; font-weight: 700; color: var(--green); }
      .stat-box .num.bad { color: #ff3333; }
      .stat-box .label { font-size: 11px; color: var(--text-dim); text-transform: uppercase; letter-spacing: 1px; margin-top: 4px; }
    
/* AVL-LIB-START */
/* ============================================================
   ANIMATED VISUAL LIBRARY (.avl-*)
   Lifted from blog/the-orchestra-that-wasnt.html and namespaced.
   Every animation is wrapped in a prefers-reduced-motion override
   at the bottom of this file so users with reduced-motion enabled
   see a static representation.
   ============================================================ */

/* --- Scene wrapper --- */
.avl-scene { border: 1px solid var(--border); background: var(--bg-terminal); padding: 24px; margin: 32px 0; position: relative; overflow: hidden; }
.avl-scene::before { content: ''; position: absolute; inset: 0; background: radial-gradient(circle at 50% 50%, rgba(0,255,65,0.05), transparent 70%); pointer-events: none; }
.avl-scene svg { width: 100%; height: auto; display: block; position: relative; z-index: 1; }
.avl-caption { text-align: center; font-size: 11px; color: var(--text-muted); text-transform: uppercase; letter-spacing: 2px; margin-top: 14px; }
.avl-scene .avl-caption { margin-top: 14px; }
.avl-term-caption { margin: -12px 0 24px; }
.avl-scan-cap     { margin: -16px 0 24px; }

/* --- Keyframes --- */
@keyframes avlDashflow { to { stroke-dashoffset: -20; } }
@keyframes avlPulseNode { 0%, 100% { filter: drop-shadow(0 0 6px #00FF41); } 50% { filter: drop-shadow(0 0 14px #00FF41); } }
@keyframes avlPulseRed { 0%, 100% { filter: drop-shadow(0 0 6px #ff3333); } 50% { filter: drop-shadow(0 0 14px #ff3333); } }
@keyframes avlFadeBlink { 0%, 100% { opacity: 1; } 50% { opacity: 0.35; } }
@keyframes avlScan { 0% { transform: translateY(-10%); opacity: 0; } 10% { opacity: 1; } 90% { opacity: 1; } 100% { transform: translateY(110%); opacity: 0; } }
@keyframes avlCountFill { from { width: 0%; } to { width: var(--fill, 100%); } }
/* Static-first sweep: text is fully readable in stills (line is always 100% wide).
   The animation runs ONCE on load, sweeping a green highlight across the line. */
@keyframes avlTypeLine { from { background-position: -100% 0; } to { background-position: 200% 0; } }
@keyframes avlStamp { 0% { transform: rotate(-12deg) scale(2.2); opacity: 0; } 60% { transform: rotate(-12deg) scale(0.92); opacity: 1; } 100% { transform: rotate(-12deg) scale(1); opacity: 1; } }
@keyframes avlOrbit { from { transform: rotate(0deg); } to { transform: rotate(360deg); } }
@keyframes avlOrbitRev { from { transform: rotate(360deg); } to { transform: rotate(0deg); } }
@keyframes avlRingPulse { 0% { transform: scale(0.4); opacity: 0.9; } 100% { transform: scale(1.45); opacity: 0; } }
@keyframes avlOdoTick { 0% { transform: translateY(40px); opacity: 0; } 60% { transform: translateY(-3px); opacity: 1; } 100% { transform: translateY(0); opacity: 1; } }
@keyframes avlCursor { 0%, 49% { opacity: 1; } 50%, 100% { opacity: 0; } }

/* --- Pipeline / nodes --- */
.avl-flow-line { stroke: #00FF41; stroke-width: 2; stroke-dasharray: 6 4; animation: avlDashflow 1.2s linear infinite; fill: none; }
.avl-flow-line-dim { stroke: #00aa33; stroke-width: 1.5; stroke-dasharray: 4 6; animation: avlDashflow 2s linear infinite; fill: none; opacity: 0.55; }
.avl-flow-fail { stroke: #ff4444; stroke-width: 1.7; stroke-dasharray: 4 4; animation: avlDashflow 1.4s linear infinite; fill: none; opacity: 0.78; }
[class*="avl-seq"] { animation: avlPulseNode 2.4s ease-in-out infinite; }
.avl-seq2 { animation-delay: 0.35s; }
.avl-seq3 { animation-delay: 0.7s; }
.avl-seq4 { animation-delay: 1.05s; }
.avl-seq5 { animation-delay: 1.4s; }
.avl-seq6 { animation-delay: 1.75s; }
.avl-seq7 { animation-delay: 2.1s; }
.avl-seq8 { animation-delay: 2.45s; }
.avl-blink { animation: avlFadeBlink 1.8s ease-in-out infinite; }

/* --- Stamps --- */
.avl-fail-stamp { fill: none; stroke: #ff3333; stroke-width: 3.2; font-family: 'JetBrains Mono', monospace; font-weight: 800; font-size: 38px; letter-spacing: 4px; transform-origin: center; animation: avlStamp 1.4s cubic-bezier(.2,.8,.2,1) 0.5s backwards; }
.avl-pass-stamp { fill: none; stroke: #00FF41; stroke-width: 3.2; font-family: 'JetBrains Mono', monospace; font-weight: 800; font-size: 38px; letter-spacing: 4px; transform-origin: center; animation: avlStamp 1.4s cubic-bezier(.2,.8,.2,1) 0.5s backwards; }
.avl-warn-stamp { fill: none; stroke: #ffaa00; stroke-width: 3.2; font-family: 'JetBrains Mono', monospace; font-weight: 800; font-size: 38px; letter-spacing: 4px; transform-origin: center; animation: avlStamp 1.4s cubic-bezier(.2,.8,.2,1) 0.5s backwards; }

/* --- Animated terminal panel (CSS-only typed lines) --- */
.avl-term { border: 1px solid var(--border); background: #000; margin: 28px 0; box-shadow: 0 0 30px rgba(0,255,65,0.08); }
.avl-term-bar { display: flex; align-items: center; gap: 6px; background: linear-gradient(180deg, rgba(0,255,65,0.18), rgba(0,255,65,0.04)); border-bottom: 1px solid var(--border); padding: 8px 12px; }
.avl-term-bar .dot { width: 8px; height: 8px; border-radius: 50%; background: #00FF41; box-shadow: 0 0 6px #00FF41; }
.avl-term-bar .dot.r { background: #ff5555; box-shadow: 0 0 6px #ff5555; }
.avl-term-bar .dot.y { background: #ffaa00; box-shadow: 0 0 6px #ffaa00; }
.avl-term-bar .title { font-family: 'JetBrains Mono', monospace; font-size: 11px; color: #c0ffc0; margin-left: 12px; letter-spacing: 1px; }
.avl-term-body { padding: 16px 18px 18px; font-family: 'JetBrains Mono', monospace; font-size: 12.5px; line-height: 1.55; }
.avl-term-row { display: flex; gap: 8px; align-items: baseline; padding: 2px 0; }
.avl-term-row .pmt { color: #00FF41; font-weight: 700; flex-shrink: 0; }
.avl-term-row .pmt.usr { color: #00FF41; }
.avl-term-row .pmt.sys { color: #888; }
.avl-term-row .pmt.err { color: #ff5555; }
.avl-term-row .pmt.ok  { color: #00FF41; }
.avl-term-row .ln { color: #c8ffd0; white-space: nowrap; overflow: hidden; border-right: 2px solid #00FF41; max-width: 100%; width: 100%; background-image: linear-gradient(90deg, transparent 0%, rgba(0,255,65,0) 30%, rgba(0,255,65,0.55) 50%, rgba(0,255,65,0) 70%, transparent 100%); background-size: 200% 100%; background-position: -100% 0; background-repeat: no-repeat; animation: avlTypeLine 1.4s ease-out; }
.avl-term-row .ln.muted { color: #7a9d7a; border-right-color: #7a9d7a; }
.avl-term-row .ln.err { color: #ff8c8c; border-right-color: #ff5555; }
.avl-term-row .ln.ok  { color: #b9ffc4; border-right-color: #00FF41; }
.avl-term-row.t1 .ln { animation-delay: 0.1s; }
.avl-term-row.t2 .ln { animation-delay: 1.7s; }
.avl-term-row.t3 .ln { animation-delay: 3.3s; }
.avl-term-row.t4 .ln { animation-delay: 4.9s; }
.avl-term-row.t5 .ln { animation-delay: 6.5s; }
.avl-term-row.t6 .ln { animation-delay: 8.1s; }
.avl-term-cursor { display: inline-block; width: 8px; height: 14px; background: #00FF41; vertical-align: middle; margin-left: 4px; animation: avlCursor 1s step-end infinite; }

/* --- Bar gauges (count-fill) --- */
.avl-gauge { border: 1px solid var(--border); background: var(--bg-card); padding: 24px; margin: 28px 0; }
.avl-gauge h4 { font-size: 12px; color: var(--green); text-transform: uppercase; letter-spacing: 2px; margin: 0 0 16px; }
.avl-gauge-row { display: grid; grid-template-columns: 140px 1fr 80px; align-items: center; gap: 12px; margin-bottom: 10px; font-size: 12px; }
.avl-gauge-label { color: var(--text-dim); text-transform: uppercase; letter-spacing: 1px; font-size: 11px; }
.avl-gauge-track { background: #0a0a0a; border: 1px solid var(--border); height: 22px; position: relative; overflow: hidden; }
.avl-gauge-bar { height: 100%; background: linear-gradient(90deg, #003311, #00FF41); position: relative; animation: avlCountFill 2.2s cubic-bezier(.2,.8,.2,1) forwards; box-shadow: inset 0 0 10px rgba(0,255,65,0.5); width: var(--fill, 50%); }
.avl-gauge-bar.bad { background: linear-gradient(90deg, #331111, #ff4444); box-shadow: inset 0 0 10px rgba(255,68,68,0.5); }
.avl-gauge-bar.warn { background: linear-gradient(90deg, #332200, #ffaa00); box-shadow: inset 0 0 10px rgba(255,170,0,0.5); }
.avl-gauge-bar.dim { background: linear-gradient(90deg, #0a1f0a, #2a8a3a); box-shadow: inset 0 0 8px rgba(0,255,65,0.25); opacity: 0.85; }
.avl-gauge-bar::after { content: ''; position: absolute; inset: 0; background: repeating-linear-gradient(90deg, transparent 0 6px, rgba(0,0,0,0.22) 6px 7px); }
.avl-gauge-count { color: var(--green); font-weight: 700; text-align: right; font-family: 'JetBrains Mono', monospace; font-size: 12px; }
.avl-gauge-count.bad { color: #ff5555; }
.avl-gauge-count.warn { color: #ffbb33; }

/* --- Constellation / orbit --- */
.avl-const-link { stroke: #00FF41; stroke-width: 1.2; fill: none; stroke-dasharray: 4 4; animation: avlDashflow 1.6s linear infinite; opacity: 0.7; }
.avl-orbit-ring { fill: none; stroke: #00FF41; stroke-width: 1; stroke-dasharray: 2 6; opacity: 0.32; }

/* --- Contrast cards (hover-reveal) --- */
.avl-contrast-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; margin: 28px 0; }
.avl-contrast-card { border: 1px solid var(--border); background: var(--bg-terminal); padding: 0; overflow: hidden; position: relative; transition: transform 0.3s ease, box-shadow 0.3s ease, border-color 0.3s ease; }
.avl-contrast-card:hover { transform: translateY(-3px); box-shadow: 0 0 28px rgba(0,255,65,0.18); border-color: #00FF41; }
.avl-contrast-card.bad:hover { box-shadow: 0 0 28px rgba(255,51,51,0.18); border-color: #ff3333; }
.avl-contrast-card h5 { margin: 0; padding: 10px 14px; font-size: 11px; text-transform: uppercase; letter-spacing: 2px; border-bottom: 1px solid var(--border); display: flex; justify-content: space-between; align-items: center; }
.avl-contrast-card.bad h5 { color: #ff3333; background: rgba(255,51,51,0.08); }
.avl-contrast-card.good h5 { color: var(--green); background: rgba(0,255,65,0.08); }
.avl-contrast-card .body { padding: 14px; font-size: 12.5px; line-height: 1.55; color: var(--text-dim); min-height: 90px; }
.avl-contrast-card .reveal { padding: 0 14px; font-size: 11px; color: var(--green); max-height: 0; opacity: 0; overflow: hidden; transition: max-height 0.4s ease, opacity 0.3s ease, padding 0.3s ease; border-top: 1px dashed transparent; }
.avl-contrast-card.bad .reveal { color: #ffb0b0; }
.avl-contrast-card:hover .reveal { max-height: 160px; opacity: 1; padding: 12px 14px 14px; border-top-color: var(--border); }

/* --- Scan-line monitor --- */
.avl-scan-frame { position: relative; border: 1px solid var(--border); background: #000; padding: 18px; margin: 28px 0; overflow: hidden; }
.avl-scan-frame::before { content: ''; position: absolute; left: 0; right: 0; top: 0; height: 32px; background: linear-gradient(180deg, rgba(0,255,65,0.55), rgba(0,255,65,0)); animation: avlScan 3.2s linear infinite; pointer-events: none; z-index: 2; }
.avl-scan-frame::after { content: ''; position: absolute; inset: 0; background: repeating-linear-gradient(0deg, transparent 0 2px, rgba(0,255,65,0.04) 2px 3px); pointer-events: none; }
.avl-scan-frame pre { margin: 0; color: #c8ffd0; font-family: 'JetBrains Mono', monospace; font-size: 11.5px; line-height: 1.55; white-space: pre-wrap; word-break: break-word; position: relative; z-index: 1; }
.avl-scan-frame pre .lno { color: #356a35; user-select: none; padding-right: 10px; }
.avl-scan-frame pre .kw { color: #00ff41; }
.avl-scan-frame pre .str { color: #ffd07a; }
.avl-scan-frame pre .com { color: #6a8a6a; }
.avl-scan-frame .avl-scan-caption { font-size: 10px; color: var(--green); text-transform: uppercase; letter-spacing: 2px; margin-top: 14px; padding-top: 12px; border-top: 1px solid var(--border); display: flex; justify-content: space-between; }
.avl-scan-frame .avl-scan-caption .live::before { content: '\25CF'; color: #00FF41; margin-right: 6px; animation: avlFadeBlink 1.8s ease-in-out infinite; }

/* --- Sequence rings (pulsing concentric rings around a label) --- */
.avl-rings { position: relative; width: 240px; height: 240px; margin: 8px auto; }
.avl-rings .ring { position: absolute; left: 50%; top: 50%; width: 220px; height: 220px; margin: -110px 0 0 -110px; border-radius: 50%; border: 1.5px solid #00FF41; opacity: 0; animation: avlRingPulse 3.3s ease-out infinite; }
.avl-rings .ring.r2 { animation-delay: 1.1s; border-color: #00ff41; }
.avl-rings .ring.r3 { animation-delay: 2.2s; border-color: #00aa33; }
.avl-rings .satellite { position: absolute; left: 50%; top: 50%; width: 22px; height: 22px; margin: -11px 0 0 -11px; border-radius: 50%; background: #001a08; border: 1.4px solid #00FF41; box-shadow: 0 0 8px rgba(0,255,65,0.6); display: flex; align-items: center; justify-content: center; color: #00FF41; font-family: 'JetBrains Mono', monospace; font-size: 9px; font-weight: 700; }
.avl-rings .core { position: absolute; left: 50%; top: 50%; width: 110px; height: 110px; margin: -55px 0 0 -55px; border-radius: 50%; border: 2px solid #00FF41; background: radial-gradient(circle, rgba(0,255,65,0.22), rgba(0,0,0,0.7) 75%); display: flex; align-items: center; justify-content: center; flex-direction: column; color: #00FF41; font-family: 'JetBrains Mono', monospace; font-size: 11px; font-weight: 700; text-transform: uppercase; letter-spacing: 1px; text-align: center; padding: 8px; box-shadow: 0 0 28px rgba(0,255,65,0.18); }
.avl-rings .core .num { font-size: 26px; line-height: 1; }
.avl-rings .core .label { font-size: 9px; color: #b8ffc4; opacity: 0.85; margin-top: 4px; letter-spacing: 1.5px; }

/* --- Odometer counter --- */
.avl-odo { display: flex; gap: 6px; align-items: center; justify-content: center; margin: 18px 0 8px; font-family: 'JetBrains Mono', monospace; flex-wrap: wrap; }
.avl-odo .digit { display: inline-flex; align-items: center; justify-content: center; min-width: 56px; height: 84px; padding: 0 6px; border: 1px solid var(--border); background: linear-gradient(180deg, #001a08, #000); color: #00FF41; font-size: 50px; font-weight: 800; box-shadow: inset 0 0 24px rgba(0,255,65,0.18), 0 0 18px rgba(0,255,65,0.06); animation: avlOdoTick 1.2s cubic-bezier(.2,.8,.2,1) backwards; position: relative; overflow: hidden; }
.avl-odo .digit::after { content: ''; position: absolute; left: 0; right: 0; top: 50%; height: 1px; background: rgba(0,0,0,0.5); }
.avl-odo .digit.d2 { animation-delay: 0.22s; }
.avl-odo .digit.d3 { animation-delay: 0.42s; }
.avl-odo .digit.d4 { animation-delay: 0.62s; }
.avl-odo .label { color: var(--text-dim); text-transform: uppercase; letter-spacing: 2px; font-size: 11px; margin-left: 12px; }

/* --- Reduced-motion override (mandatory accessibility gate) --- */
@media (prefers-reduced-motion: reduce) {
  .avl-flow-line, .avl-flow-line-dim, .avl-flow-fail, .avl-const-link,
  .avl-blink,
  [class*="avl-seq"],
  .avl-pass-stamp, .avl-fail-stamp, .avl-warn-stamp,
  .avl-rings .ring,
  .avl-term-row .ln,
  .avl-term-cursor,
  .avl-odo .digit { animation: none !important; }
  .avl-scan-frame::before { animation: none !important; opacity: 0 !important; }
  .avl-term-row .ln { width: 100% !important; border-right: 0 !important; background-image: none !important; }
  .avl-gauge-bar { animation: none !important; width: var(--fill, 50%) !important; }
  .avl-orbiter, .avl-orbiter-grp { animation: none !important; }
}

@media (max-width: 680px) {
  .avl-contrast-grid { grid-template-columns: 1fr; }
  .avl-gauge-row { grid-template-columns: 100px 1fr 60px; gap: 8px; }
  .avl-odo .digit { min-width: 38px; height: 60px; font-size: 34px; }
  .avl-rings { width: 200px; height: 200px; }
  .avl-rings .ring { width: 180px; height: 180px; margin: -90px 0 0 -90px; }
  .avl-term-body { font-size: 11px; padding: 12px 12px 14px; }
}
/* AVL-LIB-END */
/* ============================================================
         .ver-* — verification-run animations (4 inline scenes).
         A: score-gap-reveal-scroll  (post-TLDR replacement)
         B: six-guardrails-cascade   (replaces .guardrail-card stack)
         C: adversarial-test-curve   (after extra-hard tests para)
         D: student-grading-analogy  (after student-grading .key-point)
         No :root / variable redeclares — uses tokens from /style.css.
         JS-managed scenes use [data-ready] attribute so the static
         end-state is what readers see if the inline JS never runs.
         ============================================================ */

      .ver-fig {
        border: 1px solid var(--border);
        background: var(--bg-terminal);
        padding: 22px 18px 18px;
        margin: 30px 0;
        position: relative;
        overflow: hidden;
      }
      .ver-fig::before {
        content: '';
        position: absolute;
        inset: 0;
        background: radial-gradient(circle at 50% 50%, rgba(0,255,65,0.05), transparent 70%);
        pointer-events: none;
      }
      .ver-cap {
        text-align: center;
        font-size: 10.5px;
        color: var(--text-muted);
        text-transform: uppercase;
        letter-spacing: 2px;
        margin: 14px 0 0;
        position: relative;
        z-index: 1;
      }

      /* ---------- A. score-gap-reveal-scroll ---------- */
      .ver-scene { position: relative; z-index: 1; }
      .ver-scrollhint {
        position: absolute;
        top: 8px;
        right: 12px;
        font-size: 9px;
        color: var(--text-muted);
        letter-spacing: 2px;
        text-transform: uppercase;
        opacity: 0.7;
        z-index: 2;
        font-weight: 700;
      }
      .ver-scrollhint::after { content: ' \2193'; margin-left: 4px; }

      .ver-scene-stage {
        display: grid;
        grid-template-columns: 1fr auto 1fr;
        gap: 14px;
        align-items: stretch;
        position: relative;
        z-index: 1;
      }
      .ver-num {
        border: 1.5px solid var(--border);
        background: var(--bg-card);
        padding: 20px 14px 16px;
        text-align: center;
        position: relative;
        display: flex;
        flex-direction: column;
        justify-content: space-between;
        min-height: 200px;
      }
      .ver-num.fake { border-color: #ff4444; }
      .ver-num.real {
        border-color: var(--green);
        box-shadow: 0 0 20px rgba(0,255,65,0.18);
      }
      .ver-num-label {
        font-size: 10px;
        letter-spacing: 2px;
        text-transform: uppercase;
        font-weight: 700;
      }
      .ver-num.fake .ver-num-label { color: #ff5555; }
      .ver-num.real .ver-num-label { color: var(--green); }
      .ver-num-value {
        font-family: 'JetBrains Mono', monospace;
        font-size: 56px;
        line-height: 1;
        font-weight: 800;
        font-variant-numeric: tabular-nums;
        position: relative;
        display: inline-block;
        margin: 6px auto 0;
      }
      .ver-num.fake .ver-num-value {
        color: #ff4444;
        text-shadow: 0 0 12px rgba(255,68,68,0.35);
      }
      .ver-num.real .ver-num-value {
        color: var(--green);
        text-shadow: 0 0 18px rgba(0,255,65,0.5);
      }
      .ver-num-strike {
        position: absolute;
        left: -6%;
        right: -6%;
        top: 52%;
        height: 4px;
        background: #ff4444;
        transform: scaleX(1);
        transform-origin: left center;
        pointer-events: none;
        box-shadow: 0 0 8px rgba(255,68,68,0.7);
      }
      .ver-num-detail {
        font-size: 10.5px;
        color: var(--text-muted);
        letter-spacing: 1px;
        margin-top: 10px;
        line-height: 1.4;
      }

      .ver-tax {
        width: 110px;
        border: 1px dashed var(--border);
        background: linear-gradient(180deg, rgba(255,68,68,0.04), rgba(0,255,65,0.04));
        padding: 12px 8px;
        text-align: center;
        display: flex;
        flex-direction: column;
        align-items: center;
        position: relative;
      }
      .ver-tax-cap {
        font-size: 9px;
        letter-spacing: 1.5px;
        color: var(--text-dim);
        text-transform: uppercase;
        font-weight: 700;
        line-height: 1.3;
        margin-bottom: 8px;
      }
      .ver-tax-track {
        width: 24px;
        height: 130px;
        border: 1px solid var(--border);
        background: #060a06;
        position: relative;
        margin: 4px 0 8px;
        overflow: hidden;
      }
      .ver-tax-fill {
        position: absolute;
        left: 0; right: 0; top: 0;
        height: 100%;
        background: linear-gradient(180deg, #ff5555, #ffaa00 60%, var(--green));
        transform: scaleY(1);
        transform-origin: top center;
        box-shadow: inset 0 0 8px rgba(0,0,0,0.5);
      }
      .ver-tax-num {
        font-family: 'JetBrains Mono', monospace;
        font-size: 22px;
        font-weight: 800;
        color: var(--green);
        line-height: 1;
        margin-top: 4px;
      }
      .ver-tax-label {
        font-size: 9px;
        color: var(--text-muted);
        letter-spacing: 1px;
        text-transform: uppercase;
        margin-top: 4px;
      }

      .ver-shields {
        display: grid;
        grid-template-columns: repeat(6, 1fr);
        gap: 8px;
        margin: 18px 0 6px;
        padding: 14px 0 4px;
        border-top: 1px dashed var(--border);
        position: relative;
        z-index: 1;
      }
      .ver-shield {
        display: flex;
        flex-direction: column;
        align-items: center;
        text-align: center;
        gap: 4px;
        padding: 6px 2px;
        opacity: 1;
        transform: scale(1);
        transform-origin: center bottom;
      }
      .ver-shield-svg {
        width: 36px;
        height: 36px;
        filter: drop-shadow(0 0 6px rgba(0,255,65,0.55));
      }
      .ver-shield-svg .body {
        fill: #001a08;
        stroke: var(--green);
        stroke-width: 2;
      }
      .ver-shield-svg .tick {
        fill: none;
        stroke: var(--green);
        stroke-width: 2.6;
        stroke-linecap: round;
        stroke-linejoin: round;
      }
      .ver-shield-num {
        font-family: 'JetBrains Mono', monospace;
        font-size: 9px;
        font-weight: 700;
        color: var(--green);
        letter-spacing: 1px;
      }
      .ver-shield-label {
        font-size: 9px;
        color: var(--text-dim);
        text-transform: uppercase;
        letter-spacing: 0.5px;
        line-height: 1.2;
        max-width: 84px;
      }
      .ver-pass-stamp {
        position: absolute;
        right: 16px;
        bottom: 96px;
        width: 92px;
        height: 92px;
        display: flex;
        align-items: center;
        justify-content: center;
        border: 3px solid var(--green);
        color: var(--green);
        font-family: 'JetBrains Mono', monospace;
        font-weight: 800;
        font-size: 22px;
        letter-spacing: 3px;
        background: rgba(0,255,65,0.05);
        box-shadow: 0 0 24px rgba(0,255,65,0.45);
        transform: rotate(-12deg) scale(1);
        opacity: 1;
        pointer-events: none;
        z-index: 4;
      }

      /* JS-controlled initial state — applied only when [data-ready] is set */
      .ver-scene[data-ready] .ver-pass-stamp { opacity: 0; transform: rotate(-12deg) scale(2.4); }
      .ver-scene[data-ready] .ver-num-strike { transform: scaleX(0); }
      .ver-scene[data-ready] .ver-num.real    { box-shadow: none; }
      .ver-scene[data-ready] .ver-num.real .ver-num-value { opacity: 0.32; text-shadow: none; }
      .ver-scene[data-ready] .ver-shield      { opacity: 0.18; transform: scale(0.85); }
      .ver-scene[data-ready] .ver-tax-fill    { transform: scaleY(0); }

      /* ---------- B. six-guardrails-cascade ---------- */
      .ver-cascade {
        display: flex;
        flex-direction: column;
        gap: 12px;
        margin: 18px 0 24px;
      }
      .ver-card {
        border: 1px solid var(--border);
        background: var(--bg-card);
        padding: 14px 16px;
        position: relative;
        cursor: pointer;
        transition: border-color 0.2s ease, box-shadow 0.2s ease;
        opacity: 1;
        transform: translateX(0);
      }
      .ver-cascade[data-ready] .ver-card { opacity: 0; transform: translateX(-30px); }
      .ver-cascade[data-ready] .ver-card.in { opacity: 1; transform: translateX(0); }
      .ver-card:hover, .ver-card:focus-within {
        border-color: var(--green);
        box-shadow: 0 0 18px rgba(0,255,65,0.16);
      }
      .ver-card-head {
        display: flex;
        align-items: center;
        gap: 12px;
        margin-bottom: 8px;
      }
      .ver-card-num {
        font-family: 'JetBrains Mono', monospace;
        font-size: 11px;
        font-weight: 800;
        color: var(--green);
        letter-spacing: 1px;
        background: rgba(0,255,65,0.08);
        border: 1px solid var(--border);
        padding: 4px 8px;
        flex-shrink: 0;
        min-width: 30px;
        text-align: center;
      }
      .ver-card-icon {
        width: 22px;
        height: 22px;
        flex-shrink: 0;
        color: var(--green);
      }
      .ver-card-icon svg { width: 100%; height: 100%; display: block; }
      .ver-card h4 {
        font-size: 13.5px;
        color: var(--green);
        margin: 0;
        flex: 1;
      }
      .ver-card-toggle {
        font-size: 10px;
        color: var(--green);
        letter-spacing: 1px;
        text-transform: uppercase;
        border: 1px solid var(--border);
        padding: 6px 10px;
        background: transparent;
        font-family: inherit;
        cursor: pointer;
        flex-shrink: 0;
        min-height: 30px;
        min-width: 88px;
      }
      .ver-card-toggle::before { content: '+ DETAIL'; }
      .ver-card.open .ver-card-toggle::before { content: '\2212 CLOSE'; }
      .ver-card-prevents {
        font-size: 12px;
        color: #ffb0b0;
        margin: 0;
        padding: 6px 10px;
        border-left: 2px solid #ff4444;
        background: rgba(255,68,68,0.04);
        line-height: 1.5;
      }
      .ver-card-prevents::before {
        content: 'PREVENTS: ';
        color: #ff5555;
        font-weight: 700;
        font-size: 10px;
        letter-spacing: 1.5px;
      }
      .ver-card-detail {
        max-height: 0;
        overflow: hidden;
        transition: max-height 0.35s ease, margin-top 0.3s ease, padding-top 0.3s ease;
        font-size: 12.5px;
        color: var(--white);
        line-height: 1.6;
      }
      .ver-card.open .ver-card-detail {
        max-height: 320px;
        margin-top: 12px;
        padding-top: 12px;
        border-top: 1px dashed var(--border);
      }
      .ver-card-detail code {
        background: var(--bg-terminal);
        border: 1px solid var(--border);
        padding: 1px 5px;
        color: var(--green);
        font-size: 12px;
      }

      /* ---------- C. adversarial-test-curve ---------- */
      .ver-curve { padding: 18px 18px 14px; }
      .ver-curve-canvas {
        display: block;
        width: 100%;
        height: 280px;
        background: #000;
        border: 1px solid var(--border);
      }
      .ver-curve-legend {
        display: flex;
        gap: 14px;
        font-size: 10.5px;
        letter-spacing: 1px;
        text-transform: uppercase;
        margin: 12px 0 4px;
        flex-wrap: wrap;
        color: var(--text-dim);
      }
      .ver-curve-legend .swatch {
        display: inline-block;
        width: 18px;
        height: 4px;
        vertical-align: middle;
        margin-right: 6px;
      }
      .ver-curve-legend .swatch.std { background: var(--green); }
      .ver-curve-legend .swatch.adv { background: #ffaa00; }
      .ver-curve-legend .swatch.gap {
        background: rgba(255,68,68,0.18);
        border: 1px dashed #ff4444;
        height: 8px;
        margin-top: -2px;
      }
      .ver-curve-stats {
        display: grid;
        grid-template-columns: 1fr 1fr;
        gap: 12px;
        margin-top: 12px;
        font-size: 11px;
      }
      .ver-curve-stat {
        border: 1px solid var(--border);
        padding: 8px 10px;
        background: var(--bg-card);
      }
      .ver-curve-stat .h {
        font-size: 10px;
        letter-spacing: 1.5px;
        text-transform: uppercase;
        font-weight: 700;
        margin-bottom: 4px;
      }
      .ver-curve-stat.std .h { color: var(--green); }
      .ver-curve-stat.adv .h { color: #ffbb33; }
      .ver-curve-stat .v {
        font-family: 'JetBrains Mono', monospace;
        font-size: 16px;
        font-weight: 800;
        color: var(--white);
      }

      /* ---------- D. student-grading-analogy ---------- */
      .ver-grade { padding: 18px 18px 14px; }
      .ver-grade-stage {
        position: relative;
        width: 100%;
        height: 320px;
      }
      .ver-grade-svg {
        width: 100%;
        height: 100%;
        display: block;
        position: relative;
        z-index: 1;
      }
      .ver-grade .paper-bg { fill: #f6f3e8; stroke: #b8b4a8; stroke-width: 1.4; transition: fill 0.5s ease, filter 0.5s ease; }
      .ver-grade .paper-line { stroke: #b8d4ff; stroke-width: 0.8; opacity: 0.55; }
      .ver-grade .paper-text { fill: #333; font-family: 'JetBrains Mono', monospace; font-size: 11px; }
      .ver-grade .paper-title { fill: #555; font-weight: 700; }
      .ver-grade .grade-aplus {
        fill: #cc0033;
        font-family: 'JetBrains Mono', monospace;
        font-size: 42px;
        font-weight: 900;
        opacity: 0;
      }
      .ver-grade .grade-b {
        fill: #006622;
        font-family: 'JetBrains Mono', monospace;
        font-size: 44px;
        font-weight: 900;
        opacity: 1;
      }
      .ver-grade .red-mark {
        stroke: #cc0033;
        stroke-width: 2.4;
        fill: none;
        stroke-linecap: round;
        opacity: 0.95;
      }
      .ver-grade .red-circle {
        stroke: #cc0033;
        stroke-width: 2.2;
        fill: none;
        opacity: 0.95;
      }
      .ver-grade .student { fill: var(--green); }
      .ver-grade .teacher { fill: var(--green); opacity: 1; }
      .ver-grade .stamp { stroke: var(--green); fill: none; stroke-width: 2.4; opacity: 1; }
      .ver-grade .stamp text { fill: var(--green); }
      .ver-grade .speech {
        font-family: 'JetBrains Mono', monospace;
        font-size: 9px;
        fill: var(--green);
        font-weight: 700;
        letter-spacing: 1.5px;
      }

      /* JS-controlled initial state */
      .ver-grade[data-ready] .grade-aplus { opacity: 1; }
      .ver-grade[data-ready] .grade-b { opacity: 0; }
      .ver-grade[data-ready] .red-mark,
      .ver-grade[data-ready] .red-circle { opacity: 0; }
      .ver-grade[data-ready] .teacher { opacity: 0; }
      .ver-grade[data-ready] .stamp { opacity: 0; }

      .ver-grade-cap-dyn {
        text-align: center;
        font-size: 11.5px;
        color: var(--green);
        font-style: italic;
        font-family: inherit;
        margin-top: 8px;
        min-height: 17px;
      }

      /* ---------- mobile (≤600px) ---------- */
      @media (max-width: 600px) {
        .ver-scene-stage {
          grid-template-columns: 1fr;
          gap: 10px;
        }
        .ver-num { min-height: 130px; padding: 16px 12px 12px; }
        .ver-num-value { font-size: 40px; }
        .ver-tax {
          width: 100%;
          flex-direction: row;
          align-items: center;
          justify-content: center;
          gap: 12px;
          padding: 10px 12px;
        }
        .ver-tax-track {
          width: 110px;
          height: 18px;
          margin: 0;
        }
        .ver-tax-fill {
          transform-origin: left center;
          transform: scaleX(1);
          background: linear-gradient(90deg, #ff5555, #ffaa00 60%, var(--green));
        }
        .ver-scene[data-ready] .ver-tax-fill { transform: scaleX(0); }
        .ver-tax-cap { margin-bottom: 0; max-width: 90px; text-align: left; }
        .ver-tax-num { font-size: 18px; margin: 0; }
        .ver-tax-label { display: none; }
        .ver-shields { grid-template-columns: repeat(3, 1fr); gap: 8px; }
        .ver-pass-stamp {
          position: static;
          margin: 16px auto 0;
          width: 86px;
          height: 86px;
        }
        .ver-card-head { flex-wrap: wrap; }
        .ver-card h4 { font-size: 13px; flex-basis: 100%; margin-top: 4px; order: 3; }
        .ver-card-toggle { margin-left: auto; }
        .ver-grade-stage { height: 260px; }
        .ver-curve-canvas { height: 220px; }
        .ver-curve-stats { grid-template-columns: 1fr; }
      }

      /* ---------- prefers-reduced-motion fallback ---------- */
      @media (prefers-reduced-motion: reduce) {
        .ver-scene[data-ready] .ver-pass-stamp { opacity: 1 !important; transform: rotate(-12deg) scale(1) !important; }
        .ver-scene[data-ready] .ver-num-strike { transform: scaleX(1) !important; }
        .ver-scene[data-ready] .ver-shield     { opacity: 1 !important; transform: scale(1) !important; }
        .ver-scene[data-ready] .ver-tax-fill   { transform: scaleY(1) !important; }
        .ver-scene[data-ready] .ver-num.real .ver-num-value { opacity: 1 !important; text-shadow: 0 0 18px rgba(0,255,65,0.5) !important; }
        .ver-scene[data-ready] .ver-num.real { box-shadow: 0 0 20px rgba(0,255,65,0.18) !important; }
        .ver-cascade[data-ready] .ver-card { opacity: 1 !important; transform: translateX(0) !important; }
        .ver-grade[data-ready] .grade-aplus { opacity: 0 !important; }
        .ver-grade[data-ready] .grade-b { opacity: 1 !important; }
        .ver-grade[data-ready] .red-mark,
        .ver-grade[data-ready] .red-circle { opacity: 0.95 !important; }
        .ver-grade[data-ready] .teacher { opacity: 1 !important; }
        .ver-grade[data-ready] .stamp { opacity: 1 !important; }
      }