@ggboy123/dsh-paper-reader 1.3.5 → 1.4.1

package/reader/index.html

@@ -24,11 +24,16 @@
   #bar { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; row-gap: 6px; padding: 8px 12px; background: var(--panel); border-bottom: 1px solid var(--border); flex: none; }
   #bar button { font: inherit; }
   /* flex:none —— 列被拖窄时按钮不许被压缩（否则文字竖排、按钮变窄条） */
-  .tbtn { flex: none; padding: 4px 10px; border: 1px solid var(--border); border-radius: 6px; background: var(--panel); color: var(--text); cursor: pointer; }
+  /* inline-flex + 固定高：图标/文字统一垂直居中，按钮高度不再随各家字体字形漂移 */
+  .tbtn { flex: none; display: inline-flex; align-items: center; justify-content: center; gap: 5px; height: 28px; padding: 0 9px; border: 1px solid var(--border); border-radius: 6px; background: var(--panel); color: var(--text); cursor: pointer; }
   .tbtn:hover { background: var(--bg); }
   .tbtn.active { background: var(--accent-soft); border-color: var(--accent); color: var(--accent); }
   .tbtn:disabled { opacity: .45; cursor: default; }
-  #zh-toggle { font-weight: 700; }
+  /* 统一 SVG 图标：stroke=currentColor，active/disabled 的变色自动继承到图标 */
+  .tbtn svg.ic { width: 16px; height: 16px; flex: none; }
+  .tbtn svg.spin { transform-origin: center; animation: dpr-spin 1s linear infinite; }
+  @keyframes dpr-spin { to { transform: rotate(360deg); } }
+  @media (prefers-reduced-motion: reduce) { .tbtn svg.spin { animation-duration: 2.4s; } }
   #zoom-label { flex: none; min-width: 44px; text-align: center; color: var(--text-2); }
   #bar .spacer { flex: 1; }
   /* min-width:0 —— flex 项默认 min-width:auto 会拒绝收缩，空间不够时转而去挤按钮；
@@ -43,7 +48,7 @@
   @media (max-width: 560px) { #ver { display: none; } }
 
   /* ---------- PDF 区 ---------- */
-  #main { display: flex; flex: 1; min-height: 0; }
+  #main { display: flex; flex: 1; min-height: 0; position: relative; } /* relative：公式面板绝对定位的锚 */
   #pdf-pane { flex: 1; overflow: auto; padding: 16px; }
   /* safe center：页宽超过视口时退回左对齐——普通 center 会让左右同时溢出且左侧滚不到 */
   #pdf-pages { display: flex; flex-direction: column; align-items: safe center; gap: 14px; }
@@ -52,7 +57,9 @@
 
   /* ---------- 翻页控件 ---------- */
   #pager { display: flex; align-items: center; gap: 4px; flex: none; }
-  #page-input { width: 3.5em; padding: 3px 6px; border: 1px solid var(--border); border-radius: 6px; background: var(--panel); color: var(--text); font: inherit; font-size: 12.5px; text-align: right; }
+  /* 数字居中：text-align:right 会让单页码贴右框边、左侧空一块；
+     上 padding 多 1px —— 数字无下伸部，光字心本就偏高，对称内边距看起来反而偏上 */
+  #page-input { width: 3.5em; padding: 4px 6px 2px; border: 1px solid var(--border); border-radius: 6px; background: var(--panel); color: var(--text); font: inherit; font-size: 12.5px; line-height: 20px; text-align: center; }
   #page-total { flex: none; color: var(--text-2); font-size: 12px; white-space: nowrap; }
   /* 插件版本号（host 注入；未被替换时隐藏——比如旧 host 配新页面的错位场景） */
   #ver { flex: none; font-size: 10.5px; color: var(--text-2); opacity: .65; user-select: none; }
@@ -87,6 +94,31 @@
   .textLayer span.dpr-hl { background: rgba(255,196,0,.45); border-radius: 2px; }
   #empty { margin: 60px auto; color: var(--text-2); text-align: center; max-width: 420px; }
 
+  /* ---------- 公式引用（MinerU bbox 热区 + 列表面板）----------
+     契约 §1.3/§1.4：热区**不用** pointer-events:auto 的覆盖层——那会夺走 textLayer 的
+     mousedown/拖拽，破坏既有划词提问。这里 .eqLayer 只负责画描边（pointer-events:none），
+     命中判定在 JS 里按坐标算。 */
+  .eqLayer { position: absolute; inset: 0; pointer-events: none; z-index: 2; }
+  .eq-box { position: absolute; border-radius: 3px; }
+  .eq-box.hover { outline: 1.5px dashed rgba(9,105,218,.85); background: rgba(9,105,218,.07); }
+  .eq-box.hit { outline: 2px solid rgba(255,140,0,.9); background: rgba(255,196,0,.16); }
+  #eq-panel { position: absolute; top: 0; right: 0; bottom: 0; width: min(320px, 88%); display: none;
+    background: var(--panel); border-left: 1px solid var(--border); box-shadow: -4px 0 16px rgba(0,0,0,.08);
+    overflow: auto; z-index: 3; padding: 10px 12px; }
+  #eq-panel h3 { margin: 0 0 4px; font-size: 13px; }
+  #eq-meta { font-size: 11.5px; color: var(--text-2); margin-bottom: 6px; line-height: 1.5; }
+  .eq-page { margin: 10px 0 2px; font-size: 12px; font-weight: 600; color: var(--text-2); }
+  .eq-item { display: block; width: 100%; text-align: left; border: 1px solid var(--border); border-radius: 6px;
+    background: var(--bg); color: var(--text); padding: 6px 8px; margin: 4px 0; cursor: pointer; font: inherit; }
+  .eq-item:hover { border-color: var(--accent); }
+  .eq-item code { display: block; font-family: ui-monospace, Menlo, Consolas, monospace; font-size: 11.5px;
+    white-space: pre-wrap; word-break: break-word; margin-top: 2px; }
+  .eq-item .eq-tag { font-size: 11px; color: var(--text-2); }
+  #eq-note { font-size: 12px; color: var(--text-2); line-height: 1.6; }
+  #eq-transcribe { margin-top: 8px; }
+  #eq-toggle.muted { opacity: .55; }
+  #ask-copy { background: none; border: 1px solid var(--border); border-radius: 6px; color: var(--text-2); cursor: pointer; margin-right: auto; }
+
   /* ---------- 选中即问浮层 ---------- */
   #ask-pop { position: fixed; z-index: 50; display: none; background: var(--panel); border: 1px solid var(--border); border-radius: 10px; box-shadow: 0 6px 24px rgba(0,0,0,.16); padding: 10px; width: 320px; }
   #ask-quote { font-size: 12px; color: var(--text-2); max-height: 64px; overflow: hidden; margin-bottom: 8px; border-left: 3px solid var(--accent-soft); padding-left: 8px; }
@@ -118,22 +150,23 @@
 <div id="bar">
   <span id="status">论文伴读</span>
   <button id="pdf-path" style="display:none" title="点击复制文件路径"></button>
-  <button id="zh-toggle" class="tbtn" title="切换中文译文（没有译文时可生成）" style="display:none">中</button>
-  <button id="zh-regen" class="tbtn" title="重新翻译：删除现有译文，用当前端点重跑（换模型后用）" style="display:none">↻</button>
-  <button id="dl-btn" class="tbtn" title="下载 PDF" style="display:none">⤓</button>
+  <button id="zh-toggle" class="tbtn" title="切换中文译文（没有译文时可生成）" style="display:none" data-icon="translate"></button>
+  <button id="zh-regen" class="tbtn" title="重新翻译：删除现有译文，用当前端点重跑（换模型后用）" style="display:none" data-icon="regen"></button>
+  <button id="dl-btn" class="tbtn" title="下载 PDF" style="display:none" data-icon="download"></button>
   <span class="spacer"></span>
-  <button id="mode-toggle" class="tbtn" title="切换 滚动/翻页模式" style="display:none">▣</button>
+  <button id="mode-toggle" class="tbtn" title="切换 滚动/翻页模式" style="display:none" data-icon="paged"></button>
   <span id="pager" style="display:none">
-    <button id="page-prev" class="tbtn" title="上一页">‹</button>
+    <button id="page-prev" class="tbtn" title="上一页" data-icon="prev"></button>
     <input id="page-input" type="text" inputmode="numeric" title="页码，回车跳转">
     <span id="page-total">/ ?</span>
-    <button id="page-next" class="tbtn" title="下一页">›</button>
+    <button id="page-next" class="tbtn" title="下一页" data-icon="next"></button>
   </span>
-  <button id="cfg-open" class="tbtn" title="翻译端点设置">⚙</button>
-  <button id="zoom-out" class="tbtn">−</button>
+  <button id="cfg-open" class="tbtn" title="翻译端点设置" data-icon="settings"></button>
+  <button id="zoom-out" class="tbtn" title="缩小" data-icon="minus"></button>
   <span id="zoom-label">100%</span>
-  <button id="zoom-in" class="tbtn">＋</button>
+  <button id="zoom-in" class="tbtn" title="放大" data-icon="plus"></button>
   <button id="zoom-fit" class="tbtn">适宽</button>
+  <button id="eq-toggle" class="tbtn" title="公式引用（MinerU LaTeX）" data-icon="sigma">公式</button>
   <span id="ver" title="插件版本">__DPR_VERSION__</span>
 </div>
 
@@ -142,12 +175,18 @@
     <div id="pdf-pages"></div>
     <div id="empty" style="display:none"></div>
   </div>
+  <div id="eq-panel">
+    <h3>公式</h3>
+    <div id="eq-meta"></div>
+    <div id="eq-list"></div>
+  </div>
 </div>
 
 <div id="ask-pop">
   <div id="ask-quote"></div>
   <textarea id="ask-input" rows="2" placeholder="围绕选中内容提问…"></textarea>
   <div id="ask-actions">
+    <button id="ask-copy" style="display:none">复制 LaTeX</button>
     <button id="ask-cancel">取消</button>
     <button id="ask-send">提问</button>
   </div>
@@ -179,6 +218,25 @@
 'use strict';
 /* ================= 基础 ================= */
 const $ = (id) => document.getElementById(id);
+/* 顶栏图标：统一的 24×24 描边图标集（stroke=currentColor，active/disabled 变色自动跟随按钮）。
+   曾经混用 Unicode 字符（↻/⤓/▣/⚙/＋…）——各自渲染自不同字体，粗细、大小、基线互不一致。 */
+const ICONS = {
+  translate: '<path d="m5 8 6 6"/><path d="m4 14 6-6 2-3"/><path d="M2 5h12"/><path d="M7 2h1"/><path d="m22 22-5-10-5 10"/><path d="M14 18h6"/>',
+  regen: '<path d="M3 12a9 9 0 0 1 9-9 9.75 9.75 0 0 1 6.74 2.74L21 8"/><path d="M21 3v5h-5"/><path d="M21 12a9 9 0 0 1-9 9 9.75 9.75 0 0 1-6.74-2.74L3 16"/><path d="M8 16H3v5"/>',
+  download: '<path d="M21 15v4a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2v-4"/><polyline points="7 10 12 15 17 10"/><line x1="12" x2="12" y1="15" y2="3"/>',
+  paged: '<path d="M12 7v14"/><path d="M3 18a1 1 0 0 1-1-1V4a1 1 0 0 1 1-1h5a4 4 0 0 1 4 4 4 4 0 0 1 4-4h5a1 1 0 0 1 1 1v13a1 1 0 0 1-1 1h-6a3 3 0 0 0-3 3 3 3 0 0 0-3-3z"/>',
+  scroll: '<path d="M19 17V5a2 2 0 0 0-2-2H4"/><path d="M8 21h12a2 2 0 0 0 2-2v-1a1 1 0 0 0-1-1H11a1 1 0 0 0-1 1v1a2 2 0 1 1-4 0V5a2 2 0 1 0-4 0v2a1 1 0 0 0 1 1h3"/>',
+  prev: '<path d="m15 18-6-6 6-6"/>',
+  next: '<path d="m9 18 6-6-6-6"/>',
+  settings: '<path d="M12.22 2h-.44a2 2 0 0 0-2 2v.18a2 2 0 0 1-1 1.73l-.43.25a2 2 0 0 1-2 0l-.15-.08a2 2 0 0 0-2.73.73l-.22.38a2 2 0 0 0 .73 2.73l.15.1a2 2 0 0 1 1 1.72v.51a2 2 0 0 1-1 1.74l-.15.09a2 2 0 0 0-.73 2.73l.22.38a2 2 0 0 0 2.73.73l.15-.08a2 2 0 0 1 2 0l.43.25a2 2 0 0 1 1 1.73V20a2 2 0 0 0 2 2h.44a2 2 0 0 0 2-2v-.18a2 2 0 0 1 1-1.73l.43-.25a2 2 0 0 1 2 0l.15.08a2 2 0 0 0 2.73-.73l.22-.39a2 2 0 0 0-.73-2.73l-.15-.08a2 2 0 0 1-1-1.74v-.5a2 2 0 0 1 1-1.74l.15-.09a2 2 0 0 0 .73-2.73l-.22-.38a2 2 0 0 0-2.73-.73l-.15.08a2 2 0 0 1-2 0l-.43-.25a2 2 0 0 1-1-1.73V4a2 2 0 0 0-2-2z"/><circle cx="12" cy="12" r="3"/>',
+  minus: '<path d="M5 12h14"/>',
+  plus: '<path d="M5 12h14"/><path d="M12 5v14"/>',
+  sigma: '<path d="M18 7V5H6l6 7-6 7h12v-2"/>',
+  spin: '<path d="M21 12a9 9 0 1 1-6.219-8.56"/>',
+};
+const iconHtml = (name) => `<svg class="ic${name === 'spin' ? ' spin' : ''}" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" aria-hidden="true">${ICONS[name]}</svg>`;
+// 静态按钮按 data-icon 注入一次；动态按钮（翻译/重翻/模式切换）在状态变化时用同一函数换图标
+document.querySelectorAll('#bar [data-icon]').forEach((b) => b.insertAdjacentHTML('afterbegin', iconHtml(b.dataset.icon)));
 const api = (p, opts) => fetch('/paper-reader/api' + p, opts).then(async (r) => {
   if (!r.ok) {
     // 服务端错误体有两种：{error}（参数/权限）与 {reason}（zh/generate 的未启动原因，带完整说明）
@@ -196,16 +254,11 @@ function toast(msg, ms = 3200) {
 }
 function esc(s) { return s.replace(/[&<>"]/g, (c) => ({ '&': '&amp;', '<': '&lt;', '>': '&gt;', '"': '&quot;' }[c])); }
 
-// 路径复制：clipboard API 失败（iframe 权限等）退回 textarea + execCommand
+// 路径复制：与「复制 LaTeX」共用同一个 copyText（剪贴板写入只有一处实现，见文件末尾定义）
 $('pdf-path').onclick = async () => {
   const p = $('pdf-path').textContent;
   if (!p) return;
-  try { await navigator.clipboard.writeText(p); toast('路径已复制'); return; } catch { /* 走兜底 */ }
-  const ta = document.createElement('textarea');
-  ta.value = p; document.body.appendChild(ta); ta.select();
-  try { document.execCommand('copy'); toast('路径已复制'); }
-  catch { toast('复制失败，路径见按钮悬停提示'); }
-  ta.remove();
+  toast((await copyText(p)) ? '路径已复制' : '复制失败，路径见按钮悬停提示');
 };
 
 let current = null;        // { topic, name }
@@ -250,6 +303,10 @@ async function openPaper(topic, name, opts = {}) {
   zhVariant = (saved === 'zh' && zhState.zh) || (saved === 'dual' && zhState.dual) ? saved : null;
   $('zh-toggle').classList.toggle('active', zhVariant !== null);
   if (zhVariant) { fitMode = true; fitBtn.classList.add('active'); } // 译文版页宽不同，强制适宽
+  // 公式索引（MinerU content_list）：**必须在 loadPdf 之前到货**——热区是在 paintPage 里
+  // 按 eqIndex 铺的，先渲染会漏画/残留上一篇的矩形；又必须排在 zhVariant 定稿之后——
+  // eqHotEnabled()/renderEqPanel() 都按 zhVariant 决定「译文视图关热区」。失败不影响打开文献。
+  await loadFormulas();
   updateDlBtn();
   await loadPdf(pdfUrl(zhVariant));
   if (opts.page) jumpTo(opts.page, opts.q); // 不 await：跳转内部自带「等页面渲出来」轮询
@@ -282,7 +339,7 @@ async function refreshZhState() {
   const btn = $('zh-toggle');
   btn.style.display = '';
   btn.disabled = zhState.busy;
-  btn.textContent = zhState.busy ? '译' : '中';
+  btn.innerHTML = iconHtml(zhState.busy ? 'spin' : 'translate'); // busy：旋转弧图标（原「译」字）
   btn.title = zhState.busy ? (zhState.phase || `翻译进行中${zhState.model ? `（${zhState.model}）` : ''}…`)
     : (zhState.zh || zhState.dual) ? '切换中文译文'
     : '还没有中文版，点击生成（babeldoc，需要几分钟）';
@@ -295,7 +352,7 @@ async function refreshZhState() {
     delete statusEl.dataset.phaseShown;
     if (statusMeta) statusEl.textContent = statusMeta;
   }
-  // ↻ 只在「已有译文且空闲」时出现；状态变化时顺手拆掉两击确认的待确认态
+  // 重翻按钮只在「已有译文且空闲」时出现；状态变化时顺手拆掉两击确认的待确认态
   const regen = $('zh-regen');
   const canRegen = (zhState.zh || zhState.dual) && !zhState.busy;
   regen.style.display = canRegen ? '' : 'none';
@@ -312,6 +369,7 @@ $('zh-toggle').onclick = async () => {
     updateDlBtn();
     // 切换变体后强制适宽：译文版页宽与原文不同（对照双栏≈2×），不重算会溢出裁切
     fitMode = true; fitBtn.classList.add('active');
+    renderEqPanel(); // 译文视图要给出「没有位置信息」的说明（热区同时被 eqHotEnabled 关掉）
     await loadPdf(pdfUrl(zhVariant));
     return;
   }
@@ -334,7 +392,7 @@ async function startGenerate(force) {
     if (e.code === 'no-endpoint') { cfgRetryForce = force; openCfgPop(true); return; }
     toast(e.message, 8000); return;
   }
-  $('zh-toggle').disabled = true; $('zh-toggle').textContent = '译';
+  $('zh-toggle').disabled = true; $('zh-toggle').innerHTML = iconHtml('spin');
   $('zh-regen').style.display = 'none';
   const timer = setInterval(async () => {
     await refreshZhState();
@@ -351,14 +409,14 @@ async function startGenerate(force) {
   }, 5000);
 }
 
-/* ================= 重新翻译（↻，两击确认） ================= */
+/* ================= 重新翻译（重翻按钮，两击确认） ================= */
 // 不用原生 confirm：阅读器跑在 dsh 桌面壳的 iframe 里，原生对话框行为不可靠。
 // 第一击把按钮变成「重翻?」待确认态（3 秒有效），第二击才真删真跑。
 let regenArmTimer = null;
 function disarmRegen() {
   clearTimeout(regenArmTimer); regenArmTimer = null;
   const btn = $('zh-regen');
-  btn.textContent = '↻'; btn.classList.remove('active');
+  btn.innerHTML = iconHtml('regen'); btn.classList.remove('active');
 }
 $('zh-regen').onclick = async () => {
   if (!current || zhState.busy) return;
@@ -403,9 +461,9 @@ const providerOf = (baseUrl) => PROVIDERS.find((p) => p.id !== 'custom' && normU
   };
 })();
 
-// 保存成功后是否自动接着生成：点「中」/「↻」发现没配 → 弹本表单 → 填完直接开跑
+// 保存成功后是否自动接着生成：点「中译」/「重翻」发现没配 → 弹本表单 → 填完直接开跑
 let cfgRetryGenerate = false;
-let cfgRetryForce = false;   // 待重试的是不是「重翻」（↻ 进来时旧译文还在，zh-toggle 点击语义不对，必须带 force）
+let cfgRetryForce = false;   // 待重试的是不是「重翻」（重翻进来时旧译文还在，zh-toggle 点击语义不对，必须带 force）
 
 async function openCfgPop(retryGenerate) {
   cfgRetryGenerate = Boolean(retryGenerate);
@@ -465,7 +523,7 @@ $('cfg-save').onclick = async () => {
   }
   closeCfgPop();
   await refreshZhState();
-  if (retry) startGenerate(force);  // 沿用触发来源的语义：「中」=生成，「↻」=重翻
+  if (retry) startGenerate(force);  // 沿用触发来源的语义：「中译」=生成，「重翻」=重翻
   else toast('翻译端点已保存');
 };
 
@@ -556,6 +614,15 @@ async function paintPage(page, div, viewport, token) {
   if (token !== renderToken) return;
   // pdf.js 6.x: renderTextLayer() 移除，改 TextLayer 类
   await new pdfjsLib.TextLayer({ textContentSource: tc, container: tl, viewport }).render();
+  // 公式热区层（pointer-events:none，只画描边；命中在 JS 里按坐标算）。
+  // 唯一铺层点放在这里（不是各自的渲染循环里）：滚动与翻页两条路径共用它——
+  // renderPaged 完全绕过 renderAllPages 的循环，写在那边翻页模式热区会全哑。
+  // 也不放进 makePageNode：它靠 div.firstChild/lastChild 取 canvas/textLayer，
+  // 提前 append 热区层会让 lastChild 变成热区层 → TextLayer 挂错容器、文本层错位。
+  // token 守卫（t4 评审 O5）：TextLayer.render() 也是 await，期间可能已被更新的渲染抢占；
+  // 少了这一行，被抢占的收尾会把**上一档缩放**的几何写回 EQ_BY_PAGE → 点击热区整体偏移。
+  if (token !== renderToken) return;
+  paintEqLayer(div, viewport, +div.dataset.page);
 }
 
 /** 当前模式的全量重渲入口：缩放/DPR/换文档/换变体统一走这里。 */
@@ -580,7 +647,8 @@ async function renderAllPages() {
   const range = pane.scrollHeight - pane.clientHeight;
   const anchorRatio = range > 0 ? pane.scrollTop / range : 0;
   container.innerHTML = '';
-  container.classList.remove('paged');
+  container.classList.remove('paged'); // 切回滚动：必须摘掉单页布局类（paged 由 renderPaged 加上）
+  clearEqGeometry();                   // 旧页几何 + 跨页残留的 hover/hit 描边随 DOM 一起作废
   $('zoom-label').textContent = Math.round(scale / 1.5 * 100) + '%';
 
   for (let i = 1; i <= pdfDoc.numPages; i++) {
@@ -590,6 +658,7 @@ async function renderAllPages() {
     const viewport = page.getViewport({ scale });
     const div = makePageNode(i, viewport);
     container.appendChild(div);
+    // 位图 + 文本层 + 公式热区层都在 paintPage 里（滚动/翻页两条路径共用同一个铺层点）
     await paintPage(page, div, viewport, token);
     if (token !== renderToken) return;
   }
@@ -606,6 +675,7 @@ async function renderPaged() {
   const scale = zoomScale; // 同 renderAllPages：快照，防混合缩放
   curPage = Math.min(Math.max(1, curPage), pdfDoc.numPages);
   container.innerHTML = '';
+  clearEqGeometry(); // 同上：翻页模式下换页/缩放时，旧页几何与 hover 残留必须一起作废（否则命中整体偏移）
   container.classList.add('paged');
   $('zoom-label').textContent = Math.round(scale / 1.5 * 100) + '%';
   updatePager();
@@ -705,10 +775,10 @@ $('page-input').addEventListener('blur', () => {
 });
 
 /** 模式切换：paged→scroll 先全量渲染再跳回当前页；scroll→paged 用观察器最近回写的 curPage。
-    图标显示「当前模式」：▣ 单页翻页（active）/ ≣ 连续滚动。 */
+    图标显示「当前模式」：书本 = 单页翻页（active）/ 卷轴 = 连续滚动。 */
 function updateModeToggle() {
   const btn = $('mode-toggle');
-  btn.textContent = pageMode === 'paged' ? '▣' : '≣';
+  btn.innerHTML = iconHtml(pageMode === 'paged' ? 'paged' : 'scroll');
   btn.classList.toggle('active', pageMode === 'paged');
   btn.title = pageMode === 'paged' ? '当前：单页翻页，点击切回连续滚动' : '当前：连续滚动，点击切到单页翻页';
   updatePager();
@@ -753,6 +823,7 @@ function jumpToPage(n) {
    找不到（如用户在中文界面而 q 是英文原文）返回 false，调用方退回仅跳页。 */
 function clearHighlights() {
   document.querySelectorAll('.textLayer span.dpr-hl').forEach((sp) => sp.classList.remove('dpr-hl'));
+  clearEqHit(); // 公式命中描边与引文高亮同生共死（用户在别处点一下即清）
 }
 // 高亮的消失交给用户：阅读器里任意点一下即清（mousedown 比 click 早，划选文字的那一下也算）
 document.addEventListener('mousedown', clearHighlights);
@@ -805,35 +876,379 @@ async function jumpTo(page, q) {
   }
 }
 
-/* ================= 选中即问 ================= */
+/* ================= 公式引用（MinerU LaTeX，契约 §1） =================
+   PDF 文本层里的公式是乱码（`𝑧𝑧1 𝑧𝑧2`），鼠标选中拿不到可用内容；真相源是 MinerU
+   content_list 的 equation 块（LaTeX + bbox）。bbox 坐标系实测为「页面归一化坐标 ×1000」
+   （x÷页宽、y÷页高，各自归一），映射直接用渲染时的同一个 viewport，因此与缩放无关：
+       x = bbox[0]/1000*viewport.width ，y = bbox[1]/1000*viewport.height
+   热区外扩 6pt（实测最坏欠覆盖 4.60pt；6pt 覆盖全部 17/17 公式块）。 */
+const EQ_PAD = 6;                 // pt（= scale 1 时的 CSS px），随 zoomScale 放大
+let eqIndex = { source: 'none', equations: [], reason: 'no-mineru-artifact', bboxSpace: 'normalized-1000' };
+const EQ_BY_PAGE = new Map();     // pageNo → [{eq,x0,y0,x1,y1,w,h,pad}]
+let eqHoverId = null;
+
+/** 页节点被整体重建（renderAllPages / renderPaged 里 `container.innerHTML = ''`）时调用：
+    旧页的几何必须一起作废，否则命中测试会打到已卸载的页/上一档缩放的矩形（翻页模式下表现为
+    「点击整体偏移」）；顺手清掉跨页残留的 hover 态 —— eqHoverId 不清的话，setEqHover(id) 会在
+    `id === eqHoverId` 时提前 return，换页后鼠标停在公式上也不再出现虚线描边。 */
+function clearEqGeometry() {
+  EQ_BY_PAGE.clear();
+  eqHoverId = null;
+  clearEqHit();
+}
+
+/** 去掉 MinerU 文本外层 `$$`：`$$\n\\pi…\n$$` → `\pi…` */
+function eqLatex(raw) {
+  return String(raw == null ? '' : raw).replace(/^\s*\$\$?/, '').replace(/\$\$?\s*$/, '').trim();
+}
+/** 进会话的引用串：保留 `$$` 定界（模型对数学最友好） */
+function eqCite(eq) { return '$$ ' + eqLatex(eq.latex) + ' $$'; }
+
+/**
+ * MinerU **生效 mode**（GET /mineru/config 的 mode 字段）：'off' | 'local' | 'cloud' | null(未知)。
+ * 它是「重新转录」按钮的门控依据——`source:'auto'` 会按 mode 选引擎，而 mode==='off' 时
+ * auto 落到 pdf.js，pdf.js 重解析会**删掉** <文献>.mineru.md/.mineru.json 富产物
+ * （src/transcribe.ts）；宁可少一个按钮，也不给一个会反噬的按钮。
+ */
+let mineruMode = null;
+async function loadMineruMode() {
+  try {
+    const c = await api('/mineru/config');
+    mineruMode = c && typeof c.mode === 'string' ? c.mode : null;
+  } catch { mineruMode = null; }   // 取不到按「未知」处理（照常给按钮，行为与旧版一致）
+}
+
+function loadFormulas() {
+  return (async () => {
+    eqIndex = { source: 'none', equations: [], reason: 'no-mineru-artifact', bboxSpace: 'normalized-1000' };
+    if (!current) { renderEqPanel(); return; }
+    await loadMineruMode();
+    const q = `topic=${encodeURIComponent(current.topic)}&name=${encodeURIComponent(current.name)}`;
+    try {
+      const idx = await api('/formulas?' + q);
+      if (idx && Array.isArray(idx.equations)) eqIndex = idx;
+    } catch (e) {
+      // 接口异常绝不打崩阅读器：降级成「无公式」，划词提问照常
+      eqIndex = { source: 'none', equations: [], reason: 'bad-artifact', warning: e.message, bboxSpace: 'normalized-1000' };
+    }
+    const btn = $('eq-toggle');
+    btn.classList.toggle('muted', eqIndex.equations.length === 0);
+    btn.title = eqIndex.equations.length
+      ? `公式引用：${eqIndex.equations.length} 个（点击 PDF 上的公式即可引用其 LaTeX）`
+      : '公式引用：本论文还没有 MinerU 解析产物';
+    renderEqPanel();
+  })();
+}
+
+/** 热区只在「原文视图 + 有 bbox」时开启：译文版（-zh/-dual）页面几何与原文不同。 */
+function eqHotEnabled() {
+  return zhVariant === null && eqIndex.equations.some((e) => e.bbox);
+}
+
+function eqGeom(eq, viewport) {
+  if (!eq.bbox) return null;
+  const space = eqIndex.bboxSpace === 'page-units'; // 兜底分支（云端版本差异，见需求 R3）
+  const kx = space ? zoomScale : viewport.width / 1000;
+  const ky = space ? zoomScale : viewport.height / 1000;
+  const x = eq.bbox[0] * kx;
+  const y = eq.bbox[1] * ky;
+  const w = (eq.bbox[2] - eq.bbox[0]) * kx;
+  const h = (eq.bbox[3] - eq.bbox[1]) * ky;
+  if (!(w > 0) || !(h > 0)) return null;
+  return {
+    eq, x, y, w, h, pad: EQ_PAD * zoomScale,
+    x0: Math.max(0, x), y0: Math.max(0, y),
+    x1: Math.min(viewport.width, x + w), y1: Math.min(viewport.height, y + h),
+  };
+}
+
+/** 为已渲染的一页铺热区层（只画描边，不接事件）。 */
+function paintEqLayer(pageDiv, viewport, pageNo) {
+  const old = pageDiv.querySelector('.eqLayer');
+  if (old) old.remove();
+  const items = [];
+  if (eqHotEnabled()) {
+    const lay = document.createElement('div');
+    lay.className = 'eqLayer';
+    lay.style.width = viewport.width + 'px';
+    lay.style.height = viewport.height + 'px';
+    for (const eq of eqIndex.equations) {
+      if (eq.page !== pageNo) continue;
+      const g = eqGeom(eq, viewport);
+      if (!g) continue;
+      items.push(g);
+      const b = document.createElement('div');
+      b.className = 'eq-box';
+      b.dataset.eqId = eq.id;
+      b.style.left = g.x0 + 'px';
+      b.style.top = g.y0 + 'px';
+      b.style.width = Math.max(1, g.x1 - g.x0) + 'px';
+      b.style.height = Math.max(1, g.y1 - g.y0) + 'px';
+      lay.appendChild(b);
+    }
+    pageDiv.appendChild(lay);
+  }
+  EQ_BY_PAGE.set(pageNo, items);
+}
+
+/**
+ * 命中判定（契约 §1.4）：
+ *   1) 未外扩矩形包含点击点 → 取面积最小者（并列取阅读序靠前）；
+ *   2) 否则取外扩后包含该点、且到未外扩矩形距离最小者（并列同上）；
+ *   3) 都没有 → 不是公式点击。
+ * 为什么必须严格：实测同一页相邻公式块竖直间隙最小只有 0.8pt，6pt 外扩后必然重叠。
+ */
+function hitTestFormula(e) {
+  if (!eqHotEnabled()) return null;
+  const el = e.target;
+  const pageDiv = el && el.closest ? el.closest('.page[data-page]') : null;
+  if (!pageDiv) return null;
+  const items = EQ_BY_PAGE.get(+pageDiv.dataset.page);
+  if (!items || !items.length) return null;
+  const box = pageDiv.getBoundingClientRect();
+  const px = e.clientX - box.left;
+  const py = e.clientY - box.top;
+  let best = null;
+  for (const it of items) {
+    if (px >= it.x0 && px <= it.x1 && py >= it.y0 && py <= it.y1) {
+      if (!best || it.w * it.h < best.w * best.h) best = it;
+    }
+  }
+  if (best) return best;
+  let bestD = Infinity;
+  for (const it of items) {
+    if (px < it.x0 - it.pad || px > it.x1 + it.pad || py < it.y0 - it.pad || py > it.y1 + it.pad) continue;
+    const dx = px < it.x0 ? it.x0 - px : (px > it.x1 ? px - it.x1 : 0);
+    const dy = py < it.y0 ? it.y0 - py : (py > it.y1 ? py - it.y1 : 0);
+    const d = dx * dx + dy * dy;
+    if (d < bestD - 1e-6) { bestD = d; best = it; }
+    else if (Math.abs(d - bestD) <= 1e-6 && best && it.w * it.h < best.w * best.h) best = it;
+  }
+  return best;
+}
+
+function setEqHover(id) {
+  if (id === eqHoverId) return;
+  eqHoverId = id;
+  document.querySelectorAll('.eq-box.hover').forEach((el) => el.classList.remove('hover'));
+  if (id) {
+    const el = document.querySelector(`.eq-box[data-eq-id="${id}"]`);
+    if (el) el.classList.add('hover');
+  }
+}
+
+function clearEqHit() { document.querySelectorAll('.eq-box.hit').forEach((el) => el.classList.remove('hit')); }
+
+function markEqHit(eq) {
+  clearEqHit();
+  const el = document.querySelector(`.eq-box[data-eq-id="${eq.id}"]`);
+  if (el) el.classList.add('hit');
+}
+
+/** 引用一个公式：热区点击与面板条目共用这一条链路（契约 §1.5）。 */
+function citeFormula(eq, x, y) {
+  askSelection = {
+    text: eqCite(eq),
+    page: eq.page,
+    kind: 'equation',
+    latex: eqLatex(eq.latex),
+    equationIndex: eq.index,
+  };
+  markEqHit(eq);
+  const tag = `第 ${eq.page} 页 · 公式 ${eq.index}`;
+  const body = eqLatex(eq.latex).replace(/\s+/g, ' ');
+  showAskPop({ quote: body ? `${tag}：${body}` : tag, x, y });
+}
+
+function renderEqPanel() {
+  const meta = $('eq-meta');
+  const list = $('eq-list');
+  const eqs = eqIndex.equations;
+  list.innerHTML = '';
+  if (eqs.length) {
+    const src = [eqIndex.producer || 'MinerU', eqIndex.backend].filter(Boolean).join(' · ');
+    meta.textContent = `${eqs.length} 个公式 · ${src}${eqIndex.warning ? '（' + eqIndex.warning + '）' : ''}`;
+  } else {
+    meta.textContent = '';
+  }
+  if (zhVariant !== null) {
+    const n = document.createElement('div');
+    n.id = 'eq-note';
+    n.textContent = '当前是译文视图：没有公式位置信息（bbox 只对原文页面成立），切回原文即可点击公式。';
+    list.appendChild(n);
+  }
+  if (!eqs.length) {
+    const n = document.createElement('div');
+    n.id = 'eq-note';
+    n.textContent = eqIndex.reason === 'bad-artifact'
+      ? 'MinerU 产物损坏或不可读，已忽略（不影响阅读与划词提问）。'
+      : eqIndex.reason === 'no-equations'
+        ? '这篇论文没有解析出公式块（MinerU 产物存在，但 content_list 里没有 equation）。'
+        : mineruMode === 'off'
+          ? '未启用 MinerU：请到 dsh 设置 → 论文伴读 → MinerU 解析后端 选择「本地」或「云端」并保存，然后回到这里点「重新转录」。'
+          : '未找到 MinerU 解析产物。在 dsh 设置 → 论文伴读 → MinerU 解析后端 启用后点下面按钮重新转录。';
+    list.appendChild(n);
+    // 门控：mode==='off' 时不渲染按钮（auto 会落到 pdf.js 并删掉已有的 MinerU 富产物）；
+    // mode 未知（接口不可用）时照旧给按钮，保持与旧版一致的行为。
+    const canRetranscribe = (eqIndex.reason === 'no-mineru-artifact' || eqIndex.reason === 'no-equations') && mineruMode !== 'off';
+    if (canRetranscribe) {
+      const b = document.createElement('button');
+      b.id = 'eq-transcribe';
+      b.className = 'tbtn';
+      b.textContent = '用 MinerU 重新转录';
+      b.onclick = () => transcribeWithMineru(b);
+      list.appendChild(b);
+    }
+    return;
+  }
+  const byPage = new Map();
+  for (const eq of eqs) {
+    if (!byPage.has(eq.page)) byPage.set(eq.page, []);
+    byPage.get(eq.page).push(eq);
+  }
+  for (const [page, arr] of byPage) {
+    const h = document.createElement('div');
+    h.className = 'eq-page';
+    h.textContent = `第 ${page} 页`;
+    list.appendChild(h);
+    for (const eq of arr) {
+      const item = document.createElement('button');
+      item.type = 'button';
+      item.className = 'eq-item';
+      item.dataset.eqId = eq.id;
+      const tag = document.createElement('span');
+      tag.className = 'eq-tag';
+      tag.textContent = `公式 ${eq.index}${eq.bbox ? '' : ' · 无位置信息'}`;
+      const code = document.createElement('code');
+      code.textContent = eqLatex(eq.latex) || '(空)';
+      item.appendChild(tag);
+      item.appendChild(code);
+      item.onclick = () => {
+        const r = item.getBoundingClientRect();
+        citeFormula(eq, r.left, r.bottom + 6);
+      };
+      list.appendChild(item);
+    }
+  }
+}
+
+async function transcribeWithMineru(btn) {
+  if (!current) return;
+  const old = btn.textContent;
+  btn.disabled = true;
+  btn.textContent = '转录中（可能需要几十秒）…';
+  try {
+    await api('/transcribe', {
+      method: 'POST',
+      headers: { 'content-type': 'application/json' },
+      // source:'auto' = 按**当前生效 mode** 选引擎（local → 本地 MinerU；cloud → mineru.net 云端；
+      // off → pdf.js）。硬编码 'mineru-local' 会让配了云端的用户点一次失败一次（上游评审第 6 条）。
+      // 按钮本身在 mode==='off' 时不渲染（见 renderEqPanel 的门控），所以走到这里 mode 必为 local/cloud。
+      body: JSON.stringify({ ...current, force: true, source: 'auto' }),
+    });
+    toast('MinerU 转录完成');
+    await loadFormulas();
+    // 新索引到手：按**当前模式**重渲一次把热区铺上去（翻页模式下必须仍是 renderPaged，
+    // 否则会把全量页渲出来、摘掉 #pdf-pages 的 paged 类，与顶栏模式切换按钮的 active 状态脱节）
+    if (pdfDoc) await rerender();
+  } catch (e) {
+    toast('MinerU 转录失败：' + e.message, 6000);
+  } finally {
+    if (document.body.contains(btn)) { btn.disabled = false; btn.textContent = old; }
+  }
+}
+
+$('eq-toggle').onclick = () => {
+  const open = $('eq-panel').style.display !== 'block';
+  $('eq-panel').style.display = open ? 'block' : 'none';
+  $('eq-toggle').classList.toggle('active', open);
+};
+
+let lastMove = { x: -1, y: -1 };
+document.addEventListener('mousemove', (e) => {
+  if (!eqHotEnabled()) { setEqHover(null); return; }
+  if (Math.abs(e.clientX - lastMove.x) < 2 && Math.abs(e.clientY - lastMove.y) < 2) return;
+  lastMove = { x: e.clientX, y: e.clientY };
+  const hit = hitTestFormula(e);
+  setEqHover(hit ? hit.eq.id : null);
+});
+
+/* ================= 选中即问（文字 + 公式共用一条链路） ================= */
 const askPop = $('ask-pop');
 let askSelection = null;
+// 拖拽起点：公式「点击」判定要求 mousedown→mouseup 位移很小（拖选文字不算点击）
+let downPt = null;
+
+/** 弹层共用的展示动作（文字引用与公式引用都走这里）。 */
+function showAskPop(o) {
+  $('ask-quote').textContent = o.quote.length > 140 ? o.quote.slice(0, 140) + '…' : o.quote;
+  $('ask-input').value = '';
+  $('ask-copy').style.display = askSelection && askSelection.kind === 'equation' ? 'inline-block' : 'none';
+  askPop.style.display = 'block';
+  // 夹在 iframe 视口内（rightbar 窄列里也要能用）
+  const popW = 336, popH = 200;
+  askPop.style.left = Math.max(8, Math.min(o.x, window.innerWidth - popW - 8)) + 'px';
+  askPop.style.top = Math.max(8, Math.min(o.y, window.innerHeight - popH - 8)) + 'px';
+  $('ask-input').focus();
+}
+
+document.addEventListener('mousedown', (e) => { downPt = { x: e.clientX, y: e.clientY }; }, true);
 
 document.addEventListener('mouseup', (e) => {
   if (askPop.contains(e.target)) return;
   setTimeout(() => {
+    const moved = downPt ? Math.abs(e.clientX - downPt.x) + Math.abs(e.clientY - downPt.y) > 4 : false;
+    downPt = null;
     const sel = window.getSelection();
     const text = sel ? sel.toString().trim() : '';
-    if (!text || !current) { askPop.style.display = 'none'; return; }
+    if (!text || !current) {
+      // 无选区（或没有当前文献）时才尝试公式点击 —— 有选区时「划词提问」优先，绝不抢。
+      if (!text && !moved && current) {
+        const hit = hitTestFormula(e);
+        if (hit) { citeFormula(hit.eq, e.clientX, e.clientY + 6); return; }
+      }
+      askPop.style.display = 'none';
+      return;
+    }
     const node = sel.anchorNode && sel.anchorNode.parentElement;
     if (!node || !node.closest('.textLayer')) { askPop.style.display = 'none'; return; }
     const range = sel.getRangeAt(0).getBoundingClientRect();
-    askSelection = { text, page: +((node.closest('.page') || {}).dataset?.page || 0) || null };
-    $('ask-quote').textContent = text.length > 140 ? text.slice(0, 140) + '…' : text;
-    $('ask-input').value = '';
-    askPop.style.display = 'block';
-    // 夹在 iframe 视口内（rightbar 窄列里也要能用）
-    const popW = 336, popH = 190;
-    const x = Math.max(8, Math.min(e.clientX, window.innerWidth - popW - 8));
-    const y = Math.max(8, Math.min(range.bottom + 8, window.innerHeight - popH - 8));
-    askPop.style.left = x + 'px';
-    askPop.style.top = y + 'px';
-    $('ask-input').focus();
+    askSelection = { text, page: +((node.closest('.page') || {}).dataset?.page || 0) || null, kind: 'text' };
+    showAskPop({ quote: text, x: e.clientX, y: range.bottom + 8 });
   }, 10);
 });
 document.addEventListener('mousedown', (e) => { if (!askPop.contains(e.target)) askPop.style.display = 'none'; });
 $('ask-cancel').onclick = () => { askPop.style.display = 'none'; };
 
+// 复制 LaTeX（显式动作：不自动写剪贴板，静默覆盖用户剪贴板是意外副作用）
+$('ask-copy').onclick = async () => {
+  const latex = askSelection && askSelection.kind === 'equation' ? askSelection.text : '';
+  if (!latex) return;
+  // 只在用户显式点按钮时写剪贴板；引用公式/弹气泡本身绝不自动写
+  toast((await copyText(latex)) ? '已复制公式 LaTeX' : '复制失败，请手动选择文本', 5000);
+};
+
+/** 剪贴板写入的**唯一**实现（路径复制与复制 LaTeX 共用）：clipboard API 优先，
+ *  失败/不可用（iframe 权限、非安全上下文）退回 textarea + execCommand。
+ *  返回是否成功——文案由调用方决定。 */
+async function copyText(text) {
+  try {
+    if (navigator.clipboard && navigator.clipboard.writeText) {
+      await navigator.clipboard.writeText(text);
+      return true;
+    }
+  } catch { /* 走下面的兜底 */ }
+  try {
+    const ta = document.createElement('textarea');
+    ta.value = text;
+    document.body.appendChild(ta);
+    ta.select();
+    document.execCommand('copy');
+    ta.remove();
+    return true;
+  } catch { return false; }
+}
+
 $('ask-send').onclick = async () => {
   const question = $('ask-input').value.trim();
   if (!question || !askSelection || !current) return;
@@ -842,12 +1257,16 @@ $('ask-send').onclick = async () => {
     // 会话序号由侧栏树激活时写入 localStorage（默认最新）
     const key = `dpr.sessionN.${current.topic}/${current.name}`;
     const n = +(localStorage.getItem(key) || 0) || undefined;
+    // 公式引用额外带 kind/equationIndex：host 侧据此换用「引用了公式（LaTeX 源）」文案
+    const eq = askSelection.kind === 'equation'
+      ? { kind: 'equation', equationIndex: askSelection.equationIndex }
+      : {};
     const r = await api('/ask', {
       method: 'POST', headers: { 'content-type': 'application/json' },
-      body: JSON.stringify({ ...current, question, selectedText: askSelection.text, page: askSelection.page, ...(n ? { n } : {}) }),
+      body: JSON.stringify({ ...current, question, selectedText: askSelection.text, page: askSelection.page, ...eq, ...(n ? { n } : {}) }),
     });
     askPop.style.display = 'none';
-    toast(`已发送到 会话${r.n}，回答见对话区`);
+    toast(askSelection.kind === 'equation' ? `已引用公式并发送到 会话${r.n}` : `已发送到 会话${r.n}，回答见对话区`);
   } catch (e) { toast('提问失败：' + e.message, 6000); }
   $('ask-send').disabled = false;
 };