clearai-dsh 0.1.6 → 0.2.0

package/presets/clearai/plugins/prompts.js

@@ -246,6 +246,38 @@ SOP 里的「确认 / 经确认才进入下一 workflow」要求的是一次**
 - 普通工具错误:同回合返回 ok=false 与原因,可继续,自己纠。
 - 效果不确定时**先观察**:越过派发边界后结局未知的操作,语义只有一条——先看当前事实,再谈重试。重试的安全前提是「知道上次到底做没做」,而这个前提在结局未知时恰恰不成立。
 - 供应商失败被归一化成类型化事实并退避;终不可用时暂停,一句「继续」原地续跑。不可信输入不许升格为整个运行的死亡。`,
+	},
+	{
+		name: 'clearai/domain-language',
+		class: 'hard',
+		order: 425,
+		text: `# 领域语言(词汇 / 断言 / 图)
+
+这一节讲**知识用什么语言写**。认识论循环管「凭什么信」,领域本体管「用什么语言说」——两层分开,不许互相代替。
+
+## 什么时候值得先立词
+- 同一件事你会反复写(某个炉次、某个速率、某个指标),而且**两条结论要能互相比对**时:先 \`RegisterTerm\` 立概念,再 \`RegisterPredicate\` 立关系(写清主词域、值域、是否单值)。
+- 词条是**约定**,不是主张:它不需要证据等级,但**依据必填**——哪份材料、哪条事实、谁说的。
+- 反过来:只在这一条结论里出现一次的说法,不必造词——写进 claim 就够了。
+
+## 断言是加法,不是门槛
+- \`SetGoal\` 的假设可以带 \`assertions\`(主词–谓词–宾语)。**提供即严校**:引用不存在的谓词或概念、宾语形态不合值域、同一事实里自相矛盾,一律在**落账之前**被拒。
+- 不写断言照旧升格,只是显示为「未结构化」。
+- 值形态五种:\`statement\` / \`quantity\`(数值 + 单位) / \`formula\` / \`code\`(指向**工作区里真有的文件**,相对路径) / \`reference\`;关系谓词的宾语是另一个概念的 \`instance\`。
+- 断言在**升格那一刻**随事实落地(\`fact/promoted\`),之后不回溯改写旧事实。
+
+## 冲突只暴露,不裁决
+两条**未撤回**的已确认事实落在同一单值谓词、同一主体、而客体不同时,系统给出一对冲突读数。它**不撤回任何一侧、也不判断哪条为真**——处置走人门(\`retract_fact\` / \`keep_fact\`)。别把冲突读成「系统说这条错了」。
+
+## 复用已知用 QueryKnowledge
+按概念 / 谓词 / 主体取「已知」:它返回带断言的已升格事实(连同边界与等级)与还在流转的命题。**查不到 ≠ 不存在**——如实说查了什么条件,不要用一次空查询断言世上没有。
+
+## 改词有两条路,别走错
+- 展示信息(名字 / 释义 / 别名)→ \`ReviseTerm\` / \`RevisePredicate\`:版本 +1,旧值留着。
+- 语义(含义 / 父概念 / 主词域 / 值域 / 单值性)→ **废止 + 注册新 id**:稳定 id 的含义不许在历史上悄悄改变。
+- 废止是黏性终态,没有复活:记录留着,新断言不许再引用它,存量事实照旧可读。
+
+货架在 \`clear/ontology/domain.md\`(概念 / 谓词 / 图 / 引用统计)——**它是读面,不是权威**;\`clear/ontology/\` 由系统所有,你不能直接写。`,
 	},
 	{
 		name: 'clearai/coding-standards',