:root {
  color-scheme: light;
  --desk: #e8e9e2;
  --desk-deep: #d7dbd2;
  --sheet: #f6f4ea;
  --sheet-bright: #fbfaf4;
  --ink: #1b1e1a;
  --ink-soft: #555d57;
  --rule: rgba(76, 105, 96, 0.22);
  --rule-strong: #82958e;
  --red: #b43b25;
  --red-wash: #f0d9d1;
  --indigo: #363968;
  --indigo-wash: #dfe0ed;
  --green: #176454;
  --green-wash: #d6e5db;
  --amber: #8c6517;
  --amber-wash: #eee3c8;
  --shadow: 10px 12px 24px rgba(29, 36, 31, 0.14);
  --shadow-small: 4px 5px 0 rgba(29, 36, 31, 0.16);
  --page: 1540px;
  --body: "Gothic A1", sans-serif;
  --display: "Saira Condensed", sans-serif;
  --mono: "Azeret Mono", monospace;
  --ease: cubic-bezier(0.16, 1, 0.3, 1);
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; background: var(--desk); }
body {
  margin: 0;
  min-width: 320px;
  color: var(--ink);
  font-family: var(--body);
  background-color: var(--desk);
  background-image:
    linear-gradient(var(--rule) 1px, transparent 1px),
    linear-gradient(90deg, var(--rule) 1px, transparent 1px);
  background-size: 32px 32px;
  line-height: 1.55;
  text-rendering: optimizeLegibility;
}

button, select, textarea, input { font: inherit; color: inherit; }
button, a { -webkit-tap-highlight-color: transparent; }
button { cursor: pointer; }
button:disabled { cursor: not-allowed; opacity: 0.48; }
a { color: inherit; }
img { display: block; max-width: 100%; }
code, pre { font-family: var(--mono); }

:focus-visible {
  outline: 3px solid var(--indigo);
  outline-offset: 3px;
}

.sr-only {
  position: absolute !important;
  width: 1px !important;
  height: 1px !important;
  padding: 0 !important;
  margin: -1px !important;
  overflow: hidden !important;
  clip: rect(0, 0, 0, 0) !important;
  white-space: nowrap !important;
  border: 0 !important;
}

.skip-link {
  position: fixed;
  z-index: 100;
  top: 12px;
  left: 12px;
  padding: 10px 16px;
  transform: translateY(-180%);
  background: var(--ink);
  color: var(--sheet);
  text-decoration: none;
  font-weight: 800;
}
.skip-link:focus { transform: translateY(0); }

.site-header,
.lab-header {
  width: min(calc(100% - 32px), var(--page));
  margin: 16px auto 0;
  min-height: 72px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  padding: 12px 18px;
  border: 1px solid var(--ink);
  background: color-mix(in srgb, var(--sheet) 94%, transparent);
  box-shadow: var(--shadow-small);
  position: relative;
  z-index: 10;
}

.wordmark {
  display: inline-flex;
  align-items: center;
  gap: 12px;
  text-decoration: none;
  font-family: var(--display);
  font-size: 1.14rem;
  font-weight: 700;
  line-height: 0.9;
  letter-spacing: 0.025em;
}
.wordmark small {
  display: block;
  margin-top: 5px;
  font-family: var(--mono);
  font-size: 0.55rem;
  font-weight: 600;
  letter-spacing: 0.08em;
  color: var(--ink-soft);
}
.wordmark-mark {
  width: 39px;
  aspect-ratio: 1;
  display: grid;
  place-items: center;
  background: var(--indigo);
  color: var(--sheet-bright);
  font-family: var(--display);
  font-size: 1.3rem;
  transform: rotate(-2deg);
}

.submission-mark {
  display: flex;
  align-items: center;
  gap: 12px;
  font-family: var(--mono);
  font-size: 0.66rem;
  letter-spacing: 0.04em;
}
.submission-mark strong {
  padding: 7px 10px 6px;
  border: 2px solid var(--red);
  color: var(--red);
  transform: rotate(1deg);
}

.section-mark {
  margin: 0 0 12px;
  color: var(--red);
  font-family: var(--mono);
  font-size: 0.7rem;
  font-weight: 700;
  letter-spacing: 0.1em;
}

/* Submission hub */
.hub-hero,
.lab-manifest,
.judge-path,
.submission-proof {
  width: min(calc(100% - 32px), var(--page));
  margin-inline: auto;
}

.hub-hero {
  min-height: calc(100vh - 104px);
  display: grid;
  grid-template-columns: minmax(0, 1.05fr) minmax(480px, 0.95fr);
  align-items: center;
  gap: clamp(36px, 6vw, 96px);
  padding: clamp(64px, 8vw, 120px) clamp(8px, 4vw, 60px);
}

.hero-thesis h1 {
  max-width: 14ch;
  margin: 0;
  font-family: var(--display);
  font-size: clamp(3.5rem, 7.2vw, 6rem);
  font-weight: 700;
  line-height: 0.86;
  letter-spacing: -0.03em;
  text-wrap: balance;
}
.hero-thesis h1 em {
  color: var(--red);
  font-style: normal;
}
.hero-thesis h1 span { color: var(--green); }
.hero-deck {
  max-width: 67ch;
  margin: 30px 0 0;
  font-size: clamp(1rem, 1.35vw, 1.28rem);
  font-weight: 500;
  line-height: 1.68;
  color: var(--ink-soft);
}
.hero-actions {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 12px 22px;
  margin-top: 34px;
}
.primary-link,
.primary-button,
.commit-button {
  min-height: 46px;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 18px;
  padding: 11px 17px;
  border: 1px solid var(--ink);
  background: var(--ink);
  color: var(--sheet-bright);
  box-shadow: var(--shadow-small);
  text-decoration: none;
  font-weight: 800;
  transition: transform 180ms var(--ease), box-shadow 180ms var(--ease), background 180ms var(--ease);
}
.primary-link:hover,
.primary-button:hover,
.commit-button:hover:not(:disabled) {
  transform: translate(-2px, -2px);
  box-shadow: 7px 8px 0 rgba(29, 36, 31, 0.17);
}
.secondary-link,
.text-button,
.back-link {
  border: 0;
  background: transparent;
  padding: 8px 0;
  color: var(--indigo);
  font-weight: 800;
  text-decoration-thickness: 1px;
  text-underline-offset: 4px;
}
.secondary-link:hover,
.text-button:hover,
.back-link:hover { text-decoration: underline; }

.compatibility-strip {
  display: flex;
  align-items: center;
  gap: 12px;
  margin-top: 30px;
  padding: 11px 13px;
  max-width: 650px;
  border: 1px solid var(--rule-strong);
  background: rgba(246, 244, 234, 0.78);
}
.compatibility-strip strong,
.compatibility-strip small { display: block; }
.compatibility-strip strong { font-size: 0.82rem; }
.compatibility-strip small { margin-top: 2px; color: var(--ink-soft); font-size: 0.72rem; }
.status-lamp {
  width: 12px;
  height: 12px;
  border: 1px solid var(--ink);
  background: var(--amber);
  flex: 0 0 auto;
}
.compatibility-strip[data-mode="registered"] .status-lamp { background: var(--green); }
.compatibility-strip[data-mode="unsupported"] .status-lamp { background: var(--amber); }
.compatibility-strip[data-mode="error"] .status-lamp,
.compatibility-strip[data-mode="partial"] .status-lamp { background: var(--red); }

.verdict-diagram {
  position: relative;
  padding: 24px 24px 30px;
  border: 1px solid var(--ink);
  background: var(--sheet);
  box-shadow: var(--shadow);
  transform: rotate(0.6deg);
}
.verdict-diagram::before,
.witness figure::before,
.specimen-panel::before {
  content: "";
  position: absolute;
  width: 74px;
  height: 18px;
  top: -9px;
  left: 50%;
  transform: translateX(-50%) rotate(-1deg);
  background: rgba(221, 211, 174, 0.72);
  border-inline: 1px solid rgba(91, 82, 49, 0.16);
}
.diagram-register {
  display: flex;
  justify-content: space-between;
  gap: 16px;
  padding-bottom: 14px;
  border-bottom: 2px solid var(--ink);
  font-family: var(--mono);
  font-size: 0.65rem;
}
.diagram-register code { color: var(--indigo); }
.verdict-diagram ol { list-style: none; padding: 0; margin: 0; counter-reset: verdict-step; }
.verdict-diagram li {
  counter-increment: verdict-step;
  display: grid;
  grid-template-columns: 72px 1fr auto;
  align-items: center;
  gap: 14px;
  padding: 20px 6px;
  border-bottom: 1px solid var(--rule-strong);
  position: relative;
}
.verdict-diagram li::before {
  content: counter(verdict-step);
  width: 34px;
  height: 34px;
  display: grid;
  place-items: center;
  border: 1px solid currentColor;
  color: var(--indigo);
  font-family: var(--mono);
  font-weight: 700;
}
.verdict-diagram li > span {
  position: absolute;
  left: 41px;
  top: 38px;
  font-family: var(--mono);
  font-size: 0.53rem;
  color: var(--indigo);
}
.verdict-diagram li strong { font-family: var(--display); font-size: 1.5rem; line-height: 1; }
.verdict-diagram li small { max-width: 18ch; text-align: right; color: var(--ink-soft); }
.verdict-diagram .human-step { background: linear-gradient(90deg, transparent, var(--green-wash)); }
.verdict-diagram .human-step::before,
.verdict-diagram .human-step > span { color: var(--green); }
.diagram-stamp {
  width: max-content;
  margin: 24px 0 -8px auto;
  padding: 8px 12px 6px;
  border: 3px double var(--red);
  color: var(--red);
  font-family: var(--mono);
  font-size: 0.75rem;
  font-weight: 700;
  transform: rotate(-2deg);
}

.lab-manifest {
  border: 1px solid var(--ink);
  background: var(--sheet);
  box-shadow: var(--shadow);
  padding: clamp(28px, 5vw, 74px);
  position: relative;
}
.manifest-heading {
  display: grid;
  grid-template-columns: minmax(0, 1.2fr) minmax(280px, 0.8fr);
  column-gap: 54px;
  align-items: end;
  padding-bottom: 34px;
  border-bottom: 2px solid var(--ink);
}
.manifest-heading .section-mark { grid-column: 1 / -1; }
.manifest-heading h2,
.judge-path h2,
.submission-proof h2 {
  margin: 0;
  max-width: 17ch;
  font-family: var(--display);
  font-size: clamp(2.6rem, 5vw, 4.7rem);
  line-height: 0.92;
  letter-spacing: -0.025em;
  text-wrap: balance;
}
.manifest-heading > p:last-child { max-width: 48ch; margin: 0; color: var(--ink-soft); }

.witness-rail { margin-top: 38px; border-top: 1px solid var(--ink); }
.witness {
  display: grid;
  grid-template-columns: 180px 105px minmax(280px, 1fr) minmax(220px, 0.45fr);
  align-items: center;
  gap: 24px;
  min-height: 150px;
  padding: 18px 8px;
  border-bottom: 1px solid var(--ink);
  text-decoration: none;
  position: relative;
  transition: background 180ms var(--ease), transform 180ms var(--ease);
}
.witness:hover { background: var(--indigo-wash); transform: translateX(5px); }
.witness-primary { min-height: 230px; grid-template-columns: minmax(280px, 0.72fr) 105px minmax(280px, 1fr) minmax(220px, 0.45fr); }
.witness figure {
  margin: 0;
  position: relative;
  border: 1px solid var(--ink);
  box-shadow: 4px 5px 0 rgba(29, 36, 31, 0.15);
  overflow: hidden;
}
.witness img { width: 100%; aspect-ratio: 1.6; object-fit: cover; }
.witness-rank { font-family: var(--mono); color: var(--red); font-size: 0.7rem; font-weight: 700; }
.witness h3 { margin: 0; font-family: var(--display); font-size: clamp(1.65rem, 2.6vw, 2.6rem); line-height: 0.95; }
.witness p { margin: 10px 0 0; max-width: 58ch; color: var(--ink-soft); }
.witness > strong { font-size: 0.84rem; color: var(--indigo); }

.judge-path {
  display: grid;
  grid-template-columns: minmax(300px, 0.74fr) minmax(0, 1.26fr);
  gap: clamp(40px, 8vw, 120px);
  padding: clamp(88px, 10vw, 150px) clamp(8px, 5vw, 74px);
}
.judge-path ol { list-style: none; margin: 0; padding: 0; border-top: 2px solid var(--ink); }
.judge-path li {
  display: grid;
  grid-template-columns: 105px minmax(0, 1fr);
  column-gap: 20px;
  padding: 20px 0;
  border-bottom: 1px solid var(--rule-strong);
}
.judge-path time { grid-row: 1 / 3; font-family: var(--mono); color: var(--red); font-size: 0.68rem; }
.judge-path strong { font-family: var(--display); font-size: 1.4rem; line-height: 1; }
.judge-path span { margin-top: 5px; color: var(--ink-soft); }

.submission-proof {
  margin-bottom: 64px;
  padding: clamp(30px, 5vw, 72px);
  border: 1px solid var(--ink);
  background: var(--ink);
  color: var(--sheet);
  box-shadow: var(--shadow);
}
.submission-proof .section-mark { color: #e88b74; }
.submission-proof h2 { max-width: 19ch; }
.proof-columns {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 1px;
  margin-top: 46px;
  background: color-mix(in srgb, var(--sheet) 34%, transparent);
  border-block: 1px solid color-mix(in srgb, var(--sheet) 34%, transparent);
}
.proof-columns > div { padding: 24px 22px; background: var(--ink); }
.proof-columns strong { font-family: var(--display); font-size: 1.55rem; color: #b8c8ef; }
.proof-columns p { color: #d8ddd3; }
.boundary-note { margin: 36px 0 0; max-width: 74ch; color: #d8ddd3; }
.boundary-note strong { color: #e9c97a; }
.site-footer {
  display: flex;
  justify-content: space-between;
  gap: 16px;
  width: min(calc(100% - 32px), var(--page));
  margin: 0 auto 20px;
  padding: 14px 6px;
  border-top: 2px solid var(--ink);
  font-family: var(--mono);
  font-size: 0.62rem;
}

/* Lab shell */
.lab-header { position: sticky; top: 8px; }
.lab-switcher { display: flex; align-items: stretch; gap: 2px; }
.lab-switcher a {
  padding: 9px 11px;
  border-bottom: 2px solid transparent;
  text-decoration: none;
  font-family: var(--display);
  font-weight: 700;
}
.lab-switcher a:hover { background: var(--indigo-wash); }
.lab-switcher a[aria-current="page"] { border-bottom-color: var(--red); color: var(--red); }
.reset-button {
  padding: 8px 12px;
  border: 1px solid var(--ink);
  background: transparent;
  font-family: var(--mono);
  font-size: 0.65rem;
  font-weight: 700;
}
.reset-button:hover { background: var(--amber-wash); }
.lab-main { width: min(calc(100% - 32px), var(--page)); margin: 0 auto 64px; }
.lab-intro {
  display: grid;
  grid-template-columns: minmax(0, 1.3fr) minmax(320px, 0.7fr);
  gap: clamp(36px, 8vw, 120px);
  align-items: end;
  padding: clamp(46px, 6vw, 84px) clamp(6px, 3vw, 38px) 34px;
}
.back-link { display: inline-block; margin-bottom: 28px; font-size: 0.82rem; }
.lab-intro h1 {
  margin: 0;
  max-width: 15ch;
  font-family: var(--display);
  font-size: clamp(3.2rem, 7vw, 6rem);
  line-height: 0.87;
  letter-spacing: -0.03em;
  text-wrap: balance;
}
.lab-deck { max-width: 65ch; margin: 22px 0 0; color: var(--ink-soft); font-size: 1.1rem; }
.lab-brief { padding: 22px 24px; border: 1px solid var(--ink); background: var(--sheet); box-shadow: var(--shadow-small); transform: rotate(-0.4deg); }
.lab-brief > span { font-family: var(--mono); color: var(--indigo); font-size: 0.7rem; font-weight: 700; }
.lab-brief p { margin: 14px 0; }
.lab-brief strong { font-size: 0.75rem; color: var(--green); }
.lab-compatibility { margin: 0 0 14px; max-width: none; }

.workbench-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.55fr) minmax(330px, 0.68fr);
  grid-template-areas:
    "specimen agent"
    "human receipts";
  align-items: start;
  gap: 14px;
}
.specimen-panel,
.agent-panel,
.human-panel,
.receipt-panel {
  border: 1px solid var(--ink);
  background: var(--sheet);
  box-shadow: var(--shadow-small);
  position: relative;
}
.specimen-panel { grid-area: specimen; min-height: 690px; }
.agent-panel { grid-area: agent; }
.human-panel { grid-area: human; }
.receipt-panel { grid-area: receipts; }
.panel-heading,
.agent-panel > header,
.human-panel > header,
.receipt-panel > header {
  padding: 18px 20px;
  border-bottom: 1px solid var(--ink);
}
.panel-heading { display: flex; justify-content: space-between; gap: 24px; align-items: start; }
.panel-heading span,
.agent-tab,
.human-tab,
.receipt-panel > header > span {
  font-family: var(--mono);
  font-size: 0.62rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  color: var(--indigo);
}
.human-tab { color: var(--green); }
.panel-heading h2,
.agent-panel h2,
.human-panel h2,
.receipt-panel h2 {
  margin: 5px 0 0;
  font-family: var(--display);
  font-size: 1.65rem;
  line-height: 1;
}
.human-panel > header p { margin: 10px 0 0; max-width: 68ch; color: var(--ink-soft); font-size: 0.85rem; }
.state-register { display: flex; gap: 1px; margin: 0; background: var(--rule-strong); border: 1px solid var(--rule-strong); }
.state-register div { padding: 7px 9px; background: var(--sheet); }
.state-register dt { font-family: var(--mono); font-size: 0.5rem; color: var(--ink-soft); }
.state-register dd { margin: 3px 0 0; font-family: var(--mono); font-size: 0.62rem; font-weight: 700; }
#state-dirty[data-dirty="true"] { color: var(--red); }
.stage-root { min-height: 565px; padding: clamp(18px, 3vw, 34px); overflow: hidden; }
.stage-footer {
  display: flex;
  align-items: center;
  gap: 12px;
  min-height: 46px;
  padding: 10px 20px;
  border-top: 1px solid var(--ink);
  font-family: var(--mono);
  font-size: 0.62rem;
}
.stage-footer strong { padding: 3px 7px; background: var(--indigo); color: var(--sheet); }
.stage-footer span:last-child { margin-left: auto; color: var(--ink-soft); }

.agent-panel > header { background: var(--indigo-wash); }
.step-rail { list-style: none; padding: 16px 20px; margin: 0; display: grid; grid-template-columns: repeat(6, 1fr); border-bottom: 1px solid var(--rule-strong); }
.step-rail li { position: relative; text-align: center; font-family: var(--mono); font-size: 0.5rem; color: var(--ink-soft); }
.step-rail li::before {
  content: "";
  display: block;
  width: 10px;
  height: 10px;
  margin: 0 auto 7px;
  border: 1px solid currentColor;
  background: var(--sheet);
  position: relative;
  z-index: 1;
}
.step-rail li:not(:last-child)::after { content: ""; position: absolute; top: 5px; left: 50%; width: 100%; border-top: 1px solid var(--rule-strong); }
.step-rail li[data-step-state="done"] { color: var(--green); }
.step-rail li[data-step-state="done"]::before { background: var(--green); }
.step-rail li[data-step-state="current"] { color: var(--red); font-weight: 700; }
.step-rail li[data-step-state="current"]::before { background: var(--red); box-shadow: 0 0 0 3px var(--red-wash); }
.agent-panel blockquote { margin: 0; min-height: 148px; padding: 22px 20px 18px 42px; color: var(--ink); font-size: 0.88rem; position: relative; }
.agent-panel blockquote::before { content: "“"; position: absolute; left: 16px; top: 5px; color: var(--indigo); font-family: Georgia, serif; font-size: 3.4rem; }
.agent-actions { display: grid; gap: 10px; padding: 0 20px 20px; }
.primary-button { width: 100%; background: var(--indigo); border-color: var(--indigo); }
.agent-actions .text-button { justify-self: start; }
.rehearsal-console { border-top: 1px solid var(--ink); }
.rehearsal-console summary { padding: 14px 20px; cursor: pointer; font-family: var(--mono); font-size: 0.68rem; font-weight: 700; }
.rehearsal-console[open] summary { background: var(--indigo-wash); }
.rehearsal-console form { padding: 18px 20px; border-top: 1px solid var(--rule-strong); }
.rehearsal-console label { display: grid; gap: 6px; margin-bottom: 13px; }
.rehearsal-console label > span { font-family: var(--mono); font-size: 0.6rem; color: var(--indigo); font-weight: 700; }
.rehearsal-console select,
.rehearsal-console textarea,
.rationale-field input {
  width: 100%;
  border: 1px solid var(--ink);
  border-radius: 0;
  background: var(--sheet-bright);
  padding: 9px 10px;
}
.rehearsal-console textarea { resize: vertical; font-family: var(--mono); font-size: 0.68rem; line-height: 1.55; }
.rehearsal-console form > p { font-size: 0.72rem; color: var(--ink-soft); }
.rehearsal-console form button,
.post-actions button,
.verdict-choice,
.verdict-secondary-actions button {
  min-height: 40px;
  padding: 8px 12px;
  border: 1px solid var(--ink);
  background: var(--sheet);
  font-weight: 800;
}
.rehearsal-console form button:hover,
.post-actions button:hover:not(:disabled),
.verdict-choice:hover,
.verdict-secondary-actions button:hover { background: var(--amber-wash); }
.rehearsal-console pre {
  max-height: 270px;
  overflow: auto;
  margin: 0;
  padding: 16px 20px;
  border-top: 1px solid var(--ink);
  background: var(--ink);
  color: #e8ece4;
  font-size: 0.61rem;
  line-height: 1.55;
  white-space: pre-wrap;
  word-break: break-word;
}

#verdict-root { padding: 22px; }
.verdict-empty { min-height: 220px; display: grid; align-content: center; justify-items: start; max-width: 66ch; }
.verdict-empty h3,
.verdict-intro h3 { margin: 10px 0 0; font-family: var(--display); font-size: 1.8rem; line-height: 1; }
.verdict-empty p,
.verdict-intro p { color: var(--ink-soft); }
.empty-stamp { padding: 6px 10px; border: 2px solid var(--red); color: var(--red); font-family: var(--mono); font-size: 0.65rem; transform: rotate(-2deg); }
.variant-pair { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; margin-top: 18px; }
.variant-slip {
  padding: 20px;
  border: 1px solid var(--ink);
  background: var(--sheet-bright);
  box-shadow: var(--shadow-small);
  position: relative;
}
.variant-slip:nth-child(2) { transform: rotate(0.35deg); }
.variant-slip[data-selected="true"] { background: var(--green-wash); outline: 3px double var(--green); outline-offset: -7px; }
.variant-label { width: 32px; height: 32px; display: grid; place-items: center; background: var(--indigo); color: var(--sheet); font-family: var(--mono); font-weight: 700; }
.variant-slip h4 { margin: 12px 0 7px; font-family: var(--display); font-size: 1.55rem; line-height: 1; }
.variant-slip p { min-height: 70px; margin: 0; color: var(--ink-soft); font-size: 0.86rem; }
.variant-slip small { display: block; min-height: 45px; margin: 12px 0; color: var(--amber); }
.verdict-choice { width: 100%; background: var(--indigo); border-color: var(--indigo); color: var(--sheet); }
.verdict-choice:hover { background: color-mix(in srgb, var(--indigo) 85%, var(--ink)); }
.rationale-field { display: grid; gap: 6px; margin-top: 22px; }
.rationale-field > span { font-size: 0.72rem; font-weight: 800; }
.rationale-field small { color: var(--ink-soft); font-weight: 500; }
.verdict-secondary-actions { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 12px; }
.verdict-secondary-actions button { font-size: 0.74rem; }
.commit-actions { display: flex; align-items: center; gap: 18px; margin-top: 20px; padding-top: 20px; border-top: 2px solid var(--ink); }
.commit-button { background: var(--green); border-color: var(--green); }
.commit-actions .text-button { font-size: 0.72rem; }

.receipt-panel > header { background: var(--amber-wash); }
.receipt-empty { padding: 22px; color: var(--ink-soft); font-size: 0.78rem; }
.receipt-list { list-style: none; margin: 0; padding: 0 18px; max-height: 410px; overflow: auto; }
.receipt { padding: 14px 0 15px; border-bottom: 1px dashed var(--rule-strong); }
.receipt-new { animation: receipt-land 480ms var(--ease); }
.receipt-head { display: flex; justify-content: space-between; gap: 10px; color: var(--ink-soft); font-family: var(--mono); font-size: 0.52rem; }
.receipt > strong { display: block; margin-top: 7px; font-size: 0.72rem; color: var(--indigo); }
.receipt p { margin: 5px 0; font-size: 0.72rem; }
.receipt code { font-size: 0.52rem; color: var(--ink-soft); }
.receipt-error > strong { color: var(--red); }
.post-actions { display: grid; grid-template-columns: 1fr 1fr; gap: 8px; padding: 18px; border-top: 1px solid var(--ink); }
.post-actions button { font-size: 0.72rem; }
.lab-boundary {
  display: grid;
  grid-template-columns: 210px minmax(0, 1fr) minmax(260px, 0.45fr);
  gap: 24px;
  margin-top: 14px;
  padding: 18px 20px;
  border: 1px solid var(--red);
  background: var(--red-wash);
}
.lab-boundary strong { font-family: var(--display); font-size: 1.4rem; color: var(--red); }
.lab-boundary p { margin: 0; }
.lab-boundary span { color: var(--ink-soft); font-size: 0.75rem; }

/* Shared domain specimen vocabulary */
.stage-root h2,
.stage-root h3,
.stage-root h4 { font-family: var(--display); line-height: 1; }
.stage-root h2 { font-size: 2rem; }
.stage-root h3 { font-size: 1.35rem; }
.stage-root p { max-width: 70ch; }
.stage-root [class*="eyebrow"] { font-family: var(--mono); font-size: 0.62rem; font-weight: 700; color: var(--indigo); }
.stage-root [class*="stage__header"] { padding-bottom: 16px; border-bottom: 2px solid var(--ink); }
.stage-root [class*="stage__header"] h2 { margin: 5px 0 0; }
.stage-root [class*="stage__header"] p:last-child { color: var(--ink-soft); }
.stage-root [class*="variant"] { transition: opacity 200ms var(--ease), transform 220ms var(--ease); }

/* Promotion + focus specimens */
.domain-stage { min-height: 500px; display: flex; flex-direction: column; }
.specimen-bar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 18px;
  padding: 12px 14px;
  border: 1px solid var(--ink);
  background: var(--ink);
  color: var(--sheet);
}
.specimen-bar > div { display: grid; }
.stage-eyebrow { color: #bcc2da !important; }
.specimen-bar strong { font-family: var(--display); font-size: 1.28rem; line-height: 1; }
.stage-mode { padding: 5px 7px; border: 1px solid currentColor; font-family: var(--mono); font-size: 0.58rem; }
.promo-workbench,
.focus-workbench { display: grid; grid-template-columns: minmax(250px, 0.72fr) minmax(300px, 1fr); gap: 18px; margin-top: 18px; }
.promo-cart,
.wayline-form { grid-row: 1 / 3; border: 1px solid var(--ink); background: var(--sheet-bright); box-shadow: var(--shadow-small); }
.cart-ticket-head,
.airline-browser-bar { display: flex; justify-content: space-between; gap: 12px; padding: 10px 12px; border-bottom: 1px dashed var(--rule-strong); font-family: var(--mono); font-size: 0.58rem; color: var(--ink-soft); }
.promo-cart h3 { margin: 18px 18px 12px; font-size: 1.55rem; }
.cart-ledger { margin: 0; padding: 0 18px; }
.cart-ledger div { display: flex; justify-content: space-between; gap: 16px; padding: 8px 0; border-bottom: 1px dotted var(--rule-strong); font-size: 0.76rem; }
.cart-ledger dt, .cart-ledger dd { margin: 0; }
.margin-stamp { margin: 18px; padding: 14px; border: 2px solid var(--red); color: var(--red); transform: rotate(-1deg); }
.margin-stamp span { display: block; font-family: var(--mono); font-size: 0.56rem; }
.margin-stamp strong { display: block; margin-top: 3px; font-family: var(--display); font-size: 2.25rem; line-height: 1; }
.promo-cart.is-safe .margin-stamp { border-color: var(--green); color: var(--green); background: var(--green-wash); }
.promo-trace,
.focus-evidence { display: flex; align-items: center; flex-wrap: wrap; gap: 7px; align-content: center; padding: 15px; border: 1px solid var(--rule-strong); background: var(--desk-deep); opacity: 0.38; filter: grayscale(1); }
.promo-trace.is-active,
.focus-evidence.is-active { opacity: 1; filter: none; }
.trace-node,
.focus-node { padding: 8px 9px; border: 1px solid var(--indigo); background: var(--indigo-wash); color: var(--indigo); font-family: var(--mono); font-size: 0.58rem; font-weight: 700; }
.trace-loss,
.focus-lost,
.focus-removed { border-color: var(--red); background: var(--red-wash); color: var(--red); }
.focus-safe { border-color: var(--green); background: var(--green-wash); color: var(--green); }
.promo-trace p,
.focus-evidence p { width: 100%; margin: 5px 0 0; font-size: 0.72rem; color: var(--ink-soft); }
.promo-proposals,
.focus-proposals { display: grid; grid-template-columns: 1fr 1fr; gap: 10px; opacity: 0.28; transform: translateY(7px); }
.promo-proposals.is-active,
.focus-proposals.is-active { opacity: 1; transform: translateY(0); }
.proposal-slip { padding: 14px; border: 1px solid var(--ink); background: var(--sheet-bright); }
.proposal-slip > span { font-family: var(--mono); font-size: 0.52rem; color: var(--indigo); font-weight: 700; }
.proposal-slip h4 { margin: 8px 0 6px; font-size: 1.2rem; }
.proposal-slip p { margin: 0; min-height: 60px; font-size: 0.72rem; color: var(--ink-soft); }
.proposal-slip > strong { display: block; margin-top: 10px; color: var(--green); font-size: 0.75rem; }
.proposal-slip.is-approved { outline: 3px double var(--green); outline-offset: -6px; background: var(--green-wash); }
.stage-verdict-line { display: flex; justify-content: space-between; gap: 18px; margin-top: auto; padding: 13px 14px; border-top: 2px solid var(--ink); font-size: 0.72rem; }
.stage-verdict-line b { flex: 0 0 auto; color: var(--red); font-family: var(--mono); font-size: 0.58rem; }
.booking-steps { list-style: none; display: grid; grid-template-columns: repeat(3, 1fr); margin: 0; padding: 12px; counter-reset: booking-step; }
.booking-steps li { counter-increment: booking-step; padding: 8px 5px; border-bottom: 2px solid var(--rule-strong); color: var(--ink-soft); font-size: 0.65rem; text-align: center; }
.booking-steps li::before { content: counter(booking-step) ". "; font-family: var(--mono); }
.booking-steps .is-done { border-color: var(--green); color: var(--green); }
.booking-steps .is-current { border-color: var(--indigo); color: var(--indigo); font-weight: 800; }
.booking-error-summary { margin: 10px 14px; padding: 12px; border: 1px solid var(--red); background: var(--red-wash); }
.booking-error-summary b,
.booking-error-summary span { display: block; }
.booking-error-summary span { margin-top: 4px; font-size: 0.7rem; }
.synthetic-field { display: grid; gap: 6px; margin: 14px; font-size: 0.68rem; font-weight: 700; }
.field-box { padding: 11px; border: 1px solid var(--red); background: var(--sheet); color: var(--red); }
.synthetic-opener { margin: 4px 14px 18px; padding: 9px 11px; border: 1px solid var(--indigo); background: var(--indigo); color: var(--sheet); font-weight: 800; }
.synthetic-opener.is-removed { opacity: 0.2; text-decoration: line-through; }
.is-focus-target { outline: 4px double var(--green) !important; outline-offset: 4px; background: var(--green-wash) !important; }

/* Flow + game evidence canvases */
.lab-stage { min-height: 500px; }
.stage-header { display: grid; grid-template-columns: 1fr auto; align-items: end; column-gap: 22px; padding-bottom: 14px; border-bottom: 2px solid var(--ink); }
.stage-kicker { grid-column: 1 / -1; margin: 0 0 4px; font-family: var(--mono); font-size: 0.58rem; color: var(--indigo); font-weight: 700; }
.stage-title { margin: 0; font-size: 2.05rem !important; }
.stage-status { margin: 0 !important; max-width: 35ch !important; text-align: right; color: var(--ink-soft); font-size: 0.68rem; }
.stage-figure { margin: 18px 0 0; border: 1px solid var(--ink); background: var(--sheet-bright); overflow: hidden; }
.flow-graph,
.puzzle-map { display: block; width: 100%; height: auto; background-color: var(--desk-deep); background-image: linear-gradient(var(--rule) 1px, transparent 1px), linear-gradient(90deg, var(--rule) 1px, transparent 1px); background-size: 22px 22px; }
.stage-caption { padding: 10px 12px; border-top: 1px solid var(--ink); font-size: 0.7rem; color: var(--ink-soft); }
.flow-edge.is-counterexample,
.map-link.is-counterexample { stroke-dasharray: 9 5; animation: path-march 1.1s linear infinite; }
.flow-edge.is-repaired,
.map-link.is-repaired { filter: drop-shadow(2px 2px 0 rgba(23, 100, 84, 0.16)); }
.evidence-card,
.proposal-section { margin-top: 16px; padding: 16px; border: 1px solid var(--ink); background: var(--red-wash); }
.proposal-section { background: var(--indigo-wash); }
.evidence-title,
.proposal-title { margin: 5px 0 8px; font-size: 1.4rem; }
.evidence-copy,
.proposal-copy { margin: 0; color: var(--ink-soft); font-size: 0.75rem; }
.path-trace { display: flex; flex-wrap: wrap; gap: 7px; list-style: none; margin: 12px 0 0; padding: 0; }
.path-step { padding: 6px 8px; border: 1px solid var(--red); background: var(--sheet); color: var(--red); font-family: var(--mono); font-size: 0.52rem; }
.proposal-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 10px; margin-top: 12px; }
.proposal-card { padding: 14px; border: 1px solid var(--indigo); background: var(--sheet-bright); }
.proposal-letter { float: right; width: 26px; height: 26px; display: grid; place-items: center; background: var(--indigo); color: var(--sheet); font-family: var(--mono); font-weight: 700; }
.proposal-card-title { margin: 0 0 7px; font-size: 1.2rem; }
.proposal-result { color: var(--green); font-weight: 800; font-size: 0.7rem; }
.proposal-tradeoff { color: var(--amber); font-size: 0.68rem; }

@keyframes path-march { to { stroke-dashoffset: -28; } }

/* Disclosure specimen */
.disclosure-specimen {
  display: grid;
  grid-template-columns: minmax(260px, 0.75fr) minmax(220px, 0.55fr);
  gap: 18px;
  margin-top: 22px;
  padding: 18px;
  border: 1px solid var(--ink);
  background: #f2d16f;
  position: relative;
}
.disclosure-specimen__claim-block { min-height: 230px; display: flex; flex-direction: column; align-items: start; padding: 16px; background: #213c34; color: #f4f0dd; }
.disclosure-specimen__brand { font-family: var(--mono); font-size: 0.62rem; }
.disclosure-specimen__claim { margin: auto 0 18px; font-family: var(--display); font-size: 3rem; line-height: 0.85; }
.disclosure-specimen__cta { padding: 9px 12px; background: #f2d16f; color: #213c34; text-decoration: none; font-weight: 800; }
.disclosure-specimen__measure { display: grid; align-content: center; gap: 7px; font-family: var(--mono); font-size: 0.64rem; }
.disclosure-specimen__measure strong { color: var(--red); }
.disclosure-specimen__condition { grid-column: 1 / -1; margin: 24px 0 0 auto; max-width: 46ch !important; color: #6e735e; font-size: 0.65rem; }
.disclosure-variants { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; margin-top: 20px; }
.disclosure-variants > h3 { grid-column: 1 / -1; margin: 0; }
.disclosure-variant { padding: 15px; border: 1px solid var(--rule-strong); background: var(--sheet-bright); }
.disclosure-variant__label { float: right; width: 25px; height: 25px; display: grid; place-items: center; background: var(--indigo); color: var(--sheet); font-family: var(--mono); }
.disclosure-variant h4 { margin: 0 0 8px; }
.disclosure-variant p { margin: 0; font-size: 0.76rem; color: var(--ink-soft); }
.disclosure-stage__notice { margin-top: 16px; padding: 10px 12px; border: 1px solid var(--amber); background: var(--amber-wash); font-size: 0.72rem; }
body[data-phase="ready"] .disclosure-variants,
body[data-phase="counterexample"] .disclosure-variants,
body[data-phase="replay"] .disclosure-variants { opacity: 0.26; filter: grayscale(1); }
body[data-phase="applied"] .disclosure-specimen__condition,
body[data-phase="verified"] .disclosure-specimen__condition { grid-column: 1; margin: -82px 16px 44px !important; padding: 8px; color: #f4f0dd; background: #213c34; outline: 2px solid var(--green); }

@keyframes receipt-land {
  from { opacity: 0.35; transform: translateY(-13px); filter: blur(4px); }
  to { opacity: 1; transform: translateY(0); filter: blur(0); }
}

@media (max-width: 1180px) {
  .hub-hero { grid-template-columns: 1fr; min-height: auto; }
  .hero-thesis h1 { max-width: 13ch; }
  .verdict-diagram { max-width: 760px; }
  .witness, .witness-primary { grid-template-columns: 170px 90px 1fr; }
  .witness > strong { grid-column: 3; }
  .workbench-grid { grid-template-columns: minmax(0, 1fr) minmax(300px, 0.48fr); }
  .lab-switcher a { padding-inline: 8px; }
  .proof-columns { grid-template-columns: 1fr 1fr; }
}

@media (max-width: 900px) {
  .lab-header { flex-wrap: wrap; }
  .lab-switcher { order: 3; width: 100%; overflow-x: auto; border-top: 1px solid var(--rule-strong); padding-top: 5px; }
  .lab-switcher a { flex: 1 0 auto; text-align: center; }
  .lab-intro { grid-template-columns: 1fr; gap: 28px; }
  .workbench-grid {
    grid-template-columns: 1fr;
    grid-template-areas: "specimen" "agent" "human" "receipts";
  }
  .specimen-panel { min-height: 0; }
  .stage-root { min-height: 0; }
  .manifest-heading, .judge-path { grid-template-columns: 1fr; }
  .witness, .witness-primary { grid-template-columns: 130px 80px 1fr; }
  .witness h3 { font-size: 1.8rem; }
  .lab-boundary { grid-template-columns: 1fr; gap: 8px; }
}

@media (max-width: 680px) {
  .site-header,
  .lab-header,
  .hub-hero,
  .lab-manifest,
  .judge-path,
  .submission-proof,
  .lab-main,
  .site-footer { width: min(calc(100% - 20px), var(--page)); }
  .site-header { min-height: 62px; }
  .submission-mark span { display: none; }
  .submission-mark strong { font-size: 0.55rem; }
  .hub-hero { padding: 56px 4px 74px; gap: 48px; }
  .hero-thesis h1 { font-size: clamp(3.1rem, 17vw, 5rem); }
  .hero-actions { align-items: stretch; flex-direction: column; }
  .primary-link { width: 100%; }
  .verdict-diagram { padding: 18px 16px; }
  .diagram-register { flex-direction: column; }
  .verdict-diagram li { grid-template-columns: 50px 1fr; gap: 10px; }
  .verdict-diagram li::before { grid-row: 1 / 3; }
  .verdict-diagram li > span { left: 36px; top: 38px; }
  .verdict-diagram li small { text-align: left; }
  .lab-manifest { padding: 30px 16px; }
  .manifest-heading { display: block; }
  .manifest-heading > p:last-child { margin-top: 18px; }
  .witness-rail { display: grid; gap: 12px; border-top: 0; }
  .witness, .witness-primary {
    grid-template-columns: 72px 1fr;
    min-height: 0;
    padding: 14px 0;
  }
  .witness figure { grid-row: 1 / 4; align-self: stretch; }
  .witness img { height: 100%; object-fit: cover; }
  .witness-rank { grid-column: 2; }
  .witness > div { grid-column: 2; }
  .witness h3 { font-size: 1.6rem; }
  .witness p { font-size: 0.74rem; }
  .witness > strong { grid-column: 2; font-size: 0.7rem; }
  .judge-path { padding: 72px 4px; }
  .judge-path li { grid-template-columns: 82px 1fr; }
  .proof-columns { grid-template-columns: 1fr; }
  .site-footer { flex-direction: column; }
  .lab-header { top: 4px; padding: 9px 10px; gap: 10px; }
  .reset-button { font-size: 0.58rem; }
  .lab-intro { padding: 44px 4px 26px; }
  .lab-intro h1 { font-size: clamp(3rem, 15vw, 4.6rem); }
  .lab-brief { padding: 18px; }
  .panel-heading { flex-direction: column; }
  .state-register { width: 100%; }
  .state-register div { flex: 1; }
  .stage-root { padding: 16px; }
  .stage-footer { align-items: start; flex-wrap: wrap; }
  .stage-footer span:last-child { width: 100%; margin-left: 0; }
  .variant-pair { grid-template-columns: 1fr; }
  .variant-slip p, .variant-slip small { min-height: 0; }
  .promo-workbench,
  .focus-workbench { grid-template-columns: minmax(0, 1fr); }
  .promo-cart,
  .wayline-form { grid-row: auto; min-width: 0; }
  .promo-trace,
  .focus-evidence { min-width: 0; overflow-wrap: anywhere; }
  .promo-proposals,
  .focus-proposals { grid-template-columns: minmax(0, 1fr); }
  .commit-actions { align-items: stretch; flex-direction: column; }
  .post-actions { grid-template-columns: 1fr; }
  .disclosure-specimen { grid-template-columns: 1fr; }
  .disclosure-specimen__condition { grid-column: 1; }
  .disclosure-variants { grid-template-columns: 1fr; }
  .disclosure-variants > h3 { grid-column: 1; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation-duration: 0.001ms !important; animation-iteration-count: 1 !important; transition-duration: 0.001ms !important; }
}

@media print {
  body { background: white; }
  .site-header, .lab-header, .agent-panel, .receipt-panel, .hero-actions, .compatibility-strip { display: none !important; }
  .hub-hero, .lab-manifest, .judge-path, .submission-proof, .lab-main { width: 100%; box-shadow: none; }
  .workbench-grid { display: block; }
  .human-panel, .specimen-panel { margin-bottom: 16px; box-shadow: none; }
}