/* Proof lives as a registry ledger: one continuous surface, real published
   contracts, and a single measured efficiency result. */

html[data-design-system="halde"] .stack>.pnl.dividend-stage.f-sage{
  display:grid;
  grid-template-columns:repeat(12,minmax(0,1fr));
  gap:0 var(--ds-grid-gap);
  box-sizing:border-box;
  color:var(--text-primary);
  border-top:1px solid color-mix(in srgb,var(--text-primary) 10%,transparent);
  background:var(--bg-page);
}

html[data-design-system="halde"] .dividend-rail{
  grid-column:1/-1;
  width:100%;
  max-width:none;
  border-left:0;
}

html[data-design-system="halde"] .dividend-kicker{
  display:block;
  margin-bottom:16px;
  color:var(--accent);
  opacity:1;
}

html[data-design-system="halde"] .landing-page .dividend-rail h2.ds-title--section{max-width:22ch;margin:0}
html[data-design-system="halde"] .dividend-rail h2 .claim-quiet{display:block;color:var(--text-tertiary)}
html[data-design-system="halde"] .landing-page .dividend-dek.ds-intro-body{max-width:54ch}

html[data-design-system="halde"] .proof-ledger{
  grid-column:1/-1;
  overflow:hidden;
  border:1px solid var(--border-default);
  background:var(--bg-surface);
  box-shadow:0 18px 52px color-mix(in srgb,var(--text-primary) 6%,transparent);
}

html[data-design-system="halde"] .proof-ledger-foot{
  min-height:68px;
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:24px;
  padding:0 24px 0 76px;
  background:color-mix(in srgb,var(--bg-paper) 45%,var(--bg-surface));
}

html[data-design-system="halde"] .proof-ledger-foot>.lab{color:var(--text-tertiary);opacity:1}

html[data-design-system="halde"] .proof-ledger-foot a{
  min-height:42px;
  display:inline-flex;
  align-items:center;
  gap:18px;
  padding:0 16px;
  color:var(--text-primary);
  border:1px solid var(--text-primary);
  font:750 11px/1 var(--font-technical);
  letter-spacing:.07em;
  text-decoration:none;
  transition:color .2s ease,background-color .2s ease;
}

html[data-design-system="halde"] .proof-ledger-foot a:hover,
html[data-design-system="halde"] .proof-ledger-foot a:focus-visible{color:var(--bg-page);background:var(--text-primary)}

html[data-design-system="halde"] .proof-ledger-foot a span{color:var(--accent);font-size:15px}

html[data-design-system="halde"] .proof-efficiency{
  grid-column:1/-1;
  min-height:132px;
  display:grid;
  grid-template-columns:minmax(260px,1.2fr) minmax(160px,.48fr) 28px minmax(150px,.44fr) minmax(190px,.55fr);
  align-items:stretch;
  margin-top:24px;
  border:1px solid var(--border-default);
  background:var(--bg-surface);
}

html[data-design-system="halde"] .proof-efficiency-title,
html[data-design-system="halde"] .proof-efficiency-measure,
html[data-design-system="halde"] .proof-efficiency-result{
  min-width:0;
  display:flex;
  flex-direction:column;
  justify-content:center;
  padding:24px;
}

html[data-design-system="halde"] .proof-efficiency-title span,
html[data-design-system="halde"] .proof-efficiency-measure span{color:var(--text-tertiary);opacity:1}

html[data-design-system="halde"] .proof-efficiency-title strong{
  max-width:20ch;
  margin-top:10px;
  font:520 clamp(20px,1.7vw,28px)/1.05 var(--font-editorial);
  letter-spacing:-.035em;
}

html[data-design-system="halde"] .proof-efficiency-measure{
  position:relative;
  gap:8px;
  border-left:1px solid var(--border-subtle);
}

html[data-design-system="halde"] .proof-efficiency-measure strong{
  font:520 clamp(30px,2.6vw,44px)/.9 var(--font-editorial);
  letter-spacing:-.055em;
}

html[data-design-system="halde"] .proof-efficiency-measure i{
  width:100%;
  height:5px;
  display:block;
  margin-top:4px;
  background:var(--text-primary);
}

html[data-design-system="halde"] .proof-efficiency-measure.is-repeat i{width:max(8px,2.01%);background:var(--accent)}

html[data-design-system="halde"] .proof-efficiency-arrow{
  display:flex;
  align-items:center;
  justify-content:center;
  color:var(--accent);
  font:700 18px/1 var(--font-technical);
}

html[data-design-system="halde"] .proof-efficiency-result{
  align-items:flex-end;
  border-left:1px solid color-mix(in srgb,var(--accent) 45%,var(--border-default));
  color:var(--text-primary);
  background:var(--accent-soft);
}

html[data-design-system="halde"] .proof-efficiency-result strong{
  color:var(--accent);
  font:520 clamp(48px,4.6vw,72px)/.8 var(--font-editorial);
  letter-spacing:-.075em;
}

html[data-design-system="halde"] .proof-efficiency-result span{margin-top:14px;color:var(--text-secondary);opacity:1}

html[data-design-system="halde"] .dividend-stage [data-gives-reveal]{
  opacity:.58;
  transform:translateY(8px);
  transition:opacity .48s ease calc(var(--reveal)*90ms),transform .56s cubic-bezier(.22,1,.36,1) calc(var(--reveal)*90ms);
}

html[data-design-system="halde"] .dividend-stage.is-revealed [data-gives-reveal]{opacity:1;transform:none}

@media (max-width:1080px){
  html[data-design-system="halde"] .proof-ledger-foot{padding-left:70px}
  html[data-design-system="halde"] .proof-efficiency{grid-template-columns:minmax(240px,1.1fr) minmax(140px,.48fr) 24px minmax(130px,.44fr) minmax(170px,.55fr)}
}

@media (max-width:760px){
  html[data-design-system="halde"] .stack>.pnl.dividend-stage.f-sage{grid-template-columns:minmax(0,1fr);column-gap:0}
  html[data-design-system="halde"] .dividend-rail{width:auto;min-width:0;display:block}
  html[data-design-system="halde"] .landing-page .dividend-rail h2.ds-title--section{max-width:12ch;margin-bottom:22px}
  html[data-design-system="halde"] .landing-page .dividend-dek.ds-intro-body{width:100%;max-width:55ch}
  html[data-design-system="halde"] .proof-ledger-foot{min-height:76px;padding:12px 16px;gap:12px}
  html[data-design-system="halde"] .proof-ledger-foot a{padding:0 13px}
  html[data-design-system="halde"] .proof-efficiency{grid-template-columns:1fr 1fr;margin-top:16px}
  html[data-design-system="halde"] .proof-efficiency-title{grid-column:1/-1;border-bottom:1px solid var(--border-default)}
  html[data-design-system="halde"] .proof-efficiency-measure{border-left:0}
  html[data-design-system="halde"] .proof-efficiency-measure.is-repeat{border-left:1px solid var(--border-subtle)}
  html[data-design-system="halde"] .proof-efficiency-arrow{display:none}
  html[data-design-system="halde"] .proof-efficiency-result{grid-column:1/-1;align-items:flex-start;border-top:1px solid var(--border-default);border-left:0}
}

@media (max-width:430px){
  html[data-design-system="halde"] .proof-ledger-foot>.lab{display:none}
  html[data-design-system="halde"] .proof-ledger-foot a{width:100%;justify-content:space-between}
}

@media (prefers-reduced-motion:reduce){
  html[data-design-system="halde"] .dividend-stage [data-gives-reveal]{opacity:1;transform:none;transition:none}
}

/* A stale prerender can briefly pair the former poster markup with this new
   stylesheet. Keep that state compact and legible until the fresh route module
   replaces it; never let the former grid collapse into a one-character rail. */
html[data-design-system="halde"] .dividend-stage .dividend-poster{
  grid-column:1/-1;
  width:100%;
  min-width:0;
  display:block;
  box-sizing:border-box;
  overflow:hidden;
  border:1px solid var(--border-default);
  background:var(--bg-surface);
}

html[data-design-system="halde"] .dividend-stage .poster-head{
  min-height:52px;
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:20px;
  padding:0 22px;
  border-bottom:1px solid var(--border-default);
}

html[data-design-system="halde"] .dividend-stage .poster-equation{
  display:grid;
  grid-template-columns:minmax(0,1fr) minmax(220px,.32fr);
}

html[data-design-system="halde"] .dividend-stage .poster-measure{min-width:0;padding:32px}

html[data-design-system="halde"] .dividend-stage .poster-measure-head{
  display:flex;
  justify-content:space-between;
  gap:20px;
  padding-bottom:12px;
  border-bottom:1px solid var(--border-subtle);
}

html[data-design-system="halde"] .dividend-stage .poster-metric{
  display:grid;
  grid-template-columns:minmax(180px,.38fr) minmax(0,1fr);
  gap:28px;
  align-items:center;
  padding:22px 0;
  border-bottom:1px solid var(--border-subtle);
}

html[data-design-system="halde"] .dividend-stage .poster-metric:last-child{border-bottom:0}
html[data-design-system="halde"] .dividend-stage .poster-metric-copy strong{display:block;margin-top:8px;font:520 38px/.9 var(--font-editorial)}
html[data-design-system="halde"] .dividend-stage .poster-metric-copy p{margin:8px 0 0;color:var(--text-secondary)}
html[data-design-system="halde"] .dividend-stage .poster-track{height:6px;background:color-mix(in srgb,var(--text-primary) 12%,transparent)}
html[data-design-system="halde"] .dividend-stage .poster-track i{width:var(--measure);min-width:8px;height:100%;display:block;background:var(--accent)}

html[data-design-system="halde"] .dividend-stage .poster-result{
  display:flex;
  flex-direction:column;
  justify-content:center;
  padding:32px;
  border-left:1px solid var(--border-default);
  background:var(--accent-soft);
  color:var(--text-primary);
}

html[data-design-system="halde"] .dividend-stage .poster-result strong{display:block;margin-top:14px;color:var(--accent);font:520 72px/.8 var(--font-editorial)}
html[data-design-system="halde"] .dividend-stage .poster-result p{margin:16px 0 0}
html[data-design-system="halde"] .dividend-stage .poster-calculation,
html[data-design-system="halde"] .dividend-stage .poster-team,
html[data-design-system="halde"] .dividend-stage .poster-foot{display:none}

@media (max-width:760px){
  html[data-design-system="halde"] .dividend-stage .poster-equation{grid-template-columns:1fr}
  html[data-design-system="halde"] .dividend-stage .poster-result{border-top:1px solid var(--border-default);border-left:0}
  html[data-design-system="halde"] .dividend-stage .poster-metric{grid-template-columns:1fr}
}

/* Each proof row answers "how is the Play better than a fresh agent run". */

/* The measured number, translated into the outcome a visitor is buying. */

@media (max-width:620px){
}

/* Ledger rows: identity, then the answer to "why is the Play better than
   a fresh agent", then the guards. Version and author fold into one line. */
html[data-design-system="halde"] .proof-ledger-head{min-height:44px;display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.25fr) minmax(200px,.5fr);align-items:center;box-sizing:border-box;padding:0 24px 0 76px;color:var(--text-tertiary);border-bottom:1px solid var(--border-default);background:color-mix(in srgb,var(--bg-paper) 45%,var(--bg-surface))}
html[data-design-system="halde"] .proof-ledger-head .lab{opacity:1}
html[data-design-system="halde"] .proof-play-row{position:relative;display:grid;grid-template-columns:52px minmax(0,1fr) minmax(0,1.25fr) minmax(200px,.5fr);align-items:stretch;padding:0 24px;border-bottom:1px solid var(--border-default);transition:background-color .22s ease}
html[data-design-system="halde"] .proof-play-row:hover{background:color-mix(in srgb,var(--accent) 5%,var(--bg-surface))}
html[data-design-system="halde"] .proof-play-index{align-self:center;color:var(--accent);opacity:1}
html[data-design-system="halde"] .proof-play-identity{min-width:0;display:flex;flex-direction:column;justify-content:center;gap:8px;padding:22px 20px 22px 0}
html[data-design-system="halde"] .proof-play-identity a{display:inline-flex;align-items:baseline;gap:8px;color:var(--text-primary);text-decoration:none}
html[data-design-system="halde"] .proof-play-identity a strong{font:520 clamp(19px,1.6vw,24px)/1.1 var(--font-editorial);letter-spacing:-.03em}
html[data-design-system="halde"] .proof-play-identity a span{color:var(--accent);font-size:14px;transition:transform .2s ease}
html[data-design-system="halde"] .proof-play-identity a:is(:hover,:focus-visible) strong{text-decoration:underline;text-underline-offset:4px}
html[data-design-system="halde"] .proof-play-identity a:is(:hover,:focus-visible) span{transform:translate(3px,-3px)}
html[data-design-system="halde"] .proof-play-identity p{max-width:44ch;margin:0;color:var(--text-secondary);font-size:13px;line-height:1.42}
html[data-design-system="halde"] .proof-play-meta{display:flex;flex-wrap:wrap;gap:4px 12px;margin-top:2px;color:var(--text-tertiary);font:650 8px/1.4 var(--font-technical);letter-spacing:.06em;text-transform:uppercase}
html[data-design-system="halde"] .proof-play-meta span+span::before{content:'·';margin-right:12px;color:var(--border-strong)}
html[data-design-system="halde"] .proof-play-compare{display:grid;grid-template-columns:1fr 1fr;align-self:center;margin:18px 0;border:1px solid var(--border-default)}
html[data-design-system="halde"] .proof-play-compare>div{min-width:0;display:grid;align-content:start;gap:7px;padding:14px 14px 15px}
html[data-design-system="halde"] .proof-play-compare>div+div{border-left:1px solid var(--border-default)}
html[data-design-system="halde"] .proof-play-compare .lab{display:block;color:var(--text-tertiary);opacity:1}
html[data-design-system="halde"] .proof-play-compare strong{font:640 clamp(13px,1.05vw,15px)/1.2 var(--font-editorial);letter-spacing:-.01em;color:var(--text-secondary)}
html[data-design-system="halde"] .proof-play-compare small{color:var(--text-tertiary);font:700 6.5px/1.35 var(--font-technical);letter-spacing:.07em}
html[data-design-system="halde"] .proof-play-compare .is-play{background:color-mix(in srgb,var(--accent) 6%,var(--bg-surface))}
html[data-design-system="halde"] .proof-play-compare .is-play .lab{color:var(--accent)}
html[data-design-system="halde"] .proof-play-compare .is-play strong{color:var(--text-primary)}
html[data-design-system="halde"] .proof-play-guards{display:flex;flex-direction:column;align-items:flex-start;justify-content:center;gap:6px;padding:20px 0 20px 22px;border-left:1px solid var(--border-subtle)}
html[data-design-system="halde"] .proof-play-guards span{padding:5px 7px 4px;color:var(--text-secondary);border:1px solid var(--border-default);font:650 8px/1 var(--font-technical);letter-spacing:.055em}
html[data-design-system="halde"] .proof-play-guards .is-verified{color:var(--accent);border-color:color-mix(in srgb,var(--accent) 60%,var(--border-default));background:color-mix(in srgb,var(--accent) 5%,transparent)}

/* The measured number, translated into the three outcomes a visitor buys. */
html[data-design-system="halde"] .proof-efficiency-outcomes{grid-column:1/-1;display:grid;grid-template-columns:repeat(3,minmax(0,1fr)) auto;align-items:stretch;border-top:1px solid var(--border-default)}
html[data-design-system="halde"] .proof-efficiency-outcomes>div{min-width:0;display:grid;grid-template-columns:auto 1fr;gap:4px 10px;align-content:start;padding:16px 20px 18px}
html[data-design-system="halde"] .proof-efficiency-outcomes>div+div{border-left:1px solid var(--border-subtle)}
html[data-design-system="halde"] .proof-efficiency-outcomes i{grid-row:1/3;color:var(--accent);font:750 9px/1.4 var(--font-technical);font-style:normal;letter-spacing:.08em}
html[data-design-system="halde"] .proof-efficiency-outcomes strong{font:640 clamp(14px,1.1vw,16px)/1.2 var(--font-editorial);letter-spacing:-.01em}
html[data-design-system="halde"] .proof-efficiency-outcomes small{color:var(--text-secondary);font-size:12px;line-height:1.4}
html[data-design-system="halde"] .proof-efficiency-outcomes a{display:inline-flex;align-items:center;gap:12px;padding:0 20px;color:var(--text-primary);border-left:1px solid var(--border-default);background:color-mix(in srgb,var(--bg-paper) 45%,var(--bg-surface));font:750 9px/1 var(--font-technical);letter-spacing:.1em;text-decoration:none;white-space:nowrap;transition:color .2s ease,background-color .2s ease}
html[data-design-system="halde"] .proof-efficiency-outcomes a i{color:var(--accent);font-style:normal;font-size:14px}
html[data-design-system="halde"] .proof-efficiency-outcomes a:is(:hover,:focus-visible){color:var(--bg-page);background:var(--text-primary);outline:none}
html[data-design-system="halde"] .proof-efficiency-outcomes a:is(:hover,:focus-visible) i{color:var(--bg-page)}

@media (max-width:1080px){
  html[data-design-system="halde"] .proof-ledger-head{display:none}
  html[data-design-system="halde"] .proof-play-row{grid-template-columns:46px minmax(0,1fr) minmax(170px,.42fr);padding-right:20px}
  html[data-design-system="halde"] .proof-play-compare{grid-column:2;grid-row:2;margin:0 0 20px}
  html[data-design-system="halde"] .proof-play-identity{padding-bottom:14px}
  html[data-design-system="halde"] .proof-play-guards{grid-column:3;grid-row:1/3;padding-left:18px}
  html[data-design-system="halde"] .proof-efficiency-outcomes{grid-template-columns:repeat(3,minmax(0,1fr))}
  html[data-design-system="halde"] .proof-efficiency-outcomes a{grid-column:1/-1;justify-content:center;min-height:44px;border-left:0;border-top:1px solid var(--border-default)}
}
@media (max-width:760px){
  html[data-design-system="halde"] .proof-play-row{grid-template-columns:38px minmax(0,1fr);padding:0 16px}
  html[data-design-system="halde"] .proof-play-identity{padding:22px 0 12px}
  html[data-design-system="halde"] .proof-play-identity a strong{font-size:21px}
  html[data-design-system="halde"] .proof-play-identity p{font-size:12px}
  html[data-design-system="halde"] .proof-play-compare{grid-column:2;grid-row:2;grid-template-columns:1fr}
  html[data-design-system="halde"] .proof-play-compare>div+div{border-left:0;border-top:1px solid var(--border-default)}
  html[data-design-system="halde"] .proof-play-guards{grid-column:2;grid-row:3;flex-direction:row;flex-wrap:wrap;padding:0 0 20px;border-left:0}
  html[data-design-system="halde"] .proof-efficiency-outcomes{grid-template-columns:1fr}
  html[data-design-system="halde"] .proof-efficiency-outcomes>div+div{border-left:0;border-top:1px solid var(--border-subtle)}
}

/* Two doors: the registry and the idea catalog, as classic windows */
html[data-design-system="halde"] .proof-doors{--font-technical:"IBM Plex Mono",ui-monospace,"SFMono-Regular",Menlo,monospace;grid-column:1/-1;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:clamp(18px,2.4vw,32px);margin-top:clamp(28px,3.5vh,44px)}
html[data-design-system="halde"] .proof-door{display:grid;grid-template-rows:auto 1fr auto;min-width:0;color:#111;border:1.5px solid #111;background:#fff;text-decoration:none;transition:box-shadow .18s ease,transform .18s ease}
html[data-design-system="halde"] .proof-door:is(:hover,:focus-visible){box-shadow:6px 6px 0 #111;transform:translate(-2px,-2px);outline:none}
html[data-design-system="halde"] .proof-door>header{display:flex;align-items:center;gap:8px;min-height:32px;padding:0 12px;border-bottom:1.5px solid #111;font:600 11px/1 var(--font-technical);letter-spacing:.08em}
html[data-design-system="halde"] .proof-door>header i{font-style:normal;font-size:12px}
html[data-design-system="halde"] .proof-door>header span{white-space:nowrap}
html[data-design-system="halde"] .proof-door>header .stripes{flex:1 1 auto;min-width:14px;height:12px;background:repeating-linear-gradient(180deg,#111 0 1.5px,transparent 1.5px 3.5px)}
html[data-design-system="halde"] .proof-door-body{display:grid;gap:14px;padding:clamp(22px,2.4vw,34px) clamp(20px,2.2vw,30px) clamp(20px,2vw,28px)}
html[data-design-system="halde"] .proof-door-body strong{font:400 clamp(26px,2.3vw,36px)/1.08 var(--font-editorial);letter-spacing:-.035em}
html[data-design-system="halde"] .proof-door-body p{max-width:46ch;margin:0;color:#5b6068;font:400 15px/1.5 var(--font-editorial)}
html[data-design-system="halde"] .proof-door-body pre{margin:6px 0 0;padding:12px 14px;overflow:hidden;color:#5b6068;border:1px dotted rgba(17,17,17,.4);background:#fafbfb;font:400 12px/1.65 var(--font-technical);white-space:pre}
html[data-design-system="halde"] .proof-door-body pre b{color:#ff5a1f;font-weight:400}
html[data-design-system="halde"] .proof-door>footer{display:flex;align-items:center;justify-content:space-between;min-height:44px;padding:0 14px;color:#fff;border-top:1.5px solid #111;background:#ff5a1f;font:700 10px/1 var(--font-technical);letter-spacing:.12em}
html[data-design-system="halde"] .proof-door>footer i{font-style:normal;font-size:14px;transition:transform .18s ease}
html[data-design-system="halde"] .proof-door:is(:hover,:focus-visible)>footer i{transform:translateX(4px)}
html[data-design-system="halde"][data-resolved-theme="dark"] .proof-door{color:#f1f1ed;border-color:#f1f1ed;background:#0a0a09}
html[data-design-system="halde"][data-resolved-theme="dark"] .proof-door:is(:hover,:focus-visible){box-shadow:6px 6px 0 #f1f1ed}
html[data-design-system="halde"][data-resolved-theme="dark"] .proof-door>header,html[data-design-system="halde"][data-resolved-theme="dark"] .proof-door>footer{border-color:#f1f1ed}
html[data-design-system="halde"][data-resolved-theme="dark"] .proof-door>header .stripes{background:repeating-linear-gradient(180deg,#f1f1ed 0 1.5px,transparent 1.5px 3.5px)}
html[data-design-system="halde"][data-resolved-theme="dark"] .proof-door-body pre{background:#141413;border-color:rgba(241,241,237,.35)}
@media (max-width:860px){
  html[data-design-system="halde"] .proof-doors{grid-template-columns:1fr}
}