/* OntoGuard Proof Explorer v2 — all runtime rules are page-scoped. */
.proof-explorer-page {
  --pe-teal: #008090; --pe-teal-bright: #00a3ad; --pe-blue: #0056a0;
  --pe-purple: #463177; --pe-dark: #062237; --pe-text: #232323;
  --pe-muted: #525c69; --pe-line: #cbd8e4; --pe-wash: #f6f8fb;
  --pe-allow: #16734f; --pe-escalate: #a76000; --pe-block: #aa2f36;
  color: var(--pe-text); background: #fff;
}
.proof-explorer-page .pe-hero { padding: 72px 0 58px; color: #fff; background: linear-gradient(135deg,#062237,#0056a0 68%,#008090); }
.proof-explorer-page .pe-hero-grid { display: grid; grid-template-columns: minmax(0,1.35fr) minmax(260px,.65fr); gap: 42px; align-items: center; }
.proof-explorer-page .pe-hero h1 { max-width: 820px; margin: 14px 0 18px; color: #fff; font-size: clamp(2.35rem,5vw,4.65rem); line-height: 1.03; letter-spacing: -.04em; }
.proof-explorer-page .pe-hero-copy { max-width: 760px; margin: 0; color: #e5eff8; font-size: clamp(1.08rem,1.8vw,1.35rem); line-height: 1.6; }
.proof-explorer-page .pe-hero-actions { justify-content: flex-start; margin-top: 28px; }
.proof-explorer-page .pe-boundary-note { max-width: 720px; margin: 20px 0 0; color: #c9d9e8; font-size: .92rem; }
.proof-explorer-page .pe-hero-proof { display: grid; gap: 8px; padding: 26px; border: 1px solid rgba(255,255,255,.24); border-radius: 20px; background: rgba(5,22,37,.46); box-shadow: 0 18px 45px rgba(0,0,0,.22); }
.proof-explorer-page .pe-hero-proof strong { font-size: 1.25rem; }
.proof-explorer-page .pe-hero-proof span { margin-top: 8px; color: #bcd1e3; font-size: .78rem; text-transform: uppercase; letter-spacing: .07em; }
.proof-explorer-page .pe-hero-proof b { font-size: 1rem; }
.proof-explorer-page .pe-fact-strip { background: var(--pe-dark); color: #dce9f4; }
.proof-explorer-page .pe-fact-grid { display: grid; grid-template-columns: repeat(4,minmax(0,1fr)); }
.proof-explorer-page .pe-fact-grid span { padding: 16px 14px; border-right: 1px solid rgba(255,255,255,.14); text-align: center; font-size: .86rem; font-weight: 750; }
.proof-explorer-page .pe-section { padding: 76px 0; scroll-margin-top: 112px; }
.proof-explorer-page .pe-section-alt { background: var(--pe-wash); }
.proof-explorer-page .pe-heading { display: grid; grid-template-columns: minmax(0,1.2fr) minmax(250px,.8fr); gap: 32px; align-items: end; margin-bottom: 28px; }
.proof-explorer-page .pe-heading h2, .proof-explorer-page .pe-boundary-section h2, .proof-explorer-page .pe-final-cta h2 { margin: 8px 0 0; color: var(--pe-dark); font-size: clamp(1.9rem,3.5vw,3.1rem); line-height: 1.08; }
.proof-explorer-page .pe-heading p { margin: 0; color: var(--pe-muted); line-height: 1.65; }
.proof-explorer-page .pe-notice { padding: 14px 16px; border-left: 5px solid var(--pe-escalate); border-radius: 10px; background: #fff6df; color: #5d3e00; }
.proof-explorer-page .pe-scenario-controls { display: grid; grid-template-columns: repeat(5,minmax(0,1fr)); gap: 10px; margin: 22px 0; }
.proof-explorer-page .pe-scenario-button { min-height: 112px; padding: 14px; border: 1px solid var(--pe-line); border-radius: 14px; background: #fff; color: var(--pe-dark); text-align: left; cursor: pointer; }
.proof-explorer-page .pe-scenario-button:hover { border-color: var(--pe-teal); background: #f1fbfc; }
.proof-explorer-page .pe-scenario-button[aria-pressed="true"] { border: 2px solid var(--pe-blue); background: #edf6ff; box-shadow: 0 0 0 3px rgba(0,86,160,.12); }
.proof-explorer-page .pe-scenario-button span, .proof-explorer-page .pe-scenario-button strong, .proof-explorer-page .pe-scenario-button em { display: block; }
.proof-explorer-page .pe-scenario-button span { color: var(--pe-muted); font-size: .72rem; text-transform: uppercase; letter-spacing: .06em; }
.proof-explorer-page .pe-scenario-button strong { margin: 8px 0; font-size: .94rem; }
.proof-explorer-page .pe-scenario-button em { font-style: normal; font-weight: 850; }
.proof-explorer-page .pe-decision-workspace { display: grid; grid-template-columns: 1.25fr .75fr; gap: 18px; }
.proof-explorer-page .pe-movement-card, .proof-explorer-page .pe-decision-card, .proof-explorer-page .pe-verifier-card, .proof-explorer-page .pe-donut-card, .proof-explorer-page .pe-batch-metrics { padding: 24px; border: 1px solid var(--pe-line); border-radius: 18px; background: #fff; box-shadow: 0 8px 24px rgba(6,34,55,.07); }
.proof-explorer-page .pe-card-topline { display: flex; justify-content: space-between; gap: 12px; align-items: center; flex-wrap: wrap; }
.proof-explorer-page .pe-source-badge, .proof-explorer-page .pe-sector { padding: 6px 10px; border-radius: 999px; background: #eaf8f9; color: #064f59; font-size: .76rem; font-weight: 800; }
.proof-explorer-page .pe-sector { background: #edf3fa; color: #274d73; }
.proof-explorer-page .pe-movement-card h3 { margin: 18px 0; color: var(--pe-dark); font-size: 1.75rem; }
.proof-explorer-page .pe-movement-facts, .proof-explorer-page .pe-decision-facts { margin: 0; }
.proof-explorer-page .pe-movement-facts div { padding: 12px 0; border-top: 1px solid var(--pe-line); }
.proof-explorer-page .pe-movement-facts dt { color: var(--pe-muted); font-size: .78rem; text-transform: uppercase; letter-spacing: .06em; font-weight: 800; }
.proof-explorer-page .pe-movement-facts dd { margin: 5px 0 0; line-height: 1.55; }
.proof-explorer-page .pe-decision-card { color: #fff; background: var(--pe-dark); border-color: transparent; }
.proof-explorer-page .pe-decision-card.allow { background: linear-gradient(145deg,#0f5e43,#16845b); }
.proof-explorer-page .pe-decision-card.escalate { background: linear-gradient(145deg,#7a4700,#b96f00); }
.proof-explorer-page .pe-decision-card.block { background: linear-gradient(145deg,#762127,#ad3038); }
.proof-explorer-page .pe-mini-label { color: #dceaf7; font-size: .78rem; text-transform: uppercase; letter-spacing: .07em; font-weight: 800; }
.proof-explorer-page .pe-decision-lockup { display: flex; gap: 12px; align-items: center; margin: 20px 0; }
.proof-explorer-page .pe-decision-lockup span { font-size: 2rem; }
.proof-explorer-page .pe-decision-lockup strong { font-size: clamp(2rem,4vw,3rem); }
.proof-explorer-page .pe-decision-facts div { display: flex; justify-content: space-between; gap: 14px; padding: 9px 0; border-top: 1px solid rgba(255,255,255,.2); }
.proof-explorer-page .pe-decision-facts dt { color: rgba(255,255,255,.78); }
.proof-explorer-page .pe-decision-facts dd { margin: 0; text-align: right; font-weight: 800; }
.proof-explorer-page .pe-text-button { min-height: 44px; padding: 10px 0; border: 0; background: transparent; color: #fff; text-decoration: underline; text-underline-offset: 4px; font: inherit; font-weight: 800; cursor: pointer; }
.proof-explorer-page .pe-why-panel { display: grid; grid-template-columns: repeat(3,1fr); gap: 12px; margin-top: 16px; padding: 18px; border: 1px solid #c8d8e8; border-radius: 14px; background: #edf5fc; }
.proof-explorer-page .pe-why-panel[hidden] { display: none; }
.proof-explorer-page .pe-why-panel div { padding: 8px; }
.proof-explorer-page .pe-why-panel span, .proof-explorer-page .pe-proof-facts span, .proof-explorer-page .pe-batch-metrics span { display: block; color: var(--pe-muted); font-size: .74rem; text-transform: uppercase; letter-spacing: .06em; font-weight: 800; }
.proof-explorer-page .pe-why-reason { grid-column: 1/-1; border-top: 1px solid #c8d8e8; }
.proof-explorer-page .pe-proof-facts { display: grid; grid-template-columns: repeat(5,1fr); gap: 10px; margin-top: 16px; }
.proof-explorer-page .pe-proof-facts div { padding: 14px; border: 1px solid var(--pe-line); border-radius: 12px; background: #fff; }
.proof-explorer-page .pe-proof-facts strong { display: block; margin-top: 5px; overflow-wrap: anywhere; }

.proof-explorer-page .pe-asset-actions { display: flex; flex-wrap: wrap; gap: 10px; margin-top: 18px; }
.proof-explorer-page .pe-lifecycle { list-style: none; display: grid; grid-template-columns: repeat(4,1fr); gap: 12px; margin: 0; padding: 0; }
.proof-explorer-page .pe-lifecycle li { position: relative; min-height: 170px; padding: 18px; border: 1px solid var(--pe-line); border-top: 5px solid var(--pe-teal); border-radius: 16px; background: #fff; }
.proof-explorer-page .pe-lifecycle li:nth-child(4), .proof-explorer-page .pe-lifecycle li:nth-child(6) { border-top-color: var(--pe-blue); }
.proof-explorer-page .pe-lifecycle li::after { content: '→'; position: absolute; top: 50%; right: -12px; z-index: 2; color: #69849e; font-weight: 900; }
.proof-explorer-page .pe-lifecycle li:nth-child(4)::after, .proof-explorer-page .pe-lifecycle li:nth-child(8)::after { display: none; }
.proof-explorer-page .pe-stage-number { display: inline-grid; place-items: center; width: 30px; height: 30px; border-radius: 50%; background: #e6f5f6; color: #006472; font-weight: 900; }
.proof-explorer-page .pe-lifecycle h3 { margin: 13px 0 7px; color: var(--pe-dark); font-size: 1.02rem; }
.proof-explorer-page .pe-lifecycle p { margin: 0; color: var(--pe-muted); font-size: .85rem; line-height: 1.48; }
.proof-explorer-page .pe-stage-status { display: inline-block; margin-top: 10px; color: #244f78; font-size: .7rem; font-weight: 850; text-transform: uppercase; letter-spacing: .055em; overflow-wrap: anywhere; }
.proof-explorer-page .pe-batch-layout { display: grid; grid-template-columns: .8fr 1.2fr; gap: 18px; }
.proof-explorer-page .pe-donut-card { display: grid; grid-template-columns: 180px 1fr; gap: 20px; align-items: center; }
.proof-explorer-page .pe-donut { position: relative; display: grid; place-items: center; width: 170px; aspect-ratio: 1; border-radius: 50%; background: conic-gradient(#dce6ef 0 100%); }
.proof-explorer-page .pe-donut::after { content: ''; position: absolute; width: 106px; aspect-ratio: 1; border-radius: 50%; background: #fff; }
.proof-explorer-page .pe-donut div { position: relative; z-index: 1; text-align: center; }
.proof-explorer-page .pe-donut strong { display: block; font-size: 2.35rem; line-height: 1; }
.proof-explorer-page .pe-donut span { color: var(--pe-muted); font-size: .82rem; }
.proof-explorer-page .pe-legend { display: grid; gap: 8px; }
.proof-explorer-page .pe-legend button { display: grid; grid-template-columns: 12px 1fr auto; gap: 9px; align-items: center; min-height: 44px; padding: 9px 10px; border: 1px solid transparent; border-radius: 10px; background: #f3f6f9; color: var(--pe-dark); text-align: left; cursor: pointer; }
.proof-explorer-page .pe-legend button[aria-pressed="true"] { border-color: var(--pe-blue); background: #eaf3fc; }
.proof-explorer-page .pe-legend i { width: 10px; height: 10px; border-radius: 50%; background: #8394a7; }
.proof-explorer-page .pe-legend i.allow { background: var(--pe-allow); }.proof-explorer-page .pe-legend i.escalate { background: var(--pe-escalate); }.proof-explorer-page .pe-legend i.block { background: var(--pe-block); }
.proof-explorer-page .pe-batch-metrics { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; }
.proof-explorer-page .pe-batch-metrics div { padding: 16px; border-radius: 12px; background: var(--pe-wash); }
.proof-explorer-page .pe-batch-metrics strong { display: block; margin: 5px 0; color: var(--pe-dark); font-size: 1.25rem; }
.proof-explorer-page .pe-batch-metrics small { color: var(--pe-muted); }
.proof-explorer-page .pe-filter-status { margin: 18px 0 8px; color: var(--pe-muted); }
.proof-explorer-page .pe-table-wrap { overflow-x: auto; border: 1px solid var(--pe-line); border-radius: 14px; background: #fff; }
.proof-explorer-page .pe-case-table { width: 100%; min-width: 820px; border-collapse: collapse; }
.proof-explorer-page .pe-case-table th, .proof-explorer-page .pe-case-table td { padding: 13px; border-bottom: 1px solid var(--pe-line); text-align: left; vertical-align: top; font-size: .86rem; }
.proof-explorer-page .pe-case-table th { background: #edf3f8; color: #3d566e; text-transform: uppercase; letter-spacing: .05em; font-size: .72rem; }
.proof-explorer-page .pe-case-select { min-height: 44px; padding: 4px 0; border: 0; background: transparent; color: var(--pe-blue); text-align: left; font: inherit; font-weight: 800; text-decoration: underline; text-underline-offset: 3px; cursor: pointer; }
.proof-explorer-page .pe-decision-label { font-weight: 900; }.proof-explorer-page .pe-decision-label.allow { color: var(--pe-allow); }.proof-explorer-page .pe-decision-label.escalate { color: var(--pe-escalate); }.proof-explorer-page .pe-decision-label.block { color: var(--pe-block); }
.proof-explorer-page .pe-verifier-shell { display: grid; grid-template-columns: 1fr 1fr; gap: 36px; align-items: center; }
.proof-explorer-page .pe-verifier-status { display: flex; gap: 14px; align-items: center; }
.proof-explorer-page .pe-verifier-status > span { display: grid; place-items: center; width: 48px; height: 48px; border-radius: 50%; background: #edf3f7; font-size: 1.4rem; }
.proof-explorer-page .pe-verifier-status span, .proof-explorer-page .pe-verifier-status small { display: block; color: var(--pe-muted); }
.proof-explorer-page .pe-verifier-status strong { display: block; font-size: 1.35rem; }
.proof-explorer-page .pe-progress { height: 10px; margin: 22px 0; overflow: hidden; border-radius: 999px; background: #e2eaf1; }
.proof-explorer-page .pe-progress span { display: block; width: 0; height: 100%; background: var(--pe-blue); transition: width .2s linear; }
.proof-explorer-page .pe-verification-list { list-style: none; margin: 0; padding: 0; }
.proof-explorer-page .pe-verification-list li { display: flex; justify-content: space-between; gap: 12px; padding: 11px 0; border-top: 1px solid var(--pe-line); }
.proof-explorer-page .pe-verification-list li strong { color: #697b8e; }.proof-explorer-page .pe-verification-list li.pass strong { color: var(--pe-allow); }.proof-explorer-page .pe-verification-list li.mismatch strong, .proof-explorer-page .pe-verification-list li.unavailable strong { color: var(--pe-block); }.proof-explorer-page .pe-verification-list li.partial strong { color: var(--pe-escalate); }
.proof-explorer-page .pe-microcopy { color: var(--pe-muted); font-size: .88rem; }
.proof-explorer-page .pe-boundary-section { color: #e3edf6; background: var(--pe-dark); }
.proof-explorer-page .pe-boundary-section h2 { color: #fff; }
.proof-explorer-page .pe-boundary-grid { display: grid; grid-template-columns: repeat(3,1fr); gap: 16px; margin-top: 24px; }
.proof-explorer-page .pe-boundary-grid article { padding: 20px; border: 1px solid rgba(255,255,255,.17); border-radius: 15px; background: rgba(255,255,255,.06); }
.proof-explorer-page .pe-boundary-grid h3 { margin-top: 0; color: #fff; }
.proof-explorer-page .pe-boundary-grid ul { margin: 0; padding-left: 20px; }
.proof-explorer-page .pe-final-cta { text-align: center; background: linear-gradient(135deg,#ebf9fa,#fff); }
.proof-explorer-page .pe-final-cta p { max-width: 760px; margin: 14px auto 24px; color: var(--pe-muted); }
.proof-explorer-page .pe-final-cta .cta-buttons { justify-content: center; }
.proof-explorer-page .pe-noscript { padding: 14px; background: #fff0bd; color: #4d3500; text-align: center; }
@media (max-width: 1099px) {
 .proof-explorer-page .pe-scenario-controls { grid-template-columns: repeat(3,1fr); }
 .proof-explorer-page .pe-lifecycle { grid-template-columns: repeat(2,1fr); }
 .proof-explorer-page .pe-lifecycle li:nth-child(4)::after { display: block; }
 .proof-explorer-page .pe-lifecycle li:nth-child(2n)::after { display: none; }
 .proof-explorer-page .pe-fact-grid { grid-template-columns: repeat(2,1fr); }
 .proof-explorer-page .pe-decision-workspace, .proof-explorer-page .pe-batch-layout, .proof-explorer-page .pe-verifier-shell { grid-template-columns: 1fr; }
}
@media (max-width: 700px) {
 .proof-explorer-page .pe-hero { padding: 46px 0 38px; }
 .proof-explorer-page .pe-hero-grid, .proof-explorer-page .pe-heading { grid-template-columns: 1fr; gap: 20px; }
 .proof-explorer-page .pe-hero h1 { font-size: clamp(2.15rem,11vw,3.15rem); }
 .proof-explorer-page .pe-hero-proof { display: none; }
 .proof-explorer-page .pe-section { padding: 54px 0; }
 .proof-explorer-page .pe-scenario-controls, .proof-explorer-page .pe-proof-facts, .proof-explorer-page .pe-why-panel, .proof-explorer-page .pe-batch-metrics { grid-template-columns: 1fr; }
 .proof-explorer-page .pe-scenario-button { min-height: 90px; }
 .proof-explorer-page .pe-lifecycle { grid-template-columns: 1fr; }
 .proof-explorer-page .pe-lifecycle li { min-height: auto; text-align: left; }
 .proof-explorer-page .pe-lifecycle li::after { content: '↓'; top: auto; right: auto; bottom: -18px; left: 50%; transform: translateX(-50%); }
 .proof-explorer-page .pe-lifecycle li:nth-child(2n)::after, .proof-explorer-page .pe-lifecycle li:nth-child(4)::after { display: block; }
 .proof-explorer-page .pe-lifecycle li:last-child::after { display: none; }
 .proof-explorer-page .pe-fact-grid { grid-template-columns: 1fr; }
 .proof-explorer-page .pe-fact-grid span { border-right: 0; border-bottom: 1px solid rgba(255,255,255,.14); }
 .proof-explorer-page .pe-donut-card { grid-template-columns: 1fr; justify-items: center; }
 .proof-explorer-page .pe-boundary-grid { grid-template-columns: 1fr; }
 .proof-explorer-page .pe-final-cta .btn, .proof-explorer-page .pe-asset-actions .btn { width: 100%; }
}
@media (prefers-reduced-motion: reduce) {
 .proof-explorer-page *, .proof-explorer-page *::before, .proof-explorer-page *::after { scroll-behavior: auto; transition-duration: .01ms; animation-duration: .01ms; animation-iteration-count: 1; }
}