clearai-dsh 0.3.0 → 0.4.0

package/lib/lang.js

@@ -0,0 +1,81 @@
+/**
+ * lang —— 系统自己写的话用哪种语言。
+ *
+ * 规则只有一条:**跟着人说话的语言走**(会话级)。人用中文写,工具结果、运行态卡、
+ * 问人的话、系统落盘的文件都是中文;人用英文写,就都是英文。面板的界面字跟着界面语言,
+ * 两者通常一致。
+ *
+ * 读口只有一个 `language()`:
+ *   · 内核(预设插件)在处理某个会话的那一刻,用进程内共享的 AsyncLocalStorage 标出语言
+ *     (挂在 `globalThis[Symbol.for('clearai.language')]` 上,因为内核与宿主半是两个插件、两份模块);
+ *   · 宿主半自己算面板读数时,用 `withLanguage(state.language, …)` 同步钉住。
+ * 两者都没有时是中文。
+ */
+
+const KEY = Symbol.for('clearai.language')
+let pinned = null
+
+/** 当前语言:'zh' 或 'en'。 */
+export function language() {
+	if (pinned !== null) return pinned
+	const scope = globalThis[KEY]
+	const value = typeof scope?.getStore === 'function' ? scope.getStore() : undefined
+	return value === 'en' ? 'en' : 'zh'
+}
+
+/** 二选一:中文在前,英文在后。 */
+export function tr(zh, en) {
+	return language() === 'en' ? en : zh
+}
+
+/** 同步地把一段计算钉在某种语言上(只给同步代码用)。 */
+export function withLanguage(lang, fn) {
+	const previous = pinned
+	pinned = lang === 'en' ? 'en' : lang === 'zh' ? 'zh' : previous
+	try {
+		return fn()
+	} finally {
+		pinned = previous
+	}
+}
+
+/**
+ * 一段人写的话是哪种语言:有汉字且汉字不算少 ⇒ 中文;只有拉丁字母 ⇒ 英文;两样都没有 ⇒ null(不改判)。
+ * 「汉字不算少」= 汉字数 × 3 ≥ 拉丁字母数:中文句子里夹的英文术语不改判,英文句子里引一个汉字词也不改判。
+ */
+export function detectLanguage(text) {
+	if (typeof text !== 'string') return null
+	const body = text.replace(/```[\s\S]*?```/g, ' ').replace(/`[^`]*`/g, ' ').replace(/https?:\/\/\S+/g, ' ')
+	const cjk = (body.match(/[㐀-鿿豈-﫿]/g) ?? []).length
+	const latin = (body.match(/[A-Za-z]/g) ?? []).length
+	if (cjk >= 1 && cjk * 3 >= latin) return 'zh'
+	if (latin >= 2) return 'en'
+	return null
+}
+
+/** 一条消息的正文(content 可能是字符串,也可能是若干块)。 */
+export function messageText(message) {
+	const content = message?.content
+	if (typeof content === 'string') return content
+	if (!Array.isArray(content)) return ''
+	return content
+		.filter((part) => part?.type === 'text' && typeof part.text === 'string')
+		.map((part) => part.text)
+		.join('\n')
+}
+
+/**
+ * 双语表:表里写 `[中文, English]`,读的时候按当前语言取一边;嵌套对象一并处理。
+ * 给模块级常量用(它们在装载时求值,那一刻还不知道是哪个会话)。
+ */
+export function bilingual(table) {
+	return new Proxy(table, {
+		get(target, key) {
+			const value = target[key]
+			if (Array.isArray(value) && value.length === 2 && typeof value[0] === 'string' && typeof value[1] === 'string') return tr(value[0], value[1])
+			if (Array.isArray(value)) return value.map((item) => (item !== null && typeof item === 'object' && !Array.isArray(item) ? bilingual(item) : item))
+			if (value !== null && typeof value === 'object') return bilingual(value)
+			return value
+		},
+	})
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "clearai-dsh",
-  "version": "0.3.0",
+  "version": "0.4.0",
   "description": "ClearAI: an ontology-first DSH agent preset — evidence-checked research that grows into a domain ontology.",
   "type": "module",
   "private": false,

package/presets/clearai/agent.cordis.yml

@@ -20,15 +20,8 @@
 - id: persona
   name: '@deepseek-ai/dsh-persona'
   config:
-    prefix: |-
-      你是 ClearAI 的主人格,运行在 DeepSeek Harness 上。
-
-      你以**单循环**工作:计划 → 执行 → 观察 → 反思,一个循环推进,不做多 Agent 编排。子角色(评估者)由系统按触发派生,不是自由委派。
-
-      你的判断是智能的部分:理解材料、提出假设、选择路线、判断哪条证据更可信。事实的部分由系统持有:什么算完成、进度是多少、一个事实能不能写进知识库、谁的裁决有效——这些都不由你声明,只由系统算出来。
-
-      你不靠提示词约束自己:完成要过观测准入,推进只能通过唯一完成动词,L3 以上的裁决由独立评估者写。你要做的是把智能用在判断上,而不是用在描述状态上。
-    suffix: 你的工作目录是 {{cwd}}。工作区就是用户的文件夹;`clear/` 是系统与外脑的目录,其余目录都是用户的。
+    prefix: '你是 ClearAI 的主人格,运行在 DeepSeek Harness 上。怎么工作见下面三段:身份、循环、对人说话。'
+    suffix: 你的工作目录是 {{cwd}}。工作区就是用户的文件夹;`clear/` 是系统的目录,其余目录都是用户的。
 
 - id: agent-instructions
   name: '@deepseek-ai/dsh-agent-instructions'
@@ -71,7 +64,7 @@
 - id: tool-jobs
   name: '@deepseek-ai/dsh-tool-jobs'
 
-# ── 技能(外脑) ─────────────────────────────────────────────────────────────
+# ── 技能(原生技能目录) ─────────────────────────────────────────────────────────────
 
 # 技能注册表在宿主并按 scope 分层:这两行注册进**本预设的层**,所以不需要 realm。
 # `customSkillDirs` 指向本预设自己的 skills/ —— 哲学文本随预设走,`baseUrl` 就是预设目录,
@@ -85,6 +78,37 @@
 - id: tool-skill
   name: '@deepseek-ai/dsh-tool-skill'
 
+# ── 目标与计划模式交给原生(第三阶段) ─────────────────────────────────────────
+# 目标的文字、续跑、暂停、完成都在原生 goal 上:模型用 create/get/update_goal,人用 /goal 与界面。
+# ClearAI 只往当前 goal 上挂判据与判断(Frame),完成只能经 Conclude(先过独立评估);
+# 模型直接调 update_goal(action=complete) 会被内核守卫拒绝。
+# 人想先审计划,用原生 /plan(计划模式,exit_plan_mode 交人审阅);ClearAI 不再自带审阅卡与授权记号。
+- id: command-goal
+  name: '@deepseek-ai/dsh-command-goal'
+- id: tool-goal
+  name: '@deepseek-ai/dsh-tool-goal'
+- id: planning
+  name: cordis:group
+  group: true
+  isolate:
+    planMode: true
+  config:
+    - id: plan-mode
+      name: '@deepseek-ai/dsh-plan-mode'
+      config:
+        section: |
+          You are in plan mode. Stay in plan mode until exit_plan_mode succeeds or the user switches the session mode. Imperative language to implement changes means plan the implementation, not execute it. A user's conversational agreement — including an answer confirming something you asked — approves nothing and does not end plan mode; fold the confirmed decision into the plan and submit it through exit_plan_mode.
+
+          Explore first. Use non-mutating reads, searches, static analysis, and checks to ground the plan in the actual repository. Do not edit or write files, change configuration, run formatters or code generation that rewrites tracked files, commit, or otherwise carry out the plan. Prefer existing functions and patterns over new machinery.
+
+          The tool catalog stays the same across modes for request-cache stability. These plan-mode rules override any later tool description or guidance that suggests using mutation tools; those tools remain listed to keep the tool catalog unchanged. Do not use todo_write to track this planning phase: it tracks implementation after an approved plan, while the plan itself belongs in exit_plan_mode.
+
+          Resolve discoverable facts by inspection. Use ask_user_question only for user-owned choices or material ambiguity that inspection cannot answer. Do not ask the user where code lives or how current behavior works when you can find out.
+
+          Make the plan decision-complete: state the goal and success criteria; group implementation changes by subsystem; identify public API, schema, and data-flow changes; cover edge cases, failure modes, tests, acceptance criteria, and explicit assumptions. Keep it concise enough to review but detailed enough that another engineer can implement it without making design decisions.
+
+          When ready, call exit_plan_mode with the complete plan markdown, starting with a # title. Make exit_plan_mode the only and final tool call in that assistant response: it presents the plan for approval, and implementation begins only in a later step after approval. Do not paste the final plan as a plain reply or ask "should I proceed?" through prose or ask_user_question. If review rejects it, incorporate the feedback and present again. If the review channel is unavailable or aborted, stay in plan mode and ask the user to switch modes manually; do not proceed with implementation.
+
 # ── 压缩(上下文是受控资源) ─────────────────────────────────────────────────
 
 # `compaction-basic` 通过 ctx.get 读 `toolResultPruner`,所以剪枝器必须与它同一个 realm。
@@ -111,26 +135,19 @@
 
 # ── 认识论内核(本预设的灵魂) ───────────────────────────────────────────────
 
-# 32 件意图工具(目标 2 + 计划 8 + 世界线 6 + 侦察 2 + 外脑 2 + 账本 2 + 领域语言 10:
-          #   概念注册/修订/废止 6 + **实例登记 1** + **带出处的断言 1** + **跳级理由 1** + 查询 1,见 `MECHANISM_TOOLS`)
-# + 一个 guard + 每回合派生的运行态卡 + 只增不删的台账 + 面板数据路由。
-# 逐条对照 docs/loop-philosophy.md 的五条哲学,见 ./plugins/clearai-kernel.js 的文件头。
-#
-# 外脑:**读侧全走宿主原生**——`./plugins/brain.js` 只把工作区投影成技能条目
-# (`clear/skills/**` → 目录条目;`clear/memory/**` → 一个**虚拟条目** `project-memory`,
-# 正文现算所以没有「索引过期」),目录注入与按需加载由宿主的 `tool-skill` 承担(digest 变了才注入)。
-# 自建的只有写侧两件:`SaveSkill`(默认候选态)与 `WriteMemory`(字段校验 + 标题去重)。
+# 6 件意图工具(目标 2 + 计划 4,见 `MECHANISM_TOOLS`;领域本体没有工具,
+#   模型用原生文件工具直接写 clear/ontology/{concepts,relations,entities}/**.json)
+# + 一个 guard + 每回合派生的运行态卡 + 面板数据路由。
+# 逐条对照 docs/loop-philosophy.md 的哲学,见 ./plugins/clearai-kernel.js 的文件头。
 #
-# 世界线(ForkPlan):互斥方案各占一份自己的工作副本,收敛是**算术**——拿事先登记的尺子
-# 对读数排序,采纳最优的,落选的全部保留。算不出来就停下问人,绝不退化成随便挑一条。
-# git 世界线已落地(A+B 两档):用户仓库可用就地开分支 + worktree,不可用退到旁路账本仓库。
+# 宿主已经有的不再自带:文件改动历史归 workspace-changes,技能归原生技能目录,
+# 并行探索归原生 subagent / workflow(竞争路线就是竞争的假设,各由一个步骤检验)。
 #
 # 装配是**清单驱动**的:工具面、提示词段、机制开关全部查表,代码里不出现模式名。
 #
-# 续跑:需要继续时,内核在宿主 `goals` 服务上布防一枚**续跑令牌**——计划收尾而目标未达成时,
-# 由宿主的回合驱动自己开下一轮。**要不要继续由门状态决定**(未授权 / 等裁决 / 有人在等 → 停),
-# 与运行档无关。宿主目标只当**驱动器**,内核从不读它做判断(事实仍然只从投影里算出来);
-# 达成→收回,触礁/放弃→置阻塞,重启后自动补防。
+# 目标挂在原生 goal 上:Frame 挂判据与判断(没有原生 goal 就建一枚),Conclude 先过独立评估、
+# 通过才把原生 goal 置为完成;续跑由原生 goal 的驱动自己做。需要人而没人能答、或模型如实放弃时,
+# 内核把原生 goal 置为阻塞并写明原因。
 # 配置项就是机制的旋钮:
 - id: clearai-kernel
   # 用**包内子路径**而不是 `./plugins/…`:宿主 ≥0.1.7-alpha.1 起,预设是声明行
@@ -156,27 +173,18 @@
     # 只有一个猜想时,「验证」容易退化成找证据支持自己。修订目标不受此限。
     # 内核缺省是 0(=机制中立);**这里写 2 是产品立场**,所以它是硬门,不是文案。
     minHypotheses: 2
-    # 知识门:将要升格的命题必须已有断言的形态,否则结案被拒(在派评估者**之前**拦)。
-    # 为什么要有它:断言一直是「加法,不是门槛」,于是模型的最优策略就是
-    # 「检索 → 总结 → 写报告」——本体图、实体图、认识论三张图都长不出来,
-    # 因为**完成函数里没有它们**。让缺口进卡只解决「看得见」,这一道解决「绕不过」。
-    # 它与 minHypotheses 是两条不同的立场(开工要有候选对比 / 结论要有形态),所以是两个键。
-    # 内核缺省 false(= 断言始终是加法);这里写 true 是产品立场。
-    requireTypedPromotion: true
-    # 实体门:断言主体还没落到实体图上 ⇒ 结案被拒。
+    # 实体门(结案唯一的结构关口):将要升格的判断里,断言主体还不是实体图上的节点 ⇒ 结案被拒
+    # (在派评估者**之前**拦)。只有散文、没有断言的判断不拦,那只是卡上的一条缺口。
     # 为什么要有它:「本体写得漂亮、实体图是空的」是这套系统最容易交付出来的假完成
     # (真实运行:451 条查到的实体,实体图 0 节点 / 0 边,而卡上写着「结构完整」)。
-    # 出口两条:RegisterInstance / Assert 补登记,或如实 abandoned。
+    # 出口两条:给主体写实体文件 clear/ontology/entities/<id>.json(升格会落下边,不必再写同一句话),
+    # 或把断言从判断上拿掉 / 如实 abandoned。
+    # 「跳级没写理由」与「将升格的命题没有断言形态」两道门在第四阶段删了(依据见 less-is-more-plan)。
     requireLandedEntities: true
     # 判据修订门:改判据文本要带一份独立裁决的 auditKey。
     # 为什么要有它:判据是"怎样算完成",它一变前面所有工作的验收含义跟着变——
-    # 允许在同一次 SetGoal 里顺手改掉,等于允许把"做不到"重新定义成"做到了"。
+    # 允许在同一次 Frame 里顺手改掉,等于允许把"做不到"重新定义成"做到了"。
     requireCriteriaVerdict: true
-    # 跳级门:有等级被跳过而没写理由 ⇒ 结案被拒。
-    # 为什么要有它:supportedLevel 只是支持证据的最大值,跳级本来零代价——
-    # 于是"一路只在最贵的那一级交付"成了最优策略,便宜的检查从没被走过也没人知道为什么。
-    # 出口两条:ExplainLevelSkip 补理由,或如实 abandoned。
-    requireLevelReasons: true
     # deny_rules 十条里可移植的九条(路径越狱那条不搬:宿主沙箱已经拥有它,ClearAI 自己也说「不重复」)
     bashDenyRules: true
     # 独立评估者:spawn = fresh context(fork 会继承历史,做的人与判的人就分不开了)
@@ -192,53 +200,20 @@
       - read_image
     # 每回合派生的运行态卡(只在状态变化时注入:前缀稳定是硬约束)
     runtimeCard: true
-    # 运行档:人在场 / 无人值守。**它只决定一件事**:澄清协议装哪一段
-    # (槽位 clarification 收敛;两套措辞互斥,永不同时在场)。
-    #
-    # 它**不决定**下面这些——写清楚是因为这四处曾经被误认为跟着档走:
-    #   · 计划授权 —— 计划**永远**要人在原生审阅卡上批准(CreatePlan 里没有自动确认分支,
-    #     confirmed_by 只有 'user' 与 'progress');
-    #   · 续跑策略 —— 要不要继续由 turnDemand 从**门状态**算出来(未授权/裁决在飞/门开着 → hold);
-    #   · 续跑轮数 —— 只有一个默认值 128,不按档取;
-    #   · 面板开关 —— 人门动词 set_autonomy 已摘除,当前没有切换入口。
-    #
-    # 所以这里写的是**部署初值**,不是"人此刻在不在场"的表示。
-    # 真正表达"要不要人"的是**门**:计划待确认 / 等裁决 / 有人在等。
-    autonomy: attended
-    # 续跑轮数上限。**刻意不写**:不写就回落到 DEFAULT_MAX_AUTO_TURNS(128),在布防点现算。
-    # 显式写一个数就两档都用它。这个键存在的意义是**保险丝**:够长到能跑完一件真活,
-    # 又短到不会无声烧掉一整夜。
-    # 执行者是**原生**:数字传到宿主目标的 maxGoalRounds,到限由 `dsh-goal-round-driver`
-    # 自己 block(code='round-limit')——上限真的是机制在执行,不是一句嘱咐。
     # 上下文预算不在这里:那是原生 `dsh-token-meter` + `dsh-compaction-basic` 的活。
     # 贡献表(ClearAI `composition.py` 的装配语义):装配根遍历清单,清单里出现表外的名字
     # 当场抛错——未知机制 / 未知工具 / 未知段 / 已关机制却仍列着它的工具,四种错法都在装配期炸,
     # 而不是静默少装一件工具、等某一轮才发现。
     #
-    # 这里只写**机制开关**;tools / sections 缺省 = 目录全量(32 件意图工具、24 段提示词定义、
-    # 同一时刻 23 段在场——澄清协议那一段由 autonomy 在两套措辞里收敛)。
+    # 这里只写**机制开关**;tools / sections 缺省 = 目录全量(6 件意图工具、3 段提示词,全部在场)。
     # 这些数字不靠人眼维持:`node tools/verify-truth-table.mjs` 会拿代码算出来的数核对它们。
     # 要裁剪就把 tools 或 sections 显式写出来:
-    #   tools: [SetGoal, CreatePlan, AdvancePlan, ...]      # 名字必须都在工具目录里
-    #   sections: [clearai/foundation, clearai/loop-contract, clarification, ...]
-    # `clarification` 是槽位名;直接写两套措辞里的哪一个会被拒绝(同时在场不可表示)。
+    #   tools: [Frame, CreatePlan, AdvancePlan, ...]      # 名字必须都在工具目录里
+    #   sections: [clearai/identity, clearai/loop, clearai/speaking]
     contributions:
       mechanisms:
         goal: true
         plan: true
-        worldline: true
-        scout: true
-        brain: true
-        ledger: true
-
-# ── 人侧命令(/ 菜单) ────────────────────────────────────────────────────────
-
-# 五个命令都是**人侧界面**:四个只读状态窗(goal/plan/evidence/worldline,从账本现算,
-# 一个字都不落账) + 一个呈审捷径(plan-review,把「重新呈审」steer 给模型,
-# 授权记号仍走 RequestPlanReview 工具落账——命令处理器没有变更通道,这是权威边界)。
-- id: clearai-commands
-  # 同上:改用包内子路径(见 clearai-kernel 那一行的说明)。
-  name: 'clearai-dsh/presets/clearai/plugins/commands.js'
 
 # ── 工作方式(非权威能力,交还原生) ──────────────────────────────────────────
 
@@ -317,11 +292,8 @@
 
 # ── 刻意不挂的行(是决策,不是遗漏) ─────────────────────────────────────────
 #
-# · `tool-goal` / `command-goal`:DSH 的 goals 服务已经被内核用作**续跑驱动器**
-#   (布防/收兵都走它);再挂上模型面的 goal 工具,模型就能自己声明目标状态——
-#   那是第二本账。ClearAI 的目标账只有一本,由内核持有,面板显示的就是它。
-# · `plan-mode`:那是 DSH 的计划模式,与本内核的 CreatePlan/AdvancePlan 是两套计划纪律。
-#   同时挂上就是第二本账。要它就得先决定哪一本是唯一账本。
+# (原先这里还有 `tool-goal` / `command-goal` / `plan-mode`:第三阶段起它们都挂上了,
+#  目标与计划审阅交给原生,见上面「目标与计划模式交给原生」那一节。)
 #
 # 曾经不挂、现在**挂回来了**的(阶段 5,权威边界由 test/authority-boundary.test.mjs 钉死):
 # · `tool-todo` / `tool-subagent` / `tool-workflow` / `tool-ralph`:这些是**工作方式**,

package/presets/clearai/clearai.patch.yml

@@ -37,15 +37,8 @@
           - id: persona
             name: '@deepseek-ai/dsh-persona'
             config:
-              prefix: |-
-                你是 ClearAI 的主人格,运行在 DeepSeek Harness 上。
-
-                你以**单循环**工作:计划 → 执行 → 观察 → 反思,一个循环推进,不做多 Agent 编排。子角色(评估者)由系统按触发派生,不是自由委派。
-
-                你的判断是智能的部分:理解材料、提出假设、选择路线、判断哪条证据更可信。事实的部分由系统持有:什么算完成、进度是多少、一个事实能不能写进知识库、谁的裁决有效——这些都不由你声明,只由系统算出来。
-
-                你不靠提示词约束自己:完成要过观测准入,推进只能通过唯一完成动词,L3 以上的裁决由独立评估者写。你要做的是把智能用在判断上,而不是用在描述状态上。
-              suffix: 你的工作目录是 {{cwd}}。工作区就是用户的文件夹;`clear/` 是系统与外脑的目录,其余目录都是用户的。
+              prefix: '你是 ClearAI 的主人格,运行在 DeepSeek Harness 上。怎么工作见下面三段:身份、循环、对人说话。'
+              suffix: 你的工作目录是 {{cwd}}。工作区就是用户的文件夹;`clear/` 是系统的目录,其余目录都是用户的。
 
           - id: agent-instructions
             name: '@deepseek-ai/dsh-agent-instructions'
@@ -88,7 +81,7 @@
           - id: tool-jobs
             name: '@deepseek-ai/dsh-tool-jobs'
 
-          # ── 技能(外脑) ─────────────────────────────────────────────────────────────
+          # ── 技能(原生技能目录) ─────────────────────────────────────────────────────────────
 
           # 技能注册表在宿主并按 scope 分层:这两行注册进**本预设的层**,所以不需要 realm。
           # `customSkillDirs` 指向本预设自己的 skills/ —— 哲学文本随预设走,`baseUrl` 就是预设目录,
@@ -102,6 +95,37 @@
           - id: tool-skill
             name: '@deepseek-ai/dsh-tool-skill'
 
+          # ── 目标与计划模式交给原生(第三阶段) ─────────────────────────────────────────
+          # 目标的文字、续跑、暂停、完成都在原生 goal 上:模型用 create/get/update_goal,人用 /goal 与界面。
+          # ClearAI 只往当前 goal 上挂判据与判断(Frame),完成只能经 Conclude(先过独立评估);
+          # 模型直接调 update_goal(action=complete) 会被内核守卫拒绝。
+          # 人想先审计划,用原生 /plan(计划模式,exit_plan_mode 交人审阅);ClearAI 不再自带审阅卡与授权记号。
+          - id: command-goal
+            name: '@deepseek-ai/dsh-command-goal'
+          - id: tool-goal
+            name: '@deepseek-ai/dsh-tool-goal'
+          - id: planning
+            name: cordis:group
+            group: true
+            isolate:
+              planMode: true
+            config:
+              - id: plan-mode
+                name: '@deepseek-ai/dsh-plan-mode'
+                config:
+                  section: |
+                    You are in plan mode. Stay in plan mode until exit_plan_mode succeeds or the user switches the session mode. Imperative language to implement changes means plan the implementation, not execute it. A user's conversational agreement — including an answer confirming something you asked — approves nothing and does not end plan mode; fold the confirmed decision into the plan and submit it through exit_plan_mode.
+
+                    Explore first. Use non-mutating reads, searches, static analysis, and checks to ground the plan in the actual repository. Do not edit or write files, change configuration, run formatters or code generation that rewrites tracked files, commit, or otherwise carry out the plan. Prefer existing functions and patterns over new machinery.
+
+                    The tool catalog stays the same across modes for request-cache stability. These plan-mode rules override any later tool description or guidance that suggests using mutation tools; those tools remain listed to keep the tool catalog unchanged. Do not use todo_write to track this planning phase: it tracks implementation after an approved plan, while the plan itself belongs in exit_plan_mode.
+
+                    Resolve discoverable facts by inspection. Use ask_user_question only for user-owned choices or material ambiguity that inspection cannot answer. Do not ask the user where code lives or how current behavior works when you can find out.
+
+                    Make the plan decision-complete: state the goal and success criteria; group implementation changes by subsystem; identify public API, schema, and data-flow changes; cover edge cases, failure modes, tests, acceptance criteria, and explicit assumptions. Keep it concise enough to review but detailed enough that another engineer can implement it without making design decisions.
+
+                    When ready, call exit_plan_mode with the complete plan markdown, starting with a # title. Make exit_plan_mode the only and final tool call in that assistant response: it presents the plan for approval, and implementation begins only in a later step after approval. Do not paste the final plan as a plain reply or ask "should I proceed?" through prose or ask_user_question. If review rejects it, incorporate the feedback and present again. If the review channel is unavailable or aborted, stay in plan mode and ask the user to switch modes manually; do not proceed with implementation.
+
           # ── 压缩(上下文是受控资源) ─────────────────────────────────────────────────
 
           # `compaction-basic` 通过 ctx.get 读 `toolResultPruner`,所以剪枝器必须与它同一个 realm。
@@ -128,26 +152,19 @@
 
           # ── 认识论内核(本预设的灵魂) ───────────────────────────────────────────────
 
-          # 32 件意图工具(目标 2 + 计划 8 + 世界线 6 + 侦察 2 + 外脑 2 + 账本 2 + 领域语言 10:
-                    #   概念注册/修订/废止 6 + **实例登记 1** + **带出处的断言 1** + **跳级理由 1** + 查询 1,见 `MECHANISM_TOOLS`)
-          # + 一个 guard + 每回合派生的运行态卡 + 只增不删的台账 + 面板数据路由。
-          # 逐条对照 docs/loop-philosophy.md 的五条哲学,见 ./plugins/clearai-kernel.js 的文件头。
-          #
-          # 外脑:**读侧全走宿主原生**——`./plugins/brain.js` 只把工作区投影成技能条目
-          # (`clear/skills/**` → 目录条目;`clear/memory/**` → 一个**虚拟条目** `project-memory`,
-          # 正文现算所以没有「索引过期」),目录注入与按需加载由宿主的 `tool-skill` 承担(digest 变了才注入)。
-          # 自建的只有写侧两件:`SaveSkill`(默认候选态)与 `WriteMemory`(字段校验 + 标题去重)。
+          # 6 件意图工具(目标 2 + 计划 4,见 `MECHANISM_TOOLS`;领域本体没有工具,
+          #   模型用原生文件工具直接写 clear/ontology/{concepts,relations,entities}/**.json)
+          # + 一个 guard + 每回合派生的运行态卡 + 面板数据路由。
+          # 逐条对照 docs/loop-philosophy.md 的哲学,见 ./plugins/clearai-kernel.js 的文件头。
           #
-          # 世界线(ForkPlan):互斥方案各占一份自己的工作副本,收敛是**算术**——拿事先登记的尺子
-          # 对读数排序,采纳最优的,落选的全部保留。算不出来就停下问人,绝不退化成随便挑一条。
-          # git 世界线已落地(A+B 两档):用户仓库可用就地开分支 + worktree,不可用退到旁路账本仓库。
+          # 宿主已经有的不再自带:文件改动历史归 workspace-changes,技能归原生技能目录,
+          # 并行探索归原生 subagent / workflow(竞争路线就是竞争的假设,各由一个步骤检验)。
           #
           # 装配是**清单驱动**的:工具面、提示词段、机制开关全部查表,代码里不出现模式名。
           #
-          # 续跑:需要继续时,内核在宿主 `goals` 服务上布防一枚**续跑令牌**——计划收尾而目标未达成时,
-          # 由宿主的回合驱动自己开下一轮。**要不要继续由门状态决定**(未授权 / 等裁决 / 有人在等 → 停),
-          # 与运行档无关。宿主目标只当**驱动器**,内核从不读它做判断(事实仍然只从投影里算出来);
-          # 达成→收回,触礁/放弃→置阻塞,重启后自动补防。
+          # 目标挂在原生 goal 上:Frame 挂判据与判断(没有原生 goal 就建一枚),Conclude 先过独立评估、
+          # 通过才把原生 goal 置为完成;续跑由原生 goal 的驱动自己做。需要人而没人能答、或模型如实放弃时,
+          # 内核把原生 goal 置为阻塞并写明原因。
           # 配置项就是机制的旋钮:
           - id: clearai-kernel
             # 用**包内子路径**而不是 `./plugins/…`:宿主 ≥0.1.7-alpha.1 起,预设是声明行
@@ -173,27 +190,18 @@
               # 只有一个猜想时,「验证」容易退化成找证据支持自己。修订目标不受此限。
               # 内核缺省是 0(=机制中立);**这里写 2 是产品立场**,所以它是硬门,不是文案。
               minHypotheses: 2
-              # 知识门:将要升格的命题必须已有断言的形态,否则结案被拒(在派评估者**之前**拦)。
-              # 为什么要有它:断言一直是「加法,不是门槛」,于是模型的最优策略就是
-              # 「检索 → 总结 → 写报告」——本体图、实体图、认识论三张图都长不出来,
-              # 因为**完成函数里没有它们**。让缺口进卡只解决「看得见」,这一道解决「绕不过」。
-              # 它与 minHypotheses 是两条不同的立场(开工要有候选对比 / 结论要有形态),所以是两个键。
-              # 内核缺省 false(= 断言始终是加法);这里写 true 是产品立场。
-              requireTypedPromotion: true
-              # 实体门:断言主体还没落到实体图上 ⇒ 结案被拒。
+              # 实体门(结案唯一的结构关口):将要升格的判断里,断言主体还不是实体图上的节点 ⇒ 结案被拒
+              # (在派评估者**之前**拦)。只有散文、没有断言的判断不拦,那只是卡上的一条缺口。
               # 为什么要有它:「本体写得漂亮、实体图是空的」是这套系统最容易交付出来的假完成
               # (真实运行:451 条查到的实体,实体图 0 节点 / 0 边,而卡上写着「结构完整」)。
-              # 出口两条:RegisterInstance / Assert 补登记,或如实 abandoned。
+              # 出口两条:给主体写实体文件 clear/ontology/entities/<id>.json(升格会落下边,不必再写同一句话),
+              # 或把断言从判断上拿掉 / 如实 abandoned。
+              # 「跳级没写理由」与「将升格的命题没有断言形态」两道门在第四阶段删了(依据见 less-is-more-plan)。
               requireLandedEntities: true
               # 判据修订门:改判据文本要带一份独立裁决的 auditKey。
               # 为什么要有它:判据是"怎样算完成",它一变前面所有工作的验收含义跟着变——
-              # 允许在同一次 SetGoal 里顺手改掉,等于允许把"做不到"重新定义成"做到了"。
+              # 允许在同一次 Frame 里顺手改掉,等于允许把"做不到"重新定义成"做到了"。
               requireCriteriaVerdict: true
-              # 跳级门:有等级被跳过而没写理由 ⇒ 结案被拒。
-              # 为什么要有它:supportedLevel 只是支持证据的最大值,跳级本来零代价——
-              # 于是"一路只在最贵的那一级交付"成了最优策略,便宜的检查从没被走过也没人知道为什么。
-              # 出口两条:ExplainLevelSkip 补理由,或如实 abandoned。
-              requireLevelReasons: true
               # deny_rules 十条里可移植的九条(路径越狱那条不搬:宿主沙箱已经拥有它,ClearAI 自己也说「不重复」)
               bashDenyRules: true
               # 独立评估者:spawn = fresh context(fork 会继承历史,做的人与判的人就分不开了)
@@ -209,53 +217,20 @@
                 - read_image
               # 每回合派生的运行态卡(只在状态变化时注入:前缀稳定是硬约束)
               runtimeCard: true
-              # 运行档:人在场 / 无人值守。**它只决定一件事**:澄清协议装哪一段
-              # (槽位 clarification 收敛;两套措辞互斥,永不同时在场)。
-              #
-              # 它**不决定**下面这些——写清楚是因为这四处曾经被误认为跟着档走:
-              #   · 计划授权 —— 计划**永远**要人在原生审阅卡上批准(CreatePlan 里没有自动确认分支,
-              #     confirmed_by 只有 'user' 与 'progress');
-              #   · 续跑策略 —— 要不要继续由 turnDemand 从**门状态**算出来(未授权/裁决在飞/门开着 → hold);
-              #   · 续跑轮数 —— 只有一个默认值 128,不按档取;
-              #   · 面板开关 —— 人门动词 set_autonomy 已摘除,当前没有切换入口。
-              #
-              # 所以这里写的是**部署初值**,不是"人此刻在不在场"的表示。
-              # 真正表达"要不要人"的是**门**:计划待确认 / 等裁决 / 有人在等。
-              autonomy: attended
-              # 续跑轮数上限。**刻意不写**:不写就回落到 DEFAULT_MAX_AUTO_TURNS(128),在布防点现算。
-              # 显式写一个数就两档都用它。这个键存在的意义是**保险丝**:够长到能跑完一件真活,
-              # 又短到不会无声烧掉一整夜。
-              # 执行者是**原生**:数字传到宿主目标的 maxGoalRounds,到限由 `dsh-goal-round-driver`
-              # 自己 block(code='round-limit')——上限真的是机制在执行,不是一句嘱咐。
               # 上下文预算不在这里:那是原生 `dsh-token-meter` + `dsh-compaction-basic` 的活。
               # 贡献表(ClearAI `composition.py` 的装配语义):装配根遍历清单,清单里出现表外的名字
               # 当场抛错——未知机制 / 未知工具 / 未知段 / 已关机制却仍列着它的工具,四种错法都在装配期炸,
               # 而不是静默少装一件工具、等某一轮才发现。
               #
-              # 这里只写**机制开关**;tools / sections 缺省 = 目录全量(32 件意图工具、24 段提示词定义、
-              # 同一时刻 23 段在场——澄清协议那一段由 autonomy 在两套措辞里收敛)。
+              # 这里只写**机制开关**;tools / sections 缺省 = 目录全量(6 件意图工具、3 段提示词,全部在场)。
               # 这些数字不靠人眼维持:`node tools/verify-truth-table.mjs` 会拿代码算出来的数核对它们。
               # 要裁剪就把 tools 或 sections 显式写出来:
-              #   tools: [SetGoal, CreatePlan, AdvancePlan, ...]      # 名字必须都在工具目录里
-              #   sections: [clearai/foundation, clearai/loop-contract, clarification, ...]
-              # `clarification` 是槽位名;直接写两套措辞里的哪一个会被拒绝(同时在场不可表示)。
+              #   tools: [Frame, CreatePlan, AdvancePlan, ...]      # 名字必须都在工具目录里
+              #   sections: [clearai/identity, clearai/loop, clearai/speaking]
               contributions:
                 mechanisms:
                   goal: true
                   plan: true
-                  worldline: true
-                  scout: true
-                  brain: true
-                  ledger: true
-
-          # ── 人侧命令(/ 菜单) ────────────────────────────────────────────────────────
-
-          # 五个命令都是**人侧界面**:四个只读状态窗(goal/plan/evidence/worldline,从账本现算,
-          # 一个字都不落账) + 一个呈审捷径(plan-review,把「重新呈审」steer 给模型,
-          # 授权记号仍走 RequestPlanReview 工具落账——命令处理器没有变更通道,这是权威边界)。
-          - id: clearai-commands
-            # 同上:改用包内子路径(见 clearai-kernel 那一行的说明)。
-            name: 'clearai-dsh/presets/clearai/plugins/commands.js'
 
           # ── 工作方式(非权威能力,交还原生) ──────────────────────────────────────────
 
@@ -334,11 +309,8 @@
 
           # ── 刻意不挂的行(是决策,不是遗漏) ─────────────────────────────────────────
           #
-          # · `tool-goal` / `command-goal`:DSH 的 goals 服务已经被内核用作**续跑驱动器**
-          #   (布防/收兵都走它);再挂上模型面的 goal 工具,模型就能自己声明目标状态——
-          #   那是第二本账。ClearAI 的目标账只有一本,由内核持有,面板显示的就是它。
-          # · `plan-mode`:那是 DSH 的计划模式,与本内核的 CreatePlan/AdvancePlan 是两套计划纪律。
-          #   同时挂上就是第二本账。要它就得先决定哪一本是唯一账本。
+          # (原先这里还有 `tool-goal` / `command-goal` / `plan-mode`:第三阶段起它们都挂上了,
+          #  目标与计划审阅交给原生,见上面「目标与计划模式交给原生」那一节。)
           #
           # 曾经不挂、现在**挂回来了**的(阶段 5,权威边界由 test/authority-boundary.test.mjs 钉死):
           # · `tool-todo` / `tool-subagent` / `tool-workflow` / `tool-ralph`:这些是**工作方式**,