:root {
  color-scheme: dark;
  --bg: #07131f;
  --panel: #0d1c2b;
  --panel-2: #102538;
  --line: #28445a;
  --text: #eef7fb;
  --muted: #93aabc;
  --accent: #57d7ff;
  --good: #6ce7a8;
  --warn: #ffd36a;
  --bad: #ff7a7a;
  --radius: 18px;
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

* { box-sizing: border-box; }
html { background: var(--bg); }
body { margin: 0; color: var(--text); background: radial-gradient(circle at top, #10263a 0, var(--bg) 34rem); min-height: 100vh; }
button, input { font: inherit; }

.site-header, main, footer { width: min(1100px, calc(100% - 28px)); margin-inline: auto; }
.site-header { padding: max(22px, env(safe-area-inset-top)) 0 16px; display: grid; gap: 14px; }
.brand-kicker, .eyebrow { margin: 0 0 4px; color: var(--accent); font-size: .72rem; letter-spacing: .14em; text-transform: uppercase; font-weight: 800; }
h1, h2, h3, p { margin-top: 0; }
h1 { margin-bottom: 0; font-size: clamp(1.9rem, 9vw, 3.2rem); letter-spacing: -.045em; }
h1 span { color: var(--accent); }
h2 { margin-bottom: 0; font-size: 1.35rem; }

.runtime-status { border: 1px solid var(--line); border-radius: 14px; padding: 10px 12px; background: rgba(13,28,43,.84); display: grid; gap: 2px; }
.runtime-status small { color: var(--muted); }
.runtime-status[data-kind="ready"] { border-color: color-mix(in srgb, var(--good), transparent 45%); }
.runtime-status[data-kind="ready"] strong { color: var(--good); }
.runtime-status[data-kind="error"] { border-color: color-mix(in srgb, var(--bad), transparent 45%); }
.runtime-status[data-kind="error"] strong { color: var(--bad); }

main { display: grid; gap: 16px; padding-bottom: 30px; }
.scope-banner, .cycle-panel, .input-panel, .record-panel, .saved-panel, .results-panel { background: linear-gradient(180deg, rgba(16,37,56,.98), rgba(10,25,39,.98)); border: 1px solid var(--line); border-radius: var(--radius); box-shadow: 0 18px 50px rgba(0,0,0,.18); }
.scope-banner { padding: 14px 16px; border-color: color-mix(in srgb, var(--warn), transparent 60%); }
.scope-banner strong { color: var(--warn); font-size: .75rem; letter-spacing: .1em; }
.scope-banner p { margin: 5px 0 0; color: var(--muted); line-height: 1.45; font-size: .9rem; }
.cycle-panel, .input-panel, .record-panel, .saved-panel, .results-panel { padding: 18px; }
.section-heading { display: flex; justify-content: space-between; gap: 14px; align-items: end; margin-bottom: 16px; }
.proof-rule { color: var(--good); border: 1px solid color-mix(in srgb, var(--good), transparent 60%); background: color-mix(in srgb, var(--good), transparent 92%); padding: 7px 9px; border-radius: 999px; font-size: .67rem; font-weight: 800; white-space: nowrap; }

.cycle-diagram { width: 100%; min-height: 200px; border-radius: 14px; background: #081724; border: 1px solid #1d364a; }
.cycle-line { fill: none; stroke-width: 8; stroke-linecap: round; }
.cycle-line.high { stroke: #ff8d73; }
.cycle-line.low { stroke: #57d7ff; }
.cycle-line.expansion { stroke: #b89cff; }
.cycle-line.compressor { stroke: #ffd36a; }
.cycle-diagram marker path { fill: #dceff8; }
.point circle { fill: #0f2334; stroke: #e8f7ff; stroke-width: 3; }
.point text { fill: #fff; font-size: 22px; font-weight: 900; text-anchor: middle; }
.diagram-label { fill: #91a9ba; font-size: 14px; font-weight: 800; letter-spacing: .12em; }
.diagram-note { fill: #c4d5df; font-size: 13px; }

.input-grid { display: grid; gap: 12px; }
.input-grid label, .point-input { display: grid; gap: 7px; font-size: .84rem; color: #c7d7e1; font-weight: 700; }
.input-wrap { display: flex; align-items: center; background: #071621; border: 1px solid #315068; border-radius: 12px; overflow: hidden; min-height: 50px; }
.input-wrap:focus-within { border-color: var(--accent); box-shadow: 0 0 0 3px rgba(87,215,255,.12); }
.input-wrap input { width: 100%; min-width: 0; border: 0; outline: 0; color: #fff; background: transparent; padding: 12px 13px; font-size: 1.08rem; font-weight: 800; }
.input-wrap b { color: var(--muted); padding: 0 12px; font-size: .72rem; letter-spacing: .05em; }
.point-inputs { display: grid; gap: 10px; margin-top: 16px; }
.point-input { grid-template-columns: 38px 1fr; align-items: center; background: rgba(7,22,33,.48); border: 1px solid #223d52; border-radius: 14px; padding: 10px; }
.point-input .input-wrap { grid-column: 1 / -1; }
.point-badge { width: 32px; height: 32px; border-radius: 50%; background: var(--accent); color: #05202c; display: inline-grid; place-items: center; font-weight: 950; }
.derived-input { display: grid; grid-template-columns: 38px 1fr; gap: 8px; align-items: center; padding: 12px 10px; border: 1px dashed #486177; border-radius: 14px; background: rgba(184,156,255,.06); }
.derived-input small { display: block; color: var(--muted); margin-top: 2px; }
.actions, .record-buttons, .analysis-record-buttons { display: grid; gap: 10px; }
.actions { margin-top: 16px; }
button { border: 0; border-radius: 13px; min-height: 50px; padding: 0 16px; font-weight: 900; cursor: pointer; }
button.primary { background: var(--accent); color: #05202c; }
button.secondary { background: #172d3e; color: #d9e8f0; border: 1px solid #315068; }
button.compact-button { min-height: 36px; padding: 0 12px; background: #172d3e; color: #d9e8f0; border: 1px solid #315068; font-size: .78rem; }
button.danger { background: color-mix(in srgb, var(--bad), transparent 90%); color: #ffd4d4; border: 1px solid color-mix(in srgb, var(--bad), transparent 55%); }
button:disabled { opacity: .45; cursor: not-allowed; }
.error-box { margin-top: 14px; border: 1px solid color-mix(in srgb, var(--bad), transparent 45%); background: color-mix(in srgb, var(--bad), transparent 91%); color: #ffd9d9; border-radius: 12px; padding: 12px; line-height: 1.4; }

.record-copy { margin: -4px 0 14px; color: var(--muted); font-size: .84rem; line-height: 1.5; }
.record-verification-status { margin-top: 12px; padding: 11px 12px; border: 1px solid var(--line); border-radius: 12px; display: grid; gap: 3px; background: rgba(7,22,33,.55); }
.record-verification-status small { color: var(--muted); line-height: 1.4; overflow-wrap: anywhere; }
.record-verification-status[data-kind="checking"] { border-color: color-mix(in srgb, var(--accent), transparent 55%); }
.record-verification-status[data-kind="valid"] { border-color: color-mix(in srgb, var(--good), transparent 45%); }
.record-verification-status[data-kind="valid"] strong { color: var(--good); }
.record-verification-status[data-kind="invalid"] { border-color: color-mix(in srgb, var(--bad), transparent 45%); }
.record-verification-status[data-kind="invalid"] strong { color: var(--bad); }

.saved-library-status { color: var(--muted); font-size: .8rem; line-height: 1.4; margin-bottom: 10px; }
.saved-library-status[data-kind="ready"] { color: var(--good); }
.saved-library-status[data-kind="error"] { color: var(--bad); }
.saved-analysis-list { display: grid; gap: 9px; }
.saved-empty { border: 1px dashed #3b566b; border-radius: 13px; padding: 16px; color: var(--muted); text-align: center; font-size: .82rem; }
.saved-row { border: 1px solid #29465c; border-radius: 14px; background: #091927; padding: 12px; display: grid; gap: 9px; }
.saved-row[data-integrity="invalid"] { border-color: color-mix(in srgb, var(--bad), transparent 50%); }
.saved-row-head { display: flex; justify-content: space-between; gap: 10px; align-items: start; }
.saved-row-title { display: grid; gap: 3px; min-width: 0; }
.saved-row-title strong { font-size: .88rem; overflow-wrap: anywhere; }
.saved-row-title small { color: var(--muted); line-height: 1.35; overflow-wrap: anywhere; }
.integrity-chip { flex: 0 0 auto; border-radius: 999px; padding: 5px 8px; font-size: .66rem; font-weight: 900; text-transform: uppercase; letter-spacing: .05em; }
.integrity-chip.valid { color: var(--good); background: color-mix(in srgb, var(--good), transparent 91%); border: 1px solid color-mix(in srgb, var(--good), transparent 65%); }
.integrity-chip.invalid { color: var(--bad); background: color-mix(in srgb, var(--bad), transparent 91%); border: 1px solid color-mix(in srgb, var(--bad), transparent 65%); }
.saved-row-digest { color: #7890a0; font: .68rem ui-monospace, SFMono-Regular, Menlo, monospace; overflow-wrap: anywhere; }
.saved-row-error { color: #ffc2c2; font-size: .75rem; line-height: 1.4; }
.saved-row-actions { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 7px; }
.saved-row-actions button { min-height: 40px; padding: 0 8px; font-size: .74rem; }

.analysis-meta { color: var(--muted); font-size: .8rem; line-height: 1.5; }
.analysis-record-actions { display: grid; gap: 9px; margin: 0 0 16px; padding: 12px; border: 1px solid color-mix(in srgb, var(--good), transparent 70%); border-radius: 14px; background: color-mix(in srgb, var(--good), transparent 95%); }
.analysis-record-actions small { color: var(--muted); line-height: 1.4; }
.result-grid, .state-grid { display: grid; gap: 10px; }
.result-card, .state-card { border: 1px solid #29465c; border-radius: 15px; background: #091927; padding: 14px; }
.result-classification { color: var(--good); font-size: .68rem; text-transform: uppercase; letter-spacing: .08em; font-weight: 800; }
.result-card h3 { margin: 5px 0 6px; font-size: .96rem; }
.result-value { font-size: clamp(1.45rem, 7vw, 2.1rem); font-weight: 950; letter-spacing: -.035em; margin-bottom: 10px; }
.result-card code { display: block; color: #b8d5e4; white-space: normal; line-height: 1.4; font-size: .75rem; }
.state-head { display: flex; justify-content: space-between; align-items: center; margin-bottom: 12px; }
.phase-chip { color: #cce7f4; background: #173249; border-radius: 999px; padding: 5px 8px; font-size: .72rem; font-weight: 800; }
.metric-row { display: flex; gap: 12px; justify-content: space-between; padding: 6px 0; border-bottom: 1px solid rgba(83,119,144,.2); font-size: .82rem; }
.metric-row:last-child { border-bottom: 0; }
.metric-label { color: var(--muted); }
.metric-value { text-align: right; overflow-wrap: anywhere; }
.state-source { display: block; margin-top: 10px; color: #8098a9; line-height: 1.35; }
.subheading { margin-top: 26px; }
.proof-list { display: grid; gap: 8px; }
.proof-card { border: 1px solid #29465c; border-radius: 13px; background: #091927; overflow: hidden; }
.proof-card summary { cursor: pointer; padding: 13px; font-weight: 850; }
.proof-body { padding: 0 13px 13px; }
.proof-note { color: var(--warn); font-size: .8rem; line-height: 1.45; margin: 14px 0 0; }

footer { color: #6f889a; font-size: .72rem; text-align: center; padding: 0 0 calc(24px + env(safe-area-inset-bottom)); line-height: 1.5; }

@media (min-width: 720px) {
  .site-header { grid-template-columns: 1fr auto; align-items: end; }
  .runtime-status { max-width: 390px; }
  .pressure-grid { grid-template-columns: repeat(3, 1fr); }
  .point-inputs { grid-template-columns: repeat(2, 1fr); }
  .derived-input { min-height: 104px; }
  .actions { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .record-buttons { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .analysis-record-buttons { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .saved-row-actions { grid-template-columns: repeat(4, minmax(0, 1fr)); }
  .result-grid { grid-template-columns: repeat(2, 1fr); }
  .state-grid { grid-template-columns: repeat(2, 1fr); }
}

@media (min-width: 980px) {
  main { grid-template-columns: .95fr 1.05fr; align-items: start; }
  .scope-banner { grid-column: 1 / -1; }
  .record-panel, .saved-panel, .results-panel { grid-column: 1 / -1; }
  .cycle-panel { position: sticky; top: 14px; }
  .state-grid { grid-template-columns: repeat(5, 1fr); }
}