.coding-proof-layout {
  min-height: 100vh;
  min-height: 100dvh;
  background: var(--color-background);
  color: var(--color-text);
}

.coding-proof-layout__main {
  width: 100%;
  padding: var(--spacing-lg);
}

.coding-run-proof {
  --coding-ink: var(--color-text);
  --coding-muted: var(--color-text-secondary);
  --coding-line: var(--color-border);
  --coding-surface: var(--color-surface);
  max-width: 1240px;
  margin: 0 auto;
  display: grid;
  gap: var(--spacing-lg);
}

.coding-run-proof__header {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: var(--spacing-xl);
  padding: var(--spacing-lg) 0 var(--spacing-md);
  border-bottom: 1px solid var(--coding-line);
}

.coding-run-proof__header h1 {
  margin: 0;
  max-width: 780px;
  font-size: clamp(2rem, 4vw, 3.5rem);
  line-height: 1.02;
  letter-spacing: -0.045em;
}

.coding-run-proof__eyebrow {
  margin: 0 0 var(--spacing-xs);
  color: var(--coding-muted);
  font-family: var(--font-mono);
  font-size: 0.72rem;
  font-weight: 600;
  letter-spacing: 0.11em;
  text-transform: uppercase;
}

.coding-run-proof__lede {
  max-width: 700px;
  margin: var(--spacing-sm) 0 0;
  color: var(--coding-muted);
  font-size: 1.04rem;
}

.coding-run-proof__state {
  display: inline-flex;
  align-items: center;
  gap: var(--spacing-xs);
  flex: none;
  padding: 0.55rem 0.8rem;
  border: 1px solid var(--coding-line);
  border-radius: 999px;
  font-size: 0.82rem;
  font-weight: 600;
}

.coding-run-proof__state span {
  width: 0.55rem;
  height: 0.55rem;
  border-radius: 50%;
  background: var(--color-warning);
  box-shadow: 0 0 0 4px color-mix(in srgb, var(--color-warning) 16%, transparent);
}

.coding-run-proof__state--completed span { background: var(--color-success); }
.coding-run-proof__state--failed span { background: var(--color-error); }

.coding-run-proof__activity {
  display: flex;
  align-items: center;
  gap: var(--spacing-lg);
  padding: var(--spacing-sm) var(--spacing-md);
  border: 1px solid var(--coding-line);
  border-radius: var(--radius-lg);
  background: var(--coding-surface);
}

.coding-run-proof__activity .coding-run-proof__eyebrow { margin: 0; }
.coding-run-proof__activity dl {
  display: flex;
  gap: var(--spacing-lg);
  margin: 0;
}

.coding-run-proof__activity dl div {
  display: flex;
  align-items: baseline;
  gap: var(--spacing-xs);
}

.coding-run-proof__activity dt { color: var(--coding-muted); font-size: 0.78rem; }
.coding-run-proof__activity dd { margin: 0; font-size: 0.82rem; font-weight: 600; }

.coding-run-proof__stages {
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  margin: 0;
  padding: 0;
  list-style: none;
  border: 1px solid var(--coding-line);
  border-radius: var(--radius-lg);
  overflow: hidden;
  background: var(--coding-surface);
}

.coding-run-proof__stage {
  display: flex;
  align-items: center;
  gap: var(--spacing-xs);
  min-height: 54px;
  padding: var(--spacing-sm);
  color: var(--coding-muted);
  border-right: 1px solid var(--coding-line);
  font-size: 0.82rem;
  font-weight: 600;
}

.coding-run-proof__stage:last-child { border-right: 0; }

.coding-run-proof__stage span {
  display: grid;
  place-items: center;
  width: 1.45rem;
  height: 1.45rem;
  flex: none;
  border: 1px solid var(--coding-line);
  border-radius: 50%;
  font-family: var(--font-mono);
  font-size: 0.7rem;
}

.coding-run-proof__stage.is-confirmed { color: var(--coding-ink); }
.coding-run-proof__stage.is-confirmed span {
  border-color: var(--color-success);
  background: var(--color-success);
  color: white;
}

.coding-run-proof__layout {
  display: grid;
  grid-template-columns: minmax(0, 1.75fr) minmax(280px, 0.75fr);
  gap: var(--spacing-lg);
  align-items: start;
}

.coding-run-proof__aside { display: grid; gap: var(--spacing-md); }

.coding-run-proof__panel {
  border: 1px solid var(--coding-line);
  border-radius: var(--radius-lg);
  background: var(--coding-surface);
  padding: var(--spacing-lg);
}

.coding-run-proof__panel-heading {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: var(--spacing-md);
  padding-bottom: var(--spacing-md);
  border-bottom: 1px solid var(--coding-line);
}

.coding-run-proof__panel-heading h2 { margin: 0; font-size: 1.28rem; }
.coding-run-proof__panel-heading > span {
  color: var(--coding-muted);
  font-family: var(--font-mono);
  font-size: 0.72rem;
}

.coding-run-proof__timeline {
  margin: 0;
  padding: var(--spacing-sm) 0 0;
  list-style: none;
}

.coding-run-proof__timeline li {
  display: grid;
  grid-template-columns: 2rem 1fr;
  gap: var(--spacing-sm);
  padding: var(--spacing-sm) 0;
  border-bottom: 1px solid var(--coding-line);
}

.coding-run-proof__timeline li:last-child { border-bottom: 0; }

.coding-run-proof__timeline-marker {
  display: grid;
  place-items: center;
  width: 1.65rem;
  height: 1.65rem;
  margin-top: 0.1rem;
  border-radius: 50%;
  background: color-mix(in srgb, var(--color-success) 13%, var(--coding-surface));
  color: var(--color-success);
  font-family: var(--font-mono);
  font-size: 0.7rem;
  font-weight: 700;
}

.coding-run-proof__timeline-title {
  display: flex;
  justify-content: space-between;
  gap: var(--spacing-sm);
}

.coding-run-proof__timeline-title time,
.coding-run-proof__timeline p,
.coding-run-proof__timeline code {
  color: var(--coding-muted);
  font-size: 0.76rem;
}

.coding-run-proof__timeline p { margin: 0.18rem 0; font-family: var(--font-mono); }
.coding-run-proof__timeline code { background: transparent; padding: 0; }

.coding-run-proof__facts { margin: 0; }
.coding-run-proof__runtime-hierarchy {
  display: grid;
  gap: var(--spacing-xs);
  margin: 0 0 var(--spacing-sm);
  padding: 0;
  list-style: none;
}

.coding-run-proof__runtime-hierarchy li {
  display: flex;
  justify-content: space-between;
  gap: var(--spacing-md);
  padding: 0.65rem;
  border: 1px solid var(--coding-line);
  border-radius: var(--radius-md);
  font-size: 0.8rem;
}

.coding-run-proof__runtime-hierarchy li + li {
  position: relative;
  margin-left: var(--spacing-md);
  background: color-mix(in srgb, var(--coding-line) 18%, var(--coding-surface));
}

.coding-run-proof__runtime-hierarchy li + li::before {
  position: absolute;
  top: calc(-1 * var(--spacing-xs) - 1px);
  left: calc(-1 * var(--spacing-sm));
  width: var(--spacing-sm);
  height: calc(50% + var(--spacing-xs));
  border-bottom: 1px solid var(--coding-line);
  border-left: 1px solid var(--coding-line);
  content: "";
}

.coding-run-proof__runtime-hierarchy span { color: var(--coding-muted); }
.coding-run-proof__runtime-hierarchy strong { text-align: right; }
.coding-run-proof__facts div {
  display: flex;
  justify-content: space-between;
  gap: var(--spacing-md);
  padding: 0.6rem 0;
  border-bottom: 1px solid var(--coding-line);
}
.coding-run-proof__facts div:last-child { border-bottom: 0; }
.coding-run-proof__facts dt { color: var(--coding-muted); font-size: 0.8rem; }
.coding-run-proof__facts dd { margin: 0; max-width: 60%; text-align: right; font-size: 0.8rem; overflow-wrap: anywhere; }

.coding-run-proof__boundary-note,
.coding-run-proof__decision p {
  margin: var(--spacing-sm) 0 0;
  color: var(--coding-muted);
  font-size: 0.82rem;
}

.coding-run-proof__decision strong { font-size: 1.2rem; }
.coding-run-proof__decision .button { margin-top: var(--spacing-md); width: 100%; }

@media (max-width: 900px) {
  .coding-proof-layout__main { padding: var(--spacing-md); }
  .coding-run-proof__layout { grid-template-columns: 1fr; }
  .coding-run-proof__stages { grid-template-columns: 1fr; }
  .coding-run-proof__stage { border-right: 0; border-bottom: 1px solid var(--coding-line); }
  .coding-run-proof__stage:last-child { border-bottom: 0; }
}

@media (max-width: 640px) {
  .coding-proof-layout__main { padding: var(--spacing-sm); }
  .coding-run-proof__header { flex-direction: column; gap: var(--spacing-md); }
  .coding-run-proof__activity,
  .coding-run-proof__activity dl { align-items: flex-start; flex-direction: column; gap: var(--spacing-xs); }
  .coding-run-proof__timeline-title { flex-direction: column; gap: 0.15rem; }
  .coding-run-proof__panel { padding: var(--spacing-md); }
}