:root {
  --ink: #172024;
  --ink-2: #243236;
  --rock: #596468;
  --paper: #f7f8f4;
  --paper-2: #e9eee8;
  --line: #c8d1cb;
  --life: #4f9560;
  --life-bright: #72b879;
  --dew: #2f98a3;
  --dew-bright: #63c7cf;
  --fungus: #8262a1;
  --amber: #c38222;
  --pressure: #c75049;
  --label: #f0e9d8;
  --white: #fff;
  --shadow: 0 12px 32px rgba(23, 32, 36, .12);
  font-family: -apple-system, BlinkMacSystemFont, "SF Pro Text", "PingFang SC", "Noto Sans CJK SC", "Segoe UI", sans-serif;
  color: var(--ink);
  background: var(--paper);
  font-synthesis: none;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; background: var(--paper); line-height: 1.55; letter-spacing: 0; }
a { color: var(--dew); text-underline-offset: 3px; }
button, input, select { font: inherit; letter-spacing: 0; }
code { font-family: "SFMono-Regular", Consolas, monospace; font-size: .9em; }

.skip-link {
  position: fixed;
  left: 16px;
  top: 10px;
  z-index: 999;
  padding: 10px 14px;
  color: var(--white);
  background: var(--ink);
  transform: translateY(-150%);
}
.skip-link:focus { transform: none; }

.book-header {
  position: relative;
  color: var(--white);
  background:
    linear-gradient(90deg, rgba(99, 199, 207, .12) 1px, transparent 1px) 0 0 / 36px 36px,
    linear-gradient(rgba(114, 184, 121, .09) 1px, transparent 1px) 0 0 / 36px 36px,
    var(--ink);
  border-bottom: 5px solid var(--dew-bright);
}
.book-header__inner {
  min-height: 230px;
  max-width: 1560px;
  margin: 0 auto;
  padding: 42px 48px 34px;
  display: grid;
  grid-template-columns: 86px minmax(0, 1fr) auto;
  align-items: center;
  gap: 28px;
}
.identity-mark { width: 76px; height: 96px; position: relative; }
.identity-mark::before {
  content: "";
  position: absolute;
  inset: 7px 14px 5px;
  border: 3px solid var(--dew-bright);
  border-radius: 42% 42% 48% 48%;
  box-shadow: inset 0 0 0 6px rgba(99, 199, 207, .08);
}
.identity-mark span { position: absolute; display: block; border-radius: 50%; }
.identity-mark span:nth-child(1) { width: 24px; height: 18px; left: 25px; top: 26px; background: var(--life-bright); transform: rotate(-16deg); }
.identity-mark span:nth-child(2) { width: 15px; height: 25px; left: 40px; top: 47px; background: var(--fungus); }
.identity-mark span:nth-child(3) { width: 12px; height: 12px; left: 21px; top: 60px; background: var(--amber); }
.kicker, .section-code { margin: 0 0 8px; color: var(--dew-bright); font-size: 12px; font-weight: 800; letter-spacing: .12em; text-transform: uppercase; }
.book-title h1 { margin: 0; font-size: clamp(36px, 4.3vw, 62px); line-height: 1.02; letter-spacing: 0; }
.book-subtitle { margin: 10px 0 0; color: #d8e3dd; font-size: 18px; }
.header-actions { display: flex; align-items: center; gap: 10px; flex-wrap: wrap; justify-content: flex-end; }
.button-link {
  min-height: 46px;
  padding: 11px 15px;
  display: inline-flex;
  align-items: center;
  color: var(--white);
  border: 1px solid #66777a;
  border-radius: 6px;
  text-decoration: none;
  font-weight: 750;
}
.button-link.primary { color: var(--ink); background: var(--dew-bright); border-color: var(--dew-bright); }
.status-rail {
  display: flex;
  flex-wrap: wrap;
  gap: 1px;
  max-width: 1560px;
  margin: 0 auto;
  padding: 0 48px 20px;
  font-size: 12px;
}
.status-rail span { padding: 7px 12px; background: rgba(255, 255, 255, .08); }
.status-rail .open { color: #ffd5d1; }

.book-shell { max-width: 1680px; margin: 0 auto; display: grid; grid-template-columns: 242px minmax(0, 1fr); }
.toc { border-right: 1px solid var(--line); background: #eef2ed; }
.toc__sticky { position: sticky; top: 0; max-height: 100vh; overflow: auto; padding: 30px 22px; }
.toc-title { margin: 0 0 14px; font-size: 11px; font-weight: 850; letter-spacing: .12em; text-transform: uppercase; color: var(--rock); }
.toc nav { display: grid; }
.toc nav a { padding: 9px 8px; color: var(--ink); border-left: 3px solid transparent; text-decoration: none; font-size: 14px; font-weight: 700; }
.toc nav a:hover, .toc nav a.is-current { color: var(--dew); border-left-color: var(--dew); background: rgba(255,255,255,.55); }
.scope-key { margin-top: 26px; display: grid; gap: 8px; }
.scope { display: inline-flex; width: max-content; max-width: 100%; padding: 3px 7px; border-radius: 3px; font-size: 10px; line-height: 1.3; font-weight: 850; letter-spacing: .04em; }
.scope.current { color: #174e29; background: #d8ead9; }
.scope.proposed { color: #075965; background: #d6edf0; }
.scope.evidence { color: #694000; background: #f4e5c3; }

.book-main { min-width: 0; }
.book-intro {
  min-height: 330px;
  padding: 62px clamp(28px, 5vw, 74px);
  display: grid;
  grid-template-columns: minmax(0, 1.3fr) minmax(300px, .7fr);
  gap: 54px;
  align-items: center;
  background:
    radial-gradient(circle at 80% 22%, rgba(99,199,207,.15), transparent 26%),
    linear-gradient(135deg, #f7f8f4, #e5ece8);
  border-bottom: 1px solid var(--line);
}
.book-intro h2 { max-width: 780px; margin: 0 0 16px; font-size: clamp(28px, 3.4vw, 46px); line-height: 1.16; letter-spacing: 0; }
.book-intro p { max-width: 760px; margin: 0; color: #3b494d; font-size: 17px; }
.intro-metrics { margin: 0; display: grid; grid-template-columns: 1fr 1fr; border: 1px solid var(--line); background: rgba(255,255,255,.74); box-shadow: var(--shadow); }
.intro-metrics div { min-height: 110px; padding: 22px; border: 1px solid var(--line); }
.intro-metrics dt { font-size: 34px; line-height: 1; font-weight: 850; color: var(--dew); }
.intro-metrics dd { margin: 9px 0 0; color: var(--rock); font-size: 13px; }

.spec-section { padding: 72px clamp(28px, 5vw, 76px); border-bottom: 1px solid var(--line); scroll-margin-top: 8px; }
.spec-section:nth-of-type(odd) { background: var(--white); }
.section-heading { max-width: 1000px; margin-bottom: 38px; }
.section-heading h2 { margin: 0 0 12px; font-size: clamp(28px, 3vw, 42px); line-height: 1.16; letter-spacing: 0; }
.section-heading p:last-child { margin: 0; max-width: 900px; color: var(--rock); font-size: 16px; }
.subsection-title { margin: 52px 0 18px; padding-top: 12px; border-top: 3px solid var(--ink); font-size: 21px; }
.citation { color: var(--rock); font-size: 12px; }

.contract-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; background: var(--line); border: 1px solid var(--line); }
.contract-grid article { position: relative; min-height: 190px; padding: 26px 24px; background: var(--paper); }
.contract-grid h3 { margin: 34px 0 7px; font-size: 17px; }
.contract-grid p { margin: 0; color: #455256; }
.contract-icon { position: absolute; top: 18px; right: 18px; color: var(--dew); font-family: monospace; font-size: 12px; font-weight: 800; }
.anti-pillars { margin-top: 28px; padding: 24px 28px; color: var(--white); background: var(--ink); border-left: 8px solid var(--pressure); }
.anti-pillars h3 { margin: 0 0 10px; color: #ffd9d6; }
.anti-pillars ul { margin: 0; padding-left: 20px; display: grid; gap: 6px; }
.timeline-contract { display: grid; grid-template-columns: repeat(3, 1fr); gap: 16px; }
.timeline-contract article { padding: 20px; border: 1px solid var(--line); border-top: 4px solid var(--dew); background: var(--white); }
.timeline-contract time { font-family: monospace; color: var(--dew); font-weight: 800; }
.timeline-contract h4 { margin: 12px 0 5px; font-size: 16px; }
.timeline-contract p { margin: 0; color: var(--rock); font-size: 14px; }
.authority-split { margin-top: 32px; display: grid; grid-template-columns: 1fr 1fr; gap: 18px; }
.authority { padding: 24px; border: 1px solid var(--line); border-left-width: 6px; background: var(--white); }
.authority.current { border-left-color: var(--life); }
.authority.proposed { border-left-color: var(--dew); }
.authority h3 { margin: 13px 0 6px; }
.authority p { margin: 0 0 8px; }

.nav-tree { padding: 28px; color: var(--white); background: var(--ink); }
.tree-root { display: flex; align-items: baseline; gap: 16px; padding-bottom: 18px; border-bottom: 1px solid #48575b; }
.tree-root strong { color: var(--dew-bright); font-family: monospace; }
.tree-branches { margin: 20px 0; display: grid; grid-template-columns: repeat(4, 1fr); gap: 12px; }
.tree-branches div { min-height: 116px; padding: 16px; border: 1px solid #506065; background: #213034; }
.tree-branches strong, .tree-branches span, .tree-branches small { display: block; }
.tree-branches strong { margin-bottom: 8px; font-family: monospace; font-size: 12px; color: var(--amber); }
.tree-branches span { font-weight: 750; }
.tree-branches small { margin-top: 8px; color: #b4c1bd; }
.tree-rule { margin: 0; color: #d7dfdc; }

.table-wrap { width: 100%; overflow-x: auto; border: 1px solid var(--line); background: var(--white); }
table { width: 100%; border-collapse: collapse; font-size: 13px; }
th, td { padding: 12px 13px; text-align: left; vertical-align: top; border-bottom: 1px solid var(--line); border-right: 1px solid #e3e8e4; }
th:last-child, td:last-child { border-right: 0; }
thead th { position: sticky; top: 0; z-index: 1; color: var(--white); background: var(--ink-2); font-size: 11px; letter-spacing: .04em; }
tbody tr:last-child > * { border-bottom: 0; }
tbody tr:nth-child(even) { background: #f3f6f2; }
td code { display: block; margin-bottom: 5px; color: var(--dew); font-weight: 800; }
td b { display: block; }
td small { display: block; margin-top: 4px; color: var(--rock); }

.atlas-section { padding-left: clamp(20px, 3vw, 44px); padding-right: clamp(20px, 3vw, 44px); background: #dfe6e1 !important; }
.atlas-toolbar { position: sticky; top: 0; z-index: 20; margin: 0 0 34px; padding: 14px 16px; display: flex; align-items: center; flex-wrap: wrap; gap: 12px 20px; color: var(--white); background: rgba(23, 32, 36, .96); box-shadow: 0 8px 24px rgba(23,32,36,.18); }
.atlas-toolbar > div { display: flex; align-items: center; gap: 6px; }
.atlas-toolbar span { margin-right: 4px; color: #bcc9c5; font-size: 11px; font-weight: 800; text-transform: uppercase; }
.filter-button { min-height: 36px; padding: 6px 10px; color: var(--white); background: transparent; border: 1px solid #66777a; border-radius: 4px; cursor: pointer; }
.filter-button.is-active { color: var(--ink); background: var(--dew-bright); border-color: var(--dew-bright); }
#filterResult { margin: 0 0 0 auto; color: var(--dew-bright); font-family: monospace; }
.atlas-group { margin: 0 0 56px; }
.atlas-group__heading { display: flex; align-items: baseline; justify-content: space-between; gap: 20px; padding: 10px 0; border-bottom: 3px solid var(--ink); }
.atlas-group__heading h3, .atlas-group__heading p { margin: 0; }
.atlas-group__heading p { color: var(--rock); }
.artboard-grid { padding-top: 24px; display: grid; grid-template-columns: repeat(auto-fill, minmax(430px, 1fr)); gap: 28px; align-items: start; }
.artboard-card { min-width: 0; }
.artboard-card[hidden] { display: none; }
.artboard-label { min-height: 92px; padding: 14px 16px; color: var(--white); background: var(--ink); border-left: 5px solid var(--dew); }
.artboard-label header { display: flex; align-items: center; justify-content: space-between; gap: 10px; }
.artboard-label code { color: var(--dew-bright); font-weight: 800; }
.artboard-label .artboard-dim { color: #b8c5c1; font-family: monospace; font-size: 11px; }
.artboard-label h4 { margin: 7px 0 2px; font-size: 16px; }
.artboard-label p { margin: 0; color: #c7d1ce; font-size: 12px; }
.artboard-viewport { width: 100%; padding: 18px 0 22px; overflow-x: auto; background: #cbd4cf; border: 1px solid #bcc7c1; }
.artboard-viewport iframe { display: block; margin: 0 auto; border: 0; background: var(--paper); box-shadow: 0 16px 34px rgba(23, 32, 36, .2); }
.artboard-card[data-kind="modal"] .artboard-label { border-left-color: var(--pressure); }
.artboard-card[data-kind="flow"] .artboard-label { border-left-color: var(--life-bright); }
.artboard-card[data-kind="control"] .artboard-label { border-left-color: var(--amber); }

.loop-ribbon, .campaign-beats { display: flex; align-items: stretch; gap: 0; overflow-x: auto; border: 1px solid var(--line); background: var(--ink); }
.loop-ribbon span, .campaign-beats span { min-width: 130px; padding: 16px 12px; display: grid; place-items: center; color: var(--white); text-align: center; font-size: 12px; font-weight: 800; }
.loop-ribbon span:nth-of-type(odd), .campaign-beats span:nth-of-type(odd) { background: #21363a; }
.loop-ribbon i, .campaign-beats i { display: grid; place-items: center; color: var(--dew-bright); font-style: normal; }
.decision-cadence { display: grid; grid-template-columns: repeat(5, 1fr); gap: 1px; border: 1px solid var(--line); background: var(--line); }
.decision-cadence article { min-height: 145px; padding: 19px; background: var(--white); }
.decision-cadence b { color: var(--dew); }
.decision-cadence p { margin: 8px 0 0; color: var(--rock); font-size: 13px; }
.system-contracts { margin-top: 32px; display: grid; grid-template-columns: 1fr 1fr; gap: 16px; }
.system-contracts article { padding: 22px; border: 1px solid var(--line); background: var(--paper-2); }
.system-contracts h3 { margin: 0 0 6px; }
.system-contracts p { margin: 0; }

.design-note { margin: 24px 0; padding: 24px 26px; border-left: 6px solid var(--dew); background: #e5f1f1; }
.design-note h3 { margin: 12px 0 6px; }
.design-note p { margin: 0; }
.formula-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 1px; padding: 1px; background: var(--line); }
.formula-grid article { min-width: 0; padding: 18px; background: var(--white); }
.formula-grid code { display: block; color: var(--dew); font-size: 12px; font-weight: 800; overflow-wrap: anywhere; }
.formula-grid p { margin: 7px 0 0; color: var(--rock); font-size: 13px; }

.strategy-ledger { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; }
.strategy-ledger article { padding: 22px; border: 1px solid var(--line); border-top: 5px solid var(--dew); background: var(--white); }
.strategy-ledger header { display: flex; align-items: baseline; gap: 12px; }
.strategy-ledger header code { color: var(--dew); font-size: 11px; }
.strategy-ledger h3 { margin: 0; }
.strategy-ledger p { margin: 10px 0 0; color: #465357; font-size: 13px; }
.synergy-table .good { color: #185729; background: #dfeee0; }
.synergy-table .warn { color: #714600; background: #f7e9c9; }
.anti-exploit, .ending-rule, .gaps { margin-top: 28px; padding: 24px 28px; border: 1px solid var(--line); border-left: 6px solid var(--pressure); background: #fff3f1; }
.anti-exploit h3, .ending-rule h3, .gaps h3 { margin: 0 0 8px; }
.anti-exploit ul, .gaps ol { margin: 0; padding-left: 20px; }
.ending-rule { border-left-color: var(--life); background: #edf5ed; }
.ending-rule h3:not(:first-child) { margin-top: 18px; }
.ending-rule p { margin: 0; }
.campaign-table { min-width: 1240px; }
.campaign-table td:first-child { width: 160px; }
.campaign-table td:first-child .scope { margin-top: 5px; }

.presentation-contract { display: grid; grid-template-columns: repeat(4, 1fr); gap: 14px; }
.presentation-contract article { padding: 21px; color: var(--white); background: var(--ink); border-bottom: 5px solid var(--dew); }
.presentation-contract h3 { margin: 0 0 7px; color: var(--dew-bright); }
.presentation-contract p { margin: 0; color: #d7e0dd; font-size: 13px; }
.token-grid { display: grid; grid-template-columns: repeat(4, 1fr); border: 1px solid var(--line); }
.token-grid div { min-width: 0; padding: 14px; display: grid; grid-template-columns: 38px minmax(0, 1fr); align-items: center; gap: 3px 10px; border: 1px solid var(--line); background: var(--white); }
.token-grid span { grid-row: span 2; width: 38px; height: 38px; background: var(--swatch); border: 1px solid rgba(23,32,36,.2); }
.token-grid code { overflow-wrap: anywhere; font-size: 11px; font-weight: 750; }
.token-grid small { color: var(--rock); }
.state-grammar { display: grid; grid-template-columns: repeat(3, 1fr); border: 1px solid var(--line); background: var(--white); }
.state-grammar span { min-height: 70px; padding: 14px; display: flex; align-items: center; gap: 12px; border: 1px solid var(--line); }
.shape { width: 26px; height: 26px; flex: 0 0 26px; display: inline-block; border: 3px solid var(--rock); }
.shape.rising { border-color: var(--life); clip-path: polygon(50% 0,100% 54%,70% 54%,70% 100%,30% 100%,30% 54%,0 54%); background: var(--life); }
.shape.falling { border-color: var(--pressure); clip-path: polygon(30% 0,70% 0,70% 46%,100% 46%,50% 100%,0 46%,30% 46%); background: var(--pressure); }
.shape.pressure { border-color: var(--pressure); transform: rotate(45deg); }
.shape.automated { border-radius: 50%; border-color: var(--dew); border-right-color: transparent; }
.shape.locked { border-radius: 4px; border-color: var(--rock); box-shadow: inset 0 7px 0 var(--rock); }
.shape.complete { border-radius: 50% 50% 45% 45%; border-color: var(--life); background: var(--life-bright); }
.access-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 14px; }
.access-grid article { padding: 20px; border: 1px solid var(--line); background: var(--white); }
.access-grid h3 { margin: 0 0 7px; font-size: 15px; }
.access-grid p { margin: 0; color: var(--rock); font-size: 13px; }
.implementation-boundary { margin-top: 28px; display: grid; grid-template-columns: auto 1fr; gap: 9px 14px; padding: 24px; color: var(--white); background: var(--ink); }
.implementation-boundary p { margin: 0; }

.coverage-summary { display: grid; grid-template-columns: repeat(3, 1fr); border: 1px solid var(--line); background: var(--line); gap: 1px; }
.coverage-summary div { min-height: 100px; padding: 20px; display: flex; flex-direction: column; justify-content: center; background: var(--white); }
.coverage-summary b { color: var(--dew); font-size: 26px; }
.coverage-summary span { color: var(--rock); font-size: 12px; }
.verification-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 14px; }
.verification-grid article { padding: 20px; border: 1px solid var(--line); background: var(--paper-2); }
.verification-grid h3 { margin: 0 0 7px; font-size: 15px; }
.verification-grid p { margin: 0; color: var(--rock); font-size: 13px; }
.evidence-gates { margin-top: 30px; display: flex; flex-wrap: wrap; gap: 8px; }
.evidence-gates span { padding: 7px 10px; border-radius: 4px; font-size: 12px; font-weight: 750; }
.evidence-gates .pass { color: #174e29; background: #d8ead9; }
.evidence-gates .open { color: #6e3b37; background: #f6d8d5; }

.book-footer { padding: 34px clamp(28px, 5vw, 76px); display: flex; align-items: center; justify-content: space-between; gap: 20px; color: var(--white); background: var(--ink); }
.book-footer p { margin: 4px 0 0; color: #b9c5c1; }
.book-footer a { color: var(--dew-bright); }

@media (max-width: 1180px) {
  .book-shell { grid-template-columns: 1fr; }
  .toc { position: sticky; top: 0; z-index: 50; border-right: 0; border-bottom: 1px solid var(--line); }
  .toc__sticky { position: static; max-height: none; padding: 10px 18px; display: flex; align-items: center; gap: 16px; overflow-x: auto; }
  .toc-title, .scope-key { display: none; }
  .toc nav { display: flex; white-space: nowrap; }
  .toc nav a { border-left: 0; border-bottom: 3px solid transparent; }
  .toc nav a:hover, .toc nav a.is-current { border-bottom-color: var(--dew); }
  .tree-branches, .presentation-contract { grid-template-columns: 1fr 1fr; }
  .contract-grid, .timeline-contract, .access-grid { grid-template-columns: 1fr 1fr; }
  .decision-cadence { grid-template-columns: repeat(3, 1fr); }
}

@media (max-width: 760px) {
  .book-header__inner { padding: 28px 20px; grid-template-columns: 52px 1fr; }
  .identity-mark { width: 48px; transform: scale(.72); transform-origin: left center; }
  .header-actions { grid-column: 1 / -1; justify-content: flex-start; }
  .status-rail { padding: 0 20px 16px; }
  .book-intro { padding: 40px 20px; grid-template-columns: 1fr; gap: 28px; }
  .spec-section { padding: 48px 20px; }
  .contract-grid, .timeline-contract, .authority-split, .tree-branches, .system-contracts, .formula-grid, .strategy-ledger, .presentation-contract, .token-grid, .state-grammar, .access-grid, .coverage-summary, .verification-grid { grid-template-columns: 1fr; }
  .decision-cadence { grid-template-columns: 1fr; }
  .artboard-grid { grid-template-columns: 1fr; }
  .atlas-toolbar { position: static; }
  #filterResult { width: 100%; margin-left: 0; }
  .atlas-group__heading { align-items: flex-start; flex-direction: column; }
  .book-footer { align-items: flex-start; flex-direction: column; }
}

@media print {
  .toc, .atlas-toolbar, .header-actions { display: none !important; }
  .book-shell { display: block; }
  .spec-section { break-before: page; padding: 28px; }
  .artboard-card { break-inside: avoid; }
  .book-header { color: var(--ink); background: var(--white); border-bottom: 3px solid var(--ink); }
}