@font-face {
  font-family:Marcellus;
  src:url('/fonts/marcellus-400.woff2') format('woff2');
  font-weight:400;
  font-display:swap;
}
@font-face {
  font-family:Instrument;
  src:url('/fonts/instrument-sans-400-600.woff2') format('woff2');
  font-weight:400 600;
  font-display:swap;
}
@font-face {
  font-family:JetBrains;
  src:url('/fonts/jetbrains-mono-400-500.woff2') format('woff2');
  font-weight:400 500;
  font-display:swap;
}
:root {
  --paper:#eee9df;
  --ink:#292923;
  --muted:#68685e;
  --red:#a93925;
  --line:#c8c4b9;
  --dark:#242822;
  --light:#f3eee2;
  --mono:JetBrains,monospace;
  --serif:Marcellus,Georgia,serif;
  --gutter:clamp(22px,5.5vw,88px);
}
* {
  box-sizing:border-box;
}
html {
  scroll-behavior:smooth;
  scroll-padding-top:30px;
}
body {
  margin:0;
  background:var(--paper);
  color:var(--ink);
  font:16px/1.6 Instrument,Arial,sans-serif;
  -webkit-font-smoothing:antialiased;
}
a {
  color:inherit;
  text-decoration:none;
}
a:hover {
  text-decoration:underline;
  text-underline-offset:5px;
}
a:focus-visible {
  outline:3px solid var(--red);
  outline-offset:6px;
}
::selection {
  background:var(--red);
  color:var(--light);
}
.wrap {
  width:min(100%,1600px);
  padding-inline:var(--gutter);
  margin-inline:auto;
}
.skip {
  position:absolute;
  top:-100px;
  background:var(--paper);
  padding:12px;
  z-index:10;
}
.skip:focus {
  top:10px;
}
.header {
  min-height:105px;
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:24px;
  border-top:5px solid var(--red);
}
.brand {
  display:flex;
  align-items:center;
  font:31px var(--serif);
  letter-spacing:3px;
}
.brand svg {
  width:27px;
  height:36px;
  fill:none;
  stroke:var(--red);
  stroke-width:5;
  margin-right:14px;
}
.brand-dot {
  color:var(--red);
}
nav {
  display:flex;
  align-items:center;
  gap:30px;
  font-size:12px;
}
.nav-cta {
  border-bottom:1px solid var(--ink);
  padding-block:9px;
}
.nav-cta span {
  margin-left:20px;
}
.hero {
  display:grid;
  grid-template-columns:1fr 1fr;
  gap:6%;
  padding-top:68px;
  padding-bottom:65px;
  position:relative;
}
.hero::before {
  content:'';
  position:absolute;
  top:0;
  left:var(--gutter);
  right:var(--gutter);
  height:1px;
  background:var(--line);
}
.eyebrow {
  font:9px/1.6 var(--mono);
  letter-spacing:1.4px;
  margin:0 0 30px;
}
.hero .eyebrow {
  color:var(--red);
  display:flex;
  align-items:center;
  gap:12px;
}
.small-cross {
  font:22px Instrument;
}
h1,h2,h3,h4,p {
  margin-top:0;
}
h1 {
  font:clamp(58px,6.4vw,100px)/1.02 var(--serif);
  letter-spacing:-3px;
  margin-bottom:32px;
}
.red {
  color:var(--red);
}
.hero-lede {
  font-size:23px;
  line-height:1.45;
  letter-spacing:-.4px;
  margin-bottom:18px;
}
.hero-description {
  color:var(--muted);
  font-size:15px;
  max-width:365px;
  margin-bottom:29px;
}
.button {
  display:inline-flex;
  align-items:center;
  gap:50px;
  background:var(--red);
  color:#fff4e6;
  padding:14px 20px;
  font-size:13px;
}
.button span {
  font-size:20px;
}
.button:hover {
  background:#85301f;
  text-decoration:none;
}
.hero-footnote {
  display:flex;
  flex-wrap:wrap;
  gap:8px 20px;
  font:7px var(--mono);
  letter-spacing:.5px;
  margin-top:34px;
  color:var(--muted);
}
.formation {
  background:var(--dark);
  color:var(--light);
  padding:23px 26px 0;
  align-self:start;
  box-shadow:8px 8px 0 #d8d3c7;
  position:relative;
}
.formation::before {
  content:'';
  position:absolute;
  top:0;
  left:0;
  width:48px;
  height:3px;
  background:#ce7256;
}
.diagram-heading {
  display:flex;
  justify-content:space-between;
  gap:15px;
  font:7px/1.5 var(--mono);
  letter-spacing:.6px;
  color:#bebfb0;
  border-bottom:1px solid #55594c;
  padding-bottom:20px;
  margin-bottom:30px;
}
.identity-record {
  display:flex;
  gap:13px;
  align-items:center;
  border:1px solid #797d6b;
  padding:16px 13px;
  background:#31362d;
  position:relative;
}
.record-icon {
  width:37px;
  height:43px;
  border:1px solid #9b9f8a;
  display:grid;
  place-items:center;
  font:15px var(--serif);
  flex-shrink:0;
}
.diagram-label {
  display:block;
  font:7px var(--mono);
  letter-spacing:1.2px;
  color:#c2c6b0;
  margin-bottom:4px;
}
.identity-record h2 {
  font:22px var(--serif);
  margin:0 0 3px;
}
.identity-record p {
  font:8px/1.6 var(--mono);
  margin:0;
  color:#c4c7b8;
}
.identity-record p span {
  padding:0 5px;
}
.record-state {
  font:6px var(--mono);
  letter-spacing:.6px;
  margin-left:auto;
  align-self:start;
  color:#ded9ac;
}
.flow-line {
  height:56px;
  width:1px;
  background:#acae98;
  margin:auto;
  position:relative;
}
.flow-line::after {
  content:'';
  position:absolute;
  bottom:0;
  left:-3px;
  width:7px;
  height:7px;
  border-right:1px solid #acae98;
  border-bottom:1px solid #acae98;
  transform:rotate(45deg);
}
.flow-line span {
  position:absolute;
  left:10px;
  top:20px;
  width:150px;
  font:7px var(--mono);
  color:#b2b7a3;
}
.function-record {
  display:flex;
  align-items:center;
  gap:14px;
  border:1px solid #b7775f;
  padding:14px 17px;
  background:#3d342a;
}
.function-symbol {
  font:36px var(--serif);
  color:#e0ac83;
  line-height:1;
}
.function-record h3 {
  font:19px var(--serif);
  margin:0;
}
.bundle-count {
  font:18px/1.1 var(--serif);
  text-align:center;
  margin-left:auto;
  color:#e3bd9d;
}
.bundle-count small {
  font:6px var(--mono);
  letter-spacing:1px;
}
.branch {
  height:38px;
  display:flex;
  margin:0 16.66%;
  border-top:1px solid #8f9680;
  position:relative;
  margin-top:20px;
}
.branch::before {
  content:'';
  position:absolute;
  top:-21px;
  height:20px;
  width:1px;
  background:#8f9680;
  left:50%;
}
.branch span {
  height:18px;
  width:1px;
  background:#8f9680;
  position:absolute;
  top:0;
}
.branch span:nth-child(2) {
  left:50%;
}
.branch span:nth-child(3) {
  right:0;
}
.target-grid {
  display:grid;
  grid-template-columns:repeat(3,1fr);
  gap:8px;
  margin-top:-20px;
}
.target-grid>div {
  text-align:center;
  border:1px solid #606651;
  padding:13px 4px 10px;
}
.target-number {
  font:15px var(--serif);
  color:#d3b49b;
}
.target-grid h4 {
  font-size:10px;
  font-weight:500;
  margin:6px 0 3px;
}
.target-grid p {
  font:8px var(--mono);
  color:#b9c0a7;
  margin-bottom:12px;
}
.protocol {
  font:6px var(--mono);
  letter-spacing:.3px;
  color:#dedfcf;
}
.reconcile-line {
  display:flex;
  gap:13px;
  align-items:center;
  border-bottom:1px solid #55594c;
  padding:22px 0 20px;
}
.reconcile-line>span:first-child {
  font-size:37px;
  color:#c99873;
  line-height:1;
}
.reconcile-line p {
  font-size:10px;
  color:#b9bead;
  margin:0;
}
.reconcile-line strong {
  color:#e1e1d2;
  font-weight:400;
}
.loop-label {
  font:6px/1.6 var(--mono);
  letter-spacing:1px;
  color:#b9bead;
  margin-left:auto;
  text-align:right;
}
.diagram-caption {
  display:flex;
  align-items:center;
  gap:9px;
  font:7px/1.6 var(--mono);
  padding:16px 0;
  color:#c2c3b5;
}
.red-square {
  width:5px;
  height:5px;
  background:#d68362;
  flex-shrink:0;
}
.principles {
  display:flex;
  justify-content:space-between;
  gap:20px;
  font:8px var(--mono);
  letter-spacing:1.2px;
  padding-block:23px;
  border-top:1px solid var(--line);
  border-bottom:1px solid var(--line);
}
.model-section {
  background:var(--dark);
  color:var(--light);
  margin-top:0;
  padding-block:85px;
}
.model-layout,.connections-layout,.operate {
  display:grid;
  grid-template-columns:1fr 1.15fr;
  gap:10%;
}
.section-intro h2,.trace-intro h2 {
  font:clamp(35px,4vw,59px)/1.12 var(--serif);
  letter-spacing:-1.3px;
  margin-bottom:25px;
}
.section-intro>p:not(.eyebrow) {
  max-width:350px;
  color:var(--muted);
  font-size:15px;
}
.model-section .eyebrow {
  color:#c49b7d;
}
.model-section .section-intro>p:not(.eyebrow) {
  color:#bfc3b4;
}
.margin-note {
  display:flex;
  gap:20px;
  color:#b4b9a8;
  margin-top:58px;
}
.margin-note>span {
  font:45px var(--serif);
  color:#c49b7d;
}
.margin-note p {
  font:10px/1.8 var(--mono);
}
.margin-note strong {
  color:#f0eadc;
  font-weight:400;
}
.model-rows article {
  display:flex;
  gap:30px;
  padding:27px 0;
  border-top:1px solid #626554;
}
.model-rows article:first-child {
  padding-top:0;
  border-top:0;
}
.model-rows article:last-child {
  padding-bottom:0;
}
.roman {
  font:29px var(--serif);
  color:#c49b7d;
  min-width:43px;
}
.model-rows h3 {
  font:25px var(--serif);
  margin:0 0 9px;
}
.model-rows p {
  color:#bfc3b4;
  font-size:14px;
  max-width:400px;
  margin-bottom:14px;
}
.example {
  font:7px var(--mono);
  letter-spacing:1px;
  color:#d4b595;
}
.trace-section {
  padding-block:80px;
}
.section-top {
  display:flex;
  justify-content:space-between;
  align-items:start;
}
.section-index {
  font:30px var(--serif);
  color:var(--red);
}
.trace-intro {
  display:flex;
  justify-content:space-between;
  align-items:end;
  gap:40px;
}
.trace-intro h2 {
  margin-bottom:0;
}
.trace-intro>p {
  max-width:330px;
  color:var(--muted);
  font-size:15px;
  margin-bottom:6px;
}
.trace-flow {
  display:grid;
  grid-template-columns:repeat(4,1fr);
  margin-top:48px;
}
.trace-flow article {
  border-top:1px solid var(--ink);
  padding:18px 25px 0 0;
  position:relative;
}
.trace-flow article::before {
  content:'';
  width:5px;
  height:5px;
  background:var(--red);
  position:absolute;
  top:-3px;
  left:0;
}
.trace-flow article>span {
  font:9px var(--mono);
  color:var(--red);
}
.trace-flow h3 {
  font:26px var(--serif);
  margin:20px 0 12px;
}
.trace-flow p {
  font-size:13px;
  color:var(--muted);
  max-width:205px;
  margin-bottom:0;
}
.trace-note {
  display:flex;
  gap:24px;
  align-items:center;
  border-bottom:1px solid var(--line);
  margin-top:35px;
  padding:20px 0;
}
.trace-note>span {
  font:33px var(--serif);
  color:var(--red);
}
.trace-note p {
  font-size:12px;
  color:var(--muted);
  max-width:690px;
  margin:0;
}
code {
  font-family:var(--mono);
  font-size:.9em;
}
.connections {
  background:#e2ded3;
  padding-block:70px;
}
.connector-list article {
  display:flex;
  align-items:start;
  gap:20px;
  border-top:1px solid #b5b3a6;
  padding:23px 0;
}
.connector-list article:first-child {
  border-color:var(--ink);
}
.connector-code {
  font:8px var(--mono);
  color:var(--red);
  padding-top:8px;
}
.connector-list h3 {
  font:25px var(--serif);
  margin-bottom:7px;
}
.connector-list p {
  font-size:13px;
  max-width:310px;
  margin:0;
  color:#5d5f54;
}
.connector-kind {
  font:6px/1.5 var(--mono);
  margin-left:auto;
  white-space:nowrap;
  padding-top:10px;
  color:#565b4d;
}
.operate {
  padding-block:85px;
}
.operations-details {
  display:flex;
  flex-direction:column;
  font:9px var(--mono);
  gap:10px;
  margin-top:24px;
  color:var(--muted);
}
.operations-details span::before {
  content:'—';
  margin-right:12px;
  color:var(--red);
}
.run-sheet {
  border:1px solid #bbb9aa;
  align-self:start;
}
.run-heading {
  padding:15px 20px;
  border-bottom:1px solid #bbb9aa;
  display:flex;
  justify-content:space-between;
  gap:15px;
  font:7px var(--mono);
}
pre {
  margin:0;
  padding:25px 20px;
  background:#dedccf;
  overflow-x:auto;
  font:12px/1.9 var(--mono);
}
.terminal-comment {
  color:#696d5d;
}
.setup-note {
  display:flex;
  gap:20px;
  padding:20px;
  border-top:1px solid #bbb9aa;
}
.setup-note>span {
  font:8px var(--mono);
  padding-top:5px;
  color:var(--red);
}
.setup-note p {
  font-size:13px;
  color:var(--muted);
  margin:0;
}
.runtime-note {
  font-size:10px;
  color:var(--muted);
  margin:0;
  padding:0 20px 20px;
}
.closing {
  display:flex;
  align-items:center;
  gap:30px;
  padding-block:40px;
  border-top:1px solid var(--line);
  border-bottom:1px solid var(--line);
}
.closing-brand {
  font:clamp(40px,6vw,85px) var(--serif);
  letter-spacing:1px;
}
.closing-brand>span {
  color:var(--red);
}
.closing p {
  font-size:13px;
  color:var(--muted);
  margin:0 0 0 auto;
}
.closing>a {
  font-size:28px;
  margin-left:45px;
}
footer {
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:20px;
  padding-block:25px;
  color:var(--muted);
}
footer p {
  font-size:10px;
  margin:0;
}
footer nav {
  font-size:10px;
}
@media(min-width:1450px) {
  .hero {
    gap:9%;
    grid-template-columns:1fr 1fr;
  }
  .formation {
    padding:30px 35px 0;
  }
  .identity-record {
    padding:22px 16px;
  }
  .function-record {
    padding:20px;
  }
  .target-grid>div {
    padding:20px 4px;
  }
  .diagram-heading {
    font-size:8px;
  }
  .diagram-caption {
    padding-block:20px;
  }
}
@media(max-width:1050px) {
  .hero {
    gap:5%;
    padding-top:48px;
  }
  .hero h1 {
    font-size:64px;
  }
  .hero-lede {
    font-size:20px;
  }
  .formation {
    padding:19px 17px 0;
  }
  .diagram-heading {
    font-size:6px;
  }
  .identity-record {
    gap:9px;
    padding:12px 9px;
  }
  .identity-record h2 {
    font-size:20px;
  }
  .identity-record p {
    font-size:6px;
  }
  .record-state {
    font-size:5px;
  }
  .function-record {
    gap:9px;
    padding:13px 10px;
  }
  .function-record h3 {
    font-size:16px;
  }
  .target-grid {
    gap:5px;
  }
  .target-grid h4 {
    font-size:8px;
  }
  .target-grid p {
    font-size:7px;
  }
  .diagram-caption {
    font-size:6px;
  }
  .model-layout,.connections-layout,.operate {
    gap:7%;
  }
  .connector-kind {
    display:none;
  }
  .hero-footnote {
    font-size:6px;
    gap:12px;
  }
  .hero .eyebrow {
    font-size:7px;
  }
  .principles {
    font-size:7px;
    letter-spacing:.7px;
  }
}
@media(max-width:760px) {
  .header {
    min-height:88px;
  }
  .brand {
    font-size:24px;
    letter-spacing:2px;
  }
  .brand svg {
    width:22px;
    margin-right:8px;
  }
  .header nav {
    gap:17px;
    font-size:11px;
  }
  .header nav>a:first-child,.header nav>a:nth-child(2) {
    display:none;
  }
  .nav-cta span {
    margin-left:8px;
  }
  .hero {
    grid-template-columns:1fr;
    gap:42px;
    padding-top:37px;
    padding-bottom:43px;
  }
  .hero h1 {
    font-size:clamp(54px,12vw,82px);
    letter-spacing:-2px;
  }
  .hero .eyebrow {
    font-size:8px;
    margin-bottom:24px;
  }
  .hero-lede {
    font-size:22px;
  }
  .hero-description {
    max-width:420px;
  }
  .hero-footnote {
    font-size:7px;
    gap:16px;
    margin-top:25px;
  }
  .formation {
    padding:22px 20px 0;
    width:100%;
    max-width:510px;
    justify-self:center;
  }
  .diagram-heading {
    font-size:6px;
  }
  .identity-record h2 {
    font-size:23px;
  }
  .identity-record p {
    font-size:7px;
  }
  .identity-record {
    padding:15px 10px;
  }
  .function-record h3 {
    font-size:18px;
  }
  .target-grid h4 {
    font-size:9px;
  }
  .principles {
    display:grid;
    grid-template-columns:1fr 1fr;
    gap:17px;
    font-size:7px;
  }
  .model-section {
    padding-block:52px;
  }
  .model-layout,.connections-layout,.operate {
    grid-template-columns:1fr;
    gap:38px;
  }
  .section-intro h2,.trace-intro h2 {
    font-size:40px;
  }
  .section-intro .eyebrow {
    margin-bottom:23px;
  }
  .margin-note {
    display:none;
  }
  .model-rows article {
    gap:20px;
    padding-block:25px;
  }
  .model-rows h3 {
    font-size:24px;
  }
  .trace-section {
    padding-block:50px;
  }
  .trace-intro {
    display:block;
  }
  .trace-intro>p {
    margin-top:22px;
    max-width:380px;
  }
  .trace-flow {
    grid-template-columns:1fr 1fr;
    gap:28px 10px;
    margin-top:32px;
  }
  .trace-flow article {
    padding-right:12px;
  }
  .trace-flow h3 {
    margin-top:15px;
  }
  .trace-flow p {
    font-size:12px;
  }
  .trace-note {
    gap:17px;
  }
  .trace-note p {
    font-size:11px;
  }
  .connections {
    padding-block:48px;
  }
  .connector-list article {
    padding-block:20px;
  }
  .operate {
    padding-block:50px;
  }
  .run-heading {
    font-size:6px;
    padding-inline:15px;
  }
  pre {
    font-size:11px;
    padding-inline:15px;
  }
  .setup-note {
    padding:18px 15px;
    gap:12px;
  }
  .closing {
    flex-wrap:wrap;
    gap:16px;
    padding-block:30px;
  }
  .closing-brand {
    font-size:48px;
  }
  .closing p {
    font-size:11px;
  }
  .closing>a {
    margin-left:0;
  }
  footer {
    align-items:start;
    flex-direction:column;
    gap:15px;
  }
  footer nav {
    gap:25px;
  }
}
@media(max-width:370px) {
  .hero-footnote {
    font-size:6px;
    gap:11px;
  }
  .formation {
    padding-inline:13px;
  }
  .diagram-heading {
    font-size:5px;
    letter-spacing:.2px;
  }
  .record-icon {
    width:28px;
    font-size:12px;
  }
  .identity-record h2 {
    font-size:20px;
  }
  .identity-record p {
    font-size:6px;
  }
  .record-state {
    display:none;
  }
  .function-record h3 {
    font-size:16px;
  }
  .diagram-label {
    font-size:6px;
  }
  .target-grid h4 {
    font-size:8px;
  }
  .target-grid p {
    font-size:6px;
  }
  .protocol {
    font-size:5px;
  }
  .loop-label {
    font-size:5px;
  }
  .diagram-caption {
    font-size:5px;
  }
  .closing-brand {
    font-size:42px;
  }
  .closing p {
    font-size:10px;
  }
}
@media(prefers-reduced-motion:reduce) {
  html {
    scroll-behavior:auto;
  }
}
/* Keep the explanatory diagram readable at ordinary browser zoom. */
.diagram-heading {
  font-size:8px;
  letter-spacing:.3px;
}
.diagram-label {
  font-size:8px;
  letter-spacing:.6px;
}
.identity-record p {
  font-size:9px;
}
.record-state {
  font-size:8px;
}
.flow-line span {
  font-size:9px;
  width:180px;
}
.bundle-count small {
  font-size:8px;
}
.target-grid h4 {
  font-size:12px;
}
.target-grid p {
  font-size:9px;
}
.protocol {
  font-size:8px;
}
.reconcile-line p {
  font-size:12px;
}
.loop-label {
  font-size:7px;
}
.diagram-caption {
  font-size:9px;
}
.hero-footnote {
  font-size:8px;
}
.example {
  font-size:9px;
}
.connector-kind {
  font-size:8px;
}
.run-heading {
  font-size:9px;
}
.principles {
  font-size:9px;
}
@media(max-width:1050px) and (min-width:761px) {
  .hero {
    grid-template-columns:.95fr 1.05fr;
  }
  .formation {
    padding-inline:17px;
  }
  .diagram-heading {
    font-size:7px;
  }
  .identity-record p {
    font-size:8px;
  }
  .target-grid h4 {
    font-size:10px;
  }
  .target-grid p,.protocol {
    font-size:8px;
  }
  .loop-label {
    display:none;
  }
}
@media(max-width:420px) {
  .hero .eyebrow {
    font-size:7px;
  }
  .hero-footnote {
    font-size:7px;
    gap:12px;
  }
  .formation {
    padding:20px 16px 0;
  }
  .diagram-heading {
    display:block;
    font-size:8px;
  }
  .diagram-heading span {
    display:block;
  }
  .diagram-heading span+span {
    margin-top:5px;
    color:#9ea593;
  }
  .identity-record {
    flex-wrap:wrap;
    padding:15px 10px;
  }
  .identity-record p {
    font-size:8px;
  }
  .record-state {
    display:none;
  }
  .diagram-label {
    font-size:7px;
  }
  .flow-line span {
    font-size:8px;
    width:125px;
  }
  .function-record h3 {
    font-size:17px;
  }
  .function-record {
    gap:10px;
  }
  .function-symbol {
    font-size:28px;
  }
  .branch {
    height:24px;
    width:1px;
    margin:0 auto;
    background:#8f9680;
    border:0;
  }
  .branch::before,.branch span {
    display:none;
  }
  .target-grid {
    grid-template-columns:1fr;
    margin:0;
    gap:8px;
  }
  .target-grid>div {
    display:grid;
    grid-template-columns:23px 1fr auto;
    column-gap:10px;
    align-items:center;
    text-align:left;
    padding:11px 12px;
  }
  .target-number {
    grid-row:1/3;
    font-size:18px;
  }
  .target-grid h4 {
    margin:0;
    font-size:12px;
  }
  .target-grid p {
    grid-column:2;
    margin:4px 0 0;
    font-size:9px;
  }
  .protocol {
    grid-column:3;
    grid-row:1/3;
    font-size:8px;
  }
  .loop-label {
    display:none;
  }
  .diagram-caption {
    font-size:8px;
  }
  .principles {
    font-size:8px;
    letter-spacing:.3px;
  }
  .run-heading {
    font-size:7px;
  }
}

/* Vector UI marks do not use platform emoji fonts. */
.ui-icon{display:inline-block;width:1em;height:1em;vertical-align:-.12em;fill:none;stroke:currentColor;stroke-width:1.5;stroke-linecap:round;stroke-linejoin:round;flex-shrink:0}