@mzzsfy/dsh-rs-workflow 0.2.4 → 1.0.0

package/lib/store.mjs

@@ -0,0 +1,255 @@
+// run-store(v5):每 run 全量 JSON + index.json 索引;LRU 容量收敛;零截断
+// namespace 子目录 v5/(旧数据物理隔离);record 增 plan/warnings/controls[].by(见 data-design.md)
+import { existsSync, mkdirSync, readFileSync, readdirSync, renameSync, rmSync, writeFileSync } from 'node:fs'
+import { homedir, tmpdir } from 'node:os'
+import { join } from 'node:path'
+
+export const KEEP_RUNS = 200
+export const ACTIVE_STATES = new Set(['running', 'paused', 'waiting_approval'])
+const RUN_ID_RE = /^[a-z0-9-]+$/
+const REQUEST_PREVIEW = 120
+const CONTROL_EVENTS = new Set(['control'])
+
+let seq = 0
+const genRunId = () => `r-${Date.now().toString(36)}-${++seq}`
+
+// v5 namespace:dataDir(dsh-rs-workflow 根)下的 v5/ 子目录;DSH_RS_WORKFLOW_DATA_DIR 覆写根
+export function defaultDataDir() {
+  if (process.env.DSH_RS_WORKFLOW_DATA_DIR) return join(process.env.DSH_RS_WORKFLOW_DATA_DIR, 'v5')
+  return join(process.env.DSH_HOME || join(homedir(), '.dsh'), 'dsh-rs-workflow', 'v5')
+}
+
+const emptyState = () => ({ status: 'running', steps: {}, approvals: {}, escalations: 0, queued: [], batchSeq: 0, slotCursor: {}, controlSeq: 0, redoInfo: {} })
+
+export function createStore({ dir = defaultDataDir(), logger = console, keepRuns = KEEP_RUNS } = {}) {
+  const runsDir = join(dir, 'runs')
+  const indexPath = join(runsDir, 'index.json')
+  const records = new Map()
+  const index = []
+  let loaded = false
+
+  const warn = (message) => logger.warn?.(`[rsww-store] ${message}`)
+
+  const writeAtomic = (path, text) => {
+    const tmp = join(tmpdir(), `rsww-${Date.now()}-${Math.random().toString(36).slice(2)}`)
+    writeFileSync(tmp, text, 'utf8')
+    renameSync(tmp, path)
+  }
+
+  const persistRun = (record) => writeAtomic(join(runsDir, `${record.runId}.json`), JSON.stringify(record, null, 2))
+  const persistIndex = () => writeAtomic(indexPath, JSON.stringify({ runs: index }, null, 2))
+
+  const indexEntryOf = (record) => ({
+    runId: record.runId, sessionId: record.sessionId, workspace: record.workspace,
+    templateId: record.templateId, status: record.status, createdAt: record.createdAt,
+    finishedAt: record.finishedAt, summary: record.summary,
+    request: typeof record.request === 'string' ? record.request.slice(0, REQUEST_PREVIEW) : record.request,
+  })
+
+  const loadFileRecord = (path, collectIndex) => {
+    const record = JSON.parse(readFileSync(path, 'utf8'))
+    records.set(record.runId, record)
+    if (collectIndex) index.push(indexEntryOf(record))
+    if (ACTIVE_STATES.has(record.status)) {
+      const at = Date.now()
+      record.status = 'cancelled'
+      record.finishedAt = at
+      if (!record.summary) record.summary = '进程重启,运行中断,可在会话页签断点续跑'
+      record.controls = [...(record.controls ?? []), { at, kind: 'cancel', text: '进程重启,自动收敛' }]
+      persistRun(record)
+      const entry = index.find((e) => e.runId === record.runId)
+      if (entry) Object.assign(entry, indexEntryOf(record))
+      return true
+    }
+    return false
+  }
+
+  const removeInternal = (runId) => {
+    records.delete(runId)
+    const at = index.findIndex((e) => e.runId === runId)
+    if (at >= 0) index.splice(at, 1)
+    rmSync(join(runsDir, `${runId}.json`), { force: true })
+  }
+
+  const ensureLoaded = () => {
+    if (loaded) return
+    loaded = true
+    mkdirSync(runsDir, { recursive: true })
+    let indexValid = false
+    if (existsSync(indexPath)) {
+      try {
+        const parsed = JSON.parse(readFileSync(indexPath, 'utf8'))
+        if (Array.isArray(parsed.runs)) {
+          for (const entry of parsed.runs) index.push(entry)
+          indexValid = true
+        }
+      } catch {
+        index.length = 0
+      }
+    }
+    const files = []
+    try {
+      for (const name of readdirSync(runsDir)) if (name.endsWith('.json') && name !== 'index.json') files.push(name)
+    } catch (e) {
+      warn(`runs 目录扫描失败:${e.message}`)
+    }
+    let settledCount = 0
+    for (const name of files) {
+      try {
+        if (loadFileRecord(join(runsDir, name), !indexValid)) settledCount++
+      } catch (e) {
+        warn(`运行记录 ${name} 读取失败,跳过:${e.message}`)
+      }
+    }
+    // 对账:runs/ 文件集合为权威修齐 index(缺行补、幽灵行删、收敛改写行落盘),仅内存修正
+    let repaired = settledCount > 0
+    const fileIds = new Set(records.keys())
+    for (const record of records.values()) {
+      if (!index.some((e) => e.runId === record.runId)) {
+        index.push(indexEntryOf(record))
+        repaired = true
+      }
+    }
+    for (let i = index.length - 1; i >= 0; i--) {
+      if (!fileIds.has(index[i].runId)) {
+        index.splice(i, 1)
+        repaired = true
+      }
+    }
+    if (!indexValid || repaired) {
+      index.sort((a, b) => (b.createdAt ?? 0) - (a.createdAt ?? 0))
+      persistIndex()
+    }
+  }
+
+  const assertRunId = (runId) => {
+    if (typeof runId !== 'string' || !RUN_ID_RE.test(runId)) throw new Error(`runId 非法:${runId}`)
+  }
+
+  const evictOverCapacity = () => {
+    // index 恒新在前;同毫秒 finishedAt 并列时稳定排序保持原序,先反转使并列按旧在前
+    const finished = index.filter((e) => !ACTIVE_STATES.has(e.status)).reverse().sort((a, b) => (a.finishedAt ?? a.createdAt ?? 0) - (b.finishedAt ?? b.createdAt ?? 0))
+    let excess = finished.length - keepRuns
+    let evicted = false
+    for (const entry of finished) {
+      if (excess <= 0) break
+      excess--
+      removeInternal(entry.runId)
+      evicted = true
+    }
+    if (evicted) persistIndex()
+  }
+
+  const store = {
+    start({ runId, sessionId, workspace, request, templateId, inputs, plan, warnings, state }) {
+      ensureLoaded()
+      const id = runId === undefined || runId === null || runId === '' ? genRunId() : runId
+      assertRunId(id)
+      if (records.has(id)) throw new Error(`runId 已存在:${id}`)
+      const at = Date.now()
+      const record = {
+        runId: id, templateId: templateId ?? '', sessionId: sessionId ?? '', workspace: workspace ?? '',
+        request: request ?? '', inputs: inputs ?? {}, status: 'running', createdAt: at,
+        summary: '', plan: plan ?? null, warnings: warnings ?? [],
+        state: state ?? emptyState(), controls: [], stepsTrace: {}, queued: [],
+      }
+      records.set(id, record)
+      index.unshift(indexEntryOf(record))
+      persistRun(record)
+      persistIndex()
+      evictOverCapacity()
+      return record
+    },
+
+    step({ runId, stepId, instance, event, body }) {
+      ensureLoaded()
+      assertRunId(runId)
+      const record = records.get(runId)
+      if (!record) throw new Error(`运行记录不存在:${runId}`)
+      const at = Date.now()
+      if (CONTROL_EVENTS.has(event)) {
+        // controls 裁决/控制记账:v5 增 by(裁决来源)与 reason(代审必填)
+        record.controls.push({ seq: record.controls.length + 1, at, kind: body?.kind, by: body?.by, reason: body?.reason, text: body?.text, inject: body?.inject })
+      } else {
+        const key = instance ?? '-'
+        const stepEvents = (record.stepsTrace[stepId] ??= {})
+        ;(stepEvents[key] ??= []).push({ event, at, ...body })
+      }
+      persistRun(record)
+      return record
+    },
+
+    update({ runId, state, status, summary, finishedAt, queued, waiting }) {
+      ensureLoaded()
+      assertRunId(runId)
+      const record = records.get(runId)
+      // 记录已被移除(run-remove)时丢弃 dangling 写,保 driver 收尾链走完注销
+      if (!record) return undefined
+      if (state !== undefined) record.state = state
+      if (status !== undefined) record.status = status
+      if (summary !== undefined) record.summary = summary
+      if (finishedAt !== undefined) record.finishedAt = finishedAt
+      if (queued !== undefined) record.queued = queued
+      if (waiting !== undefined) record.waiting = waiting ?? undefined
+      if (status !== undefined) {
+        // 状态迁移同步 index 行:waiting_approval/paused 期间列表分组/轮询不基于失真状态
+        const entry = index.find((e) => e.runId === runId)
+        if (entry) Object.assign(entry, indexEntryOf(record))
+        persistIndex()
+      }
+      persistRun(record)
+      return record
+    },
+
+    finish({ runId, status, summary }) {
+      ensureLoaded()
+      assertRunId(runId)
+      const record = records.get(runId)
+      // 同 update:记录缺失即收尾目标已达成,幂等无害丢弃
+      if (!record) return undefined
+      record.status = status
+      record.finishedAt = Date.now()
+      record.summary = summary ?? ''
+      persistRun(record)
+      const entry = index.find((e) => e.runId === runId)
+      if (entry) Object.assign(entry, indexEntryOf(record))
+      persistIndex()
+      evictOverCapacity()
+      return record
+    },
+
+    get(runId) {
+      ensureLoaded()
+      assertRunId(runId)
+      const record = records.get(runId)
+      if (!record) throw new Error(`运行记录不存在:${runId}`)
+      return record
+    },
+
+    has(runId) {
+      ensureLoaded()
+      return records.has(runId)
+    },
+
+    list({ sessionId, workspace } = {}) {
+      ensureLoaded()
+      return index
+        .filter((e) => (sessionId === undefined || e.sessionId === sessionId) && (workspace === undefined || e.workspace === workspace))
+        .map((e) => ({ ...e }))
+    },
+
+    remove(runId) {
+      ensureLoaded()
+      assertRunId(runId)
+      removeInternal(runId)
+      persistIndex()
+    },
+  }
+  return store
+}
+
+let singleton = null
+export function reportStore() {
+  singleton ??= createStore()
+  return singleton
+}

package/lib/template-tool.mjs

@@ -0,0 +1,161 @@
+// template-tool — rs_workflow_template 模型工具:AI 按用户口述逻辑生成/修改流程模板
+// 激活于已创建组合行(template-tool 行);落盘走自有文件存储与 release 模块,不直接触碰预设目录(v5)
+import { defineTool } from '@deepseek-ai/dsh-tools'
+import { parseTemplate, validateTemplate, validateTemplateSet } from './template.mjs'
+import { SPEC_TEXT } from './spec.mjs'
+import { loadJson, saveJson } from './storage.mjs'
+import { releaseFlowTemplate, unreleaseFlowTemplate } from './release.mjs'
+
+const ACTIONS = ['spec', 'list', 'save', 'remove']
+
+function normalizeTemplates(value) {
+  if (!Array.isArray(value)) return []
+  return value
+    .filter((t) => t && typeof t === 'object')
+    .map((t) => ({
+      id: typeof t.id === 'string' ? t.id : '',
+      label: typeof t.label === 'string' ? t.label : '',
+      description: typeof t.description === 'string' ? t.description : '',
+      enabled: t.enabled !== false,
+      json: typeof t.json === 'string' ? t.json : '',
+    }))
+    .filter((t) => t.id !== '')
+}
+
+export function createTemplateTool({ getTemplates, setTemplates, removeTemplate, releaseTemplate, unreleaseTemplate, logger }) {
+  return defineTool({
+    name: 'rs_workflow_template',
+    description: [
+      '若水工作流流程模板的 AI 编辑入口:用户口述流程逻辑,你据此生成/修改流程模板(严格 JSON)。',
+      '先调 {action:"spec"} 获取 DSL v5 规范与示例,再 {action:"save", template:{...}, release:true} 保存并创建为可选模式。',
+      'list 列出现有模板;remove 按 id 移除并撤下其模式。',
+      '每步以 outputs 声明结构化产出契约(子代理以结构化工具提交,引擎强制校验);人工审校用 type:"approve" 原语;',
+      '流程入参用 inputs;禁止把「希望模型怎么做」写成口头约定。',
+    ].join(''),
+    parameters: {
+      action: { type: 'string', required: true, enum: ACTIONS, description: 'spec=获取 DSL 规范;list=列模板;save=保存模板(可同时创建);remove=移除模板' },
+      template: {
+        type: 'object',
+        additionalProperties: true,
+        description: 'save:模板对象 {id,label,description,enabled,json};json 为流程定义严格 JSON 文本(先调 spec 按规范写)',
+      },
+      id: { type: 'string', description: 'remove:要移除的模板 id' },
+      release: { type: 'boolean', description: 'save:true=保存后立即创建为可选模式(rs-<id>)' },
+      dryRun: { type: 'boolean', description: 'save:true=仅校验不落盘(编辑器「校验」同源通道)' },
+    },
+    output: {
+      schema: {
+        type: 'object',
+        additionalProperties: false,
+        properties: {
+          ok: { type: 'boolean', required: true },
+          action: { type: 'string' },
+          spec: { type: 'string' },
+          templates: { type: 'array', items: { type: 'object', additionalProperties: true } },
+          released: { type: 'boolean' },
+          presetId: { type: 'string' },
+          errors: { type: 'array', items: { type: 'string' } },
+          error: { type: 'string' },
+        },
+      },
+      render: (_args, value) => [{
+        type: 'text',
+        text: value.spec !== undefined ? value.spec : JSON.stringify(value, null, 2),
+      }],
+    },
+    async execute(args) {
+      const action = args.action
+      if (action === 'spec') {
+        return { ok: true, action, spec: SPEC_TEXT }
+      }
+      if (action === 'list') {
+        const templates = normalizeTemplates(await getTemplates())
+        return { ok: true, action, templates }
+      }
+      if (action === 'save') {
+        const t = args.template && typeof args.template === 'object' ? args.template : null
+        if (!t) return { ok: false, action, error: '缺少 template 对象 {id,label,description,json}' }
+        const id = typeof t.id === 'string' ? t.id.trim() : ''
+        const json = typeof t.json === 'string' ? t.json : ''
+        if (id === '' || json.trim() === '') return { ok: false, action, error: 'template.id 与 template.json 均为必填' }
+        let parsed
+        try {
+          parsed = parseTemplate(json)
+        } catch (error) {
+          return { ok: false, action, errors: ['JSON 解析失败: ' + String(error?.message ?? error)] }
+        }
+        if (parsed && typeof parsed.id === 'string' && parsed.id !== id) {
+          return { ok: false, action, errors: [`template.id("${id}") 与流程定义内 id("${parsed.id}") 不一致`] }
+        }
+        // 单模板校验 + 与既有模板并集跨流程校验(动态路由目标存在性;损坏既有模板跳过)
+        const single = validateTemplate(parsed)
+        if (single.length > 0) return { ok: false, action, errors: single.map((e) => `${e.target}: ${e.message}`) }
+        const others = normalizeTemplates(await getTemplates()).filter((item) => item.id !== id)
+        const otherFlows = []
+        for (const item of others) {
+          try {
+            otherFlows.push(parseTemplate(item.json))
+          } catch { /* 既有模板损坏不阻塞新模板保存 */ }
+        }
+        const cross = validateTemplateSet([parsed, ...otherFlows].filter(Boolean))
+        if (cross.length > 0) return { ok: false, action, errors: cross.map((e) => `${e.target}: ${e.message}`) }
+        const entry = {
+          id,
+          label: typeof t.label === 'string' && t.label.trim() !== '' ? t.label.trim() : (parsed && parsed.label) || id,
+          description: typeof t.description === 'string' && t.description.trim() !== '' ? t.description.trim() : (parsed && parsed.description) || '',
+          enabled: t.enabled !== false,
+          json,
+        }
+        if (args.dryRun === true) {
+          return { ok: true, action, templates: normalizeTemplates([...others, entry]) }
+        }
+        await setTemplates([...others, entry])
+        let released = false
+        let presetId = ''
+        if (args.release === true) {
+          released = (await releaseTemplate(entry)) === true
+          presetId = 'rs-' + id
+        }
+        logger?.info?.(`rs-workflow 模板已保存: ${id}${released ? `(已创建为模式 ${presetId})` : ''}`)
+        return { ok: true, action, released, presetId, templates: normalizeTemplates([...others, entry]) }
+      }
+      if (action === 'remove') {
+        const id = typeof args.id === 'string' ? args.id.trim() : ''
+        if (id === '') return { ok: false, action, error: '缺少 id' }
+        const outcome = await removeTemplate(id)
+        if (!outcome.ok) return { ok: false, action, error: outcome.error }
+        return { ok: true, action, presetId: 'rs-' + id, templates: outcome.templates }
+      }
+      return { ok: false, action, error: '未知 action: ' + action }
+    },
+    presentCall: () => ({ card: 'generic', title: '编辑若水工作流模板', kind: 'other', rawInput: {} }),
+  })
+}
+
+// 模式行激活入口:自有文件存储读写 + release 落盘(ctx = agent realm 组合行上下文)
+export function registerTemplateTool(ctx) {
+  ctx.inject(['tools'], (tctx) => {
+    tctx.effect(() => tctx.tools.register(createTemplateTool({
+      getTemplates: () => loadJson('templates.json', []),
+      setTemplates: (templates) => saveJson('templates.json', templates),
+      removeTemplate: (id) => {
+        const raw = loadJson('templates.json', [])
+        const next = raw.filter((t) => t.id !== id)
+        if (next.length === raw.length) return { ok: false, error: '模板不存在: ' + id }
+        saveJson('templates.json', next)
+        const outcome = unreleaseFlowTemplate(id)
+        return { ok: true, templates: next, outcome }
+      },
+      releaseTemplate: (entry) => {
+        try {
+          return releaseFlowTemplate(entry) !== 'foreign'
+        } catch (error) {
+          ctx.logger?.warn?.(`rs-workflow 模板释放失败: ${error?.message ?? error}`)
+          return false
+        }
+      },
+      unreleaseTemplate: (id) => unreleaseFlowTemplate(id),
+      logger: ctx.logger,
+    })), 'rs-workflow template tool')
+  })
+}