* {
  box-sizing: border-box;
}

.landing {
  --section-x: clamp(28px, 6vw, 96px);
  --column-gap: clamp(36px, 6vw, 96px);
}

html {
  color: var(--carbon);
  background: var(--ground);
  font-family: var(--font);
  scroll-behavior: smooth;
}

body {
  margin: 0;
  min-width: 320px;
}

.icon-sprite {
  position: absolute;
  width: 0;
  height: 0;
  overflow: hidden;
}

a {
  color: inherit;
}

button,
input,
textarea,
select {
  font: inherit;
}

button,
a {
  -webkit-tap-highlight-color: transparent;
}

a:focus-visible,
button:focus-visible,
input:focus-visible,
textarea:focus-visible,
select:focus-visible {
  outline: 2px solid var(--cobalt);
  outline-offset: 3px;
}

.skip-link {
  position: fixed;
  z-index: 100;
  left: 16px;
  top: 12px;
  min-height: 44px;
  transform: translateY(-80px);
  background: var(--carbon);
  color: white;
  padding: 10px 14px;
  display: flex;
  align-items: center;
}

.skip-link:focus {
  transform: translateY(0);
}

.site-header {
  min-height: 76px;
  padding: 0 var(--section-x);
  border-bottom: 1px solid var(--rule);
  background: rgba(247, 248, 245, 0.96);
  display: grid;
  grid-template-columns: 1fr auto;
  align-items: center;
  gap: 32px;
  position: relative;
  z-index: 10;
}

.site-brand {
  display: inline-flex;
  min-height: 44px;
  align-items: center;
  gap: 12px;
  width: fit-content;
  color: inherit;
  text-decoration: none;
}

.site-brand strong,
.site-brand small {
  display: block;
}

.site-brand strong {
  font-size: var(--text-caption);
  letter-spacing: 0.065em;
}

.site-brand small {
  color: var(--muted);
  font-size: var(--text-label);
  margin-top: 3px;
}

.site-header nav {
  display: flex;
  align-items: center;
  gap: 26px;
}

.site-header nav a,
.site-header nav button {
  min-height: 44px;
  display: inline-flex;
  align-items: center;
  border: 0;
  background: none;
  color: var(--ink-soft);
  font-size: var(--text-caption);
  text-decoration: none;
  cursor: pointer;
}

.site-header nav a:hover {
  color: var(--cobalt);
}

.site-header .header-action {
  justify-self: end;
  border: 0;
  background: var(--carbon);
  color: white;
  padding: 10px 14px;
  border-radius: 2px;
  font: inherit;
  text-decoration: none;
  font-size: var(--text-caption);
  cursor: pointer;
}

.site-header .header-action:hover {
  background: var(--cobalt);
  color: white;
}

.hero {
  --hero-pad-y: clamp(40px, 3.5vw, 56px);
  --hero-gap: clamp(32px, 3vw, 48px);
  min-height: min(760px, calc(100vh - 76px));
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  grid-template-areas:
    "lead proof-lead"
    "support proof-support";
  grid-template-rows: auto auto;
  border-bottom: 1px solid var(--carbon);
}

.hero-lead,
.hero-support,
.proof-lead,
.proof-support {
  min-width: 0;
}

.hero-lead {
  grid-area: lead;
  padding: var(--hero-pad-y) var(--section-x)
    calc(var(--hero-gap) / 2);
  display: flex;
  align-items: flex-start;
}

.hero-support {
  grid-area: support;
  padding: calc(var(--hero-gap) / 2) var(--section-x)
    var(--hero-pad-y);
}

.proof-lead,
.proof-support {
  background: var(--cobalt);
  color: white;
}

.proof-lead {
  grid-area: proof-lead;
  overflow: hidden;
  padding: var(--hero-pad-y) var(--section-x)
    calc(var(--hero-gap) / 2);
}

.proof-support {
  grid-area: proof-support;
  padding: calc(var(--hero-gap) / 2) var(--section-x)
    var(--hero-pad-y);
}

.hero h1 {
  max-width: 900px;
  margin: 0;
  font-size: var(--display-hero);
  font-weight: 600;
  line-height: 0.86;
  letter-spacing: -0.04em;
}

.hero h1 span {
  color: var(--cobalt);
}

.hero-intro {
  max-width: 690px;
  margin: 0;
  color: var(--ink-soft);
  font-size: var(--text-body-large);
  line-height: 1.55;
}

.hero-actions {
  display: flex;
  align-items: center;
  gap: 28px;
  margin-top: 18px;
}

.primary-action {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: fit-content;
  border: 0;
  border-radius: 2px;
  background: var(--cobalt);
  color: white;
  padding: 13px 18px;
  text-decoration: none;
  cursor: pointer;
}

.primary-action:hover {
  background: var(--cobalt-dark);
}

.proof-stage {
  width: 100%;
  max-width: 520px;
  aspect-ratio: 2 / 1;
  transform: translateX(-8%);
}

.signal-mark {
  position: relative;
}

.signal-mark i {
  position: absolute;
  display: block;
  animation: settle 900ms cubic-bezier(0.16, 1, 0.3, 1) both;
}

.signal-mark i:nth-child(1) {
  width: 44%;
  aspect-ratio: 1;
  left: 8%;
  top: 12%;
  border: 1px solid var(--cobalt-light);
  border-radius: 100% 0 0;
  animation-delay: 100ms;
}

.signal-mark i:nth-child(2) {
  width: 29%;
  aspect-ratio: 1;
  right: 9%;
  top: 18%;
  background: var(--orange);
  clip-path: circle(50% at 0 100%);
  animation-delay: 200ms;
}

.signal-mark i:nth-child(3) {
  width: 20%;
  aspect-ratio: 1;
  left: 39%;
  top: 42%;
  background: var(--magenta);
  border-radius: 50%;
  animation-delay: 300ms;
}

.signal-mark i:nth-child(4) {
  width: 44%;
  height: 18px;
  right: 7%;
  top: 64%;
  background: var(--lime);
  animation-delay: 400ms;
}

.signal-mark i:nth-child(5) {
  right: 7%;
  left: 8%;
  top: 70%;
  height: 1px;
  background: var(--cobalt-light);
  animation-delay: 500ms;
}

.proof-stage i:nth-child(1) {
  top: 0;
}

.proof-stage i:nth-child(2) {
  top: 6%;
}

.proof-stage i:nth-child(3) {
  top: 30%;
}

.proof-stage i:nth-child(4) {
  top: 52%;
}

.proof-stage i:nth-child(5) {
  top: 58%;
}

@keyframes settle {
  from {
    transform: translateY(-26px) rotate(-5deg);
    opacity: 0;
  }
  to {
    transform: translateY(0) rotate(0);
    opacity: 1;
  }
}

.proof-copy {
  position: relative;
  z-index: 1;
  max-width: 580px;
}

.proof-copy h2 {
  max-width: 580px;
  margin: 0 0 12px;
  font-size: var(--text-heading-large);
  line-height: 1.03;
  letter-spacing: -0.035em;
}

.proof-copy p {
  max-width: 540px;
  margin: 0;
  color: var(--cobalt-pale);
  line-height: 1.5;
}

.proof-report-action {
  position: relative;
  width: fit-content;
  min-height: 44px;
  margin-top: 14px;
  padding: 7px 0;
  border: 0;
  border-bottom: 1px solid rgba(255, 255, 255, 0.65);
  background: transparent;
  color: white;
  font-weight: 600;
  display: inline-flex;
  align-items: center;
  text-decoration: none;
}

.proof-report-action:hover {
  border-color: var(--lime);
  color: var(--lime);
}

.company-note {
  padding: clamp(70px, 9vw, 132px) var(--section-x);
  border-bottom: 1px solid var(--rule);
  background: var(--paper);
}

.company-note h2 {
  max-width: 1500px;
  margin: 0 auto 34px;
  font-size: var(--text-heading);
  line-height: 1.1;
  letter-spacing: -0.025em;
}

.company-note > div {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: var(--column-gap);
  max-width: 1500px;
  margin: 0 auto;
}

.company-note p {
  max-width: 67ch;
  margin: 0;
  color: var(--ink-soft);
  font-size: clamp(1.08rem, 1.35vw, 1.28rem);
  line-height: 1.65;
}

.service-section {
  padding: clamp(70px, 10vw, 150px) var(--section-x);
}

.section-heading {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: var(--column-gap);
  align-items: start;
  padding-bottom: 42px;
}

.section-heading > * {
  margin-top: 0;
}

.section-heading h2,
.method-copy h2,
.closing h2 {
  margin: 0;
  font-size: var(--display-section);
  line-height: 0.98;
  letter-spacing: -0.04em;
}

.section-heading > p:last-child,
.method-copy > p {
  color: var(--ink-soft);
  line-height: 1.55;
}

.thesis-register {
  border-top: 1px solid var(--carbon);
}

.thesis-register article {
  display: grid;
  grid-template-columns: 88px minmax(240px, 0.72fr) minmax(320px, 1fr);
  gap: clamp(24px, 4vw, 64px);
  align-items: start;
  padding: 34px 0;
  border-bottom: 1px solid var(--rule);
}

.service-icon {
  width: 58px;
  height: 58px;
  position: relative;
  display: grid;
  place-items: center;
  border: 1px solid var(--carbon);
  background: var(--paper);
  color: var(--cobalt);
}

.service-icon::after {
  content: "";
  position: absolute;
  right: -1px;
  bottom: -1px;
  width: 12px;
  height: 12px;
  background: var(--cobalt);
}

.service-icon svg {
  width: 30px;
  height: 30px;
  fill: none;
  stroke: currentColor;
  stroke-width: 1.6;
  stroke-linecap: square;
  stroke-linejoin: miter;
}

.audit-icon {
  color: var(--magenta);
}

.audit-icon::after {
  background: var(--orange);
  border-radius: 100% 0 0;
}

.campaign-icon::after {
  background: var(--lime);
}

.ongoing-icon {
  color: var(--carbon);
}

.ongoing-icon::after {
  background: var(--cobalt);
  clip-path: polygon(0 0, 100% 0, 100% 100%);
}

.thesis-register h3 {
  margin: 0;
  font-size: var(--text-heading);
}

.thesis-register p {
  max-width: 66ch;
  margin: 3px 0 0;
  color: var(--ink-soft);
  line-height: 1.55;
}

.method-section {
  background: var(--paper);
  border-top: 1px solid var(--rule);
  border-bottom: 1px solid var(--rule);
}

.method-copy {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: var(--column-gap);
  align-items: start;
  padding: clamp(60px, 8vw, 120px) var(--section-x);
}

.method-copy > p {
  max-width: 60ch;
  margin: 0;
}

.closing {
  min-height: 620px;
  display: grid;
  grid-template-columns: 1fr 1fr;
  background: var(--cobalt);
  color: white;
  overflow: hidden;
}

.closing > div:last-child {
  padding: clamp(70px, 10vw, 150px) var(--section-x);
  display: flex;
  flex-direction: column;
  justify-content: center;
}

.closing p {
  max-width: 550px;
  color: var(--cobalt-pale);
  font-size: var(--text-body-large);
  line-height: 1.55;
}

.primary-action.light {
  margin-top: 20px;
  background: white;
  color: var(--cobalt);
}

.closing-mark {
  min-height: 620px;
  border-right: 1px solid var(--cobalt-mid);
}

.site-footer {
  min-height: 88px;
  padding: 20px clamp(28px, 6vw, 96px);
  display: flex;
  align-items: center;
  justify-content: center;
}

.site-footer a {
  min-height: 44px;
  display: inline-flex;
  align-items: center;
  color: var(--carbon);
  font-size: var(--text-caption);
  text-decoration-thickness: 1px;
  text-underline-offset: 4px;
}

/* Intake */

/* Report */
.report-view {
  background: #ebede8;
  overflow-x: hidden;
}

.report-toolbar {
  max-width: 1266px;
  margin: 0 auto;
  padding: 22px 28px 0;
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 20px;
}

.report-back {
  display: inline-flex;
  min-height: 44px;
  align-items: center;
  gap: 7px;
  color: var(--carbon);
  font-size: var(--text-caption);
  font-weight: 600;
  text-decoration: none;
}

.report-back svg {
  width: 20px;
  height: 20px;
  fill: none;
  stroke: currentColor;
  stroke-linecap: square;
  stroke-linejoin: miter;
  stroke-width: 1.6;
}

.report-back:hover {
  color: var(--cobalt);
}

.report-mobile-toc {
  display: none;
}

.report-shell {
  display: grid;
  grid-template-columns: 250px minmax(0, 920px);
  justify-content: center;
  gap: 40px;
  padding: 28px 28px 100px;
}

.report-toc {
  position: sticky;
  top: 30px;
  height: fit-content;
  padding-top: 18px;
}

.report-toc nav {
  display: flex;
  flex-direction: column;
  margin-top: 20px;
  border-top: 1px solid var(--rule-strong);
}

.report-toc nav a {
  padding: 11px 0;
  border-bottom: 1px solid var(--rule);
  color: var(--muted);
  text-decoration: none;
  font-size: var(--text-small);
}

.report-toc nav a.active {
  color: var(--cobalt);
}

.report-meta {
  display: grid;
  margin-top: 36px;
  font-size: var(--text-small);
}

.report-meta span {
  margin-top: 12px;
  color: var(--muted);
  font-family: var(--mono);
  font-size: var(--text-micro);
  text-transform: uppercase;
}

.report-paper {
  min-width: 0;
}

.report-title-block {
  padding: 84px 78px 58px;
}

.report-title-block > p:first-child {
  font-family: var(--mono);
  font-size: var(--text-label);
}

.report-title-block h1 {
  margin: 0 0 34px;
  max-width: 700px;
  font-size: var(--display-report);
  line-height: 0.92;
  letter-spacing: -0.04em;
}

.dek {
  max-width: 690px;
  color: var(--ink-soft);
  font-size: var(--text-title);
  line-height: 1.5;
}

.report-section {
  display: grid;
  grid-template-columns: 58px 1fr;
  gap: 28px;
  padding: 58px 78px;
  border-top: 1px solid var(--rule);
}

.section-index {
  color: var(--cobalt);
  font-family: var(--mono);
  font-size: var(--text-label);
}

.report-section h2 {
  margin: 0 0 22px;
  font-size: var(--text-heading-large);
  letter-spacing: -0.03em;
}

.report-section p {
  max-width: 58ch;
  color: var(--ink-soft);
  line-height: 1.6;
}

.report-section .lead {
  color: var(--carbon);
  font-size: var(--text-heading);
  line-height: 1.4;
}

.position-box {
  margin-top: 28px;
  padding: 18px;
  background: var(--ground);
}

.position-box > * {
  display: block;
}

.position-box span {
  margin-top: 6px;
}

.position-box small {
  margin-top: 4px;
  color: var(--muted);
}

.report-figure {
  margin: 26px 0 0;
}

.report-figure svg {
  width: 100%;
}

.figure-grid path {
  fill: none;
  stroke: var(--rule);
}

.observed,
.simulated {
  fill: none;
  stroke-width: 3;
}

.observed {
  stroke: var(--carbon);
}

.simulated {
  stroke: var(--cobalt);
  stroke-dasharray: 8 5;
}

.report-figure figcaption {
  max-width: 65ch;
  padding-top: 12px;
  border-top: 1px solid var(--carbon);
  color: var(--muted);
  font-size: var(--text-small);
  line-height: 1.5;
}

.report-section table {
  width: 100%;
  border-collapse: collapse;
  font-size: var(--text-small);
}

.report-section th,
.report-section td {
  padding: 12px 8px;
  border-bottom: 1px solid var(--rule);
  text-align: left;
}

.report-section th {
  font-family: var(--mono);
  font-size: var(--text-micro);
  text-transform: uppercase;
}

.limitation-section {
  background: var(--orange-pale);
}

/* Design materials */

@media (max-width: 980px) {
  .site-header {
    grid-template-columns: 1fr auto;
  }

  .site-header > nav {
    display: flex;
  }

  .site-header .header-action {
    display: none;
  }

  .hero {
    grid-template-columns: 1fr;
    grid-template-areas:
      "lead"
      "support"
      "proof-lead"
      "proof-support";
    grid-template-rows: auto;
  }

  .section-heading {
    grid-template-columns: 1fr;
  }

  .company-note > div {
    grid-template-columns: 1fr;
    gap: 28px;
  }

  .thesis-register article {
    grid-template-columns: 72px 1fr;
  }

  .thesis-register article p {
    grid-column: 2;
  }

  .method-copy {
    grid-template-columns: 1fr;
  }

  .closing {
    grid-template-columns: 1fr;
  }

  .closing-mark {
    min-height: 420px;
    border-right: 0;
    border-bottom: 1px solid var(--cobalt-mid);
  }

  .report-shell {
    grid-template-columns: minmax(0, 920px);
  }

  .report-toc {
    display: none;
  }

  .report-mobile-toc {
    display: block;
    position: relative;
    z-index: 2;
    font-size: var(--text-caption);
  }

  .report-mobile-toc summary {
    min-height: 44px;
    display: flex;
    align-items: center;
    cursor: pointer;
    font-weight: 600;
  }

  .report-mobile-toc nav {
    position: absolute;
    right: 0;
    width: min(280px, calc(100vw - 40px));
    padding: 8px;
    border: 1px solid var(--rule-strong);
    background: var(--paper);
    box-shadow: 8px 10px 24px rgba(18, 20, 18, 0.12);
  }

  .report-mobile-toc nav a {
    min-height: 44px;
    padding: 8px 10px;
    display: flex;
    align-items: center;
    border-bottom: 1px solid var(--rule);
    color: var(--carbon);
    text-decoration: none;
  }

  .report-mobile-toc nav a:last-child {
    border-bottom: 0;
  }
}

@media (max-width: 620px) {
  .site-header {
    min-height: 64px;
    padding: 0 16px;
  }

  .header-action {
    display: none;
  }

  .hero {
    min-height: auto;
  }

  .hero-lead {
    padding: 64px 20px 20px;
  }

  .hero-support {
    padding: 20px 20px 64px;
  }

  .proof-lead {
    padding: 64px 20px 20px;
  }

  .proof-support {
    padding: 20px 20px 64px;
  }

  .hero h1 {
    font-size: var(--display-mobile);
  }

  .hero-actions {
    align-items: flex-start;
    flex-direction: column;
    gap: 14px;
  }

  .service-section {
    padding-inline: 20px;
  }

  .company-note {
    padding: 64px 20px;
  }

  .company-note h2 {
    margin-bottom: 24px;
  }

  .section-heading {
    gap: 16px;
  }

  .method-copy,
.closing > div:last-child {
    padding: 64px 20px;
  }

  .thesis-register article {
    grid-template-columns: 54px 1fr;
    gap: 16px;
    padding: 28px 0;
  }

  .service-icon {
    width: 46px;
    height: 46px;
  }

  .service-icon svg {
    width: 25px;
    height: 25px;
  }

  .report-shell {
    padding: 0;
  }

  .report-title-block {
    padding: 62px 24px 40px;
  }

  .report-section {
    grid-template-columns: 28px 1fr;
    gap: 10px;
    padding: 42px 24px;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  .signal-mark i {
    animation: none;
  }
}

@media print {
  .site-header,
.report-toolbar,
.report-toc {
    display: none;
  }

  .report-shell {
    display: block;
    padding: 0;
  }

  .report-paper {
    box-shadow: none;
  }
}

/* Issued technical report — editorial surface over the shared product system */
.report-title-block > p:first-child,
.report-paper .section-kicker,
.report-paper .section-index,
.report-paper table,
.report-paper summary,
.report-paper code,
.report-paper .title-register,
.report-paper .finding-register,
.report-paper .campaign-plan {
  font-family: var(--font);
}

.report-title-block h1 {
  max-width: 760px;
  font-family: "STIX Two Text", Georgia, serif;
  font-size: clamp(3.6rem, 6.4vw, 6.3rem);
  font-weight: 500;
  line-height: 0.91;
  letter-spacing: -0.047em;
}

.report-paper .dek {
  max-width: 59ch;
  font-family: "STIX Two Text", Georgia, serif;
  font-size: var(--text-title);
  line-height: 1.47;
}

.title-register {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0 32px;
  margin: 48px 0 0;
  border-top: 1px solid var(--carbon);
}

.title-register div {
  display: grid;
  grid-template-columns: 120px 1fr;
  gap: 14px;
  padding: 13px 0;
  border-bottom: 1px solid var(--rule);
  font-size: var(--text-small);
}

.title-register dt {
  color: var(--muted);
}

.title-register dd {
  margin: 0;
  font-weight: 600;
}

.report-paper .section-kicker {
  margin: 0 0 10px;
  color: var(--cobalt);
  font-size: var(--text-label);
  font-weight: 600;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.report-paper .report-section h2 {
  max-width: 22ch;
  font-family: "STIX Two Text", Georgia, serif;
  font-size: 2.85rem;
  font-weight: 500;
  line-height: 1.02;
  letter-spacing: -0.035em;
}

.report-paper .report-section p {
  max-width: 64ch;
  font-size: 1.05rem;
  line-height: 1.68;
}

.report-paper .report-section .lead {
  max-width: 54ch;
  font-size: var(--text-title);
  line-height: 1.48;
}

.decision-position {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1px;
  padding: 1px;
  background: var(--rule);
}

.decision-position > div {
  padding: 18px;
  background: var(--ground);
}

.decision-position strong,
.decision-position span {
  display: block;
}

.decision-position strong {
  margin-bottom: 7px;
  color: var(--cobalt);
  font-family: var(--font);
  font-size: var(--text-label);
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.risk-statement {
  margin: 26px 0;
  padding: 20px 22px;
  border: 1px solid var(--orange);
  background: #fff5ef;
  font-family: var(--font);
}

.risk-statement strong {
  color: var(--orange-dark);
  font-size: var(--text-label);
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.risk-statement p {
  margin: 7px 0 0;
  font-family: "STIX Two Text", Georgia, serif;
  font-size: 1rem !important;
}

.report-subhead {
  margin: 42px 0 14px;
  font-family: var(--font);
  font-size: var(--text-title);
  line-height: 1.3;
}

.action-register {
  table-layout: fixed;
}

.action-register th:nth-child(1) {
  width: 105px;
}

.action-register th:nth-child(3) {
  width: 120px;
}

.priority-tag {
  display: inline-block;
  font-size: var(--text-micro);
  font-weight: 600;
}

.priority-tag.blocking {
  color: var(--orange-dark);
}

.priority-tag.control {
  color: var(--cobalt);
}

.evidence-note {
  margin-top: 24px;
  border-top: 1px solid var(--rule-strong);
  border-bottom: 1px solid var(--rule-strong);
}

.evidence-note summary {
  padding: 13px 2px;
  color: var(--cobalt);
  font-size: var(--text-small);
  font-weight: 600;
  cursor: pointer;
}

.evidence-note[open] summary {
  border-bottom: 1px solid var(--rule);
}

.evidence-note > div {
  padding: 16px 18px 20px;
  background: var(--ground);
}

.evidence-note > div > span {
  color: var(--muted);
  font-family: var(--mono);
  font-size: var(--text-label);
}

.evidence-note p {
  margin: 8px 0;
  font-size: var(--text-small) !important;
}

.evidence-note code {
  color: var(--carbon);
  font-size: var(--text-label);
}

.evidence-note a {
  color: var(--cobalt);
  font-family: var(--font);
  font-size: var(--text-small);
  text-decoration: none;
}

.process-window svg {
  display: block;
  overflow: visible;
}

.process-window .run-points circle {
  stroke: white;
  stroke-width: 2;
}

.process-window .baseline-points circle {
  fill: #4f534f;
}

.process-window .sparse-points circle {
  fill: var(--cobalt);
}

.process-window .axis-labels {
  fill: var(--ink-soft);
  font-family: var(--font);
  font-size: 12px;
}

.finding-register {
  display: grid;
  grid-template-columns: 1fr;
  margin-top: 34px;
  border-top: 1px solid var(--carbon);
}

.finding-register article {
  display: grid;
  grid-template-columns: minmax(200px, 1.25fr) 1fr;
  gap: 18px;
  align-items: baseline;
  padding: 18px 0;
  border-bottom: 1px solid var(--rule);
}

.finding-register article p {
  margin: 0;
  font-size: var(--text-small) !important;
}

.finding-register article > div {
  display: grid;
  gap: 4px;
}

.finding-register article small {
  color: var(--muted);
  font-size: var(--text-micro);
  font-weight: 500;
  text-transform: uppercase;
}

.math-block {
  margin: 26px 0;
  padding: 28px 18px;
  overflow-x: auto;
  border-top: 1px solid var(--carbon);
  border-bottom: 1px solid var(--carbon);
  background: #fafbf8;
  font-size: 1.05rem;
}

.math-block > img {
  display: block;
  width: min(100%, 620px);
  height: auto;
  margin: auto;
}

.math-block small {
  display: flex;
  align-items: baseline;
  justify-content: center;
  gap: 0.32em;
  flex-wrap: wrap;
  max-width: 62ch;
  margin: 18px auto 0;
  color: var(--muted);
  font-family: var(--font);
  font-size: var(--text-small);
  line-height: 1.5;
}

.math-block .math-term {
  display: inline-block;
  width: auto;
  height: 1.05em;
  flex: none;
}

.analysis-table {
  margin-top: 30px;
}

.result-mark {
  display: inline-block;
  width: 9px;
  height: 9px;
  margin-right: 8px;
  vertical-align: 1px;
}

.result-mark.supported {
  background: var(--lime-dark);
  border-radius: 100% 0 0;
}

.result-mark.unresolved {
  background: var(--orange);
  clip-path: polygon(0 0, 100% 0, 100% 100%);
}

.campaign-plan {
  list-style: none;
  margin: 30px 0 0;
  padding: 0;
  border-top: 1px solid var(--carbon);
}

.campaign-plan li {
  display: grid;
  grid-template-columns: 60px 1fr;
  gap: 18px;
  padding: 19px 0;
  border-bottom: 1px solid var(--rule);
}

.campaign-plan li > span {
  color: var(--cobalt);
  font-family: var(--mono);
  font-size: 2rem;
  line-height: 1;
}

.campaign-plan p {
  margin: 4px 0 0;
  font-size: var(--text-small) !important;
}

.expected-resolution {
  margin-top: 28px;
  padding: 22px;
  background: var(--cobalt-pale);
  font-family: var(--font);
}

.expected-resolution > * {
  display: block;
}

.expected-resolution > span {
  color: var(--cobalt);
  font-size: var(--text-label);
  font-weight: 600;
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.expected-resolution strong {
  max-width: 40ch;
  margin-top: 8px;
  font-size: var(--text-title);
  line-height: 1.35;
}

.expected-resolution small {
  margin-top: 8px;
  color: var(--muted);
}

.protocol-register {
  margin: 0;
  border-top: 1px solid var(--carbon);
  font-family: var(--font);
}

.protocol-register div {
  display: grid;
  grid-template-columns: 150px 1fr;
  gap: 24px;
  padding: 15px 0;
  border-bottom: 1px solid var(--rule);
}

.protocol-register dt {
  color: var(--muted);
  font-size: var(--text-small);
}

.protocol-register dd {
  margin: 0;
  font-size: var(--text-small);
  line-height: 1.5;
}

.conclusion-tests {
  max-width: 64ch;
  margin: 0 0 30px;
  padding-left: 1.2em;
}

.conclusion-tests li {
  margin: 8px 0;
  padding-left: 6px;
  font-size: 1rem;
  line-height: 1.55;
}

.report-end-actions {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 18px;
}

.report-return {
  min-height: 44px;
  display: inline-flex;
  align-items: center;
  color: var(--carbon);
  font-family: var(--font);
  font-size: var(--text-small);
  font-weight: 600;
  text-underline-offset: 4px;
}

.halmos-proof-square {
  width: 48px;
  height: 48px;
  margin: 72px 0 0 auto;
}

.report-section > div {
  min-width: 0;
}

@media (max-width: 620px) {
  .report-title-block h1 {
    font-size: var(--display-report);
  }

  .title-register,
.decision-position {
    grid-template-columns: 1fr;
  }

  .title-register div {
    grid-template-columns: 1fr;
    gap: 3px;
  }

  .report-paper .report-section h2 {
    font-size: var(--text-heading-large);
  }

  .finding-register article {
    grid-template-columns: 1fr;
  }

  .finding-register article p {
    grid-column: 1;
  }

  .report-section table {
    display: block;
    overflow-x: auto;
  }

  .action-register,
.action-register tbody,
.action-register tr,
.action-register td {
    display: block;
    width: 100%;
  }

  .action-register thead {
    display: none;
  }

  .action-register tr {
    padding: 18px 0;
    border-top: 1px solid var(--rule-strong);
  }

  .action-register td {
    padding: 4px 0;
    border: 0;
  }

  .action-register td:nth-child(2) {
    padding-top: 9px;
    font-weight: 600;
  }

  .action-register td:nth-child(3)::before {
    content: "Owner · ";
    color: var(--ink-soft);
    font-weight: 400;
  }

  .action-register td:nth-child(4)::before {
    content: "Completion · ";
    color: var(--ink-soft);
    font-weight: 400;
  }

  .process-window svg {
    overflow: hidden;
  }
}