.proof-session{width:100%;max-width:860px;overflow-wrap:anywhere;background:var(--surface,#141210);color:var(--text,#e8e0d0);border:1px solid var(--border,#2a2825);font-family:var(--font-mono,"Courier New",monospace);outline:none;box-sizing:border-box}.proof-session *{box-sizing:border-box}.proof-session:focus-visible{outline:2px solid currentColor;outline-offset:3px}.proof-session-header{display:flex;align-items:center;gap:12px;padding:16px 18px;border-bottom:1px solid var(--border,#2a2825)}.proof-session-marker{display:grid;place-items:center;width:34px;height:34px;flex:0 0 34px;border:2px solid currentColor;font-size:.58rem;font-weight:700;letter-spacing:.08em}.proof-session-kicker,.proof-session-field-label,.proof-session-summary-label{font-size:.44rem;letter-spacing:.16em;text-transform:uppercase;color:var(--text-dim,#6a5f52)}.proof-session-heading{margin:2px 0 0;font-size:1rem;letter-spacing:.12em}.proof-session-summary{display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:8px;padding:16px 18px;border-bottom:1px solid var(--border,#2a2825)}.proof-session-summary-item{min-width:0;padding:9px;border:1px solid var(--border2,#1e1c18)}.proof-session-summary-label{display:block;line-height:1.35}.proof-session-summary-count{display:block;margin-top:6px;font-size:.8rem}.proof-session-source-sections,.proof-session-relationships,.proof-session-pairs{padding:16px 18px;border-bottom:1px solid var(--border,#2a2825)}.proof-session-source-group+.proof-session-source-group{margin-top:18px}.proof-session-section-title{margin:0 0 10px;font-size:.58rem;letter-spacing:.14em}.proof-session-source-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px}.proof-session-source{min-width:0;padding:11px;border:1px solid var(--border,#2a2825)}.proof-session-diagnostic-source{border-style:double;border-width:3px}.proof-session-source-group-diagnostic{border-left:5px double currentColor;padding-left:12px}.proof-session-source-header{display:flex;justify-content:space-between;gap:12px;align-items:center;margin-bottom:8px}.proof-session-source-title{margin:0;font-size:.7rem}.proof-session-source-state{font-size:.54rem;letter-spacing:.08em}.proof-session-field{display:grid;grid-template-columns:minmax(92px,.4fr) minmax(0,1fr);gap:10px;padding:6px 0;border-bottom:1px solid var(--border2,#1e1c18)}.proof-session-field-value{min-width:0;font-size:.56rem;line-height:1.45}.proof-session-reason .proof-session-field-value{font-weight:700}.proof-session-relationship-list,.proof-session-pair-list{list-style:none;margin:0;padding:0;display:grid;gap:9px}.proof-session-relationship,.proof-session-pair{padding:10px;border:1px solid var(--border2,#1e1c18)}.proof-session-relationship{border-left:4px double currentColor}.proof-session-relationship-line,.proof-session-pair-endpoints{display:flex;align-items:center;gap:10px;margin-bottom:7px}.proof-session-relationship-parent,.proof-session-relationship-child,.proof-session-pair-slot{font-size:.7rem;letter-spacing:.06em}.proof-session-relationship-arrow,.proof-session-pair-arrow{font-size:.8rem}.proof-session-empty{margin:0;padding:10px;border:1px dashed var(--border,#2a2825);font-size:.54rem;letter-spacing:.08em}.proof-session-notice{margin:0;padding:14px 18px;font-size:.5rem;line-height:1.6;color:var(--text-dim,#6a5f52)}@media(max-width:700px){.proof-session-summary{grid-template-columns:repeat(2,minmax(0,1fr));padding:14px}.proof-session-summary-item:last-child{grid-column:1/-1}.proof-session-source-sections,.proof-session-relationships,.proof-session-pairs{padding:14px}.proof-session-source-grid{grid-template-columns:1fr}.proof-session-header{padding:14px}.proof-session-field{grid-template-columns:minmax(84px,.42fr) minmax(0,1fr)}}