.u-strip {
  transform-origin: 0 0;
  padding: 0 0.5em;
  line-height: 1.08;
  letter-spacing: 0.015em;
}
.u-strip > span {
  text-box: trim-both cap alphabetic;
}
.u .button {
  position: relative;
  isolation: isolate;
  border-radius: 10px;
  color: var(--u-graphite);
  --b-rim:
    inset 0 1px 0 rgba(244, 250, 246, 0.8),
    inset 0 0 0 1px rgba(244, 250, 246, 0.24),
    inset 0 -2px 0 rgba(8, 12, 17, 0.18);
  --b-lift: 0 2px 0 rgba(8, 12, 17, 0.5), 0 12px 26px -12px rgba(8, 12, 17, 0.95);
  background:
    linear-gradient(
      180deg,
      rgba(244, 250, 246, 0.3) 0%,
      rgba(244, 250, 246, 0.07) 46%,
      rgba(8, 12, 17, 0) 54%,
      rgba(8, 12, 17, 0.1) 100%),
    var(--color-accent);
  box-shadow: var(--b-rim), var(--b-lift);
  transition: box-shadow 220ms var(--ease), transform 140ms var(--ease);
}
.u .button::before {
  content: "";
  position: absolute;
  inset: 0;
  z-index: -1;
  border-radius: inherit;
  pointer-events: none;
  background:
    linear-gradient(
      180deg,
      rgba(244, 250, 246, 0.24),
      rgba(244, 250, 246, 0) 62%);
  opacity: 0;
  transition: opacity 220ms var(--ease);
}
.u .button:hover {
  box-shadow:
    var(--b-rim),
    0 0 0 4px rgba(149, 242, 186, 0.16),
    0 0 26px -4px rgba(149, 242, 186, 0.45),
    var(--b-lift);
}
.u .button:hover::before {
  opacity: 1;
}
.u .button:active {
  transform: translateY(2px);
  box-shadow:
    inset 0 1px 0 rgba(244, 250, 246, 0.55),
    inset 0 0 0 1px rgba(244, 250, 246, 0.2),
    inset 0 2px 7px rgba(8, 12, 17, 0.28),
    0 0 0 rgba(8, 12, 17, 0.5),
    0 5px 12px -8px rgba(8, 12, 17, 0.95);
}
.u .button:focus-visible {
  outline: 2px solid var(--color-accent);
  outline-offset: 3px;
  box-shadow:
    var(--b-rim),
    0 0 0 3px var(--u-graphite),
    var(--b-lift);
}
.u .button[disabled] {
  opacity: 1;
  cursor: not-allowed;
  transform: none;
  color: rgba(244, 250, 246, 0.62);
  background: rgba(244, 250, 246, 0.05);
  box-shadow: inset 0 0 0 1px rgba(183, 201, 191, 0.32);
}
.u .button[disabled]::before {
  display: none;
}
.u .signup input:disabled {
  opacity: 1;
  color: rgba(244, 250, 246, 0.62);
  border-color: rgba(183, 201, 191, 0.32);
  background: rgba(244, 250, 246, 0.03);
}
.u .vision-next,
.u .nav .nav-cta,
.u .motion-toggle {
  color: var(--color-text);
  background: rgba(8, 12, 17, 0.5);
  border: 1px solid rgba(183, 201, 191, 0.42);
  box-shadow: inset 0 1px 0 rgba(244, 250, 246, 0.09), 0 6px 16px -10px rgba(8, 12, 17, 0.9);
  transition:
    border-color 180ms var(--ease),
    color 180ms var(--ease),
    box-shadow 180ms var(--ease),
    translate 140ms var(--ease);
}
.u .vision-next,
.u .nav .nav-cta {
  border-radius: 10px;
}
.u .vision-next:hover,
.u .nav .nav-cta:hover,
.u .motion-toggle:hover {
  color: var(--color-text);
  border-color: rgba(149, 242, 186, 0.75);
  box-shadow:
    inset 0 1px 0 rgba(149, 242, 186, 0.22),
    0 0 0 3px rgba(149, 242, 186, 0.1),
    0 6px 16px -10px rgba(8, 12, 17, 0.9);
}
.u .vision-next:active,
.u .nav .nav-cta:active,
.u .motion-toggle:active {
  translate: 0 1px;
}
.u .vision-next:focus-visible,
.u .nav .nav-cta:focus-visible,
.u .motion-toggle:focus-visible {
  outline: 2px solid var(--color-accent);
  outline-offset: 3px;
  box-shadow: 0 0 0 3px var(--u-graphite);
}
.u .motion-toggle {
  color: var(--color-text-secondary);
}
.u .nav .nav-link {
  background: linear-gradient(var(--color-accent), var(--color-accent)) no-repeat 50% calc(100% - 10px) / 0 1px;
  transition: color 180ms var(--ease), background-size 240ms var(--ease);
}
.u .nav .nav-link:hover {
  background-size: calc(100% - 1.7rem) 1px;
}
.u .tech summary {
  gap: 0.75rem;
  color: var(--color-text);
  font-weight: 500;
}
.u .tech summary::before {
  width: 24px;
  height: 24px;
  border-radius: 7px;
  transform: none;
  background-color: rgba(149, 242, 186, 0.07);
  background-image: linear-gradient(var(--color-accent), var(--color-accent)), linear-gradient(var(--color-accent), var(--color-accent));
  background-size: 10px 1.5px, 1.5px 10px;
  background-position: center;
  background-repeat: no-repeat;
  box-shadow: inset 0 0 0 1px rgba(149, 242, 186, 0.5), inset 0 1px 0 rgba(244, 250, 246, 0.1);
  transition:
    background-size 220ms var(--ease),
    background-color 180ms var(--ease),
    box-shadow 180ms var(--ease);
}
.u .tech[open] summary::before {
  transform: none;
  background-size: 10px 1.5px, 1.5px 0;
}
.u .tech summary:hover {
  color: var(--color-text);
}
.u .tech summary:hover::before {
  background-color: rgba(149, 242, 186, 0.14);
  box-shadow: inset 0 0 0 1px var(--color-accent), inset 0 1px 0 rgba(244, 250, 246, 0.14);
}
.u .tech-body {
  margin: 0.35rem 0 0 11.25px;
  padding: 0.1rem 0 0.4rem calc(24px + 0.75rem - 12.75px);
  border-left: 1.5px solid rgba(149, 242, 186, 0.28);
}
.u .tech-body > :first-child {
  margin-top: 0;
}
.u .descent .section p.lede {
  color: var(--color-text);
}
.u .descent p.explain {
  margin: 1rem 0 0;
  max-width: 34rem;
  color: var(--color-text-secondary);
  font-size: clamp(1rem, 1.15vw, 1.0625rem);
  line-height: 1.6;
}
.u .descent .precision {
  padding-left: 0.9rem;
  border-left: 2px solid rgba(183, 201, 191, 0.3);
  color: var(--color-text-secondary);
  font-size: 0.875rem;
  line-height: 1.55;
}
.u .descent .proof-mention.precision {
  margin-top: 1.25rem;
}
.u .descent .trial-scope.precision {
  font-size: 0.9375rem;
  line-height: 1.65;
}
.u .fork {
  margin: clamp(2.75rem, 5vw, 3.75rem) 0 0;
  --fx: 12px;
  --fi: 56px;
  --ln: rgba(183, 201, 191, 0.45);
}
.u .fork h3 {
  margin: 0;
  font: 600 1.25rem/1.3 var(--font-display);
  letter-spacing: -0.005em;
}
.u .fork p {
  margin: 0.4rem 0 0;
  max-width: 26rem;
  color: var(--color-text-secondary);
  font-size: 1.0625rem;
  line-height: 1.55;
}
.u .fork-root,
.u .fork-path {
  position: relative;
  padding-left: var(--fi);
}
.u .fork-root {
  padding-bottom: 2.25rem;
}
.u .fork-paths {
  list-style: none;
  margin: 0;
  padding: 0;
}
.u .fork-path + .fork-path {
  padding-top: 2.25rem;
}
.u .fork-pin {
  position: absolute;
  left: calc(var(--fx) - 7px);
  top: 6px;
  width: 14px;
  height: 14px;
  border-radius: 2px;
  transform: rotate(45deg);
  background: var(--u-graphite);
  box-shadow: inset 0 0 0 1.5px var(--color-accent), 0 0 10px rgba(149, 242, 186, 0.25);
}
.u .fork-root::after,
.u .fork-path::after {
  content: "";
  position: absolute;
  left: calc(var(--fx) - 0.75px);
  width: 1.5px;
  background: var(--ln);
  transform-origin: top;
}
.u .fork-root::after {
  top: 24px;
  bottom: 0;
}
.u .fork-path:first-child::after {
  top: 0;
  bottom: 0;
}
.u .fork-path:last-child::after {
  top: 0;
  height: calc(2.25rem + 1px);
}
.u .fork-path::before {
  content: "";
  position: absolute;
  left: calc(var(--fx) - 0.75px);
  top: 1px;
  width: 23.25px;
  height: 12.75px;
  border-left: 1.5px solid;
  border-bottom: 1.5px solid;
  border-bottom-left-radius: 12px;
  border-color: var(--color-accent);
  filter: drop-shadow(0 0 3px rgba(149, 242, 186, 0.45));
}
.u .fork-path + .fork-path::before {
  top: calc(2.25rem + 1px);
}
.u .fork-wait::before {
  border-color: rgba(149, 242, 186, 0.6);
  filter: none;
}
.u .fork-dot {
  position: absolute;
  left: 34.5px;
  top: 7.5px;
  width: 11px;
  height: 11px;
  border-radius: 50%;
}
.u .fork-path + .fork-path .fork-dot {
  top: calc(2.25rem + 7.5px);
}
.u .fork-go .fork-dot {
  background: var(--color-accent);
  box-shadow: 0 0 0 4px rgba(149, 242, 186, 0.14), 0 0 14px 2px rgba(149, 242, 186, 0.35);
}
.u .fork-wait .fork-dot {
  background: var(--u-graphite);
  box-shadow: inset 0 0 0 1.5px var(--color-accent);
}
.u .fork p.fork-end {
  display: flex;
  align-items: center;
  gap: 0.65rem;
  margin: 0.85rem 0 0;
  color: var(--color-text);
  font: 600 0.75rem/1.2 var(--font-sans);
  letter-spacing: 0.12em;
  text-transform: uppercase;
}
.u .fork-lane {
  width: 72px;
  height: 16px;
  flex: none;
  overflow: visible;
}
.u .fork-lane path,
.u .fork-lane circle {
  fill: none;
  stroke-linecap: round;
  stroke-linejoin: round;
}
.u .fork-go .fl-run,
.u .fork-go .fl-tip {
  stroke: var(--color-accent);
  stroke-width: 2;
}
.u .fork-go .fl-run {
  filter: drop-shadow(0 0 3px rgba(149, 242, 186, 0.55));
}
.u .fork-go .fl-gate {
  stroke: rgba(183, 201, 191, 0.7);
  stroke-width: 2;
}
.u .fork-wait .fl-run {
  stroke: rgba(149, 242, 186, 0.6);
  stroke-width: 2;
}
.u .fork-wait .fl-gate {
  stroke: var(--color-accent);
  stroke-width: 3;
}
.u .fork-wait .fl-person {
  stroke: var(--color-text-secondary);
  stroke-width: 1.6;
}
.u-stage .under {
  --pier: calc(max(var(--gutter), (100vw - var(--maxw)) / 2 + var(--gutter)) - 3rem);
  background:
    url(assets/grain-r1.png),
    linear-gradient(
      90deg,
      rgba(244, 250, 246, 0) calc(var(--pier) - 1px),
      rgba(244, 250, 246, 0.055) calc(var(--pier) - 1px),
      rgba(244, 250, 246, 0.055) var(--pier),
      rgba(0, 0, 0, 0.3) var(--pier),
      rgba(0, 0, 0, 0) calc(var(--pier) + 40px)),
    linear-gradient(
      90deg,
      rgba(244, 250, 246, 0.014),
      rgba(244, 250, 246, 0) var(--pier)),
    radial-gradient(
      ellipse 26vw 38vh at 47% 64%,
      rgba(197, 144, 109, 0.075),
      rgba(197, 144, 109, 0) 72%),
    radial-gradient(
      ellipse 30vw 16vh at calc(var(--pier) + 12vw) 100%,
      rgba(197, 144, 109, 0.05),
      rgba(197, 144, 109, 0) 72%),
    var(--color-bg);
}
.u .descent > .section + .section::before {
  box-shadow: 0 1px 0 rgba(0, 0, 0, 0.55), 0 -14px 26px -16px rgba(197, 144, 109, 0.22);
}
.u-frames .descent > .section::after {
  content: "";
  display: block;
  position: absolute;
  z-index: -1;
  left: 0;
  right: 0;
  top: 0;
  width: auto;
  height: min(120vw, 46rem);
  transform: none;
  pointer-events: none;
  background:
    radial-gradient(
      ellipse 80% 45% at 70% 42%,
      rgba(197, 144, 109, 0.07),
      rgba(197, 144, 109, 0) 72%);
}
.u .ns-roles {
  container-type: inline-size;
}
.u .roles {
  border-top: 1px solid rgba(183, 201, 191, 0.2);
  border-bottom: 1px solid rgba(183, 201, 191, 0.2);
}
.u .roles > .role {
  display: block;
  padding: 1.4rem 0 1.5rem;
  border: 0;
}
.u .roles > .role + .role {
  border-top: 1px solid rgba(183, 201, 191, 0.2);
}
@container (min-width: 29rem) {
  .u .roles {
    display: grid;
    grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  }
  .u .roles > .role:first-child {
    padding-right: 1.5rem;
  }
  .u .roles > .role + .role {
    padding-left: 1.5rem;
    border-top: 0;
    border-left: 1px solid rgba(183, 201, 191, 0.2);
  }
}
.u .role dt {
  display: flex;
  align-items: center;
  gap: 0.65rem;
  color: var(--color-text);
  font: 600 1.25rem/1.3 var(--font-display);
}
.u .role-ns dt {
  color: var(--color-text);
}
.u .role-mg .role-sign {
  width: 11px;
  height: 11px;
  flex: none;
  border-radius: 50%;
  background: var(--color-accent);
  box-shadow: 0 0 0 4px rgba(149, 242, 186, 0.12);
}
.u .role-ns .role-sign {
  width: 17px;
  height: 17px;
  flex: none;
  margin: 0 -3px;
  fill: rgba(149, 242, 186, 0.12);
  stroke: var(--color-accent);
  stroke-width: 1.3;
  stroke-linejoin: round;
}
.u .role dd.role-tag {
  margin: 0.5rem 0 0;
  color: var(--color-text-secondary);
  font: 600 0.75rem/1.3 var(--font-sans);
  letter-spacing: 0.12em;
  text-transform: uppercase;
}
.u .role dd.role-tag span {
  white-space: nowrap;
}
.u .role dd:not(.role-tag) {
  margin: 0.8rem 0 0;
  font-size: 1rem;
  line-height: 1.55;
}
@media (prefers-reduced-motion: no-preference) {
  .u.reveal-on [data-reveal] {
    transform: translateY(6px);
    transition: opacity 320ms var(--ease), transform 320ms var(--ease);
  }
  .u.reveal-on [data-reveal].is-in {
    transform: none;
  }
  .lines-wait .lw {
    display: inline-block;
    clip-path: inset(-0.12em -0.1em -0.22em -0.1em);
  }
  .lines-wait .lw-i {
    display: inline-block;
    transform: translateY(135%);
  }
  .lines-wait.lines-go .lw-i {
    transform: none;
    transition: transform 560ms cubic-bezier(0.2, 0.7, 0.2, 1);
  }
  .u-mark {
    --on: 0;
    transition: opacity 240ms var(--ease);
  }
  .u-marks[data-active=passage] .u-mark[data-for=passage],
  .u-marks[data-active=how] .u-mark[data-for=how],
  .u-marks[data-active=proof] .u-mark[data-for=proof],
  .u-marks[data-active=proof] .u-mark[data-for=proof-small],
  .u-marks[data-active=northstar] .u-mark[data-for=northstar] {
    --on: 1;
  }
  .u-mark::before {
    transform-origin: 100% 50%;
    transform: scaleX(var(--on));
    transition: transform 620ms var(--ease) calc(120ms + var(--d, 0ms));
  }
  .u-mark-r::before {
    transform-origin: 0 50%;
  }
  .u-mark::after {
    transform: scale(calc(0.35 + 0.65 * var(--on)));
    transition: transform 380ms cubic-bezier(0.3, 1.5, 0.5, 1) var(--d, 0ms);
  }
  .u-mark .u-lab {
    opacity: var(--on);
    transition: opacity 320ms var(--ease) calc(520ms + var(--d, 0ms));
  }
  .u-marks .u-mark[data-mark=stop] {
    --d: 140ms;
  }
  .u-marks .u-mark[data-mark=witness] {
    --d: 280ms;
  }
  .u-frame[data-anim] .u-dot {
    transition: transform 420ms cubic-bezier(0.3, 1.5, 0.5, 1), opacity 240ms var(--ease);
  }
  .u-frame[data-anim]:not(.is-on) .u-dot {
    transform: scale(0.3);
    opacity: 0;
  }
  .u-frame[data-anim] .u-dot ~ .u-dot {
    transition-delay: 140ms;
  }
  .u-frame[data-anim] .u-dot ~ .u-dot ~ .u-dot {
    transition-delay: 280ms;
  }
}
html.u.motion-paused.reveal-on [data-reveal] {
  opacity: 1;
  transform: none;
  transition: none;
}
html.u.motion-paused .lines-wait .lw-i {
  transform: none;
  transition: none;
}
html.u.motion-paused .u-mark,
html.u.motion-paused .u-mark::before,
html.u.motion-paused .u-mark::after,
html.u.motion-paused .u-mark .u-lab {
  transition: none;
}
html.u.motion-paused .u-frame .u-dot {
  transform: none;
  opacity: 1;
  transition: none;
}