/* Evulgare Decision Review and Evidence Adjudication Workbench.
   Deterministic state is generated by Python. CSS represents state only. */
.decision-review-page { background: #070b10; }
.decision-review-page .site-main { overflow: clip; }

.drv-hero {
  position: relative;
  padding: clamp(5rem, 9vw, 8.5rem) 0 clamp(3rem, 6vw, 5.5rem);
  border-bottom: 1px solid #22313a;
  background:
    linear-gradient(rgba(74, 197, 209, .035) 1px, transparent 1px),
    linear-gradient(90deg, rgba(74, 197, 209, .035) 1px, transparent 1px),
    radial-gradient(circle at 78% 18%, rgba(27, 142, 157, .18), transparent 33%),
    radial-gradient(circle at 10% 90%, rgba(217, 154, 49, .10), transparent 30%),
    #070c12;
  background-size: 32px 32px, 32px 32px, auto, auto, auto;
}
.drv-hero::after {
  content: "";
  position: absolute;
  inset: 0;
  pointer-events: none;
  background: linear-gradient(115deg, transparent 0 47%, rgba(93, 220, 231, .055) 47.1% 47.3%, transparent 47.4% 100%);
}
.drv-hero-grid {
  position: relative;
  z-index: 1;
  display: grid;
  grid-template-columns: minmax(0, 1.55fr) minmax(270px, .65fr);
  gap: clamp(2rem, 5vw, 5rem);
  align-items: end;
}
.drv-hero h1 {
  max-width: 19ch;
  margin: .35rem 0 1.25rem;
  color: #f1f5f6;
  font-size: clamp(2.55rem, 6.3vw, 6.4rem);
  line-height: .88;
  letter-spacing: -.055em;
}
.drv-hero h1 span { color: #5fd3dc; }
.drv-hero .hero-lede { max-width: 68rem; color: #aab8bd; font-size: clamp(1rem, 1.35vw, 1.25rem); line-height: 1.72; }
.drv-hero-principle {
  max-width: 68rem;
  margin-top: 1.5rem;
  padding: .85rem 1rem;
  border-left: 3px solid #e2ad4c;
  color: #e8c77f;
  background: rgba(194, 132, 37, .08);
  font: 650 .72rem/1.55 var(--mono);
  letter-spacing: .055em;
}
.drv-hero-status {
  display: grid;
  gap: 1px;
  border: 1px solid #2b414a;
  background: #263943;
  box-shadow: 0 1.25rem 4rem rgba(0,0,0,.22);
}
.drv-hero-status > div {
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 1rem;
  padding: .8rem .9rem;
  background: rgba(7, 15, 21, .96);
}
.drv-hero-status span { color: #7f949d; font: 600 .66rem/1.35 var(--mono); text-transform: uppercase; letter-spacing: .04em; }
.drv-hero-status strong { color: #eef4f5; font: 700 .69rem/1.35 var(--mono); text-align: right; overflow-wrap: anywhere; }

.drv-boundary { border-bottom: 1px solid #22313a; background: #0b1218; }
.drv-boundary-grid {
  display: grid;
  grid-template-columns: auto 1fr auto;
  gap: 1rem;
  align-items: center;
  padding-top: .75rem;
  padding-bottom: .75rem;
  color: #91a2aa;
  font-size: .76rem;
}
.drv-boundary strong { color: #e3b65f; font: 700 .68rem/1.3 var(--mono); letter-spacing: .06em; }
.drv-boundary .mono { color: #70d0d8; font-size: .64rem; }

.drv-workbench {
  --drv-panel: #091017;
  --drv-panel-alt: #0c151c;
  --drv-panel-dark: #070c11;
  --drv-line: #25343d;
  --drv-line-strong: #344c57;
  --drv-text: #e3ebed;
  --drv-muted: #8598a1;
  --drv-cyan: #55c9d4;
  --drv-cyan-soft: #83dbe2;
  --drv-amber: #e6b24d;
  --drv-red: #da6471;
  --drv-green: #66c596;
  color: var(--drv-text);
  background: #060a0f;
}
.drv-commandbar {
  position: sticky;
  top: var(--site-header-height, 0px);
  z-index: 25;
  display: grid;
  grid-template-columns: minmax(240px, .9fr) minmax(480px, 1.8fr) auto;
  gap: 1px;
  min-height: 74px;
  border-bottom: 1px solid var(--drv-line-strong);
  background: #1c2b33;
  box-shadow: 0 .85rem 2rem rgba(0,0,0,.18);
}
.drv-commandbar > div { padding: .75rem 1rem; background: #091118; }
.drv-command-identity { min-width: 0; }
.drv-command-identity strong,
.drv-command-identity > span { display: block; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.drv-command-identity strong { margin-top: .18rem; color: #f2f6f7; font: 700 .78rem/1.3 var(--mono); }
.drv-command-identity .mono { color: #71cdd5; font-size: .64rem; }
.drv-command-state { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 1px; padding: 0 !important; background: #1e3039 !important; }
.drv-command-state span { min-width: 0; padding: .75rem .85rem; background: #0a1219; }
.drv-command-state b,
.drv-command-state em { display: block; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.drv-command-state b { color: #72868f; font: 650 .61rem/1.2 var(--mono); text-transform: uppercase; letter-spacing: .05em; }
.drv-command-state em { margin-top: .23rem; color: #e2eaec; font: normal 650 .68rem/1.35 var(--mono); }
.drv-command-actions { display: flex; gap: .45rem; align-items: center; justify-content: flex-end; white-space: nowrap; }
.drv-command-actions .button { min-height: 38px; padding: .55rem .72rem; font-size: .66rem; }

.drv-layout {
  display: grid;
  grid-template-columns: minmax(260px, 320px) minmax(600px, 1fr) minmax(250px, 310px);
  min-height: 900px;
  border-bottom: 1px solid var(--drv-line);
}
.drv-controls,
.drv-inspector { min-width: 0; background: #081017; }
.drv-controls { border-right: 1px solid var(--drv-line); }
.drv-inspector { border-left: 1px solid var(--drv-line); }
.drv-center { min-width: 0; background: #070d12; }
.drv-panel-heading,
.drv-section-heading {
  display: flex;
  gap: .8rem;
  align-items: flex-start;
  justify-content: space-between;
  padding: 1rem;
  border-bottom: 1px solid var(--drv-line);
}
.drv-panel-heading > .mono { color: var(--drv-cyan); font-size: .68rem; }
.drv-panel-heading h2,
.drv-section-heading h2 { margin: .1rem 0 0; color: #eff4f5; font-size: .95rem; line-height: 1.25; }
.drv-section-heading .mono { color: var(--drv-cyan); font-size: .68rem; }

.drv-controls form { padding: 0 1rem 1rem; }
.drv-controls fieldset { margin: 1rem 0 0; padding: 0; border: 0; }
.drv-controls legend { width: 100%; padding: 0 0 .45rem; border-bottom: 1px solid #263943; color: #b8c5ca; font: 700 .66rem/1.3 var(--mono); text-transform: uppercase; letter-spacing: .055em; }
.drv-controls label { display: grid; gap: .35rem; margin-top: .75rem; }
.drv-controls label > span { color: #81939b; font: 600 .64rem/1.35 var(--mono); }
.drv-controls input,
.drv-controls select,
.drv-controls textarea {
  width: 100%;
  min-height: 40px;
  padding: .62rem .7rem;
  border: 1px solid #2c4049;
  border-radius: 0;
  color: #e3ebed;
  background: #0a151c;
  font: 500 .75rem/1.45 var(--mono);
}
.drv-controls textarea { resize: vertical; min-height: 7rem; font-family: var(--sans); font-size: .8rem; }
.drv-controls input:focus,
.drv-controls select:focus,
.drv-controls textarea:focus { outline: 2px solid #fff; outline-offset: 2px; border-color: var(--drv-cyan); }
.drv-controls small { display: block; margin-top: .45rem; color: #71838c; font-size: .68rem; line-height: 1.5; }
.drv-form-actions { display: grid; grid-template-columns: 1fr auto; gap: .5rem; margin-top: 1rem; }

.drv-source-verification {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 1px;
  border-bottom: 1px solid var(--drv-line);
  background: #1e3038;
}
.drv-source-verification span { min-width: 0; padding: .65rem .75rem; background: #091219; }
.drv-source-verification b,
.drv-source-verification em { display: block; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.drv-source-verification b { color: #6f838c; font: 650 .59rem/1.2 var(--mono); }
.drv-source-verification em { margin-top: .2rem; color: #dce7e9; font: normal 650 .67rem/1.3 var(--mono); }

.drv-inspections,
.drv-evidence { border-bottom: 1px solid var(--drv-line); }
.drv-inspection-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 1px; background: #1e3038; }
.drv-inspection-card {
  position: relative;
  display: grid;
  grid-template-columns: 24px 1fr;
  grid-template-rows: auto auto;
  gap: .2rem .7rem;
  min-height: 112px;
  padding: .85rem;
  background: #091219;
  cursor: pointer;
}
.drv-inspection-card input { position: absolute; opacity: 0; pointer-events: none; }
.drv-checkmark {
  grid-row: 1 / 3;
  display: grid;
  place-items: center;
  width: 22px;
  height: 22px;
  border: 1px solid #3b515b;
  background: #070d12;
}
.drv-checkmark::after { content: ""; width: 9px; height: 5px; border-left: 2px solid #071013; border-bottom: 2px solid #071013; transform: rotate(-45deg); opacity: 0; }
.drv-inspection-card input:checked + .drv-checkmark { border-color: var(--drv-cyan); background: var(--drv-cyan); }
.drv-inspection-card input:checked + .drv-checkmark::after { opacity: 1; }
.drv-inspection-card input:focus-visible + .drv-checkmark { outline: 2px solid #fff; outline-offset: 3px; }
.drv-inspection-card strong { color: #e5edef; font: 700 .67rem/1.35 var(--mono); text-transform: uppercase; }
.drv-inspection-card small { color: #84969e; font-size: .71rem; line-height: 1.5; }

.drv-table-wrap { overflow: auto; max-width: 100%; scrollbar-width: thin; }
.drv-table-wrap table { width: 100%; min-width: 700px; border-collapse: collapse; }
.drv-table-wrap caption { padding: .7rem .9rem; color: #7f939b; background: #081017; text-align: left; font: 600 .64rem/1.35 var(--mono); }
.drv-table-wrap th,
.drv-table-wrap td { padding: .68rem .8rem; border: 1px solid #23333c; color: #aebcc1; font-size: .72rem; line-height: 1.45; text-align: left; vertical-align: top; }
.drv-table-wrap thead th { position: sticky; top: 0; z-index: 1; color: #dce7e9; background: #101a21; font: 700 .63rem/1.35 var(--mono); text-transform: uppercase; letter-spacing: .035em; }
.drv-table-wrap tbody th { color: #74ced6; background: #091219; font-weight: 650; }
.drv-table-wrap tbody th small { display: block; margin-top: .25rem; color: #8d9fa6; font-family: var(--sans); font-weight: 500; }
.drv-table-wrap input[type="checkbox"] { width: 18px; height: 18px; accent-color: var(--drv-cyan); }

.drv-tabs-shell { background: #070d12; }
.drv-tabs { display: flex; overflow-x: auto; border-bottom: 1px solid var(--drv-line); background: #091219; scrollbar-width: thin; }
.drv-tabs button {
  flex: 0 0 auto;
  min-height: 47px;
  padding: .75rem 1rem;
  border: 0;
  border-right: 1px solid var(--drv-line);
  border-bottom: 2px solid transparent;
  color: #8da0a8;
  background: transparent;
  font: 700 .63rem/1.2 var(--mono);
  text-transform: uppercase;
  letter-spacing: .04em;
  cursor: pointer;
}
.drv-tabs button[aria-selected="true"] { color: #f0f5f6; border-bottom-color: var(--drv-cyan); background: #0d171e; }
.drv-tabs button:focus-visible { outline: 2px solid #fff; outline-offset: -3px; }
.drv-tabpanel { min-height: 360px; padding: 1rem; }
.drv-tabpanel[hidden] { display: none; }
.drv-tabpanel .drv-table-wrap { margin: -1rem; }

.drv-event-log { display: grid; gap: 1px; margin: 0; padding: 0; list-style: none; background: #20323b; }
.drv-event-log li { display: grid; grid-template-columns: 70px minmax(0, 1fr) minmax(120px, auto) 110px; gap: .75rem; align-items: start; padding: .7rem .8rem; background: #091219; }
.drv-event-log time,
.drv-event-log code,
.drv-event-log .mono { color: #7fcfd6; font: 600 .63rem/1.45 var(--mono); }
.drv-event-log strong { display: block; color: #e5edef; font-size: .76rem; }
.drv-event-log p { margin: .2rem 0 0; color: #8fa0a7; font-size: .72rem; line-height: 1.45; }
.drv-event-log code { color: #d9ae5a; overflow-wrap: anywhere; }
.drv-event-log .mono { color: #71838b; }

.drv-lineage-grid,
.drv-review-grid,
.drv-mode-grid { display: grid; gap: 1px; background: #20323b; }
.drv-lineage-grid { grid-template-columns: repeat(3, minmax(0, 1fr)); }
.drv-review-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
.drv-mode-grid { grid-template-columns: repeat(3, minmax(0, 1fr)); }
.drv-lineage-grid article,
.drv-review-grid article,
.drv-mode-grid article { min-width: 0; padding: 1rem; background: #091219; }
.drv-lineage-grid span,
.drv-review-grid dt { color: #7f929a; font: 600 .63rem/1.35 var(--mono); text-transform: uppercase; }
.drv-lineage-grid strong { display: block; margin-top: .35rem; color: #e4edef; overflow-wrap: anywhere; }
.drv-review-grid h2 { margin: .3rem 0 .55rem; color: #e9f0f1; font-size: 1.08rem; }
.drv-review-grid p { color: #93a4ab; line-height: 1.58; }
.drv-review-grid dl { display: grid; gap: 1px; margin: 1rem 0 0; background: #20313a; }
.drv-review-grid dl div { display: grid; grid-template-columns: 1fr auto; gap: 1rem; padding: .55rem; background: #0c151c; }
.drv-review-grid dd { margin: 0; color: #e5edef; font: 650 .65rem/1.35 var(--mono); text-align: right; }
.drv-result-box { margin-top: 1rem; padding: 1rem; border: 1px solid #2d424b; background: #0b151c; }
.drv-result-box h3 { color: #e7eef0; }
.drv-result-box p { color: #95a5ac; }
.drv-result-box pre { max-height: 22rem; overflow: auto; }

.drv-accessible { max-width: 72rem; padding: 1rem; border-left: 3px solid var(--drv-cyan); background: #0a141b; }
.drv-accessible h2,
.drv-accessible h3 { color: #eaf0f1; }
.drv-accessible p,
.drv-accessible li { color: #a3b1b6; line-height: 1.65; }
.drv-raw { max-height: 520px; overflow: auto; padding: 1rem; border: 1px solid #263942; color: #b9c9ce; background: #050a0e; font: 500 .68rem/1.5 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere; }
.drv-verification-result { margin-top: .75rem; color: #b6c5ca; }

.drv-readiness-card,
.drv-blockers,
.drv-reviewer,
.drv-boundary-card,
.drv-proof-summary { margin: 1rem; padding: .9rem; border: 1px solid #2a3d46; background: #0a141b; }
.drv-readiness-card { border-left-width: 3px; }
.drv-readiness-card.is-ready { border-left-color: var(--drv-green); }
.drv-readiness-card.is-blocked { border-left-color: var(--drv-amber); }
.drv-readiness-card span,
.drv-readiness-card strong { display: block; }
.drv-readiness-card span { color: #71868f; font: 600 .62rem/1.3 var(--mono); text-transform: uppercase; }
.drv-readiness-card strong { margin-top: .35rem; color: #edf3f4; font: 700 .72rem/1.4 var(--mono); }
.drv-readiness-card p,
.drv-blockers li,
.drv-boundary-card li,
.drv-proof-summary p { color: #8fa0a7; font-size: .71rem; line-height: 1.5; }
.drv-blockers h3,
.drv-reviewer h3,
.drv-boundary-card h3,
.drv-proof-summary h3 { margin: 0 0 .65rem; color: #dce7e9; font-size: .82rem; }
.drv-blockers ul,
.drv-boundary-card ul { margin: 0; padding-left: 1.1rem; }
.drv-reviewer dl { display: grid; gap: 1px; margin: 0; background: #21343d; }
.drv-reviewer dl div { display: grid; grid-template-columns: 1fr auto; gap: .6rem; padding: .5rem; background: #0c151c; }
.drv-reviewer dt { color: #82949c; font-size: .66rem; }
.drv-reviewer dd { margin: 0; color: #e1e9eb; font: 650 .64rem/1.35 var(--mono); }
.drv-proof-summary strong { color: var(--drv-cyan); font-size: 1.6rem; }
.drv-proof-summary span { margin-left: .4rem; color: var(--drv-green); font: 700 .66rem/1.3 var(--mono); }

.drv-mode-grid { margin-top: 2rem; }
.drv-mode-grid article > span { color: #61cbd5; font-size: .62rem; }
.drv-mode-grid h3 { margin: .4rem 0 .55rem; color: #edf3f4; }
.drv-mode-grid p { color: #91a2a9; line-height: 1.6; }
.drv-mode-grid strong { display: block; margin-top: .9rem; color: #d6aa52; font: 700 .62rem/1.45 var(--mono); }

.drv-loading {
  position: fixed;
  z-index: 100;
  inset: 0;
  display: grid;
  place-items: center;
  padding: 1rem;
  background: rgba(3, 7, 10, .76);
  backdrop-filter: blur(5px);
}
.drv-loading[hidden] { display: none; }
.drv-loading > div { display: flex; gap: .8rem; align-items: center; padding: 1rem 1.2rem; border: 1px solid #3b5964; background: #0a141b; color: #e6eef0; font: 650 .72rem/1.4 var(--mono); }
.drv-spinner { width: 18px; height: 18px; border: 2px solid #2b4853; border-top-color: var(--drv-cyan); border-radius: 50%; animation: drv-spin .8s linear infinite; }
@keyframes drv-spin { to { transform: rotate(360deg); } }
.drv-toast { position: fixed; z-index: 120; right: 1rem; bottom: 1rem; max-width: 34rem; padding: .8rem 1rem; border: 1px solid var(--drv-cyan); color: #e9f0f1; background: #081118; box-shadow: 0 1rem 3rem rgba(0,0,0,.35); font-size: .78rem; }
.drv-toast[hidden] { display: none; }

@media (max-width: 1380px) {
  .drv-layout { grid-template-columns: 280px minmax(540px, 1fr) 270px; }
  .drv-commandbar { grid-template-columns: 260px 1fr; }
  .drv-command-actions { grid-column: 1 / -1; padding: .5rem 1rem !important; border-top: 1px solid #20333c; }
}
@media (max-width: 1080px) {
  .drv-hero-grid { grid-template-columns: 1fr; }
  .drv-layout { grid-template-columns: minmax(245px, 300px) minmax(0, 1fr); }
  .drv-inspector { grid-column: 1 / -1; display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); border-left: 0; border-top: 1px solid var(--drv-line); }
  .drv-inspector > .drv-panel-heading { grid-column: 1 / -1; }
  .drv-inspector > section,
  .drv-inspector > .drv-readiness-card { margin: .75rem; }
  .drv-inspection-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .drv-mode-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}
@media (max-width: 760px) {
  .drv-hero { padding-top: 4.25rem; }
  .drv-hero h1 { font-size: clamp(2.4rem, 15vw, 4.5rem); }
  .drv-boundary-grid { grid-template-columns: 1fr; }
  .drv-commandbar { position: static; grid-template-columns: 1fr; }
  .drv-command-state { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .drv-command-actions { justify-content: flex-start; overflow-x: auto; }
  .drv-layout { display: block; }
  .drv-controls { border-right: 0; border-bottom: 1px solid var(--drv-line); }
  .drv-inspector { display: block; }
  .drv-source-verification { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .drv-source-verification span:last-child { grid-column: 1 / -1; }
  .drv-inspection-grid { grid-template-columns: 1fr; }
  .drv-lineage-grid,
  .drv-review-grid,
  .drv-mode-grid { grid-template-columns: 1fr; }
  .drv-event-log li { grid-template-columns: 62px minmax(0, 1fr); }
  .drv-event-log code,
  .drv-event-log .mono { grid-column: 2; }
  .drv-tabpanel { min-height: 0; padding: .75rem; }
  .drv-tabpanel .drv-table-wrap { margin: -.75rem; }
  .drv-form-actions { grid-template-columns: 1fr; }
}
@media (max-width: 440px) {
  .drv-command-state { grid-template-columns: 1fr; }
  .drv-source-verification { grid-template-columns: 1fr; }
  .drv-source-verification span:last-child { grid-column: auto; }
  .drv-hero-status > div { grid-template-columns: 1fr; gap: .25rem; }
  .drv-hero-status strong { text-align: left; }
}
@media (prefers-reduced-motion: reduce) {
  .drv-spinner { animation: none; }
  .drv-toast { scroll-behavior: auto; }
}
@media (forced-colors: active) {
  .drv-checkmark,
  .drv-readiness-card,
  .drv-boundary-card,
  .drv-inspection-card,
  .drv-table-wrap th,
  .drv-table-wrap td { forced-color-adjust: auto; }
  .drv-inspection-card input:checked + .drv-checkmark::after { border-color: ButtonText; }
}