.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__states {
  display: flex;
  flex: none;
  flex-wrap: wrap;
  justify-content: flex-end;
  gap: var(--spacing-xs);
}

.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__state--proof-complete span { background: var(--color-success); }
.coding-run-proof__state--proof-incomplete span { background: var(--color-warning); }

.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__proof-gap {
  padding: var(--spacing-md);
  border: 1px solid color-mix(in srgb, var(--color-warning) 54%, var(--coding-line));
  border-radius: var(--radius-lg);
  background: color-mix(in srgb, var(--color-warning) 8%, var(--coding-surface));
}

.coding-run-proof__proof-gap strong { font-size: 0.92rem; }
.coding-run-proof__proof-gap p {
  margin: var(--spacing-xs) 0 0;
  color: var(--coding-muted);
  font-size: 0.82rem;
}

.coding-run-proof__artifacts {
  display: grid;
  grid-template-columns: minmax(14rem, 0.7fr) minmax(20rem, 1.3fr);
  gap: var(--spacing-lg);
  align-items: center;
  padding: var(--spacing-lg);
  border: 1px solid var(--coding-line);
  border-radius: var(--radius-lg);
  background: var(--coding-surface);
}

.coding-run-proof__artifacts h2 { margin: 0 0 var(--spacing-xs); font-size: 1.3rem; }
.coding-run-proof__artifacts p { margin: 0; color: var(--coding-muted); }
.coding-run-proof__artifacts img {
  width: 100%;
  border: 1px solid var(--coding-line);
  border-radius: var(--radius-md);
}
.coding-run-proof__artifact-links {
  grid-column: 1 / -1;
  display: flex;
  gap: var(--spacing-sm);
  flex-wrap: wrap;
}
.coding-run-proof__artifact-links a { font-weight: 600; }

.coding-run-proof__delivery {
  display: grid;
  grid-template-columns: minmax(16rem, 1fr) minmax(20rem, 1fr);
  gap: var(--spacing-lg);
  align-items: start;
  padding: var(--spacing-lg);
  border: 1px solid color-mix(in srgb, var(--color-success) 38%, var(--coding-line));
  border-radius: var(--radius-lg);
  background: color-mix(in srgb, var(--color-success) 6%, var(--coding-surface));
}

.coding-run-proof__delivery h2 { margin: 0 0 var(--spacing-xs); font-size: 1.3rem; }
.coding-run-proof__delivery p { margin: 0; color: var(--coding-muted); }

.coding-run-proof__stages {
  display: grid;
  grid-template-columns: repeat(6, 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__waterfall { padding-top: var(--spacing-md); }

.coding-run-proof__waterfall-summary {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: var(--spacing-md);
  padding-bottom: var(--spacing-sm);
}

.coding-run-proof__waterfall-summary > div:first-child,
.coding-run-proof__waterfall-total {
  display: grid;
  gap: 0.12rem;
}

.coding-run-proof__waterfall-summary span,
.coding-run-proof__waterfall-label span,
.coding-run-proof__waterfall-time span,
.coding-run-proof__waterfall-axis,
.coding-run-proof__waterfall-target {
  color: var(--coding-muted);
  font-size: 0.72rem;
}

.coding-run-proof__waterfall-total { text-align: right; }
.coding-run-proof__waterfall-total strong {
  font-family: var(--font-mono);
  font-size: 1.1rem;
}

.coding-run-proof__waterfall-axis,
.coding-run-proof__waterfall-entry {
  display: grid;
  grid-template-columns: minmax(10rem, 0.9fr) minmax(12rem, 1.6fr) 4.2rem;
  gap: var(--spacing-sm);
}

.coding-run-proof__waterfall-axis {
  padding: 0 0 0.3rem;
  font-family: var(--font-mono);
}

.coding-run-proof__waterfall-axis span:first-child { grid-column: 2; }
.coding-run-proof__waterfall-axis span:last-child { text-align: right; }

.coding-run-proof__waterfall-entries {
  display: grid;
  gap: 0.18rem;
  margin: 0;
  padding: 0;
  list-style: none;
}

.coding-run-proof__waterfall-entry {
  align-items: center;
  min-height: 2.75rem;
  padding: 0.42rem 0;
  border-top: 1px solid color-mix(in srgb, var(--coding-line) 70%, transparent);
}

.coding-run-proof__waterfall-label,
.coding-run-proof__waterfall-time {
  display: grid;
  gap: 0.08rem;
}

.coding-run-proof__waterfall-label strong { font-size: 0.82rem; }
.coding-run-proof__waterfall-time {
  text-align: right;
  font-family: var(--font-mono);
  font-size: 0.74rem;
}

.coding-run-proof__waterfall-track {
  height: 1.2rem;
  overflow: hidden;
  border-radius: 999px;
}

.coding-run-proof__waterfall-track svg {
  display: block;
  width: 100%;
  height: 100%;
}

.coding-run-proof__waterfall-track-background { fill: color-mix(in srgb, var(--coding-line) 20%, transparent); }
.coding-run-proof__waterfall-grid {
  fill: none;
  stroke: color-mix(in srgb, var(--coding-line) 48%, transparent);
  stroke-width: 0.35;
}
.coding-run-proof__waterfall-segment { fill: var(--color-success); }

.coding-run-proof__waterfall-entry.is-failed .coding-run-proof__waterfall-segment { fill: var(--color-error); }

.coding-run-proof__waterfall-entry.is-failed .coding-run-proof__waterfall-label strong,
.coding-run-proof__waterfall-entry.is-failed .coding-run-proof__waterfall-time strong {
  color: var(--color-error);
}

.coding-run-proof__waterfall-entry.is-canceled .coding-run-proof__waterfall-segment { fill: var(--color-warning); }

.coding-run-proof__waterfall-remaining,
.coding-run-proof__event-log {
  margin-top: var(--spacing-sm);
  border-top: 1px solid var(--coding-line);
  padding-top: var(--spacing-sm);
  color: var(--coding-muted);
  font-size: 0.8rem;
}

.coding-run-proof__waterfall-remaining summary,
.coding-run-proof__event-log > summary { cursor: pointer; font-weight: 600; }

.coding-run-proof__waterfall-remaining ul {
  display: flex;
  flex-wrap: wrap;
  gap: var(--spacing-xs);
  margin: var(--spacing-sm) 0 0;
  padding: 0;
  list-style: none;
}

.coding-run-proof__waterfall-remaining li {
  padding: 0.3rem 0.48rem;
  border: 1px solid var(--coding-line);
  border-radius: 999px;
  background: color-mix(in srgb, var(--coding-line) 12%, transparent);
}

.coding-run-proof__waterfall-target { margin: var(--spacing-sm) 0 0; }

.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__technical-evidence,
.coding-run-proof__technical-evidence p,
.coding-run-proof__technical-evidence code {
  color: var(--coding-muted);
  font-size: 0.76rem;
}

.coding-run-proof__technical-evidence { margin-top: 0.35rem; }
.coding-run-proof__technical-evidence summary { cursor: pointer; }
.coding-run-proof__technical-evidence p { margin: 0.18rem 0; font-family: var(--font-mono); }
.coding-run-proof__technical-evidence 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__artifacts { grid-template-columns: 1fr; }
  .coding-run-proof__delivery { 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__states { justify-content: flex-start; }
  .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__waterfall-summary { align-items: flex-end; }
  .coding-run-proof__waterfall-axis { display: none; }
  .coding-run-proof__waterfall-entry {
    grid-template-columns: 1fr 4rem;
    gap: var(--spacing-xs) var(--spacing-sm);
  }
  .coding-run-proof__waterfall-track { grid-column: 1 / -1; grid-row: 2; }
  .coding-run-proof__waterfall-time { grid-column: 2; grid-row: 1; }
  .coding-run-proof__panel { padding: var(--spacing-md); }
}