.proof-lab{width:min(1080px,100% - 40px);color:var(--ink);margin:0 auto;padding:36px 0 76px}.proof-head{max-width:76ch;margin:16px 0 24px}.proof-head h1{letter-spacing:-.04em;margin:8px 0 12px;font-size:clamp(28px,4vw,42px);line-height:1.13}.proof-lab p{color:var(--ink-soft);line-height:1.65}.proof-head p{margin:8px 0}.proof-scope{border:1px solid var(--line);background:var(--soft);border-radius:9px;padding:10px 12px;font-size:13px}.proof-index-grid,.proof-flow{grid-template-columns:repeat(3,minmax(0,1fr));gap:16px;display:grid}.proof-index-grid h2,.proof-flow h2{margin:0;font-size:17px;line-height:1.35}.proof-flow h2{align-items:center;gap:8px;display:flex}.proof-index-grid p,.proof-flow p{margin:0}.proof-index-grid img{width:100%;height:auto;display:block}.proof-diagram{border-radius:16px;width:min(100%,780px);height:auto;margin:0 auto 22px;display:block}.proof-link,.proof-primary{min-height:42px;color:var(--brand-text);align-items:center;gap:7px;font-size:14px;font-weight:600;text-decoration:none;display:inline-flex}.proof-primary{background:var(--app-accent-fill);color:var(--app-on-accent-fill);border-radius:10px;padding:10px 16px}.proof-link:hover{text-decoration:underline}.proof-link:focus-visible{outline:3px solid var(--brand);outline-offset:4px}.proof-primary:focus-visible{outline:3px solid var(--brand);outline-offset:4px}.proof-lab summary:focus-visible{outline:3px solid var(--brand);outline-offset:4px}.proof-section{max-width:84ch;margin-top:30px}.proof-section h2,.proof-evidence-body h2{letter-spacing:-.02em;margin:0 0 8px;font-size:21px}.proof-section p{margin:8px 0}.proof-section blockquote{border-left:3px solid var(--brand);background:var(--soft);border-radius:0 12px 12px 0;margin:16px 0;padding:14px 18px;line-height:1.5}.proof-section blockquote span{color:var(--muted);margin-bottom:5px;font-size:13px;display:block}.proof-table-wrap{max-width:100%;overflow-x:auto}.proof-lab table{border-collapse:collapse;width:100%;font-size:14px}.proof-lab th,.proof-lab td{text-align:left;border-bottom:1px solid var(--line);padding:11px 12px}.proof-lab thead{background:var(--soft)}.proof-repair{background:var(--soft);border:1px solid var(--line);border-radius:12px;padding:20px}.proof-pass{align-items:flex-start;gap:8px;font-size:14px;display:flex}.proof-pass svg{color:var(--app-success);flex-shrink:0;margin-top:2px}.proof-evidence{border:1px solid var(--line);background:var(--surface);border-radius:12px;margin-top:26px}.proof-lab summary{cursor:pointer;padding:14px 16px;font-size:14px;font-weight:600;line-height:1.5}.proof-evidence-body{padding:8px 20px 20px}.proof-evidence-body h3{margin:22px 0 8px;font-size:16px}.proof-evidence-body li{line-height:1.65}.proof-fields{margin:14px 0}.proof-fields>div{border-bottom:1px solid var(--line);padding:12px 0}.proof-fields dt{overflow-wrap:anywhere;font-size:14px;font-weight:600}.proof-fields dd{white-space:pre-wrap;color:var(--ink-soft);margin:5px 0 0;font-size:14px;line-height:1.65}.proof-output{border:1px solid var(--line);border-radius:10px;margin-top:12px}.proof-output>div{padding:0 16px 16px}.proof-lab pre{background:var(--soft);white-space:pre-wrap;overflow-wrap:anywhere;border-radius:8px;padding:16px;font-size:13px;line-height:1.6}.proof-hash{overflow-wrap:anywhere;font-size:12px}.proof-actions{flex-wrap:wrap;align-items:center;gap:18px;margin-top:24px;display:flex}.proof-case-kind{color:var(--muted);padding-top:8px;font-size:12px}.proof-worked{min-width:0}.proof-worked h3{margin:0 0 10px;font-size:19px;line-height:1.4}.proof-worked h4{margin:22px 0 10px;font-size:16px}.proof-copy-controls{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.proof-copy-controls button{min-height:40px}.proof-copy-controls output{color:var(--ink-soft);font-size:13px}.proof-copy-text pre{max-width:100%;margin:10px 0 0;font-family:inherit;font-size:14px}.proof-copy-text pre:focus-visible{outline:3px solid var(--brand);outline-offset:3px}.proof-source-checks{padding:0;list-style:none}.proof-source-checks li{align-items:flex-start;gap:9px;padding:9px 0;line-height:1.6;display:flex}.proof-source-checks svg{color:var(--brand-text);flex-shrink:0;margin-top:3px}.proof-source-reference{color:var(--brand-text);white-space:normal;overflow-wrap:anywhere}.proof-source-reference:focus-visible{outline:3px solid var(--brand);outline-offset:3px}.proof-counterexample-label{font-weight:600}.proof-history-body{padding:4px 20px 24px}.proof-lab pre,.proof-lab p,.proof-lab li{overflow-wrap:anywhere}.proof-history .proof-section{max-width:100%}@media (max-width:700px){.proof-index-grid,.proof-flow{grid-template-columns:1fr}.proof-lab{width:calc(100% - 32px);padding-top:24px}.proof-evidence-body{padding:8px 14px 14px}.proof-lab th,.proof-lab td{padding:10px 8px}.proof-history-body{padding:4px 14px 20px}.proof-worked .proof-repair{padding:14px}}