@240xu/dsh-message-ops 0.4.0 → 0.4.2

package/README.md

@@ -198,3 +198,24 @@ MIT
   逐条「恢复」（restoring 中间态禁用，S11）；无标记时 dock 不渲染。
 - 数据链：messages 端点为 user 消息新增 `fullText` 字段（回填原文）。
 - 0.1.x 宿主两个槽均不存在，inject 自动 no-op。
+
+### 0.4.1 · dock 修复：统计口径 + 原生观感
+
+- **统计修复**：旧版把历史累积的被遮蔽消息全算进「已回撤 N 条」（多次恢复重放后
+  虚高到数百）。现在 dock 只列**手工回撤/删除标记**（排除 compaction checkpoint），
+  每条标记显示其 range 内**当前不可见**的消息数；头部为标记计数。
+- **原生观感**：样式改为官方 GoalDock/TodoDock 同款——36px 高毛玻璃条
+  （`--dsw-specific-menu` + `--dsw-elevation-panel` + `--dsw-radius-md`）、
+  composer 卡片对齐宽度（`--dsh-composer-dock-inset` 系列）、13px/500 label、
+  28px 圆形切换钮——与目标/计划 dock 视觉完全一致。
+
+### 0.4.2 · dock 像素级对齐 opencode + 回撤生命周期修正
+
+- **回撤生命周期**（对齐 opencode clear 语义）：restore 的 notice 事件现携带
+  `restoresSeq` 引用被恢复的标记——dock 只显示**活跃**标记，已恢复项自动消失
+  （此前恢复过的标记永远挂在列表里，计数随之虚高）。
+- **像素级对齐 opencode SessionRevertDock**（读其 dev 分支源码逐项落地）：
+  42px 头部（reset 图标 + 13px/500 label + 折叠时第一条预览文本 + 180° 旋转
+  chevron）、rounded-xl + 0.5px 边框 + bg-layer-01 容器、24px 行高 + neutral
+  小按钮（非文字链）、items 变化自动折叠、Enter/Space 键盘切换、18px
+  sacrificial 空间。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@240xu/dsh-message-ops",
-  "version": "0.4.0",
+  "version": "0.4.2",
   "description": "Roll back, branch, and export any DSH conversation — from the UI or straight from the agent via a message_ops tool. Non-destructive: logs stay append-only and recoverable. 消息回滚/删除/分支/导出四合一，内置 message_ops agent 工具；非破坏语义，日志只追加可恢复。",
   "type": "module",
   "license": "MIT",

package/src/client.js

@@ -70,7 +70,9 @@ window.__ModuleLoader__.load({
       'busy.restore': '恢复中…',
       'confirm.restore': '恢复',
       'ack.restore': '我已了解：恢复将以新 seq 重放被遮蔽的消息（原日志不变）',
-      'dock.title': '已回撤 {n} 条（可恢复）',
+      'dock.title': '已回撤 {n} 条消息',
+      'dock.expand': '展开回撤列表',
+      'dock.collapse': '折叠回撤列表',
       'dock.restore': '恢复',
       'dock.restoring': '恢复中…',
       'menu.ops': '消息操作',
@@ -120,7 +122,10 @@ window.__ModuleLoader__.load({
       'done.delete': 'Deleted; reload to apply',
       'action.reload': 'Reload page',
       'errorPrefix': 'Operation failed: ',
-      'dock.title': '{n} rolled back (restorable)',
+      'dock.title': '{n} messages rolled back',
+      'dock.expand': 'Expand revert list',
+      'dock.collapse': 'Collapse revert list',
+      'dock.shadowedN': '{n} shadowed',
       'dock.restore': 'Restore',
       'dock.restoring': 'Restoring…',
       'menu.ops': 'Message ops',
@@ -675,6 +680,16 @@ window.__ModuleLoader__.load({
     const INPUT_DOCK_SLOT = 'conversation.input.dock'
     const INPUT_DOCK_ID = 'message-ops-revert-dock'
 
+    // 0.4.2 活跃标记计算：排除 compaction 标记 + 已被恢复（后续 restore notice
+    // 引用其 seq）的标记 —— 对齐 opencode clear 语义：恢复后不再显示为待恢复项。
+    function activeMarkers(msgs) {
+      const restored = new Set()
+      for (const m of msgs || []) {
+        if (m && typeof m.restoresSeq === 'number') restored.add(m.restoresSeq)
+      }
+      return (msgs || []).filter((m) => m.marker && m.sourceKind !== 'compact-checkpoint' && !restored.has(m.seq))
+    }
+
     function RevertDock(props) {
       const { sessionId, useSessions, inputActions } = props
       const t = (props && props.t) || __t
@@ -684,25 +699,53 @@ window.__ModuleLoader__.load({
       const summary = sessions && sessions.byId ? sessions.byId[sessionId] : undefined
       const running = summary ? summary.running === true : false
       const [open, setOpen] = useState(false)
-      const [rows, setRows] = useState(null)   // [{seq, snippet, role}] replace 标记行
-      const [shadowedCount, setShadowedCount] = useState(0)
+      const [markers, setMarkers] = useState(null) // 活跃回撤标记（已恢复的自动消失）
       const [restoring, setRestoring] = useState(null)
+      const [styleInjected, setStyleInjected] = useState(false)
+
+      // opencode SessionRevertDock 视觉（v2 布局，DSH 令牌等价映射）
+      useEffect(() => {
+        if (styleInjected || typeof document === 'undefined') return
+        if (document.getElementById('dsh-message-ops-dock-style')) { setStyleInjected(true); return }
+        const tag = document.createElement('style')
+        tag.id = 'dsh-message-ops-dock-style'
+        tag.textContent = [
+          // 容器：rounded-xl + 0.5px 边框 + bg-layer-01（M1 修正令牌）
+          '.mopsRd{width:100%;overflow:hidden;border-radius:var(--dsw-radius-md,12px);border:.5px solid var(--dsw-alias-border-l1,rgba(128,128,128,.25));background:var(--dsw-alias-bg-layer-1,#1e1e20)}',
+          // 头部 42px：图标 + label + 折叠预览 + 旋转 chevron
+          '.mopsRdHead{display:flex;height:42px;align-items:center;gap:8px;padding-left:16px;padding-right:8px;cursor:pointer;user-select:none}',
+          '.mopsRdIcon{display:inline-flex;color:var(--dsw-alias-label-tertiary,#9a9aa0);flex:none}',
+          '.mopsRdLabel{font-size:13px;font-weight:500;line-height:20px;letter-spacing:-.04px;flex:none;cursor:default;color:var(--dsw-alias-label-primary,inherit)}',
+          '.mopsRdLabelCollapsed{color:var(--dsw-alias-label-secondary,#a8a8ae)}',
+          '.mopsRdPreview{min-width:0;flex:1;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:13px;font-weight:400;line-height:20px;letter-spacing:-.04px;cursor:default;color:var(--dsw-alias-label-tertiary,#9a9aa0)}',
+          '.mopsRdChevron{margin-left:auto;flex:none;display:inline-flex;align-items:center;justify-content:center;width:28px;height:28px;border:none;border-radius:999px;background:transparent;color:var(--dsw-alias-label-tertiary,#9a9aa0);cursor:pointer;transition:transform .15s ease}',
+          // 列表：24px 行 + neutral 小按钮（非文字链）
+          '.mopsRdList{display:flex;flex-direction:column;gap:8px;max-height:168px;overflow-y:auto;padding:1px 16px 12px}',
+          '.mopsRdRow{display:flex;height:24px;min-width:0;align-items:center;gap:8px}',
+          '.mopsRdRowText{min-width:0;flex:1;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:13px;font-weight:400;line-height:20px;letter-spacing:-.04px;color:var(--dsw-alias-label-secondary,#a8a8ae)}',
+          '.mopsRdRestore{flex:none;font:inherit;font-size:12px;line-height:18px;padding:2px 10px;border-radius:6px;cursor:pointer;color:var(--dsw-alias-label-primary,inherit);background:var(--dsw-alias-interactive-bg-hover,rgba(128,128,128,.12));border:1px solid var(--dsw-alias-border-l1,rgba(128,128,128,.2));opacity:1}',
+          '.mopsRdRestore:disabled{opacity:.45;cursor:default}',
+          // 折叠时 18px sacrificial 空间（composer 负 lift 重叠）
+          '.mopsRdSpacer{height:18px}',
+        ].join('')
+        document.head.appendChild(tag)
+        setStyleInjected(true)
+      }, [styleInjected])
 
       useEffect(() => {
         let alive = true
-        fetch('/api/message-ops/messages?sessionId=' + encodeURIComponent(sessionId))
+        const load = () => fetch('/api/message-ops/messages?sessionId=' + encodeURIComponent(sessionId))
           .then((r) => (r.ok ? r.json() : null))
           .then((data) => {
             if (!alive || !data || !data.ok) return
-            const msgs = data.messages || []
-            setShadowedCount(msgs.filter((m) => m.visible === false && m.role !== 'system').length)
-            setRows(msgs.filter((m) => m.marker))
+            setMarkers(activeMarkers(data.messages || []))
           })
           .catch(() => {})
+        load()
         return () => { alive = false }
       }, [sessionId])
 
-      if (!rows || !rows.length) return null   // 无回撤标记 → dock 不渲染
+      if (!markers || !markers.length) return null
 
       const restoreRow = (row) => {
         if (restoring != null || running) return
@@ -716,51 +759,52 @@ window.__ModuleLoader__.load({
             try { data = await res.json() } catch { /* keep {} */ }
             if (!res.ok || !data.ok) throw new Error(data.error || ('HTTP ' + res.status))
             notifyDone(t('done.restore', { n: String(data.restoredCount != null ? data.restoredCount : '?'), s: String(data.skipped != null ? data.skipped : 0) }))
-            // 刷新 dock 数据（重放后标记行状态变化）
+            setRestoring(null)
             const fresh = await fetch('/api/message-ops/messages?sessionId=' + encodeURIComponent(sessionId)).then((r) => (r.ok ? r.json() : null)).catch(() => null)
-            if (fresh && fresh.ok) {
-              const msgs = fresh.messages || []
-              setShadowedCount(msgs.filter((m) => m.visible === false && m.role !== 'system').length)
-              setRows(msgs.filter((m) => m.marker))
-            }
+            if (fresh && fresh.ok) setMarkers(activeMarkers(fresh.messages || []))
           })
           .catch((reason) => {
             notifyDone(t('errorPrefix') + (reason && reason.message ? reason.message : String(reason)), 'error')
+            setRestoring(null)
           })
-          .finally(() => setRestoring(null))
       }
 
-      const rowEl = (row) => React.createElement('div', {
-        key: row.seq,
-        style: { display: 'flex', alignItems: 'center', gap: 8, padding: '4px 10px',
-                 borderTop: '1px solid var(--dsw-alias-border-l1,rgba(128,128,128,.15))' },
-      },
-        React.createElement('span', { style: { flex: 1, minWidth: 0, overflow: 'hidden', textOverflow: 'ellipsis', whiteSpace: 'nowrap', fontSize: 12, opacity: 0.85 } },
-          '#' + row.seq + ' ' + (row.role || '') + ' · ' + (row.snippet || '')),
+      // items 变化自动折叠（opencode createEffect 同款）
+      useEffect(() => { setOpen(false) }, [markers && markers.length, markers && markers[0] && markers[0].seq])
+
+      const headerKbd = (e) => { if (e.key === 'Enter' || e.key === ' ') { e.preventDefault(); setOpen((v) => !v) } }
+      const label = t('dock.title', { n: String(markers.length) })
+      const preview = markers[0] && markers[0].snippet ? markers[0].snippet : ''
+
+      const rowEl = (row) => React.createElement('div', { key: row.seq, className: 'mopsRdRow' },
+        React.createElement('span', { className: 'mopsRdRowText' }, '#' + row.seq + ' · ' + (row.snippet || '')),
         React.createElement('button', {
-          type: 'button', 'aria-label': t('dock.restore'), disabled: restoring != null || running,
-          style: { border: 'none', background: 'transparent', color: 'var(--dsw-alias-link,#8ab4f8)',
-                   font: 'inherit', fontSize: 12, cursor: restoring != null || running ? 'default' : 'pointer',
-                   opacity: restoring != null || running ? 0.5 : 1, padding: '4px 8px', minHeight: 28 },
+          type: 'button', className: 'mopsRdRestore', disabled: restoring != null || running,
           onClick: () => restoreRow(row),
         }, restoring === row.seq ? t('dock.restoring') : t('dock.restore')),
       )
 
-      return React.createElement('div', {
-        role: 'region', 'aria-label': t('dock.title', { n: String(shadowedCount) }),
-        style: { border: '1px solid var(--dsw-alias-border-l1,rgba(128,128,128,.25))', borderRadius: 8, margin: '0 0 8px', overflow: 'hidden',
-                 background: 'var(--dsw-alias-bg-elevated,rgba(128,128,128,.06))' },
-      },
-        React.createElement('button', {
-          type: 'button', 'aria-expanded': open,
-          style: { display: 'flex', width: '100%', alignItems: 'center', justifyContent: 'space-between',
-                   border: 'none', background: 'transparent', color: 'inherit',
-                   font: 'inherit', fontSize: 12, padding: '6px 10px', cursor: 'pointer', minHeight: 32 },
-          onClick: () => setOpen((v) => !v),
+      const chevron = React.createElement('button', {
+        type: 'button', 'aria-label': open ? t('dock.collapse') : t('dock.expand'), 'aria-expanded': open,
+        className: 'mopsRdChevron',
+        onClick: (e) => { e.stopPropagation(); setOpen((v) => !v) },
+      }, React.createElement('svg', { width: 14, height: 14, viewBox: '0 0 16 16', fill: 'none',
+        style: { transform: open ? 'rotate(0deg)' : 'rotate(180deg)', transition: 'transform .15s ease' } },
+        React.createElement('path', { d: 'M4 6l4 4 4-4', stroke: 'currentColor', strokeWidth: 1.3, strokeLinecap: 'round', strokeLinejoin: 'round' })))
+
+      return React.createElement('div', { className: 'mopsRd', role: 'region', 'aria-label': label },
+        React.createElement('div', {
+          className: 'mopsRdHead', role: 'button', tabIndex: 0,
+          onClick: () => setOpen((v) => !v), onKeyDown: headerKbd,
         },
-          React.createElement('span', null, t('dock.title', { n: String(shadowedCount) })),
-          React.createElement('span', { style: { opacity: 0.6 } }, open ? '▾' : '▸')),
-        open ? React.createElement('div', { style: { maxHeight: 180, overflowY: 'auto' } }, rows.map(rowEl)) : null,
+          React.createElement('span', { className: 'mopsRdIcon' },
+            React.createElement('svg', { width: 15, height: 15, viewBox: '0 0 16 16', fill: 'none' },
+              React.createElement('path', { d: 'M2.5 8a5.5 5.5 0 1 0 1.6-3.9', stroke: 'currentColor', strokeWidth: 1.2, strokeLinecap: 'round' }),
+              React.createElement('path', { d: 'M2.2 2.8v3h3', stroke: 'currentColor', strokeWidth: 1.2, strokeLinecap: 'round', strokeLinejoin: 'round' }))),
+          React.createElement('span', { className: 'mopsRdLabel' + (open ? '' : ' mopsRdLabelCollapsed') }, label),
+          open ? null : React.createElement('span', { className: 'mopsRdPreview' }, preview),
+          React.createElement('span', { style: { marginLeft: 'auto', flex: 'none' } }, chevron)),
+        open ? React.createElement('div', { className: 'mopsRdList' }, markers.map(rowEl)) : null,
       )
     }
 

package/src/ops-core.js

@@ -143,9 +143,11 @@ export function applyRestore(session, plan, { flush } = {}) {
   const notice = `[消息恢复] 重放 seq ${plan.startSeq}..${plan.endSeq} 的 ${plan.replayable.length} 条消息` +
     (plan.skipped > 0 ? `（另有 ${plan.skipped} 条不可重放事件已跳过）` : "") +
     `；原区间仍处于遮蔽状态，恢复为重放而非解除遮蔽`;
+  // 0.4.2：notice 事件携带 restoresSeq —— dock 据此把被恢复的标记从「活跃回撤」
+  // 中移除（对齐 opencode clear 语义：恢复后不再显示为待恢复项）。
   const noticeEvent = session.append(
     "system/message",
-    { message: { role: "system", content: [{ type: "text", text: notice }] } },
+    { message: { role: "system", content: [{ type: "text", text: notice }] }, restoresSeq: plan.restoreSeq },
     { surfaceOp: "append" },
   );
   if (noticeEvent && noticeEvent.seq != null) eventSeqs.push(noticeEvent.seq);

package/src/session-file.js

@@ -184,6 +184,13 @@ export function listMessages(events) {
         snippet: text.replace(/\s+/g, " ").trim().slice(0, 160),
         // 0.4.0 composer 回填：user 消息携带全文（revert 后 setDraft 原文）
         fullText: e.type === "user/message" ? text : null,
+        // 0.4.1 dock：replace 标记携带范围与来源（区分手工回撤 vs compaction）
+        range: isReplaceMarker && e.surfaceOp.startSeq != null && e.surfaceOp.endSeq != null
+          ? { start: e.surfaceOp.startSeq, end: e.surfaceOp.endSeq } : null,
+        sourceKind: (e.data && e.data.source && e.data.source.kind) || null,
+        // 0.4.2：恢复标记引用（restore 的 notice 事件带回它所恢复的标记 seq）
+        restoresSeq: (e.type === "system/message" && e.data && typeof e.data.restoresSeq === "number")
+          ? e.data.restoresSeq : null,
         time: e.time ?? null,
         turn: (e.data && e.data.turn) ?? null,
       });