.proofs-shell{--bg:#f7f7f4;--bg-2:#ffffff;--fg:#171717;--muted:#5f6368;--muted-2:#878a8f;--accent:#0f766e;--accent-2:#2563eb;--ok:#0d9488;--bad:#dc2626;--warn:#b45309;--border:rgba(23,23,23,0.12);--border-strong:rgba(15,118,110,0.45);--panel-bg:#ffffff;--panel-bg-2:#f3f5f4;--font-ui:Inter,system-ui,-apple-system,"Helvetica Neue",sans-serif;--font-display:Inter,system-ui,sans-serif;--font-mono:"JetBrains Mono",ui-monospace,"SF Mono",Menlo,monospace;background:var(--bg);color:var(--fg);font-family:var(--font-ui);font-size:16px;line-height:1.6;min-height:100vh;display:flex;flex-direction:column;overflow:hidden}.proofs-header{padding:18px 24px 14px;border-bottom:1px solid var(--border);background:#ffffff;display:flex;align-items:center;justify-content:space-between;gap:20px}.proofs-kicker{font-family:var(--font-mono);color:var(--accent);text-transform:uppercase;letter-spacing:.12em;font-size:11px;margin-bottom:4px}.proofs-header h1{font-family:var(--font-display);font-weight:650;font-size:28px;letter-spacing:0;margin:0 0 4px}.proofs-header .subtitle{margin:0;color:var(--muted);font-size:14px}.proofs-notice{max-width:760px;margin:8px 0 0;padding:8px 10px;border:1px solid rgba(180,83,9,.24);border-radius:8px;background:rgba(180,83,9,.08);color:#7c2d12;font-size:13px}.mock-pill{display:inline-block;margin-left:8px;padding:2px 8px;border:1px solid var(--border);border-radius:999px;font-size:11px;letter-spacing:.04em;text-transform:uppercase;color:var(--muted)}.proofs-status{min-width:220px;display:flex;align-items:center;gap:10px;padding:10px 12px;border:1px solid var(--border);border-radius:8px;background:#f8faf9}.proofs-status strong{display:block;font-size:13px;line-height:1.2}.proofs-status span{display:block;margin-top:2px;font-family:var(--font-mono);color:var(--muted-2);font-size:11px}.status-light{width:10px;height:10px;border-radius:50%;background:var(--bad);flex:0 0 auto}.status-light--ok{background:var(--ok)}.status-light--bad{background:var(--bad)}.proofs-stats{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));border-bottom:1px solid var(--border);background:#fbfbfa}.proofs-stats div{padding:12px 24px;border-right:1px solid var(--border)}.proofs-stats span{display:block;color:var(--muted-2);font-family:var(--font-mono);font-size:11px;text-transform:uppercase;letter-spacing:.08em}.proofs-stats strong{display:block;margin-top:2px;color:var(--fg);font-size:22px;line-height:1.1;font-variant-numeric:tabular-nums}.proofs-body{flex:1;display:grid;grid-template-columns:minmax(0,1fr) 420px;min-height:0}.proofs-canvas{display:flex;flex-direction:column;border-right:1px solid var(--border);min-height:0;background:#ffffff}.proofs-canvas__inner{flex:1;min-height:0;position:relative}.semantic-map{position:absolute;inset:0;display:grid;grid-template-rows:auto auto minmax(0,1fr);background:#ffffff;overflow:hidden}.semantic-map__header{display:flex;align-items:flex-start;justify-content:space-between;gap:16px;padding:12px 18px 10px;border-bottom:1px solid var(--border)}.semantic-map__header h2{margin:0;font-size:18px;line-height:1.2}.semantic-map__header p{max-width:760px;margin:5px 0 0;color:var(--muted);font-size:13px;line-height:1.45}.semantic-map__meta{display:flex;flex-wrap:wrap;justify-content:flex-end;gap:6px;min-width:260px}.semantic-map__legend span,.semantic-map__meta span{border:1px solid var(--border);border-radius:6px;padding:4px 8px;background:#f8faf9;color:var(--muted);font-family:var(--font-mono);font-size:11px}.semantic-map__legend{display:flex;gap:8px;align-items:center;padding:8px 18px;border-bottom:1px solid var(--border);overflow-x:auto}.legend-dot{display:inline-block;width:8px;height:8px;margin-right:6px;border-radius:50%;vertical-align:-1px}.legend-dot--clean{background:var(--ok)}.legend-dot--open{background:var(--bad)}.legend-dot--partial{background:#334155}.proof-landscape{min-height:0;position:relative;display:grid;grid-template-columns:minmax(0,1fr) 320px;gap:0;overflow:hidden}.proof-intel{position:absolute;left:12px;top:12px;z-index:3;width:min(358px,calc(100% - 344px));max-height:calc(100% - 24px);display:grid;grid-template-rows:auto auto minmax(0,auto) minmax(0,auto) auto;gap:10px;padding:12px;border:1px solid rgba(23,23,23,.12);border-radius:8px;background:rgba(255,255,255,.9);box-shadow:0 18px 50px rgba(15,23,42,.12);backdrop-filter:blur(14px);overflow:auto}.proof-intel__head{display:flex;justify-content:space-between;gap:10px;border-bottom:1px solid var(--border);padding-bottom:9px}.proof-intel__kicker{color:var(--accent);font-family:var(--font-mono);font-size:10px;font-weight:700;letter-spacing:.1em;text-transform:uppercase}.proof-intel__head strong{display:block;margin-top:2px;color:var(--fg);font-size:15px;line-height:1.2}.proof-intel__head p{margin:4px 0 0;color:var(--muted);font-size:12px;line-height:1.35}.proof-intel__metrics{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:8px}.proof-intel__metrics div{min-width:0;padding:8px;border:1px solid rgba(23,23,23,.08);border-radius:7px;background:#f8faf9}.proof-intel__metrics span{display:block;color:var(--muted-2);font-family:var(--font-mono);font-size:9px;font-weight:700;letter-spacing:.08em;text-transform:uppercase}.proof-intel__metrics strong{display:block;margin-top:4px;color:var(--fg);font-size:17px;line-height:1;font-variant-numeric:tabular-nums}.proof-intel__section{display:grid;gap:7px}.proof-intel__section h3{margin:0;color:var(--muted);font-family:var(--font-mono);font-size:10px;font-weight:700;letter-spacing:.08em;text-transform:uppercase}.proof-intel__list{display:grid;gap:6px}.proof-intel-row{width:100%;display:grid;grid-template-columns:7px minmax(0,1fr) auto;gap:8px;align-items:center;padding:8px;border:1px solid rgba(23,23,23,.08);border-radius:7px;background:#ffffff;color:inherit;text-align:left}.proof-intel-row:hover{border-color:var(--accent);background:rgba(15,118,110,.06)}.proof-intel-row__rail{width:7px;height:32px;border-radius:999px}.proof-intel-row small,.proof-intel-row strong{display:block;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.proof-intel-row strong{color:var(--fg);font-family:var(--font-mono);font-size:11px;line-height:1.35}.proof-intel-row small{margin-top:2px;color:var(--muted);font-size:10px}.proof-intel-row em{color:var(--muted);font-family:var(--font-mono);font-size:11px;font-style:normal;font-weight:700;font-variant-numeric:tabular-nums}.proof-intel__actions{display:flex;flex-wrap:wrap;gap:6px}.proof-intel__actions button{padding:6px 9px;border:1px solid var(--border);border-radius:999px;background:#ffffff;color:var(--muted);font-size:11px;font-weight:650}.proof-intel__actions button:hover{border-color:var(--accent);color:var(--accent);background:rgba(15,118,110,.06)}.proof-landscape__svg{width:100%;height:100%;min-height:0;background:linear-gradient(rgba(15,23,42,.035) 1px,transparent 0),linear-gradient(90deg,rgba(15,23,42,.035) 1px,transparent 0),#fbfcfb;background-size:36px 36px}.proof-region{cursor:pointer}.proof-region__title{fill:#111827;font:700 17px var(--font-ui)}.proof-region__meta,.proof-region__tag{fill:#475569;font:500 11px var(--font-mono)}.proof-region__tag{fill:#64748b}.proof-point{cursor:pointer;stroke:white;stroke-width:1.5;transition:opacity .14s ease,r .14s ease}.proof-point--selected,.proof-point:hover{stroke:#111827;stroke-width:2}.proof-point--sorry{stroke:#fee2e2}.proof-point--theorem{stroke-width:1.8}.proof-point__label{fill:#111827;paint-order:stroke;stroke:white;stroke-width:4px;font:600 12px var(--font-mono)}.proof-landscape__inspector{min-width:0;border-left:1px solid var(--border);background:#ffffff;overflow:auto}.proof-landscape__inspector-head{position:sticky;top:0;z-index:1;display:grid;grid-template-columns:10px minmax(0,1fr);gap:10px;align-items:start;padding:14px;border-bottom:1px solid var(--border);background:rgba(255,255,255,.94);backdrop-filter:blur(8px)}.proof-landscape__inspector-head>span{width:10px;height:42px;border-radius:999px}.proof-landscape__inspector-head small,.proof-landscape__inspector-head strong{display:block;min-width:0}.proof-landscape__inspector-head strong{font-size:15px}.proof-landscape__inspector-head small{margin-top:3px;color:var(--muted);font-family:var(--font-mono);font-size:11px;line-height:1.35}.landmark-list{gap:8px}.landmark,.landmark-list{display:grid;padding:10px}.landmark{gap:5px;width:100%;border:1px solid var(--border);border-radius:8px;background:#ffffff;color:inherit;text-align:left;cursor:pointer}.landmark--active,.landmark:hover{border-color:var(--accent);background:rgba(15,118,110,.06)}.landmark span{color:var(--muted);font-family:var(--font-mono);font-size:10px;text-transform:uppercase}.landmark strong{color:var(--fg);font-size:12px;line-height:1.35}.landmark code,.landmark strong{overflow-wrap:anywhere;font-family:var(--font-mono)}.landmark code{color:var(--muted);font-size:11px;line-height:1.5}.proofs-list{height:124px;overflow:auto;border-top:1px solid var(--border);background:#fbfbfa}.proof-row{width:100%;display:grid;grid-template-columns:12px minmax(0,1fr) auto;align-items:center;gap:10px;padding:9px 14px;border-bottom:1px solid rgba(23,23,23,.07);color:inherit;text-align:left}.proof-row--active,.proof-row:hover{background:rgba(15,118,110,.08)}.proof-row__dot{width:8px;height:8px;border-radius:50%}.proof-row__main{min-width:0}.proof-row__main span,.proof-row__main strong{display:block;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.proof-row__main strong{font-family:var(--font-mono);font-size:12px;font-weight:600}.proof-row__main span{color:var(--muted-2);font-size:11px}.proof-row__state{color:var(--muted);font-family:var(--font-mono);font-size:11px}.proof-row__state--sorry{color:var(--bad)}.filters{padding:12px 16px;border-bottom:1px solid var(--border);display:flex;flex-direction:column;gap:10px}.filters__search{width:100%;padding:10px 14px;border:1px solid var(--border);border-radius:8px;background:#ffffff;color:var(--fg);font-family:var(--font-ui);font-size:14px;outline:none;transition:border-color 144ms ease}.filters__search:focus-visible{border-color:var(--accent);outline:2px solid rgba(15,118,110,.16);outline-offset:1px}.filters__row{display:flex;align-items:center;flex-wrap:wrap;gap:6px}.filters__row--module{border-top:1px solid rgba(23,23,23,.08);padding-top:8px}.filters__label{font-size:11px;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-right:6px}.filters__count{margin-left:auto;font-size:12px;color:var(--muted);font-variant-numeric:tabular-nums}.chip{display:inline-flex;align-items:center;padding:4px 10px;border:1px solid var(--border);border-radius:8px;background:transparent;color:var(--muted);font-family:var(--font-ui);font-size:12px;cursor:pointer;transition:border-color 144ms ease,color 144ms ease}.chip--active{color:var(--fg);border-color:var(--border-strong);background:rgba(15,118,110,.08)}.chip:hover{border-color:var(--accent);color:var(--accent)}.toggle{display:inline-flex;align-items:center;gap:8px;font-size:13px;color:var(--muted);cursor:pointer}.toggle input{accent-color:var(--accent)}.panel{padding:32px 28px;background:var(--panel-bg);overflow-y:auto;position:relative;display:flex;flex-direction:column;gap:14px;border-left:1px solid var(--border)}.panel--empty h2{font-family:var(--font-display);font-weight:500;font-size:22px;margin:0}.panel__hint{color:var(--muted);font-size:13px;line-height:1.7}.panel__hint code{font-family:var(--font-mono);font-size:12px;background:rgba(13,148,136,.08);padding:1px 4px;border-radius:3px}.panel__legend{list-style:none;padding:0;margin:0;display:flex;flex-direction:column;gap:6px;font-size:13px;color:var(--muted)}.panel__legend .dot{display:inline-block;width:10px;height:10px;border-radius:50%;margin-right:8px;vertical-align:middle}.panel__close{position:absolute;top:16px;right:16px;width:28px;height:28px;border:1px solid var(--border);background:transparent;border-radius:6px;font-size:16px;color:var(--muted);cursor:pointer}.panel__close:hover{border-color:var(--border-strong);color:var(--fg)}.panel__pod{align-self:flex-start;padding:3px 10px;border-radius:6px;color:white;font-size:11px;letter-spacing:.06em;text-transform:uppercase}.panel__title{font-family:var(--font-mono);font-weight:500;font-size:18px;margin:0;word-break:break-word}.panel__kind{font-size:11px;text-transform:uppercase;letter-spacing:.08em;color:var(--muted)}.panel__statement{font-family:var(--font-mono);font-size:13px;line-height:1.7;background:#f7f8f7;border:1px solid var(--border);border-radius:8px;padding:14px 16px;margin:0;white-space:pre-wrap;word-break:break-word}.panel__doc{font-family:var(--font-ui);font-size:15px;line-height:1.7;color:var(--fg);margin:0}.panel__meta{display:flex;flex-direction:column;gap:4px;font-size:12px;color:var(--muted);border-top:1px solid var(--border);padding-top:12px}.panel__meta strong{color:var(--fg);font-weight:500}.live{font-variant-numeric:tabular-nums}.live--ok{color:var(--ok)!important}.live--warn{color:var(--warn)!important}.live--bad{color:var(--bad)!important}.live--muted{color:var(--muted)!important}.live-card{border:1px solid var(--border);border-radius:8px;background:var(--panel-bg-2);padding:12px;font-size:12px}.live-card__header{display:flex;justify-content:space-between;gap:12px;margin-bottom:10px;font-family:var(--font-mono);color:var(--fg)}.live-card p,.live-card__header time{color:var(--muted)}.live-card p{margin:0}.live-card dl{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px;margin:0}.live-card dl div{min-width:0}.live-card dt{color:var(--muted);text-transform:uppercase;letter-spacing:.06em;font-size:10px}.live-card dd{margin:1px 0 0;color:var(--fg)}.live-card dd,.live-card__hash{font-family:var(--font-mono);overflow-wrap:anywhere}.live-card__hash{display:block;margin-top:10px;color:var(--muted)}.live-card__error{margin-top:10px!important;color:#dc2626!important;overflow-wrap:anywhere}.live-card__messages{list-style:none;padding:0;margin:10px 0 0;display:flex;flex-direction:column;gap:6px}.live-card__messages li{border-top:1px solid var(--border);padding-top:6px;color:var(--muted);overflow-wrap:anywhere}.live-card__messages strong{color:var(--fg)}.panel__actions{display:flex;gap:8px;flex-wrap:wrap}.btn{display:inline-flex;align-items:center;padding:8px 14px;border-radius:8px;font-family:var(--font-ui);font-size:13px;font-weight:500;text-decoration:none;border:1px solid var(--border);background:transparent;color:var(--fg);cursor:pointer;transition:border-color 144ms ease,background 144ms ease}.btn--primary{background:var(--accent);border-color:var(--accent);color:#ffffff}.btn--primary:hover{background:#0b625c;border-color:#0b625c}@media (max-width:960px){.proofs-header{align-items:flex-start;flex-direction:column}.proofs-stats{grid-template-columns:repeat(2,minmax(0,1fr))}.proofs-body{grid-template-columns:1fr;min-width:0;overflow-x:hidden}.panel,.proof-landscape,.proof-landscape__inspector,.proof-landscape__svg,.proofs-canvas,.proofs-canvas__inner,.semantic-map,.semantic-map__header,.semantic-map__legend{width:100%;max-width:100%;box-sizing:border-box;min-width:0}.proofs-canvas__inner,.semantic-map{min-height:1040px}.semantic-map{position:relative;inset:auto;overflow:visible}.semantic-map__header{display:grid;gap:10px}.semantic-map__legend,.semantic-map__meta{flex-wrap:wrap;justify-content:flex-start}.proof-landscape{grid-template-columns:1fr;grid-template-rows:auto 360px auto;overflow:visible}.proof-intel{position:relative;left:auto;top:auto;width:calc(100% - 20px);max-height:280px;margin:10px;box-sizing:border-box}.proof-landscape__svg{min-height:360px}.proof-landscape__inspector{max-height:260px;border-left:0}.panel,.proof-landscape__inspector{border-top:1px solid var(--border)}}