.proof-workspace { width: 100%; }
.proof-head h2 { max-width: 900px; }
.proof-diagnosis-panel { border-color: rgba(255, 198, 109, .3); background: linear-gradient(120deg, rgba(45, 32, 18, .72), rgba(14, 27, 46, .9)); }
.proof-diagnosis-grid { display: grid; grid-template-columns: repeat(6, minmax(0, 1fr)); gap: 9px; }
.proof-diagnosis-grid > div { min-height: 90px; padding: 13px; border-left: 2px solid var(--amber); background: rgba(255, 198, 109, .055); }
.proof-diagnosis-grid span, .proof-diagnosis-grid small { display: block; color: var(--muted); font-size: 9px; line-height: 1.45; }
.proof-diagnosis-grid strong { display: block; margin: 7px 0 4px; color: var(--amber); font-size: 22px; letter-spacing: -.045em; }
.proof-explanation { margin-top: 13px; padding: 13px 15px; border: 1px solid rgba(255, 198, 109, .18); background: rgba(5, 12, 24, .38); color: #d8c9aa; font-size: 11px; line-height: 1.65; }
.proof-config { margin: 14px 0; }
.proof-config input, .proof-config select { border-color: rgba(67, 217, 255, .34); background: rgba(11, 42, 64, .78); }
.proof-actions { margin-top: 17px; flex-wrap: wrap; }
.proof-tabs { position: sticky; top: 0; z-index: 5; display: flex; gap: 7px; overflow-x: auto; margin: 16px 0 12px; padding: 10px; border: 1px solid var(--line); background: rgba(6, 11, 20, .94); backdrop-filter: blur(12px); }
.proof-panel { display: none; }
.proof-panel.active { display: block; animation: rise .22s ease; }
.proof-strategy-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 12px; }
.proof-strategy-card { border: 1px solid var(--line); background: rgba(14, 27, 46, .8); padding: 18px; }
.proof-strategy-card.is-blocked { border-color: rgba(255, 198, 109, .34); }
.proof-strategy-card header { display: flex; align-items: flex-start; justify-content: space-between; gap: 12px; }
.proof-strategy-card h3 { margin: 5px 0 0; font-size: 16px; }
.proof-strategy-card p { color: #c8d8e9; font-size: 11px; line-height: 1.55; }
.proof-formula-block { display: grid; gap: 8px; margin: 13px 0; }
.proof-formula-line { padding: 11px 12px; border-left: 2px solid var(--cyan); background: rgba(67, 217, 255, .055); }
.proof-formula-line span { display: block; color: var(--muted); font-size: 8px; letter-spacing: .11em; text-transform: uppercase; }
.proof-formula-line code { display: block; margin-top: 6px; color: #d8effa; font: 11px/1.55 ui-monospace, SFMono-Regular, Consolas, monospace; white-space: normal; overflow-wrap: anywhere; }
.proof-behavior-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 8px; }
.proof-behavior-grid div { padding: 10px; border: 1px solid rgba(144, 181, 219, .1); background: rgba(255, 255, 255, .022); }
.proof-behavior-grid b { display: block; color: var(--cyan); font-size: 9px; }
.proof-behavior-grid span { display: block; margin-top: 5px; color: var(--muted); font-size: 10px; line-height: 1.45; }
.proof-risk-note { margin-top: 10px; color: #d9c18f; font-size: 10px; line-height: 1.5; }
.proof-toolbar { display: flex; justify-content: space-between; align-items: flex-end; gap: 18px; margin-bottom: 12px; }
.proof-toolbar h3 { margin: 6px 0 0; }
.proof-toolbar label { min-width: 260px; }
.proof-inline-filters { display: flex; gap: 9px; }
.proof-result-cards { grid-template-columns: repeat(4, minmax(0, 1fr)); }
.proof-result-cards .stat-card { min-height: 92px; }
.proof-wide-table { max-height: 68vh; overflow: auto; }
.proof-wide-table table { min-width: 1080px; }
.proof-wide-table thead th, .proof-sheet-grid thead th, .proof-embedded-sheet thead th { position: sticky; top: 0; z-index: 2; background: #0b1f36; }
.proof-table-positive { color: var(--green); font-weight: 700; }
.proof-table-negative { color: var(--red); font-weight: 700; }
.proof-table-warning { color: var(--amber); font-weight: 700; }
.proof-selected-row { background: rgba(67, 217, 255, .065); box-shadow: inset 2px 0 var(--cyan); }
.proof-sheet-panel { padding: 14px; }
.proof-sheet-grid { max-height: 72vh; min-height: 62vh; overflow: auto; border: 1px solid var(--line); background: #07101d; }
.proof-sheet-grid table { min-width: 1650px; }
.proof-sheet-grid td, .proof-embedded-sheet td { font-family: ui-monospace, SFMono-Regular, Consolas, monospace; font-size: 10px; white-space: nowrap; }
.proof-sheet-grid tr:hover td, .proof-embedded-sheet tr:hover td { background: rgba(67, 217, 255, .045); }
.proof-dependency-flow { display: grid; grid-template-columns: repeat(7, minmax(120px, 1fr)); gap: 8px; overflow-x: auto; }
.proof-dependency-step { position: relative; min-height: 112px; padding: 13px; border-top: 2px solid var(--cyan); background: rgba(67, 217, 255, .045); }
.proof-dependency-step:not(:last-child):after { content: "›"; position: absolute; right: -8px; top: 42%; z-index: 1; color: var(--purple); font-size: 20px; }
.proof-dependency-step i { display: block; color: var(--cyan); font-style: normal; font-size: 9px; }
.proof-dependency-step b { display: block; margin-top: 8px; font-size: 11px; }
.proof-dependency-step span { display: block; margin-top: 6px; color: var(--muted); font-size: 9px; line-height: 1.45; }
.proof-native-panel { min-height: 82vh; }
.proof-sheet-tabs { display: flex; gap: 6px; overflow-x: auto; margin-bottom: 9px; }
.proof-sheet-tab { flex: 0 0 auto; padding: 8px 11px; border: 1px solid var(--line); background: rgba(255,255,255,.025); color: var(--muted); font-size: 10px; }
.proof-sheet-tab.active { color: var(--cyan); border-color: rgba(67,217,255,.38); background: var(--cyan-soft); }
.proof-embedded-sheet { width: 100%; height: 68vh; overflow: auto; border: 1px solid rgba(67,217,255,.2); background: #f8fbfd; color: #17324d; }
.proof-embedded-sheet table { width: 100%; min-width: 1200px; border-collapse: collapse; }
.proof-embedded-sheet th { color: #dff5fb; border-color: #25415c; }
.proof-embedded-sheet td { color: #17324d; border: 1px solid #d7e2ea; background: #fff; }
.proof-embedded-sheet .sheet-title td { background: #173b61; color: #fff; font-family: Inter, sans-serif; font-size: 16px; font-weight: 800; }
.proof-embedded-sheet .sheet-input { background: #dff5fb; color: #0b5272; font-weight: 700; }
.proof-embedded-sheet .sheet-formula { background: #f3f6f8; color: #394b5d; }
.proof-embedded-sheet .sheet-warning { background: #fff0c7; color: #784b00; }
.proof-embedded-sheet .sheet-positive { background: #dff3e6; color: #11603b; }

@media (max-width: 1250px) {
  .proof-diagnosis-grid { grid-template-columns: repeat(3, 1fr); }
  .proof-dependency-flow { grid-template-columns: repeat(4, minmax(150px, 1fr)); }
}

@media (max-width: 900px) {
  .proof-strategy-grid { grid-template-columns: 1fr; }
  .proof-result-cards { grid-template-columns: repeat(2, 1fr); }
  .proof-toolbar { align-items: stretch; flex-direction: column; }
  .proof-toolbar label { min-width: 0; }
  .proof-inline-filters { width: 100%; flex-direction: column; }
  .proof-dependency-flow { grid-template-columns: repeat(7, minmax(150px, 1fr)); }
}

@media (max-width: 520px) {
  .proof-diagnosis-grid { grid-template-columns: repeat(2, 1fr); }
  .proof-result-cards { grid-template-columns: 1fr; }
  .proof-behavior-grid { grid-template-columns: 1fr; }
  .proof-actions { align-items: stretch; flex-direction: column; }
  .proof-actions .button { width: 100%; }
  .proof-native-panel { min-height: 76vh; }
  .proof-embedded-sheet { height: 58vh; }
}