/* ── Inherence Spend Enforcement — light, high-contrast, payments-exec UI ── */
:root {
  --bg: #eef1f6;
  --panel: #ffffff;
  --panel-2: #f4f6fa;
  --line: #d7dde8;
  --line-strong: #c2cad8;
  --ink: #16202e;
  --ink-2: #36435a;
  --muted: #6a778c;
  --green: #0f9d58;
  --green-bg: #e6f6ee;
  --amber: #d98a00;
  --amber-bg: #fcf2dd;
  --red: #d83a3a;
  --red-bg: #fbe6e6;
  --accent: #2563eb;
  --accent-bg: #e7effe;
  --proof: #7c3aed;
  --proof-bg: #f1eafe;
  --alpha: #2563eb;
  --beta: #7c3aed;
  --gamma: #ea7a1d;
  --shadow: 0 1px 2px rgba(20, 30, 50, 0.06), 0 8px 24px -12px rgba(20, 30, 50, 0.18);
  --radius: 14px;
  --mono: "SF Mono", "JetBrains Mono", ui-monospace, Menlo, Consolas, monospace;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Inter, Roboto, sans-serif;
}
* { box-sizing: border-box; }
html, body { margin: 0; background: var(--bg); color: var(--ink); font-family: var(--sans); -webkit-font-smoothing: antialiased; }
body { min-height: 100vh; }
b { font-weight: 700; }

/* ── topbar ── */
.topbar { display: flex; align-items: center; justify-content: space-between; padding: 12px 24px; background: var(--panel); border-bottom: 1px solid var(--line); position: sticky; top: 0; z-index: 20; }
.brand { display: flex; align-items: center; gap: 13px; }
.logo { font-size: 24px; color: var(--accent); }
.title { font-weight: 750; font-size: 16px; }
.subtitle { font-size: 12.5px; color: var(--muted); }
.badges { display: flex; gap: 8px; align-items: center; font-family: var(--mono); font-size: 11px; }
.badge { padding: 5px 11px; border: 1px solid var(--line); border-radius: 999px; color: var(--muted); background: var(--panel-2); white-space: nowrap; }
.badge.linkish { cursor: pointer; color: var(--accent); border-color: var(--accent-bg); }
.badge.linkish:hover { background: var(--accent-bg); }
#badge-conn.live { color: var(--green); border-color: #bfe6cf; background: var(--green-bg); }
#badge-conn.dead { color: var(--red); }
#badge-proofs.real { color: var(--proof); border-color: #e0d2fb; background: var(--proof-bg); }

/* ── buttons ── */
button { font-family: var(--sans); font-size: 13.5px; font-weight: 650; color: var(--ink); background: var(--panel); border: 1px solid var(--line-strong); border-radius: 10px; padding: 10px 16px; cursor: pointer; transition: all 0.14s; }
button:hover { border-color: var(--accent); background: var(--accent-bg); }
button.primary { background: var(--accent); color: #fff; border-color: var(--accent); }
button.primary:hover { background: #1d4fd0; }
button.ghost { background: transparent; }
button.proof { color: var(--proof); border-color: #d9c8fa; background: var(--proof-bg); }
button.proof:hover { background: #e9ddfc; }
button.big { font-size: 15px; padding: 13px 26px; }
button:disabled { opacity: 0.5; cursor: default; }

/* ── overlays (intro + bank) ── */
.overlay { position: fixed; inset: 0; z-index: 30; display: flex; align-items: center; justify-content: center; padding: 28px; background: linear-gradient(160deg, #e9eef7, #eef1f6); overflow: auto; }
.overlay[hidden] { display: none; }
.sheet { background: var(--panel); border: 1px solid var(--line); border-radius: 20px; box-shadow: var(--shadow); padding: 40px 44px; max-width: 620px; width: 100%; }
.sheet.wide { max-width: 920px; }
.eyebrow { font-family: var(--mono); font-size: 11.5px; letter-spacing: 2px; color: var(--accent); font-weight: 700; }
.sheet h1 { font-size: 30px; line-height: 1.15; margin: 12px 0 16px; letter-spacing: -0.5px; }
.sheet p { color: var(--ink-2); font-size: 15px; line-height: 1.6; margin: 0 0 14px; }
.big-q { background: var(--accent-bg); border-left: 3px solid var(--accent); padding: 14px 16px; border-radius: 8px; }
.proof-list { counter-reset: p; list-style: none; padding: 0; margin: 8px 0 4px; }
.proof-list li { position: relative; padding: 14px 16px 14px 52px; margin-bottom: 10px; background: var(--panel-2); border: 1px solid var(--line); border-radius: 10px; font-size: 14.5px; line-height: 1.5; color: var(--ink-2); }
.proof-list li::before { counter-increment: p; content: counter(p); position: absolute; left: 14px; top: 13px; width: 26px; height: 26px; border-radius: 50%; background: var(--accent); color: #fff; font-weight: 700; font-size: 13px; display: grid; place-items: center; }
.tag-bad { color: var(--red); font-weight: 700; font-family: var(--mono); }
.nav { display: flex; align-items: center; gap: 12px; margin-top: 26px; }
.nav.center { justify-content: center; }
.nav .dots { display: flex; gap: 6px; margin-right: auto; }
.nav .dots i { width: 7px; height: 7px; border-radius: 50%; background: var(--line-strong); }
.nav .dots i.on { background: var(--accent); }
.mock-pill { background: var(--amber-bg); color: var(--amber); border-radius: 999px; padding: 2px 9px; font-size: 10px; letter-spacing: 1px; margin-left: 8px; }

/* ── bank flow ── */
.bank-grid { display: grid; grid-template-columns: 1fr 1.1fr 1fr; gap: 14px; align-items: stretch; margin: 22px 0 6px; }
@media (max-width: 820px) { .bank-grid { grid-template-columns: 1fr; } }
.bank-card { background: var(--panel-2); border: 1px solid var(--line); border-radius: 14px; padding: 18px; }
.bank-card.fleet-wallet { background: linear-gradient(160deg, #f3f0fe, #f7f6fb); border-color: #e3d8fb; }
.bank-label { font-family: var(--mono); font-size: 10.5px; letter-spacing: 1.5px; color: var(--muted); }
.bank-name { font-size: 12.5px; color: var(--ink-2); margin: 4px 0 14px; }
.bank-balance { font-size: 30px; font-weight: 800; letter-spacing: -1px; font-variant-numeric: tabular-nums; }
.bank-balance .cents { font-size: 18px; color: var(--muted); }
.bank-sub { font-size: 12px; color: var(--muted); margin-top: 6px; }
.bank-flow { display: flex; flex-direction: column; justify-content: center; }
.flow-arrow { text-align: center; font-size: 26px; color: var(--line-strong); margin-bottom: 6px; transition: color 0.3s; }
.flow-arrow.active { color: var(--accent); }
.alloc label { font-family: var(--mono); font-size: 11px; color: var(--muted); letter-spacing: 1px; }
.alloc-amt { font-size: 28px; font-weight: 800; margin: 2px 0 8px; }
.alloc input[type=range] { width: 100%; accent-color: var(--accent); }
.alloc-split { display: flex; gap: 6px; margin-top: 10px; font-family: var(--mono); font-size: 11px; }
.alloc-split span { flex: 1; text-align: center; padding: 4px; border-radius: 6px; background: var(--panel); border: 1px solid var(--line); }
.wallet-cards { display: flex; flex-direction: column; gap: 7px; margin: 4px 0; }
.wcard { display: flex; justify-content: space-between; align-items: center; font-family: var(--mono); font-size: 12px; padding: 8px 10px; border-radius: 8px; background: var(--panel); border: 1px solid var(--line); }
.wcard .dot { width: 9px; height: 9px; border-radius: 50%; display: inline-block; margin-right: 7px; }
.wcard .amt { font-weight: 700; transition: color 0.3s; }
.wcard.funded { border-color: #bfe6cf; }
.wcard.funded .amt { color: var(--green); }
.fineprint { font-size: 11.5px; color: var(--muted); margin-top: 18px; line-height: 1.5; }

/* ── experiment layout ── */
main { padding: 16px 24px 40px; max-width: 1320px; margin: 0 auto; }
.explain-strip { background: var(--accent-bg); border: 1px solid #cfe0fd; color: var(--ink-2); border-radius: 12px; padding: 12px 16px; font-size: 14px; margin-bottom: 16px; transition: all 0.25s; }
.explain-strip.hot { background: var(--amber-bg); border-color: #f0dca8; }
.panel { background: var(--panel); border: 1px solid var(--line); border-radius: var(--radius); box-shadow: var(--shadow); }
.panel-head { display: flex; justify-content: space-between; padding: 13px 16px; border-bottom: 1px solid var(--line); font-family: var(--mono); font-size: 11.5px; letter-spacing: 1px; color: var(--muted); }
.muted { color: var(--muted); }

.grid-top { display: grid; grid-template-columns: 1fr 1.25fr; gap: 16px; margin-bottom: 16px; }
@media (max-width: 920px) { .grid-top { grid-template-columns: 1fr; } }

/* ── fleet ── */
.fleet-panel { display: flex; flex-direction: column; }
.fleet-dots { display: grid; grid-template-columns: repeat(10, 1fr); gap: 8px; padding: 18px 16px; flex: 1; align-content: start; }
.adot { aspect-ratio: 1; border-radius: 7px; background: var(--panel-2); border: 1.5px solid var(--line); position: relative; transition: transform 0.15s, box-shadow 0.15s, background 0.15s; }
.adot[data-team=Alpha] { border-color: #b9cdfb; }
.adot[data-team=Beta] { border-color: #d7c6fb; }
.adot[data-team=Gamma] { border-color: #f6d2a8; }
.adot.reasoning { background: var(--panel); box-shadow: 0 0 0 2px rgba(37,99,235,0.1); }
.adot.attempting { transform: scale(1.25); z-index: 2; }
.adot[data-team=Alpha].attempting { background: var(--alpha); box-shadow: 0 0 0 3px rgba(37,99,235,0.25); }
.adot[data-team=Beta].attempting { background: var(--beta); box-shadow: 0 0 0 3px rgba(124,58,237,0.25); }
.adot[data-team=Gamma].attempting { background: var(--gamma); box-shadow: 0 0 0 3px rgba(234,122,29,0.25); }
.fleet-live { display: grid; grid-template-columns: repeat(4, 1fr); border-top: 1px solid var(--line); }
.live-stat { padding: 12px; text-align: center; border-right: 1px solid var(--line); }
.live-stat:last-child { border-right: none; }
.live-stat .num { display: block; font-size: 24px; font-weight: 800; font-variant-numeric: tabular-nums; }
.live-stat .num.blocked { color: var(--red); }
.live-stat .num.ok { color: var(--green); }
.live-stat .lbl { font-size: 10.5px; color: var(--muted); letter-spacing: 0.5px; }

/* ── gate ── */
.gate-panel { display: flex; flex-direction: column; padding-bottom: 16px; }
.attempt-card { margin: 16px; border: 1.5px dashed var(--line-strong); border-radius: 12px; min-height: 64px; display: flex; align-items: center; justify-content: center; transition: all 0.2s; background: var(--panel-2); }
.attempt-card.active { border-style: solid; border-color: var(--accent); background: var(--accent-bg); }
.attempt-card.blocked { border-color: var(--red); background: var(--red-bg); }
.attempt-card.allowed { border-color: var(--green); background: var(--green-bg); }
.attempt-card.shake { animation: shake 0.4s; }
@keyframes shake { 0%,100%{transform:translateX(0)} 25%{transform:translateX(-7px)} 75%{transform:translateX(7px)} }
.attempt-empty { color: var(--muted); font-size: 13px; }
.attempt-body { display: flex; align-items: center; gap: 10px; font-size: 16px; }
.attempt-agent { font-family: var(--mono); font-weight: 700; padding: 4px 10px; border-radius: 7px; background: var(--panel); border: 1px solid var(--line); }
.attempt-verb { color: var(--muted); font-size: 14px; }
.attempt-amt { font-size: 26px; font-weight: 800; font-variant-numeric: tabular-nums; }

.rule { display: flex; align-items: center; gap: 14px; margin: 0 16px 10px; padding: 14px 16px; border: 1px solid var(--line); border-radius: 12px; background: var(--panel-2); transition: all 0.2s; }
.rule.checking { border-color: var(--accent); box-shadow: 0 0 0 3px var(--accent-bg); background: var(--panel); }
.rule.pass { border-color: #bfe6cf; background: var(--green-bg); }
.rule.fail { border-color: #f0c0c0; background: var(--red-bg); }
.rule.skipped { opacity: 0.45; }
.rule-num { font-family: var(--mono); font-size: 10.5px; font-weight: 700; color: var(--muted); letter-spacing: 1px; flex: 0 0 46px; }
.rule-body { flex: 1; }
.rule-name { font-weight: 700; font-size: 14.5px; }
.rule-desc { font-size: 12.5px; color: var(--muted); margin-top: 2px; }
.rule-desc b { color: var(--ink-2); font-family: var(--mono); }
.rule-state { font-family: var(--mono); font-weight: 800; font-size: 13px; flex: 0 0 auto; min-width: 86px; text-align: right; }
.rule.pass .rule-state { color: var(--green); }
.rule.fail .rule-state { color: var(--red); }
.rule.skipped .rule-state { color: var(--muted); }

.verdict { margin: 6px 16px 0; text-align: center; font-family: var(--mono); font-weight: 800; font-size: 16px; letter-spacing: 1px; padding: 12px; border-radius: 10px; color: var(--muted); background: var(--panel-2); transition: all 0.2s; }
.verdict.allowed { color: var(--green); background: var(--green-bg); }
.verdict.blocked { color: var(--red); background: var(--red-bg); }

/* ── bars ── */
.bars-panel { padding: 16px; margin-bottom: 16px; }
.bars-head { display: flex; gap: 16px; align-items: stretch; margin-bottom: 14px; }
.next-box { flex: 0 0 150px; background: var(--panel-2); border: 1px solid var(--line); border-radius: 12px; padding: 12px 16px; display: flex; align-items: baseline; gap: 4px; }
.next-lbl { font-family: var(--mono); font-size: 10px; color: var(--muted); letter-spacing: 1px; align-self: flex-start; }
.next-val { font-size: 38px; font-weight: 800; margin-left: auto; font-variant-numeric: tabular-nums; }
.next-cent { font-size: 18px; color: var(--muted); }
.spread-box { flex: 1; background: var(--panel-2); border: 1px solid var(--line); border-radius: 12px; padding: 14px 18px; display: flex; flex-direction: column; justify-content: center; }
.spread-lbl { font-family: var(--mono); font-size: 12.5px; color: var(--muted); margin-bottom: 8px; }
.spread-lbl b { color: var(--ink); }
.spread-gauge { height: 18px; background: var(--panel); border: 1px solid var(--line); border-radius: 999px; overflow: hidden; }
.spread-fill { height: 100%; width: 0; background: linear-gradient(90deg, var(--green), var(--amber) 70%, var(--red)); transition: width 0.3s; }

.bars { display: grid; grid-template-columns: repeat(3, 1fr); gap: 22px; align-items: end; min-height: 300px; padding: 8px 8px 0; }
.col { display: flex; flex-direction: column; align-items: center; height: 100%; justify-content: flex-end; }
.bar-wrap { position: relative; width: 100%; max-width: 150px; flex: 1; display: flex; align-items: flex-end; }
.bar-track { position: relative; width: 100%; height: 100%; background: var(--panel-2); border: 1px solid var(--line); border-radius: 12px; overflow: hidden; display: flex; align-items: flex-end; }
.bar-fill { width: 100%; border-radius: 0 0 11px 11px; transition: height 0.45s cubic-bezier(.2,.8,.2,1), background 0.35s; min-height: 3px; }
/* breach line: max allowed height for this team before the spread is exceeded */
.breach-line { position: absolute; left: -4px; right: -4px; height: 0; border-top: 2px dashed var(--red); opacity: 0; transition: bottom 0.3s, opacity 0.2s; }
.breach-line.show { opacity: 0.85; }
.breach-line::after { content: "spread limit"; position: absolute; right: 2px; top: -15px; font-family: var(--mono); font-size: 9px; color: var(--red); }
/* phantom: the proposed new height, shown only AFTER rule 1 passes */
.bar-ghost { position: absolute; left: 0; right: 0; bottom: 0; height: 0; background: repeating-linear-gradient(45deg, rgba(37,99,235,0.18), rgba(37,99,235,0.18) 6px, rgba(37,99,235,0.08) 6px, rgba(37,99,235,0.08) 12px); border-top: 2px solid var(--accent); opacity: 0; transition: height 0.5s cubic-bezier(.2,.8,.2,1), opacity 0.2s; }
.bar-ghost.show { opacity: 1; }
.bar-ghost.breach { background: repeating-linear-gradient(45deg, rgba(216,58,58,0.2), rgba(216,58,58,0.2) 6px, rgba(216,58,58,0.1) 6px, rgba(216,58,58,0.1) 12px); border-top-color: var(--red); }
.bar-wrap.bounce { animation: bounce 0.5s cubic-bezier(.36,.07,.19,.97); }
@keyframes bounce { 0%,100%{transform:translateY(0)} 30%{transform:translateY(-16px)} 60%{transform:translateY(5px)} }
.col.hot .bar-track { box-shadow: 0 0 0 2px var(--red); }
.col.highlight .bar-track { box-shadow: 0 0 0 2px var(--accent); }
.bar-total { font-size: 26px; font-weight: 800; margin-top: 10px; font-variant-numeric: tabular-nums; }
.bar-name { font-size: 12px; color: var(--muted); letter-spacing: 1px; text-transform: uppercase; margin-top: 2px; }
.bar-card { font-family: var(--mono); font-size: 11px; color: var(--muted); margin-top: 3px; }

/* ── controls ── */
.controls { display: flex; align-items: center; gap: 10px; flex-wrap: wrap; margin-bottom: 16px; }
.spacer { flex: 1; }

/* ── feed ── */
.feed-panel { margin-bottom: 16px; }
#feed-list { list-style: none; margin: 0; padding: 6px 8px; max-height: 230px; overflow-y: auto; font-family: var(--mono); font-size: 12px; }
#feed-list li { display: flex; gap: 9px; padding: 5px 8px; border-radius: 6px; align-items: baseline; }
#feed-list li .tag { font-weight: 700; flex: 0 0 50px; }
#feed-list li.allow .tag { color: var(--green); }
#feed-list li.block .tag { color: var(--red); }
#feed-list li .who { color: var(--muted); flex: 1; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
#feed-list li .amt { color: var(--ink); font-weight: 600; }
#feed-list li .rsn { color: var(--amber); font-size: 11px; }
#feed-list li.new { animation: flash 0.6s; }
@keyframes flash { 0%{background:var(--accent-bg)} 100%{background:transparent} }

/* ── receipts ── */
.receipts { padding: 20px 22px; }
.receipts-head { display: flex; justify-content: space-between; align-items: flex-start; gap: 20px; flex-wrap: wrap; }
.receipts h2 { margin: 0 0 5px; font-size: 18px; }
.receipts .muted { font-size: 13px; max-width: 640px; line-height: 1.55; margin: 0; }
.receipts-actions { display: flex; align-items: center; gap: 14px; }
.pin { font-family: var(--mono); font-size: 12px; color: var(--muted); display: flex; align-items: center; gap: 6px; }
.issuer { font-family: var(--mono); font-size: 11px; color: var(--muted); margin: 14px 0; word-break: break-all; }
.receipt-cards { display: grid; grid-template-columns: repeat(3, 1fr); gap: 16px; }
@media (max-width: 920px) { .receipt-cards { grid-template-columns: 1fr; } }
.rcard { background: var(--panel-2); border: 1px solid var(--line); border-radius: 12px; overflow: hidden; }
.rcard-head { padding: 12px 14px; border-bottom: 1px solid var(--line); display: flex; justify-content: space-between; align-items: center; }
.rcard-team { font-weight: 700; letter-spacing: 0.5px; }
.rcard-status { font-family: var(--mono); font-size: 12px; font-weight: 700; padding: 3px 10px; border-radius: 999px; }
.rcard-status.valid { color: var(--green); background: var(--green-bg); }
.rcard-status.tampered { color: var(--red); background: var(--red-bg); }
.rcard-body { padding: 12px 14px; }
.witness-row { display: flex; justify-content: space-between; font-family: var(--mono); font-size: 12px; padding: 3px 0; }
.witness-row .k { color: var(--muted); }
.witness-row .v { font-weight: 600; }
.match-row { display: flex; justify-content: space-between; font-family: var(--mono); font-size: 12px; margin-top: 8px; padding: 8px 10px; border-radius: 8px; background: var(--panel); border: 1px solid var(--line); }
.match-row.ok { border-color: #bfe6cf; }
.match-row.bad { border-color: #f0c0c0; }
.match-row .ok-v { color: var(--green); font-weight: 700; }
.match-row .bad-v { color: var(--red); font-weight: 700; }
.binding { font-family: var(--mono); font-size: 10px; color: var(--muted); margin-top: 8px; word-break: break-all; line-height: 1.5; }
.editor { width: 100%; height: 130px; background: #fbfcfe; color: var(--ink); border: 1px solid var(--line); border-radius: 8px; font-family: var(--mono); font-size: 10.5px; padding: 8px; resize: vertical; margin-top: 8px; }
.rcard-foot { display: flex; gap: 8px; padding: 0 14px 12px; }
.rcard-foot button { flex: 1; padding: 8px; font-size: 12px; }
.tamper-hint { font-size: 11px; color: var(--muted); padding: 0 14px 12px; }