:root {
  --tr-bg: #061218;
  --tr-panel: rgba(10, 31, 39, .9);
  --tr-panel-2: #0b252e;
  --tr-line: rgba(135, 183, 190, .18);
  --tr-line-strong: rgba(72, 218, 194, .45);
  --tr-text: #f1f7f6;
  --tr-muted: #91abb0;
  --tr-dim: #5e7a80;
  --tr-teal: #43d9c2;
  --tr-teal-deep: #123f43;
  --tr-coral: #ff8c72;
  --tr-gold: #f4bc64;
  --tr-blue: #69a9d6;
  --tr-shadow: 0 28px 80px rgba(0, 0, 0, .3);
  --tr-radius: 24px;
  --tr-mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  --tr-sans: Inter, "Noto Sans SC", "PingFang SC", system-ui, sans-serif;
}

* { box-sizing: border-box; }
html { min-width: 320px; background: var(--tr-bg); overflow-x: clip; }
body {
  margin: 0;
  min-height: 100vh;
  color: var(--tr-text);
  font-family: var(--tr-sans);
  overflow-x: clip;
  max-width: 100%;
  background:
    radial-gradient(circle at 12% -10%, rgba(40, 180, 169, .19), transparent 36rem),
    radial-gradient(circle at 88% 25%, rgba(68, 102, 133, .16), transparent 42rem),
    linear-gradient(145deg, #051116 0%, #071a21 52%, #061218 100%);
}

button, a { -webkit-tap-highlight-color: transparent; }
button { font: inherit; }
a { color: inherit; }
[hidden] { display: none !important; }
.lang-cn { display: none; }
html[data-lang="cn"] .lang-en { display: none; }
html[data-lang="cn"] .lang-cn { display: inline; }
p.lang-cn { display: none; }
html[data-lang="cn"] p.lang-cn { display: block; }

.tr-grid {
  position: fixed;
  inset: 0;
  pointer-events: none;
  opacity: .12;
  background-image:
    linear-gradient(rgba(101, 179, 184, .09) 1px, transparent 1px),
    linear-gradient(90deg, rgba(101, 179, 184, .09) 1px, transparent 1px);
  background-size: 58px 58px;
  mask-image: linear-gradient(to bottom, #000, transparent 75%);
}

.tr-header {
  position: sticky;
  top: 0;
  z-index: 20;
  display: flex;
  min-height: 76px;
  align-items: center;
  justify-content: space-between;
  gap: 24px;
  padding: 12px clamp(20px, 4vw, 68px);
  border-bottom: 1px solid var(--tr-line);
  background: #061218;
  backdrop-filter: none;
  -webkit-backdrop-filter: none;
}

.tr-brand { display: flex; align-items: center; gap: 13px; text-decoration: none; }
.tr-brand img { filter: none; }
.tr-brand > span { display: grid; gap: 2px; }
.tr-brand strong { font-size: 14px; letter-spacing: .19em; }
.tr-brand small { color: var(--tr-muted); font-size: 12px; }
.tr-header-actions { display: flex; align-items: center; gap: 10px; }
.tr-mode, .tr-language, .tr-back {
  min-height: 38px;
  display: inline-flex;
  align-items: center;
  gap: 8px;
  padding: 0 14px;
  border: 1px solid var(--tr-line);
  border-radius: 999px;
  background: rgba(14, 42, 50, .72);
  color: var(--tr-muted);
  text-decoration: none;
  font: 650 11px var(--tr-mono);
}
.tr-mode i { width: 7px; height: 7px; border-radius: 50%; background: var(--tr-gold); box-shadow: 0 0 0 1px rgba(244, 188, 100, .35); }
.tr-language { color: var(--tr-text); cursor: pointer; }
.tr-language:hover, .tr-back:hover { border-color: var(--tr-line-strong); color: var(--tr-text); }

.tr-shell { position: relative; width: min(1880px, calc(100% - 40px)); margin: 0 auto; padding: 58px 0 72px; }
.tr-hero { display: grid; grid-template-columns: minmax(0, 1fr) auto; align-items: end; gap: 54px; padding: 0 8px 42px; }
.tr-kicker { margin: 0 0 12px; color: var(--tr-teal); font: 750 10px/1.45 var(--tr-mono); letter-spacing: .2em; }
.tr-hero h1 { margin: 0; max-width: 960px; font-size: clamp(40px, 5vw, 80px); line-height: .98; letter-spacing: -.052em; }
.tr-hero h1 em { color: var(--tr-teal); font-style: normal; }
.tr-hero-copy > p:last-child, .tr-hero-copy > p.lang-en, .tr-hero-copy > p.lang-cn { max-width: 820px; margin: 22px 0 0; color: var(--tr-muted); font-size: 16px; line-height: 1.7; }
.tr-hero-proof { display: grid; grid-template-columns: repeat(3, minmax(112px, 1fr)); gap: 1px; padding: 1px; overflow: hidden; border: 1px solid var(--tr-line); border-radius: 19px; background: var(--tr-line); }
.tr-hero-proof div { min-height: 106px; display: grid; align-content: center; gap: 7px; padding: 20px; background: rgba(8, 27, 34, .96); }
.tr-hero-proof strong { color: var(--tr-teal); font: 750 20px var(--tr-mono); }
.tr-hero-proof span { color: var(--tr-muted); font-size: 11px; line-height: 1.4; }

.tr-boundary {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr) auto;
  align-items: center;
  gap: 18px;
  margin: 0 0 18px;
  padding: 17px 20px;
  border: 1px solid rgba(244, 188, 100, .35);
  border-radius: 18px;
  background: linear-gradient(90deg, rgba(244, 188, 100, .09), rgba(10, 31, 39, .88));
}
.tr-boundary-mark { display: grid; place-items: center; width: 38px; height: 38px; border: 1px solid rgba(244, 188, 100, .45); border-radius: 12px; color: var(--tr-gold); font: 800 18px var(--tr-mono); }
.tr-boundary-copy .tr-kicker { margin-bottom: 3px; color: var(--tr-gold); }
.tr-boundary-copy > p:last-child { margin: 0; color: var(--tr-muted); font-size: 12px; line-height: 1.5; }
.tr-boundary-flags { display: flex; gap: 8px; list-style: none; margin: 0; padding: 0; }
.tr-boundary-flags li { display: flex; align-items: center; gap: 6px; padding: 8px 10px; border: 1px solid var(--tr-line); border-radius: 10px; color: var(--tr-muted); font: 700 9px var(--tr-mono); }
.tr-boundary-flags b { color: var(--tr-coral); font-size: 13px; }

.tr-auth { max-width: 900px; margin: 44px auto; padding: 28px; display: flex; align-items: center; gap: 22px; border: 1px solid var(--tr-line-strong); border-radius: var(--tr-radius); background: var(--tr-panel); box-shadow: var(--tr-shadow); }
.tr-auth-icon { flex: 0 0 auto; display: grid; place-items: center; width: 60px; height: 60px; border-radius: 18px; color: var(--tr-teal); background: rgba(67, 217, 194, .1); font-size: 26px; }
.tr-auth h2 { margin: 0 0 7px; font-size: 20px; }
.tr-auth p { margin: 0; color: var(--tr-muted); line-height: 1.6; }
.tr-primary-link { margin-left: auto; padding: 12px 17px; border-radius: 11px; background: var(--tr-teal); color: #05201d; text-decoration: none; font-weight: 780; white-space: nowrap; }

.tr-workspace { display: grid; grid-template-columns: minmax(300px, .7fr) minmax(600px, 1.45fr) minmax(300px, .67fr); gap: 18px; align-items: start; }
.tr-control-panel, .tr-stage, .tr-proof-panel {
  border: 1px solid var(--tr-line);
  border-radius: var(--tr-radius);
  background: #0a1c22;
  box-shadow: var(--tr-shadow);
  backdrop-filter: none;
  -webkit-backdrop-filter: none;
}
.tr-control-panel, .tr-proof-panel { padding: 24px; }
.tr-section-head { display: flex; align-items: center; gap: 13px; }
.tr-section-head > span { flex: 0 0 auto; display: grid; place-items: center; width: 40px; height: 40px; border: 1px solid var(--tr-line-strong); border-radius: 13px; color: var(--tr-teal); font: 750 12px var(--tr-mono); }
.tr-section-head .tr-kicker { margin-bottom: 2px; }
.tr-section-head h2 { margin: 0; font-size: 18px; }
.tr-panel-intro { margin: 20px 0; color: var(--tr-muted); font-size: 12px; line-height: 1.65; }

.tr-scenario-list { display: grid; gap: 9px; }
.tr-scenario {
  width: 100%;
  display: grid;
  grid-template-columns: 34px minmax(0, 1fr) auto;
  gap: 11px;
  align-items: start;
  padding: 14px;
  border: 1px solid var(--tr-line);
  border-radius: 15px;
  background: rgba(4, 17, 22, .58);
  color: var(--tr-text);
  text-align: left;
  cursor: pointer;
}
.tr-scenario:hover { border-color: rgba(67, 217, 194, .3); }
.tr-scenario[aria-checked="true"] { border-color: var(--tr-teal); background: rgba(67, 217, 194, .09); box-shadow: inset 0 0 0 1px rgba(67, 217, 194, .08); }
.tr-scenario-index { display: grid; place-items: center; width: 32px; height: 32px; border-radius: 10px; background: rgba(67, 217, 194, .1); color: var(--tr-teal); font: 750 10px var(--tr-mono); }
.tr-scenario-copy { min-width: 0; display: grid; gap: 5px; }
.tr-scenario-copy b { font-size: 12px; line-height: 1.35; }
.tr-scenario-copy small { color: var(--tr-muted); font-size: 10px; line-height: 1.45; }
.tr-scenario-meta { display: grid; justify-items: end; gap: 5px; }
.tr-scenario-meta b { color: var(--tr-teal); font: 750 10px var(--tr-mono); }
.tr-scenario-meta small { color: var(--tr-dim); font: 650 8px var(--tr-mono); }
.tr-scenario.hold .tr-scenario-index { color: var(--tr-gold); background: rgba(244, 188, 100, .1); }
.tr-scenario.hold .tr-scenario-meta b { color: var(--tr-gold); }

.tr-run { width: 100%; min-height: 64px; margin: 17px 0 0; display: flex; align-items: center; gap: 13px; padding: 12px 16px; border: 0; border-radius: 15px; background: linear-gradient(135deg, var(--tr-teal), #75ead5); color: #05211f; cursor: pointer; text-align: left; box-shadow: 0 12px 28px rgba(67, 217, 194, .15); }
.tr-run:disabled { cursor: not-allowed; opacity: .42; filter: grayscale(.35); }
.tr-run-icon { flex: 0 0 auto; display: grid; place-items: center; width: 34px; height: 34px; border: 1px solid rgba(4, 32, 28, .2); border-radius: 50%; font-size: 10px; }
.tr-run > span:last-child { display: grid; gap: 3px; }
.tr-run b { font-size: 12px; }
.tr-run small { font-size: 9px; opacity: .72; }
.tr-status { min-height: 18px; margin-top: 10px; color: var(--tr-muted); font-size: 10px; line-height: 1.5; }
.tr-status.error { color: var(--tr-coral); }
.tr-status.success { color: var(--tr-teal); }
.tr-method-card { margin-top: 18px; padding: 16px; border: 1px solid var(--tr-line); border-radius: 15px; background: rgba(3, 16, 20, .42); }
.tr-method-card dl { margin: 0; }
.tr-method-card dl div { display: flex; justify-content: space-between; gap: 12px; padding: 8px 0; border-bottom: 1px solid var(--tr-line); }
.tr-method-card dl div:last-child { border: 0; }
.tr-method-card dt, .tr-method-card dd { margin: 0; font-size: 10px; }
.tr-method-card dt { color: var(--tr-muted); }
.tr-method-card dd { text-align: right; font-family: var(--tr-mono); }

.tr-stage { min-height: 720px; overflow: hidden; }
.tr-stage-head { display: flex; align-items: center; justify-content: space-between; gap: 20px; padding: 24px; border-bottom: 1px solid var(--tr-line); }
.tr-stage-state { display: flex; align-items: center; gap: 8px; color: var(--tr-muted); font: 650 9px var(--tr-mono); letter-spacing: .08em; }
.tr-stage-state i { width: 7px; height: 7px; border-radius: 50%; background: var(--tr-dim); }
.tr-stage-state.ready i { background: var(--tr-teal); box-shadow: 0 0 0 1px rgba(67, 217, 194, .35); }
.tr-stage-state.hold i { background: var(--tr-gold); box-shadow: 0 0 0 1px rgba(244, 188, 100, .35); }
.tr-empty { min-height: 630px; display: grid; place-items: center; align-content: center; gap: 12px; padding: 50px; text-align: center; }
.tr-empty h3 { margin: 9px 0 0; font-size: 22px; }
.tr-empty p { max-width: 500px; margin: 0; color: var(--tr-muted); font-size: 12px; line-height: 1.7; }
.tr-radar { position: relative; width: 112px; height: 112px; border: 1px solid var(--tr-line-strong); border-radius: 50%; background: radial-gradient(circle, rgba(67, 217, 194, .18) 0 3px, transparent 4px), repeating-radial-gradient(circle, transparent 0 23px, rgba(67, 217, 194, .12) 24px 25px); }
.tr-radar::before, .tr-radar::after { content: ""; position: absolute; background: var(--tr-line-strong); }
.tr-radar::before { width: 1px; height: 100%; left: 50%; }
.tr-radar::after { width: 100%; height: 1px; top: 50%; }
.tr-radar span { position: absolute; inset: 8px; border-radius: 50%; background: conic-gradient(from 20deg, rgba(67, 217, 194, .28), transparent 25%); animation: sweep 4s linear infinite; }
.tr-radar i, .tr-radar b { position: absolute; width: 5px; height: 5px; border-radius: 50%; background: var(--tr-teal); box-shadow: none; }
.tr-radar i { left: 27px; top: 42px; }
.tr-radar b { right: 25px; bottom: 29px; }
@keyframes sweep { to { transform: rotate(360deg); } }

#resultSurface { padding: 24px; }
.tr-result-title { display: flex; align-items: flex-start; justify-content: space-between; gap: 20px; margin-bottom: 18px; }
.tr-result-title h3 { margin: 0 0 7px; font-size: 25px; }
.tr-result-title > div > p:last-child { margin: 0; color: var(--tr-muted); font-size: 11px; line-height: 1.55; }
.tr-verdict { padding: 8px 11px; border: 1px solid rgba(67, 217, 194, .35); border-radius: 999px; background: rgba(67, 217, 194, .1); color: var(--tr-teal); font: 750 9px var(--tr-mono); white-space: nowrap; }
.tr-metrics { display: grid; grid-template-columns: repeat(4, 1fr); gap: 9px; margin-bottom: 14px; }
.tr-metric { min-height: 100px; display: grid; align-content: center; gap: 6px; padding: 15px; border: 1px solid var(--tr-line); border-radius: 15px; background: rgba(5, 19, 24, .5); }
.tr-metric strong { color: var(--tr-teal); font: 780 24px var(--tr-mono); letter-spacing: -.04em; }
.tr-metric span { color: var(--tr-muted); font-size: 9px; line-height: 1.35; }
.tr-plan-comparison { display: grid; grid-template-columns: 1fr 1fr; gap: 10px; margin-bottom: 14px; }
.tr-plan-card { padding: 16px; border: 1px solid var(--tr-line); border-radius: 16px; background: rgba(5, 19, 24, .5); }
.tr-plan-card.winner { border-color: rgba(67, 217, 194, .4); background: linear-gradient(145deg, rgba(67, 217, 194, .09), rgba(5, 19, 24, .6)); }
.tr-plan-card-head { display: flex; justify-content: space-between; gap: 10px; margin-bottom: 13px; }
.tr-plan-card-head b { font-size: 12px; }
.tr-plan-card-head span { color: var(--tr-muted); font: 700 8px var(--tr-mono); }
.tr-plan-card dl { display: grid; grid-template-columns: 1fr 1fr; gap: 7px; margin: 0 0 12px; }
.tr-plan-card dl div { display: grid; gap: 3px; }
.tr-plan-card dt { color: var(--tr-muted); font-size: 8px; }
.tr-plan-card dd { margin: 0; font: 750 14px var(--tr-mono); }
.tr-order { display: flex; flex-wrap: wrap; gap: 4px; }
.tr-order span { padding: 5px 6px; border-radius: 6px; background: rgba(99, 146, 152, .12); color: var(--tr-muted); font: 650 7px var(--tr-mono); }
.tr-plan-card.winner .tr-order span { background: rgba(67, 217, 194, .1); color: var(--tr-teal); }

.tr-timeline-card { padding: 17px; border: 1px solid var(--tr-line); border-radius: 16px; background: rgba(5, 19, 24, .5); }
.tr-card-head { display: flex; justify-content: space-between; gap: 15px; margin-bottom: 16px; }
.tr-card-head h3 { margin: 0; font-size: 14px; }
.tr-legend { display: flex; align-items: center; gap: 10px; color: var(--tr-muted); font-size: 8px; }
.tr-legend > span { display: flex; align-items: center; gap: 5px; }
.tr-legend i { width: 7px; height: 7px; border-radius: 2px; }
.tr-legend i.grain { background: var(--tr-teal); }
.tr-legend i.fertilizer { background: var(--tr-blue); }
.tr-timeline { display: grid; gap: 8px; }
.tr-timeline-row { display: grid; grid-template-columns: 95px minmax(0, 1fr); align-items: center; gap: 10px; }
.tr-timeline-label { display: grid; gap: 2px; }
.tr-timeline-label b { font: 700 8px var(--tr-mono); }
.tr-timeline-label small { color: var(--tr-muted); font-size: 7px; }
.tr-timeline-track { position: relative; min-height: 30px; overflow: hidden; border: 1px solid var(--tr-line); border-radius: 8px; background: repeating-linear-gradient(90deg, rgba(110, 159, 166, .07) 0 1px, transparent 1px 10%); }
.tr-timeline-bar { position: absolute; top: 4px; height: 20px; min-width: 4px; display: flex; align-items: center; overflow: hidden; border-radius: 5px; padding: 0 5px; color: #06221f; background: var(--tr-teal); font: 750 7px var(--tr-mono); white-space: nowrap; }
.tr-timeline-bar.fertilizer { color: #071b29; background: var(--tr-blue); }

.tr-infeasible { min-height: 630px; display: flex; align-items: center; justify-content: center; gap: 25px; padding: 48px; }
.tr-hold-mark { flex: 0 0 auto; display: grid; place-items: center; width: 100px; height: 100px; border: 1px solid rgba(244, 188, 100, .45); border-radius: 50%; color: var(--tr-gold); font: 800 15px var(--tr-mono); box-shadow: inset 0 0 32px rgba(244, 188, 100, .07); }
.tr-infeasible h3 { margin: 0 0 8px; font-size: 26px; }
.tr-infeasible > div:last-child > p:not(.tr-kicker) { max-width: 500px; margin: 0; color: var(--tr-muted); font-size: 12px; line-height: 1.65; }
.tr-findings { display: grid; gap: 7px; margin-top: 18px; }
.tr-finding { padding: 12px; border: 1px solid rgba(244, 188, 100, .3); border-radius: 11px; background: rgba(244, 188, 100, .07); }
.tr-finding b { display: block; color: var(--tr-gold); font: 700 9px var(--tr-mono); margin-bottom: 6px; }
.tr-finding span { color: var(--tr-muted); font-size: 10px; }

.tr-proof-panel { min-height: 720px; }
.tr-proof-empty { min-height: 560px; display: grid; place-items: center; align-content: center; gap: 15px; text-align: center; color: var(--tr-muted); }
.tr-proof-empty > span { display: grid; place-items: center; width: 72px; height: 72px; border: 1px dashed var(--tr-line-strong); border-radius: 50%; color: var(--tr-teal); font: 750 13px var(--tr-mono); }
.tr-proof-empty p { max-width: 200px; margin: 0; font-size: 11px; line-height: 1.6; }
.tr-validation-seal { display: flex; align-items: center; gap: 11px; margin: 24px 0 17px; padding: 13px; border: 1px solid rgba(67, 217, 194, .33); border-radius: 13px; background: rgba(67, 217, 194, .08); }
.tr-validation-seal > span { display: grid; place-items: center; width: 30px; height: 30px; border-radius: 50%; background: var(--tr-teal); color: #05201d; font-weight: 900; }
.tr-validation-seal > div { display: grid; gap: 3px; }
.tr-validation-seal b { font-size: 11px; }
.tr-validation-seal small { color: var(--tr-muted); font-size: 8px; }
.tr-receipt-list { margin: 0; }
.tr-receipt-list div { padding: 10px 0; border-bottom: 1px solid var(--tr-line); }
.tr-receipt-list dt { margin-bottom: 5px; color: var(--tr-muted); font-size: 9px; }
.tr-receipt-list dd { margin: 0; font-size: 10px; }
.tr-receipt-list code { display: block; overflow: hidden; color: var(--tr-text); font: 650 8px var(--tr-mono); text-overflow: ellipsis; white-space: nowrap; }
.tr-checks, .tr-source-box { margin-top: 17px; }
.tr-checks h3, .tr-source-box h3 { margin: 0 0 9px; font-size: 11px; }
.tr-check-item { display: flex; justify-content: space-between; gap: 10px; padding: 7px 0; color: var(--tr-muted); font-size: 9px; border-bottom: 1px solid var(--tr-line); }
.tr-check-item b { color: var(--tr-teal); font: 750 8px var(--tr-mono); }
.tr-download { width: 100%; min-height: 59px; margin-top: 17px; display: flex; align-items: center; gap: 11px; padding: 10px 13px; border: 1px solid var(--tr-line-strong); border-radius: 13px; background: rgba(67, 217, 194, .1); color: var(--tr-text); text-align: left; cursor: pointer; }
.tr-download:disabled { opacity: .45; cursor: not-allowed; }
.tr-download > span:first-child { color: var(--tr-teal); font-size: 18px; }
.tr-download > span:last-child { min-width: 0; display: grid; gap: 4px; }
.tr-download b { font-size: 10px; }
.tr-download small { overflow: hidden; color: var(--tr-muted); font: 650 7px var(--tr-mono); text-overflow: ellipsis; white-space: nowrap; }
.tr-source { display: block; padding: 9px; margin-bottom: 6px; border: 1px solid var(--tr-line); border-radius: 10px; text-decoration: none; background: rgba(4, 17, 22, .45); }
.tr-source b { display: block; margin-bottom: 4px; color: var(--tr-text); font-size: 9px; line-height: 1.35; }
.tr-source small { color: var(--tr-muted); font: 650 7px/1.4 var(--tr-mono); }
.tr-source:hover { border-color: var(--tr-line-strong); }

.tr-footer { display: flex; justify-content: space-between; gap: 20px; padding: 22px clamp(20px, 4vw, 68px); border-top: 1px solid var(--tr-line); color: var(--tr-dim); font: 650 9px var(--tr-mono); }

@media (max-width: 1450px) {
  .tr-workspace { grid-template-columns: minmax(300px, .67fr) minmax(570px, 1.33fr); }
  .tr-proof-panel { grid-column: 1 / -1; min-height: auto; }
  #proofContent { display: grid; grid-template-columns: 1fr 1fr 1fr; gap: 20px; align-items: start; }
  .tr-validation-seal { grid-column: 1 / -1; margin-bottom: 0; }
  .tr-receipt-list { grid-column: 1; }
  .tr-checks, .tr-download { grid-column: 2; }
  .tr-source-box { grid-column: 3; }
}

@media (max-width: 1020px) {
  .tr-hero { grid-template-columns: 1fr; }
  .tr-hero-proof { width: min(100%, 470px); }
  .tr-boundary { grid-template-columns: auto 1fr; }
  .tr-boundary-flags { grid-column: 1 / -1; padding-left: 56px; flex-wrap: wrap; }
  .tr-workspace { grid-template-columns: 1fr; }
  .tr-proof-panel { grid-column: auto; }
  .tr-control-panel { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; }
  .tr-control-panel > .tr-section-head, .tr-panel-intro, .tr-scenario-list { grid-column: 1; }
  .tr-run, .tr-status, .tr-method-card { grid-column: 2; }
  .tr-run { grid-row: 2; margin-top: 0; align-self: end; }
  .tr-status { grid-row: 3; }
  .tr-method-card { grid-row: 4 / span 2; margin-top: 0; }
  #proofContent { grid-template-columns: 1fr 1fr; }
  .tr-source-box { grid-column: 1 / -1; }
}

@media (max-width: 700px) {
  .tr-header { min-height: 68px; }
  .tr-mode { display: none; }
  .tr-back span:not([aria-hidden]) { display: none; }
  .tr-shell { width: min(100% - 24px, 1880px); padding-top: 36px; }
  .tr-hero { gap: 30px; padding-bottom: 30px; }
  .tr-hero h1 { font-size: clamp(38px, 12vw, 58px); }
  .tr-hero-copy > p:last-child, .tr-hero-copy > p.lang-en, .tr-hero-copy > p.lang-cn { font-size: 14px; }
  .tr-hero-proof { grid-template-columns: 1fr; }
  .tr-hero-proof div { min-height: 72px; grid-template-columns: 1fr 1fr; align-items: center; }
  .tr-boundary { grid-template-columns: auto 1fr; }
  .tr-boundary-flags { padding-left: 0; }
  .tr-boundary-flags li { flex: 1 1 45%; }
  .tr-auth { display: grid; grid-template-columns: auto 1fr; padding: 22px; }
  .tr-primary-link { grid-column: 1 / -1; margin: 0; text-align: center; }
  .tr-control-panel { display: block; }
  .tr-panel-intro { margin-top: 18px; }
  .tr-run { margin-top: 16px; }
  .tr-method-card { margin-top: 17px; }
  .tr-stage-head { align-items: flex-start; padding: 20px; }
  .tr-stage-state { margin-top: 12px; }
  .tr-empty { min-height: 480px; padding: 30px; }
  #resultSurface { padding: 18px; }
  .tr-result-title { display: grid; }
  .tr-metrics { grid-template-columns: 1fr 1fr; }
  .tr-plan-comparison { grid-template-columns: 1fr; }
  .tr-card-head { display: grid; }
  .tr-timeline-row { grid-template-columns: 78px minmax(0, 1fr); }
  .tr-infeasible { min-height: 480px; display: grid; justify-items: center; padding: 30px; text-align: center; }
  .tr-findings { text-align: left; }
  #proofContent { display: block; }
  .tr-source-box { margin-top: 18px; }
  .tr-footer { display: grid; text-align: center; }
}

@media (prefers-reduced-motion: reduce) {
  .tr-radar span { animation: none; }
}