@mzzsfy/dsh-keep-working 0.1.0 → 0.2.0

package/README.md

@@ -6,7 +6,9 @@
 
 ## 结案规则
 
-一句话:改过文件就 `present` 交付(之后不要再改文件、不再写 `(TASK_DONE)`),没改文件就末行写 `(TASK_DONE)`,做不下去末行写 `(TASK_BLOCKED: 原因)`。
+一句话:改过文件就 `present` 交付(之后不要再改文件、不再写 `TASK_DONE`),没改文件就最后一行单独写 `TASK_DONE`,做不下去最后一行写 `TASK_BLOCKED: 原因`。
+
+判定层严格匹配裸标记:最后一行必须恰好是 `TASK_DONE`,或 `TASK_BLOCKED: 非空原因`。括号、下划线、连字符、反引号、粗体与句末标点都不算结案。
 
 `write` / `edit` / `apply_patch` / `str_replace_editor` 都算改过文件;失败的写与 `str_replace_editor` 的 `view` 子命令不算。判定层在 present 有效时即判定结案,不追罚多余标记;二选一由提示词约束。
 
@@ -43,6 +45,8 @@
 
 判定只看尾部:回合正常结束且有可见回复就跳过(重启后重复执行整轮任务的代价,高于漏恢复的概率),未闭合回合、临时错误、重启中断、截断、无可见输出才恢复。子会话(origin 或旧格式 parentSession+depth)、已归档、用户主动取消同样排除。剩余会话物化后补一条恢复消息,每轮最多 `scanLimit` 个。
 
+重启前已进入宿主 durable inbox 的排队消息是例外:它们不会自动唤醒 agent。扫描重放 `agent/inbox/spliced` 投影,`next-turn` 全部、`next-step` 中真人插话计为待处理输入;有排队消息的会话即使尾部正常结束也恢复。恢复消息必须插队发送(`agent.steer` 进 next-step),不追加到排队队列尾部、不重排或丢弃队列。
+
 `goal` 在进程重启后会被宿主 disarm,`resumeGoals` 开启时对 `active` 且 `disarmed` 的 goal 重新武装。
 
 启动扫描不常驻轮询:目录快照完整可读时一轮即止(近期没有会话被写过就是常态结果);持久层或全量回退给出空列表时按重试间隔重试,直到列出会话或超出新鲜窗口;快照不完整(部分子项读失败)时一律重试到窗口耗尽,不因已列出若干会话而收工。

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@mzzsfy/dsh-keep-working",
-  "description": "持续工作:回合未声明结案就静默结束时,自动补一条用户消息把 AI 拉回,直到 present 交付、(TASK_DONE) 或 (TASK_BLOCKED: 原因);含重启恢复与 goal 重新武装",
-  "version": "0.1.0",
+  "description": "持续工作:回合未声明结案就静默结束时,自动补一条用户消息把 AI 拉回,直到 present 交付、TASK_DONE 或 TASK_BLOCKED: 原因;含重启恢复与 goal 重新武装",
+  "version": "0.2.0",
   "type": "module",
   "main": "src/index.js",
   "exports": {

package/src/closure.mjs

@@ -3,21 +3,19 @@
  *
  * 判定对象是一个 turn 的事件切片。结案凭据有两种:
  * - present:本回合成功交付文件,且交付之后没有再改文件
- * - marker:末行独占 (TASK_DONE) 或 (TASK_BLOCKED: ...)
+ * - marker:末行独占 TASK_DONE 或 TASK_BLOCKED: ...
  *
  * 有文件写入的回合只认 present,否则模型会退化成写一行标记就交差。
  */
 
-export const DONE_MARKER = '(TASK_DONE)'
-export const BLOCKED_PREFIX = '(TASK_BLOCKED'
+export const DONE_MARKER = 'TASK_DONE'
+export const BLOCKED_PREFIX = 'TASK_BLOCKED'
+
+const BLOCKED_LINE = new RegExp(`^${BLOCKED_PREFIX}:\\s*\\S.*$`)
 
 /** 宿主写文件的工具名;新增写入面时在此登记。 */
 export const FILE_WRITE_TOOLS = new Set(['write', 'edit', 'apply_patch', 'str_replace_editor'])
 
-/** 末行尾部的句号与包裹反引号属于排版噪声,不参与匹配。 */
-const TRAILING_NOISE = /[.。]+$/
-const WRAPPING_TICKS = /^`+|`+$/g
-
 /** 取 assistant 消息里的可见文本,工具块不计入。 */
 export function assistantText(message) {
   const content = message?.content
@@ -44,18 +42,12 @@ export function turnSlice(events, turn) {
   return events.slice(Math.max(start, 0), end)
 }
 
-/** 末行标记;仅识别独占最后一行的写法。 */
+/** 末行标记;严格匹配裸标记,括号、下划线、连字符等装饰都不算。 */
 export function matchMarker(text) {
   if (typeof text !== 'string' || text === '') return null
-  const lines = text.trimEnd().split('\n')
-  const last = (lines.at(-1) ?? '')
-    .trim()
-    .replace(WRAPPING_TICKS, '')
-    .trim()
-    .replace(TRAILING_NOISE, '')
-    .trim()
+  const last = (text.trimEnd().split('\n').at(-1) ?? '').trim()
   if (last === DONE_MARKER) return 'done'
-  if (last.startsWith(BLOCKED_PREFIX)) return 'blocked'
+  if (BLOCKED_LINE.test(last)) return 'blocked'
   return null
 }
 

package/src/config.mjs

@@ -27,7 +27,7 @@ export const DEFAULTS = Object.freeze({
   continueTextSilent: '继续。上一轮没有可见输出,直接说明结果或继续执行。',
   continueTextInterrupted: '继续。上一步结果未知,确认后继续。',
   closureText:
-    '[keepWork] 结束必须显式提交:没改文件末行追加 (TASK_DONE);任务阻塞末行追加 (TASK_BLOCKED: 原因);改过文件必须最后只使用 present;禁止同时present和(TASK_DONE)',
+    '[keepWork] 结束必须显式提交:没改文件末行单独写 TASK_DONE;任务阻塞末行单独写 TASK_BLOCKED: 原因;改过文件必须最后只使用 present;禁止同时 present 和 TASK_DONE',
 })
 
 const numberOr = (value, fallback) =>

package/src/index.js

@@ -26,7 +26,7 @@ export const inject = ['agents', 'systemPrompt']
 export const SECTION_NAME = 'keep-working:closure'
 
 export const PROMPT_TEXT =
-  '结束必须显式提交:没改文件末行追加 (TASK_DONE);任务阻塞末行追加 (TASK_BLOCKED: 原因);改过文件必须最后只使用 present;禁止同时present和(TASK_DONE);present 的时机以本段为准,交付产物本身就是 present 的用途,不受"不要只为列出源文件调用 present"约束'
+  '结束必须显式提交:没改文件末行单独写 TASK_DONE;任务阻塞末行单独写 TASK_BLOCKED: 原因;改过文件必须最后只使用 present;禁止同时 present 和 TASK_DONE;present 的时机以本段为准,不受"不要只为列出源文件调用 present"约束'
 
 /**
  * 结案段落必须排在宿主的文件引用建议之后:那段写着"不要只为列出源文件调

package/src/scan.mjs

@@ -25,8 +25,38 @@ export function trace(message) {
 /** 宿主重启产生的取消原因,值得在重启后补一次。 */
 const RESTART_CANCEL_CAUSES = new Set(['disposed', 'legacy'])
 
+/**
+ * 重放会话日志里的 durable inbox 投影,得到仍在排队的输入。
+ *
+ * 宿主把排队消息持久化为 `agent/inbox/spliced`;重启只重建投影,不会自动唤醒
+ * agent,所以扫描必须自己发现这些消息。next-turn 全部算待处理输入;next-step
+ * 只算真人插话——其余是运行时上下文注入,重启后不该凭它拉起整轮。
+ * 返回条数与最后一次入队时间。
+ */
+export function pendingInbox(events) {
+  const queues = { 'next-turn': [], 'next-step': [] }
+  let lastAt = 0
+  for (const event of events) {
+    if (event?.type !== 'agent/inbox/spliced') continue
+    const data = event.data ?? {}
+    const queue = queues[data.target]
+    if (queue === undefined) continue
+    const declared = Number.isSafeInteger(data.start) ? data.start : 0
+    const start = declared < 0 ? Math.max(queue.length + declared, 0) : Math.min(declared, queue.length)
+    const removed = Math.min(
+      Math.max(Number.isSafeInteger(data.removedCount) ? data.removedCount : 0, 0),
+      queue.length - start,
+    )
+    const inserted = Array.isArray(data.inserted) ? data.inserted : []
+    queues[data.target] = [...queue.slice(0, start), ...inserted, ...queue.slice(start + removed)]
+    if (typeof event.time === 'number') lastAt = Math.max(lastAt, event.time)
+  }
+  const steering = queues['next-step'].filter((message) => message?.source?.kind === 'user').length
+  return { count: queues['next-turn'].length + steering, lastAt }
+}
+
 /** 尾部是否还有活;openTurn 表示回合没闭合,等同于被打断。 */
-function tailVerdict(events, nowTime, config) {
+function tailVerdict(events, nowTime, config, inbox = pendingInbox(events)) {
   let lastEnd
   let lastStart
   for (let index = events.length - 1; index >= 0; index -= 1) {
@@ -37,13 +67,17 @@ function tailVerdict(events, nowTime, config) {
   }
   const openTurn = lastStart !== undefined && (lastEnd === undefined || lastStart.seq > lastEnd.seq)
   if (!openTurn && lastEnd === undefined) return 'skip:空日志'
-  const touchedAt = openTurn ? (events.at(-1)?.time ?? 0) : lastEnd.time
+  const tailAt = openTurn ? (events.at(-1)?.time ?? 0) : lastEnd.time
+  // 排队消息自带时间:上一回合可能早已结束,重启前才入队的消息仍是新鲜输入
+  const touchedAt = Math.max(tailAt, inbox.lastAt)
   if (touchedAt < nowTime - config.freshMs) return 'skip:超出时间窗口'
   if (openTurn) return 'resume:interrupted'
 
   const reason = lastEnd.data?.reason ?? {}
   switch (reason.kind) {
     case 'completed': {
+      // 正常结束也可能留着未消费的排队消息:宿主重启后无人唤醒它们
+      if (inbox.count > 0) return 'resume:queued'
       // 有有效写入却没交付时必须恢复:重启后重做一遍也比永远不交付安全
       const verdict = closureVerdict(events, lastEnd.data.turn)
       if (verdict.reason === 'file-write-requires-present') return 'resume:closure'
@@ -388,7 +422,8 @@ export async function scanStoredSessions({
       const events = observation?.events
       if (!Array.isArray(events) || events.length === 0) continue
       result.scanned += 1
-      const verdict = tailVerdict(events, now(), config)
+      const inbox = pendingInbox(events)
+      const verdict = tailVerdict(events, now(), config, inbox)
       trace(`会话 ${sessionId} 事件 ${events.length} 判定 ${verdict}`)
       if (!verdict.startsWith('resume')) continue
       const agent = await materialize(ctx, sessionId, candidate.presetId)
@@ -404,7 +439,9 @@ export async function scanStoredSessions({
         content: [{ type: 'text', text: resumeText(config, verdict) }],
         source: { kind: 'user' },
       })
-      agent.followup(message)
+      // 有排队消息时必须插队唤醒:followup 会追加到 next-turn 队尾,排在用户消息之后
+      if (inbox.count > 0) agent.steer(message)
+      else agent.followup(message)
       result.resumed += 1
       trace(`已恢复 ${sessionId}`)
       ctx.logger?.info?.(`[keep-working] 重启恢复 ${sessionId}`)