:root {
  color-scheme: light;
  --page: #f6f7f5;
  --paper: #ffffff;
  --paper-soft: #eef1ee;
  --ink: #131715;
  --ink-soft: #53605a;
  --line: #cbd2cd;
  --line-strong: #9da9a2;
  --teal: #00796f;
  --teal-soft: #dcefeb;
  --red: #a33d32;
  --red-soft: #f4e4e1;
  --blue: #365f91;
  --blue-soft: #e3ebf5;
  --amber: #8b6414;
  --amber-soft: #f2ead6;
  --header-height: 72px;
  --content: 1240px;
  --reading: 820px;
  font-family:
    Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI",
    "PingFang SC", "Microsoft YaHei", sans-serif;
  font-synthesis: none;
  letter-spacing: 0;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
  scroll-padding-top: calc(var(--header-height) + 24px);
}

body {
  margin: 0;
  color: var(--ink);
  background: var(--page);
  font-size: 16px;
  line-height: 1.7;
  letter-spacing: 0;
  text-rendering: optimizeLegibility;
}

body,
button,
input {
  font-family: inherit;
}

a {
  color: inherit;
}

button,
input {
  font-size: inherit;
}

button {
  color: inherit;
}

::selection {
  color: var(--ink);
  background: #b9ded7;
}

.skip-link {
  position: fixed;
  z-index: 1000;
  top: 8px;
  left: 8px;
  padding: 8px 12px;
  color: #fff;
  background: var(--ink);
  border-radius: 4px;
  transform: translateY(-150%);
}

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

.reading-progress {
  position: fixed;
  z-index: 1001;
  top: 0;
  left: 0;
  width: 100%;
  height: 3px;
  background: transparent;
}

.reading-progress span {
  display: block;
  width: 0;
  height: 100%;
  background: var(--teal);
  transition: width 120ms linear;
}

.site-header {
  position: sticky;
  z-index: 100;
  top: 0;
  display: grid;
  grid-template-columns: minmax(210px, auto) 1fr auto;
  align-items: center;
  min-height: var(--header-height);
  padding: 0 28px;
  background: rgba(246, 247, 245, 0.96);
  border-bottom: 1px solid var(--line);
  backdrop-filter: blur(14px);
}

.brand {
  display: inline-flex;
  gap: 10px;
  align-items: center;
  width: fit-content;
  color: var(--ink);
  text-decoration: none;
}

.brand-mark {
  display: grid;
  width: 34px;
  height: 34px;
  place-items: center;
  color: #fff;
  background: var(--ink);
  border-radius: 2px;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 15px;
  font-weight: 700;
}

.brand > span:last-child {
  display: flex;
  flex-direction: column;
  line-height: 1.15;
}

.brand strong {
  font-size: 13px;
  text-transform: uppercase;
}

.brand small {
  margin-top: 4px;
  color: var(--ink-soft);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 10px;
}

.primary-nav {
  display: flex;
  gap: 4px;
  justify-content: center;
}

.primary-nav a,
.header-actions a {
  padding: 7px 10px;
  color: var(--ink-soft);
  border-radius: 4px;
  font-size: 13px;
  font-weight: 650;
  text-decoration: none;
  white-space: nowrap;
}

.primary-nav a:hover,
.primary-nav a:focus-visible,
.header-actions a:hover,
.header-actions a:focus-visible {
  color: var(--ink);
  background: var(--paper-soft);
  outline: none;
}

.primary-nav a.is-active {
  color: #fff;
  background: var(--ink);
}

.header-actions {
  display: flex;
  gap: 2px;
  justify-content: flex-end;
}

.header-actions a:first-child {
  color: var(--blue);
}

.section-shell {
  width: min(100%, var(--content));
  margin: 0 auto;
  padding: 92px 40px;
  border-bottom: 1px solid var(--line);
}

.cover {
  display: grid;
  grid-template-columns: minmax(0, 1.15fr) minmax(390px, 0.85fr);
  gap: 70px;
  padding-top: 88px;
  padding-bottom: 54px;
}

.cover-copy {
  align-self: center;
}

.eyebrow,
.section-kicker,
.finding-label,
.capability-code,
.chain-label {
  margin: 0;
  color: var(--teal);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 12px;
  font-weight: 750;
  line-height: 1.4;
  text-transform: uppercase;
}

.cover h1 {
  max-width: 760px;
  margin: 18px 0 24px;
  font-family: "Noto Serif SC", "Source Han Serif SC", "Songti SC", serif;
  font-size: 66px;
  font-weight: 760;
  line-height: 1.14;
  letter-spacing: 0;
}

.lead {
  max-width: 720px;
  margin: 0;
  color: #39433e;
  font-family: "Noto Serif SC", "Source Han Serif SC", "Songti SC", serif;
  font-size: 20px;
  line-height: 1.85;
}

.cover-actions {
  display: flex;
  gap: 14px;
  align-items: center;
  margin-top: 34px;
}

.primary-link,
.text-link {
  display: inline-flex;
  align-items: center;
  min-height: 40px;
  padding: 8px 14px;
  border-radius: 4px;
  font-size: 14px;
  font-weight: 720;
  text-decoration: none;
}

.primary-link {
  color: #fff;
  background: var(--ink);
}

.primary-link:hover,
.primary-link:focus-visible {
  background: var(--teal);
  outline: none;
}

.text-link {
  color: var(--teal);
  border: 1px solid var(--line-strong);
}

.text-link:hover,
.text-link:focus-visible {
  border-color: var(--teal);
  outline: none;
}

.completion-figure {
  align-self: center;
  margin: 0;
  padding: 24px;
  color: #fff;
  background: var(--ink);
  border: 1px solid #000;
  border-radius: 6px;
  box-shadow: 10px 10px 0 var(--line);
}

.completion-figure figcaption {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  margin-bottom: 18px;
  padding-bottom: 16px;
  border-bottom: 1px solid #465049;
}

.completion-figure figcaption span {
  color: #abb5af;
  font-size: 12px;
}

.completion-figure figcaption strong {
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 12px;
}

.claim-line {
  display: grid;
  grid-template-columns: 32px 1fr auto;
  gap: 12px;
  align-items: center;
  min-height: 66px;
  padding: 10px 0;
  border-bottom: 1px solid #39423d;
}

.claim-index {
  display: grid;
  width: 28px;
  height: 28px;
  place-items: center;
  color: #fff;
  background: var(--teal);
  border-radius: 50%;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 10px;
  font-weight: 800;
}

.claim-negative .claim-index {
  background: var(--red);
}

.claim-process .claim-index {
  background: var(--blue);
}

.claim-unknown .claim-index {
  color: var(--ink);
  background: #d2ad4e;
}

.claim-line div {
  display: flex;
  flex-direction: column;
}

.claim-line strong {
  font-size: 15px;
}

.claim-line small {
  color: #96a19a;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 10px;
}

.claim-state {
  color: #c8d1cb;
  font-size: 12px;
  font-weight: 700;
}

.completion-figure > p {
  margin: 18px 0 0;
  color: #aeb9b2;
  font-size: 12px;
  line-height: 1.7;
}

.audit-strip {
  display: grid;
  grid-column: 1 / -1;
  grid-template-columns: repeat(4, 1fr);
  margin: 48px 0 0;
  padding-top: 24px;
  border-top: 1px solid var(--line);
}

.audit-strip > div {
  min-width: 0;
  padding: 0 22px;
  border-left: 1px solid var(--line);
}

.audit-strip > div:first-child {
  padding-left: 0;
  border-left: 0;
}

.audit-strip dt {
  color: var(--ink-soft);
  font-size: 12px;
}

.audit-strip dd {
  margin: 2px 0 0;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 34px;
  font-weight: 800;
  line-height: 1.2;
}

.audit-strip small {
  display: block;
  margin-top: 4px;
  color: var(--ink-soft);
  font-size: 11px;
  line-height: 1.45;
}

.section-heading {
  margin-bottom: 44px;
}

.section-heading h2 {
  max-width: 900px;
  margin: 9px 0 0;
  font-family: "Noto Serif SC", "Source Han Serif SC", "Songti SC", serif;
  font-size: 40px;
  line-height: 1.28;
  letter-spacing: 0;
}

.section-heading > p:last-child {
  max-width: 680px;
  margin: 14px 0 0;
  color: var(--ink-soft);
}

.split-heading {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(300px, 0.55fr);
  gap: 70px;
  align-items: end;
}

.split-heading > p:last-child {
  margin: 0 0 4px;
}

.conclusion-index {
  padding-top: 72px;
  padding-bottom: 84px;
}

.conclusion-list {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin: 0;
  padding: 0;
  border-top: 1px solid var(--line-strong);
  list-style: none;
}

.conclusion-list li {
  border-bottom: 1px solid var(--line);
}

.conclusion-list li:nth-child(odd) {
  border-right: 1px solid var(--line);
}

.conclusion-list a {
  display: grid;
  grid-template-columns: 42px 1fr;
  gap: 0 18px;
  min-height: 118px;
  padding: 22px;
  text-decoration: none;
}

.conclusion-list a:hover,
.conclusion-list a:focus-visible {
  background: var(--paper);
  outline: none;
}

.conclusion-list span {
  grid-row: 1 / 3;
  color: var(--teal);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 12px;
  font-weight: 800;
}

.conclusion-list strong {
  font-size: 18px;
  line-height: 1.45;
}

.conclusion-list small {
  margin-top: 5px;
  color: var(--ink-soft);
  font-size: 13px;
  line-height: 1.6;
}

.capability-grid {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  border-top: 1px solid var(--line-strong);
  border-bottom: 1px solid var(--line-strong);
}

.capability-grid article {
  min-width: 0;
  padding: 22px 18px 26px;
  border-left: 1px solid var(--line);
}

.capability-grid article:first-child {
  border-left: 0;
}

.capability-code {
  color: var(--ink-soft);
  font-size: 10px;
}

.capability-grid h3 {
  margin: 9px 0 18px;
  font-size: 18px;
}

.capability-grid ul {
  display: grid;
  gap: 15px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.capability-grid li {
  display: flex;
  flex-direction: column;
  gap: 1px;
}

.capability-grid li strong {
  font-size: 13px;
}

.capability-grid li span {
  color: var(--ink-soft);
  font-size: 11px;
  line-height: 1.5;
}

.research-question {
  display: grid;
  grid-template-columns: 150px 1fr;
  gap: 30px;
  margin: 42px 0 0;
  padding: 28px 0 0;
  border: 0;
  border-top: 3px solid var(--ink);
}

.research-question span {
  color: var(--teal);
  font-size: 12px;
  font-weight: 750;
}

.research-question p {
  max-width: 830px;
  margin: 0;
  font-family: "Noto Serif SC", "Source Han Serif SC", "Songti SC", serif;
  font-size: 23px;
  font-weight: 680;
  line-height: 1.7;
}

.two-chain-model {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 22px;
}

.chain-panel {
  overflow: hidden;
  background: var(--paper);
  border: 1px solid var(--line-strong);
  border-radius: 6px;
}

.chain-label {
  padding: 18px 20px;
  color: #fff;
  background: var(--teal);
}

.recovery-panel .chain-label {
  background: var(--blue);
}

.chain-panel ol {
  margin: 0;
  padding: 0 20px;
  list-style: none;
}

.chain-panel li {
  display: grid;
  grid-template-columns: 34px 1fr;
  gap: 12px;
  align-items: center;
  min-height: 68px;
  border-bottom: 1px solid var(--line);
}

.chain-panel li > span {
  color: var(--teal);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 11px;
  font-weight: 800;
}

.recovery-panel li > span {
  color: var(--blue);
}

.chain-panel li div {
  display: flex;
  flex-direction: column;
}

.chain-panel li strong {
  font-size: 14px;
}

.chain-panel li small {
  color: var(--ink-soft);
  font-size: 11px;
}

.chain-outcome {
  display: flex;
  flex-direction: column;
  gap: 3px;
  padding: 18px 20px;
  background: var(--teal-soft);
}

.chain-outcome span {
  color: var(--teal);
  font-size: 10px;
  font-weight: 800;
}

.chain-outcome strong {
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 12px;
}

.chain-outcome.warning {
  background: var(--amber-soft);
}

.chain-outcome.warning span {
  color: var(--amber);
}

.verifier-roles {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin-top: 30px;
  border-top: 1px solid var(--line-strong);
}

.verifier-roles > div {
  padding: 22px 20px 0;
  border-left: 1px solid var(--line);
}

.verifier-roles > div:first-child {
  padding-left: 0;
  border-left: 0;
}

.verifier-roles strong {
  font-size: 14px;
}

.verifier-roles p {
  margin: 8px 0 0;
  color: var(--ink-soft);
  font-size: 12px;
  line-height: 1.65;
}

.arguments-section {
  padding-bottom: 54px;
}

.finding {
  display: grid;
  grid-template-columns: 92px minmax(0, var(--reading));
  gap: 24px;
  justify-content: center;
  padding: 66px 0;
  border-top: 1px solid var(--line);
}

.finding:first-of-type {
  border-top: 2px solid var(--ink);
}

.finding-number {
  padding-top: 3px;
  color: var(--line-strong);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 31px;
  font-weight: 800;
}

.finding-label {
  color: var(--ink-soft);
  font-size: 10px;
}

.finding h3 {
  margin: 7px 0 14px;
  font-family: "Noto Serif SC", "Source Han Serif SC", "Songti SC", serif;
  font-size: 32px;
  line-height: 1.35;
  letter-spacing: 0;
}

.finding-thesis {
  margin: 0;
  color: #2b3530;
  font-family: "Noto Serif SC", "Source Han Serif SC", "Songti SC", serif;
  font-size: 19px;
  line-height: 1.9;
}

.evidence-points {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  margin-top: 28px;
  background: var(--line);
  border: 1px solid var(--line);
}

.evidence-points > div {
  min-width: 0;
  padding: 18px;
  background: var(--paper);
}

.evidence-points strong {
  display: block;
  color: var(--teal);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 22px;
}

.evidence-points span {
  display: block;
  margin-top: 4px;
  color: var(--ink-soft);
  font-size: 11px;
  line-height: 1.55;
}

.finding details {
  margin-top: 24px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}

.finding summary {
  position: relative;
  padding: 14px 36px 14px 0;
  cursor: pointer;
  font-size: 13px;
  font-weight: 750;
  list-style: none;
}

.finding summary::-webkit-details-marker {
  display: none;
}

.finding summary::after {
  position: absolute;
  top: 13px;
  right: 4px;
  content: "+";
  color: var(--teal);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 18px;
}

.finding details[open] summary::after {
  content: "−";
}

.detail-copy {
  padding: 0 0 18px;
}

.detail-copy p {
  margin: 10px 0 0;
  color: var(--ink-soft);
  font-size: 14px;
  line-height: 1.8;
}

code {
  padding: 1px 4px;
  color: #23493f;
  background: var(--teal-soft);
  border-radius: 2px;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.9em;
}

.formula {
  overflow-x: auto;
  margin: 26px 0 0;
  padding: 18px;
  color: #dbe3de;
  background: var(--ink);
  border-radius: 4px;
}

.formula code {
  padding: 0;
  color: inherit;
  background: transparent;
  font-size: 13px;
  line-height: 1.7;
}

.contrast-table {
  margin-top: 26px;
  border-top: 1px solid var(--line-strong);
}

.contrast-table > div {
  display: grid;
  grid-template-columns: 1fr 180px 180px;
  gap: 16px;
  padding: 13px 0;
  border-bottom: 1px solid var(--line);
  font-size: 13px;
}

.contrast-table strong {
  color: var(--teal);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 12px;
}

.before-after {
  display: grid;
  grid-template-columns: 1fr 36px 1fr;
  gap: 10px;
  align-items: stretch;
  margin-top: 28px;
}

.before-after > div:not(.arrow) {
  display: flex;
  flex-direction: column;
  padding: 18px;
  background: var(--paper);
  border: 1px solid var(--line);
  border-radius: 4px;
}

.before-after small {
  color: var(--ink-soft);
  font-size: 11px;
}

.before-after strong {
  margin-top: 3px;
  color: var(--teal);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 27px;
  line-height: 1.2;
}

.before-after span {
  margin-top: 5px;
  color: var(--ink-soft);
  font-size: 11px;
}

.before-after .arrow {
  display: grid;
  place-items: center;
  color: var(--line-strong);
  font-size: 24px;
}

.repair-risk {
  grid-template-columns: 1fr 28px 1fr 28px 1fr;
}

.before-after .negative-result {
  background: var(--red-soft);
  border-color: #d9aaa4;
}

.before-after .negative-result strong {
  color: var(--red);
}

.path-model {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 14px;
  margin-top: 28px;
}

.path-model > div {
  display: flex;
  flex-direction: column;
  padding: 18px;
  border-left: 4px solid var(--teal);
  background: var(--paper);
}

.path-model > div:last-child {
  border-left-color: var(--red);
}

.path-model small {
  color: var(--ink-soft);
  font-size: 10px;
}

.path-model strong {
  margin-top: 2px;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 13px;
}

.path-model span {
  margin-top: 7px;
  color: var(--ink-soft);
  font-size: 12px;
}

.route-table {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin-top: 28px;
  border-top: 1px solid var(--line-strong);
}

.route-table > div {
  display: grid;
  grid-template-columns: 82px 1fr;
  gap: 2px 16px;
  padding: 13px 10px 13px 0;
  border-bottom: 1px solid var(--line);
}

.route-table > div:nth-child(odd) {
  border-right: 1px solid var(--line);
}

.route-table > div:nth-child(even) {
  padding-left: 18px;
}

.route-table strong {
  grid-row: 1 / 3;
  color: var(--blue);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 12px;
}

.route-table span {
  font-size: 12px;
  font-weight: 650;
}

.route-table small {
  color: var(--ink-soft);
  font-size: 10px;
}

.timeline {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  border-top: 4px solid var(--ink);
}

.timeline article {
  position: relative;
  min-width: 0;
  padding: 28px 22px 24px;
  border-left: 1px solid var(--line);
}

.timeline article:first-child {
  padding-left: 0;
  border-left: 0;
}

.timeline time {
  color: var(--teal);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 22px;
  font-weight: 800;
}

.timeline h3 {
  min-height: 54px;
  margin: 12px 0 8px;
  font-size: 16px;
  line-height: 1.55;
}

.timeline p {
  margin: 0;
  color: #39433e;
  font-size: 12px;
  line-height: 1.65;
}

.timeline small {
  display: block;
  margin-top: 14px;
  padding-top: 12px;
  color: var(--red);
  border-top: 1px solid var(--line);
  font-size: 10px;
  line-height: 1.55;
}

.progress-verdict {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  margin-top: 38px;
  background: var(--line);
  border: 1px solid var(--line);
}

.progress-verdict > div {
  padding: 22px;
  background: var(--paper);
}

.progress-verdict span {
  color: var(--teal);
  font-size: 10px;
  font-weight: 800;
}

.progress-verdict div:nth-child(2) span {
  color: var(--blue);
}

.progress-verdict div:nth-child(3) span {
  color: var(--red);
}

.progress-verdict strong {
  display: block;
  margin-top: 4px;
  font-size: 16px;
}

.progress-verdict p {
  margin: 8px 0 0;
  color: var(--ink-soft);
  font-size: 11px;
  line-height: 1.65;
}

.inference-note {
  padding: 14px 16px;
  color: #5f4711 !important;
  background: var(--amber-soft);
  border-left: 4px solid #c39735;
}

.system-flow {
  display: grid;
  grid-template-columns: repeat(7, minmax(0, 1fr));
  margin: 0;
  padding: 0;
  border-top: 1px solid var(--line-strong);
  list-style: none;
}

.system-flow li {
  min-width: 0;
  padding: 20px 14px;
  border-left: 1px solid var(--line);
}

.system-flow li:first-child {
  padding-left: 0;
  border-left: 0;
}

.system-flow li > span {
  display: block;
  color: var(--teal);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 11px;
  font-weight: 800;
}

.system-flow strong {
  display: block;
  margin-top: 10px;
  font-size: 13px;
  line-height: 1.4;
  overflow-wrap: anywhere;
}

.system-flow p {
  margin: 7px 0 0;
  color: var(--ink-soft);
  font-size: 10px;
  line-height: 1.55;
}

.certificate-preview {
  max-width: 900px;
  margin: 34px auto 0;
  color: #fff;
  background: var(--ink);
  border-radius: 6px;
  box-shadow: 10px 10px 0 var(--line);
}

.certificate-header {
  display: flex;
  gap: 20px;
  justify-content: space-between;
  padding: 18px 20px;
  border-bottom: 1px solid #465049;
}

.certificate-header span {
  color: #aeb8b2;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 10px;
}

.certificate-header strong {
  color: #ffcf66;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 11px;
}

.certificate-preview dl {
  margin: 0;
  padding: 8px 20px 18px;
}

.certificate-preview dl > div {
  display: grid;
  grid-template-columns: 190px 1fr;
  gap: 20px;
  padding: 11px 0;
  border-bottom: 1px solid #39423d;
}

.certificate-preview dl > div:last-child {
  border-bottom: 0;
}

.certificate-preview dt {
  color: #9da9a2;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 10px;
}

.certificate-preview dd {
  margin: 0;
  font-size: 12px;
}

.evidence-tools {
  position: sticky;
  z-index: 20;
  top: calc(var(--header-height) + 3px);
  display: grid;
  grid-template-columns: minmax(220px, 1fr) auto auto;
  gap: 20px;
  align-items: end;
  padding: 16px 0;
  background: rgba(246, 247, 245, 0.97);
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  backdrop-filter: blur(14px);
}

.evidence-search,
.filter-group {
  display: flex;
  flex-direction: column;
  gap: 7px;
}

.evidence-search > span,
.filter-group > span {
  color: var(--ink-soft);
  font-size: 10px;
  font-weight: 800;
}

.evidence-search input {
  width: 100%;
  height: 38px;
  padding: 0 12px;
  color: var(--ink);
  background: var(--paper);
  border: 1px solid var(--line-strong);
  border-radius: 4px;
  outline: none;
}

.evidence-search input:focus {
  border-color: var(--teal);
  box-shadow: 0 0 0 2px var(--teal-soft);
}

.segmented {
  display: flex;
  min-height: 38px;
  padding: 2px;
  background: var(--paper-soft);
  border: 1px solid var(--line);
  border-radius: 5px;
}

.segmented button {
  min-width: 52px;
  padding: 6px 9px;
  color: var(--ink-soft);
  background: transparent;
  border: 0;
  border-radius: 3px;
  cursor: pointer;
  font-size: 11px;
  font-weight: 700;
  white-space: nowrap;
}

.segmented button:hover,
.segmented button:focus-visible {
  color: var(--ink);
  outline: none;
}

.segmented button.is-active {
  color: #fff;
  background: var(--ink);
}

.theme-filter button {
  min-width: auto;
}

.evidence-summary {
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 54px;
  border-bottom: 1px solid var(--line-strong);
}

.evidence-summary p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 12px;
}

.evidence-summary button {
  padding: 6px 0;
  color: var(--teal);
  background: transparent;
  border: 0;
  cursor: pointer;
  font-size: 12px;
  font-weight: 750;
}

.evidence-summary button:hover,
.evidence-summary button:focus-visible {
  color: var(--ink);
  outline: none;
}

.evidence-list {
  border-bottom: 1px solid var(--line-strong);
}

.evidence-item {
  border-top: 1px solid var(--line);
}

.evidence-item:first-child {
  border-top: 0;
}

.evidence-item summary {
  display: grid;
  grid-template-columns: 96px minmax(0, 1fr) auto;
  gap: 18px;
  align-items: center;
  min-height: 86px;
  padding: 14px 8px;
  cursor: pointer;
  list-style: none;
}

.evidence-item summary::-webkit-details-marker {
  display: none;
}

.evidence-item summary:hover,
.evidence-item summary:focus-visible {
  background: var(--paper);
  outline: none;
}

.evidence-id {
  color: var(--ink-soft);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 11px;
}

.evidence-heading {
  min-width: 0;
}

.evidence-heading h3 {
  margin: 0;
  font-size: 15px;
  line-height: 1.5;
  overflow-wrap: anywhere;
}

.evidence-tags {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
  margin-top: 6px;
}

.evidence-tag {
  padding: 2px 6px;
  color: var(--ink-soft);
  background: var(--paper-soft);
  border-radius: 2px;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 9px;
  font-weight: 750;
  line-height: 1.4;
}

.evidence-tag.core {
  color: #055b53;
  background: var(--teal-soft);
}

.evidence-tag.support {
  color: #2f537c;
  background: var(--blue-soft);
}

.evidence-tag.context {
  color: #73520e;
  background: var(--amber-soft);
}

.evidence-open {
  color: var(--teal);
  font-size: 11px;
  font-weight: 750;
}

.evidence-detail {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  margin: 0 8px 18px 122px;
  background: var(--line);
  border: 1px solid var(--line);
}

.evidence-detail.context-detail {
  grid-template-columns: 1fr;
}

.evidence-detail > div {
  min-width: 0;
  padding: 16px;
  background: var(--paper);
}

.evidence-detail h4 {
  margin: 0 0 6px;
  color: var(--ink-soft);
  font-size: 10px;
  text-transform: uppercase;
}

.evidence-detail p {
  margin: 0;
  color: #303a35;
  font-size: 12px;
  line-height: 1.7;
}

.evidence-detail .evidence-boundary {
  background: #fbf6f5;
}

.evidence-source {
  display: flex;
  justify-content: flex-end;
  margin: -4px 8px 18px;
}

.evidence-source a {
  color: var(--blue);
  font-size: 11px;
  font-weight: 700;
}

.empty-evidence {
  padding: 40px 0;
  color: var(--ink-soft);
  text-align: center;
}

.unknown-layout {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 70px;
}

.unknown-layout h3 {
  margin: 0 0 18px;
  font-size: 17px;
}

.unknown-list,
.prediction-list {
  margin: 0;
  padding: 0;
  border-top: 1px solid var(--line-strong);
  list-style: none;
}

.unknown-list li,
.prediction-list li {
  display: grid;
  grid-template-columns: 38px 1fr;
  gap: 12px;
  padding: 14px 0;
  border-bottom: 1px solid var(--line);
}

.unknown-list span,
.prediction-list span {
  color: var(--red);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 10px;
  font-weight: 800;
}

.prediction-list span {
  color: var(--teal);
}

.unknown-list p,
.prediction-list p {
  margin: 0;
  color: #303a35;
  font-size: 13px;
  line-height: 1.65;
}

.prediction-list strong {
  color: var(--teal);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.92em;
}

.site-footer {
  display: flex;
  gap: 40px;
  align-items: flex-end;
  justify-content: space-between;
  width: min(100%, var(--content));
  margin: 0 auto;
  padding: 42px 40px 56px;
}

.site-footer strong {
  font-size: 13px;
}

.site-footer p {
  max-width: 760px;
  margin: 7px 0 0;
  color: var(--ink-soft);
  font-size: 11px;
}

.site-footer a {
  color: var(--blue);
}

.footer-meta {
  display: flex;
  gap: 8px;
  flex-wrap: wrap;
  justify-content: flex-end;
}

.footer-meta span {
  padding: 3px 7px;
  color: var(--ink-soft);
  background: var(--paper-soft);
  border-radius: 2px;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 9px;
}

.noscript-note {
  margin: 0;
  padding: 12px;
  color: #fff;
  background: var(--red);
  font-size: 12px;
  text-align: center;
}

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

  .primary-nav {
    grid-column: 1 / -1;
    grid-row: 2;
    justify-content: flex-start;
    overflow-x: auto;
    margin: 0 -28px;
    padding: 6px 28px 9px;
    border-top: 1px solid var(--line);
    scrollbar-width: none;
  }

  .primary-nav::-webkit-scrollbar {
    display: none;
  }

  .site-header {
    min-height: auto;
    padding-top: 12px;
  }

  :root {
    --header-height: 116px;
  }

  .cover {
    grid-template-columns: 1fr 380px;
    gap: 42px;
  }

  .cover h1 {
    font-size: 52px;
  }

  .capability-grid {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .capability-grid article:nth-child(4) {
    border-left: 0;
    border-top: 1px solid var(--line);
  }

  .capability-grid article:nth-child(5) {
    border-top: 1px solid var(--line);
  }

  .system-flow {
    grid-template-columns: repeat(4, minmax(0, 1fr));
  }

  .system-flow li:nth-child(5) {
    padding-left: 0;
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .system-flow li:nth-child(n + 6) {
    border-top: 1px solid var(--line);
  }

  .evidence-tools {
    grid-template-columns: 1fr 1fr;
  }

  .evidence-search {
    grid-column: 1 / -1;
  }
}

@media (max-width: 840px) {
  :root {
    --header-height: 111px;
  }

  .site-header {
    padding: 10px 18px 0;
  }

  .brand small {
    display: none;
  }

  .header-actions a {
    padding-right: 5px;
    padding-left: 5px;
    font-size: 11px;
  }

  .primary-nav {
    margin: 0 -18px;
    padding-right: 18px;
    padding-left: 18px;
  }

  .section-shell {
    padding: 70px 24px;
  }

  .cover {
    grid-template-columns: 1fr;
    gap: 42px;
    padding-top: 56px;
  }

  .cover-copy {
    max-width: 700px;
  }

  .completion-figure {
    max-width: 620px;
  }

  .audit-strip {
    grid-template-columns: repeat(2, 1fr);
    gap: 20px 0;
  }

  .audit-strip > div:nth-child(3) {
    padding-left: 0;
    border-left: 0;
  }

  .split-heading {
    grid-template-columns: 1fr;
    gap: 14px;
  }

  .conclusion-list {
    grid-template-columns: 1fr;
  }

  .conclusion-list li:nth-child(odd) {
    border-right: 0;
  }

  .capability-grid {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .capability-grid article:nth-child(3),
  .capability-grid article:nth-child(5) {
    border-left: 0;
  }

  .capability-grid article:nth-child(n + 3) {
    border-top: 1px solid var(--line);
  }

  .research-question {
    grid-template-columns: 1fr;
    gap: 10px;
  }

  .two-chain-model {
    grid-template-columns: 1fr;
  }

  .verifier-roles {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .verifier-roles > div:nth-child(3) {
    padding-left: 0;
    border-left: 0;
  }

  .finding {
    grid-template-columns: 58px minmax(0, 1fr);
  }

  .timeline {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .timeline article:nth-child(3) {
    padding-left: 0;
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .timeline article:nth-child(4) {
    border-top: 1px solid var(--line);
  }

  .progress-verdict {
    grid-template-columns: 1fr;
  }

  .system-flow {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .system-flow li:nth-child(odd) {
    padding-left: 0;
    border-left: 0;
  }

  .system-flow li:nth-child(n + 3) {
    border-top: 1px solid var(--line);
  }

  .evidence-tools {
    position: static;
    grid-template-columns: 1fr;
  }

  .evidence-search {
    grid-column: auto;
  }

  .segmented {
    overflow-x: auto;
  }

  .evidence-detail {
    grid-template-columns: 1fr;
    margin-left: 8px;
  }

  .unknown-layout {
    grid-template-columns: 1fr;
    gap: 48px;
  }
}

@media (max-width: 560px) {
  :root {
    --header-height: 108px;
  }

  body {
    font-size: 15px;
  }

  .brand strong {
    font-size: 11px;
  }

  .brand-mark {
    width: 30px;
    height: 30px;
  }

  .header-actions a:first-child {
    display: none;
  }

  .section-shell {
    padding: 56px 18px;
  }

  .cover {
    gap: 34px;
    padding-top: 42px;
    padding-bottom: 42px;
  }

  .cover h1 {
    margin-top: 12px;
    font-size: 39px;
    line-height: 1.22;
  }

  .lead {
    font-size: 17px;
    line-height: 1.8;
  }

  .cover-actions {
    align-items: stretch;
    flex-direction: column;
    gap: 8px;
    margin-top: 26px;
  }

  .primary-link,
  .text-link {
    justify-content: center;
  }

  .completion-figure {
    padding: 18px;
    box-shadow: 6px 6px 0 var(--line);
  }

  .completion-figure figcaption {
    align-items: flex-start;
    flex-direction: column;
    gap: 3px;
  }

  .claim-line {
    grid-template-columns: 30px 1fr;
  }

  .claim-state {
    display: none;
  }

  .audit-strip {
    margin-top: 38px;
  }

  .audit-strip > div {
    padding: 0 12px;
  }

  .audit-strip dd {
    font-size: 28px;
  }

  .section-heading {
    margin-bottom: 30px;
  }

  .section-heading h2 {
    font-size: 30px;
  }

  .conclusion-list a {
    grid-template-columns: 30px 1fr;
    gap: 0 10px;
    min-height: 102px;
    padding: 18px 4px;
  }

  .conclusion-list strong {
    font-size: 16px;
  }

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

  .capability-grid article {
    padding: 20px 4px;
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .capability-grid article:first-child {
    border-top: 0;
  }

  .capability-grid article:nth-child(2) {
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .capability-grid article:nth-child(4) {
    border-left: 0;
  }

  .research-question p {
    font-size: 19px;
  }

  .verifier-roles {
    grid-template-columns: 1fr;
  }

  .verifier-roles > div {
    padding: 16px 0;
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .finding {
    grid-template-columns: 1fr;
    gap: 7px;
    padding: 50px 0;
  }

  .finding-number {
    font-size: 17px;
  }

  .finding h3 {
    font-size: 26px;
  }

  .finding-thesis {
    font-size: 17px;
    line-height: 1.8;
  }

  .evidence-points {
    grid-template-columns: 1fr;
  }

  .contrast-table > div {
    grid-template-columns: 1fr;
    gap: 3px;
    padding: 12px 0;
  }

  .before-after,
  .repair-risk {
    grid-template-columns: 1fr;
  }

  .before-after .arrow {
    height: 24px;
    transform: rotate(90deg);
  }

  .path-model,
  .route-table {
    grid-template-columns: 1fr;
  }

  .route-table > div:nth-child(odd) {
    border-right: 0;
  }

  .route-table > div:nth-child(even) {
    padding-left: 0;
  }

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

  .timeline article,
  .timeline article:first-child,
  .timeline article:nth-child(3) {
    padding: 22px 0;
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .timeline article:first-child {
    border-top: 0;
  }

  .timeline h3 {
    min-height: 0;
  }

  .system-flow {
    grid-template-columns: 1fr;
  }

  .system-flow li,
  .system-flow li:first-child,
  .system-flow li:nth-child(5),
  .system-flow li:nth-child(odd) {
    display: grid;
    grid-template-columns: 32px 1fr;
    gap: 10px;
    padding: 15px 0;
    border-top: 1px solid var(--line);
    border-left: 0;
  }

  .system-flow li:first-child {
    border-top: 0;
  }

  .system-flow strong {
    margin-top: 0;
  }

  .system-flow p {
    grid-column: 2;
  }

  .certificate-preview {
    box-shadow: 6px 6px 0 var(--line);
  }

  .certificate-header {
    align-items: flex-start;
    flex-direction: column;
    gap: 6px;
  }

  .certificate-preview dl > div {
    grid-template-columns: 1fr;
    gap: 3px;
  }

  .evidence-tools {
    gap: 14px;
  }

  .filter-group {
    min-width: 0;
  }

  .segmented {
    width: 100%;
  }

  .evidence-summary {
    align-items: flex-start;
    flex-direction: column;
    justify-content: center;
    padding: 10px 0;
  }

  .evidence-item summary {
    grid-template-columns: 1fr auto;
    gap: 8px 12px;
    padding: 16px 2px;
  }

  .evidence-id {
    grid-column: 1 / -1;
  }

  .evidence-heading h3 {
    font-size: 14px;
  }

  .evidence-detail {
    margin: 0 0 16px;
  }

  .evidence-source {
    margin-right: 0;
  }

  .site-footer {
    align-items: flex-start;
    flex-direction: column;
    padding: 34px 18px 44px;
  }

  .footer-meta {
    justify-content: flex-start;
  }
}

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

  .reading-progress span {
    transition: none;
  }
}
