/* Lower-page editorial system. Main styles own the header, hero and footer. */
.proof-section { padding: 116px 0; background: var(--paper, #f3f0e9); color: var(--ink, #24302a); scroll-margin-top: 32px; }
.proof-shell { width: min(calc(100% - 144px), 1320px); margin-inline: auto; }
.proof-sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; border: 0; }
.proof-trust { background: var(--paper, #f3f0e9); color: var(--muted, #697069); padding: 24px 0; }
.proof-trust-row { display: flex; justify-content: center; gap: 62px; align-items: center; }
.proof-trust-row > p { margin: 0; font-size: 11px; line-height: 1.5; }
.proof-trust-logos { display: flex; align-items: center; gap: 55px; }
.proof-trust-logos a { display: flex; align-items: center; justify-content: center; min-height: 36px; text-decoration: none; }
.proof-trust-logos img { display: block; object-fit: contain; max-width: 100%; height: auto; filter: grayscale(1) brightness(.42); opacity: .58; }
.proof-logo-tyk { width: 58px; }
.proof-logo-omarchy { width: 124px; }
.proof-name-rsync { color: #697069; font-size: 22px; font-weight: 500; letter-spacing: -.04em; }
.proof-trust a:focus-visible { outline: 2px solid var(--accent, #7fa34e); outline-offset: 5px; }
.proof-section h2, .proof-section h3, .proof-section h4, .proof-section p { margin: 0; }
.proof-section h2, .proof-section h3 { font-family: var(--serif, Georgia, serif); font-weight: 400; }
.proof-section h2 { font-size: clamp(38px, 4.4vw, 64px); line-height: 1.08; letter-spacing: -.045em; }
.proof-section p { line-height: 1.7; }
.proof-section a { color: inherit; text-underline-offset: 5px; }
.proof-section button { font: inherit; color: inherit; }
.proof-section a:focus-visible, .proof-section button:focus-visible, .proof-section summary:focus-visible { outline: 2px solid var(--accent, #7fa34e); outline-offset: 6px; }
.proof-kicker, .proof-small-index, .proof-folio-label, .proof-claim-number { font-size: 10px; letter-spacing: .075em; text-transform: uppercase; }
.proof-kicker { color: var(--muted, #697069); padding-top: 7px; }
.proof-section-intro { display: grid; grid-template-columns: 1fr 2fr; gap: 60px; }
.proof-section-intro > div { max-width: 820px; }
.proof-lead { font-size: 17px; max-width: 620px; margin-top: 24px !important; }
.proof-body-note { margin-top: 20px !important; color: var(--muted, #697069); font-size: 13px; max-width: 460px; }
.proof-small-index { color: var(--muted, #697069); }
/* One editorial field: the intent graph is part of the composition, not a panel. */
.proof-intent { padding: 38px 0 48px; }
.proof-intent-frame { display: grid; grid-template-columns: minmax(0, .9fr) minmax(0, 1.9fr); gap: 42px; align-items: center; min-height: 586px; }
.proof-intent-copy { padding-bottom: 8px; }
.proof-intent-copy .proof-kicker { font-size: 11px; letter-spacing: .035em; text-transform: none; }
.proof-intent-copy h2 { font-size: clamp(35px, 3.35vw, 48px); line-height: 1.1; letter-spacing: -.04em; margin-top: 24px; }
.proof-intent-definition { font-size: 15px; line-height: 1.8 !important; color: var(--muted, #697069); margin-top: 25px !important; max-width: 350px; }
.proof-intent-definition strong { font-weight: 500; color: var(--ink, #24302a); }
.proof-intent-link { display: inline-flex; align-items: center; justify-content: space-between; gap: 35px; font-size: 12px; min-height: 44px; margin-top: 39px; padding-bottom: 5px; border-bottom: 1px solid #8c9586; text-decoration: none; }
.proof-intent-figure { margin: 0; min-width: 0; }
.proof-intent-graph { position: relative; height: 555px; }
.proof-intent-lines, .proof-intent-lines-mobile { position: absolute; inset: 0; width: 100%; height: 100%; overflow: visible; }
.proof-intent-lines-mobile { display: none; }
.proof-intent-lines path, .proof-intent-lines-mobile path { fill: none; stroke: #acb6a2; stroke-width: .85; vector-effect: non-scaling-stroke; }
.proof-intent-change { position: absolute; left: 42%; top: 48%; width: 180px; text-align: center; transform: translate(-50%, -28px); }
.proof-intent-change > span { display: flex; align-items: center; justify-content: center; width: 56px; height: 56px; margin-inline: auto; border-radius: 50%; background: #607b48; color: #fffdf5; font-size: 11px; }
.proof-intent-change p { position: relative; display: inline-block; background: var(--paper, #f3f0e9); font-size: 14px; line-height: 1.5; margin-top: 11px; }
.proof-intent-node { position: absolute; padding-left: 16px; transform: translateY(-10px); }
.proof-intent-node::before { content: ''; position: absolute; top: 7px; left: -3px; width: 6px; height: 6px; border-radius: 50%; background: #8c9786; }
.proof-intent-node h3 { font-family: var(--sans, Arial, sans-serif); font-size: 14px; font-weight: 500; letter-spacing: -.02em; line-height: 1.45; text-wrap: initial; }
.proof-intent-node p { color: var(--muted, #697069); font-size: 14px; line-height: 1.5; margin-top: 6px; }
.proof-intent-requirement { left: 18%; top: 18%; width: 42%; }
.proof-intent-hazard { left: 72%; top: 29%; width: 28%; }
.proof-intent-code { left: 7%; top: 72%; width: 38%; }
.proof-intent-verification { left: 56%; top: 80%; width: 44%; }
.proof-intent-verification .proof-intent-methods { font-size: 14px; line-height: 1.6; margin-top: 11px; color: #52634a; }
.proof-intent-edge { position: absolute; background: var(--paper, #f3f0e9); padding: 0 5px; color: #7f8878; font-size: 10px; line-height: 1.4; }
.proof-intent-preserves { left: 23%; top: 31%; }
.proof-intent-exposes { left: 57%; top: 37%; }
.proof-intent-affects { left: 18%; top: 60%; }
.proof-intent-checks { left: 59%; top: 64%; }
.proof-intent-figure figcaption { margin-top: 34px; color: var(--muted, #697069); font-size: 10px; text-align: right; }

/* The object is a single reading aid, with controls kept beside its context. */
.proof-surface { padding-top: 60px; padding-bottom: 90px; }
.proof-surface-grid { display: grid; grid-template-columns: .92fr 1.08fr; gap: 56px; align-items: center; padding-top: 74px; border-top: 1px solid var(--line, #d3d2c8); }
.proof-surface-copy h2 { margin-top: 24px; }
.proof-surface-copy .proof-lead { max-width: 430px; }
.proof-sphere-figure { min-width: 0; margin: 0; }
.proof-sphere-scene { position: relative; width: 100%; aspect-ratio: 1.08; min-height: 280px; }
#proof-sphere { display: block; width: 100%; height: 100%; position: absolute; inset: 0; }
#proof-sphere[hidden] { display: none; }
.proof-sphere-callouts { position: absolute; inset: 0; width: 100%; height: 100%; pointer-events: none; opacity: 0; transition: opacity .35s ease; }
.proof-sphere-scene[data-stage="2"][data-cutaway-ready="true"] .proof-sphere-callouts { opacity: 1; }
.proof-callout-halos path { fill: none; stroke: #f3f0e9; stroke-opacity: .88; stroke-width: 3; stroke-linecap: round; stroke-linejoin: round; vector-effect: non-scaling-stroke; }
.proof-callout-lines path { fill: none; stroke: #536650; stroke-width: 1; vector-effect: non-scaling-stroke; marker-end: url(#sphere-arrowhead); }
#sphere-arrowhead path { fill: none; stroke: #536650; stroke-width: 1.6; }
#sphere-arrowhead .proof-arrow-halo { stroke: #f3f0e9; stroke-opacity: .88; stroke-width: 5; stroke-linejoin: round; }
.proof-callout-name { font-size: 27px; font-weight: 500; fill: var(--ink, #24302a); }
.proof-callout-copy { font-size: 21px; fill: var(--muted, #697069); }
.proof-sphere-scene[data-paused="true"] .proof-sphere-callouts { transition: none; }
.proof-sphere-caption { padding-top: 22px; border-top: 1px solid var(--line, #d3d2c8); }
.proof-sphere-caption h3 { font-size: 22px; letter-spacing: -.025em; }
.proof-sphere-caption p { color: var(--muted, #697069); font-size: 12px; margin-top: 8px; }
.proof-art-note { color: var(--muted, #697069); font-size: 10px; margin-top: 18px !important; text-align: right; }
.proof-sphere-footer { display: flex; justify-content: space-between; align-items: center; flex-wrap: wrap; gap: 6px 20px; margin-top: 16px; }
.proof-sphere-footer .proof-motion-tools { margin-top: 0; }
.proof-sphere-footer .proof-art-note { margin-top: 0 !important; }
.proof-stage-controls { display: flex; gap: 20px; margin-top: 35px; max-width: 400px; }
.proof-stage-controls button { background: none; border: 0; border-bottom: 1px solid var(--line, #d3d2c8); padding: 10px 0; flex: 1; text-align: left; font-size: 12px; cursor: pointer; }
.proof-stage-controls button[aria-pressed="true"] { border-bottom-color: var(--accent, #7fa34e); box-shadow: 0 1px 0 var(--accent, #7fa34e); }
.proof-stage-controls button:hover { border-bottom-color: var(--ink, #24302a); }
.proof-motion-tools { display: flex; flex-wrap: wrap; gap: 22px; margin-top: 20px; }
.proof-motion-tools button { background: none; padding: 0; border: 0; border-bottom: 1px solid transparent; cursor: pointer; font-size: 10px; color: var(--muted, #697069); }
.proof-motion-tools button:hover { border-bottom-color: currentColor; }
.proof-motion-tools button:disabled { cursor: default; opacity: .65; }
.proof-motion-tools button[hidden] { display: none; }
.sphere-fallback { position: absolute; inset: 0; }
.proof-sphere-scene[data-renderer="webgl"] .sphere-fallback { display: none; }
.sphere-fallback > svg { display: block; width: 100%; height: 100%; }
.fallback-cutaway, .fallback-dot { display: none; }
.proof-sphere-scene[data-stage="0"] .fallback-body, .proof-sphere-scene[data-stage="0"] .fallback-shadow { display: none; }
.proof-sphere-scene[data-stage="0"] .fallback-dot, .proof-sphere-scene[data-stage="2"] .fallback-cutaway { display: inline; }
.proof-sphere-scene[data-renderer="fallback"] .proof-sphere-callouts { transition: none; }

/* A concise folio, not a dashboard. Keep all blockers next to their claims. */
.proof-evidence { background: #e9e9df; }
.proof-folio { margin-top: 58px; background: #f9f7f0; border-top: 2px solid var(--ink, #24302a); padding: 30px 36px 22px; }
.proof-folio-top, .proof-folio-title, .proof-folio-foot { display: flex; justify-content: space-between; align-items: center; gap: 24px; }
.proof-folio-label { color: var(--muted, #697069); font-size: 9px; }
.proof-example-switch { display: flex; gap: 18px; }
.proof-example-switch button { font-size: 10px; padding: 5px 0; border: 0; border-bottom: 1px solid transparent; background: none; cursor: pointer; color: var(--muted, #697069); }
.proof-example-switch button[aria-pressed="true"] { color: var(--ink, #24302a); border-bottom-color: var(--ink, #24302a); }
.proof-folio-title { padding: 25px 0 30px; border-bottom: 1px solid var(--line, #d3d2c8); }
.proof-folio-title h3 { font-size: clamp(28px, 3vw, 41px); letter-spacing: -.035em; }
.proof-evidence-state { font-size: 10px; white-space: nowrap; padding-left: 15px; position: relative; }
.proof-evidence-state::before { content: ''; width: 5px; height: 5px; border-radius: 50%; background: var(--accent, #7fa34e); position: absolute; left: 0; top: .55em; }
.proof-evidence-state.is-missing::before { background: #946b35; }
.proof-folio-grid { display: grid; grid-template-columns: 1.75fr 1fr; gap: 50px; }
.proof-claim { display: grid; grid-template-columns: 22px 1fr auto; gap: 14px; align-items: start; padding: 25px 0; border-bottom: 1px solid var(--line, #d3d2c8); }
.proof-claim:last-child { border-bottom: 0; }
.proof-claim-number { color: var(--muted, #697069); font-size: 9px; margin-top: 4px; }
.proof-claim h4 { font-size: 14px; font-weight: 500; line-height: 1.5; }
.proof-claim p { font-size: 12px; line-height: 1.65; margin-top: 6px; color: var(--muted, #697069); max-width: 420px; }
.proof-result { font-size: 9px; color: var(--muted, #697069); padding-top: 4px; white-space: nowrap; }
.proof-result.is-missing { color: #805828; }
.proof-decision { padding: 29px 0 20px; }
.proof-decision h4 { font-family: var(--serif, Georgia, serif); font-weight: 400; font-size: 25px; letter-spacing: -.025em; line-height: 1.2; margin-top: 19px; }
.proof-decision > p { font-size: 12px; color: var(--muted, #697069); margin-top: 11px; }
.proof-scope-note { margin-top: 26px; border-left: 1px solid var(--line, #d3d2c8); padding-left: 15px; }
.proof-scope-note > span { font-size: 8px; letter-spacing: .07em; color: var(--muted, #697069); }
.proof-scope-note p { font-size: 11px; margin-top: 8px; }
.proof-evidence-blocker { border-left: 2px solid #946b35; background: #eee8d9; padding: 17px 20px; font-size: 12px; margin: 5px 0 25px !important; }
.proof-evidence-blocker[hidden] { display: none; }
.proof-evidence-blocker b { display: block; font-weight: 500; margin-bottom: 4px; }
.proof-evidence-details { border-top: 1px solid var(--line, #d3d2c8); }
.proof-evidence-details summary, .proof-public-limits summary { display: flex; justify-content: space-between; gap: 18px; cursor: pointer; list-style: none; padding: 20px 0; font-size: 12px; }
.proof-evidence-details summary::-webkit-details-marker, .proof-public-limits summary::-webkit-details-marker { display: none; }
.proof-evidence-details[open] summary > span, .proof-public-limits[open] summary > span { transform: rotate(45deg); }
.proof-details-grid { display: grid; grid-template-columns: 1.1fr 1fr; gap: 50px; padding: 10px 0 24px; }
.proof-details-grid h4 { font-size: 13px; font-weight: 500; }
.proof-details-grid p { font-size: 12px; color: var(--muted, #697069); margin-top: 10px; }
.proof-details-grid pre { overflow-x: auto; font-size: 10px; line-height: 1.8; padding: 15px 0 0; margin: 0; }
.proof-folio-foot { padding-top: 20px; border-top: 1px solid var(--line, #d3d2c8); color: var(--muted, #697069); font-size: 9px; }
.proof-folio-foot a { color: var(--ink, #24302a); text-decoration: none; }

/* Method rows use typography and rhythm rather than another set of cards. */
.proof-method-list { margin-top: 62px; border-top: 1px solid var(--line, #d3d2c8); }
.proof-method { display: grid; grid-template-columns: 80px 1.1fr 1fr; gap: 28px; padding: 31px 0; border-bottom: 1px solid var(--line, #d3d2c8); align-items: start; }
.proof-method > span { color: var(--muted, #697069); font-size: 10px; padding-top: 9px; }
.proof-method h3 { font-size: clamp(26px, 2.8vw, 39px); letter-spacing: -.035em; }
.proof-method p { font-size: 14px; color: var(--muted, #697069); max-width: 470px; }
.proof-method-sources { display: grid; grid-template-columns: 1fr 1fr; gap: 70px; margin-top: 28px; }
.proof-method-sources p { font-size: 11px; color: var(--muted, #697069); max-width: 570px; }
.proof-method-sources > div { display: flex; flex-wrap: wrap; align-content: start; justify-content: flex-end; gap: 14px 24px; font-size: 10px; padding-top: 3px; }
.proof-method-sources a { text-decoration: none; }

/* A retained thread: the lines recur, but there is no implied success badge. */
.proof-memory { background: var(--forest, #1b2823); color: var(--paper, #f3f0e9); padding-bottom: 76px; }
.proof-memory-intro { display: grid; grid-template-columns: .6fr 1.2fr 1fr; gap: 50px; align-items: start; }
.proof-memory .proof-kicker, .proof-memory .proof-small-index { color: #a0aa9a; }
.proof-memory-intro > p:last-child { font-size: 15px; color: #b7bfb3; padding-top: 7px; }
.proof-memory-flow { position: relative; display: grid; grid-template-columns: repeat(4, 1fr); gap: 30px; margin-top: 65px; padding-top: 130px; }
.proof-memory-lines { width: 100%; height: 140px; position: absolute; top: 0; left: 0; overflow: visible; }
.proof-memory-lines path { fill: none; stroke: #78966b; stroke-width: .7; opacity: .45; vector-effect: non-scaling-stroke; }
.proof-memory-flow > div { position: relative; padding-top: 25px; border-top: 1px solid #5c6a5a; }
.proof-flow-dot { display: block; position: absolute; height: 5px; width: 5px; background: var(--accent, #7fa34e); border-radius: 50%; left: 0; top: -3px; }
.proof-memory-flow h3 { margin-top: 19px; font-size: 30px; letter-spacing: -.03em; }
.proof-memory-flow p { color: #b7bfb3; font-size: 12px; margin-top: 9px; }
.proof-memory-foot { text-align: right; color: #a0aa9a; font-size: 11px; margin-top: 53px !important; }

.proof-public { padding-bottom: 95px; }
.proof-public-grid { display: grid; grid-template-columns: 1.1fr 1fr; gap: 95px; }
.proof-public h2 { margin-top: 24px; }
.proof-public .proof-lead { max-width: 500px; }
.proof-public-record { border-top: 1px solid var(--ink, #24302a); padding-top: 20px; margin-top: 7px; min-width: 0; }
.proof-code-observation { padding: 25px 0 22px; border-bottom: 1px solid var(--line, #d3d2c8); }
.proof-code-observation > span { font-size: 9px; color: var(--muted, #697069); display: block; letter-spacing: .05em; margin-bottom: 14px; }
.proof-code-observation > code { font-size: clamp(12px, 1.45vw, 18px); word-break: break-word; }
.proof-code-observation p { font-size: 12px; margin-top: 12px; color: var(--muted, #697069); }
.proof-record-links { display: flex; gap: 26px; font-size: 11px; padding: 22px 0; }
.proof-record-links a { text-decoration: none; }
.proof-public-limits { border-top: 1px solid var(--line, #d3d2c8); }
.proof-public-limits p { font-size: 12px; color: var(--muted, #697069); margin-bottom: 15px; }
.proof-public-limits > a { font-size: 11px; }
.proof-public-additional { grid-column: 1 / -1; display: flex; align-items: baseline; flex-wrap: wrap; gap: 12px 27px; border-top: 1px solid var(--line, #d3d2c8); padding-top: 22px; font-size: 11px; color: var(--muted, #697069); }
.proof-public-additional a { color: var(--ink, #24302a); text-decoration: none; }

.proof-contact { padding-top: 0; padding-bottom: 115px; }
.proof-contact-inner { border-top: 1px solid var(--line, #d3d2c8); padding-top: 82px; text-align: center; }
.proof-contact h2 { font-size: clamp(57px, 7.5vw, 108px); margin-top: 23px; }
.proof-contact-inner > p:not(.proof-kicker) { font-size: 16px; color: var(--muted, #697069); margin-top: 23px; }
.proof-contact-action { display: inline-flex; gap: 45px; align-items: center; margin-top: 32px; padding: 16px 23px; background: var(--forest, #1b2823); color: var(--paper, #f3f0e9) !important; text-decoration: none; font-size: 14px; }
.proof-contact-action:hover { background: #304036; }
.proof-contact-note { display: block; color: var(--muted, #697069); margin-top: 18px; font-size: 11px; }

@media (min-width: 1600px) { .proof-surface-grid { gap: 100px; } }
@media (max-width: 1100px) {
  .proof-shell { width: calc(100% - 96px); }
  .proof-trust-row { gap: 40px; }
  .proof-trust-logos { gap: 38px; }
  .proof-section { padding-top: 90px; padding-bottom: 90px; }
  .proof-section-intro { grid-template-columns: .7fr 1.6fr; gap: 35px; }
  .proof-intent { padding-top: 35px; padding-bottom: 45px; }
  .proof-intent-frame { gap: 30px; grid-template-columns: minmax(0, .85fr) minmax(0, 1.8fr); }
  .proof-intent-copy h2 { font-size: 35px; }
  .proof-intent-definition { font-size: 14px; }
  .proof-intent-graph { height: 585px; }
  .proof-intent-node h3, .proof-intent-node p { font-size: 13px; }
  .proof-intent-verification .proof-intent-methods { font-size: 13px; }
  .proof-surface { padding-top: 30px; }
  .proof-surface-grid { gap: 25px; padding-top: 55px; }
  .proof-surface-copy h2 { font-size: 43px; }
  .proof-surface-copy .proof-lead { font-size: 15px; }
  .proof-callout-name { font-size: 32px; }
  .proof-callout-copy { font-size: 25px; }
  .proof-sphere-caption h3 { font-size: 19px; }
  .proof-folio { padding: 26px; }
  .proof-folio-grid { gap: 30px; grid-template-columns: 1.4fr 1fr; }
  .proof-claim { grid-template-columns: 18px 1fr; column-gap: 9px; }
  .proof-result { grid-column: 2; padding-top: 0; }
  .proof-method { grid-template-columns: 50px 1fr 1.2fr; gap: 22px; }
  .proof-memory-intro { grid-template-columns: 1.2fr 1fr; gap: 25px; }
  .proof-memory-intro .proof-kicker { grid-column: 1 / -1; margin-bottom: 4px; }
  .proof-public-grid { gap: 50px; }
  .proof-contact { padding-top: 0; }
}
@media (max-width: 760px) {
  .proof-shell { width: calc(100% - 48px); }
  .proof-trust { padding: 21px 0; }
  .proof-trust-row { flex-direction: column; gap: 13px; }
  .proof-trust-row > p { font-size: 10px; }
  .proof-trust-logos { justify-content: center; gap: 30px; width: 100%; }
  .proof-trust-logos a { min-width: 0; min-height: 32px; }
  .proof-logo-tyk { width: 50px; }
  .proof-logo-omarchy { width: 107px; }
  .proof-name-rsync { font-size: 20px; }
  .proof-section { padding: 72px 0; scroll-margin-top: 16px; }
  .proof-section h2 { font-size: clamp(36px, 6.2vw, 48px); }
  .proof-section-intro { grid-template-columns: 1fr; gap: 26px; }
  .proof-lead { font-size: 16px; margin-top: 20px !important; }
  .proof-intent { padding-top: 57px; padding-bottom: 62px; }
  .proof-intent-frame { display: block; min-height: 0; }
  .proof-intent-copy { max-width: 490px; padding: 0; }
  .proof-intent-copy h2 { font-size: clamp(35px, 6.2vw, 45px); margin-top: 22px; }
  .proof-intent-definition { font-size: 15px; max-width: 460px; margin-top: 22px !important; }
  .proof-intent-link { margin-top: 24px; }
  .proof-intent-figure { max-width: 520px; margin: 45px auto 0; }
  .proof-intent-graph { height: 680px; }
  .proof-intent-lines { display: none; }
  .proof-intent-lines-mobile { display: block; }
  .proof-intent-change { left: 18%; top: 43%; width: 120px; transform: translate(-50%, -24px); }
  .proof-intent-change > span { width: 48px; height: 48px; font-size: 10px; }
  .proof-intent-change p { font-size: 14px; }
  .proof-intent-node h3, .proof-intent-node p { font-size: 14px; }
  .proof-intent-requirement { left: 36%; top: 3%; width: 64%; }
  .proof-intent-hazard { left: 52%; top: 29%; width: 48%; }
  .proof-intent-code { left: 40%; top: 57%; width: 60%; }
  .proof-intent-verification { left: 25%; top: 80%; width: 75%; }
  .proof-intent-verification .proof-intent-methods { font-size: 14px; line-height: 1.5; }
  .proof-intent-preserves { left: 23%; top: 22%; }
  .proof-intent-exposes { left: 39%; top: 38%; }
  .proof-intent-affects { left: 30%; top: 51%; }
  .proof-intent-checks { left: 9%; top: 69%; }
  .proof-intent-figure figcaption { margin-top: 32px; font-size: 10px; line-height: 1.6; text-align: left; max-width: 280px; }
  .proof-surface { padding-top: 0; }
  .proof-surface-grid { grid-template-columns: 1fr; gap: 26px; padding-top: 55px; }
  .proof-surface-copy h2 { margin-top: 24px; }
  .proof-surface-copy .proof-lead { font-size: 16px; max-width: 500px; }
  .proof-stage-controls { margin-top: 24px; gap: 24px; }
  .proof-stage-controls button { min-height: 44px; }
  .proof-motion-tools { margin-top: 18px; }
  .proof-motion-tools button { font-size: 12px; min-height: 44px; }
  .proof-sphere-figure { width: min(100%, 540px); margin-inline: auto; }
  .proof-sphere-scene { min-height: 0; aspect-ratio: 1.05; }
  .proof-callout-name { font-size: 42px; }
  .proof-callout-copy { font-size: 34px; }
  .proof-sphere-caption { padding-top: 18px; }
  .proof-sphere-caption h3 { font-size: 22px; }
  .proof-folio { margin-top: 37px; padding: 21px; }
  .proof-folio-top { display: block; }
  .proof-example-switch { margin-top: 16px; gap: 25px; }
  .proof-example-switch button { font-size: 12px; min-height: 44px; }
  .proof-folio-title { display: block; padding: 23px 0; }
  .proof-folio-title h3 { font-size: 31px; line-height: 1.12; }
  .proof-evidence-state { display: inline-block; margin-top: 16px; }
  .proof-folio-grid { grid-template-columns: 1fr; gap: 0; }
  .proof-claim { padding: 22px 0; }
  .proof-claim h4 { font-size: 14px; }
  .proof-claim:last-child { border-bottom: 1px solid var(--line, #d3d2c8); }
  .proof-decision { padding: 27px 0; }
  .proof-decision h4 { margin-top: 13px; }
  .proof-scope-note { margin-top: 18px; }
  .proof-details-grid { grid-template-columns: 1fr; gap: 25px; }
  .proof-evidence-details summary { font-size: 11px; }
  .proof-folio-foot { display: block; line-height: 1.8; }
  .proof-folio-foot a { display: block; margin-top: 10px; }
  .proof-method-list { margin-top: 40px; }
  .proof-method { grid-template-columns: 28px 1fr; gap: 10px 14px; padding: 25px 0; }
  .proof-method > span { grid-row: 1 / 3; padding-top: 6px; }
  .proof-method h3 { font-size: 29px; }
  .proof-method p { grid-column: 2; font-size: 14px; }
  .proof-method-sources { grid-template-columns: 1fr; gap: 15px; }
  .proof-method-sources > div { justify-content: flex-start; line-height: 1.6; }
  .proof-memory-intro { grid-template-columns: 1fr; gap: 24px; }
  .proof-memory-intro .proof-kicker { margin: 0; }
  .proof-memory-intro > p:last-child { padding-top: 0; }
  .proof-memory-flow { grid-template-columns: 1fr 1fr; gap: 32px 24px; padding-top: 90px; margin-top: 25px; }
  .proof-memory-lines { height: 85px; }
  .proof-memory-flow > div { padding-top: 19px; }
  .proof-memory-flow h3 { font-size: 28px; margin-top: 13px; }
  .proof-memory-flow p { font-size: 11px; }
  .proof-memory-foot { text-align: left; margin-top: 35px !important; }
  .proof-public-grid { grid-template-columns: 1fr; gap: 35px; }
  .proof-public-record { margin-top: 0; }
  .proof-code-observation > code { font-size: 15px; }
  .proof-contact { padding-top: 0; }
  .proof-contact-inner { padding-top: 60px; }
  .proof-contact h2 { font-size: clamp(48px, 10vw, 70px); }
  .proof-contact-inner > p:not(.proof-kicker) { font-size: 15px; }
  .proof-contact-inner br { display: none; }
}
@media (max-width: 360px) {
  .proof-shell { width: calc(100% - 40px); }
  .proof-folio { padding-inline: 16px; }
  .proof-sphere-caption h3 { font-size: 20px; }
  .proof-stage-controls { gap: 16px; }
  .proof-contact-action { padding-inline: 17px; gap: 25px; font-size: 13px; }
}
@media (prefers-reduced-motion: reduce) {
  .proof-section *, .proof-section *::before, .proof-section *::after { transition: none !important; animation: none !important; scroll-behavior: auto !important; }
}