/* =============================================================
 * Section-specific styles for: Contract, Canary, Loop, Engine
 * ============================================================= */

/* ── The Contract ─────────────────────────────────────────── */
.contract {
  display: grid;
  grid-template-columns: 1fr;
  gap: 0;
  border-radius: var(--radius-lg);
  overflow: hidden;
}
.contract-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 18px 22px;
  border-bottom: 1px solid var(--border-faint);
  background:
    linear-gradient(180deg, rgba(238,232,205,0.04), rgba(103,130,68,0.02)),
    var(--surface-muted);
}
.contract-head .title {
  display: flex;
  align-items: center;
  gap: 10px;
  font-family: var(--font-mono);
  font-size: var(--fs-sm);
  color: var(--fg1);
}
.contract-head .title .glyph {
  color: var(--fg3);
}
.contract-head .meta {
  font-family: var(--font-mono);
  font-size: var(--fs-xxs);
  letter-spacing: var(--tracking-xwide);
  text-transform: uppercase;
  color: var(--fg3);
}

.contract-sides {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  border-bottom: 1px solid var(--border-faint);
}
.contract-side:first-child {
  border-right: 1px solid var(--border-faint);
}
.side-title {
  padding: 14px 22px;
  border-bottom: 1px solid var(--border-faint);
  font-family: var(--font-mono);
  font-size: var(--fs-xxs);
  letter-spacing: var(--tracking-xwide);
  text-transform: uppercase;
  color: var(--fg1);
  background:
    linear-gradient(180deg, rgba(238,232,205,0.032), rgba(103,130,68,0.018)),
    var(--surface-muted);
}
.contract-body {
  display: grid;
  grid-template-columns: 154px 1fr;
}
@media (max-width: 720px) {
  .contract-sides { grid-template-columns: 1fr; }
  .contract-side:first-child {
    border-right: none;
    border-bottom: 1px solid var(--border-faint);
  }
  .contract-body { grid-template-columns: 1fr; }
}
.contract-row {
  display: contents;
}
.contract-row .key,
.contract-row .val {
  padding: 14px 22px;
  border-top: 1px solid var(--border-faint);
  font-family: var(--font-mono);
  font-size: var(--fs-sm);
  line-height: 1.45;
}
.contract-row .key {
  color: var(--fg3);
  letter-spacing: var(--tracking-wide);
  text-transform: uppercase;
  font-size: var(--fs-xxs);
  background: rgba(103,130,68,0.035);
}
.contract-row .val { color: var(--fg1); }
.contract-row .val .field {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  padding: 3px 9px;
  margin: 2px 4px 2px 0;
  border: 1px solid var(--border-faint);
  border-radius: var(--radius-sm);
  background: var(--surface-muted);
  font-size: var(--fs-xs);
  color: var(--fg1);
}
.contract-row .val .field.locked {
  border-color: rgba(232,184,64,0.42);
  background: rgba(232,184,64,0.12);
  color: var(--warning);
}
.contract-row .val .field.locked::before {
  content: "▢";
  color: var(--warning);
  font-size: 10px;
}
.contract-row .val .field.proof::before {
  content: "✓";
  color: var(--success-bright);
  font-size: 10px;
}
.contract-row .val .field.write::before {
  content: "›";
  color: var(--fg3);
}
.contract-row .val .field.read::before {
  content: "·";
  color: var(--fg3);
}
.contract-row .val .gate {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  padding: 3px 9px;
  border: 1px solid rgba(243,238,228,0.18);
  border-radius: var(--radius-sm);
  background: var(--surface-accent-soft);
  color: var(--fg1);
  font-size: var(--fs-xs);
}
.contract-row .val.muted { color: var(--fg2); }
.contract-row.is-highlight .key,
.contract-row.is-highlight .val {
  background: rgba(232,184,64,0.07);
}

.contract-verifier {
  display: grid;
  grid-template-columns: 154px 1fr;
  padding: 0;
  border-bottom: 1px solid var(--border-faint);
  font-family: var(--font-mono);
  font-size: var(--fs-sm);
  line-height: 1.45;
}
.contract-verifier .key,
.contract-verifier .val {
  padding: 14px 22px;
}
.contract-verifier .key {
  color: var(--fg3);
  letter-spacing: var(--tracking-wide);
  text-transform: uppercase;
  font-size: var(--fs-xxs);
  background: rgba(103,130,68,0.035);
}
.contract-verifier .val {
  color: var(--success-bright);
}
@media (max-width: 720px) {
  .contract-verifier { grid-template-columns: 1fr; }
}

.contract-foot {
  padding: 14px 22px;
  display: flex;
  justify-content: space-between;
  align-items: center;
  font-family: var(--font-mono);
  font-size: var(--fs-xxs);
  letter-spacing: var(--tracking-xwide);
  text-transform: uppercase;
  color: var(--fg3);
  background:
    linear-gradient(180deg, rgba(103,130,68,0.035), rgba(103,130,68,0.018)),
    var(--surface-subtle);
}
.contract-foot .ok { color: var(--success); }

/* ── The Canary (terminal-ish demo) ───────────────────────── */
.canary {
  display: grid;
  grid-template-columns: 1.1fr 1fr;
  gap: 0;
  overflow: hidden;
}
@media (max-width: 860px) {
  .canary { grid-template-columns: 1fr; }
}
.canary-pane {
  padding: 22px 24px;
  min-height: 360px;
}
.canary-pane.left {
  border-right: 1px solid var(--border-faint);
  background:
    linear-gradient(180deg, rgba(238,232,205,0.018), rgba(103,130,68,0.028)),
    var(--bg-editor);
  font-family: var(--font-mono);
  font-size: var(--fs-sm);
  line-height: 1.65;
}
@media (max-width: 860px) {
  .canary-pane.left {
    border-right: none;
    border-bottom: 1px solid var(--border-faint);
  }
}
.canary-pane .pane-label {
  font-family: var(--font-mono);
  font-size: var(--fs-xxs);
  letter-spacing: var(--tracking-xwide);
  text-transform: uppercase;
  color: var(--fg3);
  margin-bottom: 14px;
  display: flex;
  justify-content: space-between;
  align-items: center;
}
.canary-pane .pane-label .replay {
  background: transparent;
  border: 1px solid var(--border-soft);
  border-radius: var(--radius-sm);
  color: var(--fg2);
  padding: 4px 10px;
  font-family: var(--font-mono);
  font-size: 10px;
  letter-spacing: var(--tracking-wide);
  text-transform: uppercase;
  cursor: pointer;
  transition: border-color var(--motion-fast), color var(--motion-fast);
}
.canary-pane .pane-label .replay:hover {
  border-color: var(--border-accent);
  color: var(--fg1);
}

.line { display: block; min-height: 1.65em; }
.line .prompt { color: var(--fg3); }
.line .you    { color: var(--fg1); }
.line .ai     { color: var(--accent); }
.line .ok     { color: var(--success-bright); }
.line .warn   { color: var(--warning); }
.line .err    { color: var(--danger-soft); }
.line .dim    { color: var(--fg3); }
.line.cursor::after {
  content: "";
  display: inline-block;
  width: 7px;
  height: 1em;
  background: var(--accent);
  vertical-align: -2px;
  margin-left: 2px;
  animation: blink 1s steps(1) infinite;
}
@keyframes blink { 50% { opacity: 0; } }

/* receipt panel (right) */
.canary-pane.right {
  display: flex;
  flex-direction: column;
  gap: 12px;
}
.receipt {
  border: 1px solid var(--border-faint);
  border-radius: var(--radius);
  padding: 12px 14px;
  font-family: var(--font-mono);
  font-size: var(--fs-xs);
  line-height: 1.55;
  color: var(--fg2);
  background:
    linear-gradient(180deg, rgba(238,232,205,0.035), rgba(103,130,68,0.022)),
    var(--surface-muted);
  opacity: 0;
  transform: translateY(6px);
  transition: opacity 240ms ease, transform 240ms ease;
}
.receipt.in { opacity: 1; transform: translateY(0); }
.receipt .row {
  display: grid;
  grid-template-columns: 90px 1fr;
  gap: 8px;
}
.receipt .k { color: var(--fg3); letter-spacing: var(--tracking-wide); text-transform: uppercase; font-size: 10px; padding-top: 2px; }
.receipt .v { color: var(--fg1); }
.receipt .v.warn   { color: var(--warning); }
.receipt .v.ok     { color: var(--success-bright); }
.receipt .v.err    { color: var(--danger-soft); }
.receipt.blocked   { border-color: rgba(232,184,64,0.42); box-shadow: var(--glow-amber); }
.receipt.allow     { border-color: rgba(63,185,80,0.30);  }
.receipt.verify    { border-color: var(--border-soft); }

/* ── The Loop (compounding, before/after) ─────────────────── */
.loop {
  display: grid;
  grid-template-columns: 1fr 36px 1fr;
  gap: 0;
  align-items: stretch;
}
@media (max-width: 860px) {
  .loop { grid-template-columns: 1fr; }
}
.loop-col {
  padding: 24px;
}
.loop-col.first {
  border-right: 1px solid var(--border-faint);
}
@media (max-width: 860px) {
  .loop-col.first { border-right: none; border-bottom: 1px solid var(--border-faint); }
  .loop-arrow { display: none; }
}
.loop-arrow {
  display: flex;
  align-items: center;
  justify-content: center;
  color: var(--fg3);
  font-family: var(--font-mono);
  font-size: 18px;
}
.loop-col .label {
  font-family: var(--font-mono);
  font-size: var(--fs-xxs);
  letter-spacing: var(--tracking-xwide);
  text-transform: uppercase;
  color: var(--fg3);
  display: flex;
  justify-content: space-between;
  margin-bottom: 14px;
}
.loop-col .label .delta { color: var(--success-bright); }
.loop-col h4 {
  font-size: var(--fs-xl);
  font-weight: 500;
  margin: 0 0 16px;
  color: var(--fg1);
}
.loop-step {
  display: grid;
  grid-template-columns: 18px 1fr auto;
  gap: 12px;
  padding: 9px 0;
  font-family: var(--font-mono);
  font-size: var(--fs-sm);
  border-bottom: 1px dashed var(--border-faint);
  align-items: baseline;
}
.loop-step:last-child { border-bottom: none; }
.loop-step .num { color: var(--fg3); }
.loop-step .what { color: var(--fg1); }
.loop-step .what em { color: var(--fg2); font-style: normal; }
.loop-step .t { color: var(--fg3); font-size: var(--fs-xs); }
.loop-step.reused .what { color: var(--fg2); }
.loop-step.reused .what::before {
  content: "↻ ";
  color: var(--accent);
}
.loop-step.skipped .what {
  color: var(--fg3);
  text-decoration: line-through;
  text-decoration-color: var(--fg-faint);
}

.loop-residue {
  margin-top: 18px;
  padding: 12px 14px;
  border: 1px dashed var(--border-soft);
  border-radius: var(--radius);
  font-family: var(--font-mono);
  font-size: var(--fs-xs);
  color: var(--fg2);
}
.loop-residue strong {
  color: var(--accent);
  font-weight: 500;
}

/* ── The Engine (doctrine grid) ───────────────────────────── */
.doctrines {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 1px;
  background: var(--border-faint);
  border: 1px solid var(--border-faint);
  border-radius: var(--radius-lg);
  overflow: hidden;
}
@media (max-width: 720px) {
  .doctrines { grid-template-columns: 1fr; }
}
.doctrine {
  background: var(--bg-card);
  padding: 22px 24px;
  display: flex;
  flex-direction: column;
  gap: 8px;
  transition: background var(--motion-fast);
  cursor: default;
}
.doctrine:hover { background: var(--bg-alt); }
.doctrine .num {
  font-family: var(--font-mono);
  font-size: var(--fs-xxs);
  letter-spacing: var(--tracking-xwide);
  color: var(--fg3);
}
.doctrine .name {
  font-family: var(--font-sans);
  font-size: var(--fs-lg);
  font-weight: 500;
  color: var(--fg1);
  letter-spacing: 0;
}
.doctrine .gloss {
  font-family: var(--font-mono);
  font-size: var(--fs-xs);
  color: var(--fg2);
  line-height: 1.55;
}