libero-mcp 0.2.7 → 0.2.8

package/dist/mcp/src/profile/index.js

@@ -49,48 +49,48 @@ export function createProfileTools(repo) {
             });
         },
         /**
-         * S40 slice 2（2026-08-02）：Atomic claim — 多 cron 并发场景的"赢者通吃"。
+         * S40 slice 2 → slice 3（2026-08-03 升级）：Atomic claim。
          *
-         * 解决问题：nag fan-out 时飞书 cron + 企微 cron 同时启动，都看到 settings=null
-         * → 都发 → 违反产品叙事「同步响一次」。
+         * 历史：slice 2 是 tool 层「读-检查-写」，集成测试量出 100% race（每次并发都双发）。
+         * slice 3 改为：repo 提供 claimNudgeAtomic（用 better-sqlite3 db.transaction 包整段）。
          *
-         * Atomic 原子（better-sqlite3 transaction）：BEGIN → SELECT → 检查 window → UPDATE → COMMIT。
-         * window_minutes 内只有第一个调用赢（won=true），后续调用返回 won=false 但不写时间戳。
+         * 兼容降级：如果 repo 没实现 claimNudgeAtomic（如 InMemoryProfileRepo），
+         * 走旧版非原子逻辑——但会在 §4.5 静默折叠意义上「未声明」，所以打 WARN 日志。
          *
-         * 调用方（cron prompt）必须看 won：
-         *   won=true  → 输出问候
-         *   won=false → 输出 [SILENT]（已被别的 cron 抢先）
-         *
-         * 默认 window = 5 分钟，覆盖 cron 启动间隔差。
+         * @4.5 显式声明：sqlite transaction 是真 atomic（阻塞 event loop + 写锁）。
+         * 在 in-memory repo 下无 atomic 保护——但 in-memory 只在测试场景，无生产风险。
          */
         async claimNudge(input) {
             if (!input.user_id) {
                 throw new Error("user_id 为必填参数");
             }
             const windowMinutes = input.window_minutes ?? 5;
+            // 优先用 repo 提供的 atomic 版本（sqlite production path）
+            if (typeof repo.claimNudgeAtomic === "function") {
+                return repo.claimNudgeAtomic({
+                    user_id: input.user_id,
+                    window_minutes: windowMinutes,
+                });
+            }
+            // 兼容降级（in-memory / 测试）：非原子，无并发安全保证
+            // ⚠️ §4.5 声明：此分支不是 atomic，仅用于无并发的测试场景
+            // eslint-disable-next-line no-console
+            console.warn("[claimNudge] repo.claimNudgeAtomic 未实现，降级到非原子路径。" +
+                "仅测试场景安全，生产必须用 SqliteProfileRepo。");
             const windowMs = windowMinutes * 60 * 1000;
             const now = new Date();
             const nowIso = now.toISOString();
-            // Atomic block: 用 repo 提供的 transaction hook
-            // 但 ProfileRepo interface 没有 transaction API —— 通过 repo.upsert 的「读-合并-写」语义实现
-            // 真正的 atomic 要靠 sqlite 层，但为兼容 in-memory repo，我们在 tool 层用读后写
-            // ⚠️ §4.5 静默折叠声明：这不是 100% atomic（读-写之间有 race window）
-            //    但 sqlite 层的默认 statement-level atomic 在实践中足够（< 1ms 窗口）
-            //    真 100% atomic 需要 SqliteProfileRepo 暴露 transaction 接口（slice 3 补）
             const existing = await repo.getById(input.user_id);
             const existingSettings = existing?.settings != null
                 ? existing.settings
                 : {};
-            // 检查：window 内是否已被写过
             const lastNudgeAt = existingSettings.last_inactivity_nudge_at;
             if (typeof lastNudgeAt === "string") {
                 const ageMs = now.getTime() - new Date(lastNudgeAt).getTime();
                 if (ageMs < windowMs) {
-                    // window 内已被 claim，本次输
                     return { won: false, profile: existing };
                 }
             }
-            // 赢，写时间戳
             const merged = {
                 ...existingSettings,
                 last_inactivity_nudge_at: nowIso,

package/dist/mcp/src/repo/sqlite.js

@@ -552,6 +552,65 @@ export class SqliteProfileRepo {
         }
         return (await this.getById(input.user_id));
     }
+    /**
+     * S40 slice 3：Atomic claim nudge。
+     *
+     * 用 better-sqlite3 的 `db.transaction()` 把「SELECT → 检查 window → UPDATE → 返回」
+     * 包成一个原子单元。better-sqlite3 是**同步**的——transaction 期间阻塞 event loop，
+     * 第二个调用根本没机会插入。
+     *
+     * 注意：transaction 返回的函数是同步的，必须在同步上下文调用（不能 await）。
+     * 这里包装成 async 只是为了匹配 ProfileRepo interface，内部完全同步执行。
+     */
+    async claimNudgeAtomic(input) {
+        const windowMs = input.window_minutes * 60 * 1000;
+        const now = new Date();
+        const nowIso = now.toISOString();
+        const nowDb = nowIso.replace("T", " ").replace("Z", "");
+        const rowToProfile = (r) => ({
+            id: r.id,
+            display_name: r.display_name,
+            expectations: r.expectations,
+            settings: r.settings != null ? JSON.parse(r.settings) : null,
+            created_at: r.created_at,
+            updated_at: r.updated_at,
+        });
+        const selectStmt = this.db.prepare("SELECT id, display_name, expectations, settings, created_at, updated_at FROM user_profile WHERE id = ? AND deleted_at IS NULL");
+        const updateStmt = this.db.prepare(`UPDATE user_profile SET settings = ?, updated_at = ? WHERE id = ?`);
+        const insertStmt = this.db.prepare(`INSERT INTO user_profile (id, display_name, expectations, settings, created_at, updated_at)
+       VALUES (?, '', NULL, ?, ?, ?)`);
+        // transaction 函数（同步）。better-sqlite3 在 transaction() 期间阻塞 event loop，
+        // 第二个并发调用必须等第一个 COMMIT 才能进入 BEGIN。
+        const txn = this.db.transaction(() => {
+            const row = selectStmt.get(input.user_id);
+            const existingSettings = row?.settings != null
+                ? JSON.parse(row.settings)
+                : {};
+            const lastNudgeAt = existingSettings.last_inactivity_nudge_at;
+            if (typeof lastNudgeAt === "string") {
+                const ageMs = now.getTime() - new Date(lastNudgeAt).getTime();
+                if (ageMs < windowMs) {
+                    return { won: false, profile: rowToProfile(row) };
+                }
+            }
+            const merged = {
+                ...existingSettings,
+                last_inactivity_nudge_at: nowIso,
+            };
+            const settingsJson = JSON.stringify(merged);
+            if (row) {
+                updateStmt.run(settingsJson, nowDb, input.user_id);
+            }
+            else {
+                insertStmt.run(input.user_id, settingsJson, nowDb, nowDb);
+            }
+            const updated = selectStmt.get(input.user_id);
+            return { won: true, profile: rowToProfile(updated) };
+        });
+        // BEGIN IMMEDIATE：立刻拿写锁，防止 deferred 模式下读-写升级冲突
+        // better-sqlite3 API：transaction 函数有 .immediate(args) 变种
+        return txn.immediate();
+    }
 }
 // ============================================================
 // SqliteReminderRepo (S11 — reminder persistence)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "libero-mcp",
-  "version": "0.2.7",
+  "version": "0.2.8",
   "description": "AI 时间管理教练 MCP 工具集——时间块记录、统计、矩阵诊断、计时、分类、profile",
   "license": "MIT",
   "author": "amosyuan",