:root {
  --canvas: #f1f4ef;
  --surface: #fbfcf8;
  --ink: #18201b;
  --muted: #5b6860;
  --line: #c7d0c8;
  --strong: #849189;
  --accent: #2c6957;
  --accent-field: #dbe9e2;
  --negative: #704b52;
  --stale: #775d3e;
  --content: 1220px;
  --app-ink: #17211d;
  --app-muted: #65736c;
  --app-line: #dbe3df;
  --app-soft: #f4f7f5;
  --app-green: #236b50;
  --app-green-soft: #e7f0eb;
  --app-amber: #956326;
  --app-red: #8c463e;
  --app-blue: #43697a;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--canvas);
  color: var(--ink);
  font-family: "Avenir Next", Avenir, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  font-size: 17px;
  line-height: 1.45;
  -webkit-font-smoothing: antialiased;
}
button, input { font: inherit; }
button, a { -webkit-tap-highlight-color: transparent; }
button { color: inherit; }
a { color: inherit; }
[hidden] { display: none !important; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 4px; }
.sr-only { position: absolute; width: 1px; height: 1px; margin: -1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.site { overflow: clip; }
.wrap { width: min(calc(100% - 48px), var(--content)); margin-inline: auto; }
.kicker {
  display: block;
  color: var(--muted);
  font-size: .74rem;
  font-weight: 650;
  letter-spacing: .12em;
  line-height: 1.2;
  text-transform: uppercase;
}
h1, h2, h3, p { margin-top: 0; }
h1, h2 { letter-spacing: -.045em; }
h1 { margin-bottom: 28px; font-size: clamp(3.2rem, 5.25vw, 4.9rem); font-weight: 600; line-height: .95; }
h2 { margin-bottom: 0; font-size: clamp(2.55rem, 4.7vw, 4.35rem); font-weight: 600; line-height: .98; }
.section-head { max-width: 710px; }
.section-head .kicker { margin-bottom: 22px; }
.section-head > p { max-width: 620px; margin: 23px 0 0; color: var(--muted); font-size: 1.12rem; }

.masthead {
  display: flex;
  min-height: 76px;
  align-items: center;
  justify-content: space-between;
  border-bottom: 1px solid var(--line);
}
.wordmark { font-size: 1.2rem; font-weight: 700; letter-spacing: -.025em; text-decoration: none; }
.masthead span { color: var(--muted); font-size: .86rem; }

.button {
  display: inline-flex;
  min-height: 44px;
  align-items: center;
  justify-content: center;
  border: 1px solid var(--ink);
  border-radius: 2px;
  padding: 10px 17px;
  background: transparent;
  cursor: pointer;
  font-weight: 650;
  line-height: 1;
  text-decoration: none;
}
.button-primary { background: var(--ink); color: var(--surface); }
.button-primary:hover { background: #26312a; }
.button-quiet { border: 0; color: var(--accent); }
.button-quiet:hover { text-decoration: underline; text-underline-offset: 4px; }

/* Editorial hero */
.hero { padding: clamp(62px, 7vw, 96px) 0 clamp(96px, 11vw, 150px); }
.hero-grid { display: grid; grid-template-columns: minmax(0, .75fr) minmax(0, 1.45fr); gap: clamp(48px, 6vw, 86px); align-items: center; }
.hero-copy { min-width: 0; }
.hero-copy .kicker { margin-bottom: 25px; }
.hero-copy h1 { max-width: 10.3ch; }
.hero-copy > p { max-width: 34ch; margin-bottom: 34px; color: var(--muted); font-size: clamp(1.15rem, 1.5vw, 1.34rem); }
.hero-actions { display: flex; gap: 17px; align-items: center; flex-wrap: wrap; }

/* Canonical application scenes: copied from the frozen application's visual grammar, scoped to the landing page. */
.eu-app {
  --eu-ink: var(--app-ink);
  --eu-muted: var(--app-muted);
  --eu-line: var(--app-line);
  --eu-soft: var(--app-soft);
  --eu-green: var(--app-green);
  --eu-green-soft: var(--app-green-soft);
  min-width: 0;
  border: 1px solid #d1dad5;
  background: #fff;
  color: var(--eu-ink);
  font: 14px/1.45 ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}
.hero-app { box-shadow: 16px 20px 0 rgba(132,145,137,.11); }
.eu-app button { font: inherit; }
.eu-top { display: flex; min-height: 56px; align-items: center; gap: 24px; border-bottom: 1px solid var(--eu-line); padding: 0 20px; }
.eu-top strong { font: 700 16px Georgia, serif; letter-spacing: .12em; }
.eu-top span { color: var(--eu-muted); font-size: 12px; }
.eu-shell { display: grid; grid-template-columns: 138px minmax(0, 1fr); min-height: 560px; }
.eu-nav { border-right: 1px solid var(--eu-line); background: #f6f8f7; padding: 19px 12px; }
.eu-nav span { display: block; margin-bottom: 3px; border-radius: 6px; padding: 9px 10px; color: var(--eu-muted); font-size: 12px; }
.eu-nav span.active { background: var(--eu-green-soft); color: #174c38; font-weight: 750; }
.eu-workspace { min-width: 0; }
.eu-pagehead { min-height: 86px; border-bottom: 1px solid var(--eu-line); padding: 20px 24px 16px; }
.eu-pagehead h2, .eu-pagehead h3 { margin: 3px 0; font: 500 26px Georgia, serif; letter-spacing: 0; }
.eu-pagehead p { margin: 0; color: var(--eu-muted); font-size: 12px; }
.eu-current-grid { display: grid; grid-template-columns: minmax(230px, 37%) minmax(0, 63%); min-height: 470px; }
.eu-current-list { border-right: 1px solid var(--eu-line); }
.eu-row { position: relative; border-bottom: 1px solid #e8edea; padding: 14px 16px; background: #fff; }
.eu-row.selected { background: #f2f7f4; }
.eu-row.selected::before { position: absolute; inset-block: 0; left: 0; width: 3px; background: var(--eu-green); content: ""; }
.eu-row > div { display: flex; gap: 10px; align-items: baseline; }
.eu-row strong { font-size: 12px; }
.eu-row p { margin: 5px 0 0; color: #55635c; font-size: 11px; }
.eu-row small { display: block; margin-top: 4px; color: #88938d; font-size: 9px; }
.eu-detail { min-width: 0; max-width: 780px; padding: 26px 28px; }
.eu-eyebrow, .eu-label { display: block; color: var(--eu-muted); font-size: 9px; font-weight: 750; letter-spacing: .11em; line-height: 1.25; text-transform: uppercase; }
.eu-supported { border-bottom: 1px solid var(--eu-line); padding-bottom: 18px; }
.eu-supported h3 { margin: 5px 0 6px; font: 500 clamp(1.55rem, 2.4vw, 2rem) Georgia, serif; letter-spacing: 0; line-height: 1.15; }
.eu-supported .eu-state { display: block; margin: 8px 0; }
.eu-sentence { max-width: 590px; margin: 8px 0 6px; font: 17px/1.4 Georgia, serif; }
.eu-supported small { color: #88938d; font-size: 10px; }
.eu-state { margin-left: auto; font-size: 9px; font-weight: 800; letter-spacing: .08em; white-space: nowrap; }
.eu-state.unknown { color: var(--app-amber); }
.eu-state.established { color: var(--app-green); }
.eu-state.incomplete { color: var(--app-red); }
.eu-state.pending { color: var(--app-blue); }
.eu-section { border-bottom: 1px solid var(--eu-line); padding: 18px 0; }
.eu-cause { margin-top: 10px; border-left: 2px solid #abc0b5; padding-left: 14px; }
.eu-cause strong { margin-right: 10px; }
.eu-cause p { margin: 5px 0; color: var(--eu-muted); font-size: 12px; }
.eu-cause small { color: #88938d; font-size: 10px; }
.eu-actions { display: flex; gap: 9px; align-items: center; flex-wrap: wrap; margin-top: 14px; }
.eu-primary, .eu-secondary, .eu-text-button {
  min-height: 38px;
  border-radius: 6px;
  padding: 8px 12px;
  cursor: pointer;
}
.eu-primary { border: 1px solid var(--eu-green); background: var(--eu-green); color: #fff; }
.eu-secondary { border: 1px solid var(--eu-line); background: #fff; }
.eu-text-button { border: 0; background: transparent; color: var(--eu-green); }
.eu-evaluation { margin-top: 20px; border-top: 1px solid var(--eu-line); padding-top: 16px; }
.eu-evaluation-head { display: flex; align-items: center; justify-content: space-between; gap: 20px; margin-bottom: 14px; }
.eu-record-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; }
.eu-raw-record, .eu-interpretation { min-width: 0; border-top: 1px solid #bccac3; padding-top: 12px; }
.eu-raw-record > div, .eu-interpretation > div { margin-top: 9px; }
.eu-raw-record > div > div, .eu-interpretation > div > div { display: grid; grid-template-columns: minmax(85px, .75fr) minmax(0, 1.25fr) auto; gap: 8px; border-bottom: 1px solid #e8edea; padding: 7px 0; font-size: 11px; }
.eu-raw-record span, .eu-interpretation span { color: var(--eu-muted); }
.eu-raw-record strong, .eu-interpretation strong { overflow-wrap: anywhere; }
.eu-interpretation em { color: var(--eu-green); font-style: normal; }
.eu-result { margin-top: 16px; border-left: 2px solid var(--eu-green); padding: 13px 15px; background: var(--eu-soft); font: 14px/1.4 Georgia, serif; }
.eu-result .eu-label { margin: 8px 0 4px; font-family: ui-sans-serif, system-ui, sans-serif; }
.eu-result .eu-label:first-child { margin-top: 0; }
.eu-result strong, .eu-result small { display: block; }
.eu-result small { margin-top: 9px; color: var(--eu-muted); font: 10px ui-sans-serif, system-ui, sans-serif; }
.eu-proof-line { display: grid; grid-template-columns: 180px 1fr; gap: 18px; margin-top: 18px; border-top: 1px solid var(--eu-line); padding-top: 16px; }
.hero-app:has(#hero-evaluation:not([hidden])) .eu-current-list { display: none; }
.hero-app:has(#hero-evaluation:not([hidden])) .eu-current-grid { grid-template-columns: minmax(0, 1fr); }

/* Editorial problem */
.page-section { padding: clamp(96px, 12vw, 170px) 0; border-top: 1px solid var(--line); }
.problem-grid { display: grid; grid-template-columns: minmax(0, .75fr) minmax(0, 1.25fr); gap: clamp(56px, 9vw, 126px); align-items: start; }
.distributed { padding-top: 10px; }
.source-band { display: grid; grid-template-columns: 95px 1fr; gap: 24px; border-top: 1px solid var(--line); padding: 22px 0; }
.source-band:nth-child(3) { border-bottom: 1px solid var(--line); }
.source-band > span { color: var(--muted); font-size: .88rem; }
.source-band strong, .source-band small { display: block; }
.source-band strong { font-weight: 650; }
.source-band small { margin-top: 5px; color: var(--muted); }
.maintained-answer { margin: 56px 0 0 44px; border-left: 3px solid var(--accent); padding: 2px 0 2px 24px; }
.maintained-answer strong { display: block; max-width: 20ch; margin: 9px 0; font-size: 1.75rem; letter-spacing: -.03em; line-height: 1.05; }
.maintained-answer p { max-width: 37ch; margin: 0; color: var(--muted); }

/* Major canonical product proofs */
.product-section { background: var(--surface); }
.product-proof, .standard-proof { margin-top: 68px; }
.product-proof .eu-shell { min-height: auto; }
.product-proof .eu-pagehead { min-height: 72px; }
.proof-detail { max-width: none; padding: 30px 34px 34px; }
.eu-counts { display: grid; grid-template-columns: repeat(3, 1fr); margin-top: 26px; border-top: 1px solid #bccac3; border-bottom: 1px solid var(--eu-line); }
.eu-counts > div { min-height: 110px; border-right: 1px solid var(--eu-line); padding: 16px; }
.eu-counts > div:last-child { border-right: 0; }
.eu-counts span, .eu-counts strong { display: block; }
.eu-counts span { color: var(--eu-muted); font-size: 11px; }
.eu-counts strong { margin-top: 7px; font: 500 2.6rem/1 Georgia, serif; font-variant-numeric: tabular-nums; }
.eu-counts .missing-count strong { color: var(--app-red); }
.eu-assessment { display: grid; grid-template-columns: 1fr 1fr; gap: 28px; margin-top: 20px; }
.eu-assessment > div { border-left: 2px solid #abc0b5; padding-left: 14px; }
.eu-assessment strong { display: block; margin-top: 5px; font-size: 12px; }
.eu-missing { margin-top: 14px; border-top: 1px solid var(--eu-line); }
.eu-missing > div { display: flex; justify-content: space-between; gap: 20px; border-bottom: 1px solid var(--eu-line); padding: 11px 0; font-size: 12px; }
.eu-missing span { color: var(--eu-muted); }

.mapping-message { margin: 34px 0 0; color: var(--accent); font-size: 1.16rem; font-weight: 650; }
.standard-proof .eu-shell { min-height: auto; }
.eu-active-version { display: block; margin-top: 6px; color: var(--eu-green); font-size: 9px; letter-spacing: .09em; }
.eu-standard-doc { padding: 20px 28px 27px; }
.eu-field { display: grid; grid-template-columns: 205px 1fr; gap: 24px; border-bottom: 1px solid #e7ece9; padding: 15px 0; }
.eu-field > span { color: var(--eu-muted); font-size: 9px; font-weight: 750; letter-spacing: .1em; text-transform: uppercase; }
.eu-field > strong { font-size: 13px; font-weight: 600; }
.eu-field.binding-field strong { border-left: 2px solid #abc0b5; padding-left: 14px; }
.eu-mapping { border-top: 1px solid var(--eu-line); padding: 24px 28px 30px; background: #fbfcfb; }
.eu-source-context { display: grid; grid-template-columns: auto 1fr auto; gap: 9px 18px; align-items: baseline; border-bottom: 1px solid var(--eu-line); padding-bottom: 16px; }
.eu-source-context h3 { margin: 0; font: 500 23px Georgia, serif; }
.eu-source-context > strong { color: var(--eu-green); font-size: 9px; letter-spacing: .08em; }
.eu-source-context p { grid-column: 2 / -1; margin: 0; color: var(--eu-muted); font-size: 11px; }
.mapping-record-grid { margin-top: 22px; }

/* Watchkeeper */
.time-section { background: #e9eee8; }
.watch-grid { display: grid; grid-template-columns: minmax(0, .65fr) minmax(0, 1.35fr); gap: clamp(54px, 8vw, 116px); align-items: center; }
.watch-app { min-width: 0; }
.watch-detail { max-width: none; min-height: 465px; padding: 30px 34px; }
.watch-evidence { margin-top: 20px; border-left: 3px solid var(--eu-green); padding: 14px 16px; background: var(--eu-green-soft); }
.watch-evidence:not(.active) { border-left-color: var(--eu-line); background: transparent; }
.watch-evidence strong, .watch-evidence small { display: block; }
.watch-evidence strong { margin: 5px 0; }
.watch-evidence small { color: var(--eu-muted); }
.watch-parent { margin-top: 20px; border-top: 1px solid var(--eu-line); padding-top: 18px; transition: background .3s ease, padding .3s ease; }
.watch-parent > div { display: flex; justify-content: space-between; margin-top: 8px; }
.watch-parent p { margin: 5px 0 0; color: var(--eu-muted); font-size: 12px; }
.watch-parent.attention { margin-inline: -12px; padding: 16px 12px 0; background: var(--eu-green-soft); }
.watch-detail.state-attention .eu-supported { margin-inline: -12px; padding: 12px 12px 18px; background: var(--eu-green-soft); }
.watch-reduced { display: none; }
.change-document { display: grid; grid-template-columns: repeat(4, 1fr); }
.change-document > div { min-height: 130px; border-right: 1px solid var(--eu-line); padding: 18px; }
.change-document > div:last-child { border-right: 0; }
.change-document span, .change-document strong { display: block; }
.change-document span { color: var(--eu-muted); font-size: 9px; font-weight: 750; letter-spacing: .08em; text-transform: uppercase; }
.change-document strong { margin-top: 9px; }

/* Coverage trust boundary */
.trust-section { background: var(--surface); }
.trust-grid { display: grid; grid-template-columns: minmax(0, .82fr) minmax(0, 1.18fr); gap: clamp(54px, 9vw, 124px); align-items: center; }
.trust-app .eu-detail { max-width: none; padding: 28px 30px; }
.coverage-mismatch { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; margin-top: 13px; }
.coverage-mismatch > div { border-left: 2px solid #abc0b5; padding-left: 13px; }
.coverage-mismatch span, .coverage-mismatch strong, .coverage-mismatch small { display: block; }
.coverage-mismatch span { color: var(--eu-muted); font-size: 10px; }
.coverage-mismatch strong { margin-top: 4px; }
.coverage-mismatch small { margin-top: 4px; color: var(--eu-muted); }

/* Quieter documentary field evidence */
.field-section { padding-block: clamp(84px, 10vw, 130px); }
.field-intro { display: grid; grid-template-columns: 1fr .7fr; gap: 70px; align-items: end; }
.field-intro > p { margin: 0; color: var(--muted); font-size: .88rem; }
.field-list { margin-top: 58px; border-top: 1px solid var(--strong); }
.field-list article { display: grid; grid-template-columns: .52fr .95fr .72fr; gap: 38px; border-bottom: 1px solid var(--line); padding: 30px 0; }
.field-source strong, .field-source span { display: block; }
.field-source span { margin-top: 5px; color: var(--muted); font-size: .8rem; }
.field-source a { display: inline-block; margin-top: 13px; color: var(--accent); font-size: .8rem; font-weight: 650; text-underline-offset: 4px; }
.field-artifact p { margin: 8px 0 0; font-size: .83rem; }
.field-reading { border-left: 2px solid var(--accent); padding-left: 16px; }
.field-reading strong { display: block; margin-top: 7px; font-size: .96rem; line-height: 1.25; }

/* Close */
.close { padding: clamp(106px, 14vw, 190px) 0 52px; background: var(--accent-field); }
.closing-questions { display: flex; gap: 12px 32px; flex-wrap: wrap; margin-bottom: 44px; color: var(--muted); font-size: .88rem; }
.close h2 { max-width: 12ch; font-size: clamp(3.3rem, 7vw, 6.8rem); }
.close-bottom { display: grid; grid-template-columns: 1fr auto; gap: 40px; align-items: end; margin-top: 54px; border-top: 1px solid var(--strong); padding-top: 30px; }
.close-bottom p { max-width: 42ch; margin: 0; color: var(--muted); font-size: 1.12rem; }
.close footer { display: flex; justify-content: space-between; gap: 28px; margin-top: 105px; color: var(--muted); font-size: .78rem; }

.enter { opacity: 1; transform: none; }
.enter.visible { opacity: 1; transform: none; }
.canonical-runtime { position: absolute; left: -10000px; width: 1px; height: 1px; border: 0; opacity: 0; pointer-events: none; }

@media (max-width: 1000px) {
  .hero-grid, .problem-grid, .watch-grid, .trust-grid { grid-template-columns: minmax(0, 1fr); }
  .hero-copy { max-width: 700px; }
  .hero-copy h1 { max-width: 10.5ch; }
  .hero-app { max-width: 850px; }
  .problem-grid { gap: 60px; }
  .distributed { max-width: 760px; }
  .watch-app, .trust-app { max-width: 840px; }
  .field-list article { grid-template-columns: .48fr 1fr; }
  .field-reading { grid-column: 2; }
}

@media (max-width: 720px) {
  body { font-size: 16px; }
  .wrap { width: min(calc(100% - 32px), var(--content)); }
  .masthead { min-height: 64px; }
  .masthead span { display: none; }
  .hero { padding-top: 54px; }
  .hero-grid { gap: 56px; }
  .hero-copy h1 { max-width: 8.8ch; font-size: clamp(3.05rem, 14vw, 3.7rem); }
  .hero-copy > p { font-size: 1.08rem; }
  .page-section { padding: 96px 0; }
  .eu-top { min-height: 52px; padding: 0 14px; }
  .eu-top span { max-width: 210px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
  .eu-shell { display: block; min-height: auto; }
  .eu-nav { display: flex; gap: 4px; border-right: 0; border-bottom: 1px solid var(--eu-line); padding: 7px 11px; }
  .eu-nav span { margin: 0; padding: 8px 10px; }
  .eu-pagehead { min-height: auto; padding: 17px 16px 13px; }
  .eu-pagehead h2, .eu-pagehead h3 { font-size: 22px; }
  .eu-current-grid { display: block; min-height: auto; }
  .eu-current-list { display: none; }
  .eu-detail, .proof-detail, .watch-detail, .trust-app .eu-detail { min-height: auto; padding: 22px 18px 25px; }
  .eu-supported h3 { font-size: 1.6rem; }
  .eu-sentence { font-size: 16px; }
  .eu-record-grid { grid-template-columns: 1fr; }
  .eu-raw-record > div > div, .eu-interpretation > div > div { grid-template-columns: 105px minmax(0,1fr) auto; }
  .source-band { grid-template-columns: 72px 1fr; gap: 16px; }
  .maintained-answer { margin-left: 20px; }
  .product-proof, .standard-proof { margin-top: 52px; }
  .eu-counts { grid-template-columns: 1fr; }
  .eu-counts > div { display: grid; grid-template-columns: 1fr auto; min-height: auto; align-items: center; border-right: 0; border-bottom: 1px solid var(--eu-line); padding: 13px 0; }
  .eu-counts > div:last-child { border-bottom: 0; }
  .eu-counts strong { margin: 0; font-size: 2rem; }
  .eu-assessment { grid-template-columns: 1fr; gap: 16px; }
  .eu-missing > div { align-items: flex-start; flex-direction: column; gap: 3px; }
  .mapping-message { margin-top: 26px; }
  .eu-standard-doc, .eu-mapping { padding: 18px; }
  .eu-field { grid-template-columns: 1fr; gap: 6px; }
  .eu-proof-line { grid-template-columns: 1fr; gap: 6px; }
  .eu-source-context { grid-template-columns: 1fr auto; }
  .eu-source-context .eu-eyebrow { grid-column: 1 / -1; }
  .eu-source-context p { grid-column: 1 / -1; }
  .change-document { grid-template-columns: 1fr; }
  .change-document > div { min-height: auto; border-right: 0; border-bottom: 1px solid var(--eu-line); }
  .coverage-mismatch { grid-template-columns: 1fr; }
  .field-intro, .field-list article { grid-template-columns: 1fr; gap: 25px; }
  .field-reading { grid-column: auto; }
  .field-list { margin-top: 48px; }
  .field-list article { padding: 34px 0; }
  .close-bottom { grid-template-columns: 1fr; }
  .close-bottom .button { width: 100%; }
  .close footer { align-items: flex-start; flex-direction: column; margin-top: 80px; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation-duration: .01ms !important; animation-iteration-count: 1 !important; transition-duration: .01ms !important; }
  .enter { opacity: 1; transform: none; }
  .watch-motion { display: none; }
  .watch-reduced { display: block; }
}