/* Section three: proven in public. After nebusec: the numbers first, then a clean list of runs, each opening its full
   report. Same type, palette and film as the hero and section two; red marks only runs where Malphas acted.
   All figures are DEMO DATA until the lab publishes. */
.s-proof { position: relative; min-height: 100vh; padding: 140px 0 16vh; align-items: flex-start;
  background: radial-gradient(56% 40% at 50% 0%, rgba(237,237,232,.05), rgba(237,237,232,0) 100%); }
.s3wrap { width: min(1080px, calc(100vw - 48px)); margin: 0 auto; display: flex; flex-direction: column; align-items: center; }

/* the numbers: four figures on one line, divided by hairlines */
.s3stats { width: 100%; margin-top: 64px; display: grid; grid-template-columns: repeat(4, minmax(0, 1fr));
  border-top: 1px solid rgba(237,237,232,.1); border-bottom: 1px solid rgba(237,237,232,.1); }
.s3stats > div { padding: 34px 24px 30px; display: flex; flex-direction: column; gap: 10px; align-items: center; text-align: center; }
.s3stats > div + div { border-left: 1px solid rgba(237,237,232,.1); }
.s3stats b { font-family: var(--display); font-weight: 200; font-size: clamp(40px, 4.2vw, 68px); line-height: 1; letter-spacing: -.01em; color: #edede8; }
.s3stats span { font-size: 14px; line-height: 1.45; color: rgba(237,237,232,.55); max-width: 14em; }

/* the list */
.s3runs { width: 100%; margin-top: 72px; }
.s3bar { display: flex; align-items: center; justify-content: space-between; gap: 24px; padding-bottom: 18px; }
.s3bar h3 { margin: 0; font-family: var(--display); font-weight: 300; font-size: 22px; letter-spacing: .01em; color: #edede8; }
.s3filter { display: flex; gap: 4px; padding: 4px; border-radius: 999px; border: 1px solid rgba(237,237,232,.12); background: rgba(237,237,232,.02); }
.s3filter button { font: inherit; font-size: 13.5px; color: rgba(237,237,232,.62); background: none; border: 0; padding: 8px 16px; border-radius: 999px; cursor: pointer;
  transition: background .3s var(--ease), color .3s var(--ease); }
.s3filter button:hover { color: #edede8; }
.s3filter button.on { background: #edede8; color: #070708; }

.s3list { list-style: none; margin: 0; padding: 0; border-top: 1px solid rgba(237,237,232,.1); }
.s3list li { border-bottom: 1px solid rgba(237,237,232,.1); }
.s3list li[hidden] { display: none; }
.s3list a { display: grid; grid-template-columns: 76px minmax(0, 1fr) 220px 72px 28px; gap: 20px; align-items: center; min-height: 76px; padding: 0 12px;
  color: #edede8; text-decoration: none; transition: background .3s var(--ease); }
.s3list a:hover { background: rgba(237,237,232,.035); }
.s3list .n, .s3list .tm { font-family: var(--mono); font-size: 13px; color: rgba(237,237,232,.45); }
.s3list .tm { text-align: right; color: rgba(237,237,232,.7); }
.s3list .w { display: flex; flex-direction: column; gap: 5px; min-width: 0; }
.s3list .w b { font-weight: 400; font-size: 17px; line-height: 1.35; }
.s3list .w i { font-style: normal; font-family: var(--mono); font-size: 12px; color: rgba(237,237,232,.42); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.s3list .v { display: inline-flex; align-items: center; gap: 10px; font-size: 14px; }
.s3list .v em { width: 7px; height: 7px; border-radius: 50%; flex: none; }
.s3list .v.stop { color: #ff5a6e; } .s3list .v.stop em { background: #e8283f; box-shadow: 0 0 10px rgba(232,40,63,.6); }
.s3list .v.miss { color: rgba(237,237,232,.62); } .s3list .v.miss em { border: 1px solid rgba(237,237,232,.55); box-sizing: border-box; }
.s3list .go { color: rgba(237,237,232,.35); transition: transform .4s var(--ease), color .3s; }
.s3list a:hover .go { transform: translateX(4px); color: #edede8; }

.s3foot { display: flex; align-items: center; justify-content: space-between; gap: 20px; padding-top: 22px; }
.s3foot .dtag { font-family: var(--mono); font-size: 11px; letter-spacing: .12em; color: rgba(237,237,232,.4); padding: 3px 10px; border: 1px dashed rgba(237,237,232,.22); border-radius: 4px; }
.s3all { font-size: 15px; color: #edede8; text-decoration: none; border-bottom: 1px solid rgba(237,237,232,.3); padding-bottom: 4px; transition: border-color .3s; }
.s3all:hover { border-color: #edede8; }

@media (max-width: 900px) {
  .s3stats { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .s3stats > div:nth-child(3) { border-left: 0; } .s3stats > div:nth-child(n+3) { border-top: 1px solid rgba(237,237,232,.1); }
  .s3list a { grid-template-columns: minmax(0, 1fr) auto; row-gap: 6px; padding: 14px 6px; }
  .s3list .n, .s3list .tm, .s3list .go { display: none; }
  .s3bar { flex-direction: column; align-items: flex-start; }
}

/* the explorer: search, kind filter, pages */
.s3filter b { font-weight: 400; font-family: var(--mono); font-size: 11.5px; opacity: .6; margin-left: 4px; }
.s3tools { display: flex; align-items: center; gap: 16px; flex-wrap: wrap; padding-bottom: 18px; }
.s3search { flex: 1 1 320px; display: flex; align-items: center; gap: 10px; height: 44px; padding: 0 16px; border-radius: 10px;
  border: 1px solid rgba(237,237,232,.12); background: rgba(237,237,232,.03); color: rgba(237,237,232,.5); transition: border-color .3s var(--ease); }
.s3search:focus-within { border-color: rgba(237,237,232,.4); }
.s3search input { flex: 1; min-width: 0; height: 100%; border: 0; outline: 0; background: none; color: #edede8; font: inherit; font-size: 15px; }
.s3search input::placeholder { color: rgba(237,237,232,.4); }
.sr { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.s3kinds { display: flex; gap: 6px; flex-wrap: wrap; }
.s3kinds button { font: inherit; font-size: 13.5px; color: rgba(237,237,232,.6); background: none; border: 1px solid rgba(237,237,232,.12); border-radius: 999px;
  padding: 8px 14px; cursor: pointer; transition: color .3s, border-color .3s, background .3s; }
.s3kinds button:hover { color: #edede8; border-color: rgba(237,237,232,.3); }
.s3kinds button.on { color: #edede8; border-color: rgba(237,237,232,.5); background: rgba(237,237,232,.06); }
.s3empty { padding: 48px 12px; text-align: center; color: rgba(237,237,232,.55); border-bottom: 1px solid rgba(237,237,232,.1); }
.s3empty[hidden] { display: none; }
.s3list { min-height: calc(8 * 77px); }
.s3pager { display: flex; align-items: center; justify-content: space-between; gap: 16px; padding: 18px 12px 0; font-size: 14px; color: rgba(237,237,232,.55); }
.s3pg { display: flex; align-items: center; gap: 12px; }
.s3pg button { width: 40px; height: 40px; border-radius: 50%; border: 1px solid rgba(237,237,232,.16); background: none; color: #edede8; font: inherit; font-size: 15px; cursor: pointer;
  transition: border-color .3s, background .3s; }
.s3pg button:hover:not(:disabled) { border-color: rgba(237,237,232,.5); background: rgba(237,237,232,.05); }
.s3pg button:disabled { opacity: .3; cursor: default; }
button.s3all { font: inherit; font-size: 15px; background: none; border: 0; border-bottom: 1px solid rgba(237,237,232,.3); color: #edede8; padding: 0 0 4px; cursor: pointer; }
button.s3all:hover { border-color: #edede8; }
@media (max-width: 900px) { .s3list { min-height: 0; } .s3pager { flex-direction: column; align-items: flex-start; } }

/* ---------------------------------------------------------------- the sentence explorer */
.s3ask { width: 100%; margin-top: 76px; display: flex; flex-direction: column; align-items: center; text-align: center; }
.s3q { margin: 0; max-width: 20em; font-family: var(--display); font-weight: 300; font-size: clamp(28px, 2.9vw, 44px); line-height: 1.5; letter-spacing: .005em;
  color: rgba(237,237,232,.55); }
.s3pick { position: relative; display: inline-block; }
.s3pick > button { font: inherit; color: #edede8; background: none; border: 0; padding: 0 2px; cursor: pointer; display: inline-flex; align-items: baseline; gap: 10px;
  border-bottom: 1px solid rgba(237,237,232,.45); line-height: 1.2; transition: border-color .3s var(--ease); }
.s3pick > button:hover, .s3pick.open > button { border-color: #edede8; }
.s3pick > button i { width: 9px; height: 9px; border-right: 1.5px solid currentColor; border-bottom: 1.5px solid currentColor; transform: translateY(-5px) rotate(45deg);
  opacity: .6; transition: transform .3s var(--ease); }
.s3pick.open > button i { transform: translateY(0) rotate(225deg); }
.s3pick ul { position: absolute; z-index: 20; top: calc(100% + 12px); left: 50%; transform: translateX(-50%); min-width: 260px; margin: 0; padding: 6px; list-style: none;
  text-align: left; background: rgba(14,14,15,.96); border: 1px solid rgba(237,237,232,.14); border-radius: 14px; box-shadow: 0 30px 80px -20px rgba(0,0,0,.9);
  backdrop-filter: blur(16px); -webkit-backdrop-filter: blur(16px); }
.s3pick ul[hidden] { display: none; }
.s3pick ul button { display: block; width: 100%; text-align: left; font-family: var(--text); font-size: 15px; line-height: 1.3; color: rgba(237,237,232,.75); background: none; border: 0;
  padding: 10px 14px; border-radius: 9px; cursor: pointer; white-space: nowrap; }
.s3pick ul button:hover { background: rgba(237,237,232,.06); color: #edede8; }
.s3pick ul button[aria-selected="true"] { color: #edede8; background: rgba(237,237,232,.08); }

.s3ans { margin-top: 52px; display: grid; grid-template-columns: auto minmax(0, 1fr); gap: clamp(28px, 4vw, 64px); align-items: center; text-align: left;
  width: min(820px, 100%); padding: 36px 40px; border-radius: 20px; border: 1px solid rgba(237,237,232,.1); background: rgba(237,237,232,.025); }
.s3n { display: flex; flex-direction: column; gap: 8px; }
.s3n b { font-family: var(--display); font-weight: 200; font-size: clamp(56px, 6vw, 92px); line-height: .95; letter-spacing: -.01em; color: #edede8; font-variant-numeric: tabular-nums; }
.s3n span { font-size: 14px; color: rgba(237,237,232,.5); }
.s3lines { display: flex; flex-direction: column; gap: 10px; }
.s3lines p { margin: 0; font-size: 17px; line-height: 1.55; color: rgba(237,237,232,.8); }
.s3lines p + p { color: rgba(237,237,232,.6); }
.s3split { margin-top: 10px; height: 6px; display: flex; gap: 3px; }
.s3split i { height: 6px; border-radius: 3px; transition: width .7s var(--ease); }
.s3split i:first-child { background: #e8283f; }
.s3split i:last-child { background: rgba(237,237,232,.5); min-width: 0; }
.s3eg { margin-top: 10px; display: flex; flex-direction: column; gap: 2px; }
.s3eg a { display: flex; align-items: center; gap: 10px; padding: 8px 0; font-size: 14px; color: rgba(237,237,232,.72); text-decoration: none; transition: color .3s; }
.s3eg a:hover { color: #edede8; }
.s3eg a span { margin-left: auto; transition: transform .3s var(--ease); } .s3eg a:hover span { transform: translateX(4px); }
.s3eg em { width: 7px; height: 7px; border-radius: 50%; flex: none; }
.s3eg em.stop { background: #e8283f; } .s3eg em.miss { border: 1px solid rgba(237,237,232,.55); box-sizing: border-box; }
.s3more { margin-top: 36px; font: inherit; font-size: 14.5px; color: rgba(237,237,232,.6); background: none; border: 0; border-bottom: 1px solid rgba(237,237,232,.25);
  padding: 0 0 4px; cursor: pointer; transition: color .3s, border-color .3s; }
.s3more:hover { color: #edede8; border-color: #edede8; }
.s3every { width: 100%; }
.s3every[hidden] { display: none; }
.s3every .s3runs { margin-top: 48px; }
@media (max-width: 760px) { .s3ans { grid-template-columns: 1fr; padding: 28px 22px; } .s3pick ul { left: 0; transform: none; } }

/* opening and closing the full list: the height animates, rows rise in one after another */
.s3every { overflow: hidden; transition: height .9s cubic-bezier(.16,1,.3,1); }
.s3every.closing { transition-duration: .7s; }
.s3every.opening .s3bar, .s3every.opening .s3tools, .s3every.opening .s3pager, .s3every.opening .s3foot { animation: s3in .8s cubic-bezier(.16,1,.3,1) both .15s; }
.s3every.opening .s3list li { animation: s3in .8s cubic-bezier(.16,1,.3,1) both; animation-delay: calc(.3s + var(--i, 0) * 70ms); }
.s3every.closing > * { opacity: 0; transition: opacity .35s ease; }
@keyframes s3in { from { opacity: 0; transform: translateY(18px); } to { opacity: 1; transform: none; } }
@media (prefers-reduced-motion: reduce) { .s3every { transition: none; } .s3every.opening * { animation: none !important; } }