acmer-coach 1.0.0

package/lib/client.js

@@ -0,0 +1,209 @@
+// acmer-coach 浏览器端：会话头部一个「技能树」按钮，点开是全屏技能树。
+//
+// ── 为什么是「弹一层 iframe」而不是把图重画一遍 ──────────────────────
+// 技能树页面（knowledge/skilltree.html）是 render_skilltree.py 从 MAP.yaml
+// 生成的静态页，349 个节点 401 条边。在 React 里重画一遍 = 同一张图两份实现，
+// 而这两份迟早会不一致（改了一处忘另一处）。
+// iframe 直接复用那一份，页面自己从 ./api/progress 读进度。
+//
+// 页面的提供方是 **host 端的 /coach 路由**（index.js 的 registerPages）——
+// 同源，所以 iframe 不需要处理跨域，也不用另起一个 Python 进程。
+//
+// ── 形状是照抄谁的 ───────────────────────────────────────────────
+// @deepseek-ai/dsh-session-log-export（官方包，同一个 dsh 版本）：
+// 同样是「header.utilities 里一个按钮 + 一个浮层」。
+// 差异只有一处：它用 primitives 的 Modal/Button，那两个组件是官方的
+// 内部包（@deepseek-ai/dsh-client-ui-primitives 不在第三方能 require 的
+// 名单里），所以浮层和样式这里自己写 —— 颜色全走 dsh 的 CSS 变量，
+// 换主题自动跟着走。
+//
+// ⚠️ factory 必须 return {apply, inject}。少了它 slot 系统会拿到 undefined，
+// 报错信息是 "received undefined"，跟根因隔了十万八千里（踩过一次）。
+window.__ModuleLoader__.load({
+  id: "acmer-coach",
+  factory: (require) => {
+    const React = require("react");
+    const { jsx, jsxs } = require("react/jsx-runtime");
+    const { createPortal } = require("react-dom");
+
+    const CSS_ID = "acmer-coach-skilltree-css";
+    const CSS = `
+.dshcoach-btn {
+  display: inline-flex; align-items: center; gap: 4px;
+  height: 32px; padding: 6px 12px; min-width: 0;
+  font-family: var(--dsw-font-family, inherit); font-size: 13px; font-weight: 400;
+  line-height: 20px; white-space: nowrap;
+  color: var(--dsw-alias-label-primary, #e6edf3);
+  background: transparent; cursor: pointer;
+  border: 1px solid var(--dsw-alias-border-l2, rgba(255,255,255,.15));
+  border-radius: 18px;
+}
+.dshcoach-btn:hover { background: var(--dsw-alias-interactive-bg-hover, rgba(255,255,255,.06)); }
+.dshcoach-btn span, .dshcoach-btn svg { flex: none; }
+
+.dshcoach-mask {
+  position: fixed; inset: 0; z-index: 9999;
+  display: flex; align-items: center; justify-content: center;
+  background: rgba(0, 0, 0, .55);
+  backdrop-filter: blur(2px);
+}
+.dshcoach-panel {
+  display: flex; flex-direction: column; overflow: hidden;
+  width: min(1400px, 94vw); height: 90vh;
+  background: var(--dsw-alias-bg-base, #0d1117);
+  border: 1px solid var(--dsw-alias-border-l2, rgba(255,255,255,.15));
+  border-radius: 12px;
+  box-shadow: 0 16px 48px rgba(0, 0, 0, .5);
+}
+.dshcoach-bar {
+  display: flex; align-items: center; gap: 8px; flex: none;
+  padding: 10px 14px;
+  border-bottom: 1px solid var(--dsw-alias-border-l1, rgba(255,255,255,.08));
+}
+.dshcoach-title {
+  display: flex; align-items: center; gap: 7px;
+  flex: 1; min-width: 0;
+  font-family: var(--dsw-font-family, inherit); font-size: 14px;
+  color: var(--dsw-alias-label-primary, #e6edf3);
+}
+.dshcoach-title svg { flex: none; }
+.dshcoach-action {
+  font: inherit; font-size: 12px; line-height: 18px;
+  color: var(--dsw-alias-label-secondary, #8b949e);
+  background: transparent; cursor: pointer;
+  border: 1px solid var(--dsw-alias-border-l2, rgba(255,255,255,.15));
+  border-radius: 6px; padding: 3px 10px;
+}
+.dshcoach-action:hover { color: var(--dsw-alias-label-primary, #e6edf3); }
+.dshcoach-frame { flex: 1; width: 100%; border: 0; display: block; }
+`;
+
+    function injectStyle() {
+      if (document.getElementById(CSS_ID)) return;
+      const style = document.createElement("style");
+      style.id = CSS_ID;
+      style.textContent = CSS;
+      document.head.appendChild(style);
+    }
+
+    const PAGE_URL = "/coach/skilltree.html";
+
+    // VP（CompetitionWhale）的品牌标：**拱**是露出水面的鲸背，**波浪**是水面，两笔。
+    //
+    // 为什么不是 emoji：🐋 在不同系统上画风不一（Windows 是蓝色写实鲸、Mac 是另一个样），
+    // 而且它自带颜色 —— 深色/浅色主题切换时不会跟着走。线框 SVG 走 currentColor，
+    // 主题怎么变它怎么变。
+    //
+    // 形状是照着一张位图标描的（338×72 的鲸鱼 logo 截图）：
+    // 把图标区域二值化后按**原始分辨率**打成字符网格读出控制点 ——
+    // 拱顶在 (16.5,3)、两腿撇到 (7.5,11)/(25.5,11)；波浪是
+    // 起(2,17.5) → 峰(9,14) → 谷(16,17.5) → 峰(23,14) → 收(30,17.5)。
+    // 两腿往外撇（像「人」字）是描图时才看出来的细节，垂直腿一眼就假。
+    function WhaleMark({ size = 15 }) {
+      return jsxs("svg", {
+        width: Math.round(size * (34 / 22)),
+        height: size,
+        viewBox: "0 0 34 22",
+        fill: "none",
+        stroke: "currentColor",
+        strokeWidth: 2.6,
+        strokeLinecap: "round",
+        strokeLinejoin: "round",
+        "aria-hidden": "true",
+        focusable: "false",
+        children: [
+          jsx("path", { d: "M7.5 11 C8.5 5.5 11.5 3 16.5 3 C21.5 3 24.5 5.5 25.5 11" }),
+          jsx("path", { d: "M2 17.5 C5.5 17.5 6 14 9 14 C12 14 12.8 17.5 16 17.5 C19.2 17.5 20 14 23 14 C26 14 26.5 17.5 30 17.5" }),
+        ],
+      });
+    }
+
+    /** 全屏浮层：一条窄栏 + 撑满的 iframe。 */
+    function SkillTreeOverlay({ onClose }) {
+      React.useEffect(() => {
+        const onKey = (e) => { if (e.key === "Escape") onClose(); };
+        document.addEventListener("keydown", onKey);
+        return () => document.removeEventListener("keydown", onKey);
+      }, [onClose]);
+
+      return jsx("div", {
+        className: "dshcoach-mask",
+        // 点背景关（点面板内部不关 —— 判据是 target 就是遮罩本身）
+        onClick: (e) => { if (e.target === e.currentTarget) onClose(); },
+        children: jsxs("div", {
+          className: "dshcoach-panel",
+          children: [
+            jsxs("div", {
+              className: "dshcoach-bar",
+              children: [
+                jsxs("div", {
+                  className: "dshcoach-title",
+                  children: [jsx(WhaleMark, { size: 17 }), jsx("span", { children: "技能树" })],
+                }),
+                jsx("button", {
+                  type: "button",
+                  className: "dshcoach-action",
+                  onClick: () => window.open(PAGE_URL, "_blank", "noopener"),
+                  children: "新标签页打开",
+                }),
+                jsx("button", {
+                  type: "button",
+                  className: "dshcoach-action",
+                  onClick: onClose,
+                  children: "✕ 关闭",
+                }),
+              ],
+            }),
+            jsx("iframe", {
+              className: "dshcoach-frame",
+              src: PAGE_URL,
+              title: "技能树",
+            }),
+          ],
+        }),
+      });
+    }
+
+    /** 头部那个按钮 + 它开出来的浮层。 */
+    function SkillTreeHeaderButton() {
+      const [open, setOpen] = React.useState(false);
+      return jsxs(React.Fragment, {
+        children: [
+          jsxs("button", {
+            type: "button",
+            className: "dshcoach-btn",
+            title: "看当前知识点地图与进度",
+            onClick: () => setOpen(true),
+            children: [jsx(WhaleMark, { size: 15 }), jsx("span", { children: "技能树" })],
+          }),
+          // 关掉 = 卸载。iframe 跟着销毁，下次开是新拉的页面 ——
+          // 进度是页面向 host 要的，不会因此读到过期数据。
+          //
+          // ⚠️ 必须 portal 到 body，**不能**就地渲染。踩过：header 元素上挂着
+          // `transform: matrix(1,0,0,1,0,0)`（看着"没位移"，但它照样建立了
+          // containing block），于是 `position: fixed` 的遮罩改成相对 **header**
+          // 定位 —— 755px 高的面板在 75px 高的 header 里居中，y 算出来是 -340，
+          // 整个弹层跑到屏幕外面去了。CDP 实测：panel y=-340。
+          // 这是 CSS 的规矩，不是 dsh 的 bug：transform 非 none 的祖先就是
+          // fixed 后代的包含块。portal 到 body 是标准解法。
+          open ? createPortal(jsx(SkillTreeOverlay, { onClose: () => setOpen(false) }), document.body) : null,
+        ],
+      });
+    }
+
+    // 服务名注入（不是模块名）：等 slots 服务到位再注册。
+    const inject = ["slots"];
+
+    function apply(ctx) {
+      injectStyle();
+      ctx.slots.inject("conversation.session.header.utilities", () => ctx.slots.register({
+        name: "conversation.session.header.utilities",
+        id: "acmer-coach:skilltree",
+        order: 20,
+        registrant: "acmer-coach",
+      }, SkillTreeHeaderButton));
+    }
+
+    return { apply, inject };
+  },
+});

package/lib/setup.js

@@ -0,0 +1,455 @@
+// 环境搭建 + Codeforces 数据同步。
+//
+// 单独一个文件而不是塞进 index.js：这块和教练逻辑**不共享状态** ——
+// 它只往磁盘上放数据，不知道什么叫"节点""游标""检测"。混在一起会让
+// index.js 变成什么都管。
+//
+// ⚠️ 关于「拉数据算掌握度」——**没有这回事**，别在这里加。
+//    试过，证伪了：一个人某题提交 11 次，数据能说"花了很久"，
+//    说不出"卡在哪"。所以这里只做**事实搬运**：把 CF 上的公开记录搬进本地库，
+//    至于"他会不会"，那是检测的事（见 index.js 的 coach_pool/test/grade）。
+//    同步完给的「接触证据」只是**缩小搜索范围**用的，不是结论。
+import { mkdirSync, existsSync, copyFileSync, readdirSync, readFileSync } from 'node:fs'
+import { gunzipSync } from 'node:zlib'
+import { join } from 'node:path'
+
+// ── 表结构 ────────────────────────────────────────────────────────
+// 逐列对齐既有训练库：插件里的查询是按这些列名写的，改列名等于改查询。
+export const SCHEMA = `
+CREATE TABLE IF NOT EXISTS users (
+    id              INTEGER PRIMARY KEY AUTOINCREMENT,
+    handle          TEXT NOT NULL UNIQUE,
+    display_name    TEXT NOT NULL,
+    cf_handle       TEXT,
+    luogu_uid       TEXT,
+    nowcoder_handle TEXT
+);
+CREATE TABLE IF NOT EXISTS unified_submissions (
+    id          INTEGER PRIMARY KEY AUTOINCREMENT,
+    user_id     INTEGER NOT NULL REFERENCES users(id),
+    platform    TEXT NOT NULL CHECK(platform IN ('codeforces','luogu','nowcoder')),
+    problem_id  TEXT NOT NULL,
+    verdict     TEXT NOT NULL DEFAULT 'Other',
+    score       INTEGER DEFAULT 0,
+    time_ms     INTEGER DEFAULT 0,
+    memory_kb   INTEGER DEFAULT 0,
+    language    TEXT DEFAULT '',
+    submitted_at TEXT,
+    cf_sub_id   INTEGER,
+    lg_sub_id   INTEGER,
+    nc_sub_id   INTEGER
+);
+CREATE TABLE IF NOT EXISTS unified_problems (
+    id          INTEGER PRIMARY KEY AUTOINCREMENT,
+    platform    TEXT NOT NULL CHECK(platform IN ('codeforces','luogu','nowcoder')),
+    problem_id  TEXT NOT NULL,
+    title       TEXT DEFAULT '',
+    difficulty  REAL DEFAULT 0,
+    tags        TEXT DEFAULT '',
+    status      TEXT DEFAULT '',
+    solved_date TEXT,
+    url         TEXT DEFAULT '',
+    is_library  INTEGER DEFAULT 0,
+    UNIQUE(platform, problem_id)
+);
+CREATE TABLE IF NOT EXISTS rating_history (
+    id          INTEGER PRIMARY KEY AUTOINCREMENT,
+    user_id     INTEGER NOT NULL REFERENCES users(id),
+    rating      INTEGER DEFAULT 0,
+    rank        TEXT DEFAULT '',
+    max_rating  INTEGER DEFAULT 0,
+    recorded_at TEXT NOT NULL,
+    platform    TEXT NOT NULL DEFAULT 'codeforces'
+);
+CREATE TABLE IF NOT EXISTS diff_rating_map (
+    platform TEXT NOT NULL, diff INTEGER NOT NULL, cf_rating INTEGER NOT NULL,
+    PRIMARY KEY (platform, diff)
+);
+CREATE INDEX IF NOT EXISTS idx_sub_user_plat ON unified_submissions(user_id, platform, problem_id);
+CREATE INDEX IF NOT EXISTS idx_prob_lookup   ON unified_problems(platform, problem_id);
+`
+
+// 跨平台难度归一化：各家的难度档 → 大致等价的 CF rating。
+// 13 行，是人类共识不是精确换算 —— 但它让"牛客 3 档"和"CF 1600"能比。
+export const DIFF_RATING_MAP = [
+  ['luogu', 1, 1000], ['luogu', 2, 1300], ['luogu', 3, 1500], ['luogu', 4, 1700],
+  ['luogu', 5, 2000], ['luogu', 6, 2300], ['luogu', 7, 2600], ['luogu', 8, 3000],
+  ['nowcoder', 1, 800], ['nowcoder', 2, 1200], ['nowcoder', 3, 1600],
+  ['nowcoder', 4, 2000], ['nowcoder', 5, 2400],
+]
+
+// CF 的 verdict → 本库统一用词。插件判 AC 认的是 `'AC'`，**不是** CF 的 `'OK'** ——
+// 不映射的话 AC 集合永远是空的，而症状是"已 AC 的题还在被推"。
+const CF_VERDICT = {
+  OK: 'AC',
+  WRONG_ANSWER: 'WA',
+  TIME_LIMIT_EXCEEDED: 'TLE',
+  MEMORY_LIMIT_EXCEEDED: 'MLE',
+  RUNTIME_ERROR: 'RE',
+  COMPILATION_ERROR: 'CE',
+  IDLENESS_LIMIT_EXCEEDED: 'ILE',
+  PRESENTATION_ERROR: 'PE',
+  FAILED: 'FAILED',
+  SKIPPED: 'SKIPPED',
+  SECURITY_VIOLATED: 'SECURITY',
+  CRASHED: 'CRASHED',
+  REJECTED: 'REJECTED',
+}
+
+const CF_API = 'https://codeforces.com/api'
+
+async function cfGet(path) {
+  const res = await fetch(`${CF_API}/${path}`, {
+    headers: { 'User-Agent': 'acmer-coach/1.0 (training coach plugin)' },
+    signal: AbortSignal.timeout(30000),
+  })
+  if (!res.ok) throw new Error(`CF API HTTP ${res.status}`)
+  const body = await res.json()
+  if (body.status !== 'OK') throw new Error(`CF API：${body.comment ?? '未知错误'}`)
+  return body.result
+}
+
+/** 建表 + 灌难度映射表。幂等，可以反复跑。 */
+export function ensureSchema(db) {
+  db.exec(SCHEMA)
+  const ins = db.prepare(
+    'INSERT OR REPLACE INTO diff_rating_map (platform, diff, cf_rating) VALUES (?,?,?)')
+  for (const [p, d, r] of DIFF_RATING_MAP) ins.run(p, d, r)
+}
+
+/**
+ * 搭一个能用的数据目录：建目录、把地图拷过去、建库。
+ * 已存在的东西**不覆盖** —— 用户的进度比我们的默认值重要。
+ */
+export function initDataDir({ dataDir, dbPath, assetsDir, DatabaseSync }) {
+  const made = { dir: false, knowledge: [], db: false }
+  if (!existsSync(dataDir)) { mkdirSync(dataDir, { recursive: true }); made.dir = true }
+
+  const src = join(assetsDir, 'knowledge')
+  if (existsSync(src)) {
+    for (const f of readdirSync(src)) {
+      if (!/\.(yaml|yml|html)$/.test(f)) continue          // 别把 LICENSE 拷进数据目录
+      const dst = join(dataDir, f)
+      if (existsSync(dst)) continue                        // 不覆盖已有的
+      copyFileSync(join(src, f), dst)
+      made.knowledge.push(f)
+    }
+  }
+
+  const fresh = !existsSync(dbPath)
+  mkdirSync(join(dbPath, '..'), { recursive: true })
+  const db = new DatabaseSync(dbPath)
+  try { ensureSchema(db) } finally { db.close() }
+  made.db = fresh
+  return made
+}
+
+/**
+ * 从 CF 拉公开数据灌进本地库。**不需要登录、不需要 API key** ——
+ * 用的都是 CF 的公开端点。
+ *
+ * @param opts.dbPath    训练库路径
+ * @param opts.handle    CF handle
+ * @param opts.limit     最多拉多少条提交（默认全拉）
+ * @param opts.problemset 是否同时拉全题库（coach_pool 的候选池靠它）
+ * @param opts.onStep    进度回调
+ */
+export async function syncCodeforces({ dbPath, handle, limit = 0, problemset = true, onStep = () => {}, DatabaseSync }) {
+  const h = String(handle ?? '').trim()
+  if (!h) throw new Error('没给 CF handle')
+
+  const db = new DatabaseSync(dbPath)
+  const stat = { user: null, submissions: 0, problems: 0, library: 0, rating: 0, note: '' }
+  try {
+    ensureSchema(db)
+
+    // ── 1. 账号 + 当前 rating ─────────────────────────────────────
+    onStep('拉账号信息…')
+    const [info] = await cfGet(`user.info?handles=${encodeURIComponent(h)}`)
+    if (!info) throw new Error(`CF 上查不到 handle「${h}」`)
+    db.prepare(
+      `INSERT INTO users (handle, display_name, cf_handle) VALUES (?,?,?)
+       ON CONFLICT(handle) DO UPDATE SET cf_handle = excluded.cf_handle`).run(h, h, h)
+    const uid = db.prepare('SELECT id FROM users WHERE handle = ?').get(h).id
+    stat.user = { id: uid, handle: h, rating: info.rating ?? 0, maxRating: info.maxRating ?? 0, rank: info.rank ?? '' }
+
+    if (info.rating) {
+      db.prepare(
+        `INSERT INTO rating_history (user_id, rating, rank, max_rating, recorded_at, platform)
+         VALUES (?,?,?,?,?, 'codeforces')`)
+        .run(uid, info.rating, info.rank ?? '', info.maxRating ?? 0, new Date().toISOString())
+      stat.rating = 1
+    }
+
+    // ── 2. 提交记录 ───────────────────────────────────────────────
+    // CF 的 user.status 分页给，一次最多 10000 条。倒着拉（新的在前）。
+    const insSub = db.prepare(
+      `INSERT OR IGNORE INTO unified_submissions
+       (user_id, platform, problem_id, verdict, time_ms, memory_kb, language, submitted_at, cf_sub_id)
+       VALUES (?,?,?,?,?,?,?,?,?)`)
+    const insProb = db.prepare(
+      `INSERT INTO unified_problems (platform, problem_id, title, difficulty, tags, url, is_library)
+       VALUES ('codeforces', ?, ?, ?, ?, ?, 0)
+       ON CONFLICT(platform, problem_id) DO UPDATE SET
+         title = excluded.title, difficulty = excluded.difficulty,
+         tags = excluded.tags, url = excluded.url`)
+
+    const PAGE = 5000
+    let from = 1, done = false
+    const seenProblems = new Map()
+    while (!done) {
+      onStep(`拉提交记录 ${from}…`)
+      const batch = await cfGet(`user.status?handle=${encodeURIComponent(h)}&from=${from}&count=${PAGE}`)
+      if (!batch.length) break
+      db.exec('BEGIN')
+      try {
+        for (const s of batch) {
+          const p = s.problem ?? {}
+          if (p.contestId === undefined || !p.index) continue    // 非标准题（有些 gym 题没有）
+          const pid = `${p.contestId}${p.index}`
+          const at = new Date((s.creationTimeSeconds ?? 0) * 1000).toISOString()
+          insSub.run(
+            uid, 'codeforces', pid, CF_VERDICT[s.verdict] ?? s.verdict ?? 'Other',
+            s.timeConsumedMillis ?? 0, Math.round((s.memoryConsumedBytes ?? 0) / 1024),
+            s.programmingLanguage ?? '', at, s.id ?? null)
+          stat.submissions++
+          if (!seenProblems.has(pid)) seenProblems.set(pid, p)
+        }
+        db.exec('COMMIT')
+      } catch (e) { db.exec('ROLLBACK'); throw e }
+
+      if (batch.length < PAGE) done = true
+      from += PAGE
+      if (limit && stat.submissions >= limit) done = true
+    }
+
+    // 提交里带出来的题目元信息（CF 会一并返回 tags / rating）
+    db.exec('BEGIN')
+    try {
+      for (const [pid, p] of seenProblems) {
+        insProb.run(pid, p.name ?? '', p.rating ?? 0, (p.tags ?? []).join(','),
+          `https://codeforces.com/contest/${p.contestId}/problem/${p.index}`)
+        stat.problems++
+      }
+      db.exec('COMMIT')
+    } catch (e) { db.exec('ROLLBACK'); throw e }
+
+    // ── 3. 全题库 → coach_pool 的候选池 ───────────────────────────
+    // 只拉一次，11k 道。**这是"出卷有题可挑"的前提** ——
+    // 没有它，教练只能从你做过的那几道里挑，"没做过"这个条件永远满足不了。
+    if (problemset) {
+      onStep('拉全题库（约 11k 道，一次性）…')
+      const { problems } = await cfGet('problemset.problems')
+      db.exec('BEGIN')
+      try {
+        for (const p of problems) {
+          if (p.contestId === undefined || !p.index) continue
+          const pid = `${p.contestId}${p.index}`
+          db.prepare(
+            `INSERT INTO unified_problems (platform, problem_id, title, difficulty, tags, url, is_library)
+             VALUES ('codeforces', ?, ?, ?, ?, ?, 1)
+             ON CONFLICT(platform, problem_id) DO UPDATE SET
+               title = excluded.title, difficulty = excluded.difficulty,
+               tags = excluded.tags, url = excluded.url, is_library = 1`)
+            .run(pid, p.name ?? '', p.rating ?? 0, (p.tags ?? []).join(','),
+              `https://codeforces.com/contest/${p.contestId}/problem/${p.index}`)
+          stat.library++
+        }
+        db.exec('COMMIT')
+      } catch (e) { db.exec('ROLLBACK'); throw e }
+    }
+
+    return { ...stat, dbPath }
+  } finally {
+    db.close()
+  }
+}
+
+// ── 题池导入 ──────────────────────────────────────────────────────
+//
+// 随包发的那份题库（41k 道，三个平台）。**没有它 `coach_pool` 就是废的** ——
+// 挑候选要满足「他没做过」这个条件，而没有题池时候选只能从他做过的那几道里挑，
+// 那个条件永远满足不了。
+//
+// 什么时候导入：`coach_setup init` 建完库顺手灌（首次用就有题可挑）。
+// 幂等：`INSERT ... DO NOTHING`，重复跑不会翻倍。
+export function importPool({ dbPath, poolPath, DatabaseSync, onStep = () => {} }) {
+  if (!existsSync(poolPath)) return { imported: 0, note: '没找到题库文件，coach_pool 会缺候选' }
+  onStep('灌题库…')
+  const raw = gunzipSync(readFileSync(poolPath)).toString('utf8')
+  const db = new DatabaseSync(dbPath)
+  try {
+    ensureSchema(db)
+    const ins = db.prepare(
+      `INSERT INTO unified_problems (platform, problem_id, title, difficulty, tags, url, is_library)
+       VALUES (?,?,?,?,?,?,1)
+       ON CONFLICT(platform, problem_id) DO UPDATE SET
+         title = excluded.title, difficulty = excluded.difficulty,
+         tags = excluded.tags, url = excluded.url, is_library = 1`)
+    let n = 0
+    db.exec('BEGIN')
+    try {
+      for (const line of raw.split('\n')) {
+        if (!line) continue
+        const r = JSON.parse(line)
+        ins.run(r.p, r.i, r.t ?? '', r.d ?? 0, r.g ?? '', r.u ?? '')
+        n++
+      }
+      db.exec('COMMIT')
+    } catch (e) { db.exec('ROLLBACK'); throw e }
+    return { imported: n, note: '' }
+  } finally {
+    db.close()
+  }
+}
+
+// ── 记录导入 ──────────────────────────────────────────────────────
+//
+// 通用入口：不管记录从哪来（浏览器扩展导出的文件、自己写的脚本、
+// 手敲的几行），都走这一个函数落库。
+//
+// **为什么要有这个**：CF 有公开接口，一条命令就能同步；但洛谷和牛客的
+// 提交记录**都要登录态**，没有公开接口。与其给每个平台写一套爬虫
+// （那是要维护、会失效、而且有风险的东西），不如定义**一种格式**，
+// 让数据自己找上门来。
+//
+// 格式（JSON 数组或 JSONL，每行一个）：
+//   { "platform": "luogu", "problem_id": "P1001",
+//     "verdict": "AC", "submitted_at": "2026-09-01T12:00:00+08:00",
+//     "time_ms": 0, "language": "C++", "sub_id": 123 }
+// 只有 platform / problem_id / verdict 是必需的。
+const PLATFORMS = new Set(['codeforces', 'luogu', 'nowcoder'])
+
+/**
+ * 归一化一条记录。认不出来就返回 null（调用方跳过并计数）。
+ *
+ * ⚠️ 洛谷的 verdict：只认 `12 → AC`，其余一律 `Other`。
+ *    细分的状态码（TLE/WA/…）**没有映射** —— 那需要登录态才能核实，
+ *    与其猜一个可能错的映射表，不如只保留能被依赖的那一个判断。
+ *    教练真正用到的也只有这个：`acSet()` 只查 `verdict = 'AC'`。
+ */
+export function normalizeRecord(raw) {
+  if (!raw || typeof raw !== 'object') return null
+  const platform = String(raw.platform ?? '').toLowerCase().trim()
+  if (!PLATFORMS.has(platform)) return null
+
+  // 题号：CF 是 `1015D`，洛谷是 `P1001`，牛客 `NC12345`。
+  // 牛客的 `NC` 前缀要剥掉 —— 插件里 normId() 就是这么认的，两边得一致。
+  let pid = String(raw.problem_id ?? raw.problemId ?? '').trim()
+  if (!pid) return null
+  if (platform === 'nowcoder') pid = pid.replace(/^NC/i, '')
+
+  let verdict = String(raw.verdict ?? raw.status ?? '').trim()
+  if (platform === 'luogu') {
+    verdict = verdict === '12' || verdict === 'AC' ? 'AC' : 'Other'
+  } else if (verdict === 'OK') {
+    verdict = 'AC'            // CF 的写法
+  } else if (!verdict) {
+    verdict = 'Other'
+  }
+
+  let at = raw.submitted_at ?? raw.submitTime ?? raw.time ?? null
+  if (typeof at === 'number') at = new Date(at < 1e12 ? at * 1000 : at).toISOString()
+  if (typeof at !== 'string' || !at) at = new Date().toISOString()
+
+  return {
+    platform, problem_id: pid, verdict, submitted_at: at,
+    time_ms: Number(raw.time_ms ?? 0) || 0,
+    language: String(raw.language ?? '').slice(0, 64),
+    sub_id: raw.sub_id ?? raw.id ?? null,
+  }
+}
+
+/**
+ * 把一批记录写进库。**按题去重**而不是按提交去重 ——
+ * 同一道题提交十次只留一条 AC（和一条最近的非 AC），
+ * 否则导入一份「全部提交记录」会把 AC 集合淹在噪音里。
+ */
+export function importRecords({ dbPath, records, handle = '', DatabaseSync }) {
+  const clean = []
+  let bad = 0
+  for (const r of records ?? []) {
+    const n = normalizeRecord(r)
+    if (n) clean.push(n); else bad++
+  }
+  if (!clean.length) return { inserted: 0, skipped: bad, byPlatform: {}, note: '没有能识别的记录' }
+
+  const db = new DatabaseSync(dbPath)
+  try {
+    ensureSchema(db)
+    const h = String(handle || 'trainer').trim() || 'trainer'
+    db.prepare(
+      `INSERT INTO users (handle, display_name, cf_handle) VALUES (?,?,?)
+       ON CONFLICT(handle) DO NOTHING`).run(h, h, h)
+    const uid = db.prepare('SELECT id FROM users WHERE handle = ?').get(h).id
+
+    // 已有的 AC 集合：导入是**增量**的，不推翻既有判断
+    const have = new Set(db.prepare(
+      "SELECT platform || '|' || problem_id FROM unified_submissions WHERE user_id = ? AND verdict = 'AC'")
+      .all(uid).map((r) => Object.values(r)[0]))
+
+    const insSub = db.prepare(
+      `INSERT INTO unified_submissions
+       (user_id, platform, problem_id, verdict, time_ms, language, submitted_at)
+       VALUES (?,?,?,?,?,?,?)`)
+    const insProb = db.prepare(
+      `INSERT INTO unified_problems (platform, problem_id, title, difficulty, tags, url, is_library)
+       VALUES (?,?, '', 0, '', '', 0) ON CONFLICT(platform, problem_id) DO NOTHING`)
+
+    const by = {}
+    let inserted = 0
+    db.exec('BEGIN')
+    try {
+      for (const r of clean) {
+        const key = `${r.platform}|${r.problem_id}`
+        // 已经有 AC 的题，非 AC 记录不覆盖（那只会把"过了"改成"没过"）
+        if (have.has(key) && r.verdict !== 'AC') continue
+        insSub.run(uid, r.platform, r.problem_id, r.verdict, r.time_ms, r.language, r.submitted_at)
+        insProb.run(r.platform, r.problem_id)
+        if (r.verdict === 'AC') have.add(key)
+        by[r.platform] = (by[r.platform] ?? 0) + 1
+        inserted++
+      }
+      db.exec('COMMIT')
+    } catch (e) { db.exec('ROLLBACK'); throw e }
+
+    return { inserted, skipped: bad, byPlatform: by, uid }
+  } finally {
+    db.close()
+  }
+}
+
+/**
+ * 接触证据：**不是掌握度**，是"他碰过没有"。
+ *
+ * 用途只有一个 —— 冷启动时缩小搜索范围，好让第一次检测落在不太离谱的地方。
+ * 不要拿它下结论：AC 过 20 道 dp 题说明"他见过 dp"，
+ * 不说明"他会区间 DP" —— 后者只能靠检测。
+ *
+ * @returns [{tag, ac, tried, maxRating, minRating}] 按 AC 数降序
+ */
+export function contactEvidence(db, uid) {
+  const rows = db.prepare(
+    `SELECT p.tags AS tags, s.verdict AS verdict, p.difficulty AS difficulty
+     FROM unified_submissions s
+     JOIN unified_problems p
+       ON p.platform = s.platform AND p.problem_id = s.problem_id
+     WHERE s.user_id = ?`).all(uid)
+  const byTag = new Map()
+  for (const r of rows) {
+    for (const t of String(r.tags ?? '').split(',').map((x) => x.trim()).filter(Boolean)) {
+      const e = byTag.get(t) ?? { tag: t, ac: 0, tried: 0, maxRating: 0, minRating: 0 }
+      e.tried++
+      if (r.verdict === 'AC') {
+        e.ac++
+        const d = r.difficulty ?? 0
+        if (d) {
+          if (!e.minRating || d < e.minRating) e.minRating = d
+          if (d > e.maxRating) e.maxRating = d
+        }
+      }
+      byTag.set(t, e)
+    }
+  }
+  return [...byTag.values()].sort((a, b) => b.ac - a.ac || b.tried - a.tried)
+}