.proof-surface { margin-top: clamp(58px,7vw,108px); border: 1px solid var(--rule-strong); background: var(--surface); }
.proof-example-note { padding: 16px 18px; border-bottom: 1px solid var(--rule); color: var(--muted); font-size: 14px; line-height: 1.55; }
.proof-tabs button:focus-visible, .scanner-proof-panel:focus-visible { outline: 2px solid var(--signal-text); outline-offset: -3px; }
.proof-bar { display: flex; min-height: 50px; padding: 0 18px; align-items: center; justify-content: space-between; gap: 24px; border-bottom: 1px solid var(--rule); color: var(--muted); font: 500 11px/1.4 var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.proof-bar span:last-child { color: var(--signal-text); }
.proof-grid { display: grid; grid-template-columns: minmax(270px,.68fr) minmax(0,1.32fr); }
.proof-aside { border-right: 1px solid var(--rule); background: #080809; }
.proof-block { padding: clamp(22px,2.4vw,36px); border-bottom: 1px solid var(--rule); }
.proof-block:last-child { border-bottom: 0; }
.proof-key { margin-bottom: 12px; color: var(--signal-text); font: 500 11px/1.3 var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.proof-question { font-size: clamp(23px,2.2vw,34px); font-weight: 430; letter-spacing: -.035em; line-height: 1.14; }
.proof-context { display: grid; }
.proof-context div { display: grid; padding: 12px 0; grid-template-columns: 90px 1fr; gap: 12px; border-top: 1px solid var(--rule); }
.proof-context dt { color: var(--dim); font: 500 11px/1.4 var(--mono); text-transform: uppercase; }
.proof-context dd { color: var(--muted); font-size: 14px; line-height: 1.45; }
.proof-property { color: var(--muted); font-size: 15px; line-height: 1.58; }
.proof-main { min-width: 0; }
.proof-decision { padding: clamp(26px,3.2vw,50px); border-bottom: 1px solid var(--rule); }
.proof-decision h3 { max-width: 24ch; font-size: clamp(30px,3.2vw,50px); font-weight: 430; letter-spacing: -.045em; line-height: 1.05; }
.proof-decision > p:last-child { max-width: 760px; margin-top: 20px; color: var(--muted); font-size: 16px; line-height: 1.6; }
.proof-outcome { display: grid; grid-template-columns: 1fr 1fr; }
.proof-outcome > section { min-width: 0; padding: clamp(22px,2.4vw,36px); }
.proof-outcome > section + section { border-left: 1px solid var(--rule); }
.proof-code { overflow-x: auto; padding: 18px; border: 1px solid var(--rule); background: #060607; color: #c9c9c6; font: 13px/1.65 var(--mono); white-space: pre; }
.proof-code .remove { color: #d76856; }
.proof-code .add { color: #8aaa91; }
.proof-code .focus { color: var(--ink); }
.proof-tests { list-style: none; }
.proof-tests li { display: grid; padding: 13px 0; grid-template-columns: 58px 1fr; gap: 13px; border-top: 1px solid var(--rule); color: var(--muted); font-size: 14px; line-height: 1.45; }
.proof-tests strong { color: #8aaa91; font: 600 10px/1.4 var(--mono); text-transform: uppercase; }
.proof-boundary { margin-top: 18px; padding-left: 14px; border-left: 2px solid var(--signal); color: var(--muted); font-size: 14px; line-height: 1.55; }
.proof-tabs { display: flex; overflow-x: auto; border-bottom: 1px solid var(--rule); }
.proof-tabs button { min-width: 180px; padding: 17px 20px; border: 0; border-right: 1px solid var(--rule); background: transparent; color: var(--dim); font: 500 11px/1.4 var(--mono); letter-spacing: .08em; text-align: left; text-transform: uppercase; cursor: pointer; }
.proof-tabs button[aria-selected="true"] { color: var(--ink); background: rgba(200,56,26,.08); box-shadow: inset 0 -2px 0 var(--signal); }
.scanner-proof-panel[hidden] { display: none; }
.scanner-proof-grid { display: grid; min-height: 650px; grid-template-columns: 260px minmax(0,.9fr) minmax(340px,1.1fr); }
.scanner-proof-grid > * { min-width: 0; padding: clamp(22px,2.4vw,36px); }
.scanner-proof-grid > * + * { border-left: 1px solid var(--rule); }
.proof-metric { padding: 16px 0; border-top: 1px solid var(--rule); }
.proof-metric strong { display: block; margin-bottom: 5px; font-size: 22px; font-weight: 470; }
.proof-metric span { color: var(--muted); font-size: 13px; line-height: 1.4; }
.proof-path { display: grid; gap: 12px; }
.proof-node { position: relative; padding: 16px; border: 1px solid var(--rule); background: #070708; }
.proof-node + .proof-node::before { position: absolute; top: -18px; left: 18px; color: var(--signal-text); font: 14px/1 var(--mono); content: "↓"; }
.proof-node strong { display: block; font-size: 15px; font-weight: 480; }
.proof-node span { display: block; margin-top: 7px; color: var(--muted); font: 12px/1.5 var(--mono); }
.proof-finding { margin-bottom: 16px; font-size: clamp(28px,2.8vw,42px); font-weight: 430; letter-spacing: -.04em; line-height: 1.06; }
.proof-state { display: inline-flex; margin-bottom: 20px; padding: 5px 8px; background: rgba(200,56,26,.1); color: var(--signal-text); font: 600 10px/1 var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.proof-state.good { color: #8aaa91; background: rgba(138,170,145,.09); }
.proof-evidence { list-style: none; }
.proof-evidence li { padding: 14px 0; border-top: 1px solid var(--rule); }
.proof-evidence strong { display: block; margin-bottom: 6px; font: 600 11px/1.4 var(--mono); }
.proof-evidence span { color: var(--muted); font-size: 14px; line-height: 1.5; }
.proof-disposition { margin-top: 20px; padding: 17px; border-left: 2px solid var(--signal); background: rgba(200,56,26,.08); color: var(--muted); font-size: 14px; line-height: 1.55; }
.proof-disposition strong { color: var(--ink); }
.proof-closure { display: grid; grid-template-columns: repeat(3,1fr); border-top: 1px solid var(--rule); }
.proof-closure > div { padding: 18px 22px; }
.proof-closure > div + div { border-left: 1px solid var(--rule); }
.proof-closure strong { display: block; margin: 7px 0; font-size: 15px; font-weight: 480; }
.proof-closure span { color: var(--muted); font-size: 12px; line-height: 1.45; }

@media (max-width: 900px) {
  .proof-grid { grid-template-columns: 1fr; }
  .proof-aside { border-right: 0; border-bottom: 1px solid var(--rule); }
  .scanner-proof-grid { grid-template-columns: 1fr; }
  .scanner-proof-grid > * + * { border-top: 1px solid var(--rule); border-left: 0; }
}

@media (max-width: 620px) {
  .proof-surface { width: calc(100% - 44px); }
  .proof-tabs { display: grid; grid-template-columns: repeat(3, minmax(0,1fr)); }
  .proof-tabs button { min-width: 0; padding: 14px 9px; font-size: 10px; letter-spacing: 0; overflow-wrap: anywhere; }
  .proof-bar { align-items: flex-start; padding-block: 14px; }
  .proof-bar span:last-child { text-align: right; }
  .proof-outcome { grid-template-columns: 1fr; }
  .proof-outcome > section + section { border-top: 1px solid var(--rule); border-left: 0; }
  .proof-closure { grid-template-columns: 1fr; }
  .proof-closure > div + div { border-top: 1px solid var(--rule); border-left: 0; }
}