/* Authority-verification demonstrator (GB2617845.9) */
:root {
  --bg: #0f162a;
  --card: #1e293b;
  --teal: #26baa6;
  --cyan: #56e1d9;
  --text: #eef2f7;
  --muted: #9fb0c3;
  --line: #2c3a52;
  --amber: #d9a441;
  --red: #d96a6a;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: system-ui, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  line-height: 1.55;
}

.demo-banner {
  position: sticky;
  top: 0;
  z-index: 50;
  background: #12213b;
  border-bottom: 1px solid var(--teal);
  color: var(--cyan);
  padding: 12px 32px;
  font-size: 0.86rem;
  letter-spacing: 0.01em;
}

.masthead {
  padding: 40px 32px 8px;
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 16px;
  flex-wrap: wrap;
}
.masthead-actions { display: flex; align-items: center; gap: 12px; }
.masthead h1 {
  margin: 0;
  font-weight: 600;
  font-size: 1.7rem;
  text-transform: uppercase;
  letter-spacing: 0.04em;
}
.subtitle {
  margin: 6px 0 0;
  color: var(--muted);
}

.tabs {
  display: flex;
  gap: 8px;
  padding: 24px 32px 0;
  border-bottom: 1px solid var(--line);
}
.tab {
  background: transparent;
  color: var(--muted);
  border: none;
  border-bottom: 2px solid transparent;
  padding: 12px 18px;
  font-size: 0.98rem;
  cursor: pointer;
}
.tab:hover { color: var(--text); }
.tab.active {
  color: var(--cyan);
  border-bottom-color: var(--teal);
}

main { padding: 32px; max-width: 1080px; }

.panel { display: none; }
.panel.active { display: block; }

.card {
  background: var(--card);
  border: 1px solid var(--line);
  border-radius: 12px;
  padding: 24px 28px;
  margin-bottom: 24px;
}
.card h2 { margin: 0 0 8px; font-weight: 600; }
.card h3 { margin: 0 0 4px; font-weight: 600; font-size: 1.05rem; }

.lead { color: var(--muted); margin: 0 0 20px; max-width: 70ch; }
.hint { color: var(--muted); font-size: 0.85rem; }
.note-line { color: var(--muted); font-size: 0.88rem; margin: 14px 0 0; }

.controls {
  display: flex;
  align-items: center;
  gap: 22px;
  flex-wrap: wrap;
}
.toggle { display: flex; align-items: center; gap: 8px; cursor: pointer; }
.toggle input { accent-color: var(--teal); width: 16px; height: 16px; }

.btn {
  background: transparent;
  color: var(--cyan);
  border: 1px solid var(--teal);
  border-radius: 8px;
  padding: 10px 18px;
  font-size: 0.95rem;
  cursor: pointer;
}
.btn:hover { background: rgba(38, 186, 166, 0.12); }
.btn.primary { background: var(--teal); color: #06231f; border-color: var(--teal); font-weight: 600; }
.btn.primary:hover { background: var(--cyan); }
.btn:disabled { opacity: 0.4; cursor: not-allowed; }

.steps { display: flex; flex-direction: column; gap: 0; }
.step-head { display: flex; align-items: center; gap: 12px; margin-bottom: 14px; }
.step-num {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 28px; height: 28px;
  border-radius: 50%;
  background: var(--teal);
  color: #06231f;
  font-weight: 700;
}
.step.pending { opacity: 0.55; }

.kv {
  display: flex;
  gap: 16px;
  padding: 7px 0;
  border-bottom: 1px dashed var(--line);
}
.kv span:first-child { color: var(--muted); min-width: 170px; }
code { font-family: "SF Mono", Menlo, Consolas, monospace; color: var(--cyan); }
code.hash { word-break: break-all; font-size: 0.82rem; }

.blob {
  background: #131c30;
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 16px;
  color: var(--text);
  font-family: "SF Mono", Menlo, Consolas, monospace;
  font-size: 0.82rem;
  overflow-x: auto;
  white-space: pre-wrap;
}

.badge {
  display: inline-block;
  padding: 3px 12px;
  border-radius: 999px;
  font-size: 0.8rem;
  font-weight: 600;
}
.badge.live { background: rgba(38, 186, 166, 0.18); color: var(--cyan); }
.badge.shadow { background: rgba(159, 176, 195, 0.18); color: var(--muted); }
.badge.ok { background: rgba(38, 186, 166, 0.18); color: var(--cyan); }
.badge.bad { background: rgba(217, 106, 106, 0.2); color: var(--red); }

.grid { width: 100%; border-collapse: collapse; margin-top: 8px; }
.grid th, .grid td {
  text-align: left;
  padding: 9px 10px;
  border-bottom: 1px solid var(--line);
  font-size: 0.88rem;
}
.grid th { color: var(--muted); font-weight: 500; }
.grid td code { font-size: 0.78rem; }
.grid td.empty-cell { color: var(--muted); font-style: italic; text-align: center; }

.fabric { display: grid; grid-template-columns: 1fr 1fr; gap: 24px; }
@media (max-width: 820px) { .fabric { grid-template-columns: 1fr; } }

.endpoint.live { border-color: rgba(38, 186, 166, 0.5); }
.log { list-style: none; margin: 12px 0 0; padding: 0; max-height: 420px; overflow-y: auto; }
.log li {
  padding: 12px 14px;
  border: 1px solid var(--line);
  border-radius: 8px;
  margin-bottom: 10px;
  font-size: 0.86rem;
}
.log li .meta { color: var(--muted); font-size: 0.78rem; }
.log .empty { color: var(--muted); border-style: dashed; }

.exec-result { margin-left: 14px; color: var(--muted); font-size: 0.85rem; }

/* punch-list hardening */
.operator-note {
  color: var(--cyan);
  font-size: 0.82rem;
  margin: 10px 0 0;
  font-style: italic;
}
.placeholder { border-style: dashed; }

.btn:disabled, .btn.busy { opacity: 0.55; cursor: progress; }

.status-ok { color: var(--cyan); }
.status-bad { color: var(--red); }

.safety-row {
  display: flex;
  gap: 40px;
  flex-wrap: wrap;
  margin-top: 20px;
  padding-top: 16px;
  border-top: 1px solid var(--line);
}
.safety-row .stat-value.zero-good { color: var(--cyan); }
.safety-row .stat-value.violation { color: var(--red); }
#safety-note { margin-top: 12px; }

/* authority gate */
.control-label { color: var(--muted); font-size: 0.9rem; }

.factorial-grid {
  display: grid;
  grid-template-columns: 140px 1fr 1fr;
  gap: 12px;
  align-items: stretch;
  margin-top: 8px;
}
.fg-corner { }
.fg-colhead, .fg-rowhead {
  color: var(--muted);
  font-size: 0.9rem;
  display: flex;
  align-items: center;
}
.fg-colhead { justify-content: center; font-weight: 600; }
.fg-rowhead { font-weight: 600; }

.cell {
  background: #131c30;
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 16px;
  min-height: 96px;
  transition: border-color 0.2s ease;
}
.cell.active { border-color: var(--teal); }
.cell-rate { font-size: 1.5rem; font-weight: 600; color: var(--cyan); }
.cell-kn { color: var(--muted); font-size: 0.85rem; margin-top: 2px; }
.cell-bar {
  margin-top: 12px;
  height: 6px;
  background: var(--line);
  border-radius: 999px;
  overflow: hidden;
}
.cell-bar span {
  display: block;
  height: 100%;
  width: 0;
  background: var(--teal);
  transition: width 0.2s ease;
}

.verdict-row {
  display: flex;
  gap: 40px;
  flex-wrap: wrap;
  align-items: center;
}
.stat { display: flex; flex-direction: column; gap: 6px; }
.stat-label { color: var(--muted); font-size: 0.82rem; }
.stat-value { font-size: 1.4rem; font-weight: 600; color: var(--text); }

.badge.passed { background: rgba(38, 186, 166, 0.18); color: var(--cyan); }
.badge.flagged { background: rgba(217, 106, 106, 0.2); color: var(--red); }
.badge.awaiting { background: rgba(159, 176, 195, 0.18); color: var(--muted); }
#stat-verdict { font-size: 0.95rem; padding: 6px 16px; }

/* rolling lease */
.model-bar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
}
.model-bar code { font-size: 1rem; margin-left: 10px; }

.lease-card {
  background: var(--card);
  border: 1px solid var(--line);
  border-left-width: 4px;
  border-radius: 12px;
  padding: 20px 24px;
  margin-bottom: 18px;
}
.lease-card.state-ACTIVE { border-left-color: var(--teal); }
.lease-card.state-SUSPENDED { border-left-color: var(--amber); }
.lease-card.state-EXPIRED { border-left-color: var(--muted); }
.lease-card.state-REVOKED { border-left-color: var(--red); }

.lease-head {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 16px;
  flex-wrap: wrap;
  margin-bottom: 12px;
}
.lease-head h3 { margin: 0; }
.lease-state {
  padding: 4px 14px;
  border-radius: 999px;
  font-size: 0.82rem;
  font-weight: 600;
}
.lease-state.state-ACTIVE { background: rgba(38, 186, 166, 0.18); color: var(--cyan); }
.lease-state.state-SUSPENDED { background: rgba(217, 164, 65, 0.2); color: var(--amber); }
.lease-state.state-EXPIRED { background: rgba(159, 176, 195, 0.18); color: var(--muted); }
.lease-state.state-REVOKED { background: rgba(217, 106, 106, 0.2); color: var(--red); }

.countdown { font-size: 1.3rem; font-weight: 600; color: var(--text); }
.countdown.zero { color: var(--muted); }

.lease-meta { display: grid; grid-template-columns: 1fr 1fr; gap: 6px 24px; margin: 8px 0 16px; }
@media (max-width: 720px) { .lease-meta { grid-template-columns: 1fr; } }
.lease-meta .kv { border-bottom: none; padding: 4px 0; }
.lease-meta .kv span:first-child { min-width: 150px; }

.lease-actions { display: flex; gap: 12px; flex-wrap: wrap; align-items: center; }
.action-note { color: var(--muted); font-size: 0.85rem; }
.action-note.refused { color: var(--red); }
.action-note.allowed { color: var(--cyan); }

.sig-ok { color: var(--cyan); }
.sig-bad { color: var(--red); }