.proof-wrap { max-width: 1440px; margin: 0 auto; }

        /* ── Haystack section ── */
        .haystack-section {
            display: grid;
            grid-template-columns: 1fr 1fr;
            gap: 64px;
            align-items: center;
            max-width: 1440px;
            margin: 0 auto;
        }
        .haystack-section h2 {
            font-family: var(--font-display);
            font-size: 44px;
            font-weight: 500;
            letter-spacing: -0.025em;
            line-height: 1.1;
            margin: 0 0 20px;
            color: var(--fg-0);
        }
        .haystack-section h2 .muted { color: var(--fg-2); }
        .haystack-section .lead {
            font-size: 16px;
            color: var(--fg-1);
            line-height: 1.55;
            margin-bottom: 24px;
        }
        .haystack-section .lead strong { color: var(--accent); font-weight: 500; }

        .tag-grid {
            display: grid;
            grid-template-columns: 1fr 1fr 1fr;
            gap: 16px;
        }
        .tag-grid .tag-box .tag-value.real { color: var(--accent); }
        .tag-grid .tag-box .tag-value.decoy { color: var(--fg-2); }
        .tag-grid .tag-box .tag-value.margin { color: var(--accent-good); }

        .haystack-card {
            background: var(--bg-1);
            border: 1px solid var(--line);
            border-radius: 16px;
            padding: 20px;
            position: relative;
            overflow: hidden;
        }
        .haystack-card-head {
            display: flex;
            justify-content: space-between;
            align-items: center;
            margin-bottom: 14px;
        }
        .haystack-card-head .left {
            font-family: var(--font-mono);
            font-size: 11px;
            color: var(--fg-2);
            letter-spacing: 0.08em;
        }
        .haystack-card-head .right {
            font-family: var(--font-mono);
            font-size: 11px;
            color: var(--fg-2);
            transition: color 0.4s ease;
        }
        .haystack-card.is-scanning .haystack-card-head .right { color: var(--accent); }
        .haystack-card.is-found .haystack-card-head .right { color: var(--accent-good); }

        .haystack-grid-wrap {
            position: relative;
            aspect-ratio: 1 / 1;
            background: var(--bg-0);
            border-radius: 8px;
            padding: 6px;
            overflow: hidden;
        }
        .haystack-canvas {
            display: block;
            width: 100%;
            height: 100%;
            border-radius: 4px;
        }
        .haystack-sweep {
            position: absolute;
            left: 0; right: 0; top: 0;
            height: 2px;
            background: linear-gradient(90deg, transparent, var(--accent), transparent);
            box-shadow: 0 0 24px var(--accent);
            opacity: 0;
            pointer-events: none;
        }
        .haystack-card.is-scanning .haystack-sweep {
            animation: hayScan 2.2s ease-in-out forwards;
        }
        @keyframes hayScan {
            0%   { top: 0;     opacity: 0; }
            10%  { opacity: 1; }
            90%  { opacity: 1; }
            100% { top: 100%;  opacity: 0; }
        }
        .haystack-needle {
            position: absolute;
            transform: translate(-50%, -50%);
            width: 32px;
            height: 32px;
            border: 1.5px solid var(--accent);
            border-radius: 50%;
            box-shadow: 0 0 24px var(--accent);
            opacity: 0;
            pointer-events: none;
            transition: opacity 0.4s ease;
        }
        .haystack-card.is-found .haystack-needle { opacity: 1; }

        /* ── Results 2x2 ── */
        .results-grid {
            display: grid;
            grid-template-columns: 1fr 1fr;
            gap: 16px;
        }
        .result-card {
            padding: 24px;
            border-radius: 12px;
            background: var(--bg-1);
            border: 1px solid var(--line);
            position: relative;
            overflow: hidden;
        }
        .result-card.is-highlighted {
            background: var(--bg-2);
            border-color: var(--accent);
        }
        .result-card.is-highlighted::before {
            content: '';
            position: absolute;
            top: 0; left: 0; right: 0;
            height: 2px;
            background: var(--accent);
            box-shadow: 0 0 16px var(--accent);
        }
        .result-card-head {
            display: flex;
            justify-content: space-between;
            align-items: center;
            margin-bottom: 18px;
        }
        .result-card-label {
            font-family: var(--font-mono);
            font-size: 12px;
            color: var(--fg-2);
        }
        .result-card-status {
            font-family: var(--font-mono);
            font-size: 11px;
            padding: 4px 8px;
            border-radius: 4px;
            background: rgba(var(--accent-good-rgb), 0.10);
            color: var(--accent-good);
            letter-spacing: 0.06em;
        }
        .result-cells {
            display: grid;
            grid-template-columns: repeat(4, 1fr);
            gap: 16px;
        }
        .result-cell .label {
            font-size: 11px;
            color: var(--fg-3);
            margin-bottom: 4px;
        }
        .result-cell .value {
            font-family: var(--font-mono);
            font-size: 18px;
            color: var(--fg-0);
        }
        .result-cell .value.high { color: var(--accent-good); }
        .result-cell .value.low { color: var(--accent-warn); }

        /* ── Robustness table ── */
        .robust-section h2 {
            font-family: var(--font-display);
            font-size: 36px;
            font-weight: 500;
            letter-spacing: -0.025em;
            margin: 0 0 12px;
            color: var(--fg-0);
        }
        .robust-section .sub {
            font-size: 15px;
            color: var(--fg-2);
            margin: 0 0 32px;
        }
        .robust-table {
            border: 1px solid var(--line);
            border-radius: 12px;
            overflow: hidden;
            background: var(--bg-1);
        }
        .robust-row {
            display: grid;
            grid-template-columns: 2fr 0.8fr 1fr 1.4fr 0.8fr;
            padding: 18px 24px;
            align-items: center;
            border-bottom: 1px solid var(--line-soft);
        }
        .robust-row:last-child { border-bottom: none; }
        .robust-head {
            background: var(--bg-2);
            border-bottom: 1px solid var(--line);
            padding: 14px 24px;
            font-family: var(--font-mono);
            font-size: 11px;
            color: var(--fg-2);
            letter-spacing: 0.08em;
        }
        .robust-head .right { text-align: right; }
        .robust-row .scenario { font-size: 14px; color: var(--fg-0); }
        .robust-row .codec   { font-family: var(--font-mono); font-size: 13px; color: var(--fg-1); }
        .robust-row .bitacc  { font-family: var(--font-mono); font-size: 14px; color: var(--accent); }
        .robust-row .status  {
            font-family: var(--font-mono);
            font-size: 11px;
            text-align: right;
            color: var(--accent-good);
            letter-spacing: 0.06em;
        }
        .robust-bar {
            position: relative;
            height: 6px;
            background: var(--bg-3);
            border-radius: 3px;
            overflow: hidden;
        }
        .robust-bar .fill {
            position: absolute;
            left: 0; top: 0; bottom: 0;
            background: linear-gradient(90deg, var(--accent), var(--accent-2));
        }
        .robust-bar .threshold {
            position: absolute;
            left: 81%;
            top: -3px;
            bottom: -3px;
            width: 1px;
            background: var(--accent-warn);
        }
        .robust-foot {
            font-family: var(--font-mono);
            font-size: 11px;
            color: var(--fg-3);
            text-align: right;
            margin-top: 12px;
        }

        /* ── Note ── */
        .note-box {
            padding: 28px;
            background: var(--bg-1);
            border: 1px solid var(--line);
            border-radius: 12px;
            display: flex;
            gap: 24px;
            align-items: flex-start;
            max-width: 1440px;
            margin: 0 auto;
        }
        .note-box .icon {
            width: 36px;
            height: 36px;
            border-radius: 8px;
            flex-shrink: 0;
            background: rgba(var(--accent-warn-rgb), 0.08);
            border: 1px solid var(--accent-warn);
            display: grid;
            place-items: center;
            color: var(--accent-warn);
            font-family: var(--font-mono);
        }
        .note-box .eyebrow {
            font-family: var(--font-mono);
            font-size: 11px;
            color: var(--accent-warn);
            letter-spacing: 0.08em;
            margin-bottom: 8px;
        }
        .note-box .body {
            font-size: 16px;
            color: var(--fg-1);
            line-height: 1.55;
            max-width: 920px;
        }

        @media (max-width: 1100px) {
            .haystack-section { grid-template-columns: 1fr; gap: 32px; }
            .results-grid { grid-template-columns: 1fr; }
            .robust-row, .robust-head { grid-template-columns: 1.6fr 0.8fr 0.8fr 1.2fr 0.8fr; padding-left: 16px; padding-right: 16px; }
        }
        @media (max-width: 700px) {
            .robust-row, .robust-head { grid-template-columns: 1fr; gap: 8px; }
            .robust-head .right { text-align: left; }
            .robust-row .status { text-align: left; }
            .result-cells { grid-template-columns: repeat(2, 1fr); }
        }
        @media (max-width: 560px) {
            .haystack-section h2 { font-size: 30px; }
            .tag-grid { grid-template-columns: 1fr; }
            .result-cells { grid-template-columns: 1fr; }
            .robust-section h2 { font-size: 26px; }
            .robust-row, .robust-head { padding-left: 14px; padding-right: 14px; }
            .note-box { flex-direction: column; padding: 20px; gap: 14px; }
        }