@font-face {
  font-family: "Computer Modern";
  src: url("./fonts/computer-modern/CMUSerif-Roman.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}
@font-face {
  font-family: "IBM Plex Mono";
  src: url("./fonts/ibm-plex-mono/ibm-plex-mono-latin-400-normal.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}
:root {
  color-scheme: light;
  --paper: #eef1f5;
  --canvas: #e1e6ed;
  --file-background: #e6e9ed;
  --ink: #120a8f;
  --muted: #51489b;
  --rule: #c9d1dc;
  --conflict: #120a8f;
  --conflict-tint: #9b514b16;
  --clarification: #120a8f;
  --clarification-tint: #47715e18;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  font-size: 16px;
  background: var(--paper);
  color: var(--ink);
}
:root[data-theme="dark"] {
  color-scheme: dark;
  --paper: #29313d;
  --canvas: #202731;
  --file-background: #22282e;
  --ink: #c2beff;
  --muted: #b5afea;
  --rule: #4a5667;
  --conflict: #c2beff;
  --conflict-tint: #cd8a8026;
  --clarification: #c2beff;
  --clarification-tint: #91b39b26;
}
* { box-sizing: border-box; }
html { scroll-padding-top: 6rem; scroll-behavior: smooth; }
body { margin: 0; line-height: 1.6; }
p, figure, blockquote, dl, dd, h1, h2 { margin: 0; }
a { color: inherit; text-underline-offset: 0.25em; }
a:hover { color: var(--conflict); }
button { font: inherit; }
h1, h2, .contradiction { font-family: "Computer Modern", Georgia, serif; font-weight: 400; }
h1, h2 { line-height: 1.08; text-wrap: balance; }
h1 { font-size: clamp(3rem, 6.6vw, 5.5rem); letter-spacing: -0.055em; }
h2 { font-size: clamp(2rem, 3.5vw, 3rem); letter-spacing: -0.035em; }
a:focus-visible, button:focus-visible { outline: 2px solid var(--conflict); outline-offset: 5px; }
.skip-link { position: fixed; top: -5rem; left: 1rem; z-index: 50; padding: 0.5rem 1rem; background: var(--paper); }
.skip-link:focus { top: 0.5rem; }
.site-header { position: sticky; top: 0; z-index: 20; display: flex; align-items: center; gap: 2rem; padding: 0.75rem max(1.5rem, calc((100vw - 72rem) / 2)); background: var(--paper); }
.scroll-progress { position: absolute; inset: auto 0 0; height: 2px; pointer-events: none; }
.scroll-progress span { display: block; height: 100%; background: var(--muted); opacity: 0.45; transform: scaleX(var(--scroll-progress, 0)); transform-origin: left; }
.brand { margin-right: auto; font-family: "Computer Modern", Georgia, serif; font-size: 1.375rem; font-weight: 400; letter-spacing: -0.035em; text-decoration: none; }
.site-header nav { display: flex; gap: 1.75rem; font-size: 0.875rem; }
.site-header nav a { display: inline-flex; align-items: center; min-height: 44px; text-decoration: none; }
.theme-toggle, .menu-toggle { display: inline-flex; align-items: center; justify-content: center; width: 44px; height: 44px; flex-shrink: 0; padding: 10px; border: 0; background: transparent; color: var(--ink); cursor: pointer; }
.theme-toggle:hover, .menu-toggle:hover { background: var(--canvas); }
.theme-toggle svg, .menu-toggle svg { width: 24px; height: 24px; fill: none; stroke: currentColor; stroke-width: 1.6; stroke-linecap: round; stroke-linejoin: round; }
.menu-toggle, .menu-toggle[hidden], .menu-close-icon { display: none; }
.menu-toggle[aria-expanded="true"] .menu-open-icon { display: none; }
.menu-toggle[aria-expanded="true"] .menu-close-icon { display: block; }
.theme-toggle .sun-icon { display: none; }
[data-theme="dark"] .theme-toggle .sun-icon { display: block; }
[data-theme="dark"] .theme-toggle .moon-icon { display: none; }
main, footer { width: min(100% - 3rem, 72rem); margin-inline: auto; }
section { padding-block: 5rem; }
.intro { display: grid; grid-template-columns: 1fr; gap: 2rem; padding-top: 4rem; padding-bottom: 2rem; }
.intro h1 { text-align: center; }
.intro-copy { padding-bottom: 0.5rem; min-width: 0; font-size: 1.1875rem; }
.intro-copy .actions { flex-direction: column; justify-content: center; gap: 0.5rem; margin-top: 4rem; }
.visually-hidden { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; border: 0; }
.validation-rotation { display: flex; align-items: center; width: max-content; max-width: 100%; margin-inline: auto; }
.validation-line { --validation-text: #292b2e; --validation-green: #27834d; flex: 0 0 auto; font-size: 2.75rem; line-height: 1.3; white-space: nowrap; color: var(--validation-text); }
[data-theme="dark"] .validation-line { --validation-text: #eceef1; --validation-green: #80d5a0; }
.validation-slot { display: flex; width: calc(20ch + 2.2em); height: 1.9em; font-family: "IBM Plex Mono", monospace; overflow: hidden; perspective: 400px; }
.validation-item { display: flex; justify-content: center; align-items: flex-end; width: 100%; height: 100%; white-space: nowrap; transform-origin: center center; }
.validation-phrase { position: relative; display: inline-flex; align-items: baseline; }
.validation-topic { text-align: center; }
.validation-check { position: absolute; right: 100%; top: 50%; margin-top: -0.75em; width: 1.1em; height: 1.5em; fill: none; stroke: var(--validation-green); stroke-width: 2.5; stroke-linecap: round; stroke-linejoin: round; opacity: 0; }
[data-animated="true"] .validation-item { animation: validation-roll 3.6s infinite both; }
[data-animated="true"] .validation-check { animation: validation-confirm 3.6s infinite both; }
[data-animated="true"] .validation-topic { color: transparent; background-image: linear-gradient(to right, var(--validation-green) 45%, var(--validation-text) 55%); background-size: 250% 100%; background-position: 100% 0; -webkit-background-clip: text; background-clip: text; animation: validation-green 3.6s infinite both; }
[data-paused="true"] .validation-item, [data-paused="true"] .validation-check, [data-paused="true"] .validation-topic { animation-play-state: paused; }
@keyframes validation-roll {
  0% { opacity: 0; transform: translateY(-100%) rotateX(70deg); }
  14%, 84% { opacity: 1; transform: translateY(0) rotateX(0); }
  100% { opacity: 0; transform: translateY(100%) rotateX(-70deg); }
}
@keyframes validation-confirm {
  0%, 16% { opacity: 0; transform: scale(0.65); }
  21%, 100% { opacity: 1; transform: scale(1); }
}
@keyframes validation-green {
  0%, 23% { background-position: 100% 0; }
  42%, 100% { background-position: 0% 0; }
}
.actions { display: flex; flex-wrap: wrap; align-items: center; gap: 1rem 1.5rem; margin-top: 2rem; font-size: 0.9375rem; }
.actions > a { display: inline-flex; align-items: center; min-height: 44px; }
.primary-link { display: inline-flex; align-items: center; justify-content: space-between; gap: 1.5rem; min-height: 48px; padding: 0.75rem 1.25rem; color: var(--paper); background: var(--ink); text-decoration: none; font-size: 0.9375rem; }
.primary-link:hover { background: var(--conflict); color: var(--paper); }
.example { padding-top: 4rem; border-top: 1px solid var(--rule); }
.section-heading { max-width: 45rem; }
.section-heading p { max-width: 41rem; margin-top: 1.25rem; font-size: 1.0625rem; }
.specifications { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 3rem; margin-top: 3rem; }
.requirements-frame { min-inline-size: 0; margin: 2rem 0 0; padding: 1.5rem 1.5rem 2rem; border: 1px solid var(--muted); border-radius: 0.875rem; }
.requirements-frame legend { max-width: 100%; padding-inline: 0.625rem; font-size: 1.0625rem; }
.requirements-frame .specifications { margin-top: 0; }
.example-scenario { display: grid; gap: 1rem; margin-top: 2.5rem; }
.example-scenario .requirements-frame { margin: 0; }
.scenario-statement { padding: 1rem; background: var(--file-background); color: var(--ink); font-family: "Computer Modern", Georgia, serif; font-size: clamp(1.125rem, 1.6vw, 1.375rem); line-height: 1.35; }
figcaption, code, blockquote { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace; }
figcaption, code { font-size: 0.8125rem; }
figcaption { margin-bottom: 1rem; color: var(--muted); }
blockquote { padding: 1rem; background: var(--file-background); font-size: clamp(1rem, 1.2vw, 1.125rem); line-height: 1.6; }
mark { color: inherit; background: var(--conflict-tint); padding: 0.05em 0.08em; box-decoration-break: clone; -webkit-box-decoration-break: clone; }
.solution-options { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1rem; }
.solution-option { padding: 1rem; background: var(--file-background); }
.solution-option h3 { margin: 0 0 0.625rem; color: var(--muted); font-size: 0.875rem; font-weight: 500; line-height: 1.3; }
.contradiction { font-size: clamp(1.125rem, 1.6vw, 1.375rem); line-height: 1.35; letter-spacing: -0.025em; }
.resolution-frame mark { color: var(--clarification); background: var(--clarification-tint); }
.architecture { display: grid; grid-template-columns: minmax(0, 1fr); gap: 2.5rem; padding-top: 4rem; border-top: 1px solid var(--rule); }
.workflow-content { display: grid; gap: 2rem; }
.section-actions { display: flex; justify-content: center; }
.workflow-steps { display: grid; gap: 2rem; margin: 0; padding: 0; list-style: none; }
.workflow-steps li { display: grid; grid-template-columns: 96px minmax(0, 1fr); align-items: start; gap: 1.5rem; }
.workflow-icon { width: 96px; height: 96px; color: var(--ink); fill: none; stroke: currentColor; stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
.workflow-icon-accent { stroke: #27834d; }
[data-theme="dark"] .workflow-icon-accent { stroke: #80d5a0; }
.workflow-icon-surface { fill: var(--paper); }
.workflow-steps h3 { margin: 0 0 0.625rem; font-family: "Computer Modern", Georgia, serif; font-size: 1.5rem; font-weight: 400; line-height: 1.2; }
.workflow-steps p { color: var(--muted); }
.workflow-steps p + p { margin-top: 0.75rem; }
.scope-note { color: var(--muted); font-size: 0.875rem; }
footer { padding-block: 3rem 1.5rem; border-top: 1px solid var(--rule); }
.invitation { display: grid; justify-items: center; gap: 2rem; text-align: center; }
.invitation h2 { font-size: 2rem; }
.footer-details { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 0.5rem 1.5rem; margin-top: 4rem; color: var(--muted); font-size: 0.75rem; }
@media (max-width: 75rem) {
  .validation-line { font-size: 2rem; }
}
@media (max-width: 56rem) {
  .validation-line { font-size: 1.5rem; }
  .intro { grid-template-columns: 1fr; gap: 2rem; padding-top: 2.5rem; padding-bottom: 2rem; }
  .specifications { gap: 1.5rem; }
  .architecture { grid-template-columns: 1fr; gap: 2.5rem; }
}
@media (max-width: 40rem) {
  html { scroll-padding-top: 5.5rem; }
  .site-header { flex-wrap: wrap; gap: 0 1rem; padding: 0.5rem 1.25rem; }
  .site-header nav { order: 3; width: 100%; justify-content: space-between; gap: 0.75rem; font-size: 0.8125rem; }
  .site-header[data-nav-ready="true"] { flex-wrap: nowrap; }
  .site-header[data-nav-ready="true"] nav { display: none; position: absolute; top: 100%; left: 0; padding: 0.75rem 1.25rem; border-bottom: 1px solid var(--rule); background: var(--paper); flex-direction: column; gap: 0.25rem; font-size: 0.9375rem; }
  .site-header[data-menu-open="true"] nav { display: flex; }
  .theme-toggle { order: 1; }
  .menu-toggle:not([hidden]) { display: inline-flex; order: 2; }
  main, footer { width: calc(100% - 2.5rem); }
  section { padding-block: 3rem; }
  .intro { gap: 1.5rem; }
  .intro-copy { font-size: 1.0625rem; }
  .validation-line { font-size: 1.25rem; }
  .validation-slot { width: calc(20ch + 2em); }
  .validation-check { width: 1em; }
  .specifications { grid-template-columns: 1fr; gap: 2rem; margin-top: 2rem; }
  .requirements-frame { padding: 1rem; }
  .requirements-frame legend { padding-inline: 0.5rem; }
  .example-scenario { margin-top: 2rem; }
  figcaption { margin-bottom: 0.5rem; }
  .solution-options { grid-template-columns: 1fr; }
  .architecture { gap: 2rem; }
  .architecture { padding-top: 3rem; }
  .workflow-steps li { grid-template-columns: 64px minmax(0, 1fr); align-items: center; gap: 0.75rem 1rem; }
  .workflow-icon { width: 64px; height: 64px; }
  .workflow-steps li > div { display: contents; }
  .workflow-steps h3 { margin: 0; font-size: 1.375rem; }
  .workflow-steps p { grid-column: 1 / -1; }
  .workflow-steps p + p { margin-top: 0; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  [data-animated="true"] .validation-item, [data-animated="true"] .validation-check, [data-animated="true"] .validation-topic { animation: none; }
  [data-animated="true"] .validation-topic { color: inherit; background-image: none; }
}