* { box-sizing: border-box; }

:root {
  --page: #fcfbfe;
  --surface: #ffffff;
  --ink: #131b2e;
  --muted: #50586a;
  --faint: #626b7e;
  --line: #d9dced;
  --line-strong: #aeb4ca;
  --blue: #003ec7;
  --blue-soft: #eef2ff;
  --red: #ad252d;
  --red-soft: #fff0f0;
  --green: #116b45;
  --green-soft: #ebf7f0;
  --night: #10172a;
  --mono: "JetBrains Mono", ui-monospace, monospace;
  --sans: "Montserrat", ui-sans-serif, system-ui, sans-serif;
}

html { scroll-behavior: smooth; }
body { --mirror-faint: #686b7d; --faint: #626b7e; margin: 0; background: var(--page); color: var(--ink); font-family: var(--sans); }
main { width: min(1500px, 100%); margin-inline: auto; padding: 0 clamp(20px, 5vw, 80px) 110px; }
a { color: var(--blue); text-underline-offset: 3px; }
code, pre { font-family: var(--mono); }

.paper-hero { min-height: 610px; display: flex; flex-direction: column; justify-content: flex-end; padding: 100px 0 56px; border-bottom: 1px solid var(--line); }
.paper-hero h1 { max-width: 1050px; margin: 0; font-size: clamp(48px, 6.2vw, 88px); font-weight: 540; line-height: 1; letter-spacing: -.04em; }
.dek { max-width: 940px; margin: 32px 0 0; color: var(--muted); font-size: clamp(19px, 1.65vw, 25px); line-height: 1.55; }
.hero-definition { max-width: 850px; margin: 24px 0 0; color: #333b4d; font-size: 15px; line-height: 1.65; }
.hero-definition strong { color: var(--ink); }
.paper-meta { display: grid; grid-template-columns: 1fr auto auto; gap: 28px; align-items: center; margin-top: 38px; padding-top: 20px; border-top: 1px solid var(--line); color: var(--faint); font: 500 12px/1.45 var(--mono); }
.paper-meta a { font-weight: 700; text-decoration: none; }

.paper-layout { display: grid; grid-template-columns: 190px minmax(0, 900px); gap: clamp(45px, 7vw, 110px); align-items: start; padding-top: 50px; }
.contents { position: sticky; top: 100px; display: grid; border-top: 2px solid var(--ink); }
.contents strong { padding: 17px 0; font-size: 13px; }
.contents a { padding: 10px 0; border-top: 1px solid var(--line); color: var(--muted); font-size: 12px; line-height: 1.4; text-decoration: none; }
.contents a:hover, .contents a:focus-visible { color: var(--blue); }

article { min-width: 0; }
article section { scroll-margin-top: 92px; padding: 64px 0; border-bottom: 1px solid var(--line); }
article section:first-child { padding-top: 18px; }
article h2 { max-width: 800px; margin: 0 0 30px; font-size: clamp(31px, 3.6vw, 50px); font-weight: 560; line-height: 1.08; letter-spacing: -.035em; }
article h3 { margin: 46px 0 16px; font-size: 20px; font-weight: 650; }
article p { max-width: 74ch; margin: 0 0 24px; color: #333b4d; font-size: 17px; line-height: 1.78; }
article strong { color: var(--ink); }

.source-note { max-width: 70ch; padding: 16px 18px; border: 1px solid var(--line); background: var(--surface); font-size: 14px; line-height: 1.6; }
.control-intro { margin-top: 48px; }
.control-intro h3 { margin-bottom: 12px; }
.control-intro p { margin-bottom: 26px; font-size: 15px; line-height: 1.65; }
.early-control-path { display: grid; grid-template-columns: repeat(3, 1fr); margin: 0; padding: 0; border-block: 1px solid var(--line-strong); list-style: none; }
.early-control-path li { position: relative; display: grid; grid-template-columns: 30px 1fr; gap: 12px; min-width: 0; padding: 24px 20px 24px 0; }
.early-control-path li + li { padding-left: 20px; border-left: 1px solid var(--line); }
.early-control-path li > span { color: var(--blue); font: 650 12px/1.5 var(--mono); }
.early-control-path strong { display: block; margin-bottom: 9px; font-size: 15px; }
.early-control-path p { margin: 0; color: var(--muted); font-size: 13px; line-height: 1.55; }

.paper-claim { display: grid; grid-template-columns: 150px 1fr; gap: 30px; margin-top: 44px; padding: 28px 30px; border-block: 2px solid var(--blue); }
.paper-claim span { color: var(--blue); font: 600 12px/1.4 var(--mono); text-transform: uppercase; }
.paper-claim strong { max-width: 650px; font-size: 22px; font-weight: 600; line-height: 1.4; }

table { width: 100%; border-collapse: collapse; margin: 36px 0; background: var(--surface); font-size: 13px; line-height: 1.5; }
th, td { padding: 15px 16px; border: 1px solid var(--line); text-align: left; vertical-align: top; }
th { background: #f1f3f9; color: var(--ink); font-size: 12px; font-weight: 700; text-transform: uppercase; letter-spacing: .04em; }
td { color: #3f475a; }
td:first-child code { color: var(--blue); font-weight: 700; }

.attack-sequence { margin: 38px 0; padding: 0; list-style: none; border-top: 1px solid var(--line-strong); }
.attack-sequence li { display: grid; grid-template-columns: 170px 1fr; gap: 28px; padding: 22px 0; border-bottom: 1px solid var(--line); }
.attack-sequence span { color: var(--red); font: 600 12px/1.5 var(--mono); }
.attack-sequence p { margin: 0; font-size: 15px; line-height: 1.6; }

.two-flow-figure { margin: 50px 0; border: 1px solid var(--line); background: var(--surface); }
.two-flow-figure figcaption { display: grid; grid-template-columns: 1fr 1.2fr; gap: 30px; padding: 24px; border-bottom: 1px solid var(--line); }
.two-flow-figure figcaption strong { font-size: 15px; }
.two-flow-figure figcaption span { color: var(--muted); font-size: 12px; line-height: 1.55; }
.flow-row { display: grid; grid-template-columns: 155px 1fr 28px 1.3fr 28px 1.7fr 28px 1fr; gap: 8px; align-items: center; min-height: 92px; padding: 20px 22px; }
.flow-row + .flow-row { border-top: 1px solid var(--line); }
.flow-row b { font: 600 12px/1.4 var(--mono); }
.flow-row span { padding: 9px; border: 1px solid currentColor; font-size: 12px; line-height: 1.35; text-align: center; }
.flow-row i { font-style: normal; text-align: center; }
.flow-up { color: var(--red); background: var(--red-soft); }
.flow-down { color: var(--blue); background: var(--blue-soft); }

.scenario-family { margin: 48px 0 58px; }
.scenario-family > header { display: grid; grid-template-columns: minmax(180px, .65fr) 1.35fr; gap: 36px; align-items: baseline; padding-bottom: 20px; border-bottom: 2px solid var(--ink); }
.scenario-family > header h3 { margin: 0; font-size: 21px; }
.scenario-family > header p { margin: 0; font-size: 14px; line-height: 1.65; }
.scenario-atlas { margin: 0; padding: 0; list-style: none; }
.scenario-atlas li { display: grid; grid-template-columns: minmax(180px, .65fr) 1.35fr; gap: 36px; padding: 24px 0; border-bottom: 1px solid var(--line); }
.scenario-atlas a { display: grid; grid-template-columns: 30px 1fr; gap: 10px; align-content: start; color: var(--ink); text-decoration: none; }
.scenario-atlas a:hover strong, .scenario-atlas a:focus-visible strong { color: var(--blue); text-decoration: underline; text-underline-offset: 4px; }
.scenario-atlas a span { color: var(--blue); font: 650 12px/1.6 var(--mono); }
.scenario-atlas a strong { font-size: 14px; line-height: 1.5; }
.scenario-atlas p { margin: 0; font-size: 14px; line-height: 1.72; }
.scenario-atlas b { color: var(--ink); font-weight: 650; }

.inline-math { font-family: "STIX Two Math", "Cambria Math", "Times New Roman", serif; font-size: 1.1em; }
.math-figure { margin: 36px 0; padding: 26px 30px; overflow-x: auto; border: 1px solid var(--line-strong); background: var(--surface); }
.math-figure figcaption { display: flex; justify-content: space-between; gap: 28px; align-items: baseline; margin-bottom: 22px; }
.math-figure figcaption span { color: var(--blue); font: 650 12px/1.4 var(--mono); text-transform: uppercase; }
.math-figure figcaption p { max-width: 54ch; margin: 0; font-size: 12px; line-height: 1.55; }
.latex-display { min-width: max-content; margin-inline: auto; color: var(--ink); font-size: clamp(20px, 2.45vw, 31px); }
.latex-display .katex-display { margin: 0; }
.math-figure-dark { border-color: var(--night); background: var(--night); color: white; }
.math-figure-dark figcaption span { color: #a9bbff; }
.math-figure-dark figcaption p, .math-figure-dark .latex-display { color: white; }
.math-key { display: flex; flex-wrap: wrap; gap: 9px 18px; max-width: none; margin: 22px 0 0; padding-top: 18px; border-top: 1px solid var(--line); color: var(--muted); font: 500 12px/1.45 var(--mono); }
.math-key span { white-space: nowrap; }
.math-figure-dark .math-key { border-color: #36415c; color: #bcc7e3; }
.math-pair { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; margin: 36px 0; }
.math-pair .math-figure { display: grid; align-content: start; margin: 0; }
.math-pair .math-figure .latex-display { font-size: clamp(17px, 1.8vw, 22px); }
.formal { margin: 34px 0; padding: 28px 30px; overflow-x: auto; border: 1px solid var(--line); background: #f2f4fa; color: #172039; font-size: 12px; line-height: 1.8; }

.binding-diagram { margin: 44px 0 54px; scroll-margin-top: 92px; border: 1px solid #29334c; background: var(--night); color: white; }
.binding-diagram > figcaption { display: grid; grid-template-columns: .8fr 1.2fr; gap: 36px; padding: 26px 28px; border-bottom: 1px solid #36415c; }
.binding-diagram > figcaption strong { color: white; font-size: 18px; line-height: 1.35; }
.binding-diagram > figcaption span { color: #c4cce0; font-size: 13px; line-height: 1.65; }
.binding-flow { display: grid; grid-template-columns: 1.08fr 82px 1fr 82px 1fr; align-items: stretch; padding: 28px; }
.binding-node { min-width: 0; border-block: 1px solid #53617f; }
.binding-node header { display: grid; grid-template-columns: 30px 1fr; gap: 10px; min-height: 78px; align-items: start; padding: 17px 0 14px; border-bottom: 1px solid #36415c; }
.binding-node header > span, .binding-receipt > div span { color: #8fa8ff; font: 650 12px/1.6 var(--mono); }
.binding-node header div { display: grid; gap: 7px; }
.binding-node header strong { color: white; font-size: 14px; line-height: 1.4; }
.binding-node header code { color: #aebce2; font-size: 12px; overflow-wrap: anywhere; }
.binding-node dl { margin: 0; }
.binding-node dl > div { display: grid; gap: 5px; padding: 13px 0; border-bottom: 1px solid #29334c; }
.binding-node dt { color: #8fa8ff; font: 650 12px/1.4 var(--mono); text-transform: uppercase; }
.binding-node dd { margin: 0; color: #d6dbea; font-size: 12px; line-height: 1.55; }
.binding-link { display: grid; align-content: center; justify-items: center; gap: 11px; padding: 0 8px; }
.binding-link code { color: #b6c3e8; font-size: 12px; text-align: center; }
.binding-link svg { width: 100%; height: 24px; overflow: visible; }
.binding-link path { fill: none; stroke: #7084c4; stroke-linecap: square; stroke-linejoin: miter; stroke-width: 1.5; }
.binding-verifier ul { display: grid; gap: 0; margin: 0; padding: 0; list-style: none; }
.binding-verifier li { position: relative; padding: 12px 0 12px 18px; border-bottom: 1px solid #29334c; color: #d6dbea; font-size: 12px; line-height: 1.45; }
.binding-verifier li::before { position: absolute; top: 17px; left: 0; width: 7px; height: 7px; border: 1px solid #7fae96; background: #193c30; content: ""; }
.bound-permit, .commit-state { display: flex; justify-content: space-between; gap: 12px; align-items: center; max-width: none; margin: 15px 0 0; padding: 11px 12px; border: 1px solid #406e5a; background: #163429; }
.bound-permit span, .commit-state span { color: #a7d4bd; font: 650 12px/1.4 var(--mono); }
.bound-permit code, .commit-state code { color: white; font-size: 12px; }
.digest-compare { display: grid; gap: 8px; padding: 18px 0; border-bottom: 1px solid #29334c; text-align: center; }
.digest-compare code { color: white; font-size: 12px; overflow-wrap: anywhere; }
.digest-compare span { color: #9ca9c8; font: 600 12px/1.4 var(--mono); text-transform: uppercase; }
.binding-destination > p:not(.commit-state) { margin: 14px 0 0; color: #d6dbea; font-size: 12px; line-height: 1.55; }
.binding-receipt { display: grid; grid-template-columns: .72fr 1fr 1.28fr; gap: 26px; align-items: center; margin: 0 28px; padding: 19px 0; scroll-margin-top: 92px; border-top: 1px solid #53617f; }
.binding-receipt > div { display: grid; grid-template-columns: 30px 1fr; gap: 10px; }
.binding-receipt strong { color: white; font-size: 13px; }
.binding-receipt code { color: #b8c5eb; font-size: 12px; overflow-wrap: anywhere; }
.binding-receipt p { margin: 0; color: #c4cce0; font-size: 12px; line-height: 1.55; }
.binding-reject { display: grid; grid-template-columns: .7fr .8fr 1.5fr; gap: 26px; align-items: center; padding: 18px 28px; border-top: 1px solid #6e3942; background: #2e1d25; }
.binding-reject strong { color: #ffd7d9; font-size: 12px; }
.binding-reject code { color: #ffb8bc; font-size: 12px; }
.binding-reject span { color: #e6c2c5; font-size: 12px; line-height: 1.55; }
.mechanism-evidence { margin: 54px 0 42px; }
.mechanism-evidence > h3 { margin: 0 0 14px; }
.mechanism-evidence > p { margin-bottom: 30px; }
.mechanism-evidence .latest-research { max-width: none; padding: 20px 22px; border-block: 1px solid var(--line-strong); background: var(--blue-soft); font-size: 14px; line-height: 1.72; }
.mechanism-evidence dl { margin: 0; border-top: 2px solid var(--ink); }
.mechanism-evidence dl > div { display: grid; grid-template-columns: 180px 1fr; gap: 28px; padding: 20px 0; border-bottom: 1px solid var(--line); }
.mechanism-evidence dt { color: var(--blue); font-size: 13px; font-weight: 700; line-height: 1.5; }
.mechanism-evidence dd { margin: 0; color: #41495c; font-size: 14px; line-height: 1.7; }

.protocol-steps { margin: 42px 0; padding: 0; list-style: none; counter-reset: protocol; }
.protocol-steps li { display: grid; grid-template-columns: 220px 1fr; gap: 28px; padding: 25px 0; border-top: 1px solid var(--line); }
.protocol-steps li:last-child { border-bottom: 1px solid var(--line); }
.protocol-steps li > div span { display: block; margin-bottom: 8px; color: var(--blue); font: 600 12px/1 var(--mono); text-transform: uppercase; }
.protocol-steps li > div strong { font-size: 15px; }
.protocol-steps li > p { margin: 0 0 12px; font-size: 14px; line-height: 1.6; }
.protocol-steps li > code { grid-column: 2; padding: 10px 12px; overflow-wrap: anywhere; background: var(--blue-soft); color: #18346f; font-size: 12px; line-height: 1.5; }

.implementation-table th:nth-child(1) { width: 18%; }
.implementation-table th:nth-child(2) { width: 28%; }
.experiment-table th:nth-child(1) { width: 22%; }
.experiment-table th:nth-child(2) { width: 17%; }
.paired-method { display: grid; grid-template-columns: 1fr 1fr; margin: 42px 0 26px; border: 1px solid var(--line); }
.paired-method > div { padding: 25px; }
.paired-method > div + div { border-left: 1px solid var(--line); background: var(--green-soft); }
.paired-method h3 { margin: 0 0 13px; font-size: 17px; }
.paired-method p { margin: 0; font-size: 14px; line-height: 1.65; }
.lab-cta { display: flex; justify-content: space-between; gap: 30px; align-items: center; margin-top: 38px; padding: 22px 24px; border: 1px solid var(--blue); background: var(--blue); color: white; text-decoration: none; }
.lab-cta strong { color: white; font-size: 15px; }
.lab-cta span { color: #dce5ff; font-size: 12px; }

.properties { margin: 38px 0; }
.properties > div { display: grid; grid-template-columns: 220px 1fr; gap: 28px; padding: 19px 0; border-top: 1px solid var(--line); }
.properties > div:last-child { border-bottom: 1px solid var(--line); }
.properties dt { color: var(--blue); font-size: 13px; font-weight: 700; }
.properties dd { margin: 0; color: #41495c; font-size: 14px; line-height: 1.6; }
.references ol { padding-left: 22px; }
.references li { margin-bottom: 17px; color: var(--muted); font-size: 13px; line-height: 1.65; }

footer { min-height: 118px; display: flex; align-items: center; justify-content: space-between; gap: 30px; padding: 30px clamp(20px, 5vw, 80px); border-top: 1px solid var(--line); }
footer .brand { display: flex; align-items: center; gap: 12px; color: var(--ink); font-weight: 700; text-decoration: none; }
footer .brand img { width: auto; height: 30px; }
footer p { color: var(--muted); font-size: 12px; }
footer > a:last-child { font-size: 13px; font-weight: 700; text-decoration: none; }

@media (max-width: 1040px) {
  .paper-layout { grid-template-columns: 1fr; }
  .contents { position: static; grid-template-columns: repeat(3, 1fr); gap: 0 20px; }
  .contents strong { grid-column: 1 / -1; }
  .flow-row { grid-template-columns: 140px 1fr; gap: 9px 18px; }
  .flow-row i { display: none; }
  .flow-row span { text-align: left; }
  .binding-flow { grid-template-columns: 1fr; gap: 0; }
  .binding-link { grid-template-columns: auto 1fr; justify-items: start; padding: 14px 0; }
  .binding-link svg { width: 80px; transform: rotate(90deg); transform-origin: center; }
}

@media (max-width: 720px) {
  main { padding-inline: 16px; }
  .paper-hero { min-height: auto; padding: 54px 0 38px; }
  .paper-hero h1 { font-size: clamp(38px, 10.8vw, 49px); line-height: 1.02; }
  .dek { margin-top: 23px; font-size: 17px; line-height: 1.52; }
  .paper-meta { gap: 9px; margin-top: 30px; padding-top: 16px; }
  .paper-layout { padding-top: 32px; }
  .paper-meta { grid-template-columns: 1fr; }
  .contents { grid-template-columns: 1fr 1fr; }
  article p { font-size: 16px; }
  .paper-claim, .attack-sequence li, .two-flow-figure figcaption, .protocol-steps li, .properties > div { grid-template-columns: 1fr; }
  .early-control-path { grid-template-columns: 1fr; }
  .early-control-path li { padding-inline: 0; }
  .early-control-path li + li { border-top: 1px solid var(--line); border-left: 0; }
  .protocol-steps li > code { grid-column: 1; }
  .scenario-family > header, .scenario-atlas li, .math-pair { grid-template-columns: 1fr; }
  .scenario-family > header { gap: 10px; }
  .scenario-atlas li { gap: 14px; }
  .math-figure { padding: 22px 18px; }
  .math-figure figcaption { align-items: flex-start; flex-direction: column; gap: 8px; }
  .binding-diagram > figcaption, .binding-receipt, .binding-reject, .mechanism-evidence dl > div { grid-template-columns: 1fr; gap: 12px; }
  .binding-diagram > figcaption { padding: 22px 18px; }
  .binding-flow { padding: 18px; }
  .binding-link { min-height: 76px; }
  .binding-receipt { margin-inline: 18px; }
  .binding-reject { padding: 18px; }
  .paired-method { grid-template-columns: 1fr; }
  .paired-method > div + div { border-top: 1px solid var(--line); border-left: 0; }
  .lab-cta { align-items: flex-start; flex-direction: column; }
  table { display: block; overflow-x: auto; white-space: normal; }
  footer { align-items: flex-start; flex-direction: column; }
}

.handoff-figure { margin: 38px 0; border-block: 2px solid var(--ink); background: var(--surface); }
.handoff-figure figcaption { padding: 24px; }
.handoff-figure figcaption strong { font-size: 20px; line-height: 1.4; }
.handoff-figure figcaption p { margin: 10px 0 0; font-size: 16px; }
.handoff-figure ol { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); margin: 0; padding: 0; list-style: none; }
.handoff-figure li { padding: 24px 20px; border-top: 1px solid var(--line); border-right: 1px solid var(--line); }
.handoff-figure li:last-child { background: var(--blue-soft); border-right: 0; }
.handoff-figure li span { display: block; font: 500 12px/1.6 var(--mono); color: var(--muted); }
.handoff-figure li strong { display: block; margin-top: 14px; font-size: 17px; line-height: 1.5; }
.handoff-figure li p { margin: 12px 0 0; font-size: 15px; line-height: 1.65; }
.handoff-rule { display: grid; grid-template-columns: 1fr 1.7fr; gap: 24px; border-top: 1px solid var(--line); padding: 24px; font-size: 16px; line-height: 1.7; }
.report-comparison { margin: 32px 0; overflow-x: auto; }
.report-comparison table { margin: 0; font-size: 15px; line-height: 1.7; }
.report-comparison caption { text-align: left; padding: 0 0 18px; font-size: 18px; font-weight: 600; color: var(--ink); }
.report-comparison th[scope="row"] { width: 25%; text-align: left; text-transform: none; font: 600 15px/1.7 var(--sans); letter-spacing: 0; }
.report-comparison small { display: block; margin-top: 8px; font-size: 13px; font-weight: 450; color: var(--muted); }
@media (max-width: 720px) {
  .handoff-figure ol { grid-template-columns: 1fr 1fr; }
  .handoff-rule { grid-template-columns: 1fr; gap: 12px; }
  .report-comparison table { display: table; min-width: 680px; }
}
@media (max-width: 420px) { .handoff-figure ol { grid-template-columns: 1fr; } }

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { scroll-behavior: auto !important; }
}