@gavinc-cn/touchstone-dsh 0.2.0 → 0.4.0

package/board.py

@@ -96,6 +96,30 @@ def card_workspace(project, card):
     return wt or project["project_dir"]
 
 
+def card_ts_ms(ts_str):
+    """库内时间串（`YYYY-MM-DD HH:MM:SS`，db.now_str 口径=**服务器本地时间**）→ 毫秒 epoch。
+
+    卡面「最后更新时间」（2026-10-10 批次）的下发形态：库里存的是无时区标记的本地
+    时间串（本容器=UTC，Windows 原生运行=+8），前端若直接 `new Date(串)` 会按浏览器
+    本地时区解析 ⇒ 在 UTC 服务器 + 北京浏览器下整整差 8 小时。故一律在服务端换算成
+    epoch（与前端既有的 `scheduled_at`/`last_error_at` 同口径），前端只管按浏览器
+    时区渲染。
+
+    解释口径必须与写入口径互逆：`db.now_str` 用 `time.strftime`（本地时间），此处用
+    `time.mktime`（同按本地时区反解）——Linux(UTC)/Windows(+8) 下都自洽，见
+    tests/test_board_card_time.py 的 TZ 钉子用例。
+
+    坏值/空值返回 None（前端不渲染该小字），绝不抛异常打穿读板路径；不用 0 兜底
+    （0 会被前端当 1970 年渲染）。
+    """
+    if not ts_str:
+        return None
+    try:
+        return int(time.mktime(time.strptime(ts_str, "%Y-%m-%d %H:%M:%S"))) * 1000
+    except (TypeError, ValueError, OverflowError, OSError):
+        return None
+
+
 def card_json(row, running=False, busy=False, msg_queued=False, queue_state=None):
     """卡片 Row -> 前端 dict。running=平台在管运行；busy=会话级运行
     （平台运行或外部 busy——用户在 dsh GUI 直跑的同步卡会话，前端徽标
@@ -112,7 +136,11 @@ def card_json(row, running=False, busy=False, msg_queued=False, queue_state=None
     （queue_state_of 判定序最高级即 answer 在场 ⟺ answer_pending，免二次点查）。
     worktree（2026-10-06 批次）：独立 worktree 卡的落点绝对路径，空串=普通卡
     （前端据此渲染 🌿 徽标与详情行；只写不改口径见 plan D3）——经 `_card_opt`
-    读取，兼容无该列的老库。"""
+    读取，兼容无该列的老库。
+    updated_at_ts（2026-10-10 批次）：`updated_at` 的毫秒 epoch 形态（`card_ts_ms`
+    换算，服务器本地时间解释），供卡面渲染「最后更新时间」的相对时间/本地绝对时间；
+    语义务必与 `updated_at` 一致=**卡片行最后被改写的时刻**（agent 在会话里干活不刷
+    它，会话活动时间是另一回事）。坏值/空值 ⇒ None，前端不渲染该小字。"""
     if queue_state is None:
         answer = is_answer_pending(row["id"])
         queue_state = queue_state_of(row, running, busy, msg_queued, answer=answer)
@@ -130,6 +158,7 @@ def card_json(row, running=False, busy=False, msg_queued=False, queue_state=None
             "last_error": row["last_error"], "last_error_at": row["last_error_at"],
             "worktree": _card_opt(row, "worktree"),
             "created_at": row["created_at"], "updated_at": row["updated_at"],
+            "updated_at_ts": card_ts_ms(row["updated_at"]),
             # 状态有更新·用户未打开（2026-10-07 批次）：卡面打「有更新」标记的依据，
             # 置位/清除全在 db 层派生维护，读侧只透传布尔值。
             "unread": bool(_card_opt(row, "unread") or 0),
@@ -1528,6 +1557,11 @@ _runs_lock = threading.Lock()
 # 单卡片 prompt 长度上限（与 chat.MESSAGE_MAX 对齐）
 PROMPT_MAX = 20000
 
+# 平台任务提示词的段标（`build_task_prompt` 的首段）。除拼提示词外还用作**判据**：
+# 会话首问以它开头 ⇒ 这个会话是平台按某张卡片的内容拼提示词启动的（2026-10-16 起，
+# 这类卡的标题/描述也跟随 DSH，见 `_is_platform_task_session`）。
+TASK_PROMPT_TAG = "【任务描述】"
+
 
 def build_task_prompt(project, card, extra=""):
     """全量任务提示词：任务描述（卡片标题并入描述）+ 工作目录 + 附加段。
@@ -1551,7 +1585,7 @@ def build_task_prompt(project, card, extra=""):
     desc = (card["description"] or "").strip()
     body = "\n\n".join(seg for seg in (title, desc) if seg) or "（无）"
     workspace = card_workspace(project, card)
-    p = (f"【任务描述】{body}\n"
+    p = (f"{TASK_PROMPT_TAG}{body}\n"
          f"【工作目录】{workspace}")
     wt = (_card_opt(card, "worktree") or "").strip()
     if wt:
@@ -2275,6 +2309,17 @@ def compact_session(project, card, sid):
     外部会话的 agent 已在宿主 store 注册，`/session` resume 必撞
     `agent "…" is already registered` ⇒ 500（C 批 T1 实测）。
 
+    **会话存活前置（2026-10-17 修卡 907「TS 侧 /compact 对已结束会话必失败」）**：
+    上面那条「不能先接管」只对**宿主里仍活着**的会话成立；对宿主里**根本没有活 agent**
+    的会话（dsh web 重启、插件重载、久未接续的旧卡——用户报障卡 907 就是 9 天前的
+    平台自建卡），驱动 `/compact` 必 404「会话已结束（宿主无活动 agent）」，上面两跳
+    再怎么补声明也救不回来。而 dsh GUI 自己的 `/compact` 对冷会话是**按需 resume 再执行
+    命令**（`dsh-api-session-controller.resolve` → `agents.resume`），故这里与投递腿
+    `_deliver_now` 同款：先 `_ensure_card_session` 接回（判据/边界同它——中枢未对齐按
+    「未知」不动、sync 卡不收养、回滚阀 `TS_HOST_SESSION_REVIVE=0` 时不动，均为零请求），
+    再走下面的压缩两跳。接不回**不在此收口**：照旧走两跳，由驱动 404 文案兜底（与修复前
+    完全一致）。
+
     sid 必须属于该卡片（sessions 清单或主 session_id），不支持的族抛
     RuntimeError（server 转 400）。
     """
@@ -2285,6 +2330,8 @@ def compact_session(project, card, sid):
         # 单族化：非 dsh 即退场族项目（migrate_p7b 改写后不再出现），
         # 给「改绑 dsh 插件」的明确提示（B0 防呆口径）
         raise RuntimeError(agents.RETIRED_MSG)
+    # 会话存活前置：宿主已失去该会话 ⇒ 先按 resume 语义接回，再压缩（与投递同款）
+    _ensure_card_session(project, card, sid)
     # 路线 A P3（2026-10-03）：走驱动 `/compact`（插件侧执行宿主 `/compact`
     # 命令；`ctx.compaction` 服务在插件 ctx 不可注入，命令路径是 P0 探针的结论）。
     # 触发即返回——压缩在 dsh 进程内异步进行（要过一次模型），失败落宿主日志。
@@ -3421,6 +3468,9 @@ SYNC_BUSY_MTIME_S = 120
 # 用户改名后，同步节拍跟着改卡标题）、描述 = 主会话第一次用户提问**全文**。
 # 旧口径（2026-10-07~10-10：「首问首行进标题、其余行进描述」）已退场，存量卡由
 # `_sync_card_follow` 在首个同步拍回填（详见 board spec §48）。
+# 2026-10-16 扩面（用户诉求「卡面标题/正文与 DSH 保持一致」）：同一口径从
+# `origin='sync'` 卡扩到**平台从看板启动过会话的卡**（判据 = 会话首问是平台拼的
+# 任务提示词，见 `_is_platform_task_session`）；列语义与存量收口仍只服务 sync 卡。
 SYNC_TITLE_MAX = 200   # 标题上限（沿用建卡既有截断：insert_board_card 调用处 [:200]）
 SYNC_DESC_MAX = 2000   # 描述上限（防一次长提问把看板负载撑大）
 
@@ -3582,19 +3632,45 @@ def _auto_title_forms(item, sid):
     return forms
 
 
+def _in_first_prompt(text, item):
+    """卡面字段是否仍是「平台按卡片内容拼进首问」的**原文形态**（判自动写入用）。
+
+    平台起会话时把卡片标题/描述原样拼进首问（`build_task_prompt`：标题并入
+    【任务描述】段、与描述空行分隔）⇒ 卡面字段只要没被用户改过，就必然能在首问
+    原文里原样找到。用户后来改写过的文本通常不在（⇒ 不覆盖，尊重用户编辑）。
+    空/纯空白一律 False（空标题由 `_auto_title_forms` 那一档负责）。
+    """
+    t = (text or "").strip()
+    return bool(t) and t in (item.get("first_prompt") or "")
+
+
+def _is_platform_task_session(item):
+    """该会话是否「平台按某张卡片的内容拼提示词启动的」（判据 = 首问以段标开头）。
+
+    卡片启动腿（`enter_doing` → `build_task_prompt`）拼的首问以 `TASK_PROMPT_TAG`
+    开头；用户在 dsh GUI 里直跑的会话首问是用户原文、续跑腿是「继续」，都不会命中。
+    用于把正向同步（DSH 标题/首问 → 卡面）从 sync 卡扩到**平台从看板启动过会话的卡**
+    （2026-10-16 用户诉求：卡面标题/正文与 DSH 保持一致；见 spec/board §48）。
+    """
+    return (item.get("first_prompt") or "").lstrip().startswith(TASK_PROMPT_TAG)
+
+
 def _sync_card_follow(card, item, sid):
-    """存量 sync 卡按「DSH 当前标题 + 首问全文」补齐的字段 dict（无变化返回 {}）。
+    """卡面按「DSH 当前标题 + 首问全文」补齐的字段 dict（无变化返回 {}）。
 
     只认「主会话」：遍历到的会话不是卡的主会话（多会话并集里的子会话）时不动。
-    只在卡仍由平台自动写入时动（卡标题 ∈ `_auto_title_forms`：空 / sid 短码 / 任一枚
-    会话标题事件 / 旧口径的首问首行）——用户在卡面行内改过标题就整张卡不再自动覆盖
-    （描述也不动）。描述仅在为空、或仍是**旧口径自动写入**（首问除首行）时改成首问
-    全文；用户写过的描述不覆盖。
+    只在卡仍由平台自动写入时动——卡标题 ∈ `_auto_title_forms`（空 / sid 短码 / 任一枚
+    会话标题事件 / 旧口径的首问首行）**或** 仍是平台拼进首问的原文（`_in_first_prompt`，
+    2026-10-16 增：服务「平台从看板启动过会话的卡」——它的标题是用户在卡里敲的原文，
+    不在任何标题事件里）；用户在卡面行内改过标题就整张卡不再自动覆盖（描述也不动）。
+    描述仅在为空、仍是**旧口径自动写入**（首问除首行）、或仍是平台拼进首问的原文时
+    改成首问全文；用户写过的描述不覆盖。
     """
     if (card["session_id"] or sid) != sid:
         return {}
     cur_title = (card["title"] or "").strip()
-    if cur_title not in _auto_title_forms(item, sid):
+    if (cur_title not in _auto_title_forms(item, sid)
+            and not _in_first_prompt(cur_title, item)):
         return {}
     title, desc = _sync_card_fields(item, sid)
     out = {}
@@ -3602,7 +3678,8 @@ def _sync_card_follow(card, item, sid):
         out["title"] = title
     cur_desc = (card["description"] or "").strip()
     legacy_desc = _split_first_prompt(item.get("first_prompt") or "")[1]
-    if desc and cur_desc != desc and cur_desc in ("", legacy_desc):
+    if (desc and cur_desc != desc
+            and (cur_desc in ("", legacy_desc) or _in_first_prompt(cur_desc, item))):
         out["description"] = desc
     return out
 
@@ -3624,6 +3701,10 @@ def sync_sessions(project):
     todo/blocked/done 后不再自动搬）；会话存储被删的 sync 卡自动进 done；绑子代理
     会话的存量 sync 卡收口进回收站（每项目一轮）；上述两类误建卡的存量也按同款
     口径收口（每项目一轮，见函数尾注释）。
+    **平台从看板启动过会话的卡**（用户建卡 → 开始/回车启动，首问 = 平台拼的任务提示词，
+    见 `_is_platform_task_session`）同样按上面同一口径补齐卡面——但**列语义不动**：
+    归档/取消归档的列映射与各类存量收口仍只服务 `origin='sync'` 卡（用户自己的卡，
+    平台只同步标题/描述，不替用户搬列、不软删）。用户改过卡名 ⇒ 整卡不动（含描述）。
     sync 卡不占 runner 项目占用（外部会话平台控制不了，防堵死统一队列）。
     """
     if not settings_of(project["id"]).get("sync_sessions", True):
@@ -3670,13 +3751,15 @@ def sync_sessions(project):
             db.update_board_card(cid, session_id=sid, sessions=json.dumps([sid]),
                                  column_key=col, origin="sync")
             created.append(cid)
-        elif c["origin"] == "sync":
-            # 首问补齐（2026-10-07）：标题/描述仍是平台自动写入形态时按首问覆盖
-            # （覆盖「建卡时提问还没到」的竞态与旧口径的存量卡；用户改过名不动）
+        elif c["origin"] == "sync" or _is_platform_task_session(it):
+            # 卡面补齐（2026-10-07 起服务 sync 卡；2026-10-16 起扩到「平台从看板启动过
+            # 会话的卡」，见 `_sync_card_follow`）：标题/描述仍是平台自动写入形态时按
+            # DSH 当前标题 + 首问全文覆盖（用户改过名整卡不动）
             fields = _sync_card_follow(c, it, sid)
             if fields:
                 db.update_board_card(c["id"], **fields)
-            if c["column_key"] in ("doing", "review") and not _has_active_run(c["id"]):
+            if (c["origin"] == "sync" and c["column_key"] in ("doing", "review")
+                    and not _has_active_run(c["id"])):
                 # dsh 的 busy/空闲 列映射已移交调和器（事件驱动，异常不搬列）；
                 # 此处保留归档→done（archived 来源=list_sessions 的宿主归档集文件读，
                 # 与调和器读驱动帧是两条独立通道：文件读不依赖驱动链路，重启/断连时

package/chat.py

@@ -399,6 +399,39 @@ def cancel_queued(sid=None, card_id=None):
     return sum(1 for r in rows if cancel(r["id"]))
 
 
+def cancel_queued_detail(sid=None, card_id=None, msg_id=None):
+    """取消排队中的消息**并回带原文**（`mode=cancel_queue` 端点的实现；用户点「取消排队」）。
+
+    与 `cancel_queued` 的差别只有「回带」：后者是停止入口共用的计数壳。用户显式取消排队时，
+    前端要把消息原文放回输入框，而 `msgs_of_sid` 下发给前端的展示文本被截到 120 字——
+    回填必须由服务端给**全量原文**，否则长消息被静默截断。
+
+    逐行只在 `cancel()` 真命中（chat_msgs 的 queued→cancelled 原子守卫是仲裁点，R12）
+    时才收进结果：与 worker claim 竞态下已被抢走执行的消息既不会被取消、也不会回带，
+    前端不会把仍在执行的消息错放回输入框。返回按入队顺序（msg_rows 的 created_at,id）。
+
+    `msg_id` 非空 ⇒ 只取消该条（归属校验由端点层做，本函数只管状态）。
+    返回 `{"cancelled": n, "msgs": [{"id", "text"}]}`；空过滤返回空（不误伤全库）。
+    """
+    if not sid and not card_id and not msg_id:
+        return {"cancelled": 0, "msgs": []}
+    if msg_id:
+        row = waitq.msg_get(msg_id)
+        if row is None or row["state"] != STATE_QUEUED:
+            return {"cancelled": 0, "msgs": []}
+        rows = [row]
+    else:
+        rows = waitq.msg_rows(sid=sid, card_id=card_id, states=(STATE_QUEUED,))
+    msgs = []
+    for r in rows:
+        # 先取原文再取消：取消是终态迁移，但仍按「命中才回带」的次序写，读一次即用一次
+        text = r["message"] if r["message"] is not None else ""
+        if not cancel(r["id"]):
+            continue
+        msgs.append({"id": r["id"], "text": str(text)})
+    return {"cancelled": len(msgs), "msgs": msgs}
+
+
 def msgs_of_sid(sid):
     """本会话消息的展示视图（排队/执行中 + 近期失败）：{id,text,state,error,created_at}。