/* InternalReliabilityShell coverage, relation-ledger, and Learning Court surface styles. */
/* Learning Court surface: relocated from app.css as measured CSS debt reduction. */
.learning-page {
  max-width: 1200px;
  margin: 0 auto;
  padding: 32px;
}
.learning-head h1 { margin: 0 0 8px 0; font-family: Georgia, serif; color: var(--navy-deep); }
.learning-head p { max-width: 720px; }
.learning-tiles {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 12px;
  margin: 18px 0 24px 0;
}
.learning-tile,
.learning-tiles [data-primitive="action_trigger"].learning-tile {
  display: block;
  width: 100%;
  text-align: left;
  background: white;
  border: 1px solid var(--rule);
  border-radius: 8px;
  padding: 16px 18px;
  font-family: inherit;
  letter-spacing: 0;
  text-transform: none;
  cursor: pointer;
  transition: border-color 0.15s, transform 0.05s;
}
.learning-tile:hover,
.learning-tiles [data-primitive="action_trigger"].learning-tile:hover { border-color: var(--navy-deep); }
.learning-tile:active,
.learning-tiles [data-primitive="action_trigger"].learning-tile:active { transform: translateY(1px); }
.learning-tile-num { font-size: 28px; font-weight: 700; color: var(--navy-deep); }
.learning-tile-label { font-size: 11px; letter-spacing: 1.2px; text-transform: uppercase; color: var(--slate); margin-top: 4px; }
.learning-tile-sub { font-size: 11px; color: var(--slate-light); margin-top: 4px; }
.learning-tile-regressed,
.learning-tiles [data-primitive="action_trigger"].learning-tile-regressed { background: #FEE7E7; border-color: #F4B5B5; }
.learning-tile-regressed .learning-tile-num { color: var(--red, #B91C1C); }
.learning-tile-fixed,
.learning-tiles [data-primitive="action_trigger"].learning-tile-fixed { background: #E8F5EC; border-color: #B5D8C2; }
.learning-tile-fixed .learning-tile-num { color: var(--green, #166534); }

.learning-filter {
  display: flex;
  align-items: center;
  gap: 8px;
  margin-bottom: 16px;
}
.learning-fbtn,
.learning-filter [data-primitive="action_trigger"].learning-fbtn {
  background: white;
  border: 1px solid var(--rule);
  border-radius: 14px;
  padding: 4px 12px;
  font-size: 12px;
  cursor: pointer;
  color: var(--slate);
}
.learning-fbtn.active,
.learning-filter [data-primitive="action_trigger"].learning-fbtn.active { background: var(--navy-deep); color: white; border-color: var(--navy-deep); }

.learning-list { display: flex; flex-direction: column; gap: 12px; }
.learning-row {
  background: white;
  border: 1px solid var(--rule);
  border-left: 4px solid var(--slate-light);
  border-radius: 6px;
  padding: 14px 18px;
}
.learning-state-regressed { border-left-color: var(--red, #B91C1C); background: #FFFAFA; }
.learning-state-open { border-left-color: #D4A91A; }
.learning-state-diagnosed { border-left-color: #2563EB; }
.learning-state-fixed { border-left-color: var(--green, #166534); background: #FBFEFB; }

.learning-row-head {
  display: flex;
  align-items: center;
  gap: 10px;
  flex-wrap: wrap;
}
.learning-pill {
  font-size: 10px;
  letter-spacing: 1.2px;
  text-transform: uppercase;
  padding: 2px 8px;
  border-radius: 10px;
  font-weight: 600;
}
.learning-pill-regressed { background: var(--red, #B91C1C); color: white; }
.learning-pill-open { background: #FBF5E0; color: #8A6D00; }
.learning-pill-diagnosed { background: #DBEAFE; color: #1E40AF; }
.learning-pill-fixed { background: #DCFCE7; color: var(--green, #166534); }
.learning-pill-status { background: #F1F5F9; color: var(--slate); }
.learning-concept { font-weight: 600; color: var(--navy-deep); }
.learning-chip-tag {
  font-size: 11px;
  padding: 1px 8px;
  background: #F1F5F9;
  border-radius: 10px;
  color: var(--slate);
}
.learning-count { margin-left: auto; font-size: 12px; color: var(--slate); }
.learning-regr {
  font-size: 11px;
  background: var(--red, #B91C1C);
  color: white;
  padding: 1px 6px;
  border-radius: 8px;
  margin-left: 4px;
}
.learning-meta { margin: 6px 0; }
.learning-suggest {
  background: #FFF8E0;
  border-left: 2px solid #D4A91A;
  padding: 8px 12px;
  border-radius: 0 4px 4px 0;
  margin: 8px 0;
  font-size: 13px;
}
.learning-detail { margin: 6px 0; font-size: 12.5px; }
.learning-detail summary { cursor: pointer; }
.learning-quote {
  margin: 6px 0 0 0;
  padding: 6px 10px;
  background: #F8FAFC;
  border-left: 2px solid var(--rule);
  font-family: -apple-system-mono, monospace;
  font-size: 12px;
  color: var(--slate);
  white-space: pre-wrap;
}
.learning-analysis { margin: 6px 0 0 0; color: var(--slate); }
.learning-block {
  background: #F8FAFC;
  border-radius: 4px;
  padding: 8px 12px;
  margin: 8px 0;
  border-left: 2px solid var(--navy-deep);
}
.learning-block-label {
  font-size: 10px;
  letter-spacing: 1.2px;
  text-transform: uppercase;
  color: var(--slate);
  margin-bottom: 4px;
}
.learning-block-body { font-size: 13px; color: var(--navy-deep); }
.learning-actions {
  display: flex;
  gap: 8px;
  flex-wrap: wrap;
  margin-top: 10px;
}
.learning-action {
  background: white;
  border: 1px solid var(--rule);
  padding: 5px 12px;
  border-radius: 4px;
  font-size: 12px;
  cursor: pointer;
  color: var(--navy-deep);
}
.learning-action:hover { border-color: var(--navy-deep); }
.learning-action-primary { background: var(--navy-deep); color: white; border-color: var(--navy-deep); }
.learning-action-primary:hover { background: var(--orange); border-color: var(--orange); }
.learning-action-good { background: var(--green, #166534); color: white; border-color: var(--green, #166534); }

.learning-occurrences { margin-top: 10px; }
.learning-occ-tbl {
  width: 100%;
  border-collapse: collapse;
  font-size: 12px;
}
.learning-occ-tbl th {
  text-align: left;
  font-size: 10px;
  text-transform: uppercase;
  letter-spacing: 1.2px;
  color: var(--slate);
  border-bottom: 1px solid var(--rule);
  padding: 6px 8px;
}
.learning-occ-tbl td { padding: 6px 8px; border-bottom: 1px solid var(--rule); vertical-align: top; }
.learning-occ-tbl tr:last-child td { border-bottom: none; }

.learning-modal {
  max-width: 520px;
  padding: 24px;
  border: 1px solid var(--rule);
  border-radius: 8px;
}
.learning-modal::backdrop { background: rgba(8, 26, 46, 0.4); }
.learning-modal h3 { margin: 0 0 8px 0; }
.learning-modal label {
  display: block;
  font-size: 12px;
  font-weight: 600;
  color: var(--slate);
  margin: 12px 0 0 0;
}
.learning-modal textarea, .learning-modal input {
  width: 100%;
  font-family: inherit;
  font-size: 13px;
  padding: 8px;
  border: 1px solid var(--rule);
  border-radius: 4px;
  margin-top: 4px;
}
.learning-modal-actions {
  display: flex;
  justify-content: flex-end;
  gap: 8px;
  padding: 0;
  margin: 16px 0 0 0;
}
.learning-modal-actions button {
  padding: 6px 16px;
  font-size: 13px;
  border: 1px solid var(--rule);
  background: white;
  border-radius: 4px;
  cursor: pointer;
}

/* ============================================================
   Learning Court — repair obligation lifecycle pills + grid
   ============================================================ */

.learning-tile-attention,
.learning-tiles [data-primitive="action_trigger"].learning-tile-attention { background: #FBF5E0; border-color: #D4A91A; }
.learning-tile-attention .learning-tile-num { color: #8A6D00; }
.learning-tile-muted,
.learning-tiles [data-primitive="action_trigger"].learning-tile-muted { background: #F8FAFC; }
.learning-tile-muted .learning-tile-num { color: var(--slate); }

/* lifecycle states beyond open/diagnosed/fixed/regressed */
.learning-state-new { border-left-color: #D4A91A; }
.learning-state-repair_due { border-left-color: #1E40AF; }
.learning-state-in_progress { border-left-color: #7C3AED; }
.learning-state-fixed_pending_proof { border-left-color: #0891B2; background: #ECFEFF; }
.learning-state-waived_legitimate { border-left-color: var(--slate-light); background: #FBFCFD; opacity: 0.85; }

.learning-pill-new { background: #FBF5E0; color: #8A6D00; }
.learning-pill-repair_due { background: #DBEAFE; color: #1E40AF; }
.learning-pill-in_progress { background: #EDE9FE; color: #6D28D9; }
.learning-pill-fixed_pending_proof { background: #CFFAFE; color: #0E7490; }
.learning-pill-waived_legitimate { background: #F1F5F9; color: var(--slate); }

/* Severity pill */
.learning-pill-sev { font-size: 10px; }
.learning-sev-pill-hard_blocker { background: var(--red, #B91C1C); color: white; }
.learning-sev-pill-high { background: #FEE2E2; color: var(--red, #B91C1C); }
.learning-sev-pill-medium { background: #FEF3C7; color: #8A6D00; }
.learning-sev-pill-low { background: #DCFCE7; color: var(--green, #166534); }

/* Causality grid */
.learning-causality {
  background: #F8FAFC;
  border: 1px solid var(--rule);
  border-radius: 6px;
  padding: 10px 12px;
  margin: 8px 0;
}
.learning-cause-row {
  display: grid;
  grid-template-columns: 1fr 1fr 1fr;
  gap: 12px;
}
.learning-cause-cell { font-size: 13px; }
.learning-cell-label {
  font-size: 10px;
  letter-spacing: 1.2px;
  text-transform: uppercase;
  color: var(--slate);
  margin-bottom: 2px;
}
.learning-cell-body { color: var(--navy-deep); font-weight: 500; }
.learning-artifact { margin-top: 8px; font-size: 12px; color: var(--slate); }
.learning-artifact code {
  background: white;
  padding: 1px 6px;
  border-radius: 3px;
  border: 1px solid var(--rule);
  font-family: -apple-system-mono, monospace;
  font-size: 11.5px;
}

.learning-block-good {
  background: #ECFDF5;
  border-left: 2px solid var(--green, #166534);
}

/* Proof badge */
.learning-proof {
  display: inline-block;
  font-size: 10px;
  letter-spacing: 1.2px;
  padding: 2px 8px;
  border-radius: 8px;
  font-weight: 700;
}
.learning-proof-passed { background: var(--green, #166534); color: white; }
.learning-proof-failed { background: var(--red, #B91C1C); color: white; }
.learning-proof-pending { background: #F1F5F9; color: var(--slate); }

/* Tiles grid — accommodate six tiles */
.learning-tiles {
  grid-template-columns: repeat(6, 1fr);
}
@media (max-width: 1000px) {
  .learning-tiles { grid-template-columns: repeat(3, 1fr); }
}
@media (max-width: 720px) {
  .learning-tiles { grid-template-columns: 1fr !important; }
}

.learning-filter {
  flex-wrap: wrap;
}

/* ============================================================
   Coverage page — "what is mapped, what is metadata-only, what is missing"
   ============================================================ */

.coverage-page { max-width: 1200px; margin: 0 auto; padding: 32px; }
@media (max-width: 700px) {
  .coverage-page { padding: 18px 14px; }
}

.coverage-head h1 { margin: 0 0 8px 0; font-family: Georgia, serif; color: var(--navy-deep); }
.coverage-head > p { max-width: 760px; }

.cov-tiles {
  display: grid;
  grid-template-columns: repeat(6, 1fr);
  gap: 12px;
  margin: 18px 0 16px 0;
}
@media (max-width: 1100px) { .cov-tiles { grid-template-columns: repeat(3, 1fr); } }
@media (max-width: 700px) { .cov-tiles { grid-template-columns: 1fr; } }

.cov-tile {
  background: white;
  border: 1px solid var(--rule);
  border-radius: 8px;
  padding: 16px 18px;
}
.cov-num { font-size: 28px; font-weight: 700; color: var(--navy-deep); }
.cov-label { font-size: 11px; letter-spacing: 1.2px; text-transform: uppercase; color: var(--slate); margin-top: 4px; }
.cov-sub { font-size: 11px; color: var(--slate-light); margin-top: 4px; }
.cov-tile-good { background: #ECFDF5; border-color: #6EE7B7; }
.cov-tile-good .cov-num { color: var(--green); }
.cov-tile-warn { background: #FFFBEB; border-color: #FCD34D; }
.cov-tile-warn .cov-num { color: #8A6D00; }
.cov-tile-debt { background: #EFF6FF; border-color: #93C5FD; }
.cov-tile-debt .cov-num { color: #1E40AF; }

.cov-legend {
  display: flex;
  flex-wrap: wrap;
  gap: 18px;
  margin: 8px 0 24px 0;
  font-size: 12px;
  color: var(--slate);
}
.cov-status { font-weight: 700; margin-right: 4px; vertical-align: middle; }
.cov-status-ingested { color: var(--green); }
.cov-status-metadata { color: #8A6D00; }
.cov-status-debt { color: #1E40AF; }
.cov-status-planned { color: var(--slate-light); }

.cov-section { margin-bottom: 40px; }
.cov-h {
  font-family: Georgia, serif;
  font-size: 20px;
  color: var(--navy-deep);
  margin: 0 0 6px 0;
  border-bottom: 2px solid var(--orange);
  padding-bottom: 6px;
}
.cov-intro {
  color: var(--slate);
  font-size: 13.5px;
  max-width: 820px;
  margin: 6px 0 18px 0;
}
.cov-intro em { font-style: italic; }
.cov-subsection { margin-bottom: 24px; }
.cov-subh {
  font: 600 12px -apple-system, sans-serif;
  text-transform: uppercase;
  letter-spacing: 1.6px;
  color: var(--navy-deep);
  margin: 18px 0 10px 0;
}
.cov-count { color: var(--slate-light); font-weight: 400; margin-left: 4px; }

/* Source cards */
.cov-source-list { display: grid; grid-template-columns: repeat(2, 1fr); gap: 12px; }
@media (max-width: 900px) { .cov-source-list { grid-template-columns: 1fr; } }
.cov-source {
  background: white;
  border: 1px solid var(--rule);
  border-left: 4px solid var(--slate-light);
  border-radius: 6px;
  padding: 14px 18px;
}
.cov-source-ingested { border-left-color: var(--green); background: #F8FEFB; }
.cov-source-metadata { border-left-color: #D4A91A; background: #FFFEF7; }
.cov-source-debt { border-left-color: #1E40AF; background: #F8FAFF; }
.cov-source-planned { border-left-color: var(--slate-light); background: #FBFCFD; opacity: 0.95; }
.cov-source-head {
  display: flex;
  justify-content: space-between;
  align-items: flex-start;
  margin-bottom: 6px;
}
.cov-source-head h4 { margin: 0; color: var(--navy-deep); font: 600 15px Georgia, serif; }
.cov-source-full { color: var(--slate); font-size: 12px; margin-top: 2px; }
.cov-source-url { font-size: 11px; }
.cov-explain { font-size: 13px; color: var(--navy-deep); margin: 8px 0 10px 0; line-height: 1.5; }
.cov-covers { margin: 10px 0; padding: 8px 12px; background: rgba(0,0,0,0.02); border-radius: 4px; }
.cov-covers ul { margin: 4px 0 0 0; padding-left: 20px; font-size: 12.5px; }
.cov-covers li { padding: 1px 0; }
.cov-cell-label { font-size: 10px; letter-spacing: 1.2px; text-transform: uppercase; color: var(--slate); }
.cov-source-meta {
  display: flex;
  flex-wrap: wrap;
  gap: 14px;
  margin-top: 10px;
  padding-top: 8px;
  border-top: 1px solid var(--rule);
  font-size: 11.5px;
  color: var(--slate);
}
.cov-source-meta code {
  background: white;
  border: 1px solid var(--rule);
  padding: 1px 5px;
  border-radius: 3px;
  font-size: 11px;
}
.cov-notes {
  margin-top: 10px;
  padding: 8px 12px;
  background: #FFF8E0;
  border-left: 2px solid #D4A91A;
  border-radius: 0 4px 4px 0;
  font-size: 12px;
  color: var(--slate);
  font-style: italic;
}

/* Authorities table */
.cov-tbl {
  width: 100%;
  border-collapse: collapse;
  background: white;
  border: 1px solid var(--rule);
  border-radius: 6px;
  overflow: hidden;
  font-size: 13px;
}
.cov-tbl thead {
  background: var(--paper);
  border-bottom: 2px solid var(--rule);
}
.cov-tbl th {
  text-align: left;
  padding: 10px 14px;
  font-size: 11px;
  letter-spacing: 1.2px;
  text-transform: uppercase;
  color: var(--slate);
}
.cov-tbl td {
  padding: 10px 14px;
  border-bottom: 1px solid var(--rule);
  vertical-align: top;
}
.cov-tbl tr:last-child td { border-bottom: none; }
.cov-auth-id { color: var(--slate); font-size: 11.5px; margin-bottom: 2px; }
.cov-auth-title { color: var(--navy-deep); font-weight: 600; }
.cov-auth-link { display: block; margin-top: 4px; }
.cov-kind-pill {
  display: inline-block;
  padding: 2px 8px;
  font-size: 10px;
  letter-spacing: 1px;
  text-transform: uppercase;
  background: #F1F5F9;
  color: var(--slate);
  border-radius: 8px;
}
.cov-license-pill {
  display: inline-block;
  padding: 2px 8px;
  font-size: 10px;
  letter-spacing: 1px;
  text-transform: uppercase;
  border-radius: 8px;
  font-weight: 600;
}
.cov-license-pill-public_authoritative { background: var(--green); color: white; }
.cov-license-pill-licensed_required { background: #FEF3C7; color: #8A6D00; }
.cov-license-pill-taxonomy_concept { background: #DBEAFE; color: #1E40AF; }
.cov-license-pill-staff_publication { background: #E5E7EB; color: var(--slate); }
.cov-bind-count { text-align: right; }
.cov-bind-count strong { color: var(--navy-deep); font-size: 15px; }
.cov-license-licensed_required td { background: rgba(254, 243, 199, 0.25); }

/* Chips */
.cov-chip-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(280px, 1fr));
  gap: 12px;
}
.cov-chip-card {
  background: white;
  border: 1px solid var(--rule);
  border-left: 3px solid var(--orange);
  border-radius: 6px;
  padding: 14px 16px;
}
.cov-chip-card h4 {
  margin: 0;
  color: var(--navy-deep);
  font: 600 14px Georgia, serif;
  display: flex;
  justify-content: space-between;
  align-items: center;
}
.cov-chip-count {
  background: var(--orange);
  color: white;
  font: 600 11px -apple-system, sans-serif;
  padding: 1px 8px;
  border-radius: 10px;
}
.cov-chip-summary { font-size: 12.5px; color: var(--slate); margin: 6px 0 10px 0; }
.cov-chip-details summary { cursor: pointer; padding: 4px 0; }
.cov-chip-concepts {
  margin: 4px 0 8px 0;
  padding-left: 18px;
  font-size: 12px;
}
.cov-chip-concepts li { padding: 1px 0; }
.cov-chip-headings { margin: 4px 0 8px 0; padding-left: 18px; }
.cov-chip-headings code {
  background: var(--paper);
  padding: 1px 4px;
  border-radius: 2px;
  font-size: 11px;
}

/* Two-column generic */
.cov-twocol {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 24px;
}
@media (max-width: 900px) { .cov-twocol { grid-template-columns: 1fr; } }
.cov-flat { list-style: none; padding: 0; margin: 0; }
.cov-flat li {
  padding: 8px 0;
  border-bottom: 1px solid var(--rule);
}
.cov-flat li:last-child { border-bottom: none; }

/* Gap details */
.cov-gap-detail { margin-top: 8px; }
.cov-gap-list {
  margin: 8px 0 0 0;
  padding: 0;
  list-style: none;
  max-height: 280px;
  overflow-y: auto;
  background: white;
  border: 1px solid var(--rule);
  border-radius: 4px;
}
.cov-gap-list li {
  padding: 5px 10px;
  border-bottom: 1px solid var(--rule);
}
.cov-gap-list li:last-child { border-bottom: none; }

.cov-foot {
  margin-top: 40px;
  padding-top: 16px;
  border-top: 1px solid var(--rule);
  text-align: center;
}

/* ============================================================
   Coverage page — Section 0: honest relational depth
   ============================================================ */

.cov-tiles-breadth { grid-template-columns: repeat(6, 1fr); }
@media (max-width: 1200px) { .cov-tiles-breadth { grid-template-columns: repeat(3, 1fr); } }
@media (max-width: 700px) { .cov-tiles-breadth { grid-template-columns: 1fr; } }

.cov-section-honest {
  background: white;
  border: 1px solid var(--rule);
  border-radius: 8px;
  padding: 20px 24px;
  margin-bottom: 40px;
}

.cov-depth-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 24px;
  margin-top: 18px;
}
@media (max-width: 1100px) { .cov-depth-grid { grid-template-columns: 1fr; } }

.cov-depth-block {
  border: 1px solid var(--rule);
  border-radius: 6px;
  padding: 14px 16px;
  background: var(--paper);
}
.cov-depth-block .cov-subh { margin-top: 0; }

.cov-depth-tbl {
  width: 100%;
  border-collapse: collapse;
  font-size: 12px;
  margin-top: 8px;
}
.cov-depth-tbl th {
  text-align: left;
  font-size: 10px;
  text-transform: uppercase;
  letter-spacing: 1px;
  color: var(--slate);
  padding: 4px 6px;
  border-bottom: 1px solid var(--rule);
}
.cov-depth-tbl td {
  padding: 6px;
  border-bottom: 1px solid var(--rule);
  vertical-align: middle;
}
.cov-depth-tbl tr:last-child td { border-bottom: none; }

.cov-cell-center { text-align: center; }
.cov-cell-depth { min-width: 130px; }
.cov-yes { color: var(--green); font-weight: 600; }
.cov-no { color: var(--slate-light); }

.cov-bar-track {
  display: inline-block;
  width: 80px;
  height: 8px;
  background: #E5E7EB;
  border-radius: 4px;
  vertical-align: middle;
  overflow: hidden;
}
.cov-bar-fill {
  display: block;
  height: 100%;
  background: linear-gradient(90deg, var(--orange) 0%, var(--green) 100%);
  border-radius: 4px;
}
.cov-bar-num {
  display: inline-block;
  margin-left: 6px;
  font-size: 11px;
  color: var(--slate);
  min-width: 28px;
}
.cov-bar-track-mini {
  display: inline-block;
  width: 40px;
  height: 5px;
  background: #E5E7EB;
  border-radius: 3px;
  overflow: hidden;
  vertical-align: middle;
}
.cov-bar-track-mini span {
  display: block;
  height: 100%;
  background: linear-gradient(90deg, var(--orange) 0%, var(--green) 100%);
}

.cov-doc-list { display: flex; flex-direction: column; gap: 4px; margin-top: 8px; }
.cov-doc-row {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 6px 10px;
  background: white;
  border: 1px solid var(--rule);
  border-radius: 4px;
  font-size: 12.5px;
}
.cov-doc-note {
  margin-top: 12px;
  padding: 8px 12px;
  background: #FFF8E0;
  border-left: 2px solid #D4A91A;
  border-radius: 0 4px 4px 0;
  line-height: 1.55;
}

.cov-depth-twocol {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 14px;
  margin-top: 8px;
}
@media (max-width: 800px) { .cov-depth-twocol { grid-template-columns: 1fr; } }
@media (max-width: 700px) {
  .cov-depth-block,
  .cov-slice,
  .cov-section,
  .cov-rail-court {
    overflow-x: auto;
  }
  .cov-depth-tbl,
  .cov-matrix-tbl,
  .cov-rail-table,
  .cov-workshop-tbl,
  .cov-tbl {
    min-width: 680px;
  }
  .cov-doc-row,
  .cov-rel-row {
    display: grid;
    grid-template-columns: 1fr;
    gap: 4px;
  }
}

.cov-mini-h {
  font: 600 11px -apple-system, sans-serif;
  text-transform: uppercase;
  letter-spacing: 1.2px;
  color: var(--slate);
  margin: 6px 0;
}
.cov-concept-depth-list {
  list-style: none;
  margin: 0;
  padding: 0;
  font-size: 12px;
}
.cov-concept-depth-list li {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 3px 0;
}
.cov-concept-label { color: var(--navy-deep); flex: 1; }

.cov-relation-aggregate {
  margin-top: 16px;
  padding-top: 12px;
  border-top: 1px solid var(--rule);
  display: flex;
  flex-direction: column;
  gap: 6px;
}
.cov-rel-row {
  display: grid;
  grid-template-columns: 1fr 120px 70px;
  gap: 10px;
  align-items: center;
  font-size: 12px;
}
.cov-rel-label { color: var(--navy-deep); }
.cov-rel-bar {
  display: block;
  height: 8px;
  background: #E5E7EB;
  border-radius: 4px;
  overflow: hidden;
}
.cov-rel-bar span {
  display: block;
  height: 100%;
  background: linear-gradient(90deg, var(--orange) 0%, var(--green) 100%);
}
.cov-rel-num {
  text-align: right;
  font-variant-numeric: tabular-nums;
  font-size: 11.5px;
  color: var(--slate);
}
@media (max-width: 700px) {
  .cov-doc-row,
  .cov-rel-row {
    display: grid;
    grid-template-columns: 1fr;
    gap: 4px;
  }
  .cov-rel-num {
    text-align: left;
  }
}

.cov-honest-note {
  margin-top: 22px;
  padding: 14px 18px;
  background: #FFF8E0;
  border-left: 4px solid var(--orange);
  border-radius: 0 6px 6px 0;
  font-size: 13.5px;
  color: var(--navy-deep);
  line-height: 1.6;
}
.cov-honest-note code {
  background: white;
  padding: 1px 6px;
  border-radius: 3px;
  font-size: 12px;
}

/* ============================================================
   Coverage Section 0 — operational derivability matrix
   ============================================================ */

.cov-section-deriv {
  background: linear-gradient(180deg, #FBF5E0 0%, white 80%);
  border: 1px solid #D4A91A;
  border-radius: 8px;
  padding: 22px 26px;
  margin-bottom: 40px;
}

.cov-deriv-summary {
  display: grid;
  grid-template-columns: 2fr 1fr 1fr;
  gap: 12px;
  margin: 18px 0 24px 0;
}
@media (max-width: 800px) { .cov-deriv-summary { grid-template-columns: 1fr; } }
.cov-deriv-tile {
  background: white;
  border: 1px solid var(--rule);
  border-radius: 6px;
  padding: 14px 18px;
}
.cov-deriv-tile-headline {
  background: var(--navy-deep);
  color: white;
  border-color: var(--navy-deep);
}
.cov-deriv-tile-headline .cov-num { color: var(--orange); }
.cov-deriv-tile-headline .cov-label { color: white; }
.cov-deriv-tile-headline .cov-sub { color: var(--orange-light); }

.cov-slice {
  background: white;
  border: 1px solid var(--rule);
  border-radius: 6px;
  padding: 14px 18px;
  margin-bottom: 16px;
}
.cov-slice-head h3 {
  margin: 0;
  font: 600 16px Georgia, serif;
  color: var(--navy-deep);
}
.cov-slice-score {
  margin-top: 4px;
  font-size: 12.5px;
  color: var(--slate);
}
.cov-slice-score strong { color: var(--navy-deep); }

.cov-matrix-tbl {
  width: 100%;
  border-collapse: collapse;
  font-size: 12.5px;
  margin-top: 12px;
}
.cov-matrix-tbl th {
  font-size: 10px;
  letter-spacing: 1px;
  text-transform: uppercase;
  color: var(--slate);
  padding: 6px 4px;
  border-bottom: 1px solid var(--rule);
  text-align: center;
}
.cov-matrix-tbl th:first-child { text-align: left; }
.cov-matrix-tbl td {
  padding: 8px 4px;
  border-bottom: 1px solid var(--rule);
  vertical-align: middle;
  text-align: center;
}
.cov-matrix-tbl td:first-child { text-align: left; }
.cov-matrix-tbl tr:last-child td { border-bottom: none; }

.cov-mtx-target { min-width: 36px; }
.cov-mtx-cell { font-size: 18px; line-height: 1; }
.cov-mtx-yes { color: var(--green); font-weight: 700; }
.cov-mtx-no { color: var(--slate-light); }

.cov-mtx-score { text-align: right; min-width: 90px; }
.cov-mtx-score strong { color: var(--navy-deep); font-size: 14px; }
.cov-mtx-gaps { font-size: 10.5px; max-width: 280px; }

.cov-mtx-full { background: #ECFDF5; }
.cov-mtx-usable { background: #F0F9FF; }
.cov-mtx-partial { background: #FFFBEB; }
.cov-mtx-thin { background: #FEF2F2; }

.cov-inline-action {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  color: var(--navy-deep);
  font-weight: 700;
  font-size: 13px;
  text-transform: none;
  letter-spacing: 0;
}

.cov-band {
  background: white;
  border: 1px solid var(--rule);
  border-radius: 8px;
  padding: 16px 18px;
  margin: 16px 0;
}

.ledger-head {
  display: flex;
  justify-content: space-between;
  gap: 18px;
  align-items: flex-start;
}
.ledger-head .eyebrow {
  margin: 0 0 6px 0;
  font-size: 11px;
  letter-spacing: 1.4px;
  text-transform: uppercase;
  color: var(--slate);
  font-weight: 700;
}
.ledger-contract {
  min-width: 150px;
  border: 1px solid var(--rule);
  border-radius: 8px;
  background: #F8FAFC;
  padding: 10px 12px;
  font-size: 12px;
  color: var(--slate);
}
.ledger-contract strong {
  display: block;
  color: var(--navy-deep);
  margin-top: 2px;
  text-transform: capitalize;
}
.ledger-summary-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 12px;
  background: transparent;
  border: none;
  padding: 0;
}
.cov-stat {
  background: white;
  border: 1px solid var(--rule);
  border-radius: 8px;
  padding: 14px 16px;
}
.cov-stat span {
  display: block;
  color: var(--slate);
  font-size: 11px;
  letter-spacing: 1px;
  text-transform: uppercase;
}
.cov-stat strong {
  display: block;
  color: var(--navy-deep);
  font-size: 28px;
  margin-top: 3px;
}
.cov-stat small {
  color: var(--slate-light);
  font-size: 11px;
}
.cov-stat-danger {
  border-color: #FCA5A5;
  background: #FEF2F2;
}
.cov-stat-danger strong { color: #991B1B; }

.ledger-status-list {
  display: grid;
  grid-template-columns: repeat(6, minmax(96px, 1fr));
  gap: 8px;
}
.ledger-status-list div {
  background: #F8FAFC;
  border: 1px solid var(--rule);
  border-radius: 6px;
  padding: 9px 10px;
}
.ledger-status-list span {
  display: block;
  font-size: 11px;
  color: var(--slate);
}
.ledger-status-list strong {
  display: block;
  color: var(--navy-deep);
  font-size: 18px;
}

.ledger-filters {
  display: grid;
  grid-template-columns: repeat(7, minmax(120px, 1fr)) auto;
  gap: 10px;
  align-items: end;
}
.ledger-filters label span {
  display: block;
  font-size: 11px;
  letter-spacing: 1px;
  text-transform: uppercase;
  color: var(--slate);
  margin-bottom: 4px;
}
.ledger-filters select {
  width: 100%;
  min-height: 34px;
  border: 1px solid var(--rule);
  border-radius: 6px;
  background: white;
  color: var(--navy-deep);
  font-size: 12px;
}
.ledger-filter-actions {
  display: flex;
  gap: 8px;
  align-items: center;
}
.ledger-filter-actions button,
.ledger-filter-actions a {
  min-height: 34px;
  border-radius: 6px;
  padding: 7px 12px;
  font-weight: 700;
  font-size: 12px;
}
.ledger-filter-actions button {
  border: 1px solid var(--navy-deep);
  background: var(--navy-deep);
  color: white;
}
.ledger-filter-actions a {
  border: 1px solid var(--rule);
  color: var(--slate);
  background: white;
}

.ledger-blockers {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 16px;
}
.ledger-gap-list {
  margin: 10px 0 0 0;
  padding-left: 22px;
}
.ledger-gap-list li {
  padding: 8px 0;
  border-bottom: 1px solid var(--rule);
}
.ledger-gap-list li:last-child { border-bottom: none; }
.ledger-gap-list span,
.ledger-gap-list small,
.ledger-gap-list em {
  display: block;
}
.ledger-gap-list strong { color: var(--navy-deep); }
.ledger-gap-list span {
  color: var(--slate);
  font-size: 12px;
}
.ledger-gap-list small {
  color: var(--slate-light);
  font-size: 11px;
}
.ledger-gap-list em {
  color: #991B1B;
  font-size: 11px;
  font-style: normal;
  margin-top: 2px;
}

.ledger-repair-heading {
  display: flex;
  justify-content: space-between;
  gap: 18px;
  align-items: flex-start;
  margin-bottom: 12px;
}
.ledger-repair-heading .muted {
  margin: 4px 0 0 0;
  max-width: 780px;
}
.ledger-repair-summary {
  background: #ECFDF5;
  border-color: #A7F3D0;
}
.ledger-repair-summary strong {
  color: #065F46;
}
.ledger-repair-counts {
  grid-template-columns: repeat(3, minmax(130px, 1fr));
  margin-bottom: 12px;
}
.ledger-repair-table {
  min-width: 860px;
}
.ledger-repair-table strong,
.ledger-repair-table small {
  display: block;
}
.ledger-repair-table small {
  color: var(--slate);
}
.ledger-repair-table a {
  font-weight: 700;
  color: var(--navy-deep);
}

.ledger-concept {
  border: 1px solid var(--rule);
  border-radius: 8px;
  margin-top: 12px;
  background: white;
  overflow: hidden;
}
.ledger-concept summary {
  display: flex;
  justify-content: space-between;
  gap: 12px;
  cursor: pointer;
  padding: 12px 14px;
  background: #F8FAFC;
}
.ledger-concept summary strong,
.ledger-concept summary small {
  display: block;
}
.ledger-concept summary strong { color: var(--navy-deep); }
.ledger-concept summary small {
  color: var(--slate);
  font-size: 12px;
}
.ledger-concept-counts {
  color: var(--slate);
  font-size: 12px;
  white-space: nowrap;
}
.ledger-table-wrap {
  overflow-x: auto;
  border-top: 1px solid var(--rule);
}
.ledger-table {
  border: none;
  border-radius: 0;
  min-width: 980px;
  font-size: 12px;
}
.ledger-table code {
  font-size: 11px;
}
.ledger-row-gap td {
  background: #FFFBEB;
}
.ledger-row-ok td {
  background: #F8FAFC;
  color: var(--slate);
}

@media (max-width: 1100px) {
  .ledger-summary-grid { grid-template-columns: repeat(2, 1fr); }
  .ledger-filters { grid-template-columns: repeat(3, minmax(120px, 1fr)); }
}
@media (max-width: 760px) {
  .ledger-head,
  .ledger-repair-heading,
  .ledger-blockers,
  .ledger-concept summary {
    display: block;
  }
  .ledger-contract { margin-top: 12px; }
  .ledger-summary-grid,
  .ledger-status-list,
  .ledger-filters {
    grid-template-columns: 1fr;
  }
  .ledger-concept-counts {
    display: block;
    margin-top: 6px;
  }
}

.cov-offices { margin-top: 28px; padding-top: 18px; border-top: 1px solid var(--rule); }
.cov-office-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 12px;
  margin-top: 12px;
}
@media (max-width: 1000px) { .cov-office-grid { grid-template-columns: repeat(2, 1fr); } }
@media (max-width: 700px) { .cov-office-grid { grid-template-columns: 1fr; } }
.cov-office {
  background: white;
  border: 1px solid var(--rule);
  border-left: 3px solid var(--orange);
  border-radius: 6px;
  padding: 12px 14px;
}
.cov-office-head {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: 6px;
}
.cov-office-head h4 {
  margin: 0;
  font: 600 14px Georgia, serif;
  color: var(--navy-deep);
}
.cov-office-targets {
  margin-top: 6px;
  display: flex;
  flex-wrap: wrap;
  gap: 4px;
}
.cov-office-targets code {
  background: var(--paper);
  padding: 1px 6px;
  border-radius: 3px;
  font-size: 10.5px;
}

.cov-rail-court {
  margin-top: 28px;
  padding-top: 18px;
  border-top: 1px solid var(--rule);
}
.cov-rail-metrics {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 12px;
  margin: 14px 0 16px;
}
@media (max-width: 1000px) { .cov-rail-metrics { grid-template-columns: repeat(2, 1fr); } }
@media (max-width: 640px) { .cov-rail-metrics { grid-template-columns: 1fr; } }
.cov-rail-metric {
  background: white;
  border: 1px solid var(--rule);
  border-radius: 6px;
  padding: 14px 16px;
}
.cov-rail-table {
  width: 100%;
  border-collapse: collapse;
  background: white;
  border: 1px solid var(--rule);
  border-radius: 6px;
  overflow: hidden;
  font-size: 12.5px;
}
.cov-rail-table th {
  text-align: left;
  font-size: 10px;
  letter-spacing: 1px;
  text-transform: uppercase;
  color: var(--slate);
  padding: 8px 10px;
  border-bottom: 2px solid var(--rule);
}
.cov-rail-table td {
  padding: 9px 10px;
  border-bottom: 1px solid var(--rule);
  vertical-align: top;
}
.cov-rail-table tr:last-child td { border-bottom: none; }
.cov-rail-status {
  display: inline-flex;
  align-items: center;
  border: 1px solid var(--rule);
  border-radius: 999px;
  padding: 2px 8px;
  font-size: 10.5px;
  text-transform: uppercase;
  letter-spacing: 0.7px;
  color: var(--slate);
  background: var(--paper);
}
.cov-rail-status-open,
.cov-rail-status-commissioned,
.cov-rail-status-revision_requested {
  background: #FFFBEB;
  border-color: #FCD34D;
  color: #8A6D00;
}
.cov-rail-status-admitted,
.cov-rail-status-passed {
  background: #ECFDF5;
  border-color: #6EE7B7;
  color: var(--green);
}
.cov-rail-status-rejected,
.cov-rail-status-failed {
  background: #FEF2F2;
  border-color: #FCA5A5;
  color: var(--red);
}
.cov-rail-chain {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 14px;
  margin-top: 16px;
}
@media (max-width: 800px) { .cov-rail-chain { grid-template-columns: 1fr; } }
.cov-rail-chain h4 {
  margin: 0 0 8px;
  font: 600 13px -apple-system, sans-serif;
  color: var(--navy-deep);
}
.cov-rail-list {
  margin: 0;
  padding: 0;
  list-style: none;
  background: white;
  border: 1px solid var(--rule);
  border-radius: 6px;
}
.cov-rail-list li {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  align-items: center;
  padding: 9px 10px;
  border-bottom: 1px solid var(--rule);
  font-size: 12.5px;
}
.cov-rail-list li:last-child { border-bottom: none; }
.cov-rail-evidence {
  margin-top: 16px;
}
.cov-rail-evidence h4 {
  margin: 0 0 6px;
  font: 600 13px -apple-system, sans-serif;
  color: var(--navy-deep);
}
.cov-empty {
  background: white;
  border: 1px dashed var(--rule);
  border-radius: 6px;
  color: var(--slate);
  font-size: 13px;
  padding: 14px 16px;
}

/* ============================================================
   Workshop state machine (Section 0.7 on Coverage)
   ============================================================ */
.cov-section-workshop {
  background: linear-gradient(180deg, #ECFEFF 0%, white 80%);
  border: 1px solid #0891B2;
  border-radius: 8px;
  padding: 20px 24px;
  margin-bottom: 30px;
}
.cov-workshop-tbl {
  width: 100%;
  border-collapse: collapse;
  font-size: 12.5px;
  margin-top: 10px;
}
.cov-workshop-tbl th {
  text-align: left;
  font-size: 10px;
  text-transform: uppercase;
  letter-spacing: 1.2px;
  color: var(--slate);
  padding: 8px 10px;
  border-bottom: 2px solid var(--rule);
}
.cov-workshop-tbl td {
  padding: 10px;
  border-bottom: 1px solid var(--rule);
  vertical-align: top;
}
.cov-ws-row.cov-ws-verified { background: #ECFDF5; }
.cov-ws-row.cov-ws-ingested { background: #F0F9FF; }
.cov-ws-row.cov-ws-adapter_built { background: #FFFBEB; }
.cov-ws-row.cov-ws-recon_done { background: #FAF5FF; }
.cov-ws-row.cov-ws-discovered { background: #F8FAFC; }

.cov-ws-track {
  display: flex;
  align-items: center;
  gap: 6px;
}
.cov-ws-step {
  color: #CBD5E1;
  font-size: 16px;
  line-height: 1;
}
.cov-ws-step-on { color: var(--green); }
.cov-ws-label {
  margin-left: 8px;
  font-size: 11px;
  color: var(--slate);
  text-transform: uppercase;
  letter-spacing: 1.2px;
  font-weight: 600;
}
.cov-ws-finding {
  max-width: 360px;
  color: var(--slate);
  line-height: 1.5;
}

/* depth_signal pills (honesty indicator) */
.cov-depth-pill {
  display: inline-block;
  font-size: 10px;
  letter-spacing: 1px;
  text-transform: uppercase;
  padding: 2px 8px;
  border-radius: 10px;
  font-weight: 600;
}
.cov-depth-pill-verified { background: var(--green); color: white; }
.cov-depth-pill-moderate { background: #DBEAFE; color: #1E40AF; }
.cov-depth-pill-shallow { background: #FEF3C7; color: #8A6D00; }
.cov-depth-pill-paper_thin { background: #FEE2E2; color: var(--red); }
.cov-depth-pill-unmeasured { background: #F1F5F9; color: var(--slate); }

/* row tinting by depth so the eye flags the thin ones */
.cov-depth-shallow td:first-child { border-left: 3px solid #D4A91A; }
.cov-depth-paper_thin td:first-child { border-left: 3px solid var(--red); }
.cov-depth-moderate td:first-child { border-left: 3px solid #1E40AF; }
.cov-depth-verified td:first-child { border-left: 3px solid var(--green); }

@media (max-width: 720px) {
  .cov-tiles,
  .cov-foot,
  .cov-office-grid {
    grid-template-columns: 1fr !important;
  }
}