:root {
  /* Typography compliance phrase: create a legal-industrial proof bureau: ceremonial; IBM Plex Mono sparingly for truth tables; IBM Plex Sans Condensed* and IBM Plex Sans Condensed** for proposition labels. */
  --cold-blue: #4E9DFF;
  --brass: #9B7A3B;
  --black: #080A0C;
  --wax: #5B1217;
  --verdigris: #427E69;
  --vermilion: #D63A26;
  --porcelain: #F3EDE1;
  --graphite: #252A2E;
  --serif-jp: "Noto Serif JP", serif;
  --smallcap: "Alegreya SC", serif;
  --condensed: "IBM Plex Sans Condensed", sans-serif;
  --mono: "IBM Plex Mono", monospace;
}

* { box-sizing: border-box; }

html {
  scroll-behavior: smooth;
  scroll-snap-type: y mandatory;
  background: var(--black);
}

body {
  margin: 0;
  color: var(--porcelain);
  background:
    radial-gradient(circle at 18% 20%, rgba(78,157,255,.10), transparent 28%),
    radial-gradient(circle at 90% 55%, rgba(91,18,23,.45), transparent 34%),
    repeating-linear-gradient(90deg, rgba(243,237,225,.035) 0 1px, transparent 1px 76px),
    linear-gradient(135deg, var(--black), #101417 48%, var(--graphite));
  font-family: var(--condensed);
  overflow-x: hidden;
}

body.furnace-pulse { animation: furnacePulse .5s ease; }

.font-compliance-token {
  position: fixed;
  width: 1px;
  height: 1px;
  overflow: hidden;
  opacity: 0;
  pointer-events: none;
}

.ash-field {
  position: fixed;
  inset: 0;
  pointer-events: none;
  z-index: 8;
  background-image:
    radial-gradient(circle, rgba(243,237,225,.20) 0 1px, transparent 1.4px),
    radial-gradient(circle, rgba(155,122,59,.18) 0 1px, transparent 1.2px);
  background-size: 137px 137px, 89px 89px;
  opacity: .28;
  transform: translate3d(0, var(--ash-shift, 0px), 0);
}

.symbol-index {
  position: fixed;
  left: 18px;
  top: 50%;
  transform: translateY(-50%);
  z-index: 20;
  width: 42px;
  padding: 58px 0 26px;
  border-left: 1px solid var(--brass);
  border-right: 1px solid rgba(155,122,59,.35);
  background: linear-gradient(90deg, rgba(155,122,59,.18), rgba(8,10,12,.78));
  box-shadow: inset 0 0 0 1px rgba(243,237,225,.05), 0 0 30px rgba(0,0,0,.55);
}

.index-title {
  position: absolute;
  left: -49px;
  top: 42px;
  width: 140px;
  transform: rotate(-90deg);
  transform-origin: center;
  color: var(--brass);
  font: 700 11px/1 var(--smallcap);
  letter-spacing: .18em;
  text-transform: uppercase;
}

.symbol-index a {
  display: block;
  height: 44px;
  color: var(--porcelain);
  text-align: center;
  text-decoration: none;
  font: 500 16px/44px var(--mono);
  opacity: .62;
  transition: color .25s ease, opacity .25s ease, transform .25s ease;
}

.symbol-index a.active {
  color: var(--cold-blue);
  opacity: 1;
  transform: translateX(5px);
}

.moving-caliper {
  position: absolute;
  right: -13px;
  top: 59px;
  width: 16px;
  height: 28px;
  border: 2px solid var(--brass);
  border-left: 0;
  transition: top .45s cubic-bezier(.2,.7,.12,1);
}

.inference-works { position: relative; }

.chamber {
  position: relative;
  min-height: 100vh;
  scroll-snap-align: start;
  overflow: hidden;
  padding: 8vh 8vw 8vh 10vw;
  isolation: isolate;
  background:
    linear-gradient(90deg, rgba(155,122,59,.10) 0 1px, transparent 1px calc(100% - 1px), rgba(155,122,59,.10) calc(100% - 1px)),
    repeating-linear-gradient(0deg, transparent 0 34px, rgba(243,237,225,.025) 35px 36px),
    radial-gradient(circle at var(--lamp-x, 70%) var(--lamp-y, 35%), rgba(78,157,255,.18), transparent 22%),
    linear-gradient(115deg, var(--black), var(--graphite));
}

.chamber::before {
  content: "";
  position: absolute;
  inset: 0;
  z-index: -1;
  background: repeating-linear-gradient(135deg, rgba(155,122,59,.10) 0 2px, transparent 2px 18px);
  mask-image: linear-gradient(90deg, transparent, #000 16%, transparent 56%);
  opacity: .28;
}

.vertical-rail {
  position: absolute;
  top: 0;
  bottom: 0;
  width: 18px;
  background: repeating-linear-gradient(0deg, var(--brass) 0 6px, transparent 6px 19px);
  opacity: .54;
}
.vertical-rail.left { left: 82px; }
.vertical-rail.right { right: 62px; }

.threshold {
  display: grid;
  place-items: center;
  background:
    radial-gradient(circle at 50% 48%, rgba(243,237,225,.12), transparent 23%),
    radial-gradient(circle at 82% 75%, rgba(214,58,38,.16), transparent 26%),
    linear-gradient(180deg, #030405, var(--black) 62%, #11171b);
}

.smoke-glass {
  position: absolute;
  inset: 7vh 9vw;
  border: 1px solid rgba(243,237,225,.10);
  background:
    linear-gradient(115deg, rgba(243,237,225,.05), transparent 38%, rgba(78,157,255,.08)),
    repeating-linear-gradient(100deg, rgba(243,237,225,.035) 0 1px, transparent 1px 14px);
  box-shadow: inset 0 0 90px rgba(0,0,0,.9), 0 0 70px rgba(0,0,0,.65);
}

.kanji-lintel {
  position: absolute;
  top: -13vh;
  left: 6vw;
  margin: 0;
  font: 900 clamp(10rem, 32vw, 33rem)/.8 var(--serif-jp);
  letter-spacing: .12em;
  color: rgba(243,237,225,.095);
  text-shadow: 0 0 35px rgba(243,237,225,.08), 0 16px 0 rgba(0,0,0,.55);
  user-select: none;
}

.threshold-plate {
  position: absolute;
  left: 12vw;
  top: 37vh;
  width: min(470px, 64vw);
  padding: 24px 28px;
  transform: rotate(-3deg);
  border: 1px solid var(--brass);
  background: linear-gradient(145deg, rgba(243,237,225,.92), rgba(243,237,225,.72));
  color: var(--black);
  box-shadow: 18px 24px 0 rgba(0,0,0,.42), inset 0 0 0 6px rgba(155,122,59,.12);
}

.chapter, .plate-label, .porcelain-annotation span {
  display: block;
  color: var(--brass);
  font: 800 14px/1 var(--smallcap);
  letter-spacing: .18em;
  text-transform: uppercase;
}

.threshold-plate p { margin: 16px 0 0; font: 600 28px/1.05 var(--smallcap); }

.align-invite, .seal-trigger {
  position: absolute;
  border: 1px solid var(--brass);
  background: var(--black);
  color: var(--porcelain);
  font: 700 13px/1 var(--mono);
  letter-spacing: .14em;
  text-transform: uppercase;
  cursor: pointer;
  transition: transform .25s ease, color .25s ease, border-color .25s ease;
}

.align-invite {
  right: 13vw;
  top: 58vh;
  padding: 17px 24px;
}

.align-invite:hover, .seal-trigger:hover { transform: translateY(-3px); color: var(--cold-blue); border-color: var(--cold-blue); }

.inventory-tag {
  position: absolute;
  right: 36px;
  bottom: 34px;
  padding: 12px 16px;
  color: var(--black);
  background: var(--porcelain);
  border: 1px solid var(--brass);
  font: 600 13px/1.25 var(--mono);
  box-shadow: inset 0 0 0 4px rgba(155,122,59,.16);
}

.porcelain-annotation {
  position: absolute;
  width: 260px;
  padding: 18px 20px 20px;
  color: var(--black);
  background: linear-gradient(135deg, var(--porcelain), #d8cfbd);
  border: 1px solid var(--brass);
  box-shadow: 12px 14px 0 rgba(0,0,0,.33), inset 0 0 0 4px rgba(155,122,59,.13);
  z-index: 2;
}
.porcelain-annotation b { display: block; margin: 8px 0 10px; font: 800 25px/1 var(--smallcap); color: var(--black); }
.porcelain-annotation em { display: block; font: 500 15px/1.25 var(--condensed); color: var(--graphite); font-style: normal; }
.ledge-left { left: 8vw; top: 14vh; transform: rotate(-2deg); }
.ledge-right { right: 8vw; top: 12vh; transform: rotate(2deg); }

.conveyor {
  position: absolute;
  width: 118vw;
  height: 3px;
  left: -8vw;
  top: 53vh;
  background: repeating-linear-gradient(90deg, var(--brass) 0 22px, transparent 22px 32px);
  transform: rotate(-18deg);
  box-shadow: 0 0 16px rgba(155,122,59,.35);
}

.plate-stage {
  position: absolute;
  left: 26vw;
  top: 23vh;
  width: min(730px, 65vw);
  height: 58vh;
}

.premise-plate {
  position: absolute;
  width: min(560px, 62vw);
  min-height: 126px;
  padding: 22px 26px;
  color: var(--black);
  background:
    radial-gradient(circle at 18px 18px, var(--brass) 0 4px, transparent 5px),
    radial-gradient(circle at calc(100% - 18px) 18px, var(--brass) 0 4px, transparent 5px),
    linear-gradient(145deg, var(--porcelain), #cfc6b5);
  border: 2px solid var(--brass);
  box-shadow: 22px 24px 0 rgba(0,0,0,.38), inset 0 0 0 7px rgba(8,10,12,.07);
  transform: translateX(var(--plate-shift, 0px)) rotate(var(--rot, -1deg));
  transition: transform .7s cubic-bezier(.15,.8,.12,1), opacity .5s ease;
}
.premise-plate strong { display: block; margin: 12px 0; font: 800 31px/1.02 var(--smallcap); }
.premise-plate code { color: var(--wax); font: 600 16px/1 var(--mono); }
.plate-p { top: 2vh; left: 10vw; --rot: -4deg; }
.plate-q { top: 22vh; left: -2vw; --rot: 3deg; }
.conclusion { top: 42vh; left: 13vw; --rot: -1deg; }
.ghost { opacity: .58; }
.chamber.active .premise-plate { --plate-shift: 0px; }
.chamber:not(.active) .plate-p { --plate-shift: -110px; }
.chamber:not(.active) .plate-q { --plate-shift: 90px; }
.chamber:not(.active) .conclusion { --plate-shift: 170px; }

.brass-caliper {
  position: absolute;
  right: 18vw;
  bottom: 16vh;
  width: 220px;
  height: 54px;
  border-top: 3px solid var(--brass);
  transform: rotate(-11deg);
}
.brass-caliper span { position: absolute; top: -18px; width: 12px; height: 58px; border: 2px solid var(--brass); background: rgba(155,122,59,.08); }
.brass-caliper span:first-child { left: 0; }
.brass-caliper span:last-child { right: var(--caliper-gap, 34px); transition: right .6s ease; }

.syllogism-lock {
  position: absolute;
  left: 12vw;
  top: 23vh;
  width: min(780px, 76vw);
  height: 430px;
  border: 1px solid rgba(155,122,59,.65);
  background: linear-gradient(145deg, rgba(37,42,46,.92), rgba(8,10,12,.82));
  box-shadow: inset 0 0 0 7px rgba(155,122,59,.06), 28px 30px 0 rgba(0,0,0,.32);
  cursor: grab;
}
.syllogism-lock.aligned { box-shadow: inset 0 0 0 7px rgba(66,126,105,.22), 0 0 60px rgba(78,157,255,.18), 28px 30px 0 rgba(0,0,0,.32); }
.lock-track { position: absolute; left: 9%; right: 9%; top: 50%; height: 8px; background: repeating-linear-gradient(90deg, var(--brass) 0 18px, transparent 18px 28px); opacity: .55; }
.lock-plate {
  position: absolute;
  width: 315px;
  height: 108px;
  display: grid;
  place-items: center;
  color: var(--black);
  background: linear-gradient(145deg, var(--porcelain), #bfb7a8);
  border: 2px solid var(--brass);
  font: 800 24px/1 var(--smallcap);
  transform: translateX(var(--lock-drag, 0px));
  transition: transform .08s linear;
}
.major { left: 52px; top: 70px; clip-path: polygon(0 0, 86% 0, 100% 50%, 86% 100%, 0 100%, 10% 50%); }
.minor { left: 210px; top: 162px; clip-path: polygon(0 50%, 13% 0, 100% 0, 89% 50%, 100% 100%, 13% 100%); }
.result { left: 385px; top: 254px; clip-path: polygon(0 0, 88% 0, 100% 50%, 88% 100%, 0 100%, 12% 50%); }
.lock-core {
  position: absolute;
  left: 50%;
  top: 50%;
  width: 98px;
  height: 98px;
  margin: -49px 0 0 -49px;
  display: grid;
  place-items: center;
  border-radius: 50%;
  border: 2px solid var(--brass);
  background: var(--black);
  color: var(--brass);
  font: 700 13px/1 var(--mono);
  letter-spacing: .12em;
}
.valid-window { position: absolute; left: 345px; top: 126px; width: 128px; height: 175px; border: 1px dashed var(--cold-blue); box-shadow: 0 0 24px rgba(78,157,255,.24); }
.gate-conclusion {
  position: absolute;
  right: 42px;
  bottom: 34px;
  color: var(--cold-blue);
  font: 700 18px/1 var(--mono);
  letter-spacing: .05em;
  opacity: 0;
  transform: translateY(18px);
  transition: opacity .35s ease, transform .35s ease;
}
.syllogism-lock.aligned .gate-conclusion { opacity: 1; transform: translateY(0); }
.proof-hinge { position: absolute; left: 27vw; bottom: 9vh; width: 47vw; height: 180px; fill: none; stroke: var(--brass); stroke-width: 3; opacity: .72; }
.proof-hinge path { stroke-dasharray: 820; stroke-dashoffset: var(--hinge-offset, 820); transition: stroke-dashoffset .9s ease; }

.furnace { background: radial-gradient(circle at 55% 58%, rgba(214,58,38,.26), transparent 26%), linear-gradient(120deg, var(--black), #18090a 60%, var(--graphite)); }
.furnace-grate { position: absolute; inset: 19vh 13vw 18vh 28vw; background: repeating-linear-gradient(90deg, transparent 0 30px, rgba(214,58,38,.32) 31px 37px), repeating-linear-gradient(0deg, rgba(243,237,225,.05) 0 3px, transparent 3px 44px); border: 1px solid rgba(214,58,38,.35); filter: drop-shadow(0 0 24px rgba(214,58,38,.23)); }
.jam-apparatus { position: absolute; left: 30vw; top: 30vh; width: 48vw; min-width: 520px; height: 330px; }
.tooth-line { position: absolute; left: 0; right: 0; height: 78px; display: flex; gap: 16px; transition: transform .35s cubic-bezier(.18,.8,.2,1); }
.tooth-line.upper { top: 30px; }
.tooth-line.lower { top: 116px; transform: translateX(24px); }
.jammed .tooth-line.upper { transform: translateX(22px); }
.jammed .tooth-line.lower { transform: translateX(-18px); }
.tooth-line i { flex: 1; background: linear-gradient(145deg, var(--brass), #604819); clip-path: polygon(0 0, 100% 0, 80% 100%, 18% 100%); box-shadow: inset 0 0 0 2px rgba(8,10,12,.35); }
.seal-trigger { left: 48px; bottom: 38px; padding: 15px 19px; }
.contradiction-seal { position: absolute; right: 10%; bottom: 32px; width: 142px; height: 142px; display: grid; place-items: center; border-radius: 50%; color: var(--porcelain); background: radial-gradient(circle, var(--vermilion), var(--wax)); border: 6px double rgba(243,237,225,.55); font: 900 76px/1 var(--serif-jp); transform: scale(.4) rotate(-18deg); opacity: 0; box-shadow: 0 20px 0 rgba(0,0,0,.3); }
.contradiction-seal.stamped { animation: stamp .55s cubic-bezier(.15,1.2,.2,1) forwards; }
.porcelain-shards { position: absolute; right: 6vw; top: 18vh; width: 300px; height: 280px; }
.porcelain-shards span { position: absolute; display: grid; place-items: center; width: 76px; height: 58px; color: var(--black); background: var(--porcelain); font: 700 20px/1 var(--mono); clip-path: polygon(12% 0, 100% 10%, 86% 100%, 0 82%); transform: rotate(var(--r)); }
.porcelain-shards span:nth-child(1) { left: 30px; top: 30px; --r: -12deg; }
.porcelain-shards span:nth-child(2) { right: 28px; top: 80px; --r: 18deg; }
.porcelain-shards span:nth-child(3) { left: 110px; bottom: 35px; --r: -31deg; }
.porcelain-shards span:nth-child(4) { right: 70px; bottom: 110px; --r: 7deg; background: #ead3ca; color: var(--wax); }

.cold-flame { position: absolute; left: 8vw; right: 8vw; top: 51vh; height: 2px; background: var(--cold-blue); box-shadow: 0 0 22px var(--cold-blue), 0 0 60px rgba(78,157,255,.4); transform: scaleX(var(--flame-scale, .2)); transform-origin: left; transition: transform .2s linear; }
.truth-table-drydock { position: absolute; left: 14vw; top: 24vh; width: min(720px, 68vw); padding: 26px; background: linear-gradient(145deg, rgba(243,237,225,.95), #cfc5b2); color: var(--black); border: 2px solid var(--brass); box-shadow: 28px 34px 0 rgba(0,0,0,.36), inset 0 0 0 8px rgba(155,122,59,.12); }
.dock-title { margin-bottom: 18px; font: 800 28px/1 var(--smallcap); letter-spacing: .08em; color: var(--wax); }
table { width: 100%; border-collapse: collapse; font-family: var(--mono); }
th, td { padding: 14px 16px; border: 1px solid rgba(8,10,12,.36); text-align: left; position: relative; overflow: hidden; }
tbody tr::after { content: ""; position: absolute; left: 0; height: 48px; width: var(--fill, 0%); background: linear-gradient(90deg, rgba(66,126,105,.28), rgba(78,157,255,.20)); transition: width .7s ease; pointer-events: none; }
tbody tr { position: relative; }
.drydock.active tbody tr:nth-child(1)::after { --fill: 100%; transition-delay: .1s; }
.drydock.active tbody tr:nth-child(2)::after { --fill: 100%; transition-delay: .28s; background: linear-gradient(90deg, rgba(214,58,38,.24), rgba(91,18,23,.16)); }
.drydock.active tbody tr:nth-child(3)::after { --fill: 100%; transition-delay: .46s; }
.drydock.active tbody tr:nth-child(4)::after { --fill: 100%; transition-delay: .64s; }

.ledger-holes { position: absolute; left: 18vw; top: 12vh; bottom: 10vh; width: 34px; background: radial-gradient(circle, var(--black) 0 8px, transparent 9px) center 10px/34px 72px repeat-y, var(--porcelain); border: 1px solid var(--brass); opacity: .82; }
.archive-rack { position: absolute; left: 29vw; top: 18vh; width: min(760px, 62vw); display: grid; gap: 18px; transform: rotate(-1deg); }
.archive-rack article { padding: 21px 24px; color: var(--porcelain); background: linear-gradient(90deg, rgba(155,122,59,.23), rgba(37,42,46,.92)); border-left: 5px solid var(--brass); box-shadow: 16px 14px 0 rgba(0,0,0,.28); }
.archive-rack span { display: block; margin-bottom: 7px; color: var(--brass); font: 800 24px/1 var(--smallcap); }
.archive-rack code { color: var(--porcelain); font: 500 16px/1 var(--mono); }
.archive-seal { position: absolute; right: 10vw; bottom: 13vh; width: 170px; height: 170px; display: grid; place-items: center; color: var(--verdigris); border: 5px double var(--verdigris); border-radius: 50%; font: 800 22px/1 var(--smallcap); transform: rotate(14deg); background: rgba(8,10,12,.64); }

.qed-room { display: grid; place-items: center; background: radial-gradient(circle at var(--lamp-x, 50%) var(--lamp-y, 42%), rgba(243,237,225,.18), transparent 20%), linear-gradient(180deg, var(--graphite), var(--black)); }
.quiet-lamp { position: absolute; top: 12vh; left: 50%; width: 26px; height: 26px; border-radius: 50%; background: var(--porcelain); box-shadow: 0 0 30px var(--porcelain), 0 0 120px rgba(243,237,225,.28); }
.qed-panel { width: min(780px, 72vw); padding: 46px 52px; color: var(--black); background: linear-gradient(145deg, var(--porcelain), #d3c8b6); border: 2px solid var(--brass); box-shadow: 34px 36px 0 rgba(0,0,0,.38), inset 0 0 0 9px rgba(155,122,59,.12); transform: rotate(.7deg); }
.qed-panel h2 { margin: 18px 0; font: 900 clamp(2.3rem, 5vw, 5rem)/.88 var(--serif-jp); letter-spacing: .03em; }
.qed-panel p { max-width: 520px; font: 500 21px/1.32 var(--condensed); }
.qed-mark { margin-top: 28px; color: var(--wax); font: 800 54px/1 var(--smallcap); letter-spacing: .16em; }
.final-tag { right: 7vw; bottom: 7vh; }

@keyframes stamp {
  0% { opacity: 0; transform: scale(1.8) rotate(-18deg); }
  62% { opacity: 1; transform: scale(.92) rotate(-9deg); }
  82% { transform: scale(1.08) rotate(-11deg); }
  100% { opacity: 1; transform: scale(1) rotate(-10deg); }
}

@keyframes furnacePulse {
  0%, 100% { background-color: transparent; }
  45% { background-color: rgba(214,58,38,.35); }
}

@media (max-width: 820px) {
  .symbol-index { left: 6px; transform: translateY(-50%) scale(.86); }
  .chamber { padding-left: 72px; padding-right: 24px; }
  .kanji-lintel { left: 18vw; top: -2vh; font-size: 45vw; writing-mode: vertical-rl; }
  .threshold-plate, .plate-stage, .syllogism-lock, .jam-apparatus, .truth-table-drydock, .archive-rack, .qed-panel { left: 82px; width: calc(100vw - 108px); min-width: 0; }
  .ledge-left, .ledge-right { left: 86px; right: auto; top: 7vh; width: calc(100vw - 122px); }
  .premise-plate { width: calc(100vw - 130px); }
  .proof-hinge, .porcelain-shards, .archive-seal { display: none; }
  .lock-plate { width: 230px; font-size: 18px; }
  .minor { left: 80px; }
  .result { left: 130px; }
}