.proofs-shell{--bg:#fafaf8;--surface:#ffffff;--surface-2:#f5f5f1;--surface-3:#eeeee9;--fg:#1a1a1a;--muted:#565a5f;--muted-2:#6c7176;--line:rgba(26,26,26,0.1);--line-2:rgba(26,26,26,0.06);--line-strong:rgba(15,118,110,0.42);--accent:#0f766e;--accent-ink:#0b5a54;--accent-wash:rgba(15,118,110,0.08);--ok:#0f766e;--warn:#b45309;--bad:#b91c1c;--dur-1:89ms;--dur-2:144ms;--dur-3:233ms;--dur-4:377ms;--ease:cubic-bezier(0.2,0,0,1);--spring:cubic-bezier(0.34,1.2,0.64,1);--font-ui:var(--font-inter),Inter,system-ui,-apple-system,"Segoe UI",sans-serif;--font-display:var(--font-newsreader),Georgia,"Times New Roman",serif;--font-mono:var(--font-jetbrains-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:grid;grid-template-rows:auto auto minmax(0,1fr);overflow:hidden}.proofs-shell :focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:6px}.proofs-header{padding:18px 24px 14px;border-bottom:1px solid var(--line);background:var(--surface);display:flex;align-items:flex-start;justify-content:space-between;gap:20px}.proofs-header__lead{min-width:0}.proofs-kicker{font-family:var(--font-mono);color:var(--accent);text-transform:uppercase;letter-spacing:.14em;font-size:11px;margin-bottom:6px}.proofs-header h1{font-family:var(--font-display);font-weight:500;font-size:30px;letter-spacing:-.01em;line-height:1.05;margin:0 0 6px}.proofs-header .subtitle{margin:0;color:var(--muted);font-size:14px;max-width:720px}.mock-pill,.snapshot-pill{display:inline-block;margin-left:8px;padding:2px 8px;border:1px solid var(--line);border-radius:999px;font-family:var(--font-mono);font-size:10.5px;letter-spacing:.04em;color:var(--muted);vertical-align:1px}.mock-pill{color:var(--warn);border-color:rgba(180,83,9,.32)}.mock-pill,.proofs-notice{background:rgba(180,83,9,.07)}.proofs-notice{max-width:760px;margin:10px 0 0;padding:8px 12px;border:1px solid rgba(180,83,9,.24);border-radius:8px;color:#7c2d12;font-size:13px}.proofs-status{flex:0 0 auto;min-width:210px;display:flex;align-items:center;gap:10px;padding:10px 14px;border:1px solid var(--line);border-radius:10px;background:var(--surface-2)}.proofs-status strong{display:block;font-size:13px;line-height:1.2;font-weight:550}.proofs-status span{display:block;margin-top:2px;font-family:var(--font-mono);color:var(--muted-2);font-size:11px}.status-light{width:9px;height:9px;border-radius:50%;background:var(--bad);flex:0 0 auto}.status-light--ok{background:var(--ok);box-shadow:0 0 0 4px rgba(15,118,110,.14)}.status-light--bad{background:var(--bad);box-shadow:0 0 0 4px rgba(185,28,28,.12)}.status-light--idle{background:var(--muted-2)}.tier-ribbon{display:grid;grid-auto-flow:column;grid-auto-columns:minmax(0,1fr);border-bottom:1px solid var(--line);background:var(--surface)}.tier-cell{display:flex;align-items:center;gap:10px;padding:11px 20px;border:0;border-right:1px solid var(--line-2);background:transparent;color:inherit;text-align:left;cursor:pointer;transition:background var(--dur-2) var(--ease)}.tier-cell--static{cursor:default}.tier-cell--on,.tier-cell:not(.tier-cell--static):hover{background:var(--accent-wash)}.tier-cell--on{box-shadow:inset 0 -2px 0 var(--accent)}.tier-cell__glyph{font-family:var(--font-mono);font-size:18px;font-weight:700;line-height:1;width:18px;text-align:center}.tier-cell__body strong{display:block;font-size:20px;line-height:1.05;font-variant-numeric:tabular-nums;font-weight:600}.tier-cell__body small{display:block;margin-top:1px;color:var(--muted);font-family:var(--font-mono);font-size:10.5px;letter-spacing:.03em}.proofs-degraded{margin:auto;max-width:520px;padding:34px;text-align:center}.proofs-degraded h2{font-family:var(--font-display);font-weight:500;font-size:24px;margin:0 0 10px}.proofs-degraded p{color:var(--muted);font-size:14px;line-height:1.7}.proofs-degraded code{font-family:var(--font-mono);font-size:12.5px;background:var(--accent-wash);padding:1px 5px;border-radius:4px}.proofs-body{display:grid;grid-template-columns:minmax(0,1fr) 420px;min-height:0}.proofs-canvas{display:flex;flex-direction:column;border-right:1px solid var(--line);min-height:0;background:var(--surface)}.proofs-canvas__inner{flex:1;min-height:0;position:relative}.filters{padding:12px 16px;border-bottom:1px solid var(--line);display:flex;flex-direction:column;gap:9px}.filters__search-wrap{position:relative;display:flex;align-items:center}.filters__search-icon{position:absolute;left:12px;width:15px;height:15px;color:var(--muted-2);pointer-events:none}.filters__search{width:100%;padding:10px 14px 10px 34px;border:1px solid var(--line);border-radius:9px;background:var(--surface);color:var(--fg);font-family:var(--font-ui);font-size:14px;outline:none;transition:border-color var(--dur-2) var(--ease),background var(--dur-2) var(--ease)}.filters__search::placeholder{color:var(--muted-2)}.filters__search:focus{border-color:var(--accent);background:var(--surface)}.filters__row{display:flex;align-items:center;flex-wrap:wrap;gap:6px}.filters__row--foot{margin-top:1px;padding-top:9px;border-top:1px solid var(--line-2)}.filters__label{font-family:var(--font-mono);font-size:10px;text-transform:uppercase;letter-spacing:.09em;color:var(--muted-2);margin-right:4px;min-width:44px}.filters__clear{padding:4px 10px;border:1px solid var(--line);border-radius:999px;background:transparent;color:var(--muted);font-size:12px;cursor:pointer;transition:border-color var(--dur-2) var(--ease),color var(--dur-2) var(--ease)}.filters__clear:hover{border-color:var(--accent);color:var(--accent)}.filters__count{margin-left:auto;font-size:12px;color:var(--muted);font-variant-numeric:tabular-nums}.filters__count strong{color:var(--fg);font-weight:600}.chip{display:inline-flex;align-items:center;gap:5px;padding:4px 10px;border:1px solid var(--line);border-radius:8px;background:transparent;color:var(--muted);font-family:var(--font-ui);font-size:12px;cursor:pointer;transition:border-color var(--dur-2) var(--ease),color var(--dur-2) var(--ease),background var(--dur-2) var(--ease),opacity var(--dur-2) var(--ease)}.chip:hover{border-color:var(--accent);color:var(--accent)}.chip--active{color:var(--fg);border-color:var(--line-strong);background:var(--accent-wash)}.chip--dim{opacity:.5}.chip--dim:hover{opacity:1}.chip__glyph{font-family:var(--font-mono);font-weight:700;font-size:12px}.chip__swatch{width:8px;height:8px;border-radius:2px}.chip__count{font-family:var(--font-mono);font-size:10.5px;color:var(--muted-2);font-variant-numeric:tabular-nums}.chip--active .chip__count{color:var(--accent-ink)}.chip--module{font-family:var(--font-mono);font-size:11px}.chip__x{margin-left:2px;font-weight:700}.proofs-list{height:148px;overflow:auto;border-top:1px solid var(--line);background:var(--surface-2);scrollbar-width:thin}.proof-row{width:100%;display:grid;grid-template-columns:16px minmax(0,1fr) auto;align-items:center;gap:10px;padding:9px 14px;border:0;border-bottom:1px solid var(--line-2);background:transparent;color:inherit;text-align:left;cursor:pointer;transition:background var(--dur-2) var(--ease)}.proof-row--active,.proof-row:hover{background:var(--accent-wash)}.proof-row--active{box-shadow:inset 3px 0 0 var(--accent)}.proof-row__dot{width:16px;height:16px;border-radius:50%;display:grid;place-items:center;color:#fff;font-family:var(--font-mono);font-size:9px;font-weight:700}.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:500}.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)}.proof-row__state--kernel{color:var(--ok)}.proof-row__state--conditional{color:var(--warn)}.proofs-list__empty,.proofs-list__more{padding:12px 14px;color:var(--muted);font-size:12px}.proofs-list__empty button{border:0;background:none;color:var(--accent);font-size:12px;cursor:pointer;text-decoration:underline;text-underline-offset:2px}.panel{padding:14px 22px 26px;background:var(--surface);overflow-y:auto;display:flex;flex-direction:column;gap:14px;border-left:1px solid var(--line);animation:panel-reveal var(--dur-3) var(--ease)}@keyframes panel-reveal{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:none}}.panel__bar{justify-content:space-between;margin:0 -4px}.panel__bar,.panel__nav{display:flex;align-items:center}.panel__nav{gap:4px}.panel__close,.panel__nav-btn{display:grid;place-items:center;width:30px;height:30px;border:1px solid var(--line);border-radius:7px;background:transparent;color:var(--muted);cursor:pointer;transition:border-color var(--dur-2) var(--ease),color var(--dur-2) var(--ease),background var(--dur-2) var(--ease)}.panel__close svg,.panel__nav-btn svg{width:16px;height:16px}.panel__close:hover,.panel__nav-btn:hover:not(:disabled){border-color:var(--accent);color:var(--accent);background:var(--accent-wash)}.panel__nav-btn:disabled{opacity:.35;cursor:not-allowed}.panel__nav-pos{font-family:var(--font-mono);font-size:11px;color:var(--muted-2);font-variant-numeric:tabular-nums;min-width:62px;text-align:center}.panel__head{display:flex;flex-direction:column;gap:10px}.panel__tags{display:flex;align-items:center;flex-wrap:wrap;gap:6px}.panel__pod{padding:3px 9px;border-radius:6px;color:#fff;font-size:10.5px;letter-spacing:.05em}.panel__kind,.panel__pod{font-family:var(--font-mono);text-transform:uppercase}.panel__kind{font-size:11px;color:var(--muted);letter-spacing:.06em}.tier-badge{display:inline-flex;align-items:center;gap:5px;padding:3px 9px;border:1px solid;border-radius:999px;font-size:11px;font-weight:550}.tier-badge span{font-family:var(--font-mono);font-weight:700}.panel__title-row{display:flex;align-items:flex-start;gap:8px}.panel__title{flex:1;min-width:0;font-weight:500;font-size:17px;line-height:1.4;overflow-wrap:anywhere}.panel__statement,.panel__title{font-family:var(--font-mono);margin:0}.panel__statement{font-size:12.5px;line-height:1.7;background:var(--surface-2);border:1px solid var(--line);border-radius:9px;padding:13px 15px;max-height:240px;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere}.panel__statement--skeleton{display:flex;flex-direction:column;gap:10px;min-height:72px}.provenance__skeleton{display:flex;flex-direction:column;gap:8px;padding:2px 0}.panel__doc{font-size:14px;line-height:1.7;color:var(--fg);margin:0}.provenance{border:1px solid var(--line);border-radius:10px;background:var(--surface-2);padding:13px 14px;display:flex;flex-direction:column;gap:9px}.provenance__head{display:flex;align-items:center;justify-content:space-between;gap:8px}.provenance__cmd{font-size:12px;color:var(--fg)}.provenance__cmd,.tier-tag{font-family:var(--font-mono);font-weight:600}.tier-tag{display:inline-flex;align-items:center;gap:4px;font-size:11px}.provenance__verdict{margin:0;font-size:12.5px;line-height:1.5;color:var(--muted)}.provenance__verdict code{font-family:var(--font-mono);font-size:11.5px;background:rgba(26,26,26,.05);padding:0 4px;border-radius:3px}.provenance__verdict--kernel{color:var(--ok)}.provenance__verdict--conditional{color:var(--warn)}.provenance__verdict--sorry{color:var(--bad)}.axiom-list{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;gap:6px}.axiom{display:inline-flex;align-items:center;gap:5px;padding:3px 9px 3px 7px;border:1px solid var(--line);border-radius:999px;background:var(--surface);font-family:var(--font-mono);font-size:11.5px}.axiom__mark{font-weight:700}.axiom--clean{border-color:rgba(15,118,110,.3)}.axiom--clean .axiom__mark{color:var(--ok)}.axiom--extra{border-color:rgba(180,83,9,.38);background:rgba(180,83,9,.06)}.axiom--extra .axiom__mark{color:var(--warn)}.panel__meta{display:grid;gap:8px;margin:0;padding-top:12px;border-top:1px solid var(--line)}.panel__meta>div{display:grid;grid-template-columns:92px minmax(0,1fr);gap:10px;align-items:baseline}.panel__meta dt{font-family:var(--font-mono);font-size:10.5px;text-transform:uppercase;letter-spacing:.06em;color:var(--muted-2)}.panel__meta dd{margin:0;min-width:0;font-size:13px}.panel__meta dd code{font-family:var(--font-mono);font-size:12px;overflow-wrap:anywhere}.panel__source{display:inline-flex;align-items:center;gap:6px;min-width:0}.panel__source code{overflow-wrap:anywhere}.panel__missing{color:var(--muted-2);font-style:italic}.live{font-family:var(--font-mono);font-size:12px;font-variant-numeric:tabular-nums}.live--ok{color:var(--ok)}.live--warn{color:var(--warn)}.live--bad{color:var(--bad)}.live--muted{color:var(--muted)}.copy{display:grid;place-items:center;width:26px;height:26px;flex:0 0 auto;border:1px solid var(--line);border-radius:6px;background:transparent;color:var(--muted);cursor:pointer;transition:border-color var(--dur-2) var(--ease),color var(--dur-2) var(--ease),background var(--dur-2) var(--ease)}.copy svg{width:15px;height:15px}.copy:hover{border-color:var(--accent);color:var(--accent)}.copy--done{color:var(--ok);border-color:rgba(15,118,110,.4);background:var(--accent-wash)}.live-card{border:1px solid var(--line);border-radius:10px;background:var(--surface-2);padding:13px 14px;font-size:12px}.live-card__header{display:flex;justify-content:space-between;gap:12px;margin-bottom:10px;font-family:var(--font-mono);font-size:11.5px;color:var(--fg)}.live-card__header time{color:var(--muted-2)}.live-card__note{margin:0;color:var(--muted);line-height:1.5}.live-card__skeleton{display:flex;flex-direction:column;gap:8px}.sk{height:10px;border-radius:4px;background:var(--surface-3)}.sk--wide{width:88%}.sk--narrow{width:52%}.live-card__grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px 12px;margin:0}.live-card__grid div{min-width:0}.live-card__grid dt{font-family:var(--font-mono);font-size:10px;text-transform:uppercase;letter-spacing:.06em;color:var(--muted-2)}.live-card__grid dd{margin:2px 0 0;font-family:var(--font-mono);font-size:15px;color:var(--fg);font-variant-numeric:tabular-nums}.live-card__grid dd.is-bad{color:var(--bad)}.live-card__grid dd.is-warn{color:var(--warn)}.live-card__hash{display:block;margin-top:10px;font-family:var(--font-mono);font-size:11px;color:var(--muted-2);overflow-wrap:anywhere}.live-card__error{margin:10px 0 0;color:var(--bad);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(--line-2);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;margin-top:2px}.btn{display:inline-flex;align-items:center;padding:8px 14px;border-radius:8px;font-family:var(--font-ui);font-size:13px;font-weight:550;text-decoration:none;border:1px solid var(--line);background:transparent;color:var(--fg);cursor:pointer;transition:border-color var(--dur-2) var(--ease),background var(--dur-2) var(--ease),color var(--dur-2) var(--ease)}.btn--primary{background:var(--accent);border-color:var(--accent);color:#fff}.btn--primary:hover{background:var(--accent-ink);border-color:var(--accent-ink)}.btn--ghost:hover{border-color:var(--accent);color:var(--accent)}.panel--empty{align-items:flex-start;justify-content:flex-start;gap:16px;padding-top:40px}.panel__empty-mark{color:var(--accent);opacity:.8}.panel__empty-mark svg{width:40px;height:40px}.panel--empty h2{font-family:var(--font-display);font-weight:500;font-size:21px;margin:0}.panel__hint{color:var(--muted);font-size:13.5px;line-height:1.7;margin:0}.panel__hint code{font-family:var(--font-mono);font-size:12px;background:var(--accent-wash);padding:1px 4px;border-radius:3px}.panel__hint--quiet{color:var(--muted-2);font-size:12.5px;border-top:1px solid var(--line-2);padding-top:14px}.panel__tier-key{list-style:none;padding:0;margin:0;display:flex;flex-direction:column;gap:12px}.panel__tier-key li{display:grid;grid-template-columns:22px minmax(0,1fr);gap:10px;align-items:start}.tier-dot{width:22px;height:22px;border-radius:50%;display:grid;place-items:center;color:#fff;font-family:var(--font-mono);font-size:12px;font-weight:700}.panel__tier-key strong{display:block;font-size:13px;font-weight:600}.panel__tier-key small{display:block;margin-top:2px;color:var(--muted);font-size:11.5px;line-height:1.45}.semantic-map{position:absolute;inset:0;display:grid;grid-template-rows:auto auto minmax(0,1fr);background:var(--surface);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(--line)}.semantic-map__header h2{margin:0;font-family:var(--font-display);font-weight:500;font-size:18px}.semantic-map__header p{max-width:720px;margin:5px 0 0;color:var(--muted);font-size:12.5px;line-height:1.45}.semantic-map__meta{display:flex;flex-wrap:wrap;justify-content:flex-end;gap:6px;min-width:240px}.semantic-map__legend span,.semantic-map__meta span{border:1px solid var(--line);border-radius:6px;padding:4px 8px;background:var(--surface-2);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(--line);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:#64748b}.proof-landscape{min-height:0;position:relative;display:grid;grid-template-columns:minmax(0,1fr) 320px;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 var(--line);border-radius:10px;background:rgba(255,255,255,.78);backdrop-filter:blur(16px);-webkit-backdrop-filter:blur(16px);overflow:auto}.proof-intel__head{display:flex;justify-content:space-between;gap:10px;border-bottom:1px solid var(--line);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 var(--line-2);border-radius:7px;background:var(--surface-2)}.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 var(--line-2);border-radius:7px;background:var(--surface);color:inherit;text-align:left;cursor:pointer;transition:border-color var(--dur-2) var(--ease),background var(--dur-2) var(--ease)}.proof-intel-row:hover{border-color:var(--accent);background:var(--accent-wash)}.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(--line);border-radius:999px;background:var(--surface);color:var(--muted);font-size:11px;font-weight:600;cursor:pointer;transition:border-color var(--dur-2) var(--ease),color var(--dur-2) var(--ease),background var(--dur-2) var(--ease)}.proof-intel__actions button:hover{border-color:var(--accent);color:var(--accent);background:var(--accent-wash)}.proof-landscape__canvas{position:relative;min-width:0;min-height:0;overflow:hidden;background:var(--surface)}.proof-canvas{display:block;width:100%;height:100%;touch-action:none}.proof-canvas:focus-visible{outline:2px solid var(--accent);outline-offset:-2px}.proof-canvas__a11y{position:absolute;width:1px;height:1px;margin:-1px;padding:0;border:0;overflow:hidden;clip:rect(0 0 0 0);clip-path:inset(50%);white-space:nowrap}.proofs-canvas__placeholder{position:absolute;inset:0;background:linear-gradient(rgba(15,23,42,.03) 1px,transparent 1px),linear-gradient(90deg,rgba(15,23,42,.03) 1px,transparent 1px),var(--surface);background-size:34px 34px}.proof-landscape__inspector{min-width:0;border-left:1px solid var(--line);background:var(--surface);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(--line);background:rgba(255,255,255,.9);backdrop-filter:blur(8px);-webkit-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(--line);border-radius:8px;background:var(--surface);color:inherit;text-align:left;cursor:pointer;transition:border-color var(--dur-2) var(--ease),background var(--dur-2) var(--ease)}.landmark--active,.landmark:hover{border-color:var(--accent);background:var(--accent-wash)}.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}@media (max-width:960px){.proofs-shell{overflow:auto}.proofs-header{align-items:flex-start;flex-direction:column}.tier-ribbon{grid-auto-flow:row;grid-template-columns:repeat(2,minmax(0,1fr));grid-auto-columns:unset}.tier-cell{border-bottom:1px solid var(--line-2)}.proofs-body{grid-template-columns:1fr;min-width:0}.panel,.proof-landscape,.proof-landscape__canvas,.proof-landscape__inspector,.proofs-canvas,.proofs-canvas__inner,.semantic-map{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__canvas{min-height:360px}.proof-landscape__inspector{max-height:260px}.panel,.proof-landscape__inspector{border-left:0;border-top:1px solid var(--line)}}@media (prefers-reduced-motion:reduce){.proofs-shell *,.proofs-shell :after,.proofs-shell :before{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}