/* Evidence: one failure, one observed result, a direct route to its source. */
.proof-page .evidence-buyer-summary { display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem;margin:2rem 0; }
.proof-page .evidence-buyer-summary article { display:flex;flex-direction:column;min-width:0;padding:1.25rem;border:1px solid var(--rule-soft);border-radius:.65rem;background:var(--surface); }
.proof-page .evidence-buyer-summary h2 { margin:.35rem 0 .75rem;max-width:none;font-size:1.125rem;line-height:1.4;letter-spacing:-.015em; }
.proof-page .evidence-buyer-summary p:not(.eyebrow) { margin:0 0 .5rem;font-size:.9375rem;line-height:1.7;color:var(--ink-muted); }
.proof-page .evidence-buyer-summary a { display:block;margin-top:auto;min-height:44px;padding-top:.75rem;font-size:.9375rem;line-height:1.6; }
@media(max-width:850px) { .proof-page .evidence-buyer-summary { grid-template-columns:minmax(0,1fr); } }
@media(print) { .proof-page .evidence-buyer-summary article { break-inside:avoid;background:none; } }
@media(forced-colors:active) { .proof-page .evidence-buyer-summary article { border-color:CanvasText; } }
html:has(body.proof-page) { min-width: 0; }
.proof-page { overflow-wrap: anywhere; }
.proof-page .header-inner { container: evidence-header / inline-size; }
@container evidence-header (max-width: 55rem) {
  .proof-page .site-nav { display: none; }
  .proof-page .menu-toggle { display: inline-flex; }
}
@container evidence-header (max-width: 12rem) {
  .proof-page .brand-word, .proof-page .site-header .header-commercial { display: none; }
  .proof-page .menu-toggle { width: 44px; height: 44px; min-width: 44px; min-height: 44px; }
}
.proof-page .buyer-title-row > * { min-width: 0; }
.proof-page .qualification-figures > div,
.proof-page .qualification-figures dt,
.proof-page .qualification-figures dd { min-width: 0; }
.proof-page .qualification-figures dd { white-space: normal; }
.proof-page .footer-meta { width: 100%; max-width: 100%; }
@media (max-width: 67.99rem) {
  .proof-page .buyer-title-row { grid-template-columns: minmax(0, 1fr); }
}
.proof-page .evidence-opening { padding-bottom: 2rem; }
.proof-page .evidence-engineering-layout { display: grid; grid-template-columns: .82fr 1.5fr; gap: clamp(2rem, 5vw, 5rem); align-items: start; }
.proof-page .evidence-engineering-layout > .section-heading { margin: 0; }
.proof-page .evidence-engineering-layout h2 { max-width: 14ch; font-size: clamp(2.4rem, 3.8vw, 3.7rem); line-height: 1.08; letter-spacing: -.045em; }
.proof-page .evidence-engineering-layout > .section-heading > p:last-child { max-width: 36ch; font-size: 1rem; line-height: 1.75; }
.proof-page .evidence-explorer { min-width: 0; }
.proof-page .evidence-case-picker { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: .4rem; margin-bottom: 1rem; }
.proof-page .evidence-case-picker[hidden], .proof-page .evidence-scenario[hidden] { display: none; }
.proof-page .evidence-case-picker button { min-width: 0; min-height: 3rem; padding: .65rem .6rem; border: 1px solid var(--rule-soft); border-radius: .45rem; background: var(--canvas); color: var(--ink-muted); font: 500 .875rem/1.4 var(--font-sans); cursor: pointer; }
.proof-page .evidence-case-picker button:hover { background: var(--surface); color: var(--ink-strong); }
.proof-page .evidence-case-picker button[aria-pressed="true"] { background: var(--surface-raised); border-color: var(--institutional); color: var(--ink-strong); }
.proof-page .evidence-case-picker button:focus-visible { outline: 3px solid var(--focus); outline-offset: 3px; }
.proof-page .evidence-view-label { color: var(--ink-muted); font-size: .8125rem; line-height: 1.7; margin: 0 0 1rem; }
.proof-page .evidence-explorer .failure-cases { display: block; margin: 0; padding: 0; border: 0; }
.proof-page .evidence-explorer .failure-cases > article { margin: 0; padding: 1.5rem; border: 1px solid var(--rule-soft); border-radius: var(--radius-large); background: var(--surface); }
.proof-page .evidence-explorer .failure-cases > article + article:not([hidden]) { margin-top: 1.5rem; }
.proof-page .evidence-explorer.is-enhanced .failure-cases > article { margin-top: 0; }
.proof-page .evidence-scenario-heading { display: flex; align-items: baseline; justify-content: space-between; flex-wrap: wrap; gap: .5rem 1rem; margin-bottom: 1.5rem; }
.proof-page .evidence-scenario-heading .scene-number { font: 400 .8125rem/1.5 var(--font-mono); color: var(--ink-muted); }
.proof-page .evidence-scenario-heading h3 { font-size: 1rem; line-height: 1.5; letter-spacing: 0; margin: 0; color: var(--ink-strong); }
.proof-page .evidence-flow { display: grid; grid-template-columns: minmax(0, 1fr) 2rem minmax(0, 1fr); grid-template-rows: auto 2.5rem auto; }
.proof-page .evidence-node { min-width: 0; padding: 1.1rem; border: 1px solid var(--rule-soft); border-radius: .5rem; background: var(--canvas); }
.proof-page .evidence-node .sheet-label { display: block; margin: 0 0 .6rem; font-size: .8125rem; line-height: 1.5; letter-spacing: .025em; color: var(--ink-muted); }
.proof-page .evidence-node strong { display: block; font-size: 1.0625rem; line-height: 1.4; font-weight: 500; color: var(--ink-strong); }
.proof-page .evidence-node p { margin: .6rem 0 0; font-size: .875rem; line-height: 1.6; color: var(--ink-muted); }
.proof-page .evidence-node--prior { grid-column: 1; grid-row: 1; }
.proof-page .evidence-node--authority { grid-column: 3; grid-row: 1; }
.proof-page .evidence-node--request { grid-column: 1; grid-row: 3; }
.proof-page .evidence-node--result { grid-column: 3; grid-row: 3; display: flex; flex-direction: column; justify-content: center; border-left: 3px solid var(--hold-border); background: var(--hold-bg); }
.proof-page .evidence-node--result .sheet-label { color: var(--hold-ink); }
.proof-page .evidence-node--result .evidence-outcome { font-size: clamp(1.125rem, 2vw, 1.8rem); line-height: 1.3; letter-spacing: -.025em; color: var(--hold-ink); overflow-wrap: anywhere; }
.proof-page [data-result="stale"] .evidence-node--result { background: var(--surface-raised); border-left-color: var(--rule-strong); }
.proof-page [data-result="stale"] .evidence-node--result .sheet-label, .proof-page [data-result="stale"] .evidence-outcome { color: var(--ink-strong); }
.proof-page [data-result="allowed"] .evidence-node--result { background: var(--accept-bg); border-left-color: var(--accept-border); }
.proof-page [data-result="allowed"] .evidence-node--result .sheet-label, .proof-page [data-result="allowed"] .evidence-outcome { color: var(--accept-ink); }
.proof-page .evidence-link--prior { grid-column: 2; grid-row: 1; align-self: center; height: 1px; background: var(--rule-strong); }
.proof-page .evidence-link--authority { grid-column: 3; grid-row: 2; justify-self: center; width: 1px; background: var(--rule-strong); }
.proof-page .evidence-link--request { grid-column: 2; grid-row: 3; align-self: center; position: relative; height: 1px; background: var(--hold-border); }
.proof-page .evidence-link--request span { position: absolute; top: -2px; right: 3px; width: 5px; height: 5px; border-radius: 50%; background: var(--hold-border); }
.proof-page [data-result="allowed"] .evidence-link--request, .proof-page [data-result="allowed"] .evidence-link--request span { background: var(--accept-border); }
.proof-page [data-result="stale"] .evidence-link--request, .proof-page [data-result="stale"] .evidence-link--request span { background: var(--rule-strong); }
.proof-page .is-selected-now .evidence-link--request span { animation: evidence-arrival .6s ease-out 1; }
@keyframes evidence-arrival { from { transform: translateX(-1.5rem); } to { transform: translateX(0); } }
.proof-page .evidence-explorer .evidence-observed-result { margin: 1.25rem 0; font-size: 1rem; line-height: 1.65; color: var(--ink-strong); }
.proof-page .evidence-result-source { border-top: 1px solid var(--rule-soft); }
.proof-page .evidence-result-source summary { padding: .85rem 0; min-height: 2.75rem; font-size: .875rem; line-height: 1.5; font-weight: 500; cursor: pointer; color: var(--link); }
.proof-page .evidence-result-source > div { padding: .5rem 0 0; min-width: 0; }
.proof-page .evidence-source-identity { font: 400 .8125rem/1.6 var(--font-mono); color: var(--ink-muted); margin: 0 0 .75rem; }
.proof-page .evidence-result-source pre { margin: 0 0 1rem; padding: 1rem; background: var(--canvas); border: 1px solid var(--rule-soft); border-radius: .4rem; white-space: pre-wrap; overflow-wrap: anywhere; font-size: .8125rem; line-height: 1.7; }
.proof-page .evidence-result-source code { font-size: inherit; white-space: inherit; overflow-wrap: inherit; }
.proof-page .evidence-result-source .meta { margin: .75rem 0 0; color: var(--ink-muted); font-size: .8125rem; }
.proof-page .engineering-figures { margin-top: 3rem; }
.proof-page .release-scope-note { margin-block: 1.5rem; }
.proof-page .evidence-known-limit { margin: 1.5rem 0 0; padding: 1rem 1.25rem; border-left: 3px solid var(--hold-border); background: var(--surface); color: var(--ink-muted); font-size: .9375rem; line-height: 1.7; }
.proof-page .evidence-known-limit strong { color: var(--ink-strong); font-weight: 500; }
.proof-page .release-source-grid > div { border-top: 2px solid var(--rule-strong); padding-top: 1.5rem; }
.proof-page .release-source-grid > div:last-child { border-top-color: var(--hold-border); }
.proof-page .release-source-grid .scene-number { display: block; margin-bottom: .8rem; color: var(--ink-muted); font-size: .8125rem; }
.proof-page .release-source-grid h3 { font-size: 1.5rem; line-height: 1.35; }
.proof-page .proof-shadow-timeline { border-color: var(--rule-soft); }
.proof-page .proof-shadow-timeline .shadow-obligation { padding-block: 1.5rem; }
.proof-page .evidence-timeline { list-style: none; margin: 0; padding: 0 2rem 1rem; }
.proof-page .evidence-timeline > li { position: relative; padding: 0 0 2rem 1.5rem; border-left: 1px solid var(--rule-strong); }
.proof-page .evidence-timeline > li:last-child { padding-bottom: 0; }
.proof-page .evidence-timeline > li::before { content: ""; position: absolute; left: -.25rem; top: .45rem; width: .5rem; height: .5rem; border-radius: 50%; background: var(--ink-muted); }
.proof-page .evidence-time-heading { display: flex; align-items: baseline; flex-wrap: wrap; gap: .5rem 1rem; margin-bottom: 1rem; }
.proof-page .evidence-time-heading .shadow-time { color: var(--ink-strong); font-size: .875rem; }
.proof-page .evidence-time-heading h3 { font-size: 1.25rem; line-height: 1.4; margin: 0; }
.proof-page .evidence-time-label { font-size: .8125rem; line-height: 1.5; color: var(--ink-muted); }
.proof-page .proof-shadow-timeline .shadow-snapshot { border: 1px solid var(--rule-soft); border-radius: .5rem .5rem 0 0; background: var(--canvas); }
.proof-page .proof-shadow-timeline .shadow-snapshot > div { padding: 1.25rem; min-width: 0; }
.proof-page .proof-shadow-timeline .shadow-snapshot .sheet-label { display: block; margin-bottom: .65rem; font-size: .875rem; }
.proof-page .proof-shadow-timeline .shadow-snapshot strong { display: block; font-size: 1.125rem; font-weight: 500; line-height: 1.5; }
.proof-page .proof-shadow-timeline .shadow-snapshot p { font-size: 1rem; line-height: 1.6; }
.proof-page .proof-shadow-timeline .shadow-comparison { border: 1px solid var(--rule-soft); border-top: 0; border-radius: 0 0 .5rem .5rem; }
.proof-page .proof-shadow-timeline .shadow-comparison > div { min-width: 0; padding: 1.5rem 1.25rem; }
.proof-page .proof-shadow-timeline .shadow-comparison .sheet-label { font-size: .875rem; line-height: 1.5; }
.proof-page .proof-shadow-timeline .shadow-comparison strong { font-size: clamp(1.25rem, 3vw, 2.25rem); overflow-wrap: anywhere; }
.proof-page .proof-shadow-timeline .shadow-authority { font-size: .8125rem; }
.proof-page .proof-shadow-timeline .shadow-later { display: block; margin: 0; padding: 1.25rem; border: 1px solid var(--rule-soft); border-radius: .5rem; background: var(--surface-quiet); }
.proof-page .proof-shadow-timeline .shadow-later .sheet-label, .proof-page .proof-shadow-timeline .shadow-later p { font-size: .875rem; line-height: 1.65; }
.proof-page .proof-shadow-timeline .shadow-later strong { font-size: 1.25rem; }
.proof-page .proof-shadow-timeline .shadow-record-limit { border-top: 1px solid var(--rule-soft); font-size: .875rem; line-height: 1.7; }
.proof-page .evidence-case { border-color: var(--rule-soft); border-radius: var(--radius-large); overflow: hidden; }
.proof-page .evidence-case .evidence-verdicts > div:nth-child(n + 3) { background: var(--refuse-bg); }
.proof-page .evidence-case .evidence-verdicts > div:nth-child(n + 3) dt, .proof-page .evidence-case .evidence-verdicts > div:nth-child(n + 3) dd { color: var(--refuse-ink); }
.proof-page .evidence-failure-rule { margin: 0; padding: 1.25rem 2rem; border-bottom: 1px solid var(--rule-soft); color: var(--ink-strong); font-size: 1rem; line-height: 1.7; }
@media (max-width: 63.99rem) {
  .proof-page .evidence-engineering-layout { grid-template-columns: 1fr; gap: 2rem; }
  .proof-page .evidence-engineering-layout h2 { max-width: none; }
  .proof-page .evidence-engineering-layout > .section-heading > p:last-child { max-width: 65ch; }
}
@media (max-width: 47.99rem) {
  .proof-page .evidence-case-picker { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .proof-page .evidence-explorer .failure-cases > article { padding: 1.25rem; }
  .proof-page .evidence-timeline { padding: 0 1.25rem 1rem; }
  .proof-page .evidence-timeline > li { padding-left: 1rem; }
  .proof-page .proof-shadow-timeline .shadow-snapshot > div { padding: 1rem; }
  .proof-page .proof-shadow-timeline .shadow-comparison > div { padding: 1rem .6rem; }
  .proof-page .proof-shadow-timeline .shadow-comparison .sheet-label { font-size: .8125rem; }
  .proof-page .proof-shadow-timeline .shadow-comparison strong { font-size: 1.1875rem; }
  .proof-page .proof-shadow-timeline .shadow-comparison p { font-size: .875rem; }
  .proof-page .proof-shadow-timeline .shadow-authority { font-size: .8125rem; overflow-wrap: anywhere; }
  .proof-page .evidence-failure-rule { padding: 1rem 1.25rem; }
}
@media (max-width: 35.99rem) {
  .proof-page .evidence-flow { grid-template-columns: minmax(0, 1fr); grid-template-rows: auto 1.5rem auto 1.5rem auto 1.5rem auto; }
  .proof-page .evidence-node--prior { grid-column: 1; grid-row: 1; }
  .proof-page .evidence-node--authority { grid-column: 1; grid-row: 3; }
  .proof-page .evidence-node--request { grid-column: 1; grid-row: 5; }
  .proof-page .evidence-node--result { grid-column: 1; grid-row: 7; }
  .proof-page .evidence-link--prior { grid-column: 1; grid-row: 2; align-self: stretch; justify-self: center; height: auto; width: 1px; }
  .proof-page .evidence-link--authority { grid-column: 1; grid-row: 4; }
  .proof-page .evidence-link--request { grid-column: 1; grid-row: 6; align-self: stretch; justify-self: center; height: auto; width: 1px; }
  .proof-page .evidence-link--request span { top: auto; bottom: 3px; right: -2px; }
  .proof-page .is-selected-now .evidence-link--request span { animation-name: evidence-arrival-mobile; }
  @keyframes evidence-arrival-mobile { from { transform: translateY(-1rem); } to { transform: translateY(0); } }
  .proof-page .evidence-node { padding: 1rem; }
}
@media (prefers-reduced-motion: reduce) {
  .proof-page .is-selected-now .evidence-link--request span { animation: none; }
}
@media (forced-colors: active) {
  .proof-page .evidence-node, .proof-page .evidence-case-picker button, .proof-page .evidence-explorer .failure-cases > article { border-color: CanvasText; background: Canvas; color: CanvasText; }
  .proof-page .evidence-case-picker button[aria-pressed="true"] { border: 2px solid Highlight; }
  .proof-page .evidence-node--result { border-left: 3px solid CanvasText; }
}
@media print {
  .proof-page .evidence-engineering-layout { display: block; }
  .proof-page .evidence-case-picker { display: none; }
  .proof-page .evidence-scenario[hidden] { display: block !important; }
  .proof-page .evidence-explorer .failure-cases > article { break-inside: avoid; margin-top: 1.5rem !important; }
  .proof-page .evidence-node--result { border-left-style: double; }
}

/* RC15: separate local populations and an explicitly unrun native gate. */
.evidence-page .engineering-figures { grid-template-columns:repeat(4,minmax(0,1fr)); }
.native-next-proof { padding:1.5rem 0; border-top:1px solid var(--rule-soft); }
.native-next-proof h3 { font-size:1.375rem; line-height:1.3; margin:0 0 1rem; }
.native-next-proof ol { display:grid; grid-template-columns:repeat(2,minmax(0,1fr)); gap:1rem 2rem; padding-left:1.25rem; }
.native-next-proof li,.native-next-proof p { color:var(--ink-muted); font-size:.9375rem; line-height:1.65; }
@media(max-width:59.99rem) { .evidence-page .engineering-figures { grid-template-columns:repeat(2,minmax(0,1fr)); } }
@media(max-width:35.99rem) { .evidence-page .engineering-figures,.native-next-proof ol { grid-template-columns:1fr; } }