:root {
  --paper: #fbfaf6;
  --paper-deep: #f3efe6;
  --ink: #202322;
  --muted: #656a67;
  --line: #d8d3c7;
  --line-strong: #9d9a91;
  --accent: #8f2f36;
  --accent-dark: #672128;
  --accent-soft: #f4e5e4;
  --blue: #244f66;
  --blue-soft: #e6eff2;
  --gold: #80620e;
  --gold-soft: #f5eed5;
  --green: #315c47;
  --green-soft: #e5eee8;
  --violet: #5b466f;
  --violet-soft: #eee8f3;
  --shadow: 0 18px 60px rgba(43, 39, 30, 0.11);
  --serif: Charter, "Iowan Old Style", "Palatino Linotype", Palatino,
    "Book Antiqua", Georgia, serif;
  --sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI",
    sans-serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}

* {
  box-sizing: border-box;
}

html {
  background: #e8e4db;
}

body {
  margin: 0;
  color: var(--ink);
  background:
    radial-gradient(circle at 18% 3%, rgba(255, 255, 255, 0.8), transparent 31rem),
    #e8e4db;
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.68;
  text-rendering: optimizeLegibility;
}

a {
  color: var(--accent-dark);
  text-decoration-color: rgba(103, 33, 40, 0.35);
  text-underline-offset: 0.18em;
}

a:hover {
  color: var(--accent);
  text-decoration-color: currentColor;
}

.concept-link {
  color: inherit;
  text-decoration-line: underline;
  text-decoration-style: dotted;
  text-decoration-color: rgba(42, 83, 102, 0.42);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.19em;
}

.concept-link:hover,
.concept-link:focus-visible {
  color: var(--blue);
  text-decoration-style: solid;
  text-decoration-color: currentColor;
}

.skip-link {
  position: fixed;
  z-index: 20;
  top: 0.75rem;
  left: 0.75rem;
  padding: 0.55rem 0.8rem;
  color: white;
  background: var(--accent-dark);
  font-family: var(--sans);
  font-size: 0.82rem;
  transform: translateY(-180%);
}

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

.paper-shell {
  width: min(1060px, calc(100% - 40px));
  margin: 42px auto 70px;
  background: var(--paper);
  border: 1px solid rgba(77, 69, 54, 0.18);
  box-shadow: var(--shadow);
}

.masthead {
  padding: 58px 78px 45px;
  border-top: 7px solid var(--accent-dark);
  border-bottom: 1px solid var(--line);
}

.journal-line,
.kicker,
.meta-label,
.eyebrow,
.source-anchor,
.status,
.route-kind,
.table-caption {
  font-family: var(--sans);
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.journal-line {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  padding-bottom: 0.7rem;
  border-bottom: 1px solid var(--line-strong);
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 650;
}

.kicker {
  margin: 2.1rem 0 0.75rem;
  color: var(--accent);
  font-size: 0.77rem;
  font-weight: 750;
}

h1 {
  max-width: 820px;
  margin: 0;
  font-size: clamp(2.55rem, 6vw, 4.5rem);
  font-weight: 500;
  line-height: 0.99;
  letter-spacing: -0.047em;
}

.subtitle {
  max-width: 770px;
  margin: 1.35rem 0 0;
  color: #555a57;
  font-size: 1.22rem;
  font-style: italic;
  line-height: 1.45;
}

.byline {
  display: flex;
  flex-wrap: wrap;
  gap: 0.55rem 1.8rem;
  margin: 2rem 0 0;
  font-family: var(--sans);
  font-size: 0.84rem;
}

.byline strong {
  color: var(--accent-dark);
  font-weight: 700;
}

.paper-meta {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  margin: 2.2rem 0 0;
  border: 1px solid var(--line);
  background: var(--line);
}

.paper-meta > div {
  min-height: 86px;
  padding: 0.9rem 1rem;
  background: var(--paper);
}

.meta-label {
  display: block;
  margin-bottom: 0.35rem;
  color: var(--muted);
  font-size: 0.62rem;
  font-weight: 750;
}

.meta-value {
  display: block;
  font-family: var(--sans);
  font-size: 0.85rem;
  line-height: 1.42;
}

.meta-value code {
  font-family: var(--mono);
  font-size: 0.75rem;
  overflow-wrap: anywhere;
}

.abstract {
  display: grid;
  grid-template-columns: 112px 1fr;
  gap: 1.3rem;
  margin-top: 2.4rem;
  padding-top: 1.55rem;
  border-top: 1px solid var(--line);
}

.abstract h2 {
  margin: 0.1rem 0 0;
  font-family: var(--sans);
  font-size: 0.76rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.abstract > :not(h2) {
  /* Last explicit column: text column on desktop, sole column on mobile. */
  grid-column: -2 / -1;
}

.abstract p {
  margin: 0;
  font-size: 0.98rem;
  line-height: 1.62;
}

.source-discipline {
  margin: 1.3rem 0 0 133px;
  padding: 0.75rem 1rem;
  border-left: 3px solid var(--blue);
  color: #3f4e54;
  background: var(--blue-soft);
  font-family: var(--sans);
  font-size: 0.76rem;
  line-height: 1.5;
}

.toc {
  position: sticky;
  z-index: 10;
  top: 0;
  display: flex;
  gap: 1rem;
  overflow-x: auto;
  padding: 0.8rem 78px;
  border-bottom: 1px solid var(--line);
  background: rgba(251, 250, 246, 0.95);
  backdrop-filter: blur(10px);
  scrollbar-width: thin;
}

.toc a {
  flex: 0 0 auto;
  color: #4e5451;
  font-family: var(--sans);
  font-size: 0.72rem;
  font-weight: 650;
  text-decoration: none;
}

.toc a:hover,
.toc a[aria-current="location"] {
  color: var(--accent);
}

.toc a[aria-current="location"] {
  box-shadow: inset 0 -2px 0 var(--accent);
}

main {
  padding: 16px 78px 72px;
}

section {
  scroll-margin-top: 64px;
  padding: 3.55rem 0 3.2rem;
  border-bottom: 1px solid var(--line);
}

section:last-child {
  border-bottom: 0;
}

section > p,
section > h3,
section > ul {
  max-width: 48rem;
}

.appendix-section {
  background: linear-gradient(90deg, rgba(36, 79, 102, 0.035), transparent 45%);
}

.appendix-break {
  display: flex;
  gap: 1rem;
  align-items: center;
  padding-top: 3.6rem;
  color: var(--blue);
  font-family: var(--sans);
  font-size: 0.7rem;
  font-weight: 800;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.appendix-break::before,
.appendix-break::after {
  height: 1px;
  background: var(--line-strong);
  content: "";
}

.appendix-break::before {
  width: 3rem;
}

.appendix-break::after {
  flex: 1;
}

.section-head {
  display: grid;
  grid-template-columns: 48px 1fr;
  gap: 1rem;
  align-items: start;
  margin-bottom: 1.7rem;
}

.section-number {
  padding-top: 0.2rem;
  color: var(--accent);
  font-family: var(--sans);
  font-size: 0.8rem;
  font-weight: 800;
}

h2 {
  margin: 0;
  font-size: clamp(1.8rem, 4vw, 2.55rem);
  font-weight: 500;
  line-height: 1.12;
  letter-spacing: -0.032em;
}

h3 {
  margin: 2rem 0 0.7rem;
  font-size: 1.25rem;
  font-weight: 650;
  line-height: 1.3;
}

h4 {
  margin: 1.5rem 0 0.45rem;
  font-family: var(--sans);
  font-size: 0.84rem;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

p {
  margin: 0.85rem 0;
}

.lead {
  margin-top: 0;
  font-size: 1.19rem;
  line-height: 1.62;
}

.dropcap::first-letter {
  float: left;
  margin: 0.07em 0.09em 0 0;
  color: var(--accent-dark);
  font-size: 3.9em;
  line-height: 0.78;
}

.route-network {
  margin: 2.1rem 0;
  padding: 1.4rem;
  border: 1px solid var(--line);
  background: #f7f4ed;
}

.route-network figcaption,
.figure-caption {
  margin: 1rem 0 0;
  color: var(--muted);
  font-family: var(--sans);
  font-size: 0.72rem;
  line-height: 1.5;
}

.route-node {
  padding: 0.9rem 1rem;
  border: 1px solid var(--line-strong);
  background: var(--paper);
  text-align: left;
}

.route-node strong {
  display: block;
  font-family: var(--sans);
  font-size: 0.88rem;
  line-height: 1.35;
}

.route-node span {
  display: block;
  margin-top: 0.25rem;
  color: var(--muted);
  font-size: 0.78rem;
  line-height: 1.4;
}

.route-node.primary {
  width: min(420px, 100%);
  margin: auto;
  border-top: 4px solid var(--accent);
}

.route-arrow {
  height: 29px;
  color: var(--line-strong);
  font-family: var(--sans);
  font-size: 1.25rem;
  line-height: 29px;
  text-align: center;
}

.route-columns {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1.1rem;
}

.route-branch {
  display: grid;
  gap: 0.65rem;
}

.route-branch .route-arrow {
  height: 18px;
  line-height: 18px;
}

.route-node.entropy {
  border-top: 4px solid var(--blue);
}

.route-node.mode {
  border-top: 4px solid var(--violet);
}

.route-node.extension {
  border-left: 4px solid var(--gold);
}

.route-independent {
  margin-top: 1.1rem;
  padding-top: 1.1rem;
  border-top: 1px dashed var(--line-strong);
}

.route-independent .route-node {
  border-left: 4px solid var(--green);
}

.legend {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
  margin: 1.3rem 0;
}

.status {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  padding: 0.28rem 0.52rem;
  border: 1px solid currentColor;
  border-radius: 99px;
  font-size: 0.65rem;
  font-weight: 800;
  line-height: 1;
  white-space: nowrap;
}

.status::before {
  width: 0.38rem;
  height: 0.38rem;
  border-radius: 50%;
  background: currentColor;
  content: "";
}

.status.deduction,
.status.paper-derivation {
  color: var(--green);
  background: var(--green-soft);
}

.status.principle {
  color: var(--accent-dark);
  background: var(--accent-soft);
}

.status.approximation {
  color: var(--blue);
  background: var(--blue-soft);
}

.status.deferred,
.status.expectation {
  color: var(--gold);
  background: var(--gold-soft);
}

.status.conjecture {
  color: var(--violet);
  background: var(--violet-soft);
}

.status.interpretation {
  color: var(--blue);
  background: var(--blue-soft);
}

.status.open {
  color: var(--violet);
  background: var(--violet-soft);
}

.postulate-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1rem;
  margin: 1.8rem 0;
}

.postulate {
  position: relative;
  min-height: 190px;
  padding: 1.2rem 1.25rem 1.1rem;
  border: 1px solid var(--line);
  background: #fffefa;
}

.postulate .pnum {
  position: absolute;
  top: 0.9rem;
  right: 1rem;
  color: rgba(143, 47, 54, 0.17);
  font-family: var(--sans);
  font-size: 2.3rem;
  font-weight: 850;
  line-height: 1;
}

.postulate h3 {
  max-width: 78%;
  margin: 0;
  color: var(--accent-dark);
  font-family: var(--sans);
  font-size: 0.94rem;
  text-transform: uppercase;
  letter-spacing: 0.045em;
}

.postulate p {
  margin: 0.7rem 0 0;
  font-size: 0.91rem;
  line-height: 1.53;
}

.equation {
  position: relative;
  margin: 1.2rem 0;
  padding: 1.05rem 4.25rem 1.05rem 1.2rem;
  border-left: 3px solid var(--accent-dark);
  background: #f5f1e9;
  font-size: clamp(1.02rem, 2.5vw, 1.28rem);
  line-height: 1.55;
  text-align: center;
}

.equation .eqno {
  position: absolute;
  top: 50%;
  right: 1.2rem;
  color: var(--muted);
  font-family: var(--sans);
  font-size: 0.7rem;
  transform: translateY(-50%);
}

.equation .condition {
  display: block;
  margin-top: 0.2rem;
  color: var(--muted);
  font-family: var(--sans);
  font-size: 0.73rem;
}

.proof-chain {
  display: grid;
  grid-template-columns: 1fr 32px 1fr 32px 1fr;
  align-items: stretch;
  margin: 1.8rem 0;
}

.proof-step {
  padding: 1rem;
  border: 1px solid var(--line);
  background: #fffefa;
}

.proof-step .eyebrow {
  display: block;
  color: var(--accent);
  font-size: 0.59rem;
  font-weight: 800;
}

.proof-step strong {
  display: block;
  margin-top: 0.3rem;
  font-size: 0.9rem;
  line-height: 1.4;
}

.proof-step p {
  margin: 0.45rem 0 0;
  color: var(--muted);
  font-size: 0.78rem;
  line-height: 1.45;
}

.chain-arrow {
  align-self: center;
  color: var(--line-strong);
  font-family: var(--sans);
  text-align: center;
}

.theorem-box,
.logic-note,
.scope-box,
.assumption-panel {
  margin: 1.6rem 0;
  padding: 1.25rem 1.35rem;
  border: 1px solid var(--line);
}

.theorem-box {
  border-top: 4px solid var(--accent-dark);
  background: #fffefa;
}

.theorem-box .theorem-title {
  display: flex;
  justify-content: space-between;
  gap: 0.8rem;
  align-items: start;
  margin-bottom: 0.7rem;
  font-family: var(--sans);
  font-size: 0.82rem;
  font-weight: 800;
}

.theorem-box p:last-child,
.logic-note p:last-child,
.scope-box p:last-child {
  margin-bottom: 0;
}

.logic-note {
  border-left: 4px solid var(--blue);
  background: var(--blue-soft);
}

.logic-note.warning {
  border-left-color: var(--gold);
  background: var(--gold-soft);
}

.assumption-panel {
  border-left: 4px solid var(--blue);
  background: #f7fafb;
}

.assumption-panel h3 {
  margin: 0 0 0.85rem;
  font-family: var(--sans);
  font-size: 0.88rem;
  letter-spacing: 0.02em;
}

.assumption-list {
  margin: 0;
  padding-left: 1.25rem;
}

.assumption-list li {
  margin: 0.62rem 0;
  padding-left: 0.2rem;
  font-size: 0.88rem;
  line-height: 1.48;
}

.assumption-list li::marker {
  color: var(--blue);
}

.assumption-list strong {
  color: #273f4b;
}

.assumption-note {
  margin: 0.85rem 0 0;
  padding-top: 0.8rem;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-family: var(--sans);
  font-size: 0.72rem;
  line-height: 1.5;
}

.logic-note h3,
.scope-box h3 {
  margin: 0;
  font-family: var(--sans);
  font-size: 0.88rem;
  letter-spacing: 0.02em;
}

.logic-note p,
.scope-box p {
  font-size: 0.9rem;
  line-height: 1.58;
}

.source-anchor {
  display: inline-block;
  margin-top: 0.65rem;
  color: var(--muted);
  font-size: 0.68rem;
  font-weight: 650;
  letter-spacing: 0.015em;
  text-transform: none;
}

.source-anchor code {
  font-size: 0.96em;
  letter-spacing: normal;
  text-transform: none;
}

.two-column {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1.25rem;
  margin: 1.5rem 0;
}

.notation-strip {
  margin: 1.8rem 0 0;
  padding: 1rem 1.1rem;
  border: 1px solid var(--line);
  border-left: 4px solid var(--accent-dark);
  background: #fffefa;
}

.notation-strip h3 {
  margin: 0 0 0.8rem;
  font-family: var(--sans);
  font-size: 0.78rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.notation-strip dl {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  margin: 0;
  background: var(--line);
}

.notation-strip dl > div {
  display: grid;
  grid-template-columns: minmax(3.2rem, auto) 1fr;
  gap: 0.55rem;
  align-items: baseline;
  padding: 0.6rem 0.7rem;
  background: var(--paper);
}

.notation-strip dt {
  color: var(--accent-dark);
  font-weight: 750;
}

.notation-strip dd {
  margin: 0;
  color: var(--muted);
  font-family: var(--sans);
  font-size: 0.72rem;
  line-height: 1.35;
}

.precision-note {
  margin: 1.2rem 0;
  padding: 0.78rem 1rem;
  border-left: 3px solid var(--gold);
  color: #56503d;
  background: var(--gold-soft);
  font-size: 0.88rem;
  line-height: 1.55;
}

.mode-obstruction {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 8.5rem minmax(0, 1fr);
  gap: 1rem;
  align-items: center;
  margin: 1.8rem 0 2rem;
  padding: 1.2rem;
  border: 1px solid var(--line);
  background: #f7f4ed;
}

.mode-track {
  display: grid;
  justify-items: center;
  gap: 0.45rem;
  min-height: 240px;
  padding: 1rem;
  border: 1px solid var(--line);
  background: #fffefa;
  font-family: var(--sans);
  font-size: 0.82rem;
  line-height: 1.35;
  text-align: center;
}

.early-track {
  border-top: 4px solid var(--blue);
}

.horizon-track {
  border-top: 4px solid var(--violet);
}

.track-label {
  color: var(--muted);
  font-size: 0.65rem;
  font-weight: 750;
  letter-spacing: 0.055em;
  text-transform: uppercase;
}

.track-arrow {
  color: var(--line-strong);
  font-size: 1.2rem;
  line-height: 1;
}

.track-result {
  align-self: end;
  width: 100%;
  padding: 0.65rem;
  color: var(--accent-dark);
  background: var(--accent-soft);
  font-family: var(--serif);
  font-size: 1.25rem;
}

.mode-conflict {
  color: var(--accent-dark);
  font-family: var(--sans);
  font-size: 0.68rem;
  font-weight: 800;
  letter-spacing: 0.045em;
  line-height: 1.35;
  text-align: center;
  text-transform: uppercase;
}

.mode-obstruction figcaption {
  grid-column: 1 / -1;
  margin-top: 0.2rem;
  color: var(--muted);
  font-family: var(--sans);
  font-size: 0.72rem;
  line-height: 1.5;
}

.argument-rail {
  padding: 1.15rem;
  border: 1px solid var(--line);
  background: #fffefa;
}

.argument-rail h3 {
  margin: 0;
  padding-bottom: 0.65rem;
  border-bottom: 1px solid var(--line);
  font-size: 1.06rem;
}

.argument-rail > p {
  font-size: 0.86rem;
  line-height: 1.52;
}

.argument-rail ol {
  margin: 0.9rem 0 0;
  padding-left: 1.2rem;
}

.argument-rail li {
  margin: 0.65rem 0;
  padding-left: 0.25rem;
  font-size: 0.86rem;
  line-height: 1.5;
}

.argument-rail li::marker {
  color: var(--accent);
  font-family: var(--sans);
  font-weight: 800;
}

table {
  width: 100%;
  margin: 1.4rem 0;
  border-collapse: collapse;
  font-size: 0.82rem;
  line-height: 1.45;
}

caption {
  padding-bottom: 0.65rem;
  color: var(--muted);
  text-align: left;
}

th,
td {
  padding: 0.72rem 0.75rem;
  border-top: 1px solid var(--line);
  vertical-align: top;
  text-align: left;
}

th {
  color: #4a4f4c;
  background: var(--paper-deep);
  font-family: var(--sans);
  font-size: 0.68rem;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

tbody tr:last-child td {
  border-bottom: 1px solid var(--line);
}

.paper-shell code {
  overflow-wrap: anywhere;
}

td code,
.theorem-box code,
details code {
  font-family: var(--mono);
  font-size: 0.78em;
}

.trilemma {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1rem;
  margin: 1.6rem 0;
}

.resolution {
  min-height: 170px;
  padding: 1rem;
  border: 1px solid var(--line);
  background: #fffefa;
}

.resolution .branch {
  color: var(--accent);
  font-family: var(--sans);
  font-size: 0.65rem;
  font-weight: 850;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.resolution h3 {
  margin: 0.55rem 0 0;
  font-size: 1.05rem;
}

.resolution p {
  margin: 0.55rem 0 0;
  color: var(--muted);
  font-size: 0.8rem;
  line-height: 1.48;
}

.scope-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1rem;
  margin: 1.5rem 0;
}

.scope-box {
  margin: 0;
  min-height: 175px;
  background: #fffefa;
}

.scope-box.applies {
  border-top: 4px solid var(--accent);
}

.scope-box.excluded {
  border-top: 4px solid var(--line-strong);
}

.scope-box.unresolved {
  border-top: 4px solid var(--violet);
}

.concept-intro {
  max-width: 46rem;
}

.concept-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1rem;
  margin: 1.5rem 0;
}

.concept-entry {
  min-height: 132px;
  padding: 1rem 1.1rem;
  border: 1px solid var(--line);
  border-top: 3px solid var(--blue);
  background: #fffefa;
  scroll-margin-top: 1.25rem;
}

.concept-entry h3 {
  margin: 0;
  color: #273f4b;
  font-family: var(--sans);
  font-size: 0.9rem;
  line-height: 1.35;
}

.concept-entry p {
  margin: 0.55rem 0 0;
  color: var(--muted);
  font-size: 0.8rem;
  line-height: 1.5;
}

.concept-entry .source-anchor {
  display: block;
  margin-top: 0.65rem;
}

.postulate,
.equation,
.resolution,
.scope-box,
.concept-entry,
tr {
  scroll-margin-top: 5rem;
}

.postulate:target,
.equation:target,
.resolution:target,
.scope-box:target,
.concept-entry:target,
tr:target {
  outline: 3px solid rgba(42, 83, 102, 0.48);
  outline-offset: 4px;
  animation: concept-focus 1.35s ease-out;
}

@keyframes concept-focus {
  from {
    outline-color: var(--gold);
    box-shadow: 0 0 0 0.55rem rgba(178, 130, 31, 0.2);
  }
  to {
    outline-color: rgba(42, 83, 102, 0.48);
    box-shadow: 0 0 0 0 transparent;
  }
}

details {
  margin: 0.8rem 0;
  border: 1px solid var(--line);
  background: #fffefa;
}

summary {
  padding: 0.8rem 1rem;
  cursor: pointer;
  font-family: var(--sans);
  font-size: 0.78rem;
  font-weight: 750;
}

details > div {
  padding: 0 1rem 1rem;
  color: #4f5552;
  font-size: 0.84rem;
}

.audit-disclosure {
  margin: 1.8rem 0 0;
  border-color: #b9c8ce;
  background: #f7fafb;
}

.audit-disclosure > summary {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.8rem;
  align-items: center;
  padding: 1rem 1.1rem;
  color: #273f4b;
  list-style: none;
}

.audit-disclosure > summary::-webkit-details-marker {
  display: none;
}

.audit-disclosure > summary::after {
  grid-column: 2;
  color: var(--blue);
  content: "Open complete logical contract";
  font-size: 0.68rem;
  font-weight: 550;
}

.audit-disclosure[open] > summary::after {
  content: "Close complete logical contract";
}

.audit-kicker {
  grid-row: 1 / span 2;
  padding: 0.28rem 0.5rem;
  border: 1px solid var(--blue);
  border-radius: 99px;
  color: var(--blue);
  font-size: 0.6rem;
  font-weight: 800;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.audit-content {
  padding: 0 1.1rem 1.2rem;
  border-top: 1px solid #cbd7dc;
  color: var(--ink);
  font-size: 0.86rem;
}

.audit-content > h3,
.audit-section h3 {
  margin: 1.15rem 0 0.55rem;
  font-family: var(--sans);
  font-size: 0.88rem;
}

.semantic-traceability .identifier-group {
  padding-top: 0.25rem;
}

.semantic-traceability .identifier-run {
  margin: 0;
  line-height: 1.75;
  overflow-wrap: anywhere;
}

.semantic-traceability .identifier-run code {
  white-space: normal;
}

#formal-development-updates code {
  white-space: normal;
  overflow-wrap: anywhere;
}

.audit-section {
  margin-top: 1rem;
  padding-top: 0.1rem;
  border-top: 1px solid var(--line);
}

.audit-section p {
  max-width: 48rem;
  font-size: 0.86rem;
  line-height: 1.55;
}

.audit-content table {
  margin-bottom: 0;
}

.route-details {
  margin-top: 1rem;
  background: #f8f6f0;
}

.route-details summary {
  color: #4e5552;
  font-size: 0.7rem;
}

.route-details > div {
  font-size: 0.78rem;
  line-height: 1.5;
}

.return-to-reading {
  position: fixed;
  z-index: 30;
  right: 1.2rem;
  bottom: 1.2rem;
  padding: 0.65rem 0.85rem;
  border: 1px solid var(--blue);
  border-radius: 99px;
  color: white;
  background: var(--blue);
  box-shadow: 0 8px 28px rgba(26, 54, 66, 0.24);
  cursor: pointer;
  font-family: var(--sans);
  font-size: 0.72rem;
  font-weight: 750;
}

.return-to-reading:hover,
.return-to-reading:focus-visible {
  background: #173a4c;
}

.return-to-reading[hidden] {
  display: none;
}

.paper-footer {
  padding: 2.2rem 78px 2.6rem;
  border-top: 1px solid var(--line);
  color: var(--muted);
  background: var(--paper-deep);
  font-family: var(--sans);
  font-size: 0.72rem;
  line-height: 1.55;
}

.footer-files {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem 1rem;
  margin-top: 0.7rem;
}

.footer-files a {
  font-family: var(--mono);
  font-size: 0.68rem;
}

@media (max-width: 820px) {
  .paper-shell {
    width: min(100% - 20px, 1060px);
    margin-top: 10px;
  }

  .masthead,
  main,
  .paper-footer {
    padding-left: 30px;
    padding-right: 30px;
  }

  .toc {
    padding-left: 30px;
    padding-right: 30px;
  }

  .paper-meta,
  .postulate-grid,
  .two-column,
  .trilemma,
  .scope-grid,
  .concept-grid {
    grid-template-columns: 1fr;
  }

  .abstract {
    grid-template-columns: 1fr;
    gap: 0.45rem;
  }

  .source-discipline {
    margin-left: 0;
  }

  .proof-chain {
    grid-template-columns: 1fr;
    gap: 0;
  }

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

  .mode-obstruction {
    grid-template-columns: 1fr;
  }

  .mode-track {
    min-height: 0;
  }

  .mode-conflict {
    padding: 0.7rem 0;
    border-top: 1px solid var(--line);
    border-bottom: 1px solid var(--line);
  }

  .chain-arrow {
    padding: 0.2rem;
    transform: rotate(90deg);
  }
}

@media (max-width: 570px) {
  body {
    font-size: 17px;
  }

  .paper-shell {
    width: 100%;
    margin: 0;
    border: 0;
    box-shadow: none;
  }

  .masthead,
  main,
  .paper-footer {
    padding-left: 20px;
    padding-right: 20px;
  }

  .journal-line {
    display: block;
  }

  .journal-line span:last-child {
    display: block;
    margin-top: 0.25rem;
  }

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

  .section-head {
    grid-template-columns: 34px 1fr;
  }

  .theorem-box .theorem-title {
    display: block;
  }

  .theorem-box .status {
    margin-top: 0.55rem;
  }

  /* Long epistemic qualifiers remain readable without widening a narrow page. */
  .theorem-box .status {
    max-width: 100%;
    white-space: normal;
    overflow-wrap: anywhere;
    line-height: 1.35;
  }

  .theorem-box .status::before {
    flex-shrink: 0;
  }

  .notation-strip dl {
    grid-template-columns: 1fr;
  }

  .audit-disclosure > summary {
    grid-template-columns: 1fr;
  }

  .audit-disclosure > summary::after {
    grid-column: 1;
  }

  .audit-kicker {
    grid-row: auto;
    justify-self: start;
  }

  .return-to-reading {
    right: 0.75rem;
    bottom: 0.75rem;
  }

  table {
    display: block;
    overflow-x: auto;
    white-space: normal;
  }
}

@media print {
  @page {
    margin: 18mm 17mm;
  }

  html,
  body {
    background: white;
  }

  body {
    font-size: 10.5pt;
  }

  .paper-shell {
    width: 100%;
    margin: 0;
    border: 0;
    box-shadow: none;
  }

  .masthead,
  main,
  .paper-footer {
    padding-left: 0;
    padding-right: 0;
  }

  .toc,
  .skip-link,
  .return-to-reading {
    display: none;
  }

  section {
    break-before: auto;
  }

  .postulate,
  .theorem-box,
  .logic-note,
  .argument-rail,
  .resolution,
  .scope-box,
  .assumption-panel,
  .concept-entry,
  .notation-strip,
  .mode-obstruction,
  .mode-track,
  table,
  .route-network {
    break-inside: avoid;
  }

  a {
    color: inherit;
    text-decoration: none;
  }

  .concept-link {
    text-decoration: none;
  }

  details > div {
    display: block;
  }
}

@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
  }
}

/* Generated route ledgers retain long source identifiers without widening the page. */
.checked-route-details .checked-route {
  padding: 1rem 0;
  border-top: 1px solid var(--line);
  break-inside: avoid;
}

.checked-route-details code,
.route-entry code {
  white-space: normal;
  overflow-wrap: anywhere;
}