.substitution-model {
  --sub-qualified: #315f49;
  --sub-plausible: #446d77;
  --sub-adjacent: #8a5d17;
  --sub-false: #853c36;
  --sub-unknown: #5f6b75;
}

.substitution-model .substitution-layout {
  max-width: 1620px;
  grid-template-columns: 190px minmax(0, 1040px) 230px;
}

.substitution-model .substitution-document {
  min-width: 0;
  padding-inline: clamp(28px, 4vw, 58px);
  overflow-wrap: anywhere;
}

.substitution-model .substitution-document > h1 {
  max-width: 970px;
  font-size: clamp(2.45rem, 5vw, 4.6rem);
  line-height: 1.02;
}

.substitution-model .substitution-document > .dek {
  max-width: 860px;
  font-size: clamp(18px, 2vw, 23px);
}

.substitution-model .decision-section:focus,
.substitution-model .substitution-document:focus {
  outline: 3px solid var(--gold);
  outline-offset: 4px;
}

.decision-call {
  display: grid;
  grid-template-columns: 1.1fr 1.1fr .8fr;
  margin: 26px 0 0;
  border: 1px solid var(--line);
  border-top: 5px solid var(--sub-adjacent);
  background: #fff;
}

.decision-call > div {
  min-width: 0;
  padding: 22px;
  border-right: 1px solid var(--line);
}

.decision-call > div:last-child {
  border-right: 0;
}

.decision-call span,
.practitioner-grid article > span,
.timing-grid article > span,
.control-case span,
.reversal-grid article > span {
  display: block;
  margin-bottom: 9px;
  color: var(--muted);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: .1em;
  text-transform: uppercase;
}

.decision-call strong {
  display: block;
  font: 600 17px/1.42 var(--serif);
}

.decision-judgment {
  background: #faf7ee;
}

.substitution-state,
.evidence-state,
.gate-state {
  display: inline-block;
  max-width: 100%;
  padding: 5px 7px;
  border: 1px solid currentColor;
  color: var(--sub-unknown);
  overflow-wrap: anywhere;
  font: 700 10px/1.3 var(--mono);
  letter-spacing: .03em;
}

.substitution-state[data-state="QUALIFIED_NOW"],
.evidence-state[data-state="EVIDENCED"],
.gate-state[data-state="PASSED"] { color: var(--sub-qualified); }
.substitution-state[data-state="PLAUSIBLY_QUALIFIABLE"] { color: var(--sub-plausible); }
.substitution-state[data-state="TECHNICALLY_ADJACENT_UNPROVEN"] { color: var(--sub-adjacent); }
.substitution-state[data-state="FALSE_ALTERNATIVE"],
.evidence-state[data-state="CONTRADICTED"],
.gate-state[data-state="FAILED"],
.gate-state[data-state="EXPIRED"] { color: var(--sub-false); }

.practitioner-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  margin: 0 0 26px;
  border-left: 1px solid var(--line);
}

.practitioner-grid article {
  min-height: 190px;
  padding: 22px;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  background: #fff;
}

.practitioner-grid article > strong {
  display: block;
  margin-bottom: 8px;
  font: 600 18px/1.38 var(--serif);
}

.practitioner-grid ul,
.reversal-grid ul,
.validation-control ul {
  margin: 8px 0 0;
  padding-left: 18px;
}

.practitioner-grid li,
.reversal-grid li,
.validation-control li {
  margin-bottom: 7px;
}

.practitioner-grid .next-action {
  background: #f2f7f5;
  box-shadow: inset 4px 0 var(--sub-qualified);
}

.semantic-ladder {
  display: grid;
  gap: 0;
  margin: 28px 0;
  padding: 0;
  list-style: none;
}

.semantic-level {
  display: grid;
  grid-template-columns: 48px minmax(0, 1fr) minmax(180px, auto);
  gap: 16px;
  align-items: start;
  padding: 17px 18px;
  border: 1px solid var(--line);
  background: #fff;
}

.semantic-level .level-number {
  color: var(--muted);
  font: 17px var(--mono);
}

.semantic-level strong {
  font: 700 12px/1.35 var(--sans);
  letter-spacing: .04em;
}

.semantic-level p {
  margin: 8px 0 0;
  color: var(--muted);
  font-size: 13px;
}

.semantic-level .level-status {
  min-width: 0;
  text-align: right;
}

.level-status small {
  display: block;
  margin-top: 7px;
  color: var(--muted);
  font: 9px/1.4 var(--mono);
}

.semantic-ladder > .not-equal {
  margin: -1px 0;
  padding-left: 17px;
  color: var(--sub-false);
  font: 700 18px/1 var(--serif);
  z-index: 1;
}

.reference-links {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
}

.reference-links a,
.reference-links > span {
  display: inline-block;
  padding: 2px 5px;
  border: 1px solid var(--line);
  background: #f7f9fb;
  text-decoration: none;
}

.reference-links code {
  font-size: 9px;
  overflow-wrap: anywhere;
}

.substitution-chain {
  margin: 28px 0;
  padding: 0;
  list-style: none;
}

.chain-edge {
  display: grid;
  grid-template-columns: 42px minmax(230px, .8fr) minmax(0, 1fr);
  gap: 16px;
  padding: 18px;
  border: 1px solid var(--line);
  border-bottom: 0;
  background: #fff;
}

.chain-edge:last-child {
  border-bottom: 1px solid var(--line);
}

.chain-edge > span {
  color: var(--muted);
  font: 16px var(--mono);
}

.chain-nodes {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 20px minmax(0, 1fr);
  gap: 7px;
  align-items: center;
}

.chain-nodes strong {
  font: 600 14px/1.35 var(--serif);
}

.chain-nodes b {
  color: var(--sub-adjacent);
  text-align: center;
}

.chain-edge > div:last-child > code {
  color: var(--sub-unknown);
  font-size: 10px;
  font-weight: 700;
}

.chain-edge[data-edge-state="SUPPORTED"] > div:last-child > code { color: var(--sub-qualified); }
.chain-edge[data-edge-state="SCOPE_MISMATCH"] > div:last-child > code,
.chain-edge[data-edge-state="CONTRADICTED"] > div:last-child > code { color: var(--sub-false); }

.chain-edge p {
  margin: 7px 0 0;
  color: var(--muted);
  font-size: 12px;
}

.gate-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 17px;
  margin: 28px 0;
}

.gate-card {
  min-width: 0;
  padding: 20px;
  border: 1px solid var(--line);
  border-top: 4px solid var(--sub-unknown);
  background: #fff;
}

.gate-card[data-gate-state="PASSED"] { border-top-color: var(--sub-qualified); }
.gate-card[data-gate-state="OPEN"] { border-top-color: var(--sub-plausible); }
.gate-card[data-gate-state="FAILED"],
.gate-card[data-gate-state="EXPIRED"] { border-top-color: var(--sub-false); }

.gate-card header {
  display: flex;
  justify-content: space-between;
  gap: 10px;
  align-items: start;
}

.gate-card header code {
  min-width: 0;
  overflow-wrap: anywhere;
  color: var(--muted);
  font-size: 9px;
}

.gate-card h3 {
  margin: 16px 0;
}

.gate-card dl {
  margin: 0;
}

.gate-card dl > div {
  padding: 9px 0;
  border-top: 1px solid var(--line);
}

.gate-card dt {
  color: var(--muted);
  font-size: 9px;
  font-weight: 700;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.gate-card dd {
  margin: 3px 0 0;
  font-size: 12px;
}

.gate-change {
  padding-top: 10px;
  border-top: 1px solid var(--line);
  font-size: 11px;
}

.timing-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 17px;
  margin: 28px 0;
}

.timing-grid article {
  min-width: 0;
  padding: 22px;
  border: 1px solid var(--line);
  background: #fff;
}

.timing-grid article > p {
  color: var(--muted);
}

.timing-grid dl {
  margin: 18px 0 0;
  border-top: 1px solid var(--line);
}

.timing-grid dl > div {
  display: grid;
  grid-template-columns: 90px minmax(0, 1fr);
  gap: 10px;
  padding: 7px 0;
  border-bottom: 1px solid var(--line);
}

.timing-grid dt {
  color: var(--muted);
  font-size: 10px;
}

.timing-grid dd {
  margin: 0;
  font: 11px var(--mono);
}

.reversal-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 17px;
  margin: 28px 0;
}

.reversal-grid article {
  min-width: 0;
  padding: 20px;
  border: 1px solid var(--line);
  background: #fff;
}

.reversal-grid h3 {
  margin: 0;
  overflow-wrap: anywhere;
  font: 700 13px var(--mono);
}

.reversal-grid li {
  color: var(--muted);
  font-size: 12px;
}

.control-case {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(180px, auto);
  gap: 18px;
  align-items: center;
  margin: 24px 0;
  padding: 22px;
  border: 1px solid var(--line);
  border-left: 5px solid var(--sub-qualified);
  background: #f2f7f5;
}

.control-case strong {
  font: 600 18px/1.4 var(--serif);
}

.source-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 13px;
  margin-top: 16px;
}

.source-record {
  min-width: 0;
  padding: 17px;
  border: 1px solid var(--line);
  background: #fff;
}

.source-record code,
.source-record h3,
.internal-record-label {
  overflow-wrap: anywhere;
}

.source-record code {
  color: var(--muted);
  font-size: 9px;
}

.source-record h3 {
  margin: 8px 0;
}

.source-record p,
.internal-record-label {
  color: var(--muted);
  font-size: 11px;
}

.internal-record-label {
  display: block;
  padding: 7px 8px;
  border-left: 3px solid var(--sub-unknown);
  background: #f3f5f7;
}

@media (max-width: 1180px) {
  .substitution-model .substitution-layout {
    grid-template-columns: 170px minmax(0, 1fr);
  }

  .substitution-model .model-meta {
    position: static;
    grid-column: 2;
    border-left: 0;
    background: #e9edf1;
  }

  .decision-call {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .decision-call .decision-judgment {
    grid-column: 1 / -1;
    border-top: 1px solid var(--line);
  }

  .chain-edge {
    grid-template-columns: 38px minmax(0, 1fr);
  }

  .chain-edge > div:last-child {
    grid-column: 2;
  }
}

@media (max-width: 900px) {
  .substitution-model .substitution-layout {
    display: block;
  }

  .substitution-model .model-nav {
    display: none;
  }

  .substitution-model .substitution-document {
    padding: 28px 18px 60px;
  }

  .substitution-model .control-strip {
    display: grid;
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .substitution-model .control-strip div {
    min-width: 0;
    border-bottom: 1px solid var(--line);
  }

  .substitution-model .control-strip b {
    overflow-wrap: anywhere;
  }
}

@media (max-width: 820px) {
  .substitution-model .substitution-document > h1 {
    font-size: clamp(2.2rem, 8vw, 3.5rem);
  }

  .practitioner-grid,
  .gate-grid,
  .timing-grid,
  .reversal-grid,
  .source-grid {
    grid-template-columns: 1fr;
  }

  .semantic-level {
    grid-template-columns: 40px minmax(0, 1fr);
  }

  .semantic-level .level-status {
    grid-column: 2;
    text-align: left;
  }
}

@media (max-width: 520px) {
  .substitution-model .substitution-document {
    padding-inline: 18px;
  }

  .substitution-model .substitution-document > h1 {
    font-size: clamp(2rem, 11vw, 2.8rem);
  }

  .decision-call,
  .control-case {
    display: block;
  }

  .decision-call > div {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .decision-call > div:last-child {
    border-bottom: 0;
  }

  .semantic-level {
    grid-template-columns: 32px minmax(0, 1fr);
    gap: 10px;
    padding-inline: 12px;
  }

  .chain-edge {
    display: block;
  }

  .chain-edge > span {
    display: block;
    margin-bottom: 9px;
  }

  .chain-edge > div:last-child {
    margin-top: 14px;
  }

  .chain-nodes {
    grid-template-columns: 1fr;
  }

  .chain-nodes b {
    text-align: left;
  }

  .gate-card header {
    display: block;
  }

  .gate-card header .gate-state {
    margin-top: 8px;
  }

  .control-case > div:last-child {
    margin-top: 16px;
  }
}