/* Hallmark · genre: modern-minimal · macrostructure: Workbench · theme: Ledger Night · enrichment: none · nav: N13 · footer: Ft5 · design-system: design.md · designed-as-app · contrast: pass (40–41) · slop: pass (42–45) · honest: pass (46) · chrome: pass (47) · tokens: pass (48) · responsive: pass (49) · icons: pass (30) · mobile: pass (34, 49, 50–57) */
/* Hallmark · pre-emit critique: P5 H5 E4 S5 R4 V5 */
/* Pre-emit critique: lead with the current decision, connect the proof stages, reduce green noise, and keep hashes behind disclosure. */
/* Ownership: app.css supplies structural primitives; this file owns the Ledger Night visual layer. */

/* Base surface ---------------------------------------------------------- */
html,
body.ledger-shell {
  overflow-x: clip;
}

.ledger-shell {
  --local-surface: var(--color-paper);
  background: var(--color-paper) !important;
  color: var(--color-ink) !important;
  isolation: isolate;
  max-width: 1360px;
  min-height: 100dvh;
  padding: var(--space-6) clamp(20px, 5vw, 72px) var(--space-20);
  position: relative;
}

.ledger-shell::before {
  background: none;
  content: none;
}

.ledger-shell h1,
.ledger-shell h2,
.ledger-shell h3,
.ledger-shell .brand,
.ledger-shell .panel-title,
.ledger-shell .button-link {
  font-family: var(--font-display);
  font-style: normal;
}

.ledger-shell p,
.ledger-shell li,
.ledger-shell dd,
.ledger-shell dt,
.ledger-shell button,
.ledger-shell input {
  font-family: var(--font-body);
}

.ledger-shell code,
.ledger-shell .eyebrow,
.ledger-shell .section-count,
.ledger-shell .version-label,
.ledger-shell .asset-label,
.ledger-shell .last-checked,
.ledger-shell .time,
.ledger-shell .hash-value,
.ledger-shell .reason-code,
.ledger-shell .panel-signal,
.ledger-shell .panel-foot,
.ledger-shell .snapshot-grid dt,
.ledger-shell .snapshot-grid dd,
.ledger-shell .method-grid > li > span,
.ledger-shell .read-list > li > span,
.ledger-shell .decision-plate-code,
.ledger-shell .hero-sequence,
.ledger-shell .command-status,
.ledger-shell .command-label {
  font-family: var(--font-data);
  font-variant-numeric: tabular-nums;
}

.ledger-shell a {
  color: var(--color-ink-2);
}

.ledger-shell a:focus-visible,
.ledger-shell summary:focus-visible,
.ledger-shell button:focus-visible,
.ledger-shell input:focus-visible {
  box-shadow: none;
  outline: 2px solid var(--color-focus);
  outline-offset: 3px;
}

.ledger-shell h1,
.ledger-shell h2,
.ledger-shell h3 {
  min-width: 0;
  overflow-wrap: anywhere;
}

.ledger-shell .skip-link {
  background: var(--color-accent);
  color: var(--color-accent-ink);
}

.ledger-shell .eyebrow {
  color: var(--color-ink-dim);
  font-size: 0.65rem;
  letter-spacing: 0.13em;
}

.ledger-shell .muted,
.ledger-shell .last-checked,
.ledger-shell .section-count {
  color: var(--color-ink-muted);
}

.ledger-shell code {
  color: var(--color-ink-2);
}

/* Navigation: N13 inline command palette ------------------------------- */
.ledger-shell .masthead {
  align-items: center;
  border-bottom: 1px solid var(--color-rule);
  gap: var(--space-5);
  min-height: 64px;
  padding: 0 0 var(--space-4);
}

.ledger-shell .brand {
  flex: 0 0 auto;
}

.ledger-shell .brand-logo-full {
  height: 40px;
  width: auto;
}

.ledger-shell .masthead-context {
  color: var(--color-ink-dim);
  font: 500 0.62rem var(--font-data);
  letter-spacing: 0.12em;
  margin-left: var(--space-2);
  margin-right: auto;
  text-transform: uppercase;
}

.ledger-shell .masthead nav {
  align-items: center;
  display: flex;
  flex: 0 0 auto;
  gap: var(--space-1);
}

.ledger-shell .masthead nav a {
  align-items: center;
  border: 1px solid transparent;
  border-radius: var(--radius-control);
  color: var(--color-ink-muted);
  display: inline-flex;
  font-size: 0.78rem;
  min-height: 44px;
  padding: 0 var(--space-3);
  line-height: 1;
  text-decoration: none;
  white-space: nowrap;
  transition: background-color var(--dur-short) var(--ease-out), color var(--dur-short) var(--ease-out), border-color var(--dur-short) var(--ease-out);
}

.ledger-shell .masthead nav a.active,
.ledger-shell .masthead nav a:hover {
  background: var(--color-accent-soft);
  border-color: var(--color-accent);
  color: var(--color-ink);
}

.ledger-shell .search-pill {
  align-items: center;
  background: var(--color-paper-2);
  border: 1px solid var(--color-rule-strong);
  border-radius: var(--radius-pill);
  color: var(--color-ink-muted);
  cursor: pointer;
  display: inline-flex;
  font: 500 0.73rem var(--font-body);
  gap: var(--space-3);
  min-height: 44px;
  padding: 0 var(--space-3) 0 var(--space-4);
  line-height: 1;
  white-space: nowrap;
  transition: background-color var(--dur-short) var(--ease-out), border-color var(--dur-short) var(--ease-out), color var(--dur-short) var(--ease-out), transform var(--dur-press) var(--ease-out);
}

.ledger-shell .search-pill kbd,
.ledger-shell .command-close,
.ledger-shell .command-options kbd {
  background: var(--color-paper-3);
  border: 1px solid var(--color-rule-strong);
  border-radius: var(--radius-control);
  color: var(--color-ink-dim);
  font: 500 0.62rem var(--font-data);
  line-height: 1;
  padding: var(--space-1) var(--space-2);
}

.ledger-shell .search-pill:hover {
  background: var(--color-paper-3);
  border-color: var(--color-accent);
  color: var(--color-ink);
  transform: translateY(-1px);
}

.ledger-shell .search-pill:active,
.ledger-shell .button-link:active,
.ledger-shell .trace-action:active,
.ledger-shell .copy-link:active,
.ledger-shell .command-close:active {
  transform: translateY(1px);
}

.ledger-shell .command-menu {
  background: var(--color-paper-2);
  border: 1px solid var(--color-rule-strong);
  border-radius: var(--radius-surface);
  color: var(--color-ink);
  margin: auto;
  max-height: min(80dvh, 620px);
  padding: var(--space-6);
  width: min(560px, calc(100% - 32px));
}

.ledger-shell .command-menu::backdrop {
  background: var(--color-backdrop);
}

html.command-is-open {
  overflow-x: clip;
  overflow-y: hidden;
}

.ledger-shell .command-menu[open] {
  animation: command-enter var(--dur-menu) var(--ease-out) both;
}

.ledger-shell .command-menu-head {
  align-items: start;
  display: flex;
  gap: var(--space-4);
  justify-content: space-between;
}

.ledger-shell .command-menu h2 {
  font-size: clamp(1.4rem, 3vw, 1.9rem);
  letter-spacing: -0.05em;
  line-height: 1;
  margin: var(--space-2) 0 0;
}

.ledger-shell .command-close {
  background: transparent;
  cursor: pointer;
  line-height: 1;
  min-height: 32px;
}

.ledger-shell .command-label {
  color: var(--color-ink-dim);
  display: block;
  font-size: 0.62rem;
  letter-spacing: 0.08em;
  margin: var(--space-6) 0 var(--space-2);
  text-transform: uppercase;
}

.ledger-shell .command-input {
  background: var(--color-paper);
  border: 1px solid var(--color-rule-strong);
  border-radius: var(--radius-control);
  color: var(--color-ink);
  font-size: 1rem;
  min-height: 48px;
  outline: 2px solid transparent;
  outline-offset: 1px;
  padding: 0 var(--space-4);
  width: 100%;
}

.ledger-shell .command-input:hover {
  background: var(--color-paper-3);
}

.ledger-shell .command-input:focus {
  border-color: var(--color-rule-strong);
}

.ledger-shell .command-status {
  color: var(--color-ink-dim);
  font-size: 0.62rem;
  margin: var(--space-3) 0 var(--space-2);
}

.ledger-shell .command-options {
  list-style: none;
  margin: 0;
  max-height: 340px;
  overflow: auto;
  padding: 0;
}

.ledger-shell .command-options li + li {
  border-top: 1px solid var(--color-rule);
}

.ledger-shell .command-options a {
  align-items: center;
  color: var(--color-ink);
  display: flex;
  gap: var(--space-4);
  justify-content: space-between;
  min-height: 64px;
  padding: var(--space-3) var(--space-2);
  text-decoration: none;
  transition: background-color var(--dur-short) var(--ease-out), color var(--dur-short) var(--ease-out);
}

.ledger-shell .command-options a:hover,
.ledger-shell .command-options a[data-active="true"] {
  background: var(--color-accent-soft);
  color: var(--color-ink);
}

.ledger-shell .command-options a > span {
  display: grid;
  gap: var(--space-1);
}

.ledger-shell .command-options b {
  font-family: var(--font-display);
  font-size: 0.94rem;
  font-weight: 600;
}

.ledger-shell .command-options small {
  color: var(--color-ink-muted);
  font-size: 0.72rem;
}

@keyframes command-enter {
  from { opacity: 0; transform: translateY(8px) scale(0.98); }
  to { opacity: 1; transform: translateY(0) scale(1); }
}

/* Home workbench -------------------------------------------------------- */
.ledger-shell .hero {
  align-items: end;
  border-bottom: 1px solid var(--color-rule);
  gap: clamp(40px, 8vw, 128px);
  grid-template-columns: minmax(0, 1.2fr) minmax(300px, 0.8fr);
  margin-bottom: 0;
  padding: clamp(var(--space-10), 4vw, 56px) 0 var(--space-20);
}

.ledger-shell .hero-copy {
  max-width: 680px;
}

.ledger-shell .hero-copy > .eyebrow {
  color: var(--color-accent-strong);
}

.ledger-shell .hero h1 {
  color: var(--color-ink);
  font-size: clamp(3.4rem, 6vw, 6rem);
  font-weight: 600;
  letter-spacing: -0.085em;
  line-height: 0.91;
  margin: var(--space-5) 0 var(--space-6);
  max-width: 10ch;
}

.ledger-shell .hero h1 span {
  color: var(--color-ink-muted);
}

.ledger-shell .lead {
  color: var(--color-ink-muted);
  font-size: 1.04rem;
  line-height: 1.68;
  max-width: 52ch;
}

.ledger-shell .hero-links {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-5);
  margin-top: var(--space-8);
}

.ledger-shell .button-link {
  align-items: center;
  background: var(--color-accent);
  border: 1px solid var(--color-accent);
  border-radius: var(--radius-control);
  color: var(--color-accent-ink);
  cursor: pointer;
  display: inline-flex;
  font: 600 0.82rem var(--font-body);
  gap: var(--space-3);
  min-height: 44px;
  padding: 0 var(--space-4);
  line-height: 1;
  text-decoration: none;
  white-space: nowrap;
  transition: background-color var(--dur-short) var(--ease-out), color var(--dur-short) var(--ease-out), transform var(--dur-press) var(--ease-out);
}

.ledger-shell .button-link:hover {
  background: var(--color-accent-strong);
  color: var(--color-accent-ink);
  transform: translateY(-1px);
}

.ledger-shell .button-link:disabled,
.ledger-shell .trace-action:disabled {
  cursor: wait;
  opacity: 0.55;
  transform: none;
}

.ledger-shell .hero-links .text-link,
.ledger-shell .side-link,
.ledger-shell .text-link {
  color: var(--color-ink-2);
  font-size: 0.82rem;
  text-underline-offset: 4px;
  transition: color var(--dur-short) var(--ease-out);
}

.ledger-shell .hero-links .text-link:hover,
.ledger-shell .side-link:hover,
.ledger-shell .text-link:hover {
  color: var(--color-accent-strong);
}

.ledger-shell .run-helper,
.ledger-shell .run-feedback {
  color: var(--color-ink-muted);
  font-size: 0.76rem;
}

.ledger-shell .run-helper-dot,
.ledger-shell .run-feedback-dot {
  background: var(--color-accent);
  box-shadow: none;
}

.ledger-shell .run-feedback {
  border-left-color: var(--color-rule-strong);
}

.ledger-shell .run-feedback[data-kind="success"] {
  color: var(--status-intact);
}

.ledger-shell .run-feedback[data-kind="error"] {
  color: var(--status-invalidated);
}

.ledger-shell .run-progress {
  border-top: 1px solid var(--color-rule);
  gap: var(--space-2);
  margin-top: var(--space-5);
  padding-top: var(--space-3);
}

.ledger-shell .run-progress-step {
  border-color: var(--color-rule);
  color: var(--color-ink-dim);
  font: 500 0.61rem var(--font-data);
  padding: var(--space-1) var(--space-2);
}

.ledger-shell .run-progress-step[data-state="active"] {
  border-color: var(--color-accent);
  color: var(--color-accent-strong);
}

.ledger-shell .run-progress-step[data-state="done"] {
  border-color: var(--color-rule-strong);
  color: var(--color-ink-muted);
}

.ledger-shell .run-progress-label {
  color: var(--color-ink-dim);
}

.ledger-shell .hero-sequence {
  align-items: center;
  border-top: 1px solid var(--color-rule);
  color: var(--color-ink-dim);
  display: flex;
  flex-wrap: wrap;
  font-size: 0.62rem;
  gap: var(--space-2);
  letter-spacing: 0.05em;
  margin-top: var(--space-8);
  padding-top: var(--space-3);
  text-transform: uppercase;
}

.ledger-shell .hero-sequence b {
  color: var(--color-accent-strong);
  font-weight: 500;
}

.ledger-shell .hero-panel {
  background: var(--color-paper-2);
  border: 1px solid var(--color-rule-strong);
  border-radius: var(--radius-surface);
  box-shadow: none;
  padding: var(--space-5);
}

.ledger-shell .hero-panel::before {
  background: var(--color-accent);
  height: 1px;
  left: var(--space-6);
  opacity: 1;
  right: var(--space-6);
}

.ledger-shell .panel-topline,
.ledger-shell .panel-foot {
  align-items: center;
  display: flex;
  gap: var(--space-3);
  justify-content: space-between;
}

.ledger-shell .panel-signal {
  color: var(--color-ink-muted);
}

.ledger-shell .panel-signal .signal-dot {
  background: var(--status-unknown);
  box-shadow: none;
}

.ledger-shell .panel-title {
  color: var(--color-ink);
  font-size: clamp(1.45rem, 2.7vw, 2.1rem);
  letter-spacing: -0.06em;
  line-height: 1;
  margin-top: var(--space-6);
  max-width: 11ch;
}

.ledger-shell .panel-featured {
  border-bottom: 1px solid var(--color-rule);
  border-left: 2px solid var(--color-accent);
  border-top: 1px solid var(--color-rule);
  margin: var(--space-4) 0;
  padding: var(--space-3) 0 var(--space-3) var(--space-4);
}

.ledger-shell .panel-featured-head {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-3);
  justify-content: space-between;
}

.ledger-shell .panel-featured-status {
  flex: 0 0 auto;
  font-size: 0.6rem;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.ledger-shell .panel-featured-status .dot {
  background: currentColor;
}

.ledger-shell .panel-featured-link {
  display: inline-flex;
  font-weight: 600;
  gap: var(--space-2);
  transition: color var(--dur-short) var(--ease-out), transform var(--dur-press) var(--ease-out);
}

.ledger-shell .panel-featured-link:hover {
  transform: translateX(2px);
}

.ledger-shell .panel-featured-label,
.ledger-shell .decision-plate-label {
  color: var(--color-ink-dim);
  font: 500 0.61rem var(--font-data);
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.ledger-shell .panel-featured p {
  color: var(--color-ink);
  font-family: var(--font-display);
  font-size: 0.98rem;
  letter-spacing: -0.025em;
  line-height: 1.3;
  margin: var(--space-2) 0 var(--space-3);
}

.ledger-shell .panel-featured a {
  color: var(--color-accent-strong);
  font-size: 0.75rem;
  text-underline-offset: 3px;
}

.ledger-shell .panel-foot {
  align-items: baseline;
  color: var(--color-ink-dim);
  font-size: 0.68rem;
  line-height: 1.45;
  padding-top: var(--space-3);
}

.ledger-shell .panel-foot span {
  max-width: 28ch;
}

.ledger-shell .panel-foot code {
  color: var(--color-ink-muted);
  white-space: nowrap;
}

/* Proof and record index ------------------------------------------------ */
.ledger-shell .proof-section,
.ledger-shell .demo-links-section {
  border-top: 1px solid var(--color-rule);
  gap: clamp(36px, 8vw, 120px);
  margin-top: var(--space-16);
  padding-top: var(--space-10);
}

.ledger-shell .proof-intro h2,
.ledger-shell .demo-links-section h2 {
  color: var(--color-ink);
  font-size: clamp(1.9rem, 3.4vw, 3.1rem);
  letter-spacing: -0.07em;
  line-height: 0.96;
  margin: var(--space-3) 0 var(--space-4);
  max-width: 10ch;
}

.ledger-shell .proof-intro > p:last-child {
  color: var(--color-ink-muted);
  max-width: 31ch;
}

.ledger-shell .proof-grid {
  gap: 0;
  position: relative;
}

.ledger-shell .proof-grid::before {
  border-top: 1px solid var(--color-rule-strong);
  content: "";
  left: 16px;
  position: absolute;
  right: 16px;
  top: var(--space-4);
}

.ledger-shell .proof-grid > li {
  border-left: 0;
  min-height: 176px;
  padding: var(--space-12) var(--space-3) 0;
  position: relative;
}

.ledger-shell .proof-grid > li:first-child {
  padding-left: 0;
}

.ledger-shell .proof-grid > li > span {
  align-items: center;
  background: var(--color-paper);
  border: 1px solid var(--color-accent);
  color: var(--color-accent-strong);
  display: grid;
  height: var(--space-8);
  justify-content: center;
  position: relative;
  width: var(--space-8);
  z-index: 1;
}

.ledger-shell .proof-grid strong {
  color: var(--color-ink);
  font-family: var(--font-display);
  font-size: 0.87rem;
  margin-top: var(--space-4);
}

.ledger-shell .proof-grid p {
  color: var(--color-ink-muted);
  font-size: 0.77rem;
}

.ledger-shell .proof-grid > li:nth-child(4) > span,
.ledger-shell .proof-grid > li:nth-child(5) > span {
  background: var(--color-paper-2);
  border-color: var(--color-accent-strong);
}

.ledger-shell .proof-grid > li:nth-child(4) strong,
.ledger-shell .proof-grid > li:nth-child(5) strong {
  font-size: 0.95rem;
}

.ledger-shell .recovery-banner {
  align-items: end;
  background: var(--color-paper-2);
  border: 1px solid var(--color-rule-strong);
  gap: var(--space-8);
  margin-top: var(--space-10);
  padding: var(--space-6);
}

.ledger-shell .recovery-banner h2 {
  color: var(--color-ink);
  font-size: clamp(1.45rem, 2.8vw, 2.2rem);
  letter-spacing: -0.06em;
  margin: var(--space-3) 0 var(--space-2);
}

.ledger-shell .recovery-banner p:last-child {
  color: var(--color-ink-muted);
}

.ledger-shell .recovery-rail {
  color: var(--color-ink-muted);
}

.ledger-shell .recovery-rail b {
  color: var(--color-accent-strong);
}

.ledger-shell .feed-section {
  border-top: 1px solid var(--color-rule);
  margin-top: var(--space-16);
  padding-top: var(--space-10);
}

.ledger-shell .section-heading h2,
.ledger-shell .section h2,
.ledger-shell .empty-state h2 {
  color: var(--color-ink);
  font-size: clamp(1.35rem, 2.5vw, 2rem);
  letter-spacing: -0.055em;
  margin: 0;
}

.ledger-shell .feed-layout {
  gap: clamp(28px, 5vw, 72px);
  grid-template-columns: minmax(0, 1fr);
  margin-top: var(--space-6);
}

.ledger-shell .feed-layout .cards {
  max-width: 900px;
  margin-top: 0;
}

.ledger-shell .card,
.ledger-shell .card:first-child:last-child {
  background: var(--color-paper-2);
  border: 1px solid var(--color-rule-strong);
  border-radius: var(--radius-surface);
  box-shadow: none;
  min-height: 270px;
  padding: var(--space-8);
  transition: border-color var(--dur-short) var(--ease-out), transform var(--dur-short) var(--ease-out);
}

.ledger-shell .card:hover {
  border-color: var(--color-accent);
  box-shadow: none;
  transform: translateY(-2px);
}

.ledger-shell .asset-label {
  color: var(--color-accent-strong);
}

.ledger-shell .version-label,
.ledger-shell .card-provenance {
  color: var(--color-ink-dim);
}

.ledger-shell .card h3 {
  font-size: clamp(1.45rem, 2.7vw, 2.2rem);
  letter-spacing: -0.065em;
  line-height: 1.07;
  margin: var(--space-10) 0 var(--space-6);
  max-width: 24ch;
}

.ledger-shell .card-link {
  color: var(--color-ink);
}

.ledger-shell .card-link:hover {
  color: var(--color-accent-strong);
}

.ledger-shell .status-pill {
  border-radius: var(--radius-pill);
  font-size: 0.65rem;
  padding: var(--space-2) var(--space-2);
}

.ledger-shell .status-intact {
  color: var(--status-intact);
}

.ledger-shell .status-weakened {
  color: var(--status-weakened);
}

.ledger-shell .status-invalidated {
  color: var(--status-invalidated);
}

.ledger-shell .status-unknown,
.ledger-shell .status-awaiting {
  color: var(--status-unknown);
}

.ledger-shell .status-expired {
  color: var(--status-expired);
}

.ledger-shell .card-footer {
  border-top-color: var(--color-rule);
}

.ledger-shell .card-arrow {
  color: var(--color-accent-strong);
}

.ledger-shell .feed-side {
  border-left-color: var(--color-rule-strong);
  padding: var(--space-4) 0 var(--space-4) var(--space-8);
}

.ledger-shell .feed-side h3 {
  color: var(--color-ink);
  font-size: clamp(1.45rem, 2.5vw, 2rem);
  letter-spacing: -0.06em;
  margin: 0 0 var(--space-8);
  max-width: 15ch;
}

.ledger-shell .read-list > li {
  border-top-color: var(--color-rule);
  padding: var(--space-4) 0;
}

.ledger-shell .read-list > li > span,
.ledger-shell .method-grid > li > span {
  color: var(--color-accent-strong);
}

.ledger-shell .read-list strong,
.ledger-shell .method-grid strong {
  color: var(--color-ink);
}

.ledger-shell .read-list p,
.ledger-shell .method-grid p {
  color: var(--color-ink-muted);
}

.ledger-shell .method-section {
  border-top-color: var(--color-rule);
  gap: clamp(36px, 8vw, 120px);
  margin-top: var(--space-20);
  padding-top: var(--space-10);
}

.ledger-shell .method-intro h2 {
  font-size: clamp(2rem, 3.8vw, 3.3rem);
  margin: 0 0 var(--space-4);
  max-width: 11ch;
}

.ledger-shell .method-intro > p:last-child {
  color: var(--color-ink-muted);
}

.ledger-shell .method-grid > li {
  border-left-color: var(--color-rule);
}

.ledger-shell .activity-section {
  border-top-color: var(--color-rule);
  margin-top: var(--space-20);
  padding-top: var(--space-10);
}

.ledger-shell .activity-list,
.ledger-shell .timeline {
  border-left-color: var(--color-rule-strong);
}

.ledger-shell .activity-marker,
.ledger-shell .timeline-event::before {
  background: var(--status-unknown);
  box-shadow: 0 0 0 5px var(--color-paper);
}

.ledger-shell .demo-links-section {
  margin-top: var(--space-20);
}

.ledger-shell .demo-link-card {
  background: var(--color-paper-2);
  border: 1px solid var(--color-rule);
  color: var(--color-ink);
  min-height: 124px;
  padding: var(--space-5);
  text-decoration: none;
  transition: background-color var(--dur-short) var(--ease-out), border-color var(--dur-short) var(--ease-out), transform var(--dur-short) var(--ease-out);
}

.ledger-shell .demo-link-card:hover {
  background: var(--color-paper-3);
  border-color: var(--color-accent);
  transform: translateY(-2px);
}

.ledger-shell .demo-link-card strong {
  color: var(--color-ink);
  font-family: var(--font-display);
}

.ledger-shell .demo-link-card strong span {
  color: var(--color-accent-strong);
}

.ledger-shell .demo-link-card > span {
  color: var(--color-ink-muted);
}

/* Thesis workbench ------------------------------------------------------ */
.ledger-shell .callout,
.ledger-shell .empty-state {
  background: var(--color-paper-2);
  border: 1px solid var(--color-rule-strong);
  border-radius: var(--radius-surface);
  margin-top: var(--space-6);
}

.ledger-shell .callout.synthetic,
.ledger-shell .empty-state {
  background: var(--status-unknown-soft);
  border-left: 3px solid var(--status-unknown);
}

.ledger-shell .callout {
  align-items: start;
  display: grid;
  gap: var(--space-2) var(--space-6);
  grid-template-columns: max-content minmax(0, 1fr);
  padding: var(--space-4) var(--space-5);
}

.ledger-shell .callout-label {
  color: var(--status-unknown);
  font: 500 0.62rem var(--font-data);
  letter-spacing: 0.1em;
  line-height: 1.5;
  text-transform: uppercase;
}

.ledger-shell .callout p {
  color: var(--color-ink-2);
  font-size: 0.84rem;
  line-height: 1.5;
  margin: 0;
}

.ledger-shell .callout.retrospective {
  background: var(--status-expired-soft);
  border-left-color: var(--status-expired);
}

.ledger-shell .callout.retrospective .callout-label {
  color: var(--status-expired);
}

.ledger-shell main > .section {
  max-width: 1080px;
}

.ledger-shell .section:not(.section-first),
.ledger-shell .activity-section {
  border-top-color: var(--color-rule);
  margin-top: var(--space-16);
  padding-top: var(--space-10);
}

.ledger-shell .section-first {
  margin-top: var(--space-10);
  padding-top: 0;
}

.ledger-shell .decision-plate {
  background: var(--color-paper-2);
  border: 1px solid var(--color-rule-strong);
  border-top: 2px solid var(--color-accent);
  padding: clamp(var(--space-6), 5vw, var(--space-10));
}

.ledger-shell .decision-plate-head {
  align-items: start;
  display: flex;
  gap: var(--space-5);
  justify-content: space-between;
}

.ledger-shell .decision-plate-status {
  align-items: center;
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-3);
  justify-content: flex-end;
}

.ledger-shell .decision-plate-context {
  align-items: center;
  background: var(--status-unknown-soft);
  border: 1px solid var(--status-unknown);
  border-radius: var(--radius-pill);
  color: var(--status-unknown);
  display: inline-flex;
  font: 500 0.6rem var(--font-data);
  letter-spacing: 0.06em;
  min-height: 28px;
  padding: 0 var(--space-3);
  text-transform: uppercase;
  white-space: nowrap;
}

.ledger-shell .decision-plate-context.retrospective {
  background: var(--status-expired-soft);
  border-color: var(--status-expired);
  color: var(--status-expired);
}

.ledger-shell .decision-plate .section-kicker {
  align-items: baseline;
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-3);
  justify-content: flex-start;
}

.ledger-shell .decision-plate-code {
  color: var(--color-ink-dim);
  font-size: 0.62rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  white-space: nowrap;
}

.ledger-shell .decision-plate .eyebrow {
  color: var(--color-accent-strong);
}

.ledger-shell .decision-plate-body {
  align-items: end;
  display: grid;
  gap: clamp(var(--space-8), 8vw, var(--space-16));
  grid-template-columns: minmax(0, 1.18fr) minmax(250px, 0.82fr);
  margin-top: var(--space-8);
}

.ledger-shell .decision-plate-label {
  color: var(--color-ink-muted);
  display: block;
  margin-bottom: var(--space-3);
}

.ledger-shell .page-title {
  color: var(--color-ink);
  font-size: clamp(3rem, 7vw, 6rem);
  letter-spacing: -0.09em;
  line-height: 0.91;
  margin: 0;
  max-width: 13ch;
}

.ledger-shell .status-word {
  color: var(--color-accent-strong);
  text-decoration: none;
}

.ledger-shell .status-word.status-intact {
  color: var(--status-intact);
}

.ledger-shell .status-word.status-weakened {
  color: var(--status-weakened);
}

.ledger-shell .status-word.status-invalidated {
  color: var(--status-invalidated);
}

.ledger-shell .status-word.status-unknown,
.ledger-shell .status-word.status-awaiting {
  color: var(--status-unknown);
}

.ledger-shell .status-word.status-expired {
  color: var(--status-expired);
}

.ledger-shell .banner {
  align-items: center;
  background: var(--color-paper);
  border: 1px solid currentColor;
  border-radius: var(--radius-control);
  display: flex;
  gap: var(--space-3);
  margin-top: var(--space-8);
  min-height: 56px;
  padding: var(--space-3) var(--space-4);
}

.ledger-shell .banner-intact { background: var(--status-intact-soft); color: var(--status-intact); }
.ledger-shell .banner-weakened { background: var(--status-weakened-soft); color: var(--status-weakened); }
.ledger-shell .banner-invalidated { background: var(--status-invalidated-soft); color: var(--status-invalidated); }
.ledger-shell .banner-unknown { background: var(--status-unknown-soft); color: var(--status-unknown); }
.ledger-shell .banner-expired { background: var(--status-expired-soft); color: var(--status-expired); }

.ledger-shell .banner-indicator {
  box-shadow: none;
}

.ledger-shell .banner-copy {
  align-items: baseline;
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-2);
}

.ledger-shell .banner-copy strong {
  font-family: var(--font-data);
  font-size: 0.7rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.ledger-shell .snapshot-grid {
  background: transparent;
  border: 0;
  border-bottom: 1px solid var(--color-rule);
  border-top: 1px solid var(--color-rule);
  gap: 0;
  grid-template-columns: 1fr;
  margin-top: var(--space-8);
}

.ledger-shell .snapshot-grid > div {
  background: transparent;
  min-height: 112px;
  padding: var(--space-5) var(--space-4);
}

.ledger-shell .snapshot-grid > div + div {
  border-left: 0;
  border-top: 1px solid var(--color-rule);
}

.ledger-shell .decision-plate .snapshot-grid {
  margin-top: 0;
}

.ledger-shell .decision-plate .snapshot-grid > div:first-child {
  border-top: 0;
}

.ledger-shell .snapshot-grid dt {
  color: var(--color-ink-dim);
  font-size: 0.61rem;
}

.ledger-shell .snapshot-grid dd {
  color: var(--color-ink);
  font-family: var(--font-display);
  font-size: 1.26rem;
  margin-top: var(--space-3);
}

.ledger-shell .snapshot-grid small {
  color: var(--color-ink-muted);
}

.ledger-shell .archive-section {
  background: var(--color-paper-2);
  border: 1px solid var(--color-rule-strong);
  margin-top: var(--space-16);
  padding: var(--space-6);
}

.ledger-shell .archive-section .evidence-section-intro {
  color: var(--color-ink-muted);
  max-width: 68ch;
}

.ledger-shell .archive-section details:first-of-type {
  border-top: 1px solid var(--color-rule);
  margin-top: var(--space-6);
  padding-top: var(--space-4);
}

.ledger-shell .state-note {
  color: var(--color-ink-muted);
}

.ledger-shell .state-note-warning {
  border-left-color: var(--status-weakened);
}

.ledger-shell .state-note-danger {
  border-left-color: var(--status-invalidated);
}

.ledger-shell .state-note strong {
  color: var(--color-ink);
}

/* Connected decision trace --------------------------------------------- */
.ledger-shell .decision-trace {
  margin-top: var(--space-20);
}

.ledger-shell .trace-action,
.ledger-shell .copy-link {
  background: transparent;
  border: 1px solid var(--color-rule-strong);
  border-radius: var(--radius-control);
  color: var(--color-ink-2);
  cursor: pointer;
  font: 600 0.74rem var(--font-body);
  min-height: 44px;
  padding: 0 var(--space-3);
  line-height: 1;
  white-space: nowrap;
  transition: border-color var(--dur-short) var(--ease-out), color var(--dur-short) var(--ease-out), transform var(--dur-press) var(--ease-out);
}

.ledger-shell .trace-action:hover,
.ledger-shell .copy-link:hover {
  border-color: var(--color-accent);
  color: var(--color-accent-strong);
  transform: translateY(-1px);
}

.ledger-shell .trace-action-status[data-kind="success"] {
  color: var(--status-intact);
}

.ledger-shell .trace-action-status[data-kind="error"] {
  color: var(--status-invalidated);
}

.ledger-shell .trace-intro {
  color: var(--color-ink-muted);
  max-width: 76ch;
}

.ledger-shell .trace-steps {
  gap: 0;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  margin-top: var(--space-8);
  position: relative;
}

.ledger-shell .trace-steps::before {
  border-top: 1px solid var(--color-rule-strong);
  content: "";
  left: 16px;
  position: absolute;
  right: 16px;
  top: var(--space-4);
}

.ledger-shell .trace-step {
  background: transparent;
  border-left: 1px solid var(--color-rule);
  display: block;
  min-height: 205px;
  padding: var(--space-12) var(--space-4) 0;
  position: relative;
}

.ledger-shell .trace-step:first-child {
  border-left: 0;
  padding-left: 0;
}

.ledger-shell .trace-step > div {
  background: transparent;
}

.ledger-shell .trace-step-number {
  align-items: center;
  background: var(--color-paper);
  border: 1px solid var(--color-accent);
  color: var(--color-accent-strong);
  display: grid;
  height: var(--space-8);
  justify-content: center;
  left: var(--space-4);
  position: absolute;
  top: 0;
  width: var(--space-8);
  z-index: 1;
}

.ledger-shell .trace-step:first-child .trace-step-number {
  left: 0;
}

.ledger-shell .trace-step-kicker {
  color: var(--color-ink-dim);
}

.ledger-shell .trace-step h3 {
  color: var(--color-ink);
  font-size: 1.12rem;
  margin: var(--space-2) 0 var(--space-3);
}

.ledger-shell .trace-step p {
  color: var(--color-ink-muted);
}

.ledger-shell .trace-step-input h3,
.ledger-shell .trace-step-decision h3,
.ledger-shell .trace-step-record h3 {
  font-size: 1.25rem;
}

.ledger-shell .trace-step-input .trace-step-number,
.ledger-shell .trace-step-decision .trace-step-number,
.ledger-shell .trace-step-record .trace-step-number {
  background: var(--color-paper-2);
  border-color: var(--color-accent-strong);
}

.ledger-shell .trace-step-decision > div,
.ledger-shell .trace-step-record > div {
  border-top: 1px solid var(--color-rule-strong);
  padding-top: var(--space-3);
}

.ledger-shell .trace-step-decision > div {
  border-top-width: 2px;
}

.ledger-shell .trace-step-decision.trace-status-intact > div,
.ledger-shell .trace-step-decision.trace-status-intact .trace-step-number {
  border-color: var(--status-intact);
}

.ledger-shell .trace-step-decision.trace-status-intact .trace-step-number {
  background: var(--status-intact-soft);
  color: var(--status-intact);
}

.ledger-shell .trace-step-decision.trace-status-weakened > div,
.ledger-shell .trace-step-decision.trace-status-weakened .trace-step-number {
  border-color: var(--status-weakened);
}

.ledger-shell .trace-step-decision.trace-status-weakened .trace-step-number {
  background: var(--status-weakened-soft);
  color: var(--status-weakened);
}

.ledger-shell .trace-step-decision.trace-status-invalidated > div,
.ledger-shell .trace-step-decision.trace-status-invalidated .trace-step-number {
  border-color: var(--status-invalidated);
}

.ledger-shell .trace-step-decision.trace-status-invalidated .trace-step-number {
  background: var(--status-invalidated-soft);
  color: var(--status-invalidated);
}

.ledger-shell .trace-step-decision.trace-status-unknown > div,
.ledger-shell .trace-step-decision.trace-status-unknown .trace-step-number,
.ledger-shell .trace-step-decision.trace-status-awaiting > div,
.ledger-shell .trace-step-decision.trace-status-awaiting .trace-step-number {
  border-color: var(--status-unknown);
}

.ledger-shell .trace-step-decision.trace-status-unknown .trace-step-number,
.ledger-shell .trace-step-decision.trace-status-awaiting .trace-step-number {
  background: var(--status-unknown-soft);
  color: var(--status-unknown);
}

.ledger-shell .trace-step-decision.trace-status-expired > div,
.ledger-shell .trace-step-decision.trace-status-expired .trace-step-number {
  border-color: var(--status-expired);
}

.ledger-shell .trace-step-decision.trace-status-expired .trace-step-number {
  background: var(--status-expired-soft);
  color: var(--status-expired);
}

.ledger-shell .trace-step-record > div {
  border-top-color: var(--color-accent);
}

.ledger-shell .trace-code,
.ledger-shell .inspector-bundle-hash,
.ledger-shell .source-arguments {
  color: var(--color-ink-2);
  font: 500 0.61rem var(--font-data);
}

.ledger-shell .cause-card {
  background: var(--color-paper-2);
  border: 1px solid var(--color-rule-strong);
  border-left-width: 1px;
  margin-top: var(--space-6);
  padding: var(--space-6);
}

.ledger-shell .cause-summary {
  color: var(--color-ink);
  font-family: var(--font-display);
  font-size: 1.08rem;
}

.ledger-shell .cause-trigger-row code {
  color: var(--color-accent-strong);
}

.ledger-shell .trace-change-list,
.ledger-shell .trace-change {
  border-color: var(--color-rule);
}

.ledger-shell .evidence-inspector {
  border-bottom-color: var(--color-rule);
  margin-top: var(--space-6);
}

.ledger-shell .evidence-inspector:first-of-type,
.ledger-shell .evidence-inspector summary {
  border-top-color: var(--color-rule);
}

.ledger-shell .evidence-inspector summary {
  color: var(--color-ink-2);
  font-size: 0.84rem;
  padding: var(--space-4) 0;
}

.ledger-shell .evidence-inspector-body {
  padding: var(--space-4) 0 var(--space-2);
}

.ledger-shell .evidence-section-intro {
  color: var(--color-ink-muted);
  font-size: 0.82rem;
  line-height: 1.58;
  margin: var(--space-3) 0 var(--space-2);
  max-width: 68ch;
}

.ledger-shell .source-card {
  background: var(--color-paper-2);
  border-color: var(--color-rule);
}

.ledger-shell .subsection-heading {
  color: var(--color-ink-muted);
}

.ledger-shell table.conditions th,
.ledger-shell table.conditions td,
.ledger-shell table.evidence-table th,
.ledger-shell table.evidence-table td {
  border-color: var(--color-rule);
}

.ledger-shell table.conditions th,
.ledger-shell table.evidence-table th {
  color: var(--color-ink-dim);
}

.ledger-shell .change-lede {
  border-left-width: 1px;
  color: var(--color-ink);
}

.ledger-shell .thesis-statement {
  border-left-width: 1px;
  color: var(--color-ink);
  font-family: var(--font-display);
}

.ledger-shell details {
  border-color: var(--color-rule);
}

.ledger-shell summary {
  color: var(--color-ink-2);
}

.ledger-shell .static-note {
  border-top-color: var(--color-rule);
  color: var(--color-ink-muted);
}

/* Statement footer: Ft5 ----------------------------------------------- */
.ledger-shell footer {
  border-top: 1px solid var(--color-rule);
  display: block;
  margin-top: var(--space-20);
  padding-top: var(--space-8);
}

.ledger-shell .footer-statement {
  color: var(--color-ink);
  font-family: var(--font-display);
  font-size: clamp(2rem, 4vw, 3.8rem);
  letter-spacing: -0.08em;
  line-height: 0.98;
  margin: 0 0 var(--space-8);
  max-width: 17ch;
}

.ledger-shell .footer-meta {
  align-items: start;
  border-top: 1px solid var(--color-rule);
  color: var(--color-ink-dim);
  display: flex;
  font-size: 0.72rem;
  gap: var(--space-6);
  justify-content: space-between;
  padding-top: var(--space-4);
}

.ledger-shell .footer-brand {
  color: var(--color-ink-2);
  font-family: var(--font-display);
}

.ledger-shell footer .integrity {
  color: var(--color-ink-dim);
}

/* Responsive collapse -------------------------------------------------- */
@media (max-width: 980px) {
  .ledger-shell .hero,
  .ledger-shell .feed-layout,
  .ledger-shell .method-section {
    grid-template-columns: 1fr;
  }

  .ledger-shell .hero-panel {
    max-width: 620px;
  }

  .ledger-shell .panel-foot {
    align-items: flex-start;
    flex-direction: column;
    gap: var(--space-2);
  }

  .ledger-shell .decision-plate-body {
    grid-template-columns: 1fr;
  }

  .ledger-shell .feed-side {
    border-left: 0;
    border-top: 1px solid var(--color-rule-strong);
    padding: var(--space-8) 0 0;
  }

  .ledger-shell .trace-steps {
    grid-template-columns: 1fr;
  }

  .ledger-shell .trace-steps::before {
    border-left: 1px solid var(--color-rule-strong);
    border-top: 0;
    bottom: var(--space-4);
    left: var(--space-4);
    right: auto;
    top: var(--space-4);
  }

  .ledger-shell .trace-step,
  .ledger-shell .trace-step:first-child {
    border-left: 0;
    min-height: 0;
    padding: 0 0 var(--space-8) var(--space-12);
  }

  .ledger-shell .trace-step:last-child {
    padding-bottom: 0;
  }

  .ledger-shell .trace-step-number,
  .ledger-shell .trace-step:first-child .trace-step-number {
    left: 0;
  }

  .ledger-shell .trace-step h3 {
    margin-top: 0;
  }
}

@media (max-width: 760px) {
  .ledger-shell {
    padding-top: var(--space-4);
  }

  .ledger-shell .masthead-context {
    display: none;
  }

  .ledger-shell .masthead nav a:not(.active) {
    display: none;
  }

  .ledger-shell .masthead nav {
    margin-left: auto;
  }

  .ledger-shell .search-pill span {
    font-size: 0;
  }

  .ledger-shell .search-pill span::before {
    content: "Search";
    font-size: 0.73rem;
  }

  .ledger-shell .hero {
    padding: var(--space-12) 0 var(--space-16);
  }

  .ledger-shell .proof-section,
  .ledger-shell .demo-links-section {
    grid-template-columns: 1fr;
  }

  .ledger-shell .callout {
    grid-template-columns: 1fr;
  }

  .ledger-shell .proof-grid {
    display: block;
    padding-left: var(--space-8);
  }

  .ledger-shell .proof-grid::before {
    border-left: 1px solid var(--color-rule-strong);
    border-top: 0;
    bottom: var(--space-4);
    left: var(--space-4);
    right: auto;
    top: var(--space-4);
  }

  .ledger-shell .proof-grid > li,
  .ledger-shell .proof-grid > li:first-child {
    min-height: 0;
    padding: 0 0 var(--space-8) var(--space-8);
  }

  .ledger-shell .proof-grid > li:last-child {
    padding-bottom: 0;
  }

  .ledger-shell .proof-grid > li > span {
    left: calc(var(--space-8) * -1);
    position: relative;
  }

  .ledger-shell .proof-grid strong {
    display: block;
    margin-top: calc(var(--space-4) * -1);
  }

  .ledger-shell .snapshot-grid {
    grid-template-columns: 1fr;
  }

  .ledger-shell .snapshot-grid > div,
  .ledger-shell .snapshot-grid > div + div {
    border-left: 0;
    border-top: 1px solid var(--color-rule);
  }

  .ledger-shell .snapshot-grid > div:first-child {
    border-top: 0;
  }

  .ledger-shell .decision-plate-head,
  .ledger-shell .footer-meta {
    align-items: flex-start;
    flex-direction: column;
  }

  .ledger-shell .decision-plate-code {
    order: -1;
  }

  .ledger-shell .footer-meta {
    gap: var(--space-3);
  }
}

@media (max-width: 520px) {
  .ledger-shell .masthead {
    gap: var(--space-2);
  }

  .ledger-shell .brand-logo-full {
    height: 34px;
  }

  .ledger-shell .masthead nav a.active {
    padding-inline: var(--space-2);
  }

  .ledger-shell .search-pill {
    gap: var(--space-2);
    padding-inline: var(--space-3);
  }

  .ledger-shell .search-pill kbd {
    display: none;
  }

  .ledger-shell .hero h1 {
    font-size: clamp(3.15rem, 16vw, 4.8rem);
  }

  .ledger-shell .hero-links {
    align-items: flex-start;
    flex-direction: column;
    gap: var(--space-4);
  }

  .ledger-shell .panel-metrics,
  .ledger-shell .method-grid {
    grid-template-columns: 1fr;
  }

  .ledger-shell .panel-metrics > div + div {
    border-left: 0;
    border-top: 1px solid var(--color-rule);
    margin-top: var(--space-3);
    padding-left: 0;
    padding-top: var(--space-3);
  }

  .ledger-shell .method-grid > li,
  .ledger-shell .method-grid > li:first-child {
    border-left: 0;
    border-top: 1px solid var(--color-rule);
    min-height: 0;
    padding: var(--space-4) 0;
  }

  .ledger-shell .method-grid > li:first-child {
    border-top: 0;
  }

  .ledger-shell .card,
  .ledger-shell .card:first-child:last-child,
  .ledger-shell .decision-plate,
  .ledger-shell .cause-card,
  .ledger-shell .hero-panel {
    padding: var(--space-5);
  }

  .ledger-shell .card h3 {
    font-size: 1.65rem;
  }

  .ledger-shell .activity-head,
  .ledger-shell .section-kicker {
    align-items: flex-start;
    flex-direction: column;
    gap: var(--space-2);
  }
}

@media (prefers-reduced-motion: reduce) {
  .ledger-shell .command-menu[open],
  .ledger-shell .run-feedback[data-kind="running"] .run-feedback-dot {
    animation: none;
  }

  .ledger-shell *,
  .ledger-shell *::before,
  .ledger-shell *::after {
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
  }
}