clearai-dsh 0.2.8 → 0.3.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +49 -0
- package/README.md +5 -5
- package/README.zh-CN.md +5 -5
- package/lib/client.js +263 -18
- package/lib/domain-language.js +262 -20
- package/lib/fold.js +322 -214
- package/lib/host.js +155 -16
- package/lib/invariant.js +7 -1
- package/lib/knowledge-view.js +512 -0
- package/package.json +1 -1
- package/presets/clearai/agent.cordis.yml +17 -2
- package/presets/clearai/clearai.patch.yml +17 -2
- package/presets/clearai/plugins/clearai-kernel.js +1049 -64
- package/presets/clearai/plugins/prompts.js +4 -0
- package/presets/clearai/skills/clearai-loop/SKILL.md +2 -2
|
@@ -124,6 +124,10 @@ export const SECTIONS = [
|
|
|
124
124
|
|
|
125
125
|
**标准先写后做**:判定标准在结果出现之前写下。检验假设的步骤用 tests:{hypothesis, level} 声明验哪条、什么等级(L0 推理检查、L1 已有知识、L2 已有数据或小计算、L3 新产生且可重跑、L4 不可重复或外部来源)。L0–L2 交付时自己给 verdict 与 basis;L3 以上由独立评估者裁决。无法判定就如实写 inconclusive——推翻是有价值的结果。
|
|
126
126
|
|
|
127
|
+
**目标要先写成一句话**:立目标(SetGoal)时给 \`headline\`——**≤120 字**,卡上、面板、续跑文案里反复出现的就是这一句;长的主张放 \`claim\`(它承载身份与判据)。省略 \`headline\` 时系统拿 \`claim\` 的第一句现算,**超 120 字当场拒**:一句话说不完的问题通常是把两三个问题捆在一起,先把它收窄。
|
|
128
|
+
|
|
129
|
+
**判据要能清点**:\`done_criteria\` 是结果出现之前登记的那把尺子。尺子上要有刻度——数字、条数、"存在一份文件"这类**第三方能核**的形态;"做到位了""足够好"不是判据,它会让你后面每一次验收都变成一次印象。判据可以分几条写,一条一句。
|
|
130
|
+
|
|
127
131
|
**假设至少两条,各带推翻条件**:立目标(SetGoal)时登记候选假设——每条一句话主张 + 一句「什么结果会推翻它」,入口强制至少两条(0 条一样拦)。只有一个猜想,检验容易退化成找证据支持自己;候选对比才让「推翻」成为可能。这些假设就是后面 tests:{hypothesis, level} 的挂载点。
|
|
128
132
|
|
|
129
133
|
**每条假设要么被证据碰到一次,要么留下「为什么没碰」**:判成支持或推翻都算碰到了;现有信息不足以定论时,写下一条 \`inconclusive\` 的结论同样算碰到了——**不强求你证实或证伪,但「没看过」不能留白**:结案时没被任何证据触及的假设会被如实记进账里(\`unjudged\`),那是给人看的缺口,不是「没问题」。`,
|
|
@@ -36,7 +36,7 @@ description: Use when working inside the ClearAI preset and you need the loop's
|
|
|
36
36
|
|
|
37
37
|
| 拍 | 你做什么 | 系统做什么 |
|
|
38
38
|
|---|---|---|
|
|
39
|
-
| 计划 | `CreatePlan`:每步写 `do`、`artifacts`(
|
|
39
|
+
| 计划 | `CreatePlan`:每步写 `do`、`artifacts`(以具体文件为证,目录不是物证)、`done_criteria`(判定标准) | 强制判据非空、自指检测、≤25 步、步骤 id 唯一 |
|
|
40
40
|
| 执行 | 用文件、bash、公网做实际工作;产物落盘 | 只读并行 / 写入串行;沙箱;每次写入进账 |
|
|
41
41
|
| 观察 | 拿到结果 | 登记观测(只追加) |
|
|
42
42
|
| 反思 | `AdvancePlan` 交付 | 观测准入 → 裁决 → 写证据 → 推进 |
|
|
@@ -52,7 +52,7 @@ description: Use when working inside the ClearAI preset and you need the loop's
|
|
|
52
52
|
交付时系统按这个次序检查(以当前 ClearAI DSH 内核的准入契约为准):
|
|
53
53
|
|
|
54
54
|
1. 声明的产物**存在**吗?不存在 → 硬拦 `l1`,并告诉你三条合法出路(做出来 / 改声明 / 带因作废)。
|
|
55
|
-
2.
|
|
55
|
+
2. 声明的是**目录**吗?目录不是物证;系统报告其中的文件数与字节数,改为声明具体文件。零字节文件同样硬拦:空文件不是观测。
|
|
56
56
|
3. **结构合法**吗?`.json` 必须能解析;`.md` 去掉标题行后实质文本不足 20 字符算「仅有标题」。其他扩展名不做结构判定(不误伤)。
|
|
57
57
|
4. 一个坐标都没声明 → `no_anchor` 硬拦:不改变世界的步骤没有可验收的东西。
|
|
58
58
|
5. 坐标齐备且判据非空 → **不是放行,是送评**(`needs_audit`)。
|