:root {
  color-scheme: light;
  --page: #f3f0e8;
  --page-deep: #e9e4d8;
  --surface: rgba(255, 253, 247, 0.88);
  --surface-solid: #fffdf7;
  --surface-raised: #ffffff;
  --ink: #171914;
  --ink-soft: #34382f;
  --muted: #697064;
  --faint: #899082;
  --rule: rgba(29, 35, 24, 0.16);
  --rule-strong: rgba(29, 35, 24, 0.3);
  --grid: rgba(37, 75, 52, 0.08);
  --signal: #166b43;
  --signal-bright: #23a366;
  --signal-soft: #dcecdf;
  --cobalt: #3158a6;
  --cobalt-soft: #e0e7f5;
  --warning: #a9482d;
  --warning-soft: #f4ddd4;
  --amber: #936313;
  --amber-soft: #f3e6c5;
  --shadow: 0 22px 70px rgba(39, 39, 29, 0.1);
  --mono: "SFMono-Regular", "Roboto Mono", Consolas, "Liberation Mono", monospace;
  --sans: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --radius-sm: 8px;
  --radius: 16px;
  --radius-lg: 28px;
  --content: 1180px;
}

:root[data-theme="dark"] {
  color-scheme: dark;
  --page: #101510;
  --page-deep: #0b0f0c;
  --surface: rgba(24, 31, 25, 0.88);
  --surface-solid: #181f19;
  --surface-raised: #1d251e;
  --ink: #f2f1e8;
  --ink-soft: #d7dbd1;
  --muted: #a1aa9d;
  --faint: #798376;
  --rule: rgba(220, 235, 219, 0.14);
  --rule-strong: rgba(220, 235, 219, 0.26);
  --grid: rgba(131, 210, 158, 0.07);
  --signal: #72d39b;
  --signal-bright: #86e5ad;
  --signal-soft: #173526;
  --cobalt: #a9bfff;
  --cobalt-soft: #202d4e;
  --warning: #f29a7e;
  --warning-soft: #43251f;
  --amber: #e6bd63;
  --amber-soft: #3d321a;
  --shadow: 0 28px 90px rgba(0, 0, 0, 0.3);
}

* {
  box-sizing: border-box;
}

[hidden] {
  display: none !important;
}

html {
  scroll-padding-top: 96px;
  scroll-behavior: smooth;
}

body {
  min-width: 320px;
  margin: 0;
  background:
    radial-gradient(circle at 12% 8%, color-mix(in srgb, var(--signal-soft) 64%, transparent), transparent 32rem),
    linear-gradient(180deg, var(--page), var(--page-deep));
  color: var(--ink);
  font-family: var(--sans);
  font-size: 15px;
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

body::before {
  position: fixed;
  z-index: -1;
  inset: 0;
  background-image:
    linear-gradient(var(--grid) 1px, transparent 1px),
    linear-gradient(90deg, var(--grid) 1px, transparent 1px);
  background-size: 48px 48px;
  content: "";
  mask-image: linear-gradient(to bottom, black, transparent 80%);
  pointer-events: none;
}

a {
  color: inherit;
  text-underline-offset: 0.22em;
}

button,
a {
  -webkit-tap-highlight-color: transparent;
}

button {
  font: inherit;
}

input,
textarea {
  min-width: 0;
  font: inherit;
}

code,
.status-source,
.section-index,
.eyebrow,
.strip-label,
.layer-number,
.layer-output,
.live-chip,
.theme-toggle,
.brand-copy small,
.card-kicker,
.result-kicker,
.verdict-chip,
.verify-form label,
.verifier-locks,
.settlement-heading span,
.field-label-row span,
.intent-preview span,
.comparison-card,
.observed-payment,
.limit-value {
  font-family: var(--mono);
}

code {
  overflow-wrap: anywhere;
}

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

.skip-link {
  position: fixed;
  z-index: 100;
  top: 12px;
  left: 12px;
  padding: 10px 14px;
  border-radius: var(--radius-sm);
  background: var(--ink);
  color: var(--page);
  transform: translateY(-150%);
}

.skip-link:focus {
  transform: translateY(0);
}

:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--cobalt) 72%, transparent);
  outline-offset: 3px;
}

.site-header {
  position: sticky;
  z-index: 20;
  top: 0;
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: center;
  min-height: 72px;
  padding: 10px max(22px, calc((100vw - var(--content)) / 2));
  border-bottom: 1px solid var(--rule);
  background: color-mix(in srgb, var(--page) 86%, transparent);
  backdrop-filter: blur(18px) saturate(120%);
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 12px;
  color: inherit;
  text-decoration: none;
}

.brand-mark {
  position: relative;
  display: grid;
  width: 34px;
  height: 34px;
  place-items: center;
  border: 1px solid var(--rule-strong);
  border-radius: 50%;
  background: var(--surface-solid);
}

.brand-mark::before,
.brand-mark::after,
.brand-mark span {
  position: absolute;
  width: 11px;
  height: 11px;
  border-radius: 50%;
  background: var(--signal);
  content: "";
}

.brand-mark::before {
  top: 6px;
  left: 6px;
}

.brand-mark::after {
  right: 6px;
  bottom: 6px;
}

.brand-mark span {
  top: 6px;
  right: 6px;
  opacity: 0.34;
}

.brand-copy {
  display: grid;
  line-height: 1.1;
}

.brand-copy strong {
  font-size: 14px;
  letter-spacing: -0.02em;
}

.brand-copy small {
  margin-top: 5px;
  color: var(--muted);
  font-size: 9px;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.site-nav {
  display: flex;
  justify-content: center;
  gap: clamp(14px, 3vw, 34px);
}

.site-nav a {
  color: var(--muted);
  font-size: 13px;
  font-weight: 650;
  text-decoration: none;
}

.site-nav a:hover {
  color: var(--ink);
}

.header-tools {
  display: flex;
  align-items: center;
  gap: 10px;
}

.live-chip,
.theme-toggle {
  display: inline-flex;
  align-items: center;
  min-height: 34px;
  border: 1px solid var(--rule);
  border-radius: 999px;
  background: var(--surface);
  color: var(--muted);
  font-size: 10px;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.live-chip {
  gap: 8px;
  padding: 7px 11px;
}

.status-dot {
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--faint);
  box-shadow: 0 0 0 4px color-mix(in srgb, var(--faint) 14%, transparent);
}

[data-state="verified"] .status-dot {
  background: var(--signal-bright);
  box-shadow: 0 0 0 4px color-mix(in srgb, var(--signal-bright) 15%, transparent);
}

[data-state="degraded"] .status-dot,
[data-state="unverified"] .status-dot {
  background: var(--warning);
  box-shadow: 0 0 0 4px color-mix(in srgb, var(--warning) 14%, transparent);
}

.theme-toggle {
  gap: 7px;
  padding: 7px 11px;
  cursor: pointer;
}

.theme-toggle:hover {
  border-color: var(--rule-strong);
  color: var(--ink);
}

.theme-icon {
  width: 12px;
  height: 12px;
  border: 2px solid currentColor;
  border-radius: 50%;
  background: linear-gradient(90deg, currentColor 50%, transparent 50%);
}

main {
  overflow: hidden;
}

.hero,
.section-shell,
.site-footer {
  width: min(calc(100% - 44px), var(--content));
  margin-inline: auto;
}

.hero {
  position: relative;
  display: grid;
  grid-template-columns: minmax(0, 0.95fr) minmax(420px, 1.05fr);
  gap: clamp(34px, 5vw, 70px);
  align-items: start;
  min-height: min(720px, calc(100vh - 72px));
  padding: clamp(66px, 8vw, 108px) 0 72px;
}

.hero > * {
  min-width: 0;
}

.hero-grid {
  position: absolute;
  z-index: -1;
  top: 58px;
  right: -12vw;
  width: min(58vw, 720px);
  aspect-ratio: 1;
  border: 1px solid var(--rule);
  border-radius: 50%;
  opacity: 0.72;
}

.hero-grid::before,
.hero-grid::after {
  position: absolute;
  inset: 14%;
  border: 1px solid var(--rule);
  border-radius: 50%;
  content: "";
}

.hero-grid::after {
  inset: 34%;
  background: color-mix(in srgb, var(--signal-soft) 42%, transparent);
}

.eyebrow,
.section-index,
.card-kicker {
  margin: 0;
  color: var(--signal);
  font-size: 11px;
  font-weight: 750;
  letter-spacing: 0.14em;
  text-transform: uppercase;
}

.hero h1 {
  display: grid;
  gap: 0.08em;
  max-width: 800px;
  margin: 20px 0 24px;
  font-size: clamp(54px, 7.2vw, 92px);
  font-weight: 720;
  letter-spacing: -0.07em;
  line-height: 0.9;
  text-transform: uppercase;
}

.hero h1 .hero-signal {
  color: var(--signal);
}

.hero-lead {
  max-width: 720px;
  margin: 0;
  color: var(--ink-soft);
  font-size: clamp(17px, 2vw, 21px);
  line-height: 1.55;
}

.verify-form {
  margin-top: 34px;
  padding: 20px;
  border: 1px solid var(--rule-strong);
  border-radius: var(--radius);
  background: color-mix(in srgb, var(--surface-solid) 78%, transparent);
  box-shadow: 0 14px 46px color-mix(in srgb, var(--ink) 7%, transparent);
}

.verify-form label {
  display: inline;
  margin: 0;
  color: var(--ink);
  font-size: 10px;
  font-weight: 750;
  letter-spacing: 0.09em;
  text-transform: uppercase;
}

.case-fields {
  display: grid;
  gap: 20px;
  min-width: 0;
  margin: 0;
  padding: 0;
  border: 0;
}

.form-field {
  min-width: 0;
}

.field-label-row {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 12px;
  margin-bottom: 9px;
}

.field-label-row span {
  color: var(--muted);
  font-size: 9px;
  letter-spacing: 0.04em;
  text-align: right;
  text-transform: uppercase;
}

.form-field input,
.form-field textarea {
  width: 100%;
  border: 1px solid var(--rule-strong);
  border-radius: 11px;
  outline: none;
  background: var(--surface-raised);
  color: var(--ink);
  font-family: var(--mono);
  font-size: 14px;
  line-height: 1.5;
  transition: border-color 160ms ease, box-shadow 160ms ease;
}

.form-field input {
  min-height: 56px;
  padding: 0 16px;
}

.form-field textarea {
  min-height: 210px;
  padding: 14px 16px;
  resize: vertical;
  tab-size: 2;
}

.form-field input::placeholder,
.form-field textarea::placeholder {
  color: var(--muted);
}

.form-field input:hover,
.form-field textarea:hover {
  border-color: color-mix(in srgb, var(--signal) 52%, var(--rule-strong));
}

.form-field input:focus-visible,
.form-field textarea:focus-visible {
  border-color: var(--cobalt);
  box-shadow: 0 0 0 4px color-mix(in srgb, var(--cobalt) 14%, transparent);
  outline: 0;
}

.form-field input[aria-invalid="true"],
.form-field textarea[aria-invalid="true"] {
  border-color: var(--warning);
  box-shadow: 0 0 0 4px color-mix(in srgb, var(--warning) 12%, transparent);
}

.form-actions {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 10px;
  margin-top: 20px;
}

.form-actions button,
.secondary-action {
  min-height: 48px;
  border: 1px solid transparent;
  border-radius: 11px;
  cursor: pointer;
  font-weight: 760;
  transition: border-color 160ms ease, background 160ms ease, color 160ms ease, transform 160ms ease;
}

.form-actions #verify-button {
  position: relative;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 9px;
  min-width: 190px;
  padding: 0 20px;
  background: var(--signal);
  color: var(--surface-solid);
}

:root[data-theme="dark"] .form-actions #verify-button {
  color: var(--page-deep);
}

.form-actions #verify-button:hover:not(:disabled) {
  background: var(--signal-bright);
  transform: translateY(-1px);
}

.form-actions button:disabled {
  cursor: wait;
  opacity: 0.78;
}

.form-actions .secondary-action {
  width: auto;
  margin: 0;
  white-space: nowrap;
}

.button-progress {
  display: none;
  width: 16px;
  height: 16px;
  flex: 0 0 auto;
  border: 2px solid currentColor;
  border-right-color: transparent;
  border-radius: 50%;
  animation: spin 700ms linear infinite;
}

.verify-form[data-state="loading"] .button-progress {
  display: inline-block;
}

.field-help,
.field-error {
  margin: 9px 2px 0;
  font-size: 12px;
  line-height: 1.45;
}

.field-help {
  color: var(--muted);
}

.field-error {
  color: var(--warning);
  font-weight: 700;
}

.intent-preview {
  display: grid;
  gap: 3px;
  margin-top: 16px;
  padding: 11px 13px;
  border: 1px solid color-mix(in srgb, var(--signal) 28%, var(--rule));
  border-radius: 10px;
  background: color-mix(in srgb, var(--signal-soft) 55%, transparent);
}

.intent-preview span {
  color: var(--signal);
  font-size: 9px;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.intent-preview strong {
  overflow-wrap: anywhere;
  color: var(--ink-soft);
  font-size: 12px;
}

.form-boundary {
  margin: 14px 2px 0;
  color: var(--muted);
  font-size: 11px;
  line-height: 1.5;
}

.verifier-locks {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 16px;
  margin: 17px 0 0;
  padding: 0;
  color: var(--muted);
  font-size: 9px;
  letter-spacing: 0.05em;
  list-style: none;
  text-transform: uppercase;
}

.verifier-locks li {
  display: inline-flex;
  align-items: center;
  gap: 7px;
}

.verifier-locks li span {
  width: 6px;
  height: 6px;
  border-radius: 50%;
  background: var(--signal);
  box-shadow: 0 0 0 3px color-mix(in srgb, var(--signal) 12%, transparent);
}

.verifier-panel {
  position: relative;
  min-height: 540px;
  padding: clamp(24px, 3.2vw, 36px);
  border: 1px solid var(--rule-strong);
  border-radius: var(--radius-lg);
  background: var(--surface);
  box-shadow: var(--shadow);
  backdrop-filter: blur(18px);
}

.verifier-panel::before {
  position: absolute;
  top: -1px;
  right: 30px;
  left: 30px;
  height: 3px;
  background: linear-gradient(90deg, transparent, var(--signal), transparent);
  content: "";
}

.verifier-panel[data-state="multiple_payments_observed"]::before,
.verifier-panel[data-state="pending_finality"]::before {
  background: linear-gradient(90deg, transparent, var(--amber), transparent);
}

.verifier-panel[data-state="not_observed"]::before {
  background: linear-gradient(90deg, transparent, var(--cobalt), transparent);
}

.verifier-panel[data-state="settlement_terms_mismatch"]::before,
.verifier-panel[data-state="contradiction"]::before,
.verifier-panel[data-state="error"]::before {
  background: linear-gradient(90deg, transparent, var(--warning), transparent);
}

.verifier-panel-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  margin-bottom: 28px;
}

.verdict-chip {
  display: inline-flex;
  align-items: center;
  min-height: 27px;
  padding: 5px 10px;
  border: 1px solid var(--rule);
  border-radius: 999px;
  background: var(--surface-solid);
  color: var(--muted);
  font-size: 9px;
  font-weight: 750;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.verdict-chip[data-verdict="settlement_terms_matched"] {
  border-color: color-mix(in srgb, var(--signal) 38%, transparent);
  background: var(--signal-soft);
  color: var(--signal);
}

.verdict-chip[data-verdict="multiple_payments_observed"],
.verdict-chip[data-verdict="pending_finality"] {
  border-color: color-mix(in srgb, var(--amber) 38%, transparent);
  background: var(--amber-soft);
  color: var(--amber);
}

.verdict-chip[data-verdict="settlement_terms_mismatch"],
.verdict-chip[data-verdict="contradiction"],
.verdict-chip[data-verdict="error"] {
  border-color: color-mix(in srgb, var(--warning) 38%, transparent);
  background: var(--warning-soft);
  color: var(--warning);
}

.verdict-chip[data-verdict="not_observed"] {
  border-color: color-mix(in srgb, var(--cobalt) 30%, transparent);
  background: var(--cobalt-soft);
  color: var(--cobalt);
}

.verifier-idle h2,
.verifier-loading h2,
.verifier-result h2,
.verifier-error h2 {
  margin: 0;
  font-size: clamp(27px, 3vw, 38px);
  letter-spacing: -0.04em;
  line-height: 1.05;
}

.check-list {
  display: grid;
  gap: 0;
  margin: 28px 0 0;
  padding: 0;
  border-top: 1px solid var(--rule);
  list-style: none;
}

.check-list li {
  display: grid;
  grid-template-columns: 34px minmax(0, 1fr);
  gap: 10px;
  align-items: start;
  padding: 13px 0;
  border-bottom: 1px solid var(--rule);
  color: var(--ink-soft);
  font-size: 13px;
  font-weight: 650;
}

.check-list li span {
  color: var(--signal);
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 750;
}

.check-list code {
  overflow-wrap: normal;
  word-break: normal;
  font-size: 11px;
}

.verifier-boundary,
.result-boundary,
.verifier-error > p {
  margin: 22px 0 0;
  color: var(--muted);
  font-size: 13px;
}

.verifier-loading,
.verifier-error {
  display: grid;
  min-height: 380px;
  align-content: center;
  justify-items: center;
  text-align: center;
}

.verifier-loading > p,
.verifier-error > p {
  max-width: 390px;
}

.loading-orbit {
  position: relative;
  width: 78px;
  height: 78px;
  margin-bottom: 26px;
  border: 1px solid var(--rule-strong);
  border-radius: 50%;
  animation: spin 2.4s linear infinite;
}

.loading-orbit::before,
.loading-orbit::after {
  position: absolute;
  border: 1px solid var(--rule);
  border-radius: 50%;
  content: "";
}

.loading-orbit::before {
  inset: 11px;
}

.loading-orbit::after {
  inset: 25px;
  background: var(--signal-soft);
}

.loading-orbit span {
  position: absolute;
  z-index: 1;
  top: 4px;
  left: 34px;
  width: 9px;
  height: 9px;
  border-radius: 50%;
  background: var(--signal-bright);
  box-shadow: 0 0 0 5px color-mix(in srgb, var(--signal-bright) 15%, transparent);
}

@keyframes spin {
  to { transform: rotate(360deg); }
}

.result-kicker {
  margin: 0 0 9px;
  color: var(--muted);
  font-size: 9px;
  font-weight: 750;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.result-summary {
  margin: 14px 0 24px;
  color: var(--ink-soft);
  font-size: 15px;
  line-height: 1.5;
}

.result-facts {
  display: grid;
  margin: 0;
  border-top: 1px solid var(--rule-strong);
}

.result-facts > div {
  display: grid;
  grid-template-columns: minmax(110px, 0.72fr) minmax(0, 1.28fr);
  gap: 14px;
  padding: 11px 0;
  border-bottom: 1px solid var(--rule);
}

.result-facts dt,
.result-facts dd {
  min-width: 0;
  margin: 0;
  font-size: 12px;
}

.result-facts dt {
  color: var(--muted);
}

.result-facts dd {
  overflow-wrap: anywhere;
  color: var(--ink-soft);
  font-weight: 700;
  text-align: right;
}

.comparison-section,
.settlement-section {
  margin-top: 24px;
}

.settlement-heading,
.settlement-card-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
}

.settlement-heading {
  margin-bottom: 10px;
}

.settlement-heading h3 {
  margin: 0;
  font-size: 15px;
}

.settlement-heading span {
  color: var(--muted);
  font-size: 9px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.comparison-list {
  display: grid;
  gap: 9px;
}

.comparison-card {
  padding: 13px 14px;
  border: 1px solid var(--rule);
  border-radius: var(--radius-sm);
  background: color-mix(in srgb, var(--surface-solid) 82%, transparent);
}

.comparison-card[data-status="matched"] {
  border-color: color-mix(in srgb, var(--signal) 28%, var(--rule));
}

.comparison-card[data-status="mismatched"] {
  border-color: color-mix(in srgb, var(--warning) 45%, var(--rule));
  background: color-mix(in srgb, var(--warning-soft) 38%, var(--surface-solid));
}

.comparison-card[data-status="declared_only"],
.comparison-card[data-status="not_evaluated"] {
  border-color: color-mix(in srgb, var(--cobalt) 28%, var(--rule));
}

.comparison-card-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding-bottom: 9px;
  border-bottom: 1px solid var(--rule);
}

.comparison-card-head strong,
.comparison-card-head span {
  font-size: 9px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.comparison-card-head span {
  color: var(--muted);
  font-weight: 760;
}

.comparison-card[data-status="matched"] .comparison-card-head span {
  color: var(--signal);
}

.comparison-card[data-status="mismatched"] .comparison-card-head span {
  color: var(--warning);
}

.comparison-card[data-status="declared_only"] .comparison-card-head span,
.comparison-card[data-status="not_evaluated"] .comparison-card-head span {
  color: var(--cobalt);
}

.comparison-card dl,
.observed-payment {
  display: grid;
  gap: 7px;
  margin: 10px 0 0;
}

.comparison-card dl > div,
.observed-payment > div {
  display: grid;
  grid-template-columns: minmax(88px, 0.42fr) minmax(0, 1fr);
  gap: 10px;
}

.comparison-card dt,
.comparison-card dd,
.observed-payment dt,
.observed-payment dd {
  min-width: 0;
  margin: 0;
  font-size: 10px;
}

.comparison-card dt,
.observed-payment dt {
  color: var(--muted);
}

.comparison-card dd,
.observed-payment dd {
  overflow-wrap: anywhere;
  color: var(--ink-soft);
  text-align: right;
}

.observed-payment {
  padding: 13px 14px;
  border: 1px solid var(--rule);
  border-radius: var(--radius-sm);
  background: color-mix(in srgb, var(--surface-solid) 82%, transparent);
}

.settlement-list {
  display: grid;
  gap: 9px;
}

.settlement-card {
  padding: 13px 14px;
  border: 1px solid var(--rule);
  border-radius: var(--radius-sm);
  background: color-mix(in srgb, var(--surface-solid) 82%, transparent);
}

.settlement-card-head {
  padding-bottom: 9px;
  border-bottom: 1px solid var(--rule);
}

.settlement-card-head strong {
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.settlement-card-head span {
  color: var(--signal);
  font-size: 13px;
  font-weight: 760;
}

.settlement-card dl {
  display: grid;
  gap: 7px;
  margin: 10px 0 0;
}

.settlement-card dl div {
  display: grid;
  grid-template-columns: 62px minmax(0, 1fr);
  gap: 10px;
}

.settlement-card dt,
.settlement-card dd {
  min-width: 0;
  margin: 0;
  font-size: 10px;
}

.settlement-card dt {
  color: var(--muted);
}

.settlement-card dd {
  overflow-wrap: anywhere;
  color: var(--ink-soft);
  font-family: var(--mono);
  text-align: right;
}

.truncation-note {
  margin: 9px 0 0;
  color: var(--amber);
  font-size: 11px;
}

.result-boundary {
  padding: 14px 16px;
  border-left: 3px solid var(--cobalt);
  background: var(--cobalt-soft);
}

.result-boundary strong {
  color: var(--cobalt);
  font-size: 11px;
  text-transform: uppercase;
}

.result-boundary p {
  margin: 5px 0 0;
  color: var(--ink-soft);
}

.secondary-action {
  width: 100%;
  margin-top: 18px;
  padding: 10px 16px;
  border-color: var(--rule-strong);
  background: var(--surface-solid);
  color: var(--ink);
}

.secondary-action:hover {
  border-color: var(--signal);
  color: var(--signal);
  transform: translateY(-1px);
}

.report-actions {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 9px;
  margin-top: 18px;
}

.report-actions .secondary-action {
  width: auto;
  margin: 0;
  padding-inline: 11px;
  font-size: 11px;
}

.error-mark {
  display: grid;
  width: 54px;
  height: 54px;
  margin-bottom: 22px;
  place-items: center;
  border: 1px solid color-mix(in srgb, var(--warning) 45%, transparent);
  border-radius: 50%;
  background: var(--warning-soft);
  color: var(--warning);
  font-family: var(--mono);
  font-size: 22px;
  font-weight: 800;
}

.section-shell {
  padding: clamp(70px, 9vw, 116px) 0;
  border-top: 1px solid var(--rule-strong);
}

.live-section {
  padding-top: 54px;
  padding-bottom: 74px;
}

.section-heading {
  display: grid;
  grid-template-columns: minmax(260px, 0.8fr) minmax(300px, 1fr);
  gap: 50px;
  align-items: end;
  margin-bottom: 42px;
}

.section-heading h2 {
  margin: 8px 0 0;
  font-size: clamp(34px, 5vw, 58px);
  letter-spacing: -0.055em;
  line-height: 0.98;
}

.section-intro {
  max-width: 650px;
  margin: 0;
  color: var(--muted);
  font-size: 16px;
}

.status-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  border-top: 1px solid var(--rule-strong);
  border-bottom: 1px solid var(--rule-strong);
}

.status-card {
  min-width: 0;
  padding: 22px 24px 24px;
  background: color-mix(in srgb, var(--surface) 76%, transparent);
}

.status-card + .status-card {
  border-left: 1px solid var(--rule);
}

.status-card[data-state="verified"] {
  box-shadow: inset 0 3px 0 var(--signal);
}

.status-card[data-state="degraded"],
.status-card[data-state="unverified"] {
  box-shadow: inset 0 3px 0 var(--warning);
}

.status-card-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  margin-bottom: 22px;
}

.status-source {
  color: var(--ink);
  font-size: 11px;
  font-weight: 700;
}

.state-label {
  color: var(--faint);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

[data-state="verified"] .state-label {
  color: var(--signal);
}

[data-state="degraded"] .state-label,
[data-state="unverified"] .state-label {
  color: var(--warning);
}

.status-card dl {
  display: grid;
  gap: 10px;
  margin: 0;
}

.status-card dl div {
  display: grid;
  grid-template-columns: minmax(120px, 1fr) minmax(0, 1.1fr);
  gap: 12px;
}

.status-card dt,
.status-card dd {
  min-width: 0;
  margin: 0;
  font-size: 12px;
}

.status-card dt {
  color: var(--muted);
}

.status-card dd {
  overflow-wrap: anywhere;
  color: var(--ink-soft);
  font-weight: 700;
  text-align: right;
}

.status-note {
  margin: 14px 0 0;
  color: var(--muted);
  font-size: 12px;
}

.layer-stack {
  position: relative;
  display: grid;
  gap: 14px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.layer-stack::before {
  position: absolute;
  top: 26px;
  bottom: 26px;
  left: 37px;
  width: 1px;
  background: linear-gradient(var(--signal), var(--cobalt));
  content: "";
}

.layer-card {
  position: relative;
  display: grid;
  grid-template-columns: 74px minmax(0, 1fr) minmax(190px, 0.35fr);
  gap: 22px;
  align-items: center;
  min-height: 142px;
  padding: 24px 26px 24px 0;
  border: 1px solid var(--rule);
  border-radius: var(--radius);
  background: var(--surface);
  transition: border-color 160ms ease, transform 160ms ease;
}

.layer-card:hover {
  border-color: var(--rule-strong);
  transform: translateX(4px);
}

.layer-number {
  position: relative;
  z-index: 1;
  display: grid;
  width: 42px;
  height: 42px;
  margin-inline: auto;
  place-items: center;
  border: 1px solid var(--signal);
  border-radius: 50%;
  background: var(--surface-solid);
  color: var(--signal);
  font-size: 10px;
  font-weight: 800;
}

.layer-title-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
}

.layer-main h3 {
  margin: 0;
  font-size: 22px;
  letter-spacing: -0.035em;
}

.layer-main h3 span {
  color: var(--signal);
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0;
  vertical-align: top;
}

.layer-main p {
  max-width: 680px;
  margin: 10px 0 0;
  color: var(--muted);
  font-size: 14px;
}

.layer-state {
  flex: none;
  padding: 4px 8px;
  border: 1px solid color-mix(in srgb, var(--signal) 30%, transparent);
  border-radius: 999px;
  background: var(--signal-soft);
  color: var(--signal);
  font-family: var(--mono);
  font-size: 9px;
  font-weight: 800;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.layer-output {
  padding-left: 20px;
  border-left: 1px solid var(--rule);
  color: var(--ink-soft);
  font-size: 11px;
}

.layer-output span {
  display: block;
  margin-bottom: 6px;
  color: var(--muted);
  font-size: 9px;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.table-shell {
  overflow-x: auto;
  border: 1px solid var(--rule-strong);
  border-radius: var(--radius);
  background: var(--surface);
  box-shadow: var(--shadow);
}

table {
  width: 100%;
  min-width: 1080px;
  border-collapse: collapse;
}

caption {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0 0 0 0);
  white-space: nowrap;
}

th,
td {
  padding: 17px 18px;
  border-bottom: 1px solid var(--rule);
  text-align: left;
  vertical-align: middle;
}

thead th {
  background: color-mix(in srgb, var(--surface-solid) 88%, var(--page));
  color: var(--muted);
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

tbody tr:last-child th,
tbody tr:last-child td {
  border-bottom: 0;
}

tbody tr:hover {
  background: color-mix(in srgb, var(--signal-soft) 28%, transparent);
}

tbody th {
  width: 230px;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 11px;
  white-space: nowrap;
}

tbody td {
  color: var(--ink-soft);
  font-size: 13px;
}

tbody td code {
  color: var(--cobalt);
  font-size: 11px;
  font-weight: 700;
}

.evidence-token,
.invariant {
  display: inline-flex;
  align-items: center;
  gap: 6px;
}

.evidence-token::before,
.invariant::before {
  width: 6px;
  height: 6px;
  border-radius: 50%;
  background: var(--faint);
  content: "";
}

.evidence-token.positive::before,
.invariant.pass::before {
  background: var(--signal-bright);
}

.evidence-token.alert::before,
.invariant.block::before {
  background: var(--warning);
}

.invariant {
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 750;
  text-transform: uppercase;
}

.invariant.pass {
  color: var(--signal);
}

.invariant.block {
  color: var(--warning);
}

.matrix-footnote {
  max-width: 850px;
  margin: 20px 0 0;
  color: var(--muted);
  font-size: 13px;
}

.limits-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 14px;
}

.limit-card {
  position: relative;
  min-height: 230px;
  padding: 28px;
  border: 1px solid var(--rule);
  border-radius: var(--radius);
  background: var(--surface);
}

.limit-card.critical {
  border-color: color-mix(in srgb, var(--warning) 35%, var(--rule));
}

.limit-value {
  display: inline-block;
  margin-bottom: 34px;
  padding: 4px 9px;
  border: 1px solid var(--rule-strong);
  border-radius: 999px;
  color: var(--warning);
  font-size: 10px;
  font-weight: 800;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.limit-card h3 {
  margin: 0;
  font-size: 22px;
  letter-spacing: -0.035em;
}

.limit-card p {
  max-width: 520px;
  margin: 12px 0 0;
  color: var(--muted);
  font-size: 14px;
}

.truth-banner {
  display: grid;
  grid-template-columns: 170px 1fr;
  gap: 30px;
  margin-top: 14px;
  padding: 27px 28px;
  border: 1px solid var(--rule-strong);
  border-radius: var(--radius);
  background: var(--ink);
  color: var(--page);
}

.truth-banner strong {
  color: var(--signal-bright);
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.truth-banner p {
  margin: 0;
  color: color-mix(in srgb, var(--page) 74%, transparent);
  font-size: 14px;
}

.truth-banner code {
  color: var(--surface-raised);
}

:root[data-theme="dark"] .truth-banner {
  background: var(--surface-raised);
  color: var(--ink);
}

:root[data-theme="dark"] .truth-banner strong {
  color: var(--signal);
}

:root[data-theme="dark"] .truth-banner p {
  color: var(--muted);
}

:root[data-theme="dark"] .truth-banner code {
  color: var(--ink);
}

.site-footer {
  display: flex;
  justify-content: space-between;
  gap: 30px;
  padding: 34px 0 54px;
  border-top: 1px solid var(--rule-strong);
  color: var(--muted);
  font-size: 12px;
}

.site-footer div {
  display: grid;
}

.site-footer strong {
  color: var(--ink);
}

.site-footer p {
  margin: 0;
  text-align: right;
}

@media (max-width: 980px) {
  .site-header {
    grid-template-columns: auto 1fr;
  }

  .site-nav {
    display: none;
  }

  .header-tools {
    justify-self: end;
  }

  .hero {
    grid-template-columns: minmax(0, 1fr);
    min-height: auto;
    padding-top: 100px;
  }

  .verifier-panel {
    min-height: 0;
  }

  .status-grid {
    grid-template-columns: 1fr;
  }

  .status-card + .status-card {
    border-top: 1px solid var(--rule);
    border-left: 0;
  }

  .layer-card {
    grid-template-columns: 72px minmax(0, 1fr);
  }

  .layer-output {
    grid-column: 2;
    padding: 12px 0 0;
    border-top: 1px solid var(--rule);
    border-left: 0;
  }
}

@media (max-width: 720px) {
  .site-header {
    min-height: 64px;
    padding-inline: 16px;
  }

  .brand-copy small,
  .live-chip {
    display: none;
  }

  .theme-toggle {
    width: 36px;
    justify-content: center;
    padding: 7px;
  }

  .theme-toggle #theme-label {
    position: absolute;
    width: 1px;
    height: 1px;
    overflow: hidden;
    clip: rect(0 0 0 0);
  }

  .hero,
  .section-shell,
  .site-footer {
    width: min(calc(100% - 30px), var(--content));
  }

  .hero {
    padding: 74px 0 62px;
  }

  .hero h1 {
    margin-top: 18px;
    font-size: clamp(44px, 14vw, 72px);
  }

  .form-actions {
    grid-template-columns: 1fr;
  }

  .form-actions #verify-button,
  .form-actions .secondary-action {
    width: 100%;
    min-height: 54px;
  }

  .form-field input,
  .form-field textarea {
    font-size: 16px;
  }

  .field-label-row {
    align-items: flex-start;
    flex-direction: column;
    gap: 3px;
  }

  .field-label-row span {
    text-align: left;
  }

  .verifier-locks {
    display: grid;
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .verifier-panel {
    padding: 24px 20px;
  }

  .result-facts > div {
    grid-template-columns: 96px minmax(0, 1fr);
  }

  .settlement-card dl div {
    grid-template-columns: 54px minmax(0, 1fr);
  }

  .comparison-card dl > div,
  .observed-payment > div {
    grid-template-columns: 78px minmax(0, 1fr);
  }

  .report-actions {
    grid-template-columns: 1fr;
  }

  .report-actions .secondary-action {
    min-height: 48px;
  }

  .section-heading {
    grid-template-columns: 1fr;
    gap: 20px;
    margin-bottom: 30px;
  }

  .section-heading h2 {
    font-size: 40px;
  }

  .layer-stack::before {
    left: 29px;
  }

  .layer-card {
    grid-template-columns: 58px minmax(0, 1fr);
    gap: 10px;
    padding: 22px 18px 22px 0;
  }

  .layer-number {
    width: 34px;
    height: 34px;
  }

  .layer-title-row {
    align-items: flex-start;
    flex-direction: column;
    gap: 8px;
  }

  .layer-output {
    grid-column: 2;
  }

  .limits-grid {
    grid-template-columns: 1fr;
  }

  .limit-card {
    min-height: auto;
  }

  .truth-banner {
    grid-template-columns: 1fr;
    gap: 14px;
  }

  .site-footer {
    align-items: flex-start;
    flex-direction: column;
  }

  .site-footer p {
    text-align: left;
  }
}

@media (max-width: 420px) {
  .verifier-locks {
    grid-template-columns: 1fr;
  }

  .result-facts > div,
  .comparison-card dl > div,
  .observed-payment > div {
    grid-template-columns: 1fr;
    gap: 3px;
  }

  .result-facts dd,
  .comparison-card dd,
  .observed-payment dd {
    text-align: left;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
  }
}

@media print {
  .site-header,
  .hero-grid {
    display: none;
  }

  body {
    background: white;
  }

  .hero {
    min-height: auto;
    padding-top: 50px;
  }

  .section-shell {
    break-inside: avoid;
  }
}