/* Proof bench + compose-confirm modal + verifier matrix —
 * see docs/UX.md §Proof Bench, §Disclosure, docs/STYLE-GUIDE.md §11.
 *
 * The compose-confirm modal uses the lapis bounded-exception border
 * per STYLE-GUIDE §9.3 — considered disclosure is the one place lapis
 * appears as primary chrome, not as punctuation. */

.proofs-hero {
  min-height: 100dvh;
  padding: var(--space-12) var(--space-6) var(--space-12);
  color: var(--color-text-body);
  display: grid;
  align-content: start;
}

.proofs-column {
  display: grid;
  width: min(100%, 1120px);
  margin-inline: auto;
  gap: var(--space-5);
  text-align: left;
}

/* Session-dev-key honesty banner. */
.proofs-notice {
  background: var(--color-accent-bounded-subtle);
  border-inline-start: 3px solid var(--color-accent-bounded);
  border-radius: var(--radius-md);
  padding: var(--space-3) var(--space-4);
  font-family: var(--font-sans);
  font-size: 0.875rem;
  line-height: 1.5;
  color: var(--color-text-bounded);
  margin: 0;
}

.proofs-card {
  display: grid;
  gap: var(--space-2);
  padding: var(--space-5);
  background: var(--color-bg-elevated);
  border-radius: var(--radius-lg);
  border: 1px solid var(--color-border-secondary);
}

.proofs-card-title {
  font-family: var(--font-display);
  font-size: 1.375rem;
  font-weight: 500;
  color: var(--color-text-heading);
  margin: 0;
}

.proofs-card-body {
  font-family: var(--font-sans);
  font-size: 1rem;
  line-height: 1.55;
  color: var(--color-text-body);
  margin: 0;
}

.proofs-empty {
  font-family: var(--font-sans);
  font-size: 0.9375rem;
  color: var(--color-text-muted);
  padding: var(--space-4);
  border: 1px dashed var(--color-border-secondary);
  border-radius: var(--radius-md);
  margin: 0;
}

.proofs-builder {
  display: grid;
  grid-template-columns: minmax(0, 1.05fr) minmax(320px, 0.95fr);
  gap: var(--space-4);
  align-items: start;
}

.proofs-panel,
.proofs-preview {
  display: grid;
  gap: var(--space-4);
  padding: var(--space-5);
  background: var(--color-bg-page);
  border: 1px solid var(--color-border-secondary);
  border-radius: var(--radius-md);
}

.proofs-panel h2,
.proofs-preview h2 {
  font-family: var(--font-display);
  font-size: 1.5rem;
  line-height: 1.2;
  font-weight: 500;
  color: var(--color-text-heading);
  margin: 0;
}

.proofs-panel-eyebrow {
  font-family: var(--font-sans);
  font-size: 0.75rem;
  line-height: 1.3;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0;
  color: var(--color-primary-text);
  margin: 0 0 calc(-1 * var(--space-3));
}

.proofs-intent-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: var(--space-3);
}

.proofs-intent,
.proofs-suggestion {
  display: grid;
  gap: var(--space-2);
  padding: var(--space-4);
  background: var(--color-bg-surface);
  border: 1px solid var(--color-border-secondary);
  border-radius: var(--radius-md);
  color: var(--color-text-body);
  font: inherit;
  text-align: left;
  cursor: pointer;
}

.proofs-intent:hover,
.proofs-suggestion:hover {
  border-color: var(--color-primary-accent);
}

.proofs-intent-active {
  background: var(--color-bg-proof-inset);
  border-color: var(--color-primary-accent);
}

.proofs-intent strong,
.proofs-suggestion strong {
  font-family: var(--font-display);
  font-size: 1.25rem;
  line-height: 1.2;
  font-weight: 500;
  color: var(--color-text-heading);
}

.proofs-intent span,
.proofs-suggestion span,
.proofs-suggestion em {
  font-family: var(--font-sans);
  font-size: 0.9375rem;
  line-height: 1.45;
  color: var(--color-text-body);
  font-style: normal;
}

.proofs-suggestion em {
  color: var(--color-primary-text);
  font-weight: 700;
}

.proofs-scope-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: var(--space-3);
}

.proofs-scope-field {
  display: grid;
  gap: var(--space-2);
  padding: var(--space-4);
  background: var(--color-bg-proof-inset);
  border: 1px solid var(--color-border-proof);
  border-radius: var(--radius-md);
}

.proofs-scope-field span,
.proofs-preview dt {
  font-family: var(--font-sans);
  font-size: 0.75rem;
  line-height: 1.3;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0;
  color: var(--color-text-muted);
}

.proofs-scope-field strong,
.proofs-scope-field select,
.proofs-preview dd {
  font-family: var(--font-sans);
  font-size: 0.9375rem;
  line-height: 1.4;
  font-weight: 500;
  color: var(--color-text-heading);
}

.proofs-scope-field select {
  inline-size: 100%;
  min-block-size: 2.5rem;
  padding: var(--space-2);
  background: var(--color-bg-page);
  border: 1px solid var(--color-border-primary);
  border-radius: var(--radius-md);
}

.proofs-suggestions {
  display: grid;
  gap: var(--space-3);
}

.proofs-suggestion-disabled {
  cursor: not-allowed;
  opacity: 0.72;
}

.proofs-preview {
  position: sticky;
  top: var(--space-6);
  background: var(--color-accent-bounded-subtle);
  border-inline-start: 3px solid var(--color-accent-bounded);
}

.proofs-preview dl {
  display: grid;
  gap: var(--space-3);
  margin: 0;
}

.proofs-preview-row {
  display: grid;
  gap: var(--space-1);
}

.proofs-preview dd {
  margin: 0;
}

/* Modal overlay + card. Considered-disclosure callout: lapis-bordered
 * card on a dark scrim, centred. */
.modal-overlay {
  position: fixed;
  inset: 0;
  display: grid;
  place-items: center;
  padding: var(--space-6);
  background: rgba(14, 22, 20, 0.45); /* slate-950 @ 45% */
  z-index: 100;
}

.modal-card {
  position: relative; /* anchor for .composition-overlay */
  width: min(60ch, 100%);
  max-height: 90dvh;
  overflow-y: auto;
  background: var(--color-bg-page);
  border-inline-start: 3px solid var(--color-accent-bounded);
  border-radius: var(--radius-lg);
  padding: var(--space-6);
  display: grid;
  gap: var(--space-4);
  box-shadow: 0 24px 64px -16px rgba(14, 22, 20, 0.35);
}

.modal-title {
  font-family: var(--font-display);
  font-size: 1.5rem;
  font-weight: 500;
  color: var(--color-text-bounded);
  margin: 0;
}

.modal-section {
  display: grid;
  gap: var(--space-2);
}

.modal-section-title {
  font-family: var(--font-display);
  font-size: 1.0625rem;
  font-weight: 500;
  color: var(--color-text-heading);
  margin: 0;
}

.modal-section p,
.modal-section ul {
  font-family: var(--font-sans);
  font-size: 0.9375rem;
  line-height: 1.55;
  color: var(--color-text-body);
  margin: 0;
  padding-inline-start: var(--space-5);
}

.modal-section code {
  font-family: var(--font-mono);
  font-size: 0.875rem;
  background: var(--color-bg-elevated);
  padding: 0 var(--space-1);
  border-radius: var(--radius-sm);
  color: var(--color-primary-text);
}

.modal-actions {
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-3);
  justify-content: flex-end;
  margin-block-start: var(--space-2);
}

.modal-error {
  font-family: var(--font-sans);
  font-size: 0.9375rem;
  color: var(--red-500);
  margin: 0;
}

/* Verifier matrix — every field on its own row, never aggregated. */
.matrix-list {
  list-style: none;
  padding: 0;
  margin: 0;
  display: grid;
  gap: var(--space-2);
  border-block-start: 1px solid var(--color-border-secondary);
  padding-block-start: var(--space-3);
}

.matrix-row {
  display: grid;
  grid-template-columns: 14ch minmax(0, 1fr);
  gap: var(--space-3);
  font-family: var(--font-sans);
  font-size: 0.9375rem;
  line-height: 1.5;
}

.matrix-label {
  color: var(--color-text-muted);
  font-weight: 500;
}

.matrix-value {
  color: var(--color-text-heading);
  word-break: break-all;
}

.matrix-mono {
  font-family: var(--font-mono);
  font-size: 0.875rem;
}

@media (max-width: 480px) {
  .proofs-hero {
    padding: var(--space-8) var(--space-4);
  }
  .modal-card {
    padding: var(--space-4);
  }
  .matrix-row {
    grid-template-columns: 1fr;
    gap: var(--space-1);
  }
  .proofs-builder,
  .proofs-intent-grid,
  .proofs-scope-grid {
    grid-template-columns: minmax(0, 1fr);
  }
  .proofs-preview {
    position: static;
  }
}

/* ---------------------------------------------------------------- */
/* M3.11 — the composition (STYLE-GUIDE §8.6).                      */
/*                                                                  */
/* Fires once, when the user issues a proof. 800ms total. Three     */
/* rings draw in: inner verdure (user), middle lapis (witness),     */
/* outer slate (verifier). At 750–800ms the lapis settles to slate  */
/* — lapis was the moment of attestation, not the resting state.    */
/* At 800ms the modal swaps to the verifier matrix with the         */
/* completed iris anchored at 48px top-centre.                      */
/* ---------------------------------------------------------------- */

.composition-overlay {
  position: absolute;
  inset: 0;
  display: grid;
  place-items: center;
  gap: var(--space-3);
  grid-auto-flow: row;
  background: var(--color-bg-page);
  border-radius: calc(var(--radius-lg) - 1px);
  z-index: 1;
}

.composition-iris {
  width: 96px; /* icon-monumental per STYLE-GUIDE §7.2 */
  height: 96px;
  display: block;
}

.composition-iris .iris-ring {
  fill: none;
  stroke-width: 1.5; /* §8.6: stroke widths normalise to 1.5 units */
  stroke-linecap: round;
  stroke-dasharray: 100;
  stroke-dashoffset: 100;
}

.composition-iris .iris-inner {
  stroke: var(--verdure-500);
  animation: composition-draw var(--duration-slow) var(--ease-out) 80ms forwards;
}

.composition-iris .iris-middle {
  stroke: var(--lapis-500);
  animation:
    composition-draw var(--duration-slow) var(--ease-compose) 260ms forwards,
    composition-settle-middle var(--duration-fast) var(--ease-spring) 750ms forwards;
}

.composition-iris .iris-outer {
  stroke: var(--slate-600);
  animation: composition-draw 310ms var(--ease-compose) 440ms forwards;
}

@keyframes composition-draw {
  to { stroke-dashoffset: 0; }
}

@keyframes composition-settle-middle {
  to { stroke: var(--slate-600); }
}

.composition-caption {
  font-family: var(--font-sans);
  font-size: 0.8125rem;
  color: var(--color-text-muted);
  margin: 0;
}

/* The completed iris at the verifier-matrix head: post-settle state
 * — inner verdure, middle slate, outer slate — at icon-2xl (48px). */
.matrix-iris-anchor {
  display: grid;
  place-items: center;
  margin-block-end: var(--space-2);
}

.matrix-iris-anchor svg {
  width: 48px;
  height: 48px;
  fill: none;
  stroke-width: 1.5;
  stroke-linecap: round;
}

.matrix-iris-anchor .iris-inner  { stroke: var(--verdure-500); }
.matrix-iris-anchor .iris-middle { stroke: var(--slate-600); }
.matrix-iris-anchor .iris-outer  { stroke: var(--slate-600); }

/* Dark mode: lift the slate rings so they stay legible on slate-850
 * elevated surfaces. */
@media (prefers-color-scheme: dark) {
  .composition-iris .iris-outer { stroke: var(--slate-300); }
  .matrix-iris-anchor .iris-middle,
  .matrix-iris-anchor .iris-outer { stroke: var(--slate-300); }
}

/* Reduced motion — the rings are fully drawn instantly, in their
 * settled colours; the lapis flash is skipped. The JS scheduler
 * also short-circuits the 800ms wait so the matrix reveals
 * immediately. STYLE-GUIDE §8.5 + §8.6. */
@media (prefers-reduced-motion: reduce) {
  .composition-iris .iris-ring {
    animation: none !important;
    stroke-dashoffset: 0;
  }
  .composition-iris .iris-middle {
    stroke: var(--slate-600);
  }
}