/* PERMIT — provisional agent-first landing
   Editorial paper + machine interface. No JavaScript required. */

:root {
  --paper: #f2efe6;
  --paper-light: #fbf9f3;
  --paper-deep: #ddd7c9;
  --ink: #151512;
  --ink-soft: #25241f;
  --ink-muted: #5f5a50;
  --ink-faint: #898277;
  --line: rgba(21, 21, 18, 0.17);
  --line-strong: rgba(21, 21, 18, 0.42);
  --signal: #e24b2a;
  --signal-dark: #9f2814;
  --success: #c8f36a;
  --max: 1240px;
  --font-display: "Syne", "Arial Narrow", sans-serif;
  --font-body: "Syne", system-ui, sans-serif;
  --font-mono: "IBM Plex Mono", "SFMono-Regular", ui-monospace, monospace;
}

*,
*::before,
*::after {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  color: var(--ink);
  background-color: var(--paper);
  background-image:
    linear-gradient(rgba(21, 21, 18, 0.022) 1px, transparent 1px),
    linear-gradient(90deg, rgba(21, 21, 18, 0.022) 1px, transparent 1px),
    radial-gradient(circle at 78% 6%, rgba(226, 75, 42, 0.08), transparent 26rem);
  background-size: 32px 32px, 32px 32px, auto;
  font-family: var(--font-body);
  font-size: 1rem;
  font-weight: 500;
  line-height: 1.55;
  -webkit-font-smoothing: antialiased;
}

::selection {
  color: var(--paper-light);
  background: var(--signal);
}

a {
  color: inherit;
}

code,
pre {
  font-family: var(--font-mono);
}

.skip-link {
  position: fixed;
  z-index: 20;
  top: 0.75rem;
  left: 0.75rem;
  padding: 0.65rem 0.9rem;
  color: var(--paper-light);
  background: var(--ink);
  font-family: var(--font-mono);
  font-size: 0.78rem;
  transform: translateY(-200%);
}

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

:focus-visible {
  outline: 3px solid var(--signal);
  outline-offset: 4px;
}

.site-nav {
  position: relative;
  z-index: 5;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 2rem;
  max-width: var(--max);
  min-height: 5rem;
  margin: 0 auto;
  padding: 1rem 1.75rem;
  border-bottom: 1px solid var(--line);
  font-family: var(--font-mono);
  text-transform: uppercase;
}

.site-nav a {
  text-decoration: none;
}

.nav-brand {
  display: inline-flex;
  align-items: baseline;
  gap: 0.65rem;
  font-family: var(--font-display);
  font-size: 1.05rem;
  font-weight: 800;
  letter-spacing: 0.08em;
}

.nav-status {
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.54rem;
  font-weight: 500;
  letter-spacing: 0.09em;
}

.nav-links {
  display: flex;
  align-items: center;
  gap: 1.5rem;
  color: var(--ink-muted);
  font-size: 0.68rem;
  letter-spacing: 0.06em;
}

.nav-links a {
  transition: color 160ms ease;
}

.nav-links a:hover {
  color: var(--ink);
}

.nav-links .nav-agent {
  padding: 0.55rem 0.75rem;
  color: var(--paper-light);
  background: var(--ink);
  border: 1px solid var(--ink);
}

.nav-links .nav-agent:hover {
  color: var(--ink);
  background: transparent;
}

.hero {
  display: grid;
  grid-template-columns: minmax(0, 1.08fr) minmax(24rem, 0.92fr);
  align-items: center;
  gap: clamp(3rem, 7vw, 7rem);
  max-width: var(--max);
  min-height: calc(100svh - 5rem);
  margin: 0 auto;
  padding: clamp(3.5rem, 7vw, 6.75rem) 1.75rem;
}

.hero-copy {
  min-width: 0;
  animation: enter-up 700ms cubic-bezier(0.22, 1, 0.36, 1) both;
}

.eyebrow,
.section-kicker,
.panel-kicker {
  font-family: var(--font-mono);
  font-size: 0.66rem;
  font-weight: 600;
  letter-spacing: 0.11em;
  text-transform: uppercase;
}

.eyebrow {
  display: flex;
  align-items: center;
  gap: 0.65rem;
  max-width: 33rem;
  margin: 0 0 1.6rem;
  color: var(--ink-muted);
}

.eyebrow-mark {
  width: 1.8rem;
  height: 0.45rem;
  flex: 0 0 auto;
  background: var(--signal);
}

.eyebrow-text {
  min-width: 0;
}

.hero h1 {
  max-width: 8ch;
  margin: 0;
  font-family: var(--font-display);
  font-size: clamp(4.25rem, 7vw, 6.8rem);
  font-weight: 800;
  letter-spacing: -0.065em;
  line-height: 0.82;
}

.hero-thesis {
  max-width: 31rem;
  margin: 2rem 0 0.85rem;
  font-family: var(--font-display);
  font-size: clamp(1.25rem, 2vw, 1.65rem);
  font-weight: 600;
  letter-spacing: -0.025em;
  line-height: 1.2;
}

.hero-body {
  max-width: 34rem;
  margin: 0;
  color: var(--ink-muted);
  font-size: 0.98rem;
}

.cta-row {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.85rem;
  margin-top: 2rem;
}

.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 0.65rem;
  min-height: 3rem;
  padding: 0.75rem 1.1rem;
  border: 1px solid var(--ink);
  font-family: var(--font-mono);
  font-size: 0.73rem;
  font-weight: 600;
  letter-spacing: 0.035em;
  text-decoration: none;
  text-transform: uppercase;
  transition: color 160ms ease, background 160ms ease, transform 160ms ease;
}

.button:hover {
  transform: translateY(-2px);
}

.button-primary {
  color: var(--paper-light);
  background: var(--ink);
}

.button-primary:hover {
  color: var(--ink);
  background: transparent;
}

.button-secondary {
  color: var(--ink);
  background: transparent;
}

.button-secondary:hover {
  color: var(--paper-light);
  background: var(--signal);
  border-color: var(--signal);
}

.constraint-line {
  margin: 1.25rem 0 0;
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.62rem;
  letter-spacing: 0.045em;
  text-transform: uppercase;
}

.agent-entry {
  position: relative;
  min-width: 0;
  color: var(--paper-light);
  background: var(--ink);
  border: 1px solid var(--ink);
  box-shadow: 12px 12px 0 var(--signal);
  animation: panel-in 820ms 120ms cubic-bezier(0.22, 1, 0.36, 1) both;
}

.agent-entry::before {
  position: absolute;
  inset: 0;
  pointer-events: none;
  content: "";
  background-image:
    linear-gradient(rgba(255, 255, 255, 0.025) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255, 255, 255, 0.025) 1px, transparent 1px);
  background-size: 18px 18px;
}

.agent-entry-head,
.agent-entry-copy,
.bootstrap-list,
.agent-entry-foot {
  position: relative;
}

.agent-entry-head {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 1.5rem;
  padding: 1.4rem 1.45rem 1.2rem;
  border-bottom: 1px solid rgba(255, 255, 255, 0.2);
}

.panel-kicker {
  margin: 0 0 0.55rem;
  color: var(--success);
}

.agent-entry h2 {
  max-width: 13ch;
  margin: 0;
  font-size: clamp(1.45rem, 2.4vw, 2rem);
  letter-spacing: -0.035em;
  line-height: 1.08;
}

.public-badge {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  padding: 0.36rem 0.5rem;
  border: 1px solid rgba(255, 255, 255, 0.24);
  color: rgba(255, 255, 255, 0.68);
  font-family: var(--font-mono);
  font-size: 0.52rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  white-space: nowrap;
}

.public-badge span {
  width: 0.45rem;
  height: 0.45rem;
  background: var(--success);
  border-radius: 50%;
  box-shadow: 0 0 0 3px rgba(200, 243, 106, 0.12);
}

.agent-entry-copy {
  margin: 0;
  padding: 1.15rem 1.45rem;
  color: rgba(255, 255, 255, 0.68);
  font-size: 0.82rem;
}

.bootstrap-list {
  margin: 0;
  padding: 0;
  list-style: none;
  border-top: 1px solid rgba(255, 255, 255, 0.2);
}

.bootstrap-list li {
  border-bottom: 1px solid rgba(255, 255, 255, 0.2);
}

.bootstrap-list a {
  display: grid;
  grid-template-columns: 2rem minmax(0, 1fr) auto;
  align-items: center;
  gap: 0.85rem;
  min-height: 5rem;
  padding: 0.85rem 1.45rem;
  text-decoration: none;
  transition: color 160ms ease, background 160ms ease;
}

.bootstrap-list a:hover {
  color: var(--ink);
  background: var(--success);
}

.bootstrap-number,
.bootstrap-label,
.bootstrap-arrow {
  font-family: var(--font-mono);
}

.bootstrap-number {
  color: rgba(255, 255, 255, 0.38);
  font-size: 0.63rem;
}

.bootstrap-list a:hover .bootstrap-number {
  color: rgba(21, 21, 18, 0.5);
}

.bootstrap-label {
  display: block;
  margin-bottom: 0.23rem;
  color: rgba(255, 255, 255, 0.52);
  font-size: 0.56rem;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.bootstrap-list a:hover .bootstrap-label {
  color: rgba(21, 21, 18, 0.6);
}

.bootstrap-list code {
  display: block;
  overflow: hidden;
  font-size: clamp(0.68rem, 1.15vw, 0.82rem);
  text-overflow: ellipsis;
  white-space: nowrap;
}

.bootstrap-arrow {
  font-size: 0.9rem;
}

.agent-entry-foot {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  padding: 1rem 1.45rem;
  color: rgba(255, 255, 255, 0.52);
  font-family: var(--font-mono);
  font-size: 0.57rem;
  letter-spacing: 0.025em;
}

.agent-entry-foot a {
  color: var(--paper-light);
  text-underline-offset: 0.2em;
  white-space: nowrap;
}

.agent-entry-links {
  display: inline-flex;
  gap: 0.8rem;
}

.section {
  max-width: var(--max);
  margin: 0 auto;
  padding: clamp(4.5rem, 8vw, 7.5rem) 1.75rem;
}

.section-kicker {
  margin: 0 0 1.25rem;
  color: var(--signal-dark);
}

.thesis-section {
  border-top: 1px solid var(--line);
}

.thesis-layout {
  display: grid;
  grid-template-columns: minmax(0, 1.25fr) minmax(18rem, 0.75fr);
  gap: clamp(3rem, 8vw, 8rem);
  align-items: start;
}

.thesis-layout h2,
.proof-heading h2,
.pilot-section h2,
.boundary-section h2,
.protocol-heading h2 {
  margin: 0;
  font-family: var(--font-display);
  font-weight: 700;
  letter-spacing: -0.05em;
  line-height: 0.98;
}

.thesis-layout h2 {
  max-width: 16ch;
  font-size: clamp(2.8rem, 6vw, 5.4rem);
}

.thesis-copy {
  padding-top: 0.4rem;
  color: var(--ink-muted);
  font-size: 1.02rem;
}

.thesis-copy p {
  margin: 0;
}

.thesis-copy p + p {
  margin-top: 1.25rem;
  color: var(--ink);
  font-weight: 600;
}

.thesis-signals {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin: clamp(3.5rem, 7vw, 6rem) 0 0;
  padding: 0;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
  list-style: none;
}

.thesis-signals li {
  min-height: 13rem;
  padding: 1.4rem 1.35rem 1.6rem;
}

.thesis-signals li + li {
  border-left: 1px solid var(--ink);
}

.thesis-signals span {
  display: block;
  margin-bottom: 2.7rem;
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.6rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.thesis-signals strong {
  display: block;
  margin-bottom: 0.6rem;
  font-family: var(--font-display);
  font-size: 1.15rem;
}

.thesis-signals p {
  max-width: 25ch;
  margin: 0;
  color: var(--ink-muted);
  font-size: 0.82rem;
}

.protocol-section {
  color: var(--paper-light);
  background: var(--ink);
}

.protocol-heading {
  display: grid;
  grid-template-columns: minmax(0, 0.95fr) minmax(18rem, 0.55fr);
  gap: 1.5rem 5rem;
  align-items: end;
  padding-bottom: clamp(3.5rem, 6vw, 5rem);
}

.protocol-heading .section-kicker {
  grid-column: 1 / -1;
  margin-bottom: 0;
}

.section-kicker-inverse {
  color: var(--success);
}

.protocol-heading h2 {
  max-width: 15ch;
  font-size: clamp(2.7rem, 5.5vw, 5rem);
}

.protocol-heading > p:last-child {
  max-width: 29rem;
  margin: 0;
  color: rgba(255, 255, 255, 0.62);
}

.loop-track {
  display: grid;
  grid-template-columns: repeat(8, minmax(0, 1fr));
  max-width: var(--max);
  margin: 0 auto;
  padding: 0 1.75rem clamp(4.5rem, 8vw, 7.5rem);
  list-style: none;
}

.loop-track li {
  position: relative;
  min-height: 8.5rem;
  padding: 1rem 0.8rem;
  border-top: 1px solid rgba(255, 255, 255, 0.55);
  border-bottom: 1px solid rgba(255, 255, 255, 0.55);
  border-left: 1px solid rgba(255, 255, 255, 0.22);
}

.loop-track li:last-child {
  color: var(--ink);
  background: var(--success);
  border-color: var(--success);
}

.loop-track li:last-child::after {
  position: absolute;
  top: 50%;
  left: calc(100% + 0.35rem);
  color: var(--success);
  content: "↺";
  font-family: var(--font-mono);
  transform: translateY(-50%);
}

.loop-track span {
  display: block;
  margin-bottom: 3.6rem;
  color: rgba(255, 255, 255, 0.5);
  font-family: var(--font-mono);
  font-size: 0.55rem;
}

.loop-track li:last-child span {
  color: rgba(21, 21, 18, 0.65);
}

.loop-track strong {
  display: block;
  font-family: var(--font-mono);
  font-size: clamp(0.56rem, 0.82vw, 0.7rem);
  font-weight: 500;
  letter-spacing: 0.025em;
  text-transform: uppercase;
  transform: rotate(-90deg) translateX(0.3rem);
  transform-origin: left top;
  white-space: nowrap;
}

.proof-section {
  border-bottom: 1px solid var(--line);
}

.proof-heading {
  display: grid;
  grid-template-columns: minmax(0, 1.05fr) minmax(18rem, 0.55fr);
  gap: 2rem 5rem;
  align-items: end;
}

.proof-heading h2 {
  max-width: 15ch;
  font-size: clamp(2.8rem, 5.5vw, 5.2rem);
}

.proof-heading > p {
  margin: 0 0 0.35rem;
  color: var(--ink-muted);
  font-size: 0.9rem;
}

.proof-equation {
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1fr;
  align-items: stretch;
  margin-top: clamp(3rem, 6vw, 5rem);
  color: var(--ink);
  background: var(--paper-deep);
  border: 1px solid var(--ink);
}

.proof-equation > div {
  display: flex;
  align-items: baseline;
  justify-content: center;
  gap: 0.85rem;
  padding: 1.35rem 1rem;
}

.proof-equation span {
  font-family: var(--font-mono);
  font-size: 1.5rem;
}

.proof-equation strong {
  font-size: 0.7rem;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

.proof-equation .equation-mark {
  display: grid;
  place-items: center;
  padding: 0 0.85rem;
  color: var(--ink-faint);
  border-right: 1px solid var(--ink);
  border-left: 1px solid var(--ink);
}

.proof-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin-top: 1.25rem;
  border: 1px solid var(--ink);
}

.proof-col {
  min-width: 0;
  padding: 1.25rem 1.2rem 1.4rem;
  font-family: var(--font-mono);
  font-size: 0.7rem;
}

.proof-col + .proof-col {
  border-left: 1px solid var(--ink);
}

.proof-col.replay {
  background: rgba(21, 21, 18, 0.045);
}

.proof-col.deny {
  color: var(--signal-dark);
}

.proof-label {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.6rem;
  min-height: 2rem;
  padding-bottom: 0.7rem;
  border-bottom: 1px solid currentColor;
  font-size: 0.58rem;
  letter-spacing: 0.065em;
  text-transform: uppercase;
}

.badge {
  padding: 0.18rem 0.4rem;
  border: 1px solid currentColor;
  font-weight: 600;
}

.proof-col dl {
  display: grid;
  gap: 0.42rem;
  margin: 1.15rem 0 1.5rem;
}

.proof-col .row {
  display: grid;
  grid-template-columns: 6.7rem minmax(0, 1fr);
  gap: 0.5rem;
}

.proof-col dt {
  color: var(--ink-faint);
}

.proof-col.deny dt {
  color: currentColor;
  opacity: 0.62;
}

.proof-col dd {
  min-width: 0;
  margin: 0;
  overflow-wrap: anywhere;
}

.proof-foot {
  margin: 0;
  font-weight: 600;
  letter-spacing: 0.055em;
  text-transform: uppercase;
}

.proof-actions {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 1rem 1.5rem;
  margin-top: 1.25rem;
  color: var(--ink-muted);
  font-family: var(--font-mono);
  font-size: 0.66rem;
}

.proof-actions pre {
  min-width: min(100%, 21rem);
  margin: 0;
  padding: 0.85rem 1rem;
  color: var(--paper-light);
  background: var(--ink);
  border: 1px solid var(--ink);
  font-size: 0.7rem;
  overflow-x: auto;
}

.proof-actions pre span {
  margin-right: 0.55rem;
  color: var(--success);
}

.proof-actions a {
  color: var(--ink);
  text-underline-offset: 0.25em;
}

.pilot-section {
  display: grid;
  grid-template-columns: minmax(0, 1.05fr) minmax(18rem, 0.65fr);
  gap: 3rem 7rem;
  align-items: start;
}

.pilot-section h2 {
  max-width: 14ch;
  font-size: clamp(2.8rem, 5.4vw, 5rem);
}

.pilot-copy {
  padding-top: 2.1rem;
}

.pilot-copy > p {
  margin: 0;
  color: var(--ink-muted);
}

.pilot-links {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 1.25rem;
  margin-top: 2rem;
}

.pilot-links > a:not(.button) {
  font-family: var(--font-mono);
  font-size: 0.67rem;
  text-underline-offset: 0.25em;
}

.boundary-section {
  color: var(--paper-light);
  background: var(--signal-dark);
}

.boundary-layout {
  display: grid;
  grid-template-columns: minmax(0, 0.7fr) minmax(18rem, 1.3fr);
  gap: 3rem 7rem;
  padding-top: clamp(3.5rem, 6vw, 5rem);
  padding-bottom: clamp(3.5rem, 6vw, 5rem);
}

.boundary-section .section-kicker {
  color: rgba(255, 255, 255, 0.75);
}

.boundary-section h2 {
  font-size: clamp(2.4rem, 4vw, 4rem);
}

.boundary-section ul {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0;
  margin: 0;
  padding: 0;
  border-top: 1px solid rgba(255, 255, 255, 0.42);
  list-style: none;
}

.boundary-section li {
  min-height: 5.2rem;
  padding: 1rem 1rem 1rem 0;
  border-bottom: 1px solid rgba(255, 255, 255, 0.42);
  font-family: var(--font-mono);
  font-size: 0.7rem;
}

.boundary-section li:nth-child(even) {
  padding-left: 1rem;
  border-left: 1px solid rgba(255, 255, 255, 0.42);
}

.site-footer {
  display: grid;
  grid-template-columns: minmax(0, 0.7fr) minmax(20rem, 1.1fr);
  gap: 2rem 4rem;
  max-width: var(--max);
  margin: 0 auto;
  padding: 3.5rem 1.75rem 4rem;
}

.footer-brand {
  font-family: var(--font-display);
  font-size: 1.35rem;
  font-weight: 800;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.footer-brand span {
  margin-left: 0.35rem;
  color: var(--ink-faint);
  font-family: var(--font-mono);
  font-size: 0.5rem;
  font-weight: 500;
  letter-spacing: 0.08em;
  vertical-align: middle;
}

.footer-branding p {
  margin: 0.4rem 0 0;
  color: var(--ink-muted);
  font-size: 0.83rem;
}

.footer-directory {
  display: flex;
  flex-wrap: wrap;
  justify-content: flex-end;
  gap: 0.75rem 1.1rem;
  font-family: var(--font-mono);
  font-size: 0.65rem;
}

.footer-directory p {
  flex: 0 0 100%;
  margin: 0;
  color: var(--ink-faint);
  text-align: right;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.footer-directory a {
  text-underline-offset: 0.22em;
}

.footer-note {
  grid-column: 1 / -1;
  margin: 1.5rem 0 0;
  padding-top: 1.25rem;
  color: var(--ink-faint);
  border-top: 1px solid var(--line);
  font-family: var(--font-mono);
  font-size: 0.58rem;
}

.footer-note code {
  color: var(--ink-muted);
}

@keyframes enter-up {
  from {
    opacity: 0;
    transform: translateY(1.5rem);
  }
  to {
    opacity: 1;
    transform: none;
  }
}

@keyframes panel-in {
  from {
    opacity: 0;
    transform: translate(1.5rem, 1rem) rotate(1deg);
  }
  to {
    opacity: 1;
    transform: none;
  }
}

@media (max-width: 1050px) {
  .hero {
    grid-template-columns: minmax(0, 1fr) minmax(21rem, 0.9fr);
    gap: 3rem;
  }

  .hero h1 {
    font-size: clamp(4rem, 7.7vw, 5.8rem);
  }

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

  .loop-track li:nth-child(4),
  .loop-track li:last-child {
    border-right: 1px solid rgba(255, 255, 255, 0.22);
  }

  .loop-track li:nth-child(n + 5) {
    border-top: 0;
  }

  .loop-track li:last-child::after {
    display: none;
  }

  .loop-track strong {
    transform: none;
  }
}

@media (max-width: 820px) {
  .site-nav {
    align-items: flex-start;
  }

  .nav-links {
    justify-content: flex-end;
    flex-wrap: wrap;
    gap: 0.75rem 1rem;
  }

  .hero {
    grid-template-columns: 1fr;
    min-height: auto;
    padding-top: 4.25rem;
    padding-bottom: 5.25rem;
  }

  .hero h1 {
    font-size: clamp(4.2rem, 15vw, 7rem);
  }

  .agent-entry {
    width: calc(100% - 12px);
  }

  .thesis-layout,
  .protocol-heading,
  .proof-heading,
  .pilot-section,
  .boundary-layout {
    grid-template-columns: 1fr;
  }

  .thesis-layout,
  .pilot-section,
  .boundary-layout {
    gap: 2.5rem;
  }

  .protocol-heading,
  .proof-heading {
    gap: 1.5rem;
  }

  .thesis-signals {
    grid-template-columns: 1fr;
  }

  .thesis-signals li {
    min-height: auto;
  }

  .thesis-signals li + li {
    border-top: 1px solid var(--ink);
    border-left: 0;
  }

  .thesis-signals span {
    margin-bottom: 1.5rem;
  }

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

  .proof-col + .proof-col {
    border-top: 1px solid var(--ink);
    border-left: 0;
  }

  .pilot-copy {
    padding-top: 0;
  }

  .site-footer {
    grid-template-columns: 1fr;
  }

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

  .footer-directory p {
    text-align: left;
  }
}

@media (max-width: 560px) {
  .site-nav {
    min-height: 4.25rem;
    padding: 0.85rem 1rem;
  }

  .nav-status,
  .nav-links > a:not(.nav-agent) {
    display: none;
  }

  .nav-links .nav-agent {
    padding: 0.45rem 0.55rem;
    font-size: 0.57rem;
  }

  .hero,
  .section,
  .protocol-heading,
  .loop-track,
  .site-footer {
    padding-right: 1rem;
    padding-left: 1rem;
  }

  .hero {
    padding-top: 3.5rem;
  }

  .hero h1 {
    font-size: clamp(2.8rem, 11.8vw, 3.6rem);
  }

  .hero-thesis {
    font-size: 1.12rem;
  }

  .cta-row .button {
    width: 100%;
  }

  .agent-entry-head {
    display: block;
  }

  .public-badge {
    margin-top: 1rem;
  }

  .agent-entry-copy,
  .agent-entry-head,
  .bootstrap-list a,
  .agent-entry-foot {
    padding-right: 1rem;
    padding-left: 1rem;
  }

  .agent-entry-foot {
    display: block;
  }

  .agent-entry-foot a {
    display: inline-block;
    margin-top: 0.65rem;
  }

  .agent-entry-links {
    display: flex;
  }

  .bootstrap-list a {
    grid-template-columns: 1.5rem minmax(0, 1fr) auto;
    gap: 0.55rem;
  }

  .proof-equation {
    grid-template-columns: 1fr;
  }

  .proof-equation > div {
    justify-content: flex-start;
  }

  .proof-equation .equation-mark {
    min-height: 2.4rem;
    border: 0;
    border-top: 1px solid var(--ink);
    border-bottom: 1px solid var(--ink);
  }

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

  .loop-track li:nth-child(n + 3) {
    border-top: 0;
  }

  .loop-track li:nth-child(even) {
    border-right: 1px solid rgba(255, 255, 255, 0.22);
  }

  .loop-track strong {
    font-size: 0.6rem;
  }

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

  .boundary-section li:nth-child(even) {
    padding-left: 0;
    border-left: 0;
  }

  .footer-note code {
    overflow-wrap: anywhere;
  }
}

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