@mzzsfy/dsh-rs-workflow 0.2.4 → 1.0.0

package/lib/driver/index.mjs

@@ -0,0 +1,454 @@
+// RunDriver 聚合(v5):剧本驱动;runSegment 分段推进(审批到达/暂停/终态即返回 settle 负载);
+// 外部裁决回写(waiting_approval 即时应用,paused 入队 resume 生效);取消优先;推进责任在主循环 resume
+import { reportStore } from '../store.mjs'
+import { templateDeps } from '../planner-gate.mjs'
+import { nextBatch, scriptViewOf } from './scheduler.mjs'
+import { applyApproveResult, applyExternalVerdict, waitingPayload } from './approve.mjs'
+import { runBatch } from './runner.mjs'
+import { registerDriver, unregisterDriver } from './control.mjs'
+
+const TERMINAL_STATES = new Set(['completed', 'cancelled', 'failed', 'blocked'])
+
+const CANCELLED_SUMMARY = '用户取消,已完成步骤保留,可在会话页签断点续跑'
+
+// 批次间宏任务让步时长:防止失败重试微任务级联饿死宿主同进程定时器/HTTP
+const BATCH_YIELD_MS = 0
+const yieldToLoop = () => new Promise((resolve) => setTimeout(resolve, BATCH_YIELD_MS))
+
+// 运行态初始化:仅剧本内步骤入账(调度域=剧本,被裁剪步骤对引擎不存在)
+function initState(script, request, inputs) {
+  const state = {
+    status: 'running', request, inputs: inputs ?? {},
+    steps: {}, approvals: {}, escalations: 0, queued: [], batchSeq: 0, slotCursor: {}, controlSeq: 0, redoInfo: {},
+  }
+  for (const step of script.steps) {
+    state.steps[step.id] = { status: 'pending', outputs: null, failCount: 0, instances: [] }
+  }
+  return state
+}
+
+// 子流程产出收编(spec §9:按子步骤扁平挂载;for_each 子步按实例序收编同名字段数组)
+export function collectSubOutputs(subTemplate, subState) {
+  const outputs = {}
+  for (const child of subTemplate.steps) {
+    const cs = subState.steps[child.id]
+    if (!cs) continue
+    if (cs.outputs) {
+      outputs[`${child.id}.${Object.keys(cs.outputs)[0] ?? 'out'}`] = Object.values(cs.outputs)[0]
+      continue
+    }
+    // for_each 子步:步骤级 outputs 恒空,产出在实例上
+    const doneInstances = (cs.instances ?? []).filter((i) => i.status === 'done' && i.outputs)
+    if (doneInstances.length > 0) {
+      outputs[`${child.id}.${Object.keys(doneInstances[0].outputs)[0] ?? 'out'}`] =
+        doneInstances.map((i) => Object.values(i.outputs)[0])
+    }
+  }
+  return outputs
+}
+
+// 续跑种子:快照直读;fromStepId 及其 deps 后代全重置(含 done,旧产出作废,与 redo 语义一致)
+export function buildSeed(record, plan, fromStepId, inputs) {
+  const state = JSON.parse(JSON.stringify(record.state ?? {}))
+  state.status = 'running'
+  state.request = record.request
+  state.inputs = inputs && Object.keys(inputs).length > 0 ? { ...(record.inputs ?? {}), ...inputs } : (record.inputs ?? {})
+  const scriptIds = (plan?.steps ?? []).map((p) => p.ref)
+  for (const id of scriptIds) {
+    state.steps[id] ??= { status: 'pending', outputs: null, failCount: 0, instances: [] }
+  }
+  const resetStep = (id) => {
+    const s = state.steps[id]
+    if (s) Object.assign(s, { status: 'pending', outputs: null, failCount: 0, instances: [] })
+  }
+  if (fromStepId && state.steps[fromStepId]) {
+    resetStep(fromStepId)
+    // 重置集合 = fromStepId 在 plan.deps 上的全部依赖闭包(后代),非剧本数组序
+    const dependents = new Map(scriptIds.map((id) => [id, []]))
+    for (const [id, ds] of Object.entries(plan?.deps ?? {})) {
+      for (const d of Array.isArray(ds) ? ds : []) dependents.get(d)?.push(id)
+    }
+    const descendants = new Set([fromStepId])
+    for (const q = [fromStepId]; q.length > 0;) {
+      for (const next of dependents.get(q.shift()) ?? []) {
+        if (!descendants.has(next)) { descendants.add(next); q.push(next) }
+      }
+    }
+    for (const id of scriptIds) {
+      // 后代全重置(含 done):与 redo 路径语义一致——上游重跑后旧产出一律作废
+      if (descendants.has(id)) resetStep(id)
+    }
+  }
+  for (const id of scriptIds) {
+    const s = state.steps[id]
+    if (!s) continue
+    if (s.status === 'running') Object.assign(s, { status: 'pending', outputs: null })
+    for (const inst of s.instances ?? []) {
+      if (inst.status === 'running') inst.status = 'pending'
+    }
+  }
+  state.pendingApprovals = []
+  // 终态污染标志清零:续跑后旧账不得再次收口(blocked)或无耗尽即派发升级步
+  state.terminalBlocked = false
+  state.escalateReady = []
+  state.escalateLimitReached = false
+  state.controlSeq = record.controls?.length ?? 0
+  return state
+}
+
+export class RunDriver {
+  constructor({ template, templateSet = [], plan, warnings = [], runId, request, inputs, state, engine, slots = {}, budgets = {}, sessionId = '', workspace = '', store = reportStore(), signal, subordinate = false, parent = undefined }) {
+    this.template = template
+    this.templateSet = templateSet
+    this.plan = plan
+    this.warnings = warnings
+    this.script = scriptViewOf(template, plan)
+    this.planStepOf = new Map((plan?.steps ?? []).map((p) => [p.ref, p]))
+    this.runId = runId
+    this.request = request
+    this.inputs = inputs ?? {}
+    this.state = state ?? initState(this.script, request, inputs)
+    this.engine = engine
+    this.slots = slots
+    this.budgets = budgets
+    this.sessionId = sessionId
+    this.workspace = workspace
+    this.store = store
+    this.controller = new AbortController()
+    this.signal = signal ?? this.controller.signal
+    this.skipRecorded = new Set()
+    this.awaitingResume = false
+    this.finished = false
+    this.active = false
+    this.subordinate = subordinate
+    // 编排子代理的挂载父 agent(与 workflow 工具链对齐;undefined 时引擎派发行为未定义)
+    this.parent = parent
+  }
+
+  // 段推进唯一入口:跑到下一个段边界(审批到达/暂停/终态)返回 settle 负载;orchestrator 包装为 continuable job
+  async runSegment() {
+    if (this.finished || TERMINAL_STATES.has(this.state.status)) {
+      return this.terminalPayload()
+    }
+    this.active = true
+    try {
+      this.drainPendingApprovals()
+      return await this.loop()
+    } catch (e) {
+      if (this.signal.aborted) {
+        this.finish('cancelled', CANCELLED_SUMMARY)
+        return this.terminalPayload()
+      }
+      this.finish('failed', `驱动器异常:${e?.message ?? e}`)
+      return this.terminalPayload()
+    } finally {
+      this.active = false
+    }
+  }
+
+  startPersist() {
+    registerDriver(this.runId, this)
+    this.store.start({
+      runId: this.runId, sessionId: this.sessionId, workspace: this.workspace,
+      request: this.request, templateId: this.template.id, inputs: this.inputs,
+      plan: this.plan, warnings: this.warnings, state: this.state,
+    })
+  }
+
+  pause() {
+    if (this.finished || TERMINAL_STATES.has(this.state.status)) return
+    // 统一转 paused(与 waiting_approval 互斥,paused 优先);活跃段在飞批次收敛后于段顶 settle
+    this.state.status = 'paused'
+    this.persistState()
+  }
+
+  // 页签 control resume:仅标记恢复意图(不翻状态不拉段);主循环 rs_workflow_resume 执行翻转与推进
+  tabResume() {
+    if (this.finished || this.state.status !== 'paused') return false
+    this.awaitingResume = true
+    this.store.step({ runId: this.runId, event: 'control', body: { kind: 'resume' } })
+    return true
+  }
+
+  cancel() {
+    if (this.finished) return
+    if (!this.active) {
+      // 取消优先:无活跃段(审批等待/暂停/裁决窗口)即时终态,不依赖 abort 传播
+      this.finish('cancelled', CANCELLED_SUMMARY)
+      return
+    }
+    this.controller.abort()
+  }
+
+  // 控制回写受理:approve/reject 外部裁决 + message 边界消息;返回 false = 未受理(状态不符)
+  handlePost(event) {
+    if (this.finished || TERMINAL_STATES.has(this.state.status)) return false
+    if (event.kind === 'approve' || event.kind === 'reject') {
+      return this.applyVerdictPost(event)
+    }
+    if (event.kind !== 'message') return false
+    if (typeof event.text !== 'string' || event.text === '') return false
+    // controls 记摘要(≤120 字),全文进 queued(data-design controls[].text 契约)
+    this.store.step({ runId: this.runId, event: 'control', body: { kind: 'message', text: event.text.slice(0, 120), inject: !!event.inject } })
+    const record = this.store.get(this.runId)
+    this.store.update({ runId: this.runId, queued: [...(record.queued ?? []), event.text] })
+    return true
+  }
+
+  // 裁决回写:waiting_approval 即时应用;paused 入队(resume 段首生效)
+  applyVerdictPost(event) {
+    const verdict = event.kind === 'approve' ? 'APPROVED' : 'REJECTED'
+    if (this.state.status === 'paused') {
+      // 无审批窗口(paused 非审批转入)裁决无处挂靠,不受理
+      if (this.state.waitingApproval === undefined) return false
+      // 先到先得:同一步已有入队裁决则后到不受理(防 rounds 虚增/已 done 步被重开)
+      this.state.pendingApprovals ??= []
+      const stepId = this.state.waitingApproval
+      if (this.state.pendingApprovals.some((p) => p.stepId === stepId)) return false
+      this.state.pendingApprovals.push({ stepId, verdict, comments: event.reason ?? '', by: event.by })
+      // 受理即记账(与 waiting 分支对称):页签裁决来源回显不因 paused 入队丢失
+      this.store.step({ runId: this.runId, event: 'control', body: { kind: event.kind, by: event.by, reason: event.reason } })
+      this.persistState()
+      return true
+    }
+    if (this.state.status !== 'waiting_approval') return false
+    const approveStep = this.script.steps.find((s) => s.id === this.state.waitingApproval)
+    if (!approveStep) return false
+    this.store.step({ runId: this.runId, event: 'control', body: { kind: event.kind, by: event.by, reason: event.reason } })
+    const { applied, route } = applyExternalVerdict(this.state, this.script, approveStep, { verdict, comments: event.reason ?? '' }, this.budgets)
+    if (applied) {
+      this.state.waitingApproval = undefined
+      if (route.verdict === 'REJECTED' && !route.exhausted) {
+        this.state.redoInfo = { [route.redoTarget]: { comments: route.comments, prevOutputs: route.prevOutputs } }
+      }
+      this.store.update({ runId: this.runId, waiting: null })
+      this.persistState()
+    }
+    return applied
+  }
+
+  // 段首:应用 paused 期间入队的裁决(resume 后生效)
+  drainPendingApprovals() {
+    const pending = this.state.pendingApprovals ?? []
+    if (pending.length === 0) return
+    this.state.pendingApprovals = []
+    for (const p of pending) {
+      const approveStep = this.script.steps.find((s) => s.id === p.stepId)
+      if (!approveStep) continue
+      const verdict = p.verdict === 'APPROVED' ? 'APPROVED' : 'REJECTED'
+      this.state.status = 'waiting_approval'
+      const { route } = applyExternalVerdict(this.state, this.script, approveStep, { verdict, comments: p.comments }, this.budgets)
+      this.state.status = 'running'
+      if (route.verdict === 'REJECTED' && !route.exhausted) {
+        this.state.redoInfo = { [route.redoTarget]: { comments: route.comments, prevOutputs: route.prevOutputs } }
+      }
+    }
+    this.store.update({ runId: this.runId, waiting: null })
+  }
+
+  // 边界通道 drain:消费 controls 中未消费的 message 事件
+  drainControls() {
+    const record = this.store.get(this.runId)
+    const pending = (record.controls ?? []).slice(this.state.controlSeq ?? 0)
+    // 全文以 queued 为准(controls[].text 是 ≤120 字审计摘要);按消息顺序与队列对齐
+    const fullTexts = [...(record.queued ?? [])]
+    const inject = []
+    const queued = []
+    for (const c of pending) {
+      if (c.kind !== 'message') continue
+      const text = fullTexts.shift() ?? c.text
+      if (c.inject) inject.push(text)
+      else queued.push(text)
+    }
+    this.state.controlSeq = (record.controls ?? []).length
+    this.store.update({ runId: this.runId, queued: [] })
+    return { inject, queued }
+  }
+
+  persistState() {
+    this.store.update({ runId: this.runId, state: this.state, status: this.state.status })
+  }
+
+  finish(status, summary) {
+    if (this.finished) return
+    this.finished = true
+    this.state.status = status
+    if (this.subordinate) return
+    // waiting 摘要随终态清除,防终态卡残留「待审批」区块
+    this.store.update({ runId: this.runId, queued: [], waiting: null })
+    this.store.finish({ runId: this.runId, status, summary: summary ?? '' })
+    unregisterDriver(this.runId)
+  }
+
+  outputsIndex() {
+    const out = {}
+    for (const [id, s] of Object.entries(this.state.steps)) {
+      if (s.status === 'done' && s.outputs) out[id] = s.outputs
+    }
+    return out
+  }
+
+  terminalPayload() {
+    return { kind: 'terminal', runId: this.runId, status: this.state.status, summary: this.store.get(this.runId)?.summary ?? '', outputsIndex: this.outputsIndex() }
+  }
+
+  async loop() {
+    for (;;) {
+      if (this.signal.aborted) {
+        this.finish('cancelled', CANCELLED_SUMMARY)
+        return this.terminalPayload()
+      }
+      // 暂停即段边界:在飞批次收敛后回到此处,本段以 paused settle
+      if (this.state.status === 'paused') {
+        this.persistState()
+        return { kind: 'paused', runId: this.runId, status: 'paused' }
+      }
+      await yieldToLoop()
+      const batch = nextBatch(this.state, this.script, this.budgets)
+      // skipped 落账:页签步骤轨迹补 skip 行;以 stepsTrace 幂等(重启续跑不重复记账)
+      for (const step of this.script.steps) {
+        const s = this.state.steps[step.id]
+        if (s?.status !== 'skipped' || this.skipRecorded.has(step.id)) continue
+        const events = this.store.get(this.runId)?.stepsTrace?.[step.id]?.['-'] ?? []
+        if (events.some((e) => e.event === 'skip')) { this.skipRecorded.add(step.id); continue }
+        this.skipRecorded.add(step.id)
+        this.store.step({ runId: this.runId, stepId: step.id, event: 'skip', body: { reason: s.skipReason ?? '' } })
+      }
+      if (batch.kind === 'terminal') {
+        // 升级账/审批耗尽置账后,blocked 终态先于 pending 残留判定
+        if (this.state.terminalBlocked) {
+          this.finish('blocked', this.state.terminalBlocked)
+        } else {
+          this.judgeTerminal()
+        }
+        return this.terminalPayload()
+      }
+      if (batch.kind === 'blocked') {
+        this.finish('blocked', this.state.terminalBlocked ?? batch.reason)
+        return this.terminalPayload()
+      }
+      if (batch.kind === 'idle') {
+        this.persistState()
+        await new Promise((r) => setTimeout(r, 50))
+        continue
+      }
+      if (batch.kind === 'flow') {
+        await this.runFlowStep(batch.step)
+        if (this.finished) return this.terminalPayload()
+        this.persistState()
+        continue
+      }
+      if (batch.kind === 'approve') {
+        // v5 外部裁决:不派发,置 waiting_approval 即段边界
+        const step = batch.step
+        this.state.status = 'waiting_approval'
+        this.state.waitingApproval = step.id
+        this.persistState()
+        const payload = waitingPayload({ runId: this.runId, state: this.state, script: this.script, planStepOf: this.planStepOf, approveStep: step })
+        // 待裁决摘要落盘:页签 /run 路由据此渲染审批上下文
+        this.store.update({ runId: this.runId, waiting: payload.waiting })
+        return payload
+      }
+      // 派发时才消费控制消息:approve/flow/idle/terminal 边界不丢不耗,留给真正组装 prompt 的批次
+      const { inject, queued } = this.drainControls()
+      const outcome = await runBatch({
+        state: this.state, script: this.script, template: this.template,
+        batch: batch.calls,
+        ctx: {
+          store: this.store, runId: this.runId, engine: this.engine, parent: this.parent,
+          signal: this.signal, slots: this.slots, budgets: this.budgets,
+          request: this.request, inputs: this.inputs, injectMessages: inject, queuedMessages: queued,
+          readDoc: this.readDoc, planStepOf: this.planStepOf,
+        },
+      })
+      // 重做说明只服务紧邻的重做批次,派发后即清
+      this.state.redoInfo = {}
+      if (outcome.cancelled) {
+        this.finish('cancelled', CANCELLED_SUMMARY)
+        return this.terminalPayload()
+      }
+      this.persistState()
+    }
+  }
+
+  judgeTerminal() {
+    const failed = Object.values(this.state.steps).some((s) => s.status === 'failed')
+    if (failed) {
+      this.finish('failed', '存在失败步骤(失败账耗尽),下游已跳过')
+      return
+    }
+    this.finish('completed', '全部步骤完成')
+  }
+
+  // 嵌套子流程:解析路由 → 模板集查找 → 递归子循环;route 空即 done
+  async runFlowStep(step) {
+    const s = this.state.steps[step.id]
+    s.status = 'running'
+    const route = this.resolveFlowRoute(step)
+    if (!route) {
+      s.status = 'done'
+      s.outputs = {}
+      return
+    }
+    const sub = this.templateSet?.find((t) => t.id === route)
+    if (!sub) {
+      s.status = 'failed'
+      s.error = `子流程模板不存在:${route}`
+      return
+    }
+    const { deps: subDeps } = templateDeps(sub)
+    const subScript = scriptViewOf(sub, { steps: sub.steps.map((x) => ({ ref: x.id })), deps: subDeps })
+    const subState = initState(subScript, this.request, this.resolveFlowInputs(step))
+    const subDriver = new RunDriver({
+      template: sub, plan: { source: 'fallback', brief: '', steps: sub.steps.map((x) => ({ ref: x.id, note: '', done: '' })), deps: subDeps },
+      runId: this.runId, request: this.request,
+      inputs: subState.inputs, state: subState, engine: this.engine, parent: this.parent,
+      slots: this.slots, budgets: this.budgets, sessionId: this.sessionId, workspace: this.workspace,
+      store: this.store, signal: this.signal, subordinate: true,
+    })
+    this.store.step({ runId: this.runId, stepId: step.id, event: 'dispatch', body: { prompt: `[嵌套子流程] ${route}`, callLabel: route } })
+    await subDriver.loop()
+    if (this.signal.aborted) return
+    if (subState.status === 'completed') {
+      s.status = 'done'
+      s.outputs = collectSubOutputs(sub, subState)
+      this.store.step({ runId: this.runId, stepId: step.id, event: 'submit', body: { outputs: s.outputs } })
+    } else {
+      s.status = 'failed'
+      s.error = `子流程 ${route} 终态 ${subState.status}`
+      this.store.step({ runId: this.runId, stepId: step.id, event: 'fail', body: { error: s.error } })
+    }
+  }
+
+  resolveFlowRoute(step) {
+    const m = /^\{([^{}]+)\}$/.exec(String(step.flow).trim())
+    if (!m) return String(step.flow).trim()
+    const [refId, refOut] = m[1].split('.')
+    const ref = this.state.steps[refId]
+    const v = ref?.outputs?.[refOut]
+    if (Array.isArray(v)) return v[0] ?? ''
+    return typeof v === 'string' ? v.trim() : ''
+  }
+
+  resolveFlowInputs(step) {
+    const out = {}
+    for (const [k, v] of Object.entries(step.input ?? {})) {
+      const m = /^\{([^{}]+)\}$/.exec(String(v).trim())
+      if (!m) continue
+      const [refId, refOut] = m[1].split('.')
+      const ref = this.state.steps[refId]
+      out[k] = ref?.outputs?.[refOut] ?? ''
+    }
+    return out
+  }
+}
+
+// 发起入口(v5):创建 driver 并落盘注册,不启动段;首段由 orchestrator 包装 continuable job 调 runSegment
+export function startRun({ template, templateSet = [], plan, warnings = [], runId, request, inputs, engine, slots, budgets, sessionId, workspace, state, parent }) {
+  const store = reportStore()
+  RunDriver.seq = (RunDriver.seq ?? 0) + 1
+  const id = runId ?? `r-${Date.now().toString(36)}-${RunDriver.seq}`
+  const driver = new RunDriver({ template, templateSet, plan, warnings, runId: id, request, inputs, engine, slots, budgets, sessionId, workspace, store, state, parent })
+  driver.startPersist()
+  return driver
+}

package/lib/driver/prompts.mjs

@@ -0,0 +1,102 @@
+// 指令组装:节顺序固定 [任务][任务要点][产出要求][参考资料][用户补充][运行中用户消息][重做说明]
+// 剧本 note/done 注入([任务要点] 节与产出要求末尾"本任务口径:");fallback 剧本不注入
+import { buildSchema } from '../template.mjs'
+import { stepTypeOf } from './scheduler.mjs'
+
+const PLACEHOLDER_RE = /\{([^{}]+)\}/g
+const DOC_TRUNCATE = 16 * 1024
+export const VERDICT_SCHEMA = buildSchema({ type: 'approve' })
+
+// 占位符解析;未满足来源解析空串(静态校验期已拦截非法引用)
+export function resolvePlaceholders(text, ctx) {
+  return String(text).replace(PLACEHOLDER_RE, (_, ph) => {
+    if (ph === 'request') return ctx.request ?? ''
+    if (ph === 'item') return ctx.item !== undefined ? String(ctx.item) : ''
+    if (ph === 'item.index') return ctx.index !== undefined ? String(ctx.index) : ''
+    if (ph.startsWith('input.')) {
+      const v = ctx.inputs?.[ph.slice(6)]
+      return v === undefined || v === null ? '' : String(v)
+    }
+    const dot = ph.indexOf('.')
+    if (dot > 0) {
+      const refId = ph.slice(0, dot)
+      const refOut = ph.slice(dot + 1)
+      if (ctx.selfId === refId) {
+        if (ctx.carry !== undefined && ctx.carry !== null) return String(ctx.carry[refOut] ?? '')
+        return ''
+      }
+      const ref = ctx.state?.steps?.[refId]
+      if (ref?.outputs && refOut in ref.outputs) {
+        const v = ref.outputs[refOut]
+        return Array.isArray(v) ? v.join('\n') : String(v ?? '')
+      }
+      return ''
+    }
+    return ''
+  })
+}
+
+export function outputsSection(step, planStep) {
+  if (stepTypeOf(step) === 'approve') {
+    return [
+      '[产出要求]',
+      'verdict:审批裁决,只能是 APPROVED(达标放行)或 REJECTED(驳回)',
+      'comments:裁决说明;驳回时必须写明逐条修正要求',
+      '完成后以 structured_output 工具提交,字段缺失或为空视同本步失败。',
+    ]
+  }
+  const lines = ['[产出要求]']
+  const listSet = new Set(step.listOutputs ?? [])
+  for (const [name, desc] of Object.entries(step.outputs ?? {})) {
+    lines.push(`${name}:${desc}${listSet.has(name) ? '(字符串列表,每行一项)' : ''}`)
+  }
+  lines.push('完成后以 structured_output 工具提交,字段缺失或为空视同本步失败。')
+  if (typeof planStep?.done === 'string' && planStep.done.trim() !== '') {
+    lines.push(`本任务口径:${planStep.done}`)
+  }
+  return lines
+}
+
+export function loadSection(step, ctx) {
+  if (!Array.isArray(step.load) || step.load.length === 0) return []
+  const lines = ['[参考资料]']
+  for (const entry of step.load) {
+    if (entry.startsWith('skill:')) {
+      lines.push(`本步需使用技能 ${entry.slice(6)}(经技能工具加载后按其指引执行)。`)
+    } else if (entry.startsWith('doc:')) {
+      const text = ctx.readDoc?.(entry.slice(4))
+      if (text) lines.push(text.length > DOC_TRUNCATE ? `${text.slice(0, DOC_TRUNCATE)}\n...(已截断)` : text)
+    }
+  }
+  return lines.length > 1 ? lines : []
+}
+
+// 批次指令;ctx: {state, request, inputs, step, inst, planStep, injectMessages, queuedMessages, redo, readDoc}
+export function buildPrompt(ctx) {
+  const { step, inst, planStep } = ctx
+  const phCtx = {
+    request: ctx.request, inputs: ctx.inputs, state: ctx.state,
+    item: inst?.item, index: inst?.index, carry: inst?.carry, selfId: step.id,
+  }
+  const lines = [`[任务]`, resolvePlaceholders(step.prompt, phCtx)]
+  lines.push('[角色边界]', '你是若水编排的步骤执行者,不是主控:禁止调用 rs_workflow_* 工具、禁止再发起编排或工作流;直接完成本任务并按产出要求提交。')
+  if (typeof planStep?.note === 'string' && planStep.note.trim() !== '') {
+    lines.push('[任务要点]', planStep.note)
+  }
+  lines.push(...outputsSection(step, planStep))
+  lines.push(...loadSection(step, ctx))
+  if (ctx.queuedMessages?.length) {
+    lines.push('[用户补充]', ...ctx.queuedMessages.map((m) => `- ${m}`))
+  }
+  if (ctx.injectMessages?.length) {
+    lines.push('[运行中用户消息]', ...ctx.injectMessages.map((m) => `- ${m}`))
+  }
+  if (ctx.redo) {
+    lines.push('[重做说明]', `上一轮产出被驳回,审批意见:${ctx.redo.comments || '(无补充说明)'}`, `上一轮产出:`, ctx.redo.prevOutputs ?? '(无)')
+  }
+  return lines.join('\n')
+}
+
+export function schemaOf(step) {
+  return stepTypeOf(step) === 'approve' ? VERDICT_SCHEMA : buildSchema(step)
+}