.demo-page h1 { font-size: clamp(3.5rem,6.6vw,7rem); }
.demo-intro { display: grid; min-height: 58vh; padding-block: clamp(70px,10vh,115px) clamp(70px,9vh,100px); grid-template-columns: 1.25fr .75fr; gap: clamp(50px,9vw,140px); align-items: end; }
.demo-intro__copy { max-width: 760px; }
.back-link { display: inline-flex; margin-bottom: clamp(65px,10vh,105px); align-items: center; gap: 9px; color: #636b67; font-size: .72rem; font-weight: 650; text-decoration: none; }
.back-link span { transition: transform .2s ease; }
.back-link:hover span { transform: translateX(-3px); }
.demo-intro h1 { margin-bottom: 34px; }
.demo-purpose { display: grid; max-width: 590px; margin: 0; padding-block: 17px; border-block: 1px solid var(--line); grid-template-columns: 90px 1fr; gap: 20px; }
.demo-purpose strong { font-size: .69rem; font-weight: 750; letter-spacing: .14em; text-transform: uppercase; }
.demo-purpose span { color: #353b37; font-size: 1.05rem; }
.demo-disclosure { display: grid; margin-bottom: 10px; padding: 22px 0; border-block: 1px solid var(--line-strong); grid-template-columns: 13px 1fr; gap: 14px; }
.demo-disclosure > span { width: 9px; height: 9px; margin-top: 6px; border: 1px solid #77817c; border-radius: 50%; }
.demo-disclosure strong { display: block; margin-bottom: 5px; font-size: .7rem; font-weight: 750; letter-spacing: .14em; text-transform: uppercase; }
.demo-disclosure p { margin: 0; color: var(--muted); font-size: .82rem; }

.demo-environment { padding-block: clamp(70px,10vw,120px) clamp(95px,12vw,155px); border-top: 1px solid var(--line); }
.environment-header { display: grid; margin-bottom: clamp(65px,8vw,100px); grid-template-columns: 1fr auto; gap: 50px; align-items: end; }
.environment-header h2 { max-width: 780px; margin: 0; }
.demo-progress { display: flex; margin: 0 0 8px; padding: 0; gap: 28px; list-style: none; }
.demo-progress li { display: grid; color: #959c98; font-size: .66rem; font-weight: 720; letter-spacing: .12em; text-align: center; text-transform: uppercase; transition: color .35s ease; }
.demo-progress span { display: grid; width: 37px; height: 37px; margin: 0 auto 8px; place-items: center; border: 1px solid currentColor; border-radius: 50%; font-size: .62rem; }
.demo-progress li[aria-current="step"] { color: var(--ink); }
.demo-environment[data-demo-state="signal"] [data-progress="signal"] { color: var(--red-dark); }
.demo-environment[data-demo-state="run"] [data-progress="run"] { color: var(--blue-dark); }
.demo-environment[data-demo-state="proof"] [data-progress="proof"] { color: var(--green-dark); }

.demo-workspace { display: grid; min-height: 770px; border-block: 1px solid var(--line-strong); grid-template-columns: minmax(0,1.2fr) minmax(390px,.8fr); background: rgba(255,255,255,.5); }
.topology-stage { position: relative; display: grid; min-width: 0; padding: 30px; place-items: center; border-right: 1px solid var(--line-strong); overflow: hidden; background: radial-gradient(circle at 54% 52%,rgba(255,255,255,.96),rgba(247,249,246,.7) 53%,transparent 74%); }
.topology-stage::before { position: absolute; inset: 0; pointer-events: none; content: ""; opacity: .4; background-image: radial-gradient(circle,#cfd6d2 1px,transparent 1px); background-size: 44px 44px; -webkit-mask-image: radial-gradient(circle at center,#000,transparent 74%); mask-image: radial-gradient(circle at center,#000,transparent 74%); }
.topology-stage svg { position: relative; z-index: 1; width: min(100%,760px); overflow: visible; }
.state-layer { transform-origin: center; transition: opacity .65s ease, transform .65s cubic-bezier(.2,.7,.2,1); }
.signal-layer { opacity: 1; }
.run-layer, .shared-state-layer, .proof-layer { opacity: .06; transform: scale(.97); }
.unresolved-layer { opacity: 1; }
.demo-environment[data-demo-state="run"] .unresolved-layer { opacity: .2; transform: scale(.98); }
.demo-environment[data-demo-state="run"] .signal-layer { opacity: .48; }
.demo-environment[data-demo-state="run"] .run-layer { opacity: 1; transform: scale(1); }
.demo-environment[data-demo-state="run"] .shared-state-layer { opacity: .72; transform: scale(1); }
.demo-environment[data-demo-state="run"] .proof-layer { opacity: .07; }
.demo-environment[data-demo-state="proof"] .unresolved-layer { opacity: .1; transform: scale(.97); }
.demo-environment[data-demo-state="proof"] .signal-layer { opacity: .27; }
.demo-environment[data-demo-state="proof"] .run-layer { opacity: .4; transform: scale(1); }
.demo-environment[data-demo-state="proof"] .shared-state-layer { opacity: 1; transform: scale(1.02); }
.demo-environment[data-demo-state="proof"] .proof-layer { opacity: 1; transform: scale(1.015); }
.run-ring { stroke-dasharray: 760; stroke-dashoffset: 760; transition: stroke-dashoffset 1.1s cubic-bezier(.25,.7,.25,1); }
.demo-environment[data-demo-state="run"] .run-ring, .demo-environment[data-demo-state="proof"] .run-ring { stroke-dashoffset: 0; }
.topology-state-label { position: absolute; z-index: 3; bottom: 7%; left: 7%; display: grid; grid-template-columns: 42px 1fr; align-items: center; gap: 12px; }
.topology-state-label > span { display: grid; width: 42px; height: 42px; place-items: center; border: 1px solid var(--red); border-radius: 50%; color: var(--red-dark); background: rgba(255,255,255,.88); font-size: .68rem; font-weight: 760; transition: border-color .35s ease, color .35s ease; }
.topology-state-label strong { display: block; font-size: .74rem; letter-spacing: .12em; text-transform: uppercase; }
.topology-state-label small { display: block; color: var(--muted); font-size: .66rem; }
.demo-environment[data-demo-state="run"] .topology-state-label > span { color: var(--blue-dark); border-color: var(--blue); }
.demo-environment[data-demo-state="proof"] .topology-state-label > span { color: var(--green-dark); border-color: var(--green); }

.state-inspector { position: relative; display: flex; min-width: 0; padding: clamp(35px,5vw,66px); flex-direction: column; justify-content: center; }
.state-panel { animation: panel-enter .42s ease both; }
.state-panel[hidden] { display: none !important; }
.panel-state { margin-bottom: 18px; font-size: .68rem; font-weight: 760; letter-spacing: .16em; text-transform: uppercase; }
.state-panel h3 { max-width: 440px; margin-bottom: 24px; font-size: clamp(1.55rem,2.4vw,2.35rem); line-height: 1.16; }
.state-panel > p:not(.panel-state):not(.panel-note):not(.proof-disclosure) { color: var(--muted); }
.attached-information { display: grid; margin-top: 36px; grid-template-columns: 1fr 1fr; gap: 28px; }
.attached-information > div { padding-top: 17px; border-top: 1px solid var(--line-strong); }
.attached-information h4 { margin: 0 0 14px; font-size: .67rem; font-weight: 750; letter-spacing: .13em; text-transform: uppercase; }
.attached-information ul, .run-work, .proof-results { margin: 0; padding: 0; list-style: none; }
.attached-information li { position: relative; margin-bottom: 8px; padding-left: 13px; color: #535b57; font-size: .75rem; line-height: 1.45; }
.attached-information li::before { position: absolute; top: .65em; left: 0; width: 4px; height: 4px; content: ""; border-radius: 50%; background: #a3aca7; }
.run-work { display: grid; margin-top: 30px; grid-template-columns: 1fr 1fr; border-top: 1px solid var(--line-strong); }
.run-work li { min-height: 66px; padding: 14px 12px 12px 0; color: #3f4642; border-bottom: 1px solid var(--line); font-size: .78rem; }
.run-work li:nth-child(odd) { padding-right: 18px; }
.run-work li:nth-child(even) { padding-left: 18px; border-left: 1px solid var(--line); }
.proof-disclosure { padding: 11px 13px; color: #626a66; border-left: 2px solid var(--green); background: #f5f8f4; font-size: .74rem; }
.proof-results { margin-top: 27px; border-top: 1px solid var(--line-strong); }
.proof-results li { display: flex; padding-block: 13px; align-items: center; gap: 11px; color: #343a36; border-bottom: 1px solid var(--line); font-size: .82rem; }
.proof-results span { display: grid; width: 20px; height: 20px; place-items: center; color: #fff; background: var(--green); border-radius: 50%; font-size: .63rem; }
.panel-note { margin: 30px 0 0; padding-top: 16px; color: #777f7b; border-top: 1px solid var(--line); font-size: .73rem; }
.demo-actions { display: flex; margin-top: 36px; align-items: center; gap: 22px; }
.demo-actions .button { cursor: pointer; }
.reset-button { padding: 8px 0; color: #666e6a; border: 0; border-bottom: 1px solid #9aa49f; background: transparent; font-size: .72rem; font-weight: 660; cursor: pointer; }
.reset-button[hidden] { display: none; }
.noscript-note { margin-top: 25px; padding: 12px; color: #5d6561; background: #f5f6f4; font-size: .75rem; }
@keyframes panel-enter { from { opacity: 0; transform: translateY(8px); } to { opacity: 1; transform: none; } }

.state-explanation__heading { display: grid; margin-bottom: 75px; grid-template-columns: 1fr 1fr; }
.state-explanation__heading .eyebrow { grid-column: 1 / -1; }
.state-explanation__heading h2 { margin: 0; }
.state-summary { position: relative; display: grid; margin: 0; padding: 0; grid-template-columns: repeat(3,1fr); list-style: none; }
.state-summary::before { position: absolute; top: 21px; right: 16.6%; left: 16.6%; height: 1px; content: ""; background: var(--line-strong); }
.state-summary li { position: relative; z-index: 1; display: grid; padding-right: clamp(20px,4vw,60px); grid-template-columns: 45px 1fr; gap: 18px; align-items: start; }
.state-summary li > span { display: grid; width: 43px; height: 43px; place-items: center; border: 1px solid currentColor; border-radius: 50%; background: var(--paper); font-size: .67rem; font-weight: 760; }
.state-summary strong { display: block; margin: 8px 0 25px; color: #6c746f; font-size: .65rem; letter-spacing: .13em; text-transform: uppercase; }
.state-summary h3 { font-size: 1.28rem; }
.state-summary p { margin: 0; color: var(--muted); font-size: .83rem; }
.demo-relationship { border-top: 1px solid var(--line); background: #f5f7f4; }
.demo-relationship__inner h2 { max-width: 1050px; }
.demo-relationship__inner h2 span { color: #69716d; }
.demo-relationship__inner .button-row { margin-top: 42px; }

@media (max-width: 1080px) {
  .demo-workspace { grid-template-columns: minmax(0,1.05fr) minmax(360px,.95fr); }
  .state-inspector { padding: 38px; }
}

@media (max-width: 800px) {
  .demo-intro { min-height: auto; padding-block: 70px 90px; grid-template-columns: 1fr; gap: 45px; }
  .back-link { margin-bottom: 55px; }
  .demo-disclosure { max-width: 570px; }
  .environment-header { grid-template-columns: 1fr; }
  .demo-progress { justify-content: flex-start; }
  .demo-workspace { min-height: 0; grid-template-columns: 1fr; }
  .topology-stage { min-height: 640px; border-right: 0; border-bottom: 1px solid var(--line-strong); }
  .topology-stage svg { width: min(100%,650px); }
  .state-inspector { min-height: 650px; }
  .state-explanation__heading { grid-template-columns: 1fr; }
  .state-summary { gap: 12px; }
  .state-summary li { padding: 20px 15px; border: 1px solid var(--line); border-radius: 12px; grid-template-columns: 1fr; }
  .state-summary strong { margin-bottom: 18px; }
}

@media (max-width: 560px) {
  .demo-page h1 { font-size: clamp(2.75rem,14vw,4rem); }
  .demo-purpose { grid-template-columns: 1fr; gap: 6px; }
  .demo-environment { width: 100%; }
  .environment-header { width: calc(100% - 32px); margin-inline: auto; }
  .demo-progress { width: 100%; justify-content: space-between; gap: 8px; }
  .demo-progress li { font-size: .58rem; }
  .demo-workspace { border-top: 1px solid var(--line-strong); }
  .topology-stage { min-height: 470px; padding: 5px; }
  .topology-stage svg { width: 108%; max-width: none; }
  .topology-state-label { bottom: 5%; left: 7%; }
  .state-inspector { min-height: 0; padding: 45px 21px 50px; }
  .attached-information { grid-template-columns: 1fr; }
  .run-work { grid-template-columns: 1fr; }
  .run-work li:nth-child(n) { padding-inline: 0; border-left: 0; }
  .demo-actions { display: grid; grid-template-columns: 1fr; justify-items: start; }
  .demo-actions .button { width: 100%; }
  .state-summary { grid-template-columns: 1fr; }
  .state-summary::before { top: 21px; bottom: 21px; left: 21px; width: 1px; height: auto; }
  .state-summary li { min-height: 0; padding: 0 0 45px 64px; border: 0; grid-template-columns: 1fr; }
  .state-summary li > span { position: absolute; top: 0; left: 0; }
  .state-summary strong { margin-top: 7px; }
}

@media (max-width: 350px) {
  .environment-header { width: calc(100% - 24px); }
  .topology-stage { min-height: 430px; }
  .topology-stage svg { width: 110%; }
}

@media (max-height: 520px) and (orientation: landscape) {
  .demo-intro { min-height: auto; grid-template-columns: 1.2fr .8fr; padding-block: 45px 70px; }
  .back-link { margin-bottom: 35px; }
  .demo-page h1 { font-size: clamp(2.7rem,7vw,4.3rem); }
}

@media (prefers-reduced-motion: reduce) {
  .state-layer, .run-ring, .topology-state-label > span { transition: none !important; }
  .state-panel { animation: none; }
}