/* ProvableWorldModel explainer: research-audit design system and components. */

:root {
  --bg: #0b0c0a;
  --bg-2: #11130e;
  --surface: #171b14;
  --surface-2: #202618;
  --border: #35402d;
  --text: #f1f0e7;
  --muted: #a8b09d;
  --muted-2: #8f9a86;
  --accent: #9be564;
  --accent-2: #f2b65d;
  --accent-3: #5fc4a2;
  --good: #8bdc65;
  --bad: #f0715f;
  --radius: 8px;
  --radius-sm: 6px;
  --maxw: 1120px;
  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, monospace;
  --sans: "Archivo", system-ui, -apple-system, Segoe UI, Roboto, sans-serif;
  --shadow: 0 20px 60px -20px rgba(0, 0, 0, 0.6);
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 80px; overflow-x: hidden; }
body {
  margin: 0;
  font-family: var(--sans);
  color: var(--text);
  background: var(--bg);
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
  overflow-x: hidden;
}
a { color: inherit; text-decoration: none; }
code { font-family: var(--mono); font-size: 0.92em; color: var(--accent); }
h1, h2, h3 { line-height: 1.15; letter-spacing: -0.02em; margin: 0; text-wrap: balance; }
p { text-wrap: pretty; }

/* skip link: hidden until keyboard-focused */
.skip-link {
  position: absolute; top: -48px; left: 16px; z-index: 100;
  padding: 10px 18px; border-radius: 0 0 10px 10px;
  background: var(--accent); color: #06231f; font-weight: 600; font-size: 0.9rem;
  min-height: 44px;
  transition: top 0.15s ease;
}
.skip-link:focus-visible { top: 0; }

/* layout */
.band { max-width: var(--maxw); margin: 0 auto; padding: 96px 24px; }
.band.alt { max-width: none; background: var(--bg-2); border-top: 1px solid var(--border); border-bottom: 1px solid var(--border); }
.band.alt > * { max-width: var(--maxw); margin-left: auto; margin-right: auto; }
.section-head { max-width: 760px; margin: 0 auto 48px; text-align: center; }
.section-head h2 { font-size: clamp(1.7rem, 3.4vw, 2.6rem); font-weight: 800; }
.section-sub { color: var(--muted); margin-top: 16px; font-size: 1.05rem; }

/* nav */
.nav {
  position: sticky; top: 0; z-index: 50;
  display: flex; align-items: center; justify-content: space-between;
  padding: 14px 24px; gap: 16px;
  background: rgba(11, 12, 10, 0.78);
  backdrop-filter: blur(14px);
  border-bottom: 1px solid var(--border);
}
.brand { display: flex; align-items: center; gap: 10px; min-height: 44px; font-weight: 700; font-size: 1.05rem; }
.brand-accent { color: var(--accent); }
.brand-mark { width: 18px; height: 18px; border-radius: 6px; background: linear-gradient(135deg, var(--accent), var(--accent-2)); box-shadow: 0 0 18px -2px var(--accent); }
.nav-links { display: flex; align-items: center; gap: 22px; font-size: 0.92rem; color: var(--muted); }
.nav-links a { display: inline-flex; align-items: center; justify-content: center; min-width: 44px; min-height: 44px; }
.nav-links a:hover { color: var(--text); }
.nav-cta { padding: 8px 16px; border: 1px solid var(--border); border-radius: 999px; color: var(--text) !important; }
.nav-cta:hover { border-color: var(--accent); }
.nav-toggle { display: none; background: none; border: none; color: var(--text); font-size: 1.6rem; cursor: pointer; min-width: 44px; min-height: 44px; }

/* keyboard focus: a visible ring on every interactive element. The outline
   follows each element's own border-radius; don't override the shape here. */
a:focus-visible,
.btn:focus-visible,
.tier-tab:focus-visible,
.nav-toggle:focus-visible,
.nav-cta:focus-visible,
.switch:has(input:focus-visible),
button:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }

/* buttons */
.btn { display: inline-flex; align-items: center; gap: 8px; min-height: 44px; padding: 12px 22px; border-radius: 999px; font-weight: 600; font-size: 0.95rem; cursor: pointer; border: 1px solid transparent; transition: transform 0.15s ease, box-shadow 0.2s ease, border-color 0.2s ease, background 0.2s ease; }
.btn:hover { transform: translateY(-2px); }
.btn-primary { background-color: var(--accent); background-image: linear-gradient(135deg, var(--accent), var(--accent-3)); color: #06231f; box-shadow: 0 12px 30px -10px var(--accent); }
.btn-ghost { background: var(--surface); color: var(--text); border-color: var(--border); }
.btn-ghost:hover { border-color: var(--accent); }

/* hero */
.hero { position: relative; padding: 120px 24px 96px; overflow: hidden; background: linear-gradient(180deg, rgba(155, 229, 100, 0.06), transparent 42%); }
.hero-grid { position: absolute; inset: 0; background-image: linear-gradient(var(--border) 1px, transparent 1px), linear-gradient(90deg, var(--border) 1px, transparent 1px); background-size: 46px 46px; opacity: 0.25; mask-image: linear-gradient(180deg, #000 0%, #000 42%, transparent 82%); }
.hero-inner { position: relative; z-index: 1; max-width: 880px; margin: 0 auto; text-align: center; }
.eyebrow { font-family: var(--mono); font-size: 0.8rem; letter-spacing: 0.16em; text-transform: uppercase; color: var(--accent); margin: 0 0 18px; }
.hero h1 { font-size: clamp(2.4rem, 6vw, 4.2rem); font-weight: 800; letter-spacing: -0.03em; }
.lede { color: var(--muted); font-size: clamp(1.02rem, 1.6vw, 1.22rem); max-width: 720px; margin: 26px auto 0; }
.hero-cta { display: flex; gap: 14px; justify-content: center; flex-wrap: wrap; margin: 36px 0 12px; }
.hero-facts { display: flex; gap: 10px 0; justify-content: center; align-items: center; flex-wrap: wrap; margin: 40px auto 28px; font-family: var(--mono); font-size: 0.88rem; color: var(--muted); max-width: 760px; }
.hero-facts .fact { white-space: nowrap; }
.hero-facts code { font-size: 1em; }
.hero-facts .fact + .fact::before { content: "·"; margin: 0 14px; color: var(--border); font-weight: 700; }
.honesty { max-width: 680px; margin: 8px auto 0; padding: 16px 20px; border: 1px dashed var(--border); border-radius: var(--radius-sm); color: var(--muted); font-size: 0.92rem; background: rgba(242, 182, 93, 0.06); }
.honesty strong { color: var(--accent-2); }

/* why */
.why-cols { display: grid; grid-template-columns: 1fr 1fr; gap: 32px; max-width: 900px; margin: 0 auto; }
.why-cols p { color: var(--muted); font-size: 1.05rem; margin: 0; }

/* flow */
.flow-controls { display: flex; gap: 16px; align-items: center; justify-content: center; flex-wrap: wrap; margin-bottom: 36px; }
.switch { display: inline-flex; align-items: center; gap: 10px; min-height: 44px; cursor: pointer; color: var(--muted); font-size: 0.92rem; position: relative; border-radius: 999px; }
/* visually hidden but focusable, so the tamper switch works from the keyboard */
.switch input { position: absolute; width: 1px; height: 1px; margin: -1px; padding: 0; border: 0; clip-path: inset(50%); overflow: hidden; white-space: nowrap; }
.switch-track { width: 44px; height: 24px; border-radius: 999px; background: var(--surface-2); border: 1px solid var(--border); position: relative; transition: background 0.2s; }
.switch-thumb { position: absolute; top: 2px; left: 2px; width: 18px; height: 18px; border-radius: 50%; background: var(--muted); transition: transform 0.2s, background 0.2s; }
.switch input:checked + .switch-track { background: rgba(240, 113, 95, 0.25); border-color: var(--bad); }
.switch input:checked + .switch-track .switch-thumb { transform: translateX(20px); background: var(--bad); }
.flow { list-style: none; padding: 0; margin: 0; display: grid; grid-template-columns: repeat(auto-fit, minmax(220px, 1fr)); gap: 16px; counter-reset: step; }
.flow-step { position: relative; background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 22px; opacity: 0.45; transform: translateY(8px); transition: opacity 0.4s ease, transform 0.4s ease, border-color 0.4s ease, box-shadow 0.4s ease; }
.flow-step.is-active { opacity: 1; transform: translateY(0); border-color: var(--accent); box-shadow: 0 0 0 1px var(--accent), 0 18px 40px -22px var(--accent); }
.flow-step.is-done { opacity: 0.9; border-color: var(--border); }
.flow-num { font-family: var(--mono); font-size: 0.8rem; color: var(--accent); border: 1px solid var(--border); border-radius: 6px; padding: 2px 8px; }
.flow-step h3 { font-size: 1.05rem; margin: 12px 0 6px; }
.flow-step p { color: var(--muted); font-size: 0.9rem; margin: 0; }
.flow-verdict.is-active { border-color: var(--good); box-shadow: 0 0 0 1px var(--good), 0 18px 40px -22px var(--good); }
.flow-verdict.reject.is-active { border-color: var(--bad); box-shadow: 0 0 0 1px var(--bad), 0 18px 40px -22px var(--bad); }
.flow-verdict.is-active h3 { color: var(--good); }
.flow-verdict.reject.is-active h3 { color: var(--bad); }

/* demo terminal: the staged pipeline the CLI prints */
.demo-term { margin-top: 36px; background: var(--bg-2); border: 1px solid var(--border); border-radius: var(--radius); overflow: hidden; box-shadow: var(--shadow); }
.demo-term-bar { display: flex; align-items: center; gap: 8px; padding: 10px 14px; border-bottom: 1px solid var(--border); background: var(--surface); }
.demo-term-bar > span { width: 11px; height: 11px; border-radius: 50%; background: var(--surface-2); border: 1px solid var(--border); }
.demo-term-bar code { margin-left: 10px; color: var(--muted); font-size: 0.82rem; }
.demo-term-body { margin: 0; padding: 18px 20px; font-family: var(--mono); font-size: 0.82rem; line-height: 1.65; color: var(--text); overflow-x: auto; white-space: pre; }
.demo-term .t-accent { color: var(--accent); font-weight: 700; }
.demo-term .t-head { color: var(--accent-2); font-weight: 700; }
.demo-term .t-dim { color: var(--muted-2); }
.demo-term .t-ok { color: var(--good); font-weight: 700; }
.demo-term .t-no { color: var(--bad); font-weight: 700; }
.demo-cap { color: var(--muted); font-size: 0.92rem; margin: 16px auto 0; max-width: 820px; }

/* freivalds */
.frei { display: grid; grid-template-columns: 1.4fr 1fr; gap: 28px; align-items: start; }
.frei-board { background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 28px; box-shadow: var(--shadow); }
.frei-row { display: flex; align-items: center; gap: 16px; flex-wrap: wrap; margin-bottom: 20px; }
.frei-op { font-family: var(--mono); font-size: 1.3rem; color: var(--muted); }
.mat, .vec { position: relative; display: inline-grid; gap: 4px; padding: 14px 12px 10px; border: 1px solid var(--border); border-radius: var(--radius-sm); background: var(--bg-2); }
.mat-label { position: absolute; top: -10px; left: 10px; font-family: var(--mono); font-size: 0.78rem; color: var(--accent); background: var(--surface); padding: 0 6px; }
.cell { font-family: var(--mono); font-size: 0.95rem; text-align: center; min-width: 38px; padding: 5px 6px; border-radius: 6px; background: var(--surface-2); transition: background 0.25s, color 0.25s; }
.cell.flash { background: var(--accent); color: #06231f; }
.cell.tampered { background: var(--bad); color: #2a0810; }
.frei-challenge { color: var(--muted); }
.frei-note { font-size: 0.82rem; color: var(--muted-2); }
.frei-check { display: flex; align-items: center; justify-content: center; gap: 18px; margin: 24px 0 14px; padding: 18px; border-radius: var(--radius-sm); background: var(--bg-2); border: 1px solid var(--border); }
.frei-side { font-family: var(--mono); font-size: 1.05rem; color: var(--muted); }
.frei-val { color: var(--text); font-weight: 700; margin-left: 8px; }
.frei-eq { font-family: var(--mono); font-size: 1.3rem; color: var(--muted); }
.frei-eq.ok { color: var(--good); }
.frei-eq.no { color: var(--bad); }
.frei-verdict { text-align: center; font-weight: 600; padding: 12px; border-radius: var(--radius-sm); color: var(--muted); }
.frei-verdict.ok { color: var(--good); background: rgba(139, 220, 101, 0.1); }
.frei-verdict.no { color: var(--bad); background: rgba(240, 113, 95, 0.1); }
.frei-controls { display: flex; flex-direction: column; gap: 12px; }
.frei-controls .btn { justify-content: center; }
.frei-foot { color: var(--muted); font-size: 0.86rem; margin-top: 8px; }

/* cards */
.cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr)); gap: 18px; }
.card { background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 26px; transition: transform 0.2s, border-color 0.2s; }
.card:hover { transform: translateY(-4px); border-color: var(--accent); }
.card h3 { font-size: 1.15rem; margin-bottom: 10px; }
.card p { color: var(--muted); font-size: 0.94rem; margin: 0; }

/* tiers */
.tiers { max-width: 820px; margin: 0 auto; }
.tier-tabs { display: flex; gap: 10px; justify-content: center; margin-bottom: 24px; flex-wrap: wrap; }
.tier-tab { display: inline-flex; align-items: center; justify-content: center; min-height: 44px; font-family: var(--mono); font-weight: 700; padding: 10px 22px; border-radius: 999px; background: var(--surface); border: 1px solid var(--border); color: var(--muted); cursor: pointer; transition: background 0.2s, border-color 0.2s, color 0.2s; }
.tier-tab.is-active { background-color: var(--accent); background-image: linear-gradient(135deg, var(--accent), var(--accent-3)); color: #06231f; border-color: transparent; }
.tier-panel { display: none; background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 32px; text-align: center; }
.tier-panel.is-active { display: block; animation: fade 0.3s ease; }
.tier-panel h3 { font-size: 1.4rem; margin: 14px 0 10px; }
.tier-panel p { color: var(--muted); max-width: 620px; margin: 0 auto; }
.tier-status { font-family: var(--mono); font-size: 0.74rem; letter-spacing: 0.08em; text-transform: uppercase; padding: 4px 12px; border-radius: 999px; }
.tier-status.shipped { color: var(--good); background: rgba(139, 220, 101, 0.12); }
.tier-status.deferred { color: var(--muted-2); background: var(--surface-2); }

/* compare */
.compare { overflow-x: auto; }
.compare table { width: 100%; border-collapse: collapse; min-width: 640px; }
.compare th, .compare td { text-align: left; padding: 16px 18px; border-bottom: 1px solid var(--border); font-size: 0.95rem; }
.compare thead th { color: var(--muted-2); font-family: var(--mono); font-size: 0.78rem; letter-spacing: 0.08em; text-transform: uppercase; }
.compare thead th:last-child { color: var(--accent); }
.compare td:first-child { color: var(--muted); }
.compare tbody tr:hover { background: var(--surface); }
.row-highlight { background: rgba(155, 229, 100, 0.06); }
.row-highlight td:last-child { color: var(--good); font-weight: 600; }

/* architecture */
.arch { display: grid; grid-template-columns: 1.3fr 1fr; gap: 28px; align-items: center; }
/* min-width: 0 lets the dag pre scroll inside its column instead of widening it */
.arch > * { min-width: 0; }
.arch-crates { display: flex; flex-direction: column; gap: 12px; }
.crate { background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius-sm); padding: 16px 20px; }
.crate code { color: var(--accent); font-weight: 700; }
.crate span { display: block; color: var(--muted); font-size: 0.9rem; margin-top: 4px; }
.crate.trust { border-color: var(--accent); box-shadow: 0 0 0 1px var(--accent); }
.arch-dag .dag { background: var(--bg-2); border: 1px solid var(--border); border-radius: var(--radius-sm); padding: 18px; font-family: var(--mono); font-size: 0.82rem; color: var(--accent); overflow-x: auto; }
.arch-dag p { color: var(--muted); font-size: 0.92rem; }

/* start */
.start { display: grid; grid-template-columns: 1fr 1fr; gap: 20px; }
/* min-width: 0 lets the column shrink below the pre's intrinsic width, so long
   command lines scroll inside the card instead of blowing out the page. */
.start-card { background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 24px; min-width: 0; }
.start-card h3 { font-size: 1.1rem; margin-bottom: 14px; }
.code { background: var(--bg-2); border: 1px solid var(--border); border-radius: var(--radius-sm); padding: 18px; font-family: var(--mono); font-size: 0.88rem; color: var(--text); overflow-x: auto; white-space: pre; line-height: 1.7; margin: 0; }
.c-dim { color: var(--muted-2); }
.start-links { display: flex; gap: 12px; justify-content: center; margin-top: 28px; flex-wrap: wrap; }

/* footer */
.footer { border-top: 1px solid var(--border); padding: 40px 24px; background: var(--bg-2); }
.footer-inner { max-width: var(--maxw); margin: 0 auto; display: flex; align-items: center; gap: 16px; flex-wrap: wrap; justify-content: space-between; }
.footer-inner span:first-child { font-weight: 700; }
.footer-dim { color: var(--muted-2); font-size: 0.9rem; }
.footer a { display: inline-flex; align-items: center; min-height: 44px; color: var(--accent); font-family: var(--mono); font-size: 0.85rem; }

/* reveal on scroll */
.reveal { opacity: 0; transform: translateY(22px); transition: opacity 0.7s ease, transform 0.7s ease; }
.reveal.in { opacity: 1; transform: none; }
@keyframes fade { from { opacity: 0; transform: translateY(6px); } to { opacity: 1; } }

/* responsive */
@media (max-width: 820px) {
  /* visibility keeps the closed off-canvas menu out of the tab order and out
     of the page's scroll width */
  .nav-links { position: fixed; top: 60px; right: 0; flex-direction: column; align-items: flex-start; gap: 18px; background: var(--surface); border: 1px solid var(--border); border-radius: 0 0 0 var(--radius); padding: 24px; transform: translateX(110%); visibility: hidden; transition: transform 0.25s ease, visibility 0.25s; }
  .nav-links.open { transform: none; visibility: visible; }
  .nav-toggle { display: block; }
  .why-cols, .frei, .arch, .start { grid-template-columns: 1fr; }
  .band { padding: 64px 20px; }
  .hero-facts { flex-direction: column; gap: 8px; }
  .hero-facts .fact + .fact::before { content: none; }
}
@media (max-width: 560px) {
  .hero { padding: 96px 18px 72px; }
  .hero h1 { font-size: clamp(2.05rem, 10vw, 2.7rem); letter-spacing: -0.02em; }
  .lede { font-size: 1rem; }
  .hero-cta { gap: 12px; }
  .hero-cta .btn { flex: 1 1 150px; justify-content: center; max-width: 220px; }
  .eyebrow { font-size: 0.72rem; letter-spacing: 0.14em; }
}
@media (prefers-reduced-motion: reduce) {
  * { animation: none !important; transition: none !important; scroll-behavior: auto; }
  .reveal { opacity: 1; transform: none; }
}


/* === end-to-end pipeline diagram (#how overview) === */
.pflow{margin:0 0 42px;max-width:var(--maxw);font-family:var(--sans);}
.pflow *{box-sizing:border-box;}
.pflow-cap{color:var(--muted);font-size:.95rem;margin:0 0 16px;}
.pflow code{font-family:var(--mono);font-size:.9em;color:var(--accent);word-break:break-word;}

/* legend */
.pflow-legend{display:flex;flex-wrap:wrap;gap:8px 18px;list-style:none;margin:0 0 22px;padding:0;font-family:var(--mono);font-size:.74rem;color:var(--muted-2);}
.pflow-leg{display:inline-flex;align-items:center;gap:7px;}
.pflow-dot{width:9px;height:9px;border-radius:3px;flex:0 0 auto;}
.pflow-dot--p{background:var(--accent);}
.pflow-dot--cross{background:linear-gradient(135deg,var(--accent-2),var(--bad));}
.pflow-dot--v{background:var(--accent-3);}

.pflow-grid{display:grid;gap:14px;}

/* lanes */
.pflow-lane{background:var(--bg-2);border:1px solid var(--border);border-radius:var(--radius);padding:16px;position:relative;}
.pflow-lane--prover{border-color:color-mix(in srgb, var(--accent) 35%, var(--border));background:linear-gradient(180deg, rgba(155, 229, 100, 0.04), transparent 55%), var(--bg-2);}
.pflow-lane--verifier{border-color:color-mix(in srgb, var(--accent-3) 35%, var(--border));background:linear-gradient(180deg, rgba(95, 196, 162, 0.04), transparent 55%), var(--bg-2);}
.pflow-lane-head{display:flex;align-items:baseline;gap:12px;margin-bottom:14px;flex-wrap:wrap;}
.pflow-lane-tag{font-family:var(--mono);font-size:.74rem;letter-spacing:.14em;text-transform:uppercase;font-weight:700;color:#06231f;background:var(--accent);padding:4px 12px;border-radius:999px;}
.pflow-lane-tag--v{color:#04141f;background:var(--accent-3);}
.pflow-lane-note{font-family:var(--mono);font-size:.78rem;color:var(--muted-2);letter-spacing:.04em;}

/* track of stage cards */
.pflow-track{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(5,1fr);gap:26px;}
.pflow-track--v{grid-template-columns:1fr 1fr;}

.pflow-card{position:relative;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-sm);padding:16px 14px 14px;transition:border-color .2s,transform .2s,box-shadow .2s;}
.pflow-card:hover{transform:translateY(-3px);border-color:var(--accent);}
.pflow-card--v:hover{border-color:var(--accent-3);}
.pflow-card h4{font-size:1rem;margin:8px 0 6px;letter-spacing:-.01em;}
.pflow-card p{color:var(--muted);font-size:.84rem;line-height:1.5;margin:0;}
.pflow-card--emph{border-color:var(--accent);box-shadow:0 0 0 1px var(--accent),0 16px 36px -24px var(--accent);}

/* horizontal connectors: gradient bar + clip-path arrowhead */
.pflow-card::after{content:"";position:absolute;top:50%;left:100%;width:26px;height:2px;transform:translateY(-50%);background:linear-gradient(90deg,var(--accent),var(--accent-3));opacity:.85;}
.pflow-card::before{content:"";position:absolute;top:50%;left:calc(100% + 22px);width:7px;height:9px;transform:translateY(-50%);background:var(--accent-3);clip-path:polygon(0 0, 100% 50%, 0 100%);opacity:.95;}
.pflow-track > .pflow-card:last-child::after,
.pflow-track > .pflow-card:last-child::before{display:none;}
.pflow-card--v::after{background:linear-gradient(90deg,var(--accent-3),var(--accent-2));}
.pflow-card--v::before{background:var(--accent-2);}
/* verifier lane flows vertically (Verify then Verdict), so the full-width Verify
   card has no card to its right: hide its horizontal connector on wide screens.
   The mobile query below re-enables it as a downward link. */
.pflow-card--v::after,.pflow-card--v::before{display:none;}

/* step number chip */
.pflow-n{display:inline-flex;align-items:center;justify-content:center;min-width:24px;height:24px;padding:0 7px;font-family:var(--mono);font-size:.78rem;font-weight:700;color:var(--accent);border:1px solid var(--border);border-radius:7px;background:var(--bg-2);}
.pflow-n--v{color:var(--accent-3);}
.pflow-n--good{color:var(--good);}

/* crossing block */
.pflow-cross{position:relative;display:flex;flex-direction:column;align-items:center;gap:10px;padding:2px 0;}
.pflow-boundary{position:relative;width:100%;height:1px;background:repeating-linear-gradient(90deg,var(--border) 0 10px,transparent 10px 18px);display:flex;justify-content:center;}
.pflow-boundary span{position:relative;top:-9px;font-family:var(--mono);font-size:.72rem;letter-spacing:.16em;text-transform:uppercase;color:var(--muted-2);background:var(--bg);padding:0 10px;}
.pflow-artifact{display:flex;align-items:center;gap:12px;flex-wrap:wrap;justify-content:center;text-align:center;background:linear-gradient(135deg,rgba(242,182,93,.16),rgba(95,196,162,.10));border:1px solid var(--accent-2);border-radius:999px;padding:9px 20px;box-shadow:0 0 0 1px rgba(242,182,93,.25),0 14px 34px -20px var(--accent-2);}
.pflow-artifact-tag{font-family:var(--mono);font-size:.84rem;font-weight:700;color:var(--accent-2);letter-spacing:.02em;}
.pflow-artifact-body{font-family:var(--mono);font-size:.8rem;color:var(--text);}
.pflow-artifact-body code{color:var(--accent);}
.pflow-artifact-only{font-size:.74rem;color:var(--muted);font-style:italic;}

/* verify stage carries the Freivalds callout; let it span both columns */
.pflow-card--v{grid-column:1 / -1;}

/* Freivalds callout */
.pflow-frei{margin-top:14px;padding:14px;background:linear-gradient(180deg, rgba(155, 229, 100, 0.05), transparent 70%), var(--bg-2);border:1px solid color-mix(in srgb, var(--accent) 32%, var(--border));border-radius:var(--radius-sm);display:flex;flex-wrap:wrap;align-items:center;gap:6px 12px;}
.pflow-frei-head{flex-basis:100%;font-family:var(--mono);font-size:.72rem;letter-spacing:.12em;text-transform:uppercase;color:var(--accent);}
.pflow-frei-eq{font-family:var(--mono);font-size:1.02rem;font-weight:700;color:var(--text);background:var(--surface-2);border:1px solid var(--border);border-radius:8px;padding:6px 12px;}
.pflow-frei-why{font-family:var(--mono);font-size:.78rem;color:var(--muted);}
.pflow-frei-note{flex-basis:100%;font-size:.74rem;color:var(--muted-2);line-height:1.5;margin-top:6px;padding-top:8px;border-top:1px dashed var(--border);}

/* verdict terminal */
.pflow-term{position:relative;grid-column:1 / -1;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius-sm);padding:16px 14px 14px;}
.pflow-term h4{font-size:1rem;margin:8px 0 12px;}
.pflow-verdicts{display:grid;grid-template-columns:1fr 1fr;gap:12px;}
.pflow-outcome{position:relative;display:flex;gap:12px;align-items:flex-start;padding:14px 16px;border:1px solid var(--border);border-radius:var(--radius-sm);background:var(--surface-2);}
.pflow-outcome-glyph{flex:0 0 auto;width:22px;height:22px;display:inline-flex;align-items:center;justify-content:center;font-size:.82rem;font-weight:800;border-radius:6px;}
.pflow-outcome-name{display:block;font-family:var(--mono);font-size:.84rem;font-weight:700;letter-spacing:.06em;margin-bottom:4px;}
.pflow-outcome-desc{display:block;font-size:.8rem;color:var(--muted);line-height:1.45;}
.pflow-outcome--ok{border-color:var(--good);box-shadow:0 0 0 1px rgba(139,220,101,.25),0 14px 34px -24px var(--good);background:linear-gradient(180deg,rgba(139,220,101,.08),transparent 70%),var(--surface-2);}
.pflow-outcome--ok .pflow-outcome-name{color:var(--good);}
.pflow-outcome--ok .pflow-outcome-glyph{color:#06231f;background:var(--good);}
.pflow-outcome--no{border-color:var(--bad);box-shadow:0 0 0 1px rgba(240,113,95,.25),0 14px 34px -24px var(--bad);background:linear-gradient(180deg,rgba(240,113,95,.08),transparent 70%),var(--surface-2);}
.pflow-outcome--no .pflow-outcome-name{color:var(--bad);}
.pflow-outcome--no .pflow-outcome-glyph{color:#2a0810;background:var(--bad);}

.pflow-foot{color:var(--muted-2);font-size:.82rem;margin:18px 0 0;line-height:1.55;}

/* tablet: lanes wrap, drop horizontal connectors */
@media (max-width:900px){
  .pflow-track{grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:14px;}
  .pflow-card::after,.pflow-card::before{display:none;}
}

/* mobile: full vertical stack with downward connectors */
@media (max-width:560px){
  .pflow-track,.pflow-track--v{grid-template-columns:1fr;gap:24px;}
  .pflow-card::after{content:"";display:block;top:100%;left:50%;width:2px;height:24px;transform:translateX(-50%);background:linear-gradient(180deg,var(--accent),var(--accent-3));}
  .pflow-card::before{content:"";display:block;top:calc(100% + 20px);left:50%;width:9px;height:7px;transform:translateX(-50%);background:var(--accent-3);clip-path:polygon(0 0, 100% 0, 50% 100%);}
  .pflow-card--v::after{background:linear-gradient(180deg,var(--accent-3),var(--accent-2));}
  .pflow-card--v::before{background:var(--accent-2);}
  .pflow-track > .pflow-card:last-child::after,
  .pflow-track > .pflow-card:last-child::before{display:none;}
  .pflow-artifact{border-radius:var(--radius);flex-direction:column;gap:6px;padding:14px 18px;}
  .pflow-verdicts{grid-template-columns:1fr;}
  .pflow-frei-eq{font-size:.95rem;}
}

@media (prefers-reduced-motion:reduce){
  .pflow-card,.pflow-outcome{transition:none;}
}
.pflow-n--cross{color:var(--accent-2);border-color:var(--accent-2);}
.pflow-artifact .pflow-n{flex:0 0 auto;}