/* ============================================================
   DUAL ATTESTATION PROTOCOL — specification page
   Extends style.css. Reads as a technical document: narrow
   measure, numbered sections, mono for every artifact.
   ============================================================ */

.spec-page {
  --doc-measure: 74ch;
  /* Long prose reads better without a strong grid behind it. */
  --grid-line: rgba(22, 26, 24, 0.022);
}
[data-theme='dark'] .spec-page,
.spec-page[data-theme='dark'] {
  --grid-line: rgba(215, 220, 216, 0.018);
}

/* ---------- DOC HERO ---------- */
.doc-hero {
  padding: calc(var(--space-16) + 3.5rem) 0 var(--space-16);
  border-bottom: 1px solid var(--color-border);
  background: linear-gradient(to bottom, var(--color-surface-offset), var(--color-bg));
}
.doc-eyebrow {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--color-primary);
  margin-top: var(--space-6);
}
.doc-hero h1 {
  font-family: var(--font-display);
  font-size: var(--text-2xl);
  font-weight: 800;
  line-height: 1.02;
  letter-spacing: -0.035em;
  margin-top: var(--space-3);
  max-width: 22ch;
}
.doc-lede {
  margin-top: var(--space-6);
  font-size: var(--text-base);
  line-height: 1.62;
  color: var(--color-text-muted);
  max-width: 62ch;
}
.doc-claim {
  margin-top: var(--space-6);
  padding: var(--space-4) var(--space-5);
  border-left: 3px solid var(--color-primary);
  background: var(--color-surface);
  border-radius: 0 var(--radius-md) var(--radius-md) 0;
  font-size: var(--text-base);
  line-height: 1.55;
  color: var(--color-text-muted);
  max-width: 62ch;
}
.doc-claim strong {
  color: var(--color-text);
  font-weight: 700;
}

.doc-meta {
  margin-top: var(--space-10);
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(min(100%, 190px), 1fr));
  gap: 1px;
  background: var(--color-border);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  overflow: hidden;
}
.doc-meta > div {
  background: var(--color-surface);
  padding: var(--space-4) var(--space-5);
  font-size: var(--text-sm);
  color: var(--color-text);
}
.doc-meta span {
  display: block;
  font-family: var(--font-mono);
  font-size: 0.6875rem;
  letter-spacing: 0.09em;
  text-transform: uppercase;
  color: var(--color-text-faint);
  margin-bottom: var(--space-1);
}

/* ---------- BANDS ---------- */
.band {
  padding: var(--space-20) 0;
  border-bottom: 1px solid var(--color-divider);
}
.band--alt {
  background: var(--color-surface-offset);
}
.band--demo {
  background:
    radial-gradient(1100px 460px at 15% 0%, var(--color-primary-soft), transparent 70%),
    var(--color-bg);
}
.band--close {
  background: var(--color-surface-offset);
  border-bottom: none;
}

/* ---------- DOC TYPOGRAPHY ---------- */
.doc {
  max-width: var(--doc-measure);
}
.doc h2 {
  font-family: var(--font-display);
  font-size: var(--text-xl);
  font-weight: 800;
  letter-spacing: -0.028em;
  line-height: 1.12;
  margin-bottom: var(--space-6);
  display: flex;
  align-items: baseline;
  gap: var(--space-4);
}
.doc h2 .num,
.doc h3 .num {
  font-family: var(--font-mono);
  font-weight: 500;
  letter-spacing: 0;
  color: var(--color-primary);
  flex: none;
}
.doc h2 .num {
  font-size: 0.5em;
}
.doc h3 {
  font-family: var(--font-display);
  font-size: var(--text-lg);
  font-weight: 700;
  letter-spacing: -0.02em;
  margin-top: var(--space-12);
  margin-bottom: var(--space-4);
  display: flex;
  align-items: baseline;
  gap: var(--space-3);
}
.doc h3 .num {
  font-size: 0.66em;
}
.doc h4 {
  font-family: var(--font-display);
  font-size: var(--text-base);
  font-weight: 700;
  letter-spacing: -0.012em;
  margin-bottom: var(--space-2);
}
.doc p {
  font-size: var(--text-sm);
  line-height: 1.68;
  color: var(--color-text-muted);
}
.doc p + p {
  margin-top: var(--space-4);
}
.doc strong {
  color: var(--color-text);
  font-weight: 700;
}
.doc em {
  font-style: italic;
}
.doc a {
  color: var(--color-primary);
  text-decoration: underline;
  text-decoration-thickness: 1px;
  text-underline-offset: 0.18em;
  text-decoration-color: color-mix(in srgb, var(--color-primary) 45%, transparent);
  transition: color var(--transition-interactive);
}
.doc a:hover {
  color: var(--color-primary-hover);
  text-decoration-color: currentColor;
}
.doc code {
  font-family: var(--font-mono);
  font-size: 0.86em;
  background: var(--color-primary-soft);
  color: var(--color-primary);
  padding: 0.1em 0.36em;
  border-radius: var(--radius-sm);
  word-break: break-word;
}
.doc > .table-scroll,
.doc > .callout,
.doc > .warn-note,
.doc > .legal-note,
.doc > .two-up,
.doc > .code,
.doc > .ladder,
.doc > .stages,
.doc > .opens,
.doc > .fielddl,
.doc > ul {
  margin-top: var(--space-6);
}

/* ---------- CODE ---------- */
.code {
  background: #0b0e0c;
  border: 1px solid #2a312c;
  border-radius: var(--radius-md);
  padding: var(--space-5);
  overflow-x: auto;
  -webkit-overflow-scrolling: touch;
}
.code code {
  font-family: var(--font-mono);
  font-size: 0.8125rem;
  line-height: 1.72;
  color: #cfe3d8;
  background: none;
  padding: 0;
  white-space: pre;
  word-break: normal;
}
.code--tight {
  padding: var(--space-3) var(--space-4);
  margin: var(--space-3) 0;
}

/* ---------- DEFINITION LIST ---------- */
.fielddl {
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  background: var(--color-surface);
  overflow: hidden;
}
.fielddl dt {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  letter-spacing: 0.05em;
  color: var(--color-primary);
  padding: var(--space-4) var(--space-5) var(--space-1);
  border-top: 1px solid var(--color-divider);
}
.fielddl dt:first-child {
  border-top: none;
}
.fielddl dd {
  padding: 0 var(--space-5) var(--space-4);
  font-size: var(--text-sm);
  line-height: 1.66;
  color: var(--color-text-muted);
}

/* ---------- CALLOUTS ---------- */
.warn-note {
  border: 1px solid var(--color-warn);
  border-left-width: 3px;
  background: var(--color-warn-soft);
  border-radius: var(--radius-md);
  padding: var(--space-5) var(--space-6);
}
.warn-note p,
.warn-note li {
  color: var(--color-text);
}
.warn-note .callout-label {
  color: var(--color-warn);
}
.warn-note .tick-list {
  margin-top: var(--space-3);
}

/* ---------- TWO UP ---------- */
.two-up {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(min(100%, 270px), 1fr));
  gap: var(--space-4);
}
.mini {
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  background: var(--color-surface);
  padding: var(--space-5);
}
.mini p {
  font-size: var(--text-sm);
}

/* ---------- STAGES ---------- */
.stages {
  list-style: none;
  display: grid;
  gap: 1px;
  background: var(--color-border);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  overflow: hidden;
}
.stages li {
  background: var(--color-surface);
  padding: var(--space-5) var(--space-6);
  display: grid;
  grid-template-columns: 3.25rem 1fr;
  gap: var(--space-4);
  align-items: start;
}
.stage-n {
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  color: var(--color-primary);
  padding-top: 0.1rem;
}
.stage-rule {
  margin-top: var(--space-3);
  padding: var(--space-3) var(--space-4);
  border-left: 2px solid var(--color-primary);
  background: var(--color-bg);
  border-radius: 0 var(--radius-sm) var(--radius-sm) 0;
  font-size: var(--text-xs) !important;
}

/* ---------- LADDER ---------- */
.ladder {
  display: grid;
  gap: var(--space-3);
}
.rung {
  border: 1px solid var(--color-border);
  border-left: 3px solid var(--color-border);
  border-radius: var(--radius-md);
  background: var(--color-surface);
  padding: var(--space-5) var(--space-6);
  display: grid;
  grid-template-columns: 2.25rem 1fr;
  gap: var(--space-4);
  align-items: start;
}
.rung--accent {
  border-left-color: var(--color-primary);
  background: var(--color-surface-2);
}
.rung-n {
  font-family: var(--font-mono);
  font-size: var(--text-base);
  font-weight: 500;
  color: var(--color-primary);
  line-height: 1.3;
}

/* ---------- OPEN ITEMS ---------- */
.opens {
  list-style: none;
  counter-reset: op;
  display: grid;
  gap: var(--space-3);
}
.opens li {
  counter-increment: op;
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  background: var(--color-surface);
  padding: var(--space-5) var(--space-6);
  position: relative;
  padding-left: calc(var(--space-6) + 2.25rem);
}
.opens li::before {
  content: counter(op, decimal-leading-zero);
  position: absolute;
  left: var(--space-6);
  top: var(--space-5);
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  color: var(--color-primary);
}
.opens h4 {
  display: flex;
  align-items: center;
  gap: var(--space-3);
  flex-wrap: wrap;
}
.tagx {
  font-family: var(--font-mono);
  font-size: 0.625rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--color-warn);
  background: var(--color-warn-soft);
  border: 1px solid color-mix(in srgb, var(--color-warn) 35%, transparent);
  border-radius: var(--radius-full);
  padding: 0.14rem 0.5rem;
  font-weight: 400;
}

/* ---------- VECTOR TABLE ---------- */
.vec {
  font-size: var(--text-xs);
}
.vec td,
.vec th {
  white-space: nowrap;
}
.vec .r {
  text-align: right;
  font-family: var(--font-mono);
}
.vec .b {
  font-weight: 700;
  color: var(--color-text);
}
.pill {
  display: inline-block;
  font-family: var(--font-mono);
  font-size: 0.625rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  border-radius: var(--radius-full);
  padding: 0.14rem 0.5rem;
  border: 1px solid transparent;
}
.pill--ok {
  color: var(--color-primary);
  background: var(--color-primary-soft);
  border-color: color-mix(in srgb, var(--color-primary) 35%, transparent);
}
.pill--esc {
  color: var(--color-info);
  background: var(--color-info-soft);
  border-color: color-mix(in srgb, var(--color-info) 35%, transparent);
}
.pill--def {
  color: var(--color-alert);
  background: var(--color-alert-soft);
  border-color: color-mix(in srgb, var(--color-alert) 35%, transparent);
}

/* ---------- DEMO ---------- */
.demo-h {
  font-family: var(--font-display);
  font-size: var(--text-xl);
  font-weight: 800;
  letter-spacing: -0.028em;
  margin: var(--space-3) 0 var(--space-4);
}
.demo {
  margin-top: var(--space-8);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-lg);
  background: var(--color-surface);
  padding: var(--space-6);
  box-shadow: var(--shadow-md);
}
.demo-inputs {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(min(100%, 210px), 1fr));
  gap: var(--space-4);
}
.field {
  display: grid;
  gap: var(--space-1);
}
.field label {
  font-family: var(--font-mono);
  font-size: 0.6875rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--color-text-muted);
}
.field input {
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  color: var(--color-text);
  background: var(--color-bg);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-sm);
  padding: 0.55rem 0.7rem;
  width: 100%;
  transition: border-color var(--transition-interactive),
    box-shadow var(--transition-interactive);
}
.field input:focus-visible {
  outline: none;
  border-color: var(--color-primary);
  box-shadow: 0 0 0 3px var(--color-primary-soft);
}
.field-hint {
  font-size: 0.6875rem;
  color: var(--color-text-faint);
  line-height: 1.4;
}

.demo-actions {
  margin-top: var(--space-6);
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-3);
}
.btn {
  font-family: var(--font-body);
  font-size: var(--text-sm);
  font-weight: 700;
  color: var(--color-text-inverse);
  background: var(--color-primary);
  border: 1px solid var(--color-primary);
  border-radius: var(--radius-sm);
  padding: 0.6rem 1.05rem;
  cursor: pointer;
  transition: background var(--transition-interactive),
    transform var(--transition-interactive), opacity var(--transition-interactive);
}
.btn:hover:not(:disabled) {
  background: var(--color-primary-hover);
  border-color: var(--color-primary-hover);
  transform: translateY(-1px);
}
.btn:disabled {
  opacity: 0.42;
  cursor: not-allowed;
}
.btn--ghost {
  color: var(--color-text);
  background: transparent;
  border-color: var(--color-border);
}
.btn--ghost:hover:not(:disabled) {
  background: var(--color-surface-offset);
  border-color: var(--color-text-muted);
  color: var(--color-text);
}
/* `.doc a` is more specific than `.btn`, so buttons inside the document
   body need the class-plus-element form or they inherit link colour and
   disappear against their own background. */
a.btn,
.doc a.btn {
  text-decoration: none;
  display: inline-block;
  color: var(--color-text-inverse);
}
a.btn:hover,
.doc a.btn:hover {
  color: var(--color-text-inverse);
}
.doc a.btn--ghost,
.doc a.btn--ghost:hover {
  color: var(--color-text);
}

.demo-stage {
  margin-top: var(--space-6);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  background: #0b0e0c;
  overflow: hidden;
}
.stage-row {
  display: grid;
  grid-template-columns: 8.5rem 1fr;
  gap: var(--space-4);
  padding: 0.62rem var(--space-5);
  border-top: 1px solid #21271f;
  align-items: baseline;
}
.stage-row:first-child {
  border-top: none;
}
.stage-tag {
  font-family: var(--font-mono);
  font-size: 0.6875rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: #7d8a80;
}
.stage-val {
  font-family: var(--font-body);
  font-size: var(--text-sm);
  color: #dfe6e0;
  line-height: 1.55;
  overflow-wrap: anywhere;
}
.stage-val.mono,
code.stage-val {
  font-family: var(--font-mono);
  font-size: 0.75rem;
  color: #63d6a3;
  background: none;
  padding: 0;
}
.stage-val.ok {
  color: #63d6a3;
}
.stage-val.warn {
  color: #e0a765;
}
.stage-val.bad {
  color: #e88397;
}
.stage-val.big {
  font-family: var(--font-display);
  font-size: var(--text-lg);
  font-weight: 700;
  color: #ffffff;
  letter-spacing: -0.02em;
}
.stage-row--out,
.stage-row--total {
  background: #0f1411;
}

.demo-note {
  margin-top: var(--space-4);
  font-size: var(--text-sm);
  line-height: 1.62;
  color: var(--color-text-muted);
  min-height: 1.2rem;
}
.demo-note--ok {
  color: var(--color-primary);
}
.demo-note--bad {
  color: var(--color-alert);
}
.selfcheck {
  display: inline-block;
  margin-top: var(--space-4);
  font-family: var(--font-mono);
  font-size: 0.6875rem;
  letter-spacing: 0.05em;
  padding: 0.22rem 0.6rem;
  border-radius: var(--radius-full);
  border: 1px solid transparent;
}
.selfcheck.ok {
  color: var(--color-primary);
  background: var(--color-primary-soft);
  border-color: color-mix(in srgb, var(--color-primary) 35%, transparent);
}
.selfcheck.bad {
  color: var(--color-alert);
  background: var(--color-alert-soft);
  border-color: color-mix(in srgb, var(--color-alert) 35%, transparent);
}

/* ---------- CLOSE ---------- */
.close-lede {
  font-size: var(--text-base) !important;
  line-height: 1.6;
}
.close-cta {
  margin-top: var(--space-8);
}

/* ---------- REVEAL ----------
   Fail-safe: the hidden state is scoped to html.js-reveal, which the
   script only adds once it has confirmed IntersectionObserver support.
   If the script never runs, or throws, content stays visible rather
   than sitting at opacity 0 forever. */
.js-reveal .reveal {
  opacity: 0;
  transform: translateY(12px);
  transition: opacity 620ms cubic-bezier(0.16, 1, 0.3, 1),
    transform 620ms cubic-bezier(0.16, 1, 0.3, 1);
}
.js-reveal .reveal.in {
  opacity: 1;
  transform: none;
}
@media (prefers-reduced-motion: reduce) {
  .js-reveal .reveal {
    opacity: 1;
    transform: none;
    transition: none;
  }
  .btn:hover,
  .spec-link-cta:hover {
    transform: none;
  }
}

/* ---------- RESPONSIVE ---------- */
@media (max-width: 760px) {
  .doc-hero {
    padding-top: calc(var(--space-16) + 3rem);
  }
  .band {
    padding: var(--space-16) 0;
  }
  .doc h2 {
    flex-direction: column;
    gap: var(--space-1);
  }
  .stage-row {
    grid-template-columns: 1fr;
    gap: var(--space-1);
  }
  .stages li,
  .rung {
    grid-template-columns: 1fr;
    gap: var(--space-2);
  }
  .opens li {
    padding-left: var(--space-5);
    padding-top: calc(var(--space-5) + 1.4rem);
  }
  .opens li::before {
    top: var(--space-4);
    left: var(--space-5);
  }
}

.selfcheck:empty {
  display: none;
}

/* ---------- SHRINK GUARDS ----------
   Grid/flex children default to min-width:auto, which lets a
   `white-space: pre` code block force the whole page wider than
   the viewport. Explicit min-width:0 keeps every container able
   to shrink so only the code block itself scrolls. */
.doc > *,
.ladder,
.rung,
.rung > *,
.stages,
.stages li,
.stages li > *,
.two-up > *,
.mini > *,
.opens li > *,
.fielddl,
.fielddl > *,
.demo,
.demo > *,
.demo-inputs > *,
.field > *,
.demo-stage,
.stage-row > * {
  min-width: 0;
}
.code {
  max-width: 100%;
}

/* ---------- ARTIFACT LIST ---------- */
.artifacts {
  list-style: none;
  margin-top: var(--space-5);
  display: grid;
  gap: 1px;
  background: var(--color-border);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  overflow: hidden;
}
.artifacts li {
  background: var(--color-surface);
  padding: var(--space-4) var(--space-5);
  display: grid;
  grid-template-columns: 13rem 1fr;
  gap: var(--space-4);
  align-items: baseline;
  min-width: 0;
}
.artifacts li > * {
  min-width: 0;
}
.artifacts a code {
  background: none;
  padding: 0;
  font-size: var(--text-sm);
}
.artifacts span {
  font-size: var(--text-sm);
  line-height: 1.6;
  color: var(--color-text-muted);
}
.close-cta {
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-3);
}
@media (max-width: 760px) {
  .artifacts li {
    grid-template-columns: 1fr;
    gap: var(--space-1);
  }
}