codebee 0.1.66 → 0.1.68

package/app/core/flows.py

@@ -9,6 +9,7 @@
 """
 from __future__ import annotations
 
+import hashlib
 import json
 import re
 import threading
@@ -76,7 +77,10 @@ BUILTIN_FLOWS = [
      "note": "起草 → 多维评审 → 修订循环 → 发布门禁"},
     {"id": "rank_scan", "name": "扫榜选材", "icon": "i-chart", "engine": "direct", "builtin": True,
      "goal_hint": "想写哪个方向（一句话，可留空默认分析总榜热门题材）",
-     "note": "抓取七猫+番茄排行榜公开数据 → AI 提炼跨平台热门题材/人设/差异化切入点（快档直出报告）"},
+     "note": "抓取七猫/番茄/起点/纵横四平台排行榜公开数据 → AI 提炼跨平台热门题材/人设/差异化切入点（快档直出报告）"},
+    {"id": "defect_retro", "name": "缺陷复盘", "icon": "i-history", "engine": "direct", "builtin": True,
+     "goal_hint": "复盘哪个版本/时间段的缺陷（建议附带禅道或 Jira 导出 CSV）",
+     "note": "读取附带的缺陷导出数据 → AI 输出产品/开发/测试三视角复盘报告：整体画像、根因聚类、漏测分析、改进动作（快档直出报告）"},
     {"id": "research", "name": "调研报告", "icon": "i-file-search", "engine": "review", "builtin": True,
      "manuscript": "report.md",
      "rubric": ["全面性", "深度", "论据可靠", "可读性", "结论质量"],
@@ -113,7 +117,7 @@ BUILTIN_FLOWS = [
      "threshold": 7.0, "rounds": 2,
      "goal_hint": "目标岗位 + 个人经历（可贴旧简历附件），几年经验投什么职级",
      "note": "简历优化/定制：起草 → 多维评审 → 修订循环 → 发布门禁"},
-    {"id": "bid_doc", "name": "标书编制", "icon": "i-file-search", "engine": "review", "builtin": True,
+    {"id": "bid_doc", "name": "标书编制", "icon": "i-tasks", "engine": "review", "builtin": True,
      "manuscript": "bid.md",
      "rubric": ["应答完整性", "合规符合度", "方案针对性", "评分点覆盖", "商务清晰度"],
      "threshold": 7.5, "rounds": 2,
@@ -250,6 +254,48 @@ def get_flow(flow_id):
     return None
 
 
+# 参与 digest 的语义字段：会进运行链的参数与提示词。icon/note/goal_hint/name 是
+# 纯展示位——措辞变化不影响执行语义，不应制造「修订漂移」噪音。
+_DIGEST_FIELDS = ("id", "engine", "manuscript", "rubric", "threshold", "rounds",
+                  "best_of", "serial", "draft_prompt", "critique_prompt",
+                  "verify_command")
+
+
+def flow_content_sha256(flow):
+    """Return the full semantic content hash for an immutable flow revision."""
+    if not isinstance(flow, dict):
+        return ""
+    basis = {k: flow.get(k) for k in _DIGEST_FIELDS}
+    blob = json.dumps(basis, ensure_ascii=False, sort_keys=True, default=str)
+    return hashlib.sha256(blob.encode("utf-8")).hexdigest()
+
+
+def flow_digest(flow):
+    """流程定义的内容指纹（sha256 前 16 位）——「这个任务当时用的是哪一版流程」
+    的对账真源（借鉴 WorkDSH ADR-0010 发布后不可变修订）。"""
+    return flow_content_sha256(flow)[:16]
+
+
+def flow_drift(task):
+    """任务流程修订漂移检测：任务创建时钉的 digest vs 当前流程定义。
+
+    任务参数在创建时已固化（改流程不影响固化字段），但 task_compile 对历史
+    任务缺失字段（threshold/rubric/manuscript）仍回落当前流程定义——续跑/
+    重试因此可能静默吃到新流程。这里只诊断不裁定：返回
+    {"flow", "pinned", "current"} 或 None（无快照/流程已删/无漂移）。"""
+    snap = (task or {}).get("flow_snapshot") or {}
+    pinned = str(snap.get("digest") or "")
+    if not pinned:
+        return None
+    cur = get_flow(str((task or {}).get("type") or ""))
+    if not cur:
+        return None
+    current = flow_digest(cur)
+    if not current or current == pinned:
+        return None
+    return {"flow": cur.get("id") or "", "pinned": pinned, "current": current}
+
+
 def upsert_flow(payload):
     """新增/更新流程。返回 (flow, 错误)。
 

package/app/core/goal_service.py

@@ -1,168 +1,168 @@
-# -*- coding: utf-8 -*-
-"""Goal 状态外置：跨轮目标（title/描述/phase/轮次）独立于 LLM 调用持久化。
-
-设计稿：docs/migration/03-state-externalization.md §2A。
-参考 dsh packages/goal/goal/：状态 100% 来自事件溯源（goal/change 事件），
-唯一当前 goal，revision 走 CAS 拒绝陈旧引用。
-
-与 planner.py 的关系：planner 继续负责「LLM 拆解」；GoalService 只管
-「目标状态」——谁都可以读（UI/续行驱动器/流水线），变更必须过 CAS。
-"""
-from __future__ import annotations
-
-import json
-import threading
-import time
-import uuid
-from pathlib import Path
-
-_LOCK = threading.RLock()
-# goal_id -> dict（内存缓存；磁盘为唯一事实来源）
-_GOALS = {}
-_FILE = None  # 由 init() 注入
-
-
-def init(data_dir=None):
-    """注入存储路径并从磁盘加载。测试可传临时目录。"""
-    global _FILE, _GOALS
-    with _LOCK:
-        base = Path(data_dir) if data_dir else Path(_default_dir())
-        base.mkdir(parents=True, exist_ok=True)
-        _FILE = base / "goals.json"
-        _GOALS = {}
-        try:
-            data = json.loads(_FILE.read_text(encoding="utf-8"))
-            for g in data.get("goals") or []:
-                if isinstance(g, dict) and g.get("goal_id"):
-                    _GOALS[g["goal_id"]] = g
-        except (OSError, json.JSONDecodeError):
-            pass
-
-
-def _default_dir():
-    from . import paths
-    return str(paths.DATA_DIR)
-
-
-def _persist():
-    """原子写盘（tmp + replace）。调用方必须已持有 _LOCK。"""
-    if _FILE is None:
-        return
-    tmp = _FILE.with_suffix(".tmp")
-    tmp.write_text(json.dumps({"goals": list(_GOALS.values())},
-                              ensure_ascii=False, indent=2), encoding="utf-8")
-    tmp.replace(_FILE)
-
-
-class StaleRevisionError(Exception):
-    """CAS 失败：调用方持有的是陈旧 revision。"""
-
-
-class GoalExistsError(Exception):
-    """已有未完结的当前 goal，需先 complete/abandon。"""
-
-
-class GoalNotFoundError(Exception):
-    pass
-
-
-def _valid_phase(p):
-    return p in ("active", "paused", "complete", "abandoned")
-
-
-def current():
-    """返回唯一「当前」goal（未 complete/abandoned 的最新一个）；无则 None。"""
-    with _LOCK:
-        open_goals = [g for g in _GOALS.values()
-                      if g.get("phase") in ("active", "paused")]
-        if not open_goals:
-            return None
-        return max(open_goals, key=lambda g: g.get("created_at", 0))
-
-
-def get(goal_id: str):
-    with _LOCK:
-        g = _GOALS.get(goal_id)
-        return dict(g) if g else None
-
-
-def create(title: str, description: str = "", *, rounds_max: int | None = None,
-           metadata: dict | None = None) -> dict:
-    """创建新 goal。已有未完结 goal 时拒绝（单一当前目标，仿 dsh）。
-
-    rounds_max 缺省读 settings_v2 orchestrator.max_goal_rounds（读不到回落 5）。"""
-    if rounds_max is None:
-        try:
-            from .settings_schema import get as ss_get, register_default_namespaces
-            register_default_namespaces()
-            rounds_max = int(ss_get("orchestrator", "max_goal_rounds") or 5)
-        except Exception:
-            rounds_max = 5
-    with _LOCK:
-        cur = current()
-        if cur is not None:
-            raise GoalExistsError(
-                "已有进行中的 goal %s（%s），请先 complete/abandon"
-                % (cur["goal_id"], cur["title"]))
-        goal = {
-            "goal_id": "g" + uuid.uuid4().hex[:12],
-            "title": (title or "").strip(),
-            "description": (description or "").strip(),
-            "phase": "active",
-            "revision": 1,
-            "rounds_started": 0,
-            "rounds_max": max(1, int(rounds_max)),
-            "created_at": time.strftime("%Y-%m-%d %H:%M:%S"),
-            "updated_at": time.strftime("%Y-%m-%d %H:%M:%S"),
-            "metadata": dict(metadata or {}),
-        }
-        _GOALS[goal["goal_id"]] = goal
-        _persist()
-        return dict(goal)
-
-
-def update(goal_id: str, expected_revision: int, **changes) -> dict:
-    """CAS 更新：expected_revision 不匹配即抛 StaleRevisionError。
-
-    允许变更的字段：title/description/phase/rounds_max/metadata。
-    phase 只允许合法值；complete/abandoned 为终态不可再改回。
-    """
-    with _LOCK:
-        g = _GOALS.get(goal_id)
-        if not g:
-            raise GoalNotFoundError(goal_id)
-        if g["revision"] != expected_revision:
-            raise StaleRevisionError(
-                "%s 期望 rev %d，实际 %d" % (goal_id, expected_revision, g["revision"]))
-        if g["phase"] in ("complete", "abandoned"):
-            raise ValueError("goal 已终态（%s），不可再变更" % g["phase"])
-        allowed = {"title", "description", "phase", "rounds_max",
-                   "rounds_started", "metadata"}
-        for k, v in changes.items():
-            if k not in allowed:
-                raise ValueError("不可变更字段：%s" % k)
-            if k == "phase" and not _valid_phase(v):
-                raise ValueError("非法 phase：%s" % v)
-            if k == "rounds_max":
-                v = max(1, int(v))
-            g[k] = v
-        g["revision"] += 1
-        g["updated_at"] = time.strftime("%Y-%m-%d %H:%M:%S")
-        _persist()
-        return dict(g)
-
-
-def increment_rounds(goal_id: str, expected_revision: int) -> dict:
-    """轮次 +1（Goal Round Driver 专用 CAS 入口）。"""
-    with _LOCK:
-        g = _GOALS.get(goal_id)
-        if not g:
-            raise GoalNotFoundError(goal_id)
-        return update(goal_id, expected_revision, rounds_started=g["rounds_started"] + 1)
-
-
-def list_goals(limit: int = 50) -> list:
-    with _LOCK:
-        goals = sorted(_GOALS.values(),
-                       key=lambda g: g.get("created_at", ""), reverse=True)
+# -*- coding: utf-8 -*-
+"""Goal 状态外置：跨轮目标（title/描述/phase/轮次）独立于 LLM 调用持久化。
+
+设计稿：docs/migration/03-state-externalization.md §2A。
+参考 dsh packages/goal/goal/：状态 100% 来自事件溯源（goal/change 事件），
+唯一当前 goal，revision 走 CAS 拒绝陈旧引用。
+
+与 planner.py 的关系：planner 继续负责「LLM 拆解」；GoalService 只管
+「目标状态」——谁都可以读（UI/续行驱动器/流水线），变更必须过 CAS。
+"""
+from __future__ import annotations
+
+import json
+import threading
+import time
+import uuid
+from pathlib import Path
+
+_LOCK = threading.RLock()
+# goal_id -> dict（内存缓存；磁盘为唯一事实来源）
+_GOALS = {}
+_FILE = None  # 由 init() 注入
+
+
+def init(data_dir=None):
+    """注入存储路径并从磁盘加载。测试可传临时目录。"""
+    global _FILE, _GOALS
+    with _LOCK:
+        base = Path(data_dir) if data_dir else Path(_default_dir())
+        base.mkdir(parents=True, exist_ok=True)
+        _FILE = base / "goals.json"
+        _GOALS = {}
+        try:
+            data = json.loads(_FILE.read_text(encoding="utf-8"))
+            for g in data.get("goals") or []:
+                if isinstance(g, dict) and g.get("goal_id"):
+                    _GOALS[g["goal_id"]] = g
+        except (OSError, json.JSONDecodeError):
+            pass
+
+
+def _default_dir():
+    from . import paths
+    return str(paths.DATA_DIR)
+
+
+def _persist():
+    """原子写盘（tmp + replace）。调用方必须已持有 _LOCK。"""
+    if _FILE is None:
+        return
+    tmp = _FILE.with_suffix(".tmp")
+    tmp.write_text(json.dumps({"goals": list(_GOALS.values())},
+                              ensure_ascii=False, indent=2), encoding="utf-8")
+    tmp.replace(_FILE)
+
+
+class StaleRevisionError(Exception):
+    """CAS 失败：调用方持有的是陈旧 revision。"""
+
+
+class GoalExistsError(Exception):
+    """已有未完结的当前 goal，需先 complete/abandon。"""
+
+
+class GoalNotFoundError(Exception):
+    pass
+
+
+def _valid_phase(p):
+    return p in ("active", "paused", "complete", "abandoned")
+
+
+def current():
+    """返回唯一「当前」goal（未 complete/abandoned 的最新一个）；无则 None。"""
+    with _LOCK:
+        open_goals = [g for g in _GOALS.values()
+                      if g.get("phase") in ("active", "paused")]
+        if not open_goals:
+            return None
+        return max(open_goals, key=lambda g: g.get("created_at", 0))
+
+
+def get(goal_id: str):
+    with _LOCK:
+        g = _GOALS.get(goal_id)
+        return dict(g) if g else None
+
+
+def create(title: str, description: str = "", *, rounds_max: int | None = None,
+           metadata: dict | None = None) -> dict:
+    """创建新 goal。已有未完结 goal 时拒绝（单一当前目标，仿 dsh）。
+
+    rounds_max 缺省读 settings_v2 orchestrator.max_goal_rounds（读不到回落 5）。"""
+    if rounds_max is None:
+        try:
+            from .settings_schema import get as ss_get, register_default_namespaces
+            register_default_namespaces()
+            rounds_max = int(ss_get("orchestrator", "max_goal_rounds") or 5)
+        except Exception:
+            rounds_max = 5
+    with _LOCK:
+        cur = current()
+        if cur is not None:
+            raise GoalExistsError(
+                "已有进行中的 goal %s（%s），请先 complete/abandon"
+                % (cur["goal_id"], cur["title"]))
+        goal = {
+            "goal_id": "g" + uuid.uuid4().hex[:12],
+            "title": (title or "").strip(),
+            "description": (description or "").strip(),
+            "phase": "active",
+            "revision": 1,
+            "rounds_started": 0,
+            "rounds_max": max(1, int(rounds_max)),
+            "created_at": time.strftime("%Y-%m-%d %H:%M:%S"),
+            "updated_at": time.strftime("%Y-%m-%d %H:%M:%S"),
+            "metadata": dict(metadata or {}),
+        }
+        _GOALS[goal["goal_id"]] = goal
+        _persist()
+        return dict(goal)
+
+
+def update(goal_id: str, expected_revision: int, **changes) -> dict:
+    """CAS 更新：expected_revision 不匹配即抛 StaleRevisionError。
+
+    允许变更的字段：title/description/phase/rounds_max/metadata。
+    phase 只允许合法值；complete/abandoned 为终态不可再改回。
+    """
+    with _LOCK:
+        g = _GOALS.get(goal_id)
+        if not g:
+            raise GoalNotFoundError(goal_id)
+        if g["revision"] != expected_revision:
+            raise StaleRevisionError(
+                "%s 期望 rev %d，实际 %d" % (goal_id, expected_revision, g["revision"]))
+        if g["phase"] in ("complete", "abandoned"):
+            raise ValueError("goal 已终态（%s），不可再变更" % g["phase"])
+        allowed = {"title", "description", "phase", "rounds_max",
+                   "rounds_started", "metadata"}
+        for k, v in changes.items():
+            if k not in allowed:
+                raise ValueError("不可变更字段：%s" % k)
+            if k == "phase" and not _valid_phase(v):
+                raise ValueError("非法 phase：%s" % v)
+            if k == "rounds_max":
+                v = max(1, int(v))
+            g[k] = v
+        g["revision"] += 1
+        g["updated_at"] = time.strftime("%Y-%m-%d %H:%M:%S")
+        _persist()
+        return dict(g)
+
+
+def increment_rounds(goal_id: str, expected_revision: int) -> dict:
+    """轮次 +1（Goal Round Driver 专用 CAS 入口）。"""
+    with _LOCK:
+        g = _GOALS.get(goal_id)
+        if not g:
+            raise GoalNotFoundError(goal_id)
+        return update(goal_id, expected_revision, rounds_started=g["rounds_started"] + 1)
+
+
+def list_goals(limit: int = 50) -> list:
+    with _LOCK:
+        goals = sorted(_GOALS.values(),
+                       key=lambda g: g.get("created_at", ""), reverse=True)
         return [dict(g) for g in goals[:limit]]