/* Representation B — visual system.
   Three registers, each with one job:
     heavy sans  headings, object names, section titles
     serif       prose — and prose only appears one step behind a rule
     monospace   structure: states, values, relationships, identifiers
   Every state mark is a shape. Colour is a second signal, never the only one. */

:root {
  color-scheme: light;

  --paper:        #fcfbf9;
  --paper-raised: #ffffff;
  --paper-sunk:   #f4f2ee;
  --strip:        #eceee9;
  --ink:          #15150f;
  --ink-2:        #3d3c36;
  --ink-3:        #67655d;
  --ink-4:        #6e6b62;
  --rule:         #e4e1d9;
  --rule-strong:  #c5c0b3;
  --accent:       #1d5049;
  --accent-soft:  #e4efec;

  --s-today:      #2f5a4e;
  --s-decided:    #7a5a1e;
  --s-open:       #414d73;
  --s-disagree:   #7d3740;
  --s-partly:     #57534a;

  --sans:  ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto,
           Helvetica, Arial, sans-serif;
  --serif: ui-serif, Georgia, "Iowan Old Style", "Palatino Linotype", Palatino, serif;
  --mono:  ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace;

  --measure: 36rem;
  --nav-w: 16rem;
  --radius: 2px;
  --tok-w: 9.5rem;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --paper:        #141416;
    --paper-raised: #1b1b1f;
    --paper-sunk:   #101012;
    --strip:        #23272a;
    --ink:          #eeece6;
    --ink-2:        #c6c3ba;
    --ink-3:        #9b988f;
    --ink-4:        #918d85;
    --rule:         #2c2c33;
    --rule-strong:  #45454f;
    --accent:       #7fc5b7;
    --accent-soft:  #1a2c29;
    --s-today:      #8fb3a6;
    --s-decided:    #d3ad74;
    --s-open:       #9aa6c8;
    --s-disagree:   #d69ba2;
    --s-partly:     #b4b0a6;
  }
}

*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }

body {
  margin: 0; background: var(--paper); color: var(--ink);
  font: 400 15px/1.55 var(--sans);
  -webkit-font-smoothing: antialiased;
}

a { color: inherit; }
a:focus-visible, button:focus-visible, summary:focus-visible, input:focus-visible {
  outline: 2px solid var(--accent); outline-offset: 2px; border-radius: 2px;
}
code { font: 500 .85em var(--mono); }

.skip {
  position: absolute; left: -9999px; top: 0; z-index: 100;
  background: var(--ink); color: var(--paper); padding: .6rem 1rem;
  font: 600 .85rem var(--sans);
}
.skip:focus { left: 0; }

/* ---------- layout ---------- */

.layout {
  display: grid; grid-template-columns: var(--nav-w) minmax(0, 1fr);
  grid-template-areas: "mast mast" "nav main" "nav foot";
  grid-template-rows: auto 1fr auto;
  min-height: 100vh; max-width: 94rem; margin: 0 auto;
}

.masthead {
  grid-area: mast; display: flex; align-items: center; justify-content: space-between;
  gap: 1rem; padding: .9rem 2.2rem; background: var(--paper);
  border-bottom: 2px solid var(--ink); position: sticky; top: 0; z-index: 20;
}
.brand { display: flex; align-items: center; gap: .5rem; text-decoration: none; }
.brand-mark {
  width: .7rem; height: .7rem; border: 2px solid var(--accent); transform: rotate(45deg);
}
.brand-name { font: 700 1rem/1 var(--sans); letter-spacing: -.02em; }
.brand-sub {
  font: 500 .62rem/1 var(--mono); letter-spacing: .14em; text-transform: uppercase;
  color: var(--ink-3);
}
.nav-toggle { display: none; }

.sitenav {
  grid-area: nav; border-right: 1px solid var(--rule);
  padding: 1.5rem 1rem 3rem 2.2rem;
  position: sticky; top: 3.4rem; align-self: start;
  max-height: calc(100vh - 3.4rem); overflow-y: auto;
}
.nav-list { list-style: none; margin: 0 0 1.5rem; padding: 0; }
.nav-group {
  font: 500 .6rem/1 var(--mono); letter-spacing: .16em; text-transform: uppercase;
  color: var(--ink-4); margin: 1.5rem 0 .5rem;
}
.nav-item a {
  display: grid; grid-template-columns: 1.7rem 1fr; align-items: baseline;
  padding: .3rem .5rem; text-decoration: none; border-radius: var(--radius);
  font: 500 .84rem/1.35 var(--sans); color: var(--ink-2);
}
.nav-item a:hover { background: var(--paper-sunk); color: var(--ink); }
.nav-item.is-current a { background: var(--accent-soft); color: var(--ink); font-weight: 700; }
.nav-id { font: 600 .6rem/1.6 var(--mono); color: var(--ink-4); letter-spacing: .06em; }
.nav-item.is-current .nav-id { color: var(--accent); }

.main { grid-area: main; padding: 2.2rem 2.6rem 5rem; min-width: 0; }
.footer {
  grid-area: foot; padding: 1.6rem 2.6rem 3rem; border-top: 1px solid var(--rule);
  font: 400 .78rem/1.55 var(--sans); color: var(--ink-3);
}
.footer-derivation { max-width: 44rem; margin: 0 0 1rem; }
.footer-meta { display: flex; flex-wrap: wrap; gap: .3rem 2rem; margin: 0;
  font-family: var(--mono); font-size: .68rem; }
.footer-meta div { display: flex; gap: .45rem; }
.footer-meta dt { color: var(--ink-4); }
.footer-meta dd { margin: 0; }

/* ---------- label key ---------- */

.keybox { border-top: 1px solid var(--rule); padding-top: .9rem; }
.key-summary {
  font: 500 .6rem/1 var(--mono); letter-spacing: .16em; text-transform: uppercase;
  color: var(--ink-4); cursor: pointer; list-style: none;
}
.key-summary::-webkit-details-marker { display: none; }
.key-summary::after { content: " ▾"; }
.keybox[open] .key-summary::after { content: " ▴"; }
.key-rows { margin-top: .7rem; display: grid; gap: .55rem; }
.key-row { display: grid; grid-template-columns: .9rem 1fr; gap: .1rem .45rem; }
.key-label { font: 600 .74rem/1.3 var(--sans); }
.key-meaning { grid-column: 2; font: 400 .7rem/1.4 var(--sans); color: var(--ink-3); }
.key-row--works-today .key-label::after {
  content: " — the default"; font-weight: 400; color: var(--ink-4);
}
.key-row.is-qualifier { border-top: 1px solid var(--rule); padding-top: .55rem; }
.key-row.is-qualifier .key-label::after {
  content: " — a qualifier, not a state"; font-weight: 400; color: var(--ink-4);
}
.key-note {
  margin: .8rem 0 0; font: 400 .68rem/1.4 var(--sans); color: var(--ink-4);
  border-top: 1px solid var(--rule); padding-top: .6rem;
}

/* ---------- state marks: shape first ---------- */

.key-mark, .tok-mark, .lbl-mark, .ci-state-mark, .fbox-mark, .chip-mark {
  display: inline-block; width: .62rem; height: .62rem; flex: none;
  position: relative; top: .04em;
}
/* Works today — a hairline tick outline: present, quiet, never a badge. */
.key-mark--works-today, .tok--works-today .tok-mark, .fbox--works-today .fbox-mark,
.ci-state--works-today .ci-state-mark {
  border-left: 1.5px solid var(--s-today); border-bottom: 1.5px solid var(--s-today);
  width: .5rem; height: .3rem; transform: rotate(-45deg); top: -.07em;
}
/* Decided — not currently available: a filing tab, notched at the lower right. */
.key-mark--decided-na, .tok--decided-na .tok-mark, .lbl--decided-na .lbl-mark,
.ci-state--decided-na .ci-state-mark, .fbox--decided-na .fbox-mark,
.chip--decided-na .chip-mark {
  background: var(--s-decided);
  clip-path: polygon(0 0, 100% 0, 100% 62%, 62% 100%, 0 100%);
}
/* Not decided: an open bracket — the right side is absent. */
.key-mark--not-decided, .tok--not-decided .tok-mark, .lbl--not-decided .lbl-mark,
.ci-state--not-decided .ci-state-mark, .fbox--not-decided .fbox-mark,
.chip--not-decided .chip-mark {
  border: 1.5px solid var(--s-open); border-right: 0;
}
/* Sources disagree: two equal bars, neither emphasised. */
.key-mark--sources-disagree, .tok--sources-disagree .tok-mark,
.lbl--sources-disagree .lbl-mark, .ci-state--sources-disagree .ci-state-mark,
.fbox--sources-disagree .fbox-mark, .chip--sources-disagree .chip-mark {
  background:
    linear-gradient(var(--s-disagree) 0 0) 0 0 / 100% 38% no-repeat,
    linear-gradient(var(--s-disagree) 0 0) 0 100% / 100% 38% no-repeat;
}
/* Partly defined: a half-filled circle. Never in the state family. */
.key-mark--partly-defined, .lbl--partly-defined .lbl-mark, .ci-qual, .tok-qual {
  border: 1.5px solid var(--s-partly); border-radius: 50%;
  background: linear-gradient(90deg, var(--s-partly) 50%, transparent 50%);
}
.tok-qual { display: inline-block; width: .5rem; height: .5rem; margin-left: .3rem; }
.ci-qual { display: inline-block; width: .55rem; height: .55rem; margin-left: .35rem; }

/* ---------- page head ---------- */

.part-head {
  display: grid; grid-template-columns: 2.6rem 1fr; align-items: baseline;
  gap: .2rem 0; margin: 0 0 1.6rem; padding-bottom: .9rem;
  border-bottom: 2px solid var(--ink);
}
.part-id { font: 600 .7rem/1.4 var(--mono); letter-spacing: .1em; color: var(--accent); }
.part-title { font: 700 1.85rem/1.1 var(--sans); letter-spacing: -.03em; margin: 0; }
.part-kicker {
  grid-column: 2; font: 400 .84rem/1.5 var(--sans); color: var(--ink-3);
  max-width: 40rem; margin: .3rem 0 0;
}

.sec { margin: 0 0 2.2rem; }
.sec-title {
  display: grid; grid-template-columns: 2.6rem 1fr auto; align-items: baseline;
  gap: .5rem; margin: 2.4rem 0 .9rem; scroll-margin-top: 4.5rem;
  padding-bottom: .4rem; border-bottom: 1px solid var(--rule);
  font: 700 1.02rem/1.3 var(--sans); letter-spacing: -.01em;
}
h3.sec-title { font-size: .95rem; }
h4.sec-title { font-size: .88rem; color: var(--ink-2); }
.sec-id { font: 600 .66rem/1.6 var(--mono); color: var(--accent); letter-spacing: .06em; }
.sec-anchor { color: var(--ink-4); text-decoration: none; opacity: 0; font-weight: 400; }
.sec-title:hover .sec-anchor { opacity: 1; }

.toc-inline { margin: 0 0 1.8rem; }
.toc-list { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; gap: .35rem; }
.toc-list a {
  display: inline-block; padding: .22rem .55rem; text-decoration: none;
  font: 500 .7rem/1.4 var(--mono); color: var(--ink-2);
  border: 1px solid var(--rule); border-radius: 100px;
}
.toc-list a:hover { border-color: var(--rule-strong); background: var(--paper-raised); }

/* ---------- the rule line: the default visible layer ---------- */

.rule { display: block; border-bottom: 1px solid var(--rule); scroll-margin-top: 4.5rem; }
.rule:first-of-type { border-top: 1px solid var(--rule); }
.rule-sum {
  display: grid;
  grid-template-columns: 5.4rem minmax(0, 1fr) var(--tok-w) 1rem;
  align-items: baseline; gap: .7rem; padding: .62rem .2rem;
  cursor: pointer; list-style: none;
}
.rule-sum--flat { cursor: default; }
.rule-sum::-webkit-details-marker { display: none; }
.rule-sum:hover { background: var(--paper-sunk); }
.rule-id {
  font: 500 .64rem/1.5 var(--mono); color: var(--ink-4); letter-spacing: .02em;
  white-space: nowrap;
}
.rule-main { min-width: 0; }
.rule-topic {
  display: block; font: 600 .6rem/1.4 var(--mono); letter-spacing: .12em;
  text-transform: uppercase; color: var(--ink-3);
}
.rule-head { font: 500 .95rem/1.45 var(--sans); color: var(--ink); }
.rule.is-lead .rule-head { font-weight: 700; }
.rule--opener .rule-head { font-size: 1.02rem; font-weight: 700; }
.rule-label { margin-right: .35rem; font-weight: 600; }
.rule-more {
  width: .5rem; height: .5rem; border-right: 1.5px solid var(--ink-4);
  border-bottom: 1.5px solid var(--ink-4); transform: rotate(45deg);
  justify-self: end; align-self: center;
}
details.rule[open] > .rule-sum .rule-more { transform: rotate(-135deg); }
details.rule[open] > .rule-sum { background: var(--paper-sunk); }

.tok {
  display: inline-flex; align-items: baseline; gap: .35rem;
  font: 500 .64rem/1.5 var(--mono); letter-spacing: .04em; white-space: nowrap;
}
.tok--works-today { color: var(--ink-4); }
.tok--decided-na { color: var(--s-decided); }
.tok--not-decided { color: var(--s-open); }
.tok--sources-disagree { color: var(--s-disagree); }

.rule-body {
  padding: .1rem .2rem 1.1rem calc(5.4rem + .7rem);
  max-width: calc(var(--measure) + 12rem);
}
.rule-rest { font: 400 .92rem/1.62 var(--serif); color: var(--ink-2); max-width: var(--measure); }
.rule-rest p { margin: 0 0 .7rem; }
.rule-rest p:last-child { margin-bottom: 0; }
.rule-rest ul { margin: .4rem 0 .8rem; padding-left: 1.1rem; }
.rule-fig { margin-top: .7rem; }

/* ---------- "why is this true?" ---------- */

.why, .exact {
  margin: .8rem 0 0; border: 1px solid var(--rule); border-radius: var(--radius);
  background: var(--paper-raised); max-width: 42rem;
}
.why > summary, .exact > summary, .prov-table > summary, .src-files > summary {
  cursor: pointer; list-style: none; padding: .45rem .7rem;
  font: 500 .68rem/1 var(--mono); letter-spacing: .06em; color: var(--ink-3);
  display: flex; align-items: center; gap: .5rem;
}
.why > summary::-webkit-details-marker, .exact > summary::-webkit-details-marker { display: none; }
.why > summary::before, .exact > summary::before,
.prov-table > summary::before, .src-files > summary::before { content: "▸"; }
.why[open] > summary::before, .exact[open] > summary::before,
.prov-table[open] > summary::before, .src-files[open] > summary::before { content: "▾"; }
.why-body { padding: 0 .7rem .6rem; display: grid; gap: .3rem; }
.why-row { display: grid; grid-template-columns: 5.2rem 1fr; gap: .5rem;
  font: 400 .78rem/1.5 var(--sans); align-items: baseline; }
.why-k { font: 500 .6rem/1.7 var(--mono); letter-spacing: .1em; text-transform: uppercase;
  color: var(--ink-4); }
.why-src { display: inline-block; margin-right: .5rem; }
.why-cov { color: var(--ink-3); }
.why-note { grid-column: 2; font-size: .68rem; color: var(--ink-4); }
.why-via { color: var(--ink-3); }
.exact { margin: .6rem .7rem .7rem; max-width: none; }

/* ---------- panels, notices, records ---------- */

.panel {
  max-width: 44rem; margin: 1rem 0; border: 1px solid var(--rule);
  border-radius: var(--radius); background: var(--paper-raised);
}
.panel-kind, .panel-head {
  font: 500 .6rem/1 var(--mono); letter-spacing: .14em; text-transform: uppercase;
  color: var(--ink-4); padding: .5rem .8rem; background: var(--strip);
  border-bottom: 1px solid var(--rule);
}
.panel-body { padding: .8rem .9rem; }
.panel--scenario .panel-body p, .panel--notice .panel-body p {
  font: 400 .9rem/1.6 var(--serif); color: var(--ink-2); margin: 0 0 .6rem;
}
.panel--scenario .panel-body p:last-child, .panel--notice .panel-body p:last-child {
  margin-bottom: 0;
}
.panel--notice { border-left: 3px solid var(--s-decided); }
.panel--notice[data-notice^="SD"] { border-left-color: var(--s-disagree); }
.panel--notice blockquote { margin: 0; border: 0; padding: 0; }
.panel--scenario > .panel-kind + * { padding: .8rem .9rem; }
.panel--scenario p, .panel--notice p { padding: 0; }
.panel--scenario > p:first-of-type, .panel--notice > p:first-of-type { margin-top: .8rem; }

.stmt { max-width: 44rem; margin: 0 0 1rem; }
.stmt-body p { font: 400 .92rem/1.62 var(--serif); color: var(--ink-2); margin: 0 0 .7rem; }
.stmt--pointer { border-left: 2px dotted var(--rule-strong); padding-left: .9rem; }
.stmt-head { display: flex; align-items: center; gap: .5rem; flex-wrap: wrap; margin-bottom: .35rem; }
.ptr { display: inline-flex; align-items: center; gap: .3rem;
  font: 500 .6rem/1 var(--mono); letter-spacing: .1em; text-transform: uppercase;
  color: var(--ink-4); }
.ptr-mark { width: 0; height: 0; border-left: 5px solid var(--ink-4);
  border-top: 3.5px solid transparent; border-bottom: 3.5px solid transparent; }
.ptr-target { font: 500 .66rem/1 var(--mono); color: var(--ink-3);
  border: 1px dashed var(--rule-strong); border-radius: 2px; padding: .18rem .32rem; }

.chip {
  display: inline-flex; align-items: center; gap: .3rem;
  font: 500 .62rem/1 var(--mono); letter-spacing: .06em;
  padding: .25rem .45rem; border: 1px solid var(--rule-strong); border-radius: var(--radius);
  background: var(--paper); white-space: nowrap;
}
.chip--decided-na { color: var(--s-decided); }
.chip--not-decided { color: var(--s-open); }
.chip--sources-disagree { color: var(--s-disagree); }
.chip-id { opacity: .75; }

.record {
  max-width: 46rem; margin: 0 0 1.2rem; scroll-margin-top: 4.5rem;
  border: 1px solid var(--rule); border-radius: var(--radius); background: var(--paper-raised);
}
.record--dna { border-top: 3px solid var(--s-decided); }
.record--sd  { border-top: 3px solid var(--s-disagree); }
.record-head { padding: .55rem .9rem; background: var(--strip); border-bottom: 1px solid var(--rule); }
.record-body { padding: .85rem .95rem; }
.record-body p { font: 400 .9rem/1.6 var(--serif); color: var(--ink-2); margin: 0 0 .65rem; }
.record-body p:last-child { margin-bottom: 0; }
.record--sd table { font-size: .84rem; }
.record--sd thead th { width: 50%; }
.rec-note, .rec-also {
  margin: 0; padding: .6rem .95rem; border-top: 1px solid var(--rule);
  font: 400 .74rem/1.5 var(--sans); color: var(--ink-3);
}
.rec-also-label { color: var(--ink-4); }

blockquote { margin: 0 0 .8rem; padding-left: .9rem; border-left: 2px solid var(--rule-strong);
  color: var(--ink-2); }

/* ---------- tables and matrices: no vertical rules, marks not words ---------- */

.table-scroll { overflow-x: auto; margin: 0 0 1rem; -webkit-overflow-scrolling: touch; }
table { border-collapse: collapse; width: 100%; font: 400 .85rem/1.5 var(--sans); }
thead th {
  text-align: left; padding: .5rem .7rem; vertical-align: bottom;
  font: 500 .6rem/1.4 var(--mono); letter-spacing: .1em; text-transform: uppercase;
  color: var(--ink-4); background: var(--strip); border-bottom: 1px solid var(--rule-strong);
}
tbody td, tbody th {
  text-align: left; font-weight: 400; padding: .6rem .7rem; vertical-align: top;
  border-bottom: 1px solid var(--rule);
}
tbody th { font: 700 .85rem/1.45 var(--sans); color: var(--ink); }
tbody tr:hover { background: var(--paper-sunk); }
td.yes, td.no { text-align: center; }
td.yes { color: var(--s-today); font-weight: 700; }
td.no { color: var(--ink-4); }

.matrix { margin: 1rem 0 1.6rem; scroll-margin-top: 4.5rem; }
.matrix-head {
  display: grid; grid-template-columns: 5.4rem minmax(0,1fr) var(--tok-w);
  gap: .7rem; align-items: baseline; padding: .5rem .2rem;
  border-top: 1px solid var(--rule); border-bottom: 2px solid var(--ink);
}
.matrix-title { font: 700 .95rem/1.4 var(--sans); }
.matrix-body { padding-top: .7rem; }
.matrix-body > p { font: 400 .8rem/1.55 var(--sans); color: var(--ink-3); max-width: 42rem; }
.matrix .table-scroll { border: 1px solid var(--rule); border-radius: var(--radius); }
.matrix table { min-width: 42rem; }

/* ---------- figures ---------- */

.figure {
  margin: 1.1rem 0 1.6rem; border: 1px solid var(--rule); border-radius: var(--radius);
  background: var(--paper-raised); scroll-margin-top: 4.5rem;
}
.fig-cap {
  display: flex; flex-wrap: wrap; align-items: baseline; gap: .4rem .7rem;
  padding: .5rem .85rem; background: var(--strip); border-bottom: 1px solid var(--rule);
}
.fig-id { font: 600 .62rem/1.5 var(--mono); color: var(--ink-4); letter-spacing: .06em; }
.fig-title { font: 700 .9rem/1.35 var(--sans); }
.fig-shows {
  font: 500 .58rem/1 var(--mono); letter-spacing: .12em; text-transform: uppercase;
  color: var(--ink-4); margin-left: auto;
}
.fig-body { padding: 1rem .95rem; }
.fig-note {
  margin: 0; padding: .65rem .95rem; border-top: 1px solid var(--rule);
  font: 400 .78rem/1.55 var(--sans); color: var(--ink-3);
}
.fig-bound { padding: 0 .95rem .65rem; font: 500 .66rem/1.4 var(--mono); color: var(--ink-4); }
.fig-ref {
  display: inline-flex; align-items: baseline; gap: .3rem; text-decoration: none;
  font: 500 .66rem/1.4 var(--mono); color: var(--ink-3);
  border: 1px solid var(--rule); border-radius: 100px; padding: .16rem .5rem;
}
.fig-ref-mark { width: .5rem; height: .38rem; border: 1px solid var(--ink-4); align-self: center; }
.fig-ref-cap { color: var(--ink-4); }

.node {
  display: inline-flex; align-items: center; gap: .35rem;
  font: 500 .76rem/1.3 var(--sans);
  border: 1px solid var(--rule-strong); border-radius: var(--radius);
  padding: .26rem .5rem; background: var(--paper);
}
.node.is-kind { border-style: dashed; color: var(--ink-2); }
.node-mark { width: .5rem; height: .5rem; flex: none; border: 1.5px solid var(--ink-3); }
.node--account .node-mark { transform: rotate(45deg); }
.node--person .node-mark { border-radius: 50%; }
.node--personal-workspace .node-mark { border-width: 3px; border-style: double; }
.node--project .node-mark { height: .36rem; }
.node--task .node-mark { width: .36rem; height: .36rem; background: var(--ink-3); }
.node-name { color: var(--ink-2); font-weight: 400; }

.frames { display: grid; gap: .5rem; }
.frame { border: 1px solid var(--rule-strong); border-radius: var(--radius);
  padding: .5rem; background: var(--paper); }
.frame--d1 { background: var(--paper-sunk); }
.frame--d2 { background: var(--paper-raised); }
.frame-children { display: grid; gap: .45rem; margin-top: .5rem; padding-left: .6rem;
  border-left: 1px dashed var(--rule-strong); }

.edges { margin-top: 1rem; display: grid; gap: .5rem; }
.edges-head, .transitions-head, .a-head {
  font: 500 .6rem/1.4 var(--mono); letter-spacing: .14em; text-transform: uppercase;
  color: var(--ink-4);
}
.edge { display: grid; gap: .25rem; padding: .5rem .6rem;
  border: 1px solid var(--rule); border-radius: var(--radius); background: var(--paper); }
.edge-line { display: flex; flex-wrap: wrap; align-items: center; gap: .45rem; }
.edge-arrow { display: inline-flex; align-items: center; gap: .3rem; }
.edge-glyph { font: 500 .95rem/1 var(--sans); color: var(--ink-3); }
.edge-meaning { font: 500 .56rem/1 var(--mono); letter-spacing: .1em; text-transform: uppercase;
  color: var(--ink-4); }
.edge-label { font: 400 .8rem/1.5 var(--sans); color: var(--ink-2); }
.edge--derived { border-style: dashed; }
.edge--absent { background: var(--paper-sunk); }
.edge--absent .edge-glyph { color: var(--s-disagree); }

.states { display: flex; flex-wrap: wrap; gap: .4rem; margin-bottom: 1rem; }
.state-node {
  display: inline-flex; align-items: center; gap: .35rem; padding: .3rem .6rem;
  font: 500 .78rem/1 var(--sans); border: 1px solid var(--rule-strong);
  border-radius: 100px; background: var(--paper);
}
.state-mark { width: .45rem; height: .45rem; border-radius: 50%; border: 1.5px solid var(--ink-3); }

.transitions { display: grid; border: 1px solid var(--rule); border-radius: var(--radius); overflow: hidden; }
.transitions-head, .trow {
  display: grid; grid-template-columns: 8.5rem 8.5rem 1fr 5.5rem; gap: .5rem;
  padding: .45rem .65rem; align-items: baseline;
}
.transitions-head { background: var(--strip); border-bottom: 1px solid var(--rule-strong); }
.trow { border-bottom: 1px solid var(--rule); font: 400 .8rem/1.45 var(--sans); }
.trow:last-child { border-bottom: 0; }
.tfrom { font-weight: 600; }
.tfrom.is-cont { color: transparent; }
.trow--none .tnone { grid-column: 2 / -1; color: var(--ink-4); font-style: italic; }
.actor { display: inline-flex; align-items: center; gap: .3rem; font: 500 .68rem/1 var(--mono);
  color: var(--ink-3); }
.actor-mark { width: .45rem; height: .45rem; flex: none; border: 1.5px solid var(--ink-3); }
.actor--person .actor-mark { border-radius: 50%; }
.trow--system { background: var(--paper-sunk); }

.timeline { list-style: none; margin: 0; padding: 0 0 0 1rem;
  border-left: 2px solid var(--rule-strong); display: grid; gap: .6rem; }
.tl-entry { position: relative; font: 400 .85rem/1.5 var(--sans); }
.tl-mark { position: absolute; left: -1.45rem; top: .4em; width: .5rem; height: .5rem;
  border-radius: 50%; border: 1.5px solid var(--ink-3); background: var(--paper); }
.tl-rule { margin: .9rem 0 0; font: 400 .74rem/1.5 var(--sans); color: var(--ink-4); }

/* ---------- anchors: the primary visual per domain ---------- */

.anchor {
  margin: 0 0 2.4rem; border: 1px solid var(--rule-strong); border-radius: var(--radius);
  background: var(--paper-raised); overflow: hidden;
}
.a-strip {
  display: flex; flex-wrap: wrap; align-items: baseline; gap: .45rem;
  padding: .55rem .95rem; background: var(--strip); border-bottom: 1px solid var(--rule-strong);
  font: 500 .64rem/1.5 var(--mono); letter-spacing: .12em; text-transform: uppercase;
}
.a-strip-k { color: var(--ink-2); font-weight: 700; }
.a-strip-sep { color: var(--ink-4); }
.a-strip-t { color: var(--accent); letter-spacing: .08em; }
.a-body { padding: 1.1rem 1.05rem .9rem; display: grid; gap: 1.5rem; }
.a-block { display: grid; gap: .6rem; }
.a-head { padding-bottom: .35rem; border-bottom: 1px solid var(--rule); }
.a-cite { display: block; margin-top: .2rem; font-size: .62rem; }
.a-cite code { color: var(--ink-4); font-size: 1em; }
.a-quote { color: var(--ink); }
.a-derived {
  margin: .2rem 0 0; padding-top: .7rem; border-top: 1px solid var(--rule);
  font: 400 .7rem/1.5 var(--sans); color: var(--ink-4);
}

.a-obj { display: inline-flex; align-items: center; gap: .3rem; font: 600 .78rem/1.3 var(--sans); }
.a-obj-mark { width: .5rem; height: .5rem; flex: none; border: 1.5px solid var(--ink-3); }
.a-obj--account .a-obj-mark { transform: rotate(45deg); }
.a-obj--workspace .a-obj-mark { border-width: 2px; }
.a-obj--project .a-obj-mark { height: .36rem; }
.a-obj--task .a-obj-mark { width: .34rem; height: .34rem; background: var(--ink-3); }

.a-chain { display: flex; flex-wrap: wrap; align-items: stretch; gap: .4rem; }
.a-card {
  flex: 1 1 9rem; min-width: 8.5rem; padding: .7rem .75rem;
  border: 1px solid var(--rule-strong); border-radius: var(--radius); background: var(--paper);
}
.a-card-mark { width: .8rem; height: .8rem; margin-bottom: .45rem; border: 2px solid var(--accent); }
.a-card--account .a-card-mark { transform: rotate(45deg); }
.a-card--workspace .a-card-mark { border-width: 3px; border-style: double; }
.a-card--project .a-card-mark { height: .55rem; }
.a-card--task .a-card-mark { width: .5rem; height: .5rem; background: var(--accent); }
.a-card-name { font: 700 .9rem/1.2 var(--sans); }
.a-card-gloss { font: 400 .72rem/1.45 var(--sans); color: var(--ink-3); margin-top: .2rem; }
.a-chain-link { display: flex; flex-direction: column; align-items: center; justify-content: center;
  padding: 0 .15rem; }
.a-chain-arrow { font: 400 1rem/1 var(--sans); color: var(--ink-3); }
.a-chain-word { font: 500 .54rem/1.4 var(--mono); letter-spacing: .1em; text-transform: uppercase;
  color: var(--ink-4); }

.a-layers { display: grid; gap: .4rem; }
.a-layer {
  display: grid; grid-template-columns: 7rem 13rem minmax(0,1fr);
  gap: .2rem .8rem; align-items: baseline;
  padding: .5rem .6rem; border: 1px solid var(--rule); border-radius: var(--radius);
  background: var(--paper);
}
.a-layer-name { font: 700 .8rem/1.3 var(--sans); }
.a-layer-edge { display: flex; align-items: center; gap: .35rem; flex-wrap: wrap; }
.a-layer-dst { font: 500 .74rem/1.3 var(--mono); color: var(--ink-3); }
.a-arrow { color: var(--ink-3); }
.a-layer-rule { font: 400 .82rem/1.5 var(--sans); color: var(--ink-2); }
.a-layer .a-cite { grid-column: 3; }

.a-facts { display: grid; gap: .3rem; }
.a-fact {
  display: grid; grid-template-columns: 9rem 8rem minmax(0,1fr); gap: .2rem .8rem;
  align-items: baseline; padding: .45rem .6rem; border-bottom: 1px solid var(--rule);
}
.a-fact-k { font: 500 .62rem/1.6 var(--mono); letter-spacing: .08em; text-transform: uppercase;
  color: var(--ink-4); }
.a-fact-v { font: 700 .82rem/1.4 var(--sans); }
.a-fact-r { font: 400 .8rem/1.5 var(--sans); color: var(--ink-2); }
.a-fact .a-cite { grid-column: 3; }

.a-flow { display: grid; gap: .35rem; }
.a-flow-row { padding: .45rem .6rem; border: 1px solid var(--rule); border-radius: var(--radius);
  background: var(--paper); }
.a-flow-row--absent { background: var(--paper-sunk); border-style: dashed; }
.a-flow-line { display: flex; flex-wrap: wrap; align-items: center; gap: .45rem; }
.a-flow-src, .a-flow-dst { font: 500 .82rem/1.35 var(--sans); }
.a-flow-row--absent .a-flow-dst { color: var(--ink-3); }
.a-flow-arrow { display: inline-flex; align-items: center; gap: .3rem; color: var(--ink-3); }
.a-flow-row--absent .a-flow-arrow { color: var(--s-disagree); }
.a-flow-row--causes .a-flow-arrow { color: var(--accent); }
.a-flow-meaning { font: 500 .54rem/1 var(--mono); letter-spacing: .1em; text-transform: uppercase;
  color: var(--ink-4); }
.a-flow-label { font: 400 .78rem/1.5 var(--sans); color: var(--ink-3); margin-top: .15rem; }

.a-verdict {
  display: grid; grid-template-columns: auto auto minmax(0,1fr); gap: .3rem 1.1rem;
  align-items: center; padding: .8rem .9rem; border: 1px solid var(--accent);
  border-radius: var(--radius); background: var(--accent-soft);
}
.a-tallies { display: flex; gap: 1rem; }
.a-tally { display: flex; flex-direction: column; }
.a-tally-n { font: 700 1.5rem/1 var(--sans); letter-spacing: -.03em; }
.a-tally-w { font: 500 .58rem/1.5 var(--mono); letter-spacing: .1em; text-transform: uppercase;
  color: var(--ink-3); }
.a-verdict-mark {
  font: 700 .66rem/1 var(--mono); letter-spacing: .18em; color: var(--accent);
  border: 1.5px solid var(--accent); border-radius: var(--radius); padding: .35rem .55rem;
}
.a-verdict-rule { font: 500 .86rem/1.45 var(--sans); }
.a-verdict .a-cite { grid-column: 3; }

.a-routes { display: grid; gap: .8rem; grid-template-columns: repeat(auto-fit, minmax(17rem, 1fr)); }
.a-route { padding: .8rem .85rem; border: 1px solid var(--rule-strong); border-radius: var(--radius);
  background: var(--paper); display: grid; gap: .45rem; align-content: start; }
.a-route--unconditional { border-color: var(--accent); }
.a-route-name { font: 700 .88rem/1.3 var(--sans); }
.a-route-trigger { font: 500 .68rem/1.5 var(--mono); color: var(--ink-3); }
.a-gates { display: grid; gap: .25rem; }
.a-gate { display: grid; grid-template-columns: 1.1rem minmax(0,1fr); gap: .1rem .45rem;
  padding: .4rem .5rem; border: 1px solid var(--rule); border-radius: var(--radius);
  background: var(--paper-sunk); }
.a-gate-n { font: 700 .62rem/1.6 var(--mono); color: var(--accent); }
.a-gate-t { font: 400 .78rem/1.45 var(--sans); }
.a-gate .a-cite { grid-column: 2; }
.a-and { font: 700 .58rem/1 var(--mono); letter-spacing: .18em; color: var(--ink-4);
  text-align: center; padding: .1rem 0; }
.a-gates--none .a-nogate {
  font: 500 .66rem/1.5 var(--mono); letter-spacing: .06em; color: var(--accent);
  border: 1px dashed var(--accent); border-radius: var(--radius); padding: .4rem .5rem;
  text-align: center;
}
.a-route-arrow { text-align: center; color: var(--ink-4); font-size: .7rem; }
.a-route-outcome { text-align: center; }
.a-route-rule { font: 400 .8rem/1.5 var(--sans); color: var(--ink-2); }
.a-today { border-top: 1px solid var(--rule); padding-top: .5rem; display: grid; gap: .3rem; }
.a-today-k { font: 700 .58rem/1 var(--mono); letter-spacing: .16em; text-transform: uppercase;
  color: var(--s-decided); }
.a-today-row { font: 400 .76rem/1.45 var(--sans); color: var(--ink-2); }

.a-caps { border: 1px solid var(--rule); border-radius: var(--radius); overflow: hidden; }
.a-cap-head, .a-cap-row {
  display: grid; grid-template-columns: 11rem repeat(2, minmax(0,1fr)); gap: .5rem;
  align-items: center; padding: .5rem .7rem;
}
.a-cap-head { background: var(--strip); border-bottom: 1px solid var(--rule-strong); }
.a-cap-col { font: 500 .58rem/1.4 var(--mono); letter-spacing: .08em; text-transform: uppercase;
  color: var(--ink-4); text-align: center; }
.a-cap-row { border-bottom: 1px solid var(--rule); }
.a-cap-row:last-child { border-bottom: 0; }
.a-cap-name { font: 700 .82rem/1.3 var(--sans); }
.a-cap-cell { display: flex; flex-direction: column; align-items: center; gap: .2rem; }
.a-cap-mark { width: .78rem; height: .5rem; }
.a-cap-cell--yes .a-cap-mark {
  border-left: 2px solid var(--s-today); border-bottom: 2px solid var(--s-today);
  transform: rotate(-45deg); width: .6rem; height: .34rem;
}
.a-cap-cell--no .a-cap-mark { border-top: 2px solid var(--ink-4); height: 0; }
.a-cap-word { font: 500 .56rem/1 var(--mono); letter-spacing: .08em; text-transform: uppercase;
  color: var(--ink-4); }
.a-cap-cell--yes .a-cap-word { color: var(--s-today); }
.a-cap-note { font: 400 .78rem/1.5 var(--sans); color: var(--ink-2);
  border-left: 2px solid var(--rule-strong); padding-left: .7rem; }

.a-invariant {
  display: flex; flex-wrap: wrap; align-items: center; gap: .6rem;
  padding: .8rem .9rem; border: 1.5px solid var(--s-disagree); border-radius: var(--radius);
  background: var(--paper);
}
.a-inv-l, .a-inv-r { font: 700 .95rem/1.2 var(--sans); }
.a-inv-op { display: inline-flex; align-items: center; gap: .35rem;
  font: 700 .62rem/1 var(--mono); letter-spacing: .14em; text-transform: uppercase;
  color: var(--s-disagree); }
.a-inv-mark { width: .8rem; height: .8rem; border: 1.5px solid var(--s-disagree);
  border-radius: 50%; position: relative; }
.a-inv-mark::after { content: ""; position: absolute; left: -1px; right: -1px; top: 45%;
  border-top: 1.5px solid var(--s-disagree); transform: rotate(-45deg); }
.a-inv-scope { font: 500 .66rem/1.4 var(--mono); color: var(--ink-3); }
.a-inv-rule { font: 400 .82rem/1.5 var(--sans); color: var(--ink-2); }
.a-still { display: grid; gap: .15rem; font: 400 .8rem/1.5 var(--sans); color: var(--ink-2);
  border-left: 2px solid var(--accent); padding-left: .7rem; }
.a-still-k { font: 700 .56rem/1 var(--mono); letter-spacing: .14em; text-transform: uppercase;
  color: var(--accent); }

/* ---------- orientation map (landing) ---------- */

.orientation { margin: 2rem 0; }
.om-title { font: 700 1.25rem/1.2 var(--sans); letter-spacing: -.02em; margin: 0 0 .4rem; }
.om-derived { max-width: 42rem; margin: 0 0 1.4rem; padding: 0;
  font: 400 .76rem/1.55 var(--sans); color: var(--ink-3);
  display: flex; gap: .45rem; align-items: baseline; }
.om-derived-mark { display: inline-block; width: .6rem; height: .6rem; flex: none;
  border: 1.5px dashed var(--rule-strong); position: relative; top: .05em; }
.om-block { margin: 0 0 1.6rem; }
.om-h3 { font: 700 .92rem/1.3 var(--sans); margin: 0 0 .3rem; }
.om-sub { font: 400 .8rem/1.5 var(--sans); color: var(--ink-3); margin: 0 0 .8rem; }
.om-rows { display: grid; gap: .4rem; }
.om-row { border: 1px solid var(--rule); border-radius: var(--radius);
  background: var(--paper-raised); padding: .5rem .65rem; }
.om-row--derived { border-style: dashed; }
.om-row--absent { background: var(--paper-sunk); }
.om-line { display: flex; flex-wrap: wrap; align-items: center; gap: .45rem; margin-bottom: .25rem; }
.om-arrow { display: inline-flex; align-items: center; gap: .3rem; color: var(--ink-3); }
.om-arrow-meaning { font: 500 .54rem/1 var(--mono); letter-spacing: .1em; text-transform: uppercase;
  color: var(--ink-4); }
.om-arrow--causes { color: var(--accent); }
.om-arrow--absent { color: var(--s-disagree); }
.om-label { font: 400 .82rem/1.5 var(--sans); color: var(--ink-2); }
.om-cite { display: block; margin-top: .25rem; font-size: .62rem; }
.om-cite code { color: var(--ink-4); }
.om-lanes { display: grid; gap: .7rem; grid-template-columns: repeat(auto-fit, minmax(15.5rem, 1fr)); }
.om-lane { border: 1px solid var(--rule-strong); border-radius: var(--radius);
  background: var(--paper-raised); padding: .8rem .85rem; display: flex; flex-direction: column; }
.om-lane-title { font: 700 .88rem/1.3 var(--sans); margin: 0 0 .2rem; }
.om-lane-lead { font: 400 .76rem/1.5 var(--sans); color: var(--ink-3); margin: 0 0 .7rem; }
.om-lane-rows { list-style: none; margin: 0 0 .8rem; padding: 0; display: grid; gap: .55rem; }
.om-lane-rows li { font: 400 .8rem/1.5 var(--sans); border-left: 2px solid var(--rule-strong);
  padding-left: .6rem; }
.om-lane-foot { margin-top: auto; padding-top: .65rem; border-top: 1px solid var(--rule);
  display: grid; gap: .45rem; font: 400 .78rem/1.45 var(--sans); }
.om-gives-k, .om-notgives-k { display: block; font: 700 .54rem/1 var(--mono);
  letter-spacing: .14em; text-transform: uppercase; color: var(--ink-4); margin-bottom: .2rem; }
.om-notgives { padding-left: .7rem; border-left: 2px solid var(--s-disagree); }
.om-notgives-k { color: var(--s-disagree); }
.om-positions { display: grid; gap: .35rem; margin-bottom: .8rem; }
.om-pos { display: grid; grid-template-columns: 9rem minmax(0,1fr); gap: .15rem .7rem;
  border-bottom: 1px solid var(--rule); padding: .45rem .1rem; align-items: baseline; }
.om-pos-name { display: inline-flex; align-items: center; gap: .35rem; font: 700 .8rem/1.3 var(--sans); }
.om-pos-mark { width: .5rem; height: .5rem; border: 1.5px solid var(--accent); flex: none; }
.om-pos-desc { font: 400 .8rem/1.5 var(--sans); color: var(--ink-2); }
.om-pos .om-cite { grid-column: 2; }
.om-constraint { display: grid; grid-template-columns: auto auto 1fr; gap: .2rem .6rem;
  align-items: baseline; padding: .7rem .8rem; margin-bottom: .5rem;
  border: 1px solid var(--s-disagree); border-radius: var(--radius); background: var(--paper-raised);
  font: 400 .82rem/1.5 var(--sans); }
.om-constraint-mark { width: .65rem; height: .65rem; border: 1.5px solid var(--s-disagree);
  border-radius: 50%; position: relative; align-self: center; }
.om-constraint-mark::after { content: ""; position: absolute; inset: -1px;
  border-top: 1.5px solid var(--s-disagree); transform: rotate(-45deg); top: 45%; }
.om-constraint-k, .om-additive-k { font: 700 .56rem/1 var(--mono); letter-spacing: .14em;
  text-transform: uppercase; color: var(--s-disagree); white-space: nowrap; }
.om-constraint .om-cite { grid-column: 3; }
.om-additive { display: grid; grid-template-columns: auto 1fr; gap: .2rem .6rem;
  align-items: baseline; padding: .5rem 0; font: 400 .8rem/1.5 var(--sans);
  border-top: 1px solid var(--rule); }
.om-additive-k { color: var(--accent); }
.om-additive .om-cite { grid-column: 2; }
.om-cross-rows { list-style: none; margin: 0; padding: 0; display: grid; gap: .5rem; }
.om-cross-rows li { font: 400 .82rem/1.5 var(--sans); border-left: 2px solid var(--rule-strong);
  padding-left: .7rem; }

/* ---------- landing ---------- */

.hero { margin: 0 0 1.4rem; }
.hero-eyebrow {
  font: 500 .62rem/1.5 var(--mono); letter-spacing: .18em; text-transform: uppercase;
  color: var(--accent); margin: 0 0 .5rem;
}
.hero-title { font: 700 2.5rem/1.02 var(--sans); letter-spacing: -.04em; margin: 0;
  display: flex; flex-direction: column; }
.hero-sub { font: 500 .68rem/1 var(--mono); letter-spacing: .2em; text-transform: uppercase;
  color: var(--ink-3); margin-top: .6rem; }
.hero-lead { max-width: 38rem; font: 400 1rem/1.6 var(--serif); color: var(--ink-2);
  margin: .9rem 0 0; }
.hero-chips { display: flex; flex-wrap: wrap; gap: .4rem; margin: 1rem 0 1.2rem;
  padding-bottom: 1.2rem; border-bottom: 2px solid var(--ink); }
.hero-chip {
  display: inline-flex; align-items: baseline; gap: .4rem;
  border: 1px solid var(--rule-strong); border-radius: var(--radius); padding: .3rem .55rem;
  font: 400 .68rem/1.4 var(--mono); color: var(--ink-3);
}
.hero-chip b { color: var(--ink); font-weight: 700; }

.standing { max-width: 44rem; margin: 0 0 1.8rem; }
.standing summary {
  cursor: pointer; list-style: none; font: 500 .66rem/1 var(--mono);
  letter-spacing: .1em; text-transform: uppercase; color: var(--ink-3);
  padding: .45rem 0; display: flex; gap: .5rem; align-items: center;
}
.standing summary::-webkit-details-marker { display: none; }
.standing summary::before { content: "▸"; }
.standing[open] summary::before { content: "▾"; }
.standing-body { padding: .3rem 0 .5rem .9rem; border-left: 2px solid var(--accent); }
.standing-body p { font: 400 .88rem/1.6 var(--serif); color: var(--ink-2); margin: 0 0 .6rem; }
.standing-body p:last-child { margin-bottom: 0; }
.standing blockquote { border: 0; padding: 0; margin: 0; }

.gateways { margin: 2.2rem 0 0; padding-top: 1.4rem; border-top: 1px solid var(--rule); }
.gateways-h { font: 700 .95rem/1.3 var(--sans); margin: 0 0 .9rem; }
.gate-grid { display: grid; gap: .5rem; grid-template-columns: repeat(auto-fit, minmax(13rem, 1fr)); }
.gate { display: grid; gap: .2rem; text-decoration: none; padding: .7rem .8rem;
  border: 1px solid var(--rule); border-radius: var(--radius); background: var(--paper-raised); }
.gate:hover { border-color: var(--rule-strong); }
.gate-id { font: 600 .6rem/1 var(--mono); color: var(--accent); letter-spacing: .08em; }
.gate-title { font: 700 .88rem/1.3 var(--sans); }
.gate-blurb { font: 400 .74rem/1.45 var(--sans); color: var(--ink-3); }

/* ---------- filters, generated views, index ---------- */

.filters {
  display: flex; flex-wrap: wrap; align-items: center; gap: .4rem .8rem;
  margin: 0 0 1.4rem; padding: .5rem 0; border-bottom: 1px solid var(--rule);
  font: 400 .74rem var(--sans);
}
.filters-label { font: 500 .58rem/1 var(--mono); letter-spacing: .16em;
  text-transform: uppercase; color: var(--ink-4); }
.fbox { display: inline-flex; align-items: center; gap: .3rem; cursor: pointer;
  font: 500 .68rem var(--mono); }
.fbox input { margin: 0; }
.filters-note { flex-basis: 100%; font-size: .66rem; color: var(--ink-4); }
body:not(.js) .filters { display: none; }

.generated { margin: 1rem 0 1.8rem; padding: .8rem .9rem;
  border: 1px dashed var(--rule-strong); border-radius: var(--radius); background: var(--paper-sunk); }
.generated-k { font: 500 .58rem/1.5 var(--mono); letter-spacing: .12em; text-transform: uppercase;
  color: var(--ink-4); margin-bottom: .7rem; }
.generated-count { font: 400 .72rem var(--sans); color: var(--ink-4); margin: .8rem 0 0; }
.nd-list { list-style: none; margin: 0; padding: 0; display: grid; gap: .5rem; }
.nd-item { display: grid; grid-template-columns: 6rem minmax(0,1fr); gap: .1rem .7rem;
  font: 400 .82rem/1.5 var(--sans); }
.nd-id { text-decoration: none; font: 500 .68rem/1.6 var(--mono); }
.nd-where { grid-column: 1; font: 500 .62rem var(--mono); color: var(--ink-4); }
.nd-q { grid-column: 2; grid-row: 1 / span 2; }
.sd-cards { display: grid; gap: .6rem; grid-template-columns: repeat(auto-fit, minmax(17rem, 1fr)); }
.sd-card { border: 1px solid var(--rule); border-radius: var(--radius);
  background: var(--paper-raised); padding: .75rem .8rem; display: grid; gap: .4rem; }
.sd-title { font: 700 .85rem/1.35 var(--sans); }
.sd-link { font: 400 .76rem var(--sans); color: var(--accent); }
.sd-note { font: 400 .7rem/1.5 var(--sans); color: var(--ink-3); margin: 0; }

.lede { max-width: 42rem; font: 400 .95rem/1.6 var(--serif); color: var(--ink-2); }
.note { max-width: 44rem; font: 400 .78rem/1.55 var(--sans); color: var(--ink-3);
  border-left: 2px solid var(--rule-strong); padding-left: .8rem; margin: 1rem 0; }
.prose { max-width: var(--measure); margin: 0 0 1rem; }
.prose p { font: 400 .9rem/1.6 var(--serif); color: var(--ink-2); margin: 0 0 .7rem; }
.prose ul { margin: 0 0 .9rem; padding-left: 1.1rem; font: 400 .88rem/1.6 var(--serif); }

.claim-index { min-width: 58rem; font-size: .78rem; }
.claim-index tbody th { white-space: nowrap; font-size: .78rem; }
.ci-state { display: inline-flex; align-items: center; gap: .3rem; white-space: nowrap;
  font: 500 .66rem var(--mono); }
.ci-cov { color: var(--ink-4); }
.ci-via code { color: var(--ink-4); }

/* ---------- prototype ---------- */

.prototype { margin: 1rem 0 1.6rem; }
.prototype-note { max-width: 42rem; font: 400 .78rem/1.55 var(--sans); color: var(--ink-3);
  margin: 0 0 1rem; }
.proto { margin: 0 0 1.3rem; }
.proto-head { display: flex; align-items: center; gap: .45rem; margin: 0 0 .6rem;
  font: 700 .64rem/1 var(--mono); letter-spacing: .14em; text-transform: uppercase;
  color: var(--ink-2); padding-bottom: .35rem; border-bottom: 1px solid var(--rule); }
.proto-count { margin-left: auto; font-weight: 500; color: var(--ink-4); }
.proto-mark { width: .62rem; height: .62rem; flex: none; }
.proto--must-preserve .proto-mark { background: var(--ink-2); }
.proto--must-not-assume .proto-mark { border: 1.5px solid var(--ink-2); border-radius: 50%;
  background: linear-gradient(45deg, transparent 45%, var(--ink-2) 45%, var(--ink-2) 55%, transparent 55%); }
.proto--not-prescribed .proto-mark { border: 1.5px dashed var(--ink-3); }
.proto-list { list-style: none; margin: 0; padding: 0; display: grid; gap: .5rem; }
.proto-list li { border-left: 2px solid var(--rule-strong); padding: .05rem 0 .05rem .8rem;
  font: 400 .85rem/1.5 var(--sans); max-width: 44rem; }
.proto--must-not-assume .proto-list li { border-left-style: dashed; }
.proto--not-prescribed .proto-list li { border-left-style: dotted; }
.proto-list + .proto-list { margin-top: .5rem; }
.proto-from { display: block; margin-top: .2rem; font-size: .62rem; color: var(--ink-4); }
.proto-from-label { text-transform: uppercase; letter-spacing: .1em; margin-right: .35rem;
  font-family: var(--mono); }
.from-chip { margin-right: .3rem; }
.from-chip code { color: var(--ink-3); }
.from-chip--decided-na code { color: var(--s-decided); }
.from-chip--not-decided code { color: var(--s-open); }
.from-chip--sources-disagree code { color: var(--s-disagree); }
.proto-domain { font: 700 .8rem/1 var(--sans); margin: 1rem 0 .5rem; color: var(--ink-3); }

/* ---------- sources ---------- */

.sources { margin-top: 1.8rem; }
.src { border: 1px solid var(--rule); border-radius: var(--radius); background: var(--paper-raised);
  margin: 0 0 .7rem; scroll-margin-top: 4.5rem; }
.src-head { display: flex; flex-wrap: wrap; align-items: baseline; gap: .5rem;
  padding: .55rem .85rem; background: var(--strip); border-bottom: 1px solid var(--rule); }
.src-kind { display: inline-flex; align-items: center; gap: .3rem;
  font: 500 .56rem/1 var(--mono); letter-spacing: .12em; text-transform: uppercase;
  color: var(--ink-3); }
.src-kind-mark { width: .45rem; height: .45rem; border: 1.5px solid currentColor; }
.src-kind[data-kind="impl"] .src-kind-mark { border-width: 3px; border-style: double; }
.src-kind[data-kind="evidence"] .src-kind-mark { border-style: dashed; border-radius: 50%; }
.src-name { font: 700 .88rem/1.3 var(--sans); margin: 0; }
.src-id { font: 500 .64rem var(--mono); color: var(--ink-4); }
.src-uses { margin-left: auto; font: 400 .64rem var(--mono); color: var(--ink-4); }
.src-uses--none { max-width: 15rem; text-align: right; }
.src-scope { font: 400 .8rem/1.55 var(--sans); color: var(--ink-2); margin: .7rem .85rem;
  max-width: 50rem; }
.src-scope-k { display: block; font: 500 .56rem/1 var(--mono); letter-spacing: .12em;
  text-transform: uppercase; color: var(--ink-4); margin-bottom: .3rem; }
.src-meta { display: flex; flex-wrap: wrap; gap: .25rem 1.2rem; margin: 0 .85rem .7rem;
  font: 400 .68rem/1.5 var(--mono); }
.src-meta div { display: flex; gap: .4rem; max-width: 100%; }
.src-meta dt { color: var(--ink-4); white-space: nowrap; }
.src-meta dd { margin: 0; min-width: 0; overflow-wrap: anywhere; }
.src-files { margin: 0 .85rem .7rem; border: 1px solid var(--rule); border-radius: var(--radius); }
.src-file-list { margin: 0; padding: 0 .8rem .8rem 2rem; display: grid; gap: .2rem;
  font-size: .68rem; font-family: var(--mono); }
.src-file-list li, .src-file-list code, .src-meta dd code { overflow-wrap: anywhere; }
.src-note { font: 400 .74rem/1.55 var(--sans); color: var(--ink-3);
  border-top: 1px solid var(--rule); padding: .6rem .85rem; margin: 0; }
.src--evidence { border-left: 3px dashed var(--rule-strong); }

.prov-table { margin: 1.4rem 0 1rem; border: 1px solid var(--rule); border-radius: var(--radius);
  background: var(--paper-raised); }
.prov-count { margin-left: auto; color: var(--ink-4); }
.prov-table-body { padding: 0 .85rem .8rem; }
.prov-table table { min-width: 44rem; font-size: .76rem; }
.prov-foot { font: 400 .7rem/1.5 var(--sans); color: var(--ink-4); margin: .5rem 0 0; }

[data-state].is-filtered-out { display: none; }

/* ---------- responsive ---------- */

@media (max-width: 62rem) {
  :root { --tok-w: 8rem; }
  .layout { grid-template-columns: 1fr; grid-template-areas: "mast" "nav" "main" "foot"; }
  .sitenav { position: static; max-height: none; border-right: 0;
    border-bottom: 1px solid var(--rule); padding: .9rem 1.1rem 1.2rem; }
  body.js .sitenav { display: none; }
  body.js .sitenav.is-open { display: block; }
  .nav-toggle { display: inline-flex; align-items: center; gap: .4rem; cursor: pointer;
    background: none; border: 1px solid var(--rule-strong); border-radius: var(--radius);
    padding: .35rem .6rem; font: 600 .72rem var(--sans); color: var(--ink-2); }
  .nav-toggle-bars { width: .8rem; height: .62rem; border-top: 2px solid currentColor;
    border-bottom: 2px solid currentColor; position: relative; }
  .nav-toggle-bars::after { content: ""; position: absolute; left: 0; right: 0; top: 50%;
    border-top: 2px solid currentColor; transform: translateY(-1px); }
  .nav-list { display: flex; flex-wrap: wrap; gap: .25rem; }
  .nav-group { flex-basis: 100%; margin: .7rem 0 .2rem; }
  .nav-item a { grid-template-columns: auto auto; gap: .4rem; }
  .main { padding: 1.5rem 1.1rem 3.5rem; }
  .footer, .masthead { padding-left: 1.1rem; padding-right: 1.1rem; }
  .a-layer, .a-fact { grid-template-columns: 1fr; gap: .25rem; }
  .a-layer .a-cite, .a-fact .a-cite { grid-column: 1; }
  .a-cap-head { display: none; }
  .a-cap-row { grid-template-columns: 1fr; gap: .35rem; }
  .a-cap-cell { flex-direction: row; justify-content: flex-start; gap: .45rem; }
  .a-chain { flex-direction: column; align-items: stretch; }
  .a-card { flex: 0 0 auto; min-width: 0; }
  .a-chain-link { flex-direction: row; gap: .4rem; padding: .1rem 0 .1rem .6rem;
    justify-content: flex-start; }
  .om-pos, .om-constraint, .om-additive { grid-template-columns: 1fr; }
  .om-pos .om-cite, .om-constraint .om-cite, .om-additive .om-cite { grid-column: 1; }
  .transitions-head { display: none; }
  .trow { grid-template-columns: 1fr; gap: .12rem; padding: .6rem .7rem; }
  .tfrom.is-cont { color: inherit; }
  .tfrom::before { content: "from "; color: var(--ink-4); font-weight: 400; }
  .tto::before { content: "to "; color: var(--ink-4); }
  .tactor::before { content: "made by "; color: var(--ink-4); }
  .trow--none .tnone { grid-column: 1; }
  .edge-line, .om-line, .a-flow-line { display: grid; justify-items: start; gap: .3rem; }
  .edge-arrow, .om-arrow, .a-flow-arrow { margin-left: .6rem; }
  .nd-item { grid-template-columns: 1fr; }
  .nd-q { grid-column: 1; grid-row: auto; }
  .hero-title { font-size: 1.9rem; }
  .part-title { font-size: 1.45rem; }
  .part-head, .sec-title { grid-template-columns: 2.2rem 1fr; }
  .sec-anchor { display: none; }
  .src-uses { margin-left: 0; text-align: left; }
}

@media (max-width: 42rem) {
  :root { --tok-w: auto; }
  .rule-sum { grid-template-columns: minmax(0,1fr) auto;
    grid-template-areas: "main tok" "id id"; row-gap: .25rem; }
  .rule-main { grid-area: main; }
  .tok { grid-area: tok; }
  .rule-id { grid-area: id; }
  .rule-more { display: none; }
  .rule-body { padding-left: .2rem; }
  .matrix-head { grid-template-columns: 1fr; gap: .25rem; }
}

@media (max-width: 30rem) {
  .main { padding: 1.2rem .85rem 3rem; }
  .a-body { padding: .8rem .75rem .7rem; }
  .figure, .panel, .record, .om-lane, .a-route { border-radius: 0; }
}

@media print {
  .sitenav, .nav-toggle, .filters, .skip { display: none; }
  .layout { display: block; }
  details { display: block; }
  details > summary { display: none; }
  .rule-body { display: block !important; }
  body { background: #fff; color: #000; }
}

@media (prefers-reduced-motion: reduce) { * { animation: none !important; transition: none !important; } }

/* ---------- register + constraint anchors ---------- */

.a-regs, .a-cons { display: grid; gap: .6rem;
  grid-template-columns: repeat(auto-fit, minmax(15rem, 1fr)); }
.a-reg, .a-con {
  display: grid; grid-template-columns: auto 1fr; gap: .15rem .55rem;
  align-content: start; text-decoration: none; padding: .8rem .85rem;
  border: 1px solid var(--rule-strong); border-radius: var(--radius); background: var(--paper);
}
.a-reg:hover { border-color: var(--ink-3); }
.a-reg-mark, .a-con-mark { align-self: center; }
.a-reg-n, .a-con-n { font: 700 1.5rem/1 var(--sans); letter-spacing: -.03em; }
.a-reg-name, .a-con-name { grid-column: 1 / -1; font: 700 .8rem/1.3 var(--sans); margin-top: .3rem; }
.a-reg--decided-na .a-reg-name { color: var(--s-decided); }
.a-reg--not-decided .a-reg-name { color: var(--s-open); }
.a-reg--sources-disagree .a-reg-name { color: var(--s-disagree); }
.a-reg-meaning, .a-con-meaning { grid-column: 1 / -1;
  font: 400 .76rem/1.5 var(--sans); color: var(--ink-3); }
.a-reg-ids { grid-column: 1 / -1; margin-top: .4rem; padding-top: .4rem;
  border-top: 1px solid var(--rule); font-size: .62rem; line-height: 1.9; }
.a-reg-ids code { color: var(--ink-4); }
.a-con-foot { margin: .8rem 0 0; font: 400 .74rem/1.5 var(--sans); color: var(--ink-4); }

/* ---------- DNA record: capability + today on the face ---------- */

.dna-title { font: 700 .85rem/1.35 var(--sans); margin-left: .5rem; }
.dna-face { padding: .8rem .95rem; display: grid; gap: .6rem; }
.dna-row { display: grid; grid-template-columns: 6rem minmax(0,1fr); gap: .55rem; align-items: baseline; }
.dna-k { font: 700 .58rem/1.8 var(--mono); letter-spacing: .14em; text-transform: uppercase;
  color: var(--ink-4); }
.dna-row--today .dna-k { color: var(--s-decided); }
.dna-v p { font: 400 .88rem/1.55 var(--serif); color: var(--ink-2); margin: 0 0 .5rem; }
.dna-v p:last-child { margin-bottom: 0; }
.dna-row--today .dna-v p { font-weight: 600; color: var(--ink); }
.dna-more { border-top: 1px solid var(--rule); }
.dna-more > summary { cursor: pointer; list-style: none; padding: .5rem .95rem;
  font: 500 .66rem/1 var(--mono); letter-spacing: .06em; color: var(--ink-3);
  display: flex; gap: .5rem; align-items: center; }
.dna-more > summary::-webkit-details-marker { display: none; }
.dna-more > summary::before { content: "▸"; }
.dna-more[open] > summary::before { content: "▾"; }
.dna-body { padding: 0 .95rem .8rem; display: grid; gap: .6rem; }

@media (max-width: 42rem) {
  .dna-row { grid-template-columns: 1fr; gap: .15rem; }
}

/* Long identifiers and quoted rules must wrap rather than push the layout. */
.cite-ref, .cite-path, .cite-meta, .cite-lines { overflow-wrap: anywhere; }
.a-quote, .a-route-rule, .a-layer-rule, .a-verdict-rule, .a-inv-rule,
.rule-head, .om-label { overflow-wrap: break-word; }
.a-route, .a-gate, .a-layer, .a-fact, .a-flow-row, .om-row { min-width: 0; }
.a-reg-name { text-decoration: none; }
.a-reg-name:hover { text-decoration: underline; }
.a-reg { align-content: start; }

/* chain connectors carry their own words, one per edge */
.a-chain-link { display: grid; justify-items: center; gap: .1rem; padding: 0 .2rem;
  align-content: center; max-width: 11rem; }
.a-chain-label { font: 400 .68rem/1.4 var(--sans); color: var(--ink-3); text-align: center; }
.a-chain-link--member .a-chain-word { color: var(--accent); }
.a-rider { display: grid; gap: .15rem; padding: .45rem .5rem; margin-top: .1rem;
  border-left: 2px dashed var(--rule-strong); font: 400 .76rem/1.45 var(--sans);
  color: var(--ink-2); }
.a-rider-k { font: 700 .54rem/1 var(--mono); letter-spacing: .14em; text-transform: uppercase;
  color: var(--ink-4); }

/* ---------- accessibility + figure/ground corrections ---------- */

.vh { position: absolute; width: 1px; height: 1px; margin: -1px; padding: 0;
  overflow: hidden; clip: rect(0 0 0 0); clip-path: inset(50%); white-space: nowrap; border: 0; }

/* A focused permalink must be visible. */
.sec-title:focus-within .sec-anchor, .sec-anchor:focus-visible { opacity: 1; }

/* Focus must not be parked under the sticky masthead. */
.rule-sum, .why > summary, .exact > summary, .dna-more > summary,
.standing > summary, .keybox > summary, .prov-table > summary, .src-files > summary,
:where(a, button, summary, input):focus-visible { scroll-margin-top: 5rem; }

/* Scrollable tables are focusable regions. */
.table-scroll:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }

/* Matrix cells carry their words for assistive technology. */
td.yes::before, td.no::before {
  content: attr(data-mark); position: absolute; width: 1px; height: 1px;
  overflow: hidden; clip-path: inset(50%);
}
td.yes, td.no { position: relative; }

/* Figure and ground: three surfaces are allowed to be figures; the rest group by
   grid and whitespace rather than by yet another hairline box. */
.anchor, .figure, .record { background: var(--paper-raised);
  box-shadow: 0 1px 0 rgba(0,0,0,.05), 0 0 0 1px var(--rule-strong); border: 0; }
.a-flow-row, .a-gate, .om-row, .edge, .a-layer, .a-fact {
  border: 0; border-left: 2px solid var(--rule); background: none;
  padding-left: .7rem; border-radius: 0;
}
.a-flow-row--absent, .om-row--absent { border-left-color: var(--s-disagree); background: none; }
.a-flow-row--causes { border-left-color: var(--accent); }
.a-fact { border-bottom: 1px solid var(--rule); }
.a-gate { background: none; }

/* five-condition conjunction */
.a-conds { list-style: none; margin: 0; padding: 0; display: grid; gap: .3rem; }
.a-cond { display: grid; grid-template-columns: 1.3rem 1fr; gap: .5rem; align-items: baseline;
  border-left: 2px solid var(--accent); padding: .3rem 0 .3rem .7rem;
  font: 500 .85rem/1.45 var(--sans); }
.a-cond-n { font: 700 .62rem/1.6 var(--mono); color: var(--accent); }
.a-cond-fail { display: grid; gap: .15rem; margin-top: .5rem; padding: .5rem .6rem;
  border: 1px solid var(--s-disagree); border-radius: var(--radius);
  font: 400 .8rem/1.45 var(--sans); }
.a-cond-fail-k { font: 700 .54rem/1 var(--mono); letter-spacing: .14em; text-transform: uppercase;
  color: var(--s-disagree); }
.a-cond-rule { margin-top: .5rem; font: 400 .8rem/1.5 var(--sans); color: var(--ink-2); }

/* the missing object mark, and one alphabet for all three scales */
.node--workspace .node-mark { border-width: 2px; }

@media (max-width: 62rem) {
  .a-cap-cell::before { content: attr(data-col); font: 500 .56rem/1.4 var(--mono);
    letter-spacing: .08em; text-transform: uppercase; color: var(--ink-4); }
  body:not(.js) .nav-toggle { display: none; }
}

@media print {
  details > summary { display: block; }
  .rule-sum, .why > summary, .dna-more > summary { display: grid; }
}
/* citation chips need air between them */
.a-cite code, .om-cite code { margin-right: .45rem; }
.a-cite code:last-child, .om-cite code:last-child { margin-right: 0; }

@media (max-width: 62rem) {
  .a-verdict { grid-template-columns: 1fr; gap: .6rem; }
  .a-verdict .a-cite { grid-column: 1; }
  .a-tallies { flex-wrap: wrap; gap: .9rem; }
  .a-verdict-mark { justify-self: start; }
  .a-cond { grid-template-columns: 1.3rem 1fr; }
  .a-cond-fail, .a-rider { grid-template-columns: 1fr; }
  .a-invariant { gap: .4rem; }
}
/* A section without a numeric identifier must still use the title column, not
   fall back into the 2.6rem identifier gutter. */
.sec-name { grid-column: 2; }
.sec-anchor { grid-column: 3; }
.part-title { grid-column: 2; }

/* ---------- existence beside access ---------- */

.ea { display: grid; gap: 1rem; grid-template-columns: repeat(auto-fit, minmax(17rem, 1fr)); }
.ea-lane { display: grid; gap: .6rem; align-content: start; padding: .85rem .9rem;
  border-radius: var(--radius); }
.ea-lane--exists { background: var(--paper-sunk); }
.ea-lane--access { background: var(--paper); box-shadow: inset 0 0 0 1px var(--rule-strong); }
.ea-chain { display: grid; gap: .1rem; justify-items: start; }
.ea-node { padding: .4rem .55rem; border: 1px solid var(--rule-strong);
  border-radius: var(--radius); background: var(--paper-raised); }
.ea-node .a-cite { margin-top: .15rem; }
.ea-down { display: flex; align-items: center; gap: .35rem; padding: .1rem 0 .1rem .7rem; }
.ea-down-arrow { color: var(--accent); font-size: .85rem; }
.ea-down-word { font: 700 .54rem/1 var(--mono); letter-spacing: .14em; text-transform: uppercase;
  color: var(--accent); }
.ea-rule { font: 400 .8rem/1.5 var(--sans); color: var(--ink-2);
  border-left: 2px solid var(--rule-strong); padding-left: .7rem; }

.ea-rows { display: grid; gap: .1rem; }
.ea-row { display: grid; grid-template-columns: 1rem minmax(0,1fr); gap: .12rem .55rem;
  align-items: baseline; padding: .42rem 0; border-bottom: 1px solid var(--rule); }
.ea-row:last-child { border-bottom: 0; }
.ea-mark { width: .7rem; height: .55rem; align-self: center; }
.ea-mark--yes { border-left: 2px solid var(--s-today); border-bottom: 2px solid var(--s-today);
  width: .55rem; height: .32rem; transform: rotate(-45deg); }
.ea-mark--no { border-top: 2px solid var(--s-disagree); height: 0; }
.ea-what { font: 500 .85rem/1.4 var(--sans); }

.ea-word { grid-column: 2; font: 500 .6rem/1.5 var(--mono); letter-spacing: .06em;
  text-transform: uppercase; color: var(--ink-4); }
.ea-row--no .ea-word { color: var(--s-disagree); text-transform: none; letter-spacing: 0;
  font-size: .72rem; font-family: var(--sans); }
.ea-row .a-cite { grid-column: 2; }
/* the verdict sits inside a narrow lane: never its three-column desktop grid */
.ea-lane .a-verdict { grid-template-columns: 1fr; gap: .5rem; }
.ea-lane .a-verdict .a-cite, .ea-lane .a-verdict-rule { grid-column: 1; }
.ea-lane .a-verdict-mark { justify-self: start; }
.ea-lane .a-tallies { flex-wrap: wrap; gap: .9rem; }
.ea-lane--access .a-verdict { margin-top: .3rem; }


.om-exists { display: grid; gap: .1rem; justify-items: start; margin-bottom: .9rem;
  padding: .8rem .9rem; background: var(--paper-sunk); border-radius: var(--radius); }