:root {
  color-scheme: dark;
  --bg: #090c10;
  --panel: #11161d;
  --line: #252c35;
  --muted: #929ca9;
  --text: #edf1f5;
  --mint: #a9f57b;
  --red: #ff9e9e;
  --amber: #e9c58a;
  --violet: #b6a0f8;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 30px; }
body { margin: 0; background: var(--bg); color: var(--text); font: 14px/1.65 -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; -webkit-font-smoothing: antialiased; }
body::before { content: ''; position: fixed; inset: 0; pointer-events: none; background: radial-gradient(ellipse at 85% 0%, #a9f57b05, transparent 45%); z-index: -1; }
::selection { color: #09110a; background: var(--mint); }
a { color: inherit; }
button, .button { font: inherit; font-size: 12px; font-weight: 550; border: 1px solid #333c47; border-radius: 8px; padding: 11px 16px; background: linear-gradient(#222a34, #1a212a); color: var(--text); cursor: pointer; text-decoration: none; display: inline-flex; align-items: center; gap: 12px; justify-content: center; box-shadow: inset 0 1px #ffffff08, 0 2px 3px #0002; transition: background .2s, border-color .2s, transform .2s, box-shadow .2s; }
button:hover:not(:disabled), .button:hover { border-color: #809064; transform: translateY(-2px); box-shadow: 0 5px 18px #0004; }
button:active:not(:disabled), .button:active { transform: translateY(0); }
button:disabled { opacity: .38; cursor: not-allowed; box-shadow: none; }
button:focus-visible, a:focus-visible { outline: 2px solid var(--mint); outline-offset: 5px; }
.primary { background: var(--mint); color: #16220e; border-color: var(--mint); font-weight: 700; box-shadow: 0 0 22px #a9f57b12, inset 0 1px #ffffff50; }
.primary:hover:not(:disabled), .button.primary:hover { background: #c2ff9f; border-color: #c2ff9f; box-shadow: 0 4px 24px #a9f57b20; }
.accent-button { border-color: #4b5d3c; background: #a9f57b0b; color: #b6e69a; }
.shell { display: grid; grid-template-columns: 230px minmax(0, 1fr); }
.sidebar { padding: 33px 20px 25px; border-right: 1px solid #20262d; position: sticky; top: 0; height: 100vh; display: flex; flex-direction: column; background: #0c1015; }
.brand { display: flex; gap: 12px; align-items: center; line-height: 1.45; text-decoration: none; letter-spacing: -.15px; font-size: 12px; color: var(--muted); }
.brand-icon { width: 38px; height: 42px; display: grid; place-items: center; color: var(--mint); background: #a9f57b0c; border: 1px solid #a9f57b30; border-radius: 10px; flex-shrink: 0; box-shadow: 0 0 25px #a9f57b05; }
.brand-icon svg { width: 28px; height: 28px; }
.brand strong { font-size: 13px; color: var(--text); font-weight: 650; }
.nav-label, .label, .breadcrumb { font-size: 10px; letter-spacing: 1.5px; color: var(--muted); text-transform: uppercase; }
.nav-label { margin: 54px 12px 14px; font-size: 9px; color: #636e7b; }
nav { display: grid; gap: 7px; }
nav a { display: flex; align-items: center; gap: 12px; padding: 12px; text-decoration: none; color: #929ba8; border: 1px solid transparent; border-radius: 7px; font-size: 12px; transition: color .2s, background .2s; }
nav a:hover { color: var(--text); background: #ffffff04; }
nav a.active { background: linear-gradient(100deg, #a9f57b12, #a9f57b04); border-color: #a9f57b16; color: var(--mint); }
nav a > span:last-child { margin-left: auto; font: 9px ui-monospace, monospace; opacity: .45; }
nav .nav-icon { color: inherit; font-size: 19px; line-height: 1; width: 17px; text-align: center; }
.side-note { margin-top: auto; padding: 18px 11px 0; border-top: 1px solid var(--line); font-size: 11px; color: #c8d5c0; }
.side-note p { font-size: 10px; color: #717d8b; line-height: 1.9; margin-bottom: 0; }
.live-dot { display: inline-block; width: 5px; height: 5px; border-radius: 50%; background: var(--mint); margin-right: 7px; box-shadow: 0 0 8px #a9f57b66; }
main { max-width: 1560px; padding: 0 48px; width: 100%; margin: auto; min-width: 0; }
header { height: 79px; display: flex; align-items: center; justify-content: space-between; border-bottom: 1px solid var(--line); font-size: 11px; color: #aab3be; }
.separator { padding: 0 14px; color: #3b4653; }
.badge { display: inline-flex; align-items: center; border: 1px solid #333c47; border-radius: 5px; padding: 5px 9px; font: 8px/1.5 ui-monospace, SFMono-Regular, monospace; letter-spacing: .8px; color: #a5afba; white-space: nowrap; }
header .badge { border-color: #a9f57b22; color: #a9c896; background: #a9f57b05; }
header .badge::before { content: ''; width: 4px; height: 4px; border-radius: 50%; margin-right: 7px; background: var(--mint); }
.hero { padding: 54px 0 43px; display: grid; grid-template-columns: minmax(0, 1.3fr) minmax(250px, .85fr); align-items: center; gap: 28px; }
.eyebrow { font: 9px/1.5 ui-monospace, SFMono-Regular, monospace; color: var(--mint); letter-spacing: 1.7px; font-weight: 500; }
.hero-eyebrow { display: inline-flex; align-items: center; padding: 6px 10px; border: 1px solid #a9f57b20; border-radius: 20px; background: #a9f57b05; letter-spacing: 1.3px; font-size: 8px; }
h1 { font-size: clamp(38px, 4.2vw, 65px); font-weight: 600; letter-spacing: -2.6px; line-height: 1.08; margin: 21px 0; }
h1 > span { background: linear-gradient(115deg, #b8f495, #9aaf8d); -webkit-background-clip: text; background-clip: text; color: transparent; }
p { color: var(--muted); }
.hero p { max-width: 420px; font-size: 13px; line-height: 1.9; margin-bottom: 0; }
.hero-actions { display: flex; gap: 22px; align-items: center; margin-top: 27px; }
.hero-actions .button { padding: 12px 18px; }
.text-link { color: #aeb6c0; font-size: 11px; text-decoration: none; }
.text-link:hover { color: var(--mint); }
.signal-board { position: relative; overflow: hidden; border: 1px solid #343d30; background: radial-gradient(ellipse at 50% 35%, #a9f57b0a, transparent 65%), linear-gradient(140deg, #18201955, #10151c); border-radius: 13px; padding: 17px 18px 10px; box-shadow: 0 22px 70px #0004, inset 0 1px #ffffff08; }
.signal-board::before { content: ''; position: absolute; inset: 0; pointer-events: none; background-image: radial-gradient(#a9f57b18 .65px, transparent .65px); background-size: 13px 13px; mask-image: linear-gradient(transparent, #0009, transparent); }
.signal-top, .signal-bottom { position: relative; display: flex; align-items: center; justify-content: space-between; font: 7px ui-monospace, monospace; letter-spacing: 1.2px; color: #899e7d; }
.signal-top > span:last-child { color: #596751; }
.orbit-art { position: relative; width: 230px; height: 184px; margin: 2px auto 0; }
.orbit { position: absolute; border: 1px solid #a9f57b15; border-radius: 50%; inset: 13px 30px; }
.orbit-one { inset: 27px 48px; border-style: dashed; animation: rotate 65s linear infinite; }
.orbit-two { inset: 9px 30px; transform: rotate(-28deg); }
.orbit-three { inset: 47px 2px; transform: rotate(-28deg); border-color: #a9f57b30; }
.orbit-core { position: absolute; inset: 56px 80px; display: grid; place-items: center; background: linear-gradient(145deg, #a9f57b22, #a9f57b05); border: 1px solid #a9f57b60; color: var(--mint); border-radius: 19px; box-shadow: 0 0 45px #a9f57b12, inset 0 0 22px #a9f57b08; transform: rotate(-8deg); }
.orbit-core svg { width: 44px; height: 44px; transform: rotate(8deg); }
.satellite { position: absolute; width: 6px; height: 6px; background: var(--mint); border: 2px solid #172012; border-radius: 50%; box-shadow: 0 0 12px #a9f57b; }
.satellite-one { top: 27px; left: 58px; }
.satellite-two { bottom: 43px; right: 25px; background: var(--violet); box-shadow: 0 0 12px #b6a0f8; }
.signal-caption { position: relative; display: grid; gap: 4px; text-align: center; }
.signal-kicker { color: var(--mint); font: 7px ui-monospace, monospace; letter-spacing: 2px; }
.signal-caption strong { font-size: 17px; font-weight: 550; letter-spacing: -.6px; }
.signal-caption > span:last-child { font-size: 10px; color: #798775; }
.protocol-steps { position: relative; display: grid; grid-template-columns: repeat(4, 1fr); gap: 5px; margin: 21px 0 15px; }
.protocol-steps span { font-size: 8px; text-align: center; color: #99a28f; padding-top: 10px; border-top: 1px solid #6d80594a; }
.protocol-steps b { font: 7px ui-monospace, monospace; color: #53634a; display: block; margin-bottom: 3px; }
.signal-bottom { padding-top: 10px; border-top: 1px solid #ffffff08; font-size: 6px; color: #617056; }
.metrics { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 13px; }
.metrics article { padding: 19px 22px 18px; display: grid; gap: 7px; border: 1px solid var(--line); border-radius: 10px; background: linear-gradient(125deg, #161c23, #11161d); box-shadow: inset 0 1px #ffffff03; }
.metric-top { display: flex; align-items: center; justify-content: space-between; gap: 8px; }
.metric-top .label { font-size: 9px; letter-spacing: .5px; text-transform: none; }
.metric-icon { font: 16px ui-monospace, monospace; color: var(--mint); }
.metrics article:nth-child(2) .metric-icon { color: var(--violet); }
.metrics strong { font-size: 22px; font-weight: 550; letter-spacing: -.7px; color: var(--text); }
.metrics strong.muted { color: #7d8997; }
.muted { color: var(--muted); }
.hint { font-size: 10px; color: #7c8998; }
.notice { color: var(--red); font-size: 12px; }
.notice:not(:empty) { margin: 16px 0; padding: 12px 16px; border: 1px solid #ff9e9e30; border-radius: 8px; background: #ff9e9e08; }
.section { margin: 48px 0 56px; }
.section-heading { display: flex; justify-content: space-between; align-items: center; gap: 16px; margin-bottom: 20px; }
h2 { font-size: 25px; font-weight: 550; line-height: 1.35; letter-spacing: -.8px; margin: 8px 0 0; }
h2 span { color: #76818e; }
h3 { font-size: 13px; font-weight: 600; margin: 0 0 17px; letter-spacing: -.1px; }
h4 { font-size: 17px; font-weight: 550; line-height: 1.55; letter-spacing: -.3px; margin: 22px 0; }
.repair-layout { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; }
.panel { padding: 24px; border: 1px solid var(--line); background: linear-gradient(125deg, #151b23, #11161d 70%); border-radius: 11px; min-width: 0; box-shadow: inset 0 1px #ffffff04, 0 4px 15px #0001; }
.candidate-panel { position: relative; overflow: hidden; }
.candidate-panel::before { content: ''; position: absolute; top: 0; left: 24px; right: 24px; height: 1px; background: linear-gradient(90deg, #b6a0f870, transparent); }
.panel-top { display: flex; justify-content: space-between; align-items: center; gap: 10px; }
.panel-top h3 { display: flex; align-items: center; gap: 8px; margin: 0; }
.title-icon { font-size: 17px; color: var(--violet); font-weight: 400; }
.panel p { font-size: 12px; line-height: 1.85; }
#mr-state { border-color: #b6a0f82a; color: #c0aeee; background: #b6a0f807; }
dl { display: grid; grid-template-columns: 84px minmax(0, 1fr); gap: 13px; font-size: 10px; }
dt { color: #7c8998; }
dd { margin: 0; overflow-wrap: anywhere; color: #bac5d1; }
#commit, #branches { font-family: ui-monospace, SFMono-Regular, monospace; font-size: 9px; }
code { font: 10px ui-monospace, SFMono-Regular, monospace; color: #c2d7b7; background: #a9f57b08; padding: 3px 9px; border-radius: 4px; }
.link-row { display: flex; flex-wrap: wrap; gap: 16px; margin: 23px 0; }
.link-row a, .evidence-link { color: #b6d8a5; font-size: 10px; text-decoration: none; }
.link-row a:hover, .evidence-link:hover { color: var(--mint); text-decoration: underline; }
.file-list { font-family: ui-monospace, monospace; font-size: 9px; line-height: 2.4; color: #7f8c9c; border-top: 1px solid var(--line); padding-top: 15px; overflow-wrap: anywhere; }
.file-list > div::before { content: '↳'; margin-right: 9px; color: #535f6d; }
.gate { display: flex; justify-content: space-between; align-items: center; gap: 12px; border-bottom: 1px solid #252c3599; padding: 13px 0; font-size: 10px; color: #b4beca; }
.gate:first-child { margin-top: 13px; }
.gate strong { font: 8px ui-monospace, monospace; font-weight: 600; white-space: nowrap; }
.gate strong.pass::before { content: '✓'; margin-right: 6px; }
.pass { color: var(--mint); }
.fail { color: var(--red); }
.pending { color: var(--amber); }
#gates + .hint { margin-bottom: 0; }
.review-panel { display: flex; justify-content: space-between; align-items: center; gap: 20px; margin-top: 16px; border-color: #a9f57b22; background: linear-gradient(105deg, #a9f57b07, #11161d 70%); }
.review-panel h3 { margin: 8px 0; }
.review-panel p { margin: 0; max-width: 500px; font-size: 10px; }
.actions { display: flex; gap: 8px; flex-wrap: wrap; margin: 20px 0; }
.section-heading .actions { margin: 0; }
.review-panel .actions { flex-shrink: 0; }
#reject { background: transparent; color: #c3a6a6; border-color: #664c4c66; }
#verification-status { display: flex; align-items: center; gap: 7px; margin: -6px 0 16px; }
#verification-status::before { content: ''; width: 4px; height: 4px; flex-shrink: 0; border-radius: 50%; background: #77876b; }
#verification-status.running::before { width: 10px; height: 10px; border: 1px solid #a9f57b30; border-top-color: var(--mint); background: none; animation: rotate 1s linear infinite; }
#verification-status.failed { color: var(--red); }
.revision-row { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; gap: 10px; border-top: 1px solid var(--line); padding-top: 18px; margin-top: 28px; }
.revision-row .label { font-size: 9px; letter-spacing: .6px; }
.price-line { display: flex; justify-content: space-between; color: #8c99a8; font-size: 11px; margin: 15px 0; }
.price-line span:last-child { font-variant-numeric: tabular-nums; color: #d0d8e3; }
.checkout-card { background: radial-gradient(ellipse at 100% 100%, #a9f57b07, transparent 65%), #11161d; }
.checkout-card .panel-top { margin-bottom: 21px; }
.checkout-card .panel-top:last-child { margin-bottom: 0; }
.charge-row { display: flex; align-items: center; justify-content: space-between; border-top: 1px dashed #3c4538; padding: 21px 0; font-size: 10px; color: #a6b09e; }
.charge-row strong { font-size: 39px; line-height: 1; color: var(--mint); letter-spacing: -1.5px; font-weight: 500; font-variant-numeric: tabular-nums; }
.contract-panel { margin-top: 16px; overflow: auto; }
#results > p { padding: 18px 0 4px; margin: 0; }
table { width: 100%; border-collapse: collapse; font-size: 11px; white-space: nowrap; }
th, td { text-align: left; padding: 14px 9px; border-bottom: 1px solid var(--line); }
th { font: 8px ui-monospace, monospace; letter-spacing: .8px; color: #718092; font-weight: 500; }
.event { display: grid; grid-template-columns: 70px minmax(0, 1fr); gap: 12px; border-top: 1px solid var(--line); padding: 16px 0; font-size: 11px; color: #acb7c5; }
.event .hint { margin-top: 5px; font-size: 9px; }
.kind { font: 8px/1.5 ui-monospace, monospace; text-transform: uppercase; letter-spacing: .6px; color: var(--mint); padding: 4px 6px; background: #a9f57b08; border: 1px solid #a9f57b14; border-radius: 4px; align-self: start; text-align: center; }
.kind.rollback { color: var(--red); background: #ff9e9e08; border-color: #ff9e9e14; }
.kind.incident { color: var(--violet); background: #b6a0f808; border-color: #b6a0f814; }
#events { max-height: 400px; overflow: auto; padding-right: 6px; }
.empty { color: var(--muted); padding: 40px 24px; }
footer { padding: 25px 0 35px; border-top: 1px solid var(--line); font-size: 9px; color: #647182; }
[hidden] { display: none !important; }
* { scrollbar-width: thin; scrollbar-color: #364334 #0c1015; }
@keyframes rotate { to { transform: rotate(360deg); } }
@media (min-width: 1550px) { main { padding: 0 70px; } .hero { gap: 70px; padding: 65px 0 48px; } .signal-board { max-width: 430px; } h1 { font-size: 72px; } }
@media (max-width: 1200px) { .shell { grid-template-columns: 200px minmax(0, 1fr); } .sidebar { padding: 30px 14px; } main { padding: 0 30px; } .hero { gap: 20px; } h1 { font-size: 44px; letter-spacing: -1.9px; } .section-heading { align-items: flex-start; flex-wrap: wrap; } .review-panel { align-items: flex-start; flex-direction: column; } .review-panel .actions { margin: 0; } .metrics article { padding: 16px; } .metrics strong { font-size: 20px; } .panel { padding: 21px; } }
@media (max-width: 960px) { .hero { grid-template-columns: 1fr 260px; } h1 { font-size: 36px; letter-spacing: -1.7px; } .hero-actions { align-items: flex-start; flex-direction: column; gap: 14px; } .hero p { font-size: 12px; } .signal-board { padding: 15px 12px 10px; } .orbit-art { transform: scale(.9); height: 175px; } .repair-layout { grid-template-columns: 1fr; } .metric-top .label { font-size: 8px; } .metrics strong { font-size: 17px; } .metrics article { padding: 14px; } .metric-icon { display: none; } }
@media (max-width: 760px) { .shell { display: block; } .sidebar { position: static; height: auto; border-right: 0; border-bottom: 1px solid var(--line); padding: 19px 22px 12px; } .brand { font-size: 10px; } .brand strong { font-size: 12px; } .brand-icon { width: 32px; height: 34px; } .brand-icon svg { width: 24px; } .nav-label, .side-note { display: none; } nav { display: flex; gap: 4px; overflow: auto; margin-top: 20px; } nav a { padding: 9px 10px; font-size: 10px; gap: 7px; white-space: nowrap; } nav .nav-icon { font-size: 15px; width: 12px; } nav a > span:last-child { display: none; } main { padding: 0 22px; } header { height: 60px; font-size: 10px; } header .badge { font-size: 6px; } .breadcrumb { font-size: 8px; } .separator { padding: 0 8px; } .hero { padding: 38px 0 28px; gap: 24px; } h1 { font-size: clamp(33px, 5.8vw, 46px); letter-spacing: -1.7px; } .hero-actions { flex-direction: row; align-items: center; gap: 15px; } .hero p { font-size: 12px; } .text-link { font-size: 10px; } .hero-actions .button { padding: 11px 13px; } .metrics { gap: 8px; } .metrics article { padding: 13px 11px; } .metrics strong { font-size: 16px; } .metrics .hint { font-size: 8px; } .metrics .label { font-size: 8px; } .section { margin: 36px 0 40px; } h2 { font-size: 22px; } .section-heading { gap: 17px; } .eyebrow { font-size: 8px; } .hero-eyebrow { font-size: 7px; } .panel { padding: 20px; } }
@media (max-width: 620px) { .hero { grid-template-columns: 1fr; } h1 { font-size: clamp(40px, 9.6vw, 58px); letter-spacing: -2px; } .desktop-break { display: none; } .hero p { max-width: 430px; font-size: 13px; } .signal-board { margin-top: 7px; } .orbit-art { height: 160px; margin-top: -5px; transform: scale(.85); } .signal-caption { margin-top: -7px; } .protocol-steps { margin: 17px 0 13px; } .metrics { grid-template-columns: 1fr; gap: 9px; } .metrics article { padding: 16px 18px; grid-template-columns: 1fr auto; align-items: center; gap: 4px 12px; } .metrics article .metric-top { grid-row: 1; grid-column: 1; } .metrics article strong { grid-row: 1 / span 2; grid-column: 2; font-size: 18px; text-align: right; } .metrics .hint { grid-column: 1; font-size: 9px; } .metrics .label { font-size: 10px; } .metric-icon { display: none; } nav { gap: 1px; justify-content: space-between; } nav a { padding: 8px 6px; font-size: 9px; } .hero-actions { gap: 18px; } .panel-top .badge { font-size: 7px; } .gate { font-size: 10px; gap: 8px; } .gate strong { font-size: 7px; } dl { grid-template-columns: 64px minmax(0, 1fr); } .section-heading .actions { width: 100%; } .section-heading .actions button { flex: 1; padding: 11px 10px; font-size: 10px; } .link-row { gap: 15px; } .link-row a { font-size: 9px; } .charge-row strong { font-size: 36px; } .event { grid-template-columns: 65px minmax(0, 1fr); font-size: 10px; } footer { font-size: 8px; line-height: 1.9; } }
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } *, *::before, *::after { animation: none !important; transition: none !important; } }
/* Keep operational evidence readable alongside the quieter decorative labels. */
#overview { scroll-margin-top: 80px; }
.gate { font-size: 12px; }
.gate strong { font-size: 9px; }
dl { font-size: 11px; }
#commit, #branches { font-size: 10px; }
.hint { font-size: 11px; }
.link-row a, .evidence-link { font-size: 11px; }
.file-list { font-size: 10px; }
@media (max-width: 620px) { .gate { font-size: 11px; } .gate strong { font-size: 8px; } #commit, #branches { font-size: 9px; } }

.trust-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(min(100%, 440px), 1fr)); gap: 18px; margin-top: 14px; }
.table-scroll { overflow-x: auto; margin-top: 12px; }
.table-scroll table { min-width: 420px; }

.counterexample code { white-space: pre-wrap; overflow-wrap: anywhere; }

.challenge-panel fieldset { border: 0; padding: 0; margin: 0; min-width: 0; }
.challenge-fields { display: grid; grid-template-columns: repeat(4,minmax(0,1fr)); gap: 16px; }
.challenge-fields label { display: grid; align-content: start; gap: 8px; font-size: 12px; color: var(--text); }
.challenge-fields input, .challenge-fields select { width: 100%; min-width: 0; border: 1px solid #3c4652; border-radius: 7px; background: #0c1117; color: var(--text); font: inherit; padding: 12px; }
.challenge-fields input:focus, .challenge-fields select:focus { outline: 2px solid var(--mint); outline-offset: 2px; }
.challenge-fields small { color: var(--muted); font-size: 10px; }
.challenge-presets { display: flex; gap: 10px; flex-wrap: wrap; align-items: center; margin-top: 22px; }
.challenge-presets button { padding: 7px 12px; }
#challenge-status { color: var(--mint); min-height: 24px; }
.challenge-results { display: grid; grid-template-columns: repeat(3,minmax(0,1fr)); gap: 14px; margin: 20px 0; }
.challenge-results article { border: 1px solid var(--line); border-radius: 9px; padding: 18px; background: #ffffff02; min-width: 0; }
.challenge-results .label { font-size: 8px; letter-spacing: .6px; }
.challenge-results strong { display: block; font-size: clamp(18px,2.2vw,30px); margin: 12px 0; overflow-wrap: anywhere; }
.challenge-results .pass { color: var(--mint); }
.challenge-results .fail { color: var(--red); }
.challenge-case { overflow-wrap: anywhere; font-family: ui-monospace,monospace; }
#challenge-export { margin-top: 12px; }
@media(max-width:960px) { .challenge-fields { grid-template-columns: repeat(2,minmax(0,1fr)); } }
@media(max-width:620px) { .challenge-fields, .challenge-results { grid-template-columns: 1fr; } .challenge-panel .actions { display: flex; flex-wrap: wrap; } }