dsh-plugin-prompt-tool 1.0.0 → 2.0.0

package/modules/tool-surface/module.yml

@@ -0,0 +1,67 @@
+# 工具面收窄 —— 常驻核心集 + dev_tool_search 按需解锁。
+#
+# 为什么：工具面实测 **156 个工具、描述合计 46894 字符（≈12K token）**，每个请求都付，
+# 而多数请求只用到其中几个。收窄到核心集后只剩 10 个左右。
+#
+# 三件东西互相依赖，缺一件就退化（详见 docs/engine-reuse.md 的「工具面收窄与按需解锁」）：
+#   1. 本模块的 `narrow-tools` 规则 —— 常驻白名单 `allow` + 动态白名单 `allowFrom`
+#   2. `dev-tool-search` 组合源行 —— 唯一发现入口，模型靠它搜索并解锁
+#   3. `allowFrom` 读回 —— 解锁名写进持久 `tool/call` 参数，下次请求起生效
+# 只挂插件不配 allowFrom 的话，解锁是**一次性的**（当次请求用完即被裁）。
+#
+# 相位用 any 两支表达（单个 phase 节点无法表达「两个相位都命中」）：
+#   `promoted` 的缺省是 **true**（= 只匹配已晋升，不是「任意」）；而 `promoted: 'ignore'`
+#   要求同时声明只接受布尔值的 `compacted`。所以：
+#     支 1 `promoted: true`                     → 已晋升（不论压缩与否）
+#     支 2 `{compacted: true, promoted: false}`  → 压缩后未晋升
+#   **首轮（未晋升且未压缩）刻意不收窄**——先让模型看到完整目录，再随相位推进收窄；
+#   长会话必然进入上面两支，省下的正是大头。
+#
+# `requireMatch: true` 是刻意的：任一 allow 工具缺失（或模型解锁了一个不存在的名字）
+# 就放弃裁剪、暴露完整目录。宁可多给上下文，也不静默裁成空目录——收窄错了会让当前
+# 工作流调不到工具，那是比多花 token 严重得多的故障。
+#
+# 工具名必须与**实际装配名**一致：本项目 harness 是 `pwsh`（不是 `bash`）、
+# `edit` + `write`（不是 `str_replace_editor`）。写错名字的后果很隐蔽——写进 allow 的
+# 名字不存在会触发 requireMatch 的 fail-open，表现为「收窄没生效」而不是报错。
+#
+# 停用即回滚：本模块在 config.yml 的 enabled 里删掉即可，重启后工具面完全恢复。
+
+id: tool-surface
+name: 工具面收窄（核心文件与任务集）
+version: 1.0.0
+engineCompat: ">=0.4.2"
+description: 把工具面收窄到常驻核心集（pwsh/read/write/edit/glob/grep/todo_write/skill_search/skill_load/dev_tool_search），其余由 dev_tool_search 按需解锁；解锁名经 allowFrom 从持久 tool/call 参数回收，跨请求与压缩保留。实测工具描述合计 46894 字符。
+meta:
+  source: manual
+modules:
+  - rule-engine
+  - dev-tool-search
+order: 7
+rules:
+  - id: tool-surface-resident
+    name: 工具面收窄（核心文件与任务集）
+    enabled: true
+    if:
+      any:
+        - phase: { promoteOn: either, includeSubagents: true, promoted: true }
+        - phase: { promoteOn: either, includeSubagents: true, compacted: true, promoted: false }
+    then:
+      - id: narrow-tools
+        kind: assembly
+        target:
+          tools:
+            allow:
+              - pwsh
+              - read
+              - write
+              - edit
+              - glob
+              - grep
+              - todo_write
+              - skill_search
+              - skill_load
+              - dev_tool_search
+            # 解锁项从 dev_tool_search 的持久调用参数回收（{ tool, key } 精确匹配）。
+            allowFrom: { tool: dev_tool_search, key: toolNames }
+            requireMatch: true

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-plugin-prompt-tool",
-  "version": "1.0.0",
+  "version": "2.0.0",
   "description": "DSH 插件：提示词工具，规范模型的思维链与回答内容，提供 Web UI 编辑 preset.md 与 AGENTS.md，并按 skills 目录注册可开关技能。",
   "license": "MIT",
   "repository": {
@@ -10,6 +10,9 @@
   "type": "module",
   "main": "lib/index.mjs",
   "types": "lib/index.d.mts",
+  "bin": {
+    "prompt-tool-migrate-rules": "lib/migrate-rules.mjs"
+  },
   "exports": {
     ".": {
       "types": "./lib/index.d.mts",
@@ -118,6 +121,7 @@
     "sync:yaml": "node scripts/sync-yaml-vendor.mjs",
     "rebuild:preset-template": "node scripts/rebuild-preset-template.mjs",
     "rematerialize:presets": "node scripts/rematerialize-presets.mjs",
+    "migrate:rules": "node lib/migrate-rules.mjs",
     "repair:profile": "node scripts/repair-profile.mjs",
     "verify:host": "node scripts/verify-host-contracts.mjs"
   },

package/templates/10-pre-step.yml

@@ -2,30 +2,34 @@
 # 本模板覆盖三种字段变体，插入后改字段即可：
 #   - mergeMode=merged + texts 多块 → 同 position 配置拼接为一条消息（原 11-merged-a）
 #   - configKind=anchor → 固定锚点序，按模块文件相对顺序排所有 ordered 之前（原 13-anchor）
-# 接入：复制本文件到 promptConfigsDir 目录，或把对象写入 settings.promptConfigs 数组。
-# 保存前可 POST /api/prompt-tool/settings/configs-validate 做权威校验。
+# 接入：复制本文件到 模块规则模板目录，或把对象写入 module.yml.rules 数组。
+# 保存前可 POST /api/prompt-tool/settings/rules 做权威校验。
 # audience 为配置项（缺省=公用；main=仅主会话；subagent=仅子代理），模板不锁定。
 id: example-pre-step
 name: 示例：消息批注入
 enabled: false
 layer: pre-step
-strategy: static
-position: after-user
-dedupe: session
-promotion: none
-modelScope: all
-configKind: ordered
-order: 0
-role: user
-mergeMode: separate
-sourceKind: ''
-form: notice
-summary: ''
-identity:
-  field: plugin
-  value: example-pre-step
-text: |-
-  
-variables:
-  WHO: ''
-params: {}
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: example-pre-step
+      layer: pre-step
+      strategy: static
+      position: after-user
+      dedupe: session
+      configKind: ordered
+      order: 0
+      role: user
+      mergeMode: separate
+      sourceKind: ''
+      form: notice
+      summary: ''
+      identity:
+        field: plugin
+        value: example-pre-step
+      text: |
+
+      variables:
+        WHO: ''
+      params: {}

package/templates/14-first-turn-anchor.yml

@@ -1,27 +1,31 @@
 # 模板：首句锚点（strategy=first-turn-anchor）
 # 首条真实用户消息后按任务类型（build / inspect / deep）注入锚句，每会话一次。
-# 纯净模板：参数全部留空，由用户自定义；默认锚句与正则见引擎内置策略默认值。
-# 提示：把本文件放入 promptConfigsDir 目录，或把对象写入 settings.promptConfigs 数组。
+# 纯净模板：参数全部留空，由用户自定义；锚句与分类正则由模板或用户配置提供，引擎不提供默认正文。
+# 提示：把本文件放入 模块规则模板目录，或把对象写入 module.yml.rules 数组。
 id: example-first-turn-anchor
 name: 示例：首句锚点
 enabled: false
 layer: pre-step
-strategy: first-turn-anchor
-position: after-user
-dedupe: session
-promotion: none
-modelScope: all
-configKind: ordered
-order: 0
-role: user
-mergeMode: separate
-sourceKind: ''
-form: notice
-params:
-  useCustom: false
-  text: ""                  # 自定义锚文本（useCustom=true 时固定注入）
-  buildPattern: ""      # 构建任务正则；留空 = 该分类不生效
-  complexPattern: ""    # 复杂任务正则；留空 = 该分类不生效
-  firstTurnBuild: ""    # 构建任务锚句（留空 = 引擎内置默认锚句）
-  firstTurnInspect: ""  # 排查任务锚句（留空 = 引擎内置默认锚句）
-  firstTurnDeep: ""     # 复杂设计锚句（留空 = 引擎内置默认锚句）
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: example-first-turn-anchor
+      layer: pre-step
+      strategy: first-turn-anchor
+      position: after-user
+      dedupe: session
+      configKind: ordered
+      order: 0
+      role: user
+      mergeMode: separate
+      sourceKind: ''
+      form: notice
+      params:
+        useCustom: false
+        text: "" # 自定义锚文本（useCustom=true 时固定注入）
+        buildPattern: "" # 构建任务正则；留空 = 该分类不生效
+        complexPattern: "" # 复杂任务正则；留空 = 该分类不生效
+        firstTurnBuild: "" # 构建任务锚句（留空 = 不注入该类别锚句）
+        firstTurnInspect: "" # 排查任务锚句（留空 = 不注入该类别锚句）
+        firstTurnDeep: "" # 复杂设计锚句（留空 = 不注入该类别锚句）

package/templates/15-guide-auto.yml

@@ -1,25 +1,40 @@
+# 复杂任务判定 fallback 复用锚定卡的 complexPattern；长度判定仅使用显式 complexMinChars；未设置时不按长度分类
+# 简单任务自动引导句（留空 = 不注入该类别引导）
+# 复杂任务自动引导句（留空 = 不注入该类别引导）
+
 # 模板：每轮引导（strategy=guide-auto）
 # 晋升后每轮用户消息后按复杂度注入弱/深度引导；modelScope=flash 表示仅 flash 模型会话注入。
-# 纯净模板：参数全部留空，由用户自定义；默认引导句文本见引擎内置策略默认值。
-# 提示：把本文件放入 promptConfigsDir 目录，或把对象写入 settings.promptConfigs 数组。
+# 纯净模板：参数全部留空，由用户自定义；引导句由模板或用户配置提供，留空不注入。
+# 提示：把本文件放入 模块规则模板目录，或把对象写入 module.yml.rules 数组。
 id: example-guide-auto
 name: 示例：每轮引导
 enabled: false
 layer: pre-step
-strategy: guide-auto
-position: after-user
-dedupe: batch
-promotion: main
-modelScope: flash
-configKind: ordered
-order: 10
-role: user
-mergeMode: separate
-sourceKind: ''
-form: notice
-params:
-  useCustom: false
-  text: ""
-  # 复杂任务判定 fallback 复用锚定卡的 complexPattern；留空 = 仅按文本长度 120 判定深/弱
-  guideWeak: ""             # 简单任务自动引导句（留空 = 引擎内置默认引导句）
-  guideDeep: ""             # 复杂任务自动引导句（留空 = 引擎内置默认引导句）
+if:
+  all:
+    - scope:
+        modelScope: flash
+    - phase:
+        promoted: true
+        includeSubagents: false
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: example-guide-auto
+      layer: pre-step
+      strategy: guide-auto
+      position: after-user
+      dedupe: batch
+      configKind: ordered
+      order: 10
+      role: user
+      mergeMode: separate
+      sourceKind: ''
+      form: notice
+      params:
+        useCustom: false
+        text: ""
+        guideWeak: ""
+        guideDeep: ""
+        complexMinChars: 120

package/templates/16-custom-fallback.yml

@@ -2,22 +2,34 @@
 # 首轮推理命中锚定确认词后注入一次；未命中最多两轮兜底。确认词集合 anchorWords 由
 # writePreset 从锚句自动派生（firstTurnWord 空时）；显式 firstTurnWord 覆盖派生。
 # 两者都为空 = 不做词确认，只走未命中兜底注入（引擎不内置确认词）。
-# 提示：把本文件放入 promptConfigsDir 目录，或把对象写入 settings.promptConfigs 数组。
+# 提示：把本文件放入 模块规则模板目录，或把对象写入 module.yml.rules 数组。
 id: example-custom-fallback
 name: 示例：自定义锚词兜底注入
 enabled: false
 layer: pre-step
-strategy: custom-fallback
-position: before-all
-dedupe: session
-promotion: main
-modelScope: all
-configKind: ordered
-order: 20
-role: user
-mergeMode: separate
-sourceKind: plugin
-form: notice
-params:
-  text: ""          # 注入文本（如 preset.md 内容）；留空 = 不注入
-  firstTurnWord: "" # 锚定确认词（显式覆盖；空 = 自动派生）
+if:
+  all:
+    - phase:
+        promoted: true
+        includeSubagents: false
+    - anchor:
+        keys: []
+        fallbackAfter: 1
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: example-custom-fallback
+      layer: pre-step
+      strategy: anchor-notice
+      position: before-all
+      dedupe: session
+      configKind: ordered
+      order: 20
+      role: user
+      mergeMode: separate
+      sourceKind: plugin
+      form: notice
+      params:
+        text: "" # 注入文本（如 preset.md 内容）；留空 = 不注入
+        firstTurnWord: "" # 锚定确认词（显式覆盖；空 = 自动派生）

package/templates/18-placeholder-env-facts.yml

@@ -6,17 +6,26 @@
 # 可用 text 模板 + {{变量}} 完全自定义。
 id: example-placeholder
 layer: pre-step
-strategy: placeholder
-fill: env-facts
-position: after-all
-dedupe: session
-promotion: include-subagents
-text: |-
-  
-params:
-  envKeys: DSH_HOME,DSH_WORKSPACE  # 环境变量白名单（逗号分隔）；留空 = 只输出 CWD/WORKSPACE
-  limit: 20         # skill-catalog：条目数上限
-  fields: name,description  # skill-catalog：输出字段
-  providers: ''     # skill-catalog：提供方过滤
-  emptyBehavior: skip       # skill-catalog：空结果行为
-  emptyText: 当前没有可用技能。  # skill-catalog：emptyBehavior=text 时的提示；留空 = 不注入
+if:
+  phase:
+    promoted: true
+    includeSubagents: true
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: example-placeholder
+      layer: pre-step
+      strategy: placeholder
+      fill: env-facts
+      position: after-all
+      dedupe: session
+      text: |
+
+      params:
+        envKeys: DSH_HOME,DSH_WORKSPACE # 环境变量白名单（逗号分隔）；留空 = 只输出 CWD/WORKSPACE
+        limit: 20 # skill-catalog：条目数上限
+        fields: name,description # skill-catalog：输出字段
+        providers: '' # skill-catalog：提供方过滤
+        emptyBehavior: skip # skill-catalog：空结果行为
+        emptyText: 当前没有可用技能。 # skill-catalog：emptyBehavior=text 时的提示；留空 = 不注入

package/templates/20-system-section.yml

@@ -11,13 +11,19 @@
 id: example-system-section
 name: 示例：system 静态段
 layer: system-section
-strategy: static
-order: -50
-mergeMode: merged
-text: |-
-  
-variables: {}
-params:
-  complete: false
-  suppressRuntimeContext: false
-  sectionName: ''
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: example-system-section
+      layer: system-section
+      strategy: static
+      order: -50
+      mergeMode: merged
+      text: |
+
+      variables: {}
+      params:
+        complete: false
+        suppressRuntimeContext: false
+        sectionName: ''

package/templates/30-runtime-context.yml

@@ -4,10 +4,16 @@
 #   支持 placeholder 的层级）。
 id: example-runtime-context
 layer: runtime-context
-strategy: static
-order: 5
-mergeMode: merged
-text: |-
-  
-params:
-  contextName: ''
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: example-runtime-context
+      layer: runtime-context
+      strategy: static
+      order: 5
+      mergeMode: merged
+      text: |
+
+      params:
+        contextName: ''

package/templates/40-agent-request.yml

@@ -1,11 +1,14 @@
 # 模板：agent-request 调用配置修改（LlmCallConfig 浅合并 / 整体替换）
 id: example-agent-request
 layer: agent-request
-strategy: static
-modelScope: flash
-order: 0
-params:
-  patch:
-    maxTokens: 4096
-    temperature: 0.3
-  replace: false
+if:
+  scope:
+    modelScope: flash
+then:
+  - id: request
+    kind: request-params
+    patch:
+      maxTokens: 4096
+      temperature: 0.3
+    replace: false
+    modelScope: all

package/templates/50-llm-stream.yml

@@ -1,9 +1,17 @@
 # 模板：llm-stream 模型流包装（pass 透传 / replace 用 text 替代整个流）
 id: example-llm-stream
 layer: llm-stream
-strategy: static
-modelScope: flash
-order: 0
-text: ""            # mode=replace 时替代整个模型流的文本
-params:
-  mode: pass
+if:
+  scope:
+    modelScope: flash
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: example-llm-stream
+      layer: llm-stream
+      strategy: static
+      order: 0
+      text: "" # mode=replace 时替代整个模型流的文本
+      params:
+        mode: pass

package/templates/60-tool-pipeline.yml

@@ -1,13 +1,19 @@
+# postAction=replace/block 时使用的文本
+
 # 模板：tool-pipeline 工具行为策略（对已注册工具的 pre/post 改写；
 # 自定义工具定义见工具管理区块——tool-pipeline 层筛选可见）。
 id: example-tool-pipeline
 layer: tool-pipeline
-strategy: static
-order: 0
-modelScope: all
-text: ""            # postAction=replace/block 时使用的文本
-params:
-  toolNames: bash,run_code
-  preDecision: allow
-  denyReason: 该工具被提示词配置禁用
-  postAction: accept
+then:
+  - id: before
+    kind: decision
+    phase: pre
+    decision: allow
+    toolNames: bash,run_code
+    reason: 该工具被提示词配置禁用
+  - id: after
+    kind: decision
+    phase: post
+    action: accept
+    toolNames: bash,run_code
+    text: ""

package/templates/65-turn-stop.yml

@@ -4,15 +4,22 @@
 id: example-turn-stop
 name: 未完成时强制续跑
 layer: turn-stop
-strategy: static
-order: 0
-modelScope: all
-text: |-
-  上一轮还没有给出完整交付。请继续把当前任务做完：不要停在中途，
-  也不要用「接下来我会…」的计划代替实际执行。
-match:
-  keys:
-    - 接下来我会
-    - 稍后继续
-    - 待办如下
-params: {}
+if:
+  text:
+    keys:
+      - 接下来我会
+      - 稍后继续
+      - 待办如下
+    subject: assistantText
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: example-turn-stop
+      layer: turn-stop
+      strategy: static
+      order: 0
+      text: |-
+        上一轮还没有给出完整交付。请继续把当前任务做完：不要停在中途，
+        也不要用「接下来我会…」的计划代替实际执行。
+      params: {}

package/templates/66-subagent-start.yml

@@ -5,10 +5,15 @@
 id: example-subagent-start
 name: 子代理通用守则
 layer: subagent-start
-strategy: static
-order: 0
-modelScope: all
-text: |-
-  开始编辑之前，先确认你改的这条路径在运行时会真的被执行：查调用链，
-  或用探针跑一次看它动。找不到证据就继续查，不要凭「看起来像」就动手。
-params: {}
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: example-subagent-start
+      layer: subagent-start
+      strategy: static
+      order: 0
+      text: |-
+        开始编辑之前，先确认你改的这条路径在运行时会真的被执行：查调用链，
+        或用探针跑一次看它动。找不到证据就继续查，不要凭「看起来像」就动手。
+      params: {}

package/templates/70-subagent-maintenance.yml

@@ -7,32 +7,38 @@ id: subagent-maintenance
 name: 子代理状态/记忆维护
 enabled: false
 layer: pre-step
-strategy: static
-position: after-user
-dedupe: none
-promotion: none
-audience: subagent
-modelScope: all
-configKind: ordered
-order: 2000
-role: user
-mergeMode: merged
-sourceKind: ''
-form: hint
-summary: ''
-identity:
-  field: plugin
-  value: subagent-maintenance
-text: |-
-  你是本会话的「状态与记忆维护者」，与创作类子代理职责互补：
-  - 状态（本会话临时，模板变量注入用）：观察互动中明确的角色状态变化
-    （心情、态度、接受度等），用 session_var 工具 set 更新——变量名见下方
-    「状态变量」清单；状态未变化时不要重复写入。
-  - 记忆（跨会话持久）：有人际关系进展或重要事实时，用 world_book_upsert
-    的 note 参数写入来源角色卡记忆（条目 id 带 chara- 前缀 → 角色卡
-    memory.md，跨会话跟随角色卡）；无归属条目写入模块记忆。
-  - 克制：仅在状态确实变化时更新；不确定时保留原值；不编造未发生的内容。
-  状态变量清单：{{stateKeys}}
-variables:
-  stateKeys: 心情, 接受值, 关系进度
-params: {}
+if:
+  scope:
+    audience: subagent
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: subagent-maintenance
+      layer: pre-step
+      strategy: static
+      position: after-user
+      dedupe: none
+      configKind: ordered
+      order: 2000
+      role: user
+      mergeMode: merged
+      sourceKind: ''
+      form: hint
+      summary: ''
+      identity:
+        field: plugin
+        value: subagent-maintenance
+      text: |-
+        你是本会话的「状态与记忆维护者」，与创作类子代理职责互补：
+        - 状态（本会话临时，模板变量注入用）：观察互动中明确的角色状态变化
+          （心情、态度、接受度等），用 session_var 工具 set 更新——变量名见下方
+          「状态变量」清单；状态未变化时不要重复写入。
+        - 记忆（跨会话持久）：有人际关系进展或重要事实时，用 world_book_upsert
+          的 note 参数写入来源角色卡记忆（条目 id 带 chara- 前缀 → 角色卡
+          memory.md，跨会话跟随角色卡）；无归属条目写入模块记忆。
+        - 克制：仅在状态确实变化时更新；不确定时保留原值；不编造未发生的内容。
+        状态变量清单：{{stateKeys}}
+      variables:
+        stateKeys: 心情, 接受值, 关系进度
+      params: {}

package/templates/75-subagent-end.yml

@@ -8,8 +8,13 @@ id: example-subagent-end
 name: 子代理结束记录（只观察）
 enabled: false
 layer: subagent-end
-strategy: static
-order: 0
-modelScope: all
-params:
-  action: observe
+then:
+  - id: inject
+    kind: inject-text
+    config:
+      id: example-subagent-end
+      layer: subagent-end
+      strategy: static
+      order: 0
+      params:
+        action: observe