@charset "UTF-8";
/* Generated from scss/styles.scss. Edit the SCSS source, then run `npm run build`. */
:root {
  color-scheme: dark;
  --bg: #071011;
  --bg-soft: #0a1516;
  --panel: #0c191a;
  --panel-2: #102021;
  --line: #203334;
  --line-bright: #315253;
  --text: #f0f7f5;
  --muted: #91a5a1;
  --cyan: #5debd4;
  --cyan-soft: #1dbda7;
  --blue: #7db8ff;
  --amber: #e9bf73;
  --green: #8fe4aa;
  --max: 1180px;
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  line-height: 1.6;
  overflow-x: hidden;
}
body::before {
  content: "";
  position: fixed;
  inset: 0;
  pointer-events: none;
  opacity: 0.17;
  background-image: linear-gradient(rgba(93, 235, 212, 0.05) 1px, transparent 1px), linear-gradient(90deg, rgba(93, 235, 212, 0.05) 1px, transparent 1px);
  background-size: 48px 48px;
  mask-image: linear-gradient(to bottom, black, transparent 70%);
}

a {
  color: inherit;
  text-decoration: none;
}

button {
  color: inherit;
  font: inherit;
}

button, a {
  -webkit-tap-highlight-color: transparent;
}

:focus-visible {
  outline: 2px solid var(--cyan);
  outline-offset: 4px;
  border-radius: 4px;
}

.skip-link {
  position: fixed;
  top: 12px;
  left: 12px;
  z-index: 50;
  padding: 10px 14px;
  background: var(--cyan);
  color: #03110f;
  transform: translateY(-150%);
}
.skip-link:focus {
  transform: translateY(0);
}

.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

.site-header, footer {
  width: min(100% - 40px, var(--max));
  margin: auto;
  display: flex;
  align-items: center;
  justify-content: space-between;
}

.site-header {
  height: 78px;
  border-bottom: 1px solid rgba(145, 165, 161, 0.15);
  position: relative;
  z-index: 10;
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 11px;
  font-size: 19px;
  font-weight: 750;
  letter-spacing: -0.02em;
}

.brand-mark {
  width: 26px;
  height: 26px;
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 2px;
  border: 1px solid #28504b;
  border-radius: 7px;
  background: #0d211e;
  transform: rotate(-6deg);
}
.brand-mark i {
  display: block;
  width: 3px;
  border-radius: 2px;
  background: var(--cyan);
}
.brand-mark i:nth-child(1) {
  height: 7px;
}
.brand-mark i:nth-child(2) {
  height: 14px;
}
.brand-mark i:nth-child(3) {
  height: 10px;
}

.site-header nav {
  display: flex;
  gap: 34px;
  color: var(--muted);
  font-size: 14px;
}

.site-header nav a:hover, footer nav a:hover {
  color: var(--cyan);
}

.header-link {
  font-size: 14px;
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 8px 13px;
}

.section {
  width: min(100% - 40px, var(--max));
  margin: auto;
  padding: 110px 0;
  position: relative;
}

.eyebrow {
  color: var(--cyan);
  font-size: 11px;
  font-weight: 750;
  letter-spacing: 0.16em;
  text-transform: uppercase;
}

h1, h2, h3, p {
  margin-top: 0;
}

h1 {
  max-width: 750px;
  margin-bottom: 25px;
  font-size: clamp(48px, 6.3vw, 86px);
  line-height: 0.98;
  letter-spacing: -0.065em;
}

h1 span, h2 span {
  color: var(--cyan);
}

h2 {
  margin-bottom: 18px;
  font-size: clamp(36px, 4.5vw, 61px);
  line-height: 1.04;
  letter-spacing: -0.05em;
}

.lede {
  max-width: 650px;
  color: #afc0bc;
  font-size: 19px;
}

.button-row {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  margin-top: 32px;
}

.button {
  display: inline-flex;
  gap: 24px;
  align-items: center;
  padding: 13px 18px;
  border: 1px solid var(--line);
  border-radius: 7px;
  font-size: 14px;
  font-weight: 700;
}

.button-primary {
  background: var(--cyan);
  color: #041412;
  border-color: var(--cyan);
}

.button-primary:hover {
  background: #83f4e2;
}

.button-secondary:hover {
  border-color: var(--cyan);
  color: var(--cyan);
}

.hero {
  width: 100%;
  max-width: none;
  min-height: calc(100svh - 78px);
  display: grid;
  grid-template-columns: minmax(0, 0.88fr) minmax(480px, 1.12fr);
  align-items: center;
  gap: clamp(45px, 6vw, 90px);
  padding: 85px max(20px, (100vw - var(--max)) / 2) 100px;
  overflow: hidden;
  background: #020505;
}
.hero::after {
  content: "";
  position: absolute;
  width: 800px;
  height: 800px;
  right: -270px;
  top: -120px;
  background: radial-gradient(circle, rgba(27, 210, 181, 0.09), transparent 66%);
  pointer-events: none;
}
.hero h1 {
  max-width: 760px;
  margin-bottom: 24px;
  font-size: clamp(42px, 5.1vw, 72px);
}
.hero .lede {
  max-width: 690px;
  font-size: 17px;
}

.hero-copy {
  position: relative;
  z-index: 1;
}

.pulse {
  display: inline-block;
  width: 7px;
  height: 7px;
  border-radius: 50%;
  background: var(--cyan);
  box-shadow: 0 0 12px var(--cyan);
  margin-right: 8px;
}

.microcopy {
  margin-top: 23px;
  color: #708783;
  font: 12px ui-monospace, SFMono-Regular, Menlo, monospace;
}

.microcopy span {
  color: var(--cyan);
}

.story-sequence {
  display: grid;
  gap: 5px;
  margin: 24px 0 28px;
  font-size: clamp(17px, 1.8vw, 24px);
  line-height: 1.35;
  letter-spacing: -0.02em;
}
.story-sequence > span {
  display: block;
}
.story-sequence .story-git {
  color: #83918e;
}
.story-sequence .story-git strong {
  color: #c4cecc;
  font-weight: 650;
}
.story-sequence .story-sentor {
  color: var(--text);
}
.story-sequence .story-sentor strong {
  color: var(--cyan);
  font-weight: 750;
}

.story-logo {
  display: inline-flex;
  align-items: center;
  gap: 12px;
  margin-bottom: 25px;
  color: var(--cyan);
  font-size: 22px;
  font-weight: 800;
  letter-spacing: -0.03em;
}

.story-conclusion {
  margin: 22px 0 0;
  color: var(--text);
  font-weight: 700;
}

.git-story {
  position: relative;
  z-index: 1;
  min-width: 0;
  overflow: hidden;
  border: 1px solid #1b2a2b;
  border-radius: 12px;
  background: rgba(4, 10, 11, 0.96);
  box-shadow: 0 35px 90px rgba(0, 0, 0, 0.55);
}

.git-story-topbar {
  min-height: 47px;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  padding: 0 15px;
  border-bottom: 1px solid #172526;
  background: #091112;
  color: #687b77;
  font: 9px ui-monospace, monospace;
}
.git-story-topbar button {
  justify-self: end;
  padding: 5px 8px;
  border: 1px solid #213536;
  border-radius: 5px;
  background: transparent;
  color: #81938f;
  cursor: pointer;
}
.git-story-topbar button:hover {
  border-color: var(--cyan);
  color: var(--cyan);
}

.git-timeline {
  list-style: none;
  margin: 0;
  padding: 22px 20px 13px;
}

.git-row {
  display: grid;
  grid-template-columns: 26px minmax(0, 1fr);
}
.git-row:last-child .git-rail::before {
  bottom: 50%;
}

.git-rail {
  position: relative;
  display: flex;
  justify-content: center;
}
.git-rail::before {
  content: "";
  position: absolute;
  z-index: 0;
  top: 0;
  bottom: 0;
  width: 1px;
  background: #29413f;
}
.git-rail i {
  position: relative;
  z-index: 1;
  width: 9px;
  height: 9px;
  margin-top: 17px;
  border: 2px solid #58706c;
  border-radius: 50%;
  background: #071011;
  box-shadow: 0 0 0 4px #071011;
}

.git-entry {
  min-width: 0;
  padding: 0 0 9px 7px;
}

.git-commit {
  min-width: 0;
  display: grid;
  grid-template-columns: 62px minmax(0, 1fr) auto;
  gap: 10px;
  align-items: center;
  min-height: 43px;
  padding: 8px 10px;
  border: 1px solid transparent;
  border-radius: 6px;
  color: #8fa09c;
  font-size: 10px;
}
.git-commit code {
  color: #708783;
  font: 9px ui-monospace, monospace;
}
.git-commit strong {
  overflow: hidden;
  color: #bcc9c6;
  font-size: 10px;
  font-weight: 600;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.git-commit time {
  color: #526763;
  font: 8px ui-monospace, monospace;
}

.git-head .git-rail i {
  width: 12px;
  height: 12px;
  margin-top: 23px;
  border-color: var(--cyan);
  background: var(--cyan);
  box-shadow: 0 0 16px rgba(93, 235, 212, 0.65), 0 0 0 4px #071011;
}
.git-head .git-commit {
  grid-template-columns: auto 62px minmax(0, 1fr) auto;
  min-height: 58px;
  border-color: #284844;
  background: linear-gradient(100deg, rgba(18, 40, 38, 0.95), rgba(8, 19, 20, 0.95));
}

.git-ref {
  padding: 3px 6px;
  border: 1px solid #315b55;
  border-radius: 10px;
  color: var(--cyan);
  font: 7px ui-monospace, monospace;
  white-space: nowrap;
}

.provenance-branch {
  position: relative;
  margin: 8px 0 8px 28px;
  padding: 13px 14px;
  border: 1px solid #294844;
  border-radius: 7px;
  background: rgba(13, 32, 31, 0.8);
}
.provenance-branch::before {
  content: "";
  position: absolute;
  left: -36px;
  top: 22px;
  width: 35px;
  border-top: 1px dashed #3d6761;
}

.branch-label {
  display: grid;
  grid-template-columns: auto 1fr auto;
  gap: 8px;
  align-items: center;
  color: var(--cyan);
  font-size: 9px;
}
.branch-label > span {
  font: 11px ui-monospace, monospace;
}
.branch-label strong {
  color: var(--text);
  font-size: 10px;
}
.branch-label small {
  color: #708783;
  font: 7px ui-monospace, monospace;
  text-transform: uppercase;
}

.context-pills {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
  margin-top: 10px;
}
.context-pills span {
  padding: 3px 7px;
  border: 1px solid;
  border-radius: 10px;
  font: 7px ui-monospace, monospace;
  text-transform: uppercase;
  letter-spacing: 0.05em;
}

.graph-caption {
  margin: 0;
  padding: 13px 20px 16px 53px;
  border-top: 1px solid #172526;
  color: #6f827e;
  font-size: 10px;
}
.graph-caption span {
  color: #aab8b5;
}
.graph-caption strong {
  color: var(--cyan);
}

@keyframes story-rise {
  from {
    opacity: 0;
    transform: translateY(12px);
  }
  to {
    opacity: 1;
    transform: translateY(0);
  }
}
@keyframes graph-enter {
  from {
    opacity: 0;
    transform: translateX(18px);
  }
  to {
    opacity: 1;
    transform: translateX(0);
  }
}
.hero.is-replaying .git-story {
  animation: graph-enter 0.65s ease-out 0.15s both;
}
.hero.is-replaying .git-row {
  animation: story-rise 0.42s ease-out both;
}
.hero.is-replaying .git-row:nth-child(6) {
  animation-delay: 0.55s;
}
.hero.is-replaying .git-row:nth-child(5) {
  animation-delay: 0.72s;
}
.hero.is-replaying .git-row:nth-child(4) {
  animation-delay: 0.89s;
}
.hero.is-replaying .git-row:nth-child(3) {
  animation-delay: 1.06s;
}
.hero.is-replaying .git-row:nth-child(2) {
  animation-delay: 1.23s;
}
.hero.is-replaying .git-row:nth-child(1) {
  animation-delay: 1.4s;
}
.hero.is-replaying .story-git {
  animation: story-rise 0.6s ease-out 1.9s both;
}
.hero.is-replaying .story-sentor {
  animation: story-rise 0.65s ease-out 2.9s both;
}
.hero.is-replaying .provenance-branch {
  animation: graph-enter 0.65s ease-out 2.9s both;
}
.hero.is-replaying .hero-copy > .eyebrow {
  animation: story-rise 0.5s ease-out 3.55s both;
}
.hero.is-replaying .story-logo {
  animation: story-rise 0.6s ease-out 3.75s both;
}
.hero.is-replaying h1 {
  animation: story-rise 0.65s ease-out 4s both;
}
.hero.is-replaying .lede {
  animation: story-rise 0.6s ease-out 4.15s both;
}
.hero.is-replaying .story-conclusion {
  animation: story-rise 0.55s ease-out 4.3s both;
}
.hero.is-replaying .button-row {
  animation: story-rise 0.55s ease-out 4.45s both;
}
.hero.is-replaying .microcopy {
  animation: story-rise 0.55s ease-out 4.6s both;
}

.evidence {
  display: inline-flex;
  align-items: center;
  border: 1px solid;
  border-radius: 12px;
  padding: 2px 8px;
  font: 9px ui-monospace, monospace;
  text-transform: uppercase;
  letter-spacing: 0.07em;
}

.reported {
  color: var(--blue);
  border-color: #29476b;
  background: rgba(68, 124, 190, 0.1);
}

.derived {
  color: var(--amber);
  border-color: #5d4826;
  background: rgba(193, 141, 51, 0.1);
}

.observed {
  color: var(--green);
  border-color: #28563a;
  background: rgba(67, 165, 99, 0.1);
}

.problem {
  display: grid;
  grid-template-columns: 0.9fr 1.1fr;
  gap: 100px;
  border-top: 1px solid rgba(145, 165, 161, 0.12);
}

.problem-copy > p {
  max-width: 610px;
  color: #a4b5b1;
  font-size: 17px;
}

.comparison {
  margin-top: 38px;
  border: 1px solid var(--line);
  border-radius: 8px;
  overflow: hidden;
}

.comparison div {
  display: grid;
  grid-template-columns: 90px 1fr auto;
  align-items: center;
  gap: 20px;
  padding: 17px 20px;
  font-size: 13px;
}

.comparison div + div {
  border-top: 1px solid var(--line);
  background: rgba(93, 235, 212, 0.025);
}

.comparison span {
  color: var(--muted);
}

.comparison b {
  color: var(--cyan);
  font: 11px ui-monospace, monospace;
  font-weight: 500;
}

.section-heading {
  max-width: 680px;
  margin-bottom: 55px;
}

.section-heading > p:last-child {
  color: var(--muted);
  font-size: 17px;
}

.how {
  border-top: 1px solid rgba(145, 165, 161, 0.12);
}

.process {
  list-style: none;
  margin: 0;
  padding: 0;
  display: grid;
  grid-template-columns: repeat(6, 1fr);
  border: 1px solid var(--line);
  border-radius: 10px;
  overflow: hidden;
}

.process li {
  min-width: 0;
  min-height: 184px;
  padding: 17px;
  display: flex;
  flex-direction: column;
  position: relative;
  background: rgba(12, 25, 26, 0.82);
}

.process li + li {
  border-left: 1px solid var(--line);
}

.process li::after {
  content: "→";
  position: absolute;
  right: -10px;
  top: 48%;
  z-index: 2;
  color: var(--cyan);
  background: var(--panel);
}

.process li:last-child::after {
  display: none;
}

.process span {
  color: #5d7470;
  font: 10px ui-monospace, monospace;
}

.process i {
  margin: 30px 0 20px;
  color: var(--cyan);
  font: normal 17px ui-monospace, monospace;
}

.process strong {
  font-size: 13px;
}

.process small {
  color: var(--muted);
  font-size: 11px;
}

.evidence-note {
  margin: 20px 0 0;
  color: var(--muted);
  font-size: 12px;
  text-align: center;
}

.evidence-note span {
  color: var(--cyan);
}

.evidence-note b {
  color: var(--text);
}

.demo {
  width: 100%;
  max-width: none;
  padding-left: max(20px, (100vw - var(--max)) / 2);
  padding-right: max(20px, (100vw - var(--max)) / 2);
  background: linear-gradient(180deg, rgba(14, 32, 33, 0.45), rgba(7, 16, 17, 0));
  border-top: 1px solid rgba(145, 165, 161, 0.12);
}

.demo .section-heading {
  margin-inline: auto;
  text-align: center;
}

.provenance-app {
  max-width: var(--max);
  margin: auto;
  border: 1px solid var(--line-bright);
  border-radius: 10px;
  overflow: hidden;
  background: #081314;
  box-shadow: 0 35px 80px rgba(0, 0, 0, 0.34);
}

.app-topbar {
  height: 44px;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  padding: 0 16px;
  background: #0e1c1d;
  border-bottom: 1px solid var(--line);
  font-size: 10px;
  color: var(--muted);
}

.window-dots {
  display: flex;
  gap: 6px;
}

.window-dots i {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  background: #2e4241;
}

.window-dots i:first-child {
  background: #43736d;
}

.app-topbar code {
  font-size: 10px;
}

.verified {
  justify-self: end;
  color: var(--green);
}

.verified i {
  display: inline-block;
  width: 6px;
  height: 6px;
  margin-right: 5px;
  border-radius: 50%;
  background: var(--green);
  box-shadow: 0 0 8px var(--green);
}

.commit-summary {
  display: grid;
  grid-template-columns: auto 1fr auto;
  gap: 17px;
  align-items: center;
  padding: 23px 25px;
  border-bottom: 1px solid var(--line);
}

.commit-icon {
  display: grid;
  place-items: center;
  width: 45px;
  height: 45px;
  border: 1px solid #28504b;
  border-radius: 8px;
  color: var(--cyan);
  background: #0b2420;
}

.label, .files-header small, .file-detail > small {
  color: #65807b;
  font: 9px ui-monospace, monospace;
  letter-spacing: 0.11em;
}

.commit-summary h3 {
  margin: 3px 0 4px;
  font-size: 17px;
}

.commit-summary p {
  margin: 0;
  color: var(--muted);
  font-size: 10px;
}

.commit-summary p span {
  margin: 0 5px;
}

.commit-summary code {
  color: var(--cyan);
}

.commit-stats {
  display: grid;
  grid-template-columns: repeat(3, auto);
  gap: 8px 16px;
  align-items: end;
  font: normal 10px ui-monospace, monospace;
}

.commit-stats strong {
  font-size: 19px;
}

.commit-stats span {
  grid-column: 1;
  color: var(--muted);
}

.commit-stats b {
  color: var(--green);
}

.commit-stats em, .files-header em, .file em {
  color: #e78787;
  font-style: normal;
}

.filterbar {
  display: flex;
  align-items: center;
  gap: 12px;
  min-height: 54px;
  padding: 9px 20px;
  border-bottom: 1px solid var(--line);
  font-size: 10px;
}

.filterbar > span {
  color: var(--muted);
}

.filter-buttons {
  display: flex;
  gap: 6px;
}

.filter, .reset {
  border: 1px solid var(--line);
  border-radius: 5px;
  padding: 6px 9px;
  background: #0b1819;
  cursor: pointer;
  font-size: 9px;
}

.filter b {
  margin-left: 3px;
  color: var(--muted);
}

.filter.active, .filter:hover, .reset:hover {
  border-color: #47726e;
  background: #122625;
}

.dot {
  display: inline-block;
  width: 5px;
  height: 5px;
  margin-right: 4px;
  border-radius: 50%;
}

.observed-dot {
  background: var(--green);
}

.reported-dot {
  background: var(--blue);
}

.derived-dot {
  background: var(--amber);
}

.reset {
  margin-left: auto;
  color: var(--muted);
}

.app-body {
  display: grid;
  grid-template-columns: minmax(0, 1.7fr) minmax(260px, 0.75fr);
  min-height: 610px;
}

.timeline-pane {
  padding: 20px;
  border-right: 1px solid var(--line);
}

.session-toggle {
  display: grid;
  grid-template-columns: auto 1fr auto;
  gap: 12px;
  align-items: center;
  width: 100%;
  padding: 13px;
  text-align: left;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: #0d1b1c;
  cursor: pointer;
}

.session-toggle small, .session-toggle strong, .session-toggle em {
  display: block;
}

.session-toggle small {
  color: var(--cyan);
  font: 8px ui-monospace, monospace;
  letter-spacing: 0.1em;
}

.session-toggle strong {
  font-size: 12px;
}

.session-toggle em {
  color: var(--muted);
  font-size: 9px;
  font-style: normal;
}

.chevron {
  color: var(--cyan);
}

.session-count {
  color: var(--muted);
  font: 9px ui-monospace, monospace;
}

.events {
  padding: 5px 0 0 31px;
}

.events[hidden] {
  display: none;
}

.event {
  position: relative;
  padding: 11px 0 0 25px;
  border-left: 1px solid #284541;
}

.event.hidden {
  display: none;
}

.event-node {
  position: absolute;
  left: -13px;
  top: 22px;
  display: grid;
  place-items: center;
  width: 25px;
  height: 25px;
  border: 1px solid #315b55;
  border-radius: 50%;
  background: #0b1d1d;
  color: var(--cyan);
  font: 8px ui-monospace, monospace;
}

.event-card {
  padding: 13px 15px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: #0b1718;
  font-size: 11px;
}

.event-card p {
  margin: 5px 0;
  color: #a1b2ae;
}

.event-card blockquote {
  margin: 7px 0;
  color: #c4d0cd;
  font-size: 11px;
}

.event-card h4 {
  margin: 6px 0 2px;
  font-size: 12px;
}

.event-card code {
  color: var(--green);
  font-size: 9px;
}

.event-meta {
  display: flex;
  gap: 8px;
  align-items: center;
}

.event-meta strong {
  font-size: 10px;
}

.event-meta time {
  margin-left: auto;
  color: #637b77;
  font: 8px ui-monospace, monospace;
}

.actor {
  display: flex;
  align-items: center;
  gap: 6px;
  color: var(--cyan) !important;
  font-size: 8px;
}

.actor span {
  color: #6c8480;
}

.compact-event .event-card {
  padding-block: 9px;
}

.derived-event .event-card {
  border-color: rgba(233, 191, 115, 0.34);
  background: linear-gradient(135deg, rgba(99, 72, 31, 0.16), #0b1718 62%);
}

.derived-node {
  border-color: #6f552c;
  background: #241b0f;
  color: var(--amber);
}

.inference-basis {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr) auto minmax(0, 1fr) auto minmax(0, 1.15fr);
  gap: 8px;
  align-items: stretch;
  margin: 12px 0;
}
.inference-basis > span {
  min-width: 0;
  padding: 9px;
  border: 1px solid var(--line);
  border-radius: 5px;
  background: rgba(4, 10, 11, 0.56);
}
.inference-basis > i {
  align-self: center;
  color: var(--amber);
  font: normal 11px ui-monospace, monospace;
}
.inference-basis b {
  margin-bottom: 7px;
}
.inference-basis small {
  display: block;
  color: #8ea19d;
  font-size: 8px;
  line-height: 1.45;
}

.files-pane {
  background: #091516;
}

.files-header {
  min-height: 58px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 12px 15px;
  border-bottom: 1px solid var(--line);
}

.files-header small, .files-header strong {
  display: block;
}

.files-header strong {
  font-size: 11px;
}

.files-header b, .file b {
  color: var(--green);
}

.file-list {
  border-bottom: 1px solid var(--line);
}

.file {
  width: 100%;
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 11px 14px;
  border: 0;
  border-left: 2px solid transparent;
  background: transparent;
  font-size: 9px;
  cursor: pointer;
}

.file:hover, .file.active {
  border-left-color: var(--cyan);
  background: #102020;
}

.file > span {
  display: flex;
  gap: 8px;
  align-items: center;
}

.file i {
  display: grid;
  place-items: center;
  width: 20px;
  height: 20px;
  color: var(--cyan);
  border: 1px solid #294a46;
  border-radius: 3px;
  font-style: normal;
  font: 8px ui-monospace, monospace;
}

.file strong {
  font: 9px ui-monospace, monospace;
}

.file b, .file em {
  font: 8px ui-monospace, monospace;
}

.file-detail {
  margin: 16px;
  padding: 15px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: #0c191a;
}

.file-detail h4 {
  margin: 5px 0 7px;
  font: 12px ui-monospace, monospace;
}

.file-detail p {
  color: var(--muted);
  font-size: 10px;
}

.file-detail dl {
  margin: 16px 0 0;
}

.file-detail dl div {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding-top: 8px;
  border-top: 1px solid var(--line);
  font-size: 9px;
}

.file-detail dt {
  color: var(--muted);
}

.file-detail dd {
  margin: 0;
}

.architecture {
  border-top: 1px solid rgba(145, 165, 161, 0.12);
}

.architecture-flow {
  display: flex;
  align-items: stretch;
  gap: 12px;
  padding: 25px;
  border: 1px solid var(--line);
  border-radius: 9px;
  background: rgba(10, 22, 23, 0.8);
}

.architecture-flow > div {
  flex: 1;
  min-width: 0;
  min-height: 118px;
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  text-align: center;
  padding: 10px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: #0d1b1c;
}

.architecture-flow > b {
  align-self: center;
  color: var(--cyan);
  font-weight: 400;
}

.architecture-flow i {
  color: var(--cyan);
  font-style: normal;
  font: 14px ui-monospace, monospace;
}

.architecture-flow strong {
  margin-top: 10px;
  font-size: 10px;
}

.architecture-flow small {
  color: var(--muted);
  font-size: 8px;
}

.architecture-flow .source-stack, .architecture-flow .output-stack {
  gap: 5px;
  background: transparent;
  border-style: dashed;
}

.source-stack > small, .output-stack > small {
  margin-bottom: 4px;
  font: 7px ui-monospace, monospace;
  letter-spacing: 0.1em;
}

.source-stack span, .output-stack span {
  width: 100%;
  padding: 5px;
  border: 1px solid var(--line);
  border-radius: 3px;
  font-size: 8px;
  background: #0d1b1c;
}

.principles {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  margin-top: 35px;
  border-top: 1px solid var(--line);
}

.principles p {
  display: grid;
  grid-template-columns: auto 1fr;
  column-gap: 14px;
  margin: 0;
  padding: 25px;
  color: var(--muted);
  font-size: 11px;
}

.principles p + p {
  border-left: 1px solid var(--line);
}

.principles span {
  grid-row: 1/3;
  color: var(--cyan);
  font: 10px ui-monospace, monospace;
}

.principles strong {
  color: var(--text);
  font-size: 13px;
}

.proof {
  border-top: 1px solid rgba(145, 165, 161, 0.12);
}
.proof .section-heading {
  max-width: 760px;
}

.proof-grid {
  display: grid;
  grid-template-columns: minmax(280px, 0.72fr) minmax(0, 1.28fr);
  gap: 48px;
  align-items: start;
}

.proof-copy {
  padding-top: 8px;
}

.proof-duration {
  margin-bottom: 28px;
  color: var(--cyan);
  font: 10px ui-monospace, monospace;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.proof-steps {
  list-style: none;
  margin: 0;
  padding: 0;
}
.proof-steps li {
  display: grid;
  grid-template-columns: 34px 1fr;
  gap: 15px;
  padding: 20px 0;
  border-top: 1px solid var(--line);
}
.proof-steps li > span {
  color: var(--cyan);
  font: 10px ui-monospace, monospace;
}
.proof-steps strong {
  display: block;
  margin-bottom: 5px;
  font-size: 14px;
}
.proof-steps p {
  margin: 0;
  color: var(--muted);
  font-size: 12px;
}

.proof-warning {
  margin: 25px 0 0;
  color: #708783;
  font-size: 11px;
}
.proof-warning span {
  margin-right: 6px;
  color: var(--amber);
}
.proof-warning code {
  color: var(--text);
}

.workflow-terminal {
  min-width: 0;
  overflow: hidden;
  border: 1px solid var(--line-bright);
  border-radius: 10px;
  background: #061011;
  box-shadow: 0 28px 70px rgba(0, 0, 0, 0.3);
}
.workflow-terminal pre {
  max-height: 570px;
  margin: 0;
  padding: 25px;
  overflow: auto;
  color: #c5d6d2;
  font: 11px/1.75 ui-monospace, SFMono-Regular, Menlo, monospace;
  text-align: left;
  tab-size: 2;
}
.workflow-terminal code {
  font: inherit;
}

.workflow-topbar {
  min-height: 46px;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  padding: 0 15px;
  border-bottom: 1px solid var(--line);
  background: #0e1c1d;
  color: var(--muted);
  font: 9px ui-monospace, monospace;
}
.workflow-topbar button {
  justify-self: end;
  padding: 6px 9px;
  border: 1px solid var(--line);
  border-radius: 5px;
  background: #0b1819;
  color: var(--cyan);
  cursor: pointer;
}
.workflow-topbar button:hover {
  border-color: var(--cyan);
}

.built-with {
  border-top: 1px solid rgba(145, 165, 161, 0.12);
}
.built-with::before {
  content: "";
  position: absolute;
  width: 560px;
  height: 560px;
  right: -300px;
  top: 130px;
  border-radius: 50%;
  background: radial-gradient(circle, rgba(46, 217, 190, 0.08), transparent 68%);
  pointer-events: none;
}

.built-heading {
  max-width: 830px;
}
.built-heading > p:last-child {
  max-width: 760px;
}

.build-flow {
  position: relative;
  z-index: 1;
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  margin: 50px 0 18px;
  padding: 0;
  list-style: none;
  border: 1px solid var(--line-bright);
  border-radius: 10px;
  background: rgba(7, 16, 17, 0.8);
  overflow: hidden;
}
.build-flow li {
  position: relative;
  min-height: 220px;
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  padding: 22px 20px 19px;
}
.build-flow li + li {
  border-left: 1px solid var(--line);
}
.build-flow li:not(:last-child)::after {
  content: "›";
  position: absolute;
  z-index: 2;
  top: 52px;
  right: -8px;
  width: 15px;
  height: 24px;
  display: grid;
  place-items: center;
  background: #071011;
  color: var(--cyan);
  font: 18px/1 ui-monospace, monospace;
}
.build-flow i {
  display: grid;
  place-items: center;
  width: 40px;
  height: 40px;
  margin: 17px 0 18px;
  border: 1px solid #28504b;
  border-radius: 7px;
  background: #0b2420;
  color: var(--cyan);
  font: normal 14px ui-monospace, monospace;
}
.build-flow strong {
  margin-bottom: 6px;
  font-size: 13px;
}
.build-flow small {
  color: var(--muted);
  font-size: 10px;
  line-height: 1.5;
}

.build-number {
  color: #607873;
  font: 9px ui-monospace, monospace;
  letter-spacing: 0.08em;
}

.evidence-chip {
  margin-top: auto;
  padding-top: 18px;
  font: 8px ui-monospace, monospace;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}
.evidence-chip.observed {
  color: var(--green);
}
.evidence-chip.reported {
  color: var(--blue);
}

.build-evidence {
  display: grid;
  grid-template-columns: minmax(0, 0.92fr) minmax(0, 1.08fr);
  gap: 18px;
}

.repo-window, .self-proof {
  min-width: 0;
  overflow: hidden;
  border: 1px solid var(--line-bright);
  border-radius: 10px;
  background: rgba(7, 16, 17, 0.9);
  box-shadow: 0 25px 65px rgba(0, 0, 0, 0.18);
}

.repo-topbar {
  min-height: 48px;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  padding: 0 15px;
  border-bottom: 1px solid var(--line);
  background: #0e1c1d;
  color: var(--muted);
  font: 9px ui-monospace, monospace;
}
.repo-topbar > span:nth-child(2) {
  white-space: nowrap;
}
.repo-topbar > a {
  justify-self: end;
  color: var(--cyan);
}
.repo-topbar > a:hover {
  text-decoration: underline;
}

.repo-body {
  padding: 22px;
}

.panel-kicker {
  display: flex;
  align-items: center;
  gap: 9px;
  margin: 0 0 20px;
  color: var(--muted);
  font: 8px ui-monospace, monospace;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}
.panel-kicker b {
  padding: 3px 6px;
  border: 1px solid #28504b;
  border-radius: 4px;
  color: var(--green);
  font-weight: 650;
}

.repo-tree {
  margin: 0;
  padding: 0;
  list-style: none;
  color: #b9cbc7;
  font: 10px/1.45 ui-monospace, SFMono-Regular, Menlo, monospace;
}
.repo-tree li {
  min-height: 34px;
  display: grid;
  grid-template-columns: 20px minmax(0, 1fr) auto;
  align-items: center;
  gap: 5px;
  border-bottom: 1px solid rgba(39, 66, 63, 0.42);
}
.repo-tree small {
  color: #627873;
  font-size: 8px;
}
.repo-tree a {
  color: var(--cyan);
}
.repo-tree a:hover {
  text-decoration: underline;
}

.tree-folder span {
  color: var(--cyan);
}

.tree-file {
  padding-left: 17px;
}
.tree-file > span {
  color: #49605c;
}

.tree-root {
  grid-template-columns: 20px minmax(0, 1fr) auto;
}
.tree-root span {
  color: #55706b;
  font-size: 7px;
}

.self-proof {
  padding: 22px;
}

.proof-topline {
  display: flex;
  justify-content: space-between;
  gap: 20px;
  align-items: flex-start;
}
.proof-topline h3 {
  margin: 0;
  font-size: 18px;
  letter-spacing: -0.02em;
}

.association {
  flex: 0 0 auto;
  padding: 6px 8px;
  border: 1px solid rgba(67, 194, 137, 0.32);
  border-radius: 5px;
  background: rgba(67, 194, 137, 0.07);
  color: var(--green);
  font: 8px ui-monospace, monospace;
  text-transform: uppercase;
}
.association i {
  font-style: normal;
}

.build-commit {
  display: grid;
  grid-template-columns: 16px 67px minmax(0, 1fr);
  align-items: center;
  gap: 10px;
  margin: 27px 0 16px;
  padding: 14px 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}
.build-commit code {
  color: var(--cyan);
  font: 9px ui-monospace, monospace;
}
.build-commit strong {
  display: block;
  font-size: 11px;
}
.build-commit small {
  display: block;
  margin-top: 4px;
  color: var(--muted);
  font-size: 8px;
}

.commit-node {
  width: 11px;
  height: 11px;
  border: 2px solid var(--cyan);
  border-radius: 50%;
  box-shadow: 0 0 0 4px rgba(46, 217, 190, 0.08);
}

.build-metrics {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  border: 1px solid var(--line);
  border-radius: 7px;
  overflow: hidden;
}
.build-metrics div {
  min-width: 0;
  padding: 13px 10px;
}
.build-metrics div + div {
  border-left: 1px solid var(--line);
}
.build-metrics strong {
  display: block;
  color: var(--cyan);
  font: 20px ui-monospace, monospace;
}
.build-metrics span {
  display: block;
  color: #b7c8c4;
  font-size: 9px;
}
.build-metrics small {
  display: block;
  margin-top: 4px;
  color: #607773;
  font-size: 7px;
}

.proof-command {
  display: flex;
  align-items: center;
  gap: 9px;
  margin-top: 14px;
  padding: 11px 12px;
  border-radius: 6px;
  background: #03090a;
  color: #aebfbc;
  font: 9px ui-monospace, monospace;
}
.proof-command span {
  color: var(--cyan);
}
.proof-command b {
  margin-left: auto;
  color: var(--green);
  font-weight: 600;
}

.snapshot-note {
  margin: 12px 0 0;
  color: #617873;
  font-size: 8px;
}

.build-statement {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 18px;
  max-width: 900px;
  margin: 44px auto 0;
  padding: 0;
  border: 0;
}
.build-statement > span {
  color: var(--cyan);
  font: 58px/0.8 Georgia, serif;
  opacity: 0.45;
}
.build-statement p {
  margin: 0;
  color: #b8c9c5;
  font-size: clamp(17px, 2vw, 22px);
  line-height: 1.55;
}

.benefits {
  border-top: 1px solid rgba(145, 165, 161, 0.12);
}

.benefit-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 14px;
}

.benefit-grid article {
  min-height: 230px;
  padding: 24px;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: rgba(12, 25, 26, 0.66);
}

.benefit-grid i {
  display: grid;
  place-items: center;
  width: 40px;
  height: 40px;
  margin-bottom: 45px;
  border: 1px solid #28504b;
  border-radius: 6px;
  color: var(--cyan);
  background: #0b2420;
  font-style: normal;
}

.benefit-grid h3 {
  margin-bottom: 9px;
  font-size: 16px;
}

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

.final-cta {
  width: 100%;
  max-width: none;
  min-height: 650px;
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  text-align: center;
  overflow: hidden;
  border-top: 1px solid rgba(145, 165, 161, 0.12);
  background: linear-gradient(rgba(8, 18, 19, 0.9), rgba(7, 16, 17, 0.95));
}

.final-cta > * {
  position: relative;
  z-index: 1;
}

.final-cta h2 {
  font-size: clamp(44px, 6vw, 76px);
}

.final-cta > p:not(.eyebrow) {
  color: var(--muted);
}

.cta-glow {
  position: absolute;
  z-index: 0;
  width: 600px;
  height: 600px;
  border-radius: 50%;
  background: radial-gradient(circle, rgba(46, 217, 190, 0.15), transparent 65%);
}

.terminal {
  margin-top: 38px;
  width: min(100% - 40px, 450px);
  display: flex;
  gap: 12px;
  padding: 13px 15px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: #071011;
  text-align: left;
  color: #c3d2cf;
  font: 11px ui-monospace, monospace;
}

.terminal span {
  color: var(--cyan);
}

.terminal button {
  margin-left: auto;
  border: 0;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font-size: 10px;
}

footer {
  min-height: 100px;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-size: 11px;
}

footer .brand {
  color: var(--text);
}

footer p {
  margin: 0;
}

footer nav {
  display: flex;
  gap: 25px;
}

@media (max-width: 900px) {
  .site-header nav {
    display: none;
  }
  .hero {
    grid-template-columns: 1fr;
    padding-top: 80px;
    gap: 50px;
  }
  .hero-copy {
    max-width: 780px;
  }
  .git-story {
    width: 100%;
    max-width: 780px;
  }
  .problem {
    grid-template-columns: 1fr;
    gap: 25px;
  }
  .process {
    grid-template-columns: repeat(3, 1fr);
  }
  .process li:nth-child(4) {
    border-left: 0;
    border-top: 1px solid var(--line);
  }
  .process li:nth-child(5), .process li:nth-child(6) {
    border-top: 1px solid var(--line);
  }
  .app-body {
    grid-template-columns: 1fr;
  }
  .timeline-pane {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }
  .architecture-flow {
    flex-wrap: wrap;
  }
  .architecture-flow > div {
    flex: 1 1 27%;
  }
  .architecture-flow > b {
    display: none;
  }
  .proof-grid {
    grid-template-columns: 1fr;
    gap: 35px;
  }
  .proof-copy {
    max-width: 680px;
  }
  .build-flow {
    grid-template-columns: repeat(3, 1fr);
  }
  .build-flow li:nth-child(4) {
    border-left: 0;
    border-top: 1px solid var(--line);
  }
  .build-flow li:nth-child(5) {
    border-top: 1px solid var(--line);
  }
  .build-evidence {
    grid-template-columns: 1fr;
  }
  .benefit-grid {
    grid-template-columns: repeat(2, 1fr);
  }
}
@media (max-width: 600px) {
  .site-header, footer, .section {
    width: min(100% - 28px, var(--max));
  }
  .site-header {
    height: 65px;
  }
  .header-link {
    display: none;
  }
  .section {
    padding: 75px 0;
  }
  .hero {
    width: 100%;
    min-height: auto;
    padding: 65px 14px 75px;
  }
  h1 {
    font-size: clamp(45px, 15vw, 65px);
  }
  .hero h1 {
    font-size: clamp(39px, 12vw, 54px);
  }
  .story-sequence {
    font-size: 17px;
  }
  .git-story-topbar {
    grid-template-columns: auto 1fr auto;
    gap: 8px;
  }
  .git-story-topbar code {
    justify-self: center;
    font-size: 7px;
  }
  .git-timeline {
    padding: 16px 10px 9px;
  }
  .git-row {
    grid-template-columns: 20px minmax(0, 1fr);
  }
  .git-entry {
    padding-left: 3px;
  }
  .git-commit {
    grid-template-columns: 52px minmax(0, 1fr);
    gap: 7px;
  }
  .git-commit time {
    display: none;
  }
  .git-head .git-commit {
    grid-template-columns: auto 1fr;
  }
  .git-head .git-commit code {
    justify-self: end;
  }
  .git-head .git-commit strong {
    grid-column: 1/-1;
  }
  .provenance-branch {
    margin-left: 17px;
    padding: 11px;
  }
  .provenance-branch::before {
    left: -24px;
    width: 23px;
  }
  .branch-label {
    grid-template-columns: auto 1fr;
  }
  .branch-label small {
    grid-column: 2;
  }
  .graph-caption {
    padding-left: 30px;
  }
  .comparison div {
    grid-template-columns: 70px 1fr;
    gap: 8px;
  }
  .comparison b {
    grid-column: 2;
  }
  .process {
    grid-template-columns: repeat(2, 1fr);
  }
  .process li:nth-child(3) {
    border-left: 0;
    border-top: 1px solid var(--line);
  }
  .process li:nth-child(4) {
    border-left: 1px solid var(--line);
  }
  .process li:nth-child(5) {
    border-left: 0;
  }
  .demo {
    width: 100%;
    padding-left: 14px;
    padding-right: 14px;
  }
  .app-topbar {
    grid-template-columns: auto 1fr;
  }
  .app-topbar code {
    justify-self: end;
  }
  .verified {
    display: none;
  }
  .commit-summary {
    grid-template-columns: auto 1fr;
    padding: 17px;
  }
  .commit-stats {
    grid-column: 2;
  }
  .filterbar {
    align-items: flex-start;
    flex-wrap: wrap;
  }
  .filterbar > span {
    width: 100%;
  }
  .filter-buttons {
    width: 100%;
    overflow-x: auto;
    padding-bottom: 4px;
  }
  .filter {
    white-space: nowrap;
  }
  .reset {
    margin-left: 0;
  }
  .timeline-pane {
    padding: 10px;
  }
  .events {
    padding-left: 13px;
  }
  .event {
    padding-left: 18px;
  }
  .session-toggle {
    grid-template-columns: auto 1fr;
  }
  .session-count {
    grid-column: 2;
  }
  .event-meta {
    flex-wrap: wrap;
  }
  .event-meta time {
    width: 100%;
    margin-left: 0;
  }
  .inference-basis {
    grid-template-columns: 1fr;
  }
  .inference-basis > i {
    justify-self: center;
    transform: rotate(90deg);
  }
  .architecture-flow > div {
    flex-basis: 45%;
  }
  .principles {
    grid-template-columns: 1fr;
  }
  .principles p + p {
    border-left: 0;
    border-top: 1px solid var(--line);
  }
  .proof-grid {
    gap: 28px;
  }
  .workflow-terminal pre {
    padding: 18px;
    font-size: 10px;
  }
  .workflow-topbar {
    grid-template-columns: auto 1fr;
    gap: 10px;
  }
  .workflow-topbar > span:nth-child(2) {
    display: none;
  }
  .build-flow {
    grid-template-columns: 1fr;
  }
  .build-flow li {
    min-height: 155px;
    padding: 18px;
  }
  .build-flow li + li, .build-flow li:nth-child(4), .build-flow li:nth-child(5) {
    border-left: 0;
    border-top: 1px solid var(--line);
  }
  .build-flow li:not(:last-child)::after {
    content: "⌄";
    top: auto;
    right: 20px;
    bottom: -12px;
    width: 24px;
    height: 24px;
  }
  .build-flow i {
    margin: 12px 0;
  }
  .repo-topbar {
    grid-template-columns: auto 1fr;
    gap: 9px;
  }
  .repo-topbar > span:nth-child(2) {
    justify-self: end;
  }
  .repo-topbar > a {
    display: none;
  }
  .repo-tree small {
    display: none;
  }
  .proof-topline {
    display: block;
  }
  .association {
    display: inline-block;
    margin-top: 14px;
  }
  .build-metrics {
    grid-template-columns: repeat(2, 1fr);
  }
  .build-metrics div:nth-child(3) {
    border-left: 0;
  }
  .build-metrics div:nth-child(n+3) {
    border-top: 1px solid var(--line);
  }
  .proof-command b {
    display: none;
  }
  .build-statement {
    gap: 10px;
  }
  .benefit-grid {
    grid-template-columns: 1fr;
  }
  .benefit-grid article {
    min-height: 190px;
  }
  .benefit-grid i {
    margin-bottom: 25px;
  }
  footer {
    padding: 30px 0;
    flex-direction: column;
    gap: 18px;
    text-align: center;
  }
  footer nav {
    flex-wrap: wrap;
    justify-content: center;
  }
}
@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }
  .hero.is-replaying * {
    animation: none !important;
    opacity: 1 !important;
    transform: none !important;
  }
}