/* ============================================================
   ActProof.io — Research & Foundations — Page-specific styles
   ============================================================ */

/* ── Formula blocks ───────────────────────────────────────── */
.formula-block {
    background: rgba(99, 102, 241, 0.08);
    border: 1px solid rgba(99, 102, 241, 0.25);
    border-radius: 12px;
    padding: 1.25rem 2rem;
    margin: 1.5rem 0;
    text-align: center;
    font-family: 'JetBrains Mono', monospace;
    font-size: 1.15rem;
    color: var(--accent);
    letter-spacing: 0.02em;
    overflow-x: auto;
}

.formula-block code {
    background: none;
    color: inherit;
    font-size: inherit;
}

/* ── Research blocks ──────────────────────────────────────── */
.research-block {
    margin-top: 3rem;
}

.research-block__title {
    font-size: 1.35rem;
    font-weight: 700;
    margin-bottom: 1rem;
    color: var(--text);
}

.research-block__text {
    color: var(--text-secondary);
    font-size: 1.05rem;
    line-height: 1.75;
    max-width: 800px;
    margin-bottom: 1.25rem;
}

/* ── Strategy grid ────────────────────────────────────────── */
.strategy-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));
    gap: 1.5rem;
    margin-top: 1.5rem;
}

.strategy-card {
    background: rgba(255, 255, 255, 0.03);
    border: 1px solid rgba(255, 255, 255, 0.08);
    border-radius: 16px;
    padding: 2rem;
    transition: border-color 0.3s, transform 0.3s;
}

.strategy-card:hover {
    border-color: rgba(99, 102, 241, 0.4);
    transform: translateY(-2px);
}

.strategy-card__icon {
    font-family: 'JetBrains Mono', monospace;
    font-size: 1.1rem;
    color: var(--accent);
    background: rgba(99, 102, 241, 0.1);
    border-radius: 8px;
    padding: 0.5rem 1rem;
    display: inline-block;
    margin-bottom: 1rem;
}

.strategy-card__title {
    font-size: 1.1rem;
    font-weight: 700;
    margin-bottom: 0.6rem;
    color: var(--text);
}

.strategy-card__desc {
    color: var(--text-secondary);
    font-size: 0.95rem;
    line-height: 1.65;
}

/* ── Gap interpretation ───────────────────────────────────── */
.gap-interpret {
    display: flex;
    gap: 1.5rem;
    margin-top: 1.25rem;
    flex-wrap: wrap;
}

.gap-item {
    flex: 1;
    min-width: 240px;
    padding: 1.25rem 1.5rem;
    border-radius: 12px;
    display: flex;
    align-items: baseline;
    gap: 1rem;
}

.gap-item--ok {
    background: rgba(16, 185, 129, 0.08);
    border: 1px solid rgba(16, 185, 129, 0.25);
}

.gap-item--warn {
    background: rgba(251, 191, 36, 0.08);
    border: 1px solid rgba(251, 191, 36, 0.25);
}

.gap-item__label {
    font-family: 'JetBrains Mono', monospace;
    font-weight: 700;
    font-size: 1rem;
    white-space: nowrap;
}

.gap-item--ok .gap-item__label {
    color: #10b981;
}

.gap-item--warn .gap-item__label {
    color: #fbbf24;
}

.gap-item__text {
    color: var(--text-secondary);
    font-size: 0.92rem;
    line-height: 1.5;
}

/* ── Stages timeline ──────────────────────────────────────── */
.stages-timeline {
    position: relative;
    margin-top: 1.5rem;
    padding-left: 2rem;
}

.stages-timeline::before {
    content: '';
    position: absolute;
    left: 14px;
    top: 0;
    bottom: 0;
    width: 2px;
    background: linear-gradient(to bottom, var(--accent), rgba(6, 182, 212, 0.5));
    border-radius: 2px;
}

.stage-item {
    display: flex;
    align-items: flex-start;
    gap: 1.25rem;
    margin-bottom: 1.75rem;
    position: relative;
}

.stage-item__num {
    flex-shrink: 0;
    width: 30px;
    height: 30px;
    background: var(--accent);
    color: white;
    border-radius: 50%;
    display: flex;
    align-items: center;
    justify-content: center;
    font-weight: 800;
    font-size: 0.85rem;
    position: relative;
    z-index: 1;
}

.stage-item__content h4 {
    font-size: 1.05rem;
    font-weight: 700;
    margin-bottom: 0.3rem;
    color: var(--text);
}

.stage-item__content p {
    color: var(--text-secondary);
    font-size: 0.92rem;
    line-height: 1.6;
}

/* ── UDM spaces ───────────────────────────────────────────── */
.udm-spaces {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(240px, 1fr));
    gap: 1.5rem;
    margin-top: 2rem;
}

.udm-space {
    background: rgba(255, 255, 255, 0.03);
    border: 1px solid rgba(255, 255, 255, 0.08);
    border-radius: 16px;
    padding: 2rem;
    text-align: center;
    transition: border-color 0.3s, transform 0.3s;
}

.udm-space:hover {
    border-color: rgba(6, 182, 212, 0.4);
    transform: translateY(-2px);
}

.udm-space__symbol {
    font-family: 'JetBrains Mono', monospace;
    font-size: 2.5rem;
    font-weight: 800;
    background: linear-gradient(135deg, #6366f1, #06b6d4);
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
    background-clip: text;
    margin-bottom: 0.75rem;
}

.udm-space__title {
    font-size: 1.05rem;
    font-weight: 700;
    color: var(--text);
    margin-bottom: 0.5rem;
}

.udm-space__desc {
    color: var(--text-secondary);
    font-size: 0.9rem;
    line-height: 1.6;
}

/* ── Derivation table ─────────────────────────────────────── */
.deriv-table-wrap {
    overflow-x: auto;
    margin-top: 1.25rem;
    border-radius: 12px;
    border: 1px solid rgba(255, 255, 255, 0.08);
}

.deriv-table {
    width: 100%;
    border-collapse: collapse;
    font-size: 0.92rem;
}

.deriv-table thead {
    background: rgba(99, 102, 241, 0.1);
}

.deriv-table th {
    padding: 1rem 1.25rem;
    text-align: left;
    font-weight: 700;
    color: var(--text);
    white-space: nowrap;
}

.deriv-table td {
    padding: 0.85rem 1.25rem;
    border-top: 1px solid rgba(255, 255, 255, 0.05);
    color: var(--text-secondary);
}

.deriv-table code {
    background: rgba(99, 102, 241, 0.1);
    color: var(--accent);
    padding: 0.15rem 0.5rem;
    border-radius: 4px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.88rem;
}

.deriv-table tr:hover td {
    background: rgba(255, 255, 255, 0.02);
}

/* ── Regime cards ─────────────────────────────────────────── */
.regime-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(260px, 1fr));
    gap: 1.5rem;
}

.regime-card {
    border-radius: 16px;
    padding: 2rem;
    position: relative;
    overflow: hidden;
    border: 1px solid rgba(255, 255, 255, 0.08);
    background: rgba(255, 255, 255, 0.02);
    transition: transform 0.3s, border-color 0.3s;
}

.regime-card:hover {
    transform: translateY(-3px);
}

.regime-card__indicator {
    width: 8px;
    height: 100%;
    position: absolute;
    left: 0;
    top: 0;
    border-radius: 16px 0 0 16px;
}

.regime-card--steerable .regime-card__indicator {
    background: linear-gradient(to bottom, #10b981, #059669);
}

.regime-card--steerable:hover {
    border-color: rgba(16, 185, 129, 0.4);
}

.regime-card--resilient .regime-card__indicator {
    background: linear-gradient(to bottom, #3b82f6, #6366f1);
}

.regime-card--resilient:hover {
    border-color: rgba(99, 102, 241, 0.4);
}

.regime-card--rigid .regime-card__indicator {
    background: linear-gradient(to bottom, #f59e0b, #d97706);
}

.regime-card--rigid:hover {
    border-color: rgba(245, 158, 11, 0.4);
}

.regime-card--critical .regime-card__indicator {
    background: linear-gradient(to bottom, #ef4444, #dc2626);
}

.regime-card--critical:hover {
    border-color: rgba(239, 68, 68, 0.4);
}

.regime-card__title {
    font-family: 'JetBrains Mono', monospace;
    font-size: 1.15rem;
    font-weight: 800;
    margin-bottom: 0.75rem;
    padding-left: 0.75rem;
}

.regime-card--steerable .regime-card__title {
    color: #10b981;
}

.regime-card--resilient .regime-card__title {
    color: #818cf8;
}

.regime-card--rigid .regime-card__title {
    color: #fbbf24;
}

.regime-card--critical .regime-card__title {
    color: #ef4444;
}

.regime-card__desc {
    color: var(--text-secondary);
    font-size: 0.92rem;
    line-height: 1.6;
    margin-bottom: 1rem;
    padding-left: 0.75rem;
}

.regime-card__metrics {
    display: flex;
    gap: 0.5rem;
    flex-wrap: wrap;
    margin-bottom: 1rem;
    padding-left: 0.75rem;
}

.regime-card__metrics span {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.78rem;
    padding: 0.25rem 0.6rem;
    border-radius: 6px;
    background: rgba(255, 255, 255, 0.05);
    color: var(--text-secondary);
}

.regime-card__playbook {
    font-size: 0.88rem;
    color: var(--text-secondary);
    padding-left: 0.75rem;
    line-height: 1.5;
}

.regime-card__playbook strong {
    color: var(--text);
}

/* ── Flashover pipeline ───────────────────────────────────── */
.flash-pipeline {
    display: flex;
    align-items: flex-start;
    gap: 0;
    margin-top: 2rem;
    flex-wrap: wrap;
    justify-content: center;
}

.flash-step {
    text-align: center;
    max-width: 200px;
    flex-shrink: 0;
}

.flash-step__icon {
    font-size: 2rem;
    margin-bottom: 0.75rem;
}

.flash-step__title {
    font-size: 1rem;
    font-weight: 700;
    color: var(--text);
    margin-bottom: 0.4rem;
}

.flash-step__desc {
    font-size: 0.85rem;
    color: var(--text-secondary);
    line-height: 1.55;
}

.flash-step__arrow {
    font-size: 1.5rem;
    color: var(--accent);
    padding: 1.5rem 0.75rem 0;
    flex-shrink: 0;
}

@media (max-width: 768px) {
    .flash-pipeline {
        flex-direction: column;
        align-items: center;
    }

    .flash-step {
        max-width: 100%;
    }

    .flash-step__arrow {
        transform: rotate(90deg);
        padding: 0.5rem 0;
    }
}

/* ── Flash metrics grid ───────────────────────────────────── */
.flash-metrics-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(260px, 1fr));
    gap: 1.5rem;
    margin-top: 1.5rem;
}

.flash-metric {
    background: rgba(255, 255, 255, 0.03);
    border: 1px solid rgba(255, 255, 255, 0.08);
    border-radius: 16px;
    padding: 2rem;
    transition: border-color 0.3s, transform 0.3s;
}

.flash-metric:hover {
    border-color: rgba(239, 68, 68, 0.3);
    transform: translateY(-2px);
}

.flash-metric__formula {
    display: inline-block;
    font-family: 'JetBrains Mono', monospace;
    font-size: 1.3rem;
    font-weight: 700;
    color: #ef4444;
    background: rgba(239, 68, 68, 0.1);
    padding: 0.3rem 0.8rem;
    border-radius: 8px;
    margin-bottom: 0.75rem;
}

.flash-metric h4 {
    font-size: 1rem;
    font-weight: 700;
    color: var(--text);
    margin-bottom: 0.4rem;
}

.flash-metric p {
    font-size: 0.9rem;
    color: var(--text-secondary);
    line-height: 1.6;
}

/* ── AioP research grid ──────────────────────────────────── */
.aiop-research-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
    gap: 1.5rem;
}

.aiop-rblock {
    background: rgba(255, 255, 255, 0.03);
    border: 1px solid rgba(255, 255, 255, 0.08);
    border-radius: 16px;
    padding: 2rem;
    transition: border-color 0.3s, transform 0.3s;
}

.aiop-rblock:hover {
    border-color: rgba(6, 182, 212, 0.4);
    transform: translateY(-2px);
}

.aiop-rblock h3 {
    font-size: 1.1rem;
    font-weight: 700;
    color: var(--text);
    margin-bottom: 0.75rem;
}

.aiop-rblock p {
    font-size: 0.92rem;
    color: var(--text-secondary);
    line-height: 1.65;
}

/* ── References grid ──────────────────────────────────────── */
.ref-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
    gap: 1.5rem;
}

.ref-card {
    background: rgba(255, 255, 255, 0.03);
    border: 1px solid rgba(255, 255, 255, 0.08);
    border-radius: 16px;
    padding: 2rem;
    transition: border-color 0.3s, transform 0.3s;
}

.ref-card:hover {
    border-color: rgba(99, 102, 241, 0.3);
    transform: translateY(-2px);
}

.ref-card__title {
    font-size: 1.05rem;
    font-weight: 700;
    color: var(--text);
    margin-bottom: 0.6rem;
}

.ref-card__desc {
    font-size: 0.9rem;
    color: var(--text-secondary);
    line-height: 1.65;
    margin-bottom: 1rem;
}

.ref-card__area {
    display: inline-block;
    font-size: 0.78rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.08em;
    color: var(--accent);
    background: rgba(99, 102, 241, 0.1);
    padding: 0.3rem 0.75rem;
    border-radius: 6px;
}

/* ── Section badge red ────────────────────────────────────── */
.section__badge--red {
    background: rgba(239, 68, 68, 0.12);
    color: #ef4444;
}

/* ── Formalization: Research cases ────────────────────────── */
.research-cases {
    display: flex;
    gap: 1rem;
    margin-top: 1.5rem;
    flex-wrap: wrap;
}

.research-case {
    flex: 1;
    min-width: 250px;
    padding: 1.25rem 1.5rem;
    border-radius: 12px;
    display: flex;
    flex-direction: column;
    gap: 0.5rem;
}

.research-case--green {
    background: rgba(16, 185, 129, 0.06);
    border: 1px solid rgba(16, 185, 129, 0.2);
}

.research-case--amber {
    background: rgba(251, 191, 36, 0.06);
    border: 1px solid rgba(251, 191, 36, 0.2);
}

.research-case--red {
    background: rgba(239, 68, 68, 0.06);
    border: 1px solid rgba(239, 68, 68, 0.2);
}

.research-case__label {
    font-family: 'JetBrains Mono', monospace;
    font-weight: 800;
    font-size: 0.95rem;
    white-space: nowrap;
}

.research-case--green .research-case__label { color: #10b981; }
.research-case--amber .research-case__label { color: #fbbf24; }
.research-case--red .research-case__label { color: #ef4444; }

.research-case--critical {
    background: rgba(190, 24, 93, 0.06);
    border: 1px solid rgba(190, 24, 93, 0.25);
}

.research-case--critical .research-case__label {
    color: #be185d;
}

.research-case__note {
    font-size: 0.82rem;
    font-style: italic;
    color: var(--text-muted, rgba(255,255,255,0.4));
    line-height: 1.5;
    margin-top: 4px;
}

.research-case__desc {
    color: var(--text-secondary);
    font-size: 0.9rem;
    line-height: 1.6;
}

/* ── Formalization: Proof record ─────────────────────────── */
.proof-record {
    background: rgba(6, 182, 212, 0.06);
    border: 1px solid rgba(6, 182, 212, 0.2);
    border-radius: 12px;
    padding: 1.5rem 2rem;
    margin: 1.5rem 0;
}

.proof-record__title {
    font-size: 0.85rem;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.08em;
    color: var(--accent-cyan, #06b6d4);
    margin-bottom: 1rem;
}

.proof-record__fields {
    display: flex;
    align-items: center;
    gap: 0;
    flex-wrap: wrap;
    justify-content: center;
}

.proof-field {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.88rem;
    background: rgba(255, 255, 255, 0.06);
    padding: 0.5rem 1rem;
    border-radius: 8px;
    color: var(--text);
}

.proof-sep {
    color: var(--text-muted, rgba(255,255,255,0.3));
    padding: 0 0.5rem;
    font-size: 1.1rem;
}

@media (max-width: 768px) {
    .research-cases {
        flex-direction: column;
    }

    .proof-record__fields {
        flex-direction: column;
        gap: 0.5rem;
    }

    .proof-sep {
        transform: rotate(90deg);
        padding: 0.25rem 0;
    }
}