你的研究，长成一个本体。

ClearAI 是一个本体发现与探索平台，核心由两个概念支撑：

领域本体（你得到什么）——项目自己的词汇、经循环确立的知识条目、以及它们的图。研究结束时你拿到一个持续生长的知识结构，下一轮按概念检索。
认识论循环（你怎么得到它）——问题 → 本体（相关的量如何测量、如何相互影响）→ 候选假设与各自的预测 → 一次可能失败的检验 → 证据 → 带范围的结论 → 长进本体。每条边都要经过证据与独立评估的检验。

别的知识图谱靠抽取与断言堆边；这里的每一条边都要通过循环挣得。

# 安装（npm 包，预构建——无需构建步骤，不会触发 allowBuilds 授权）
dsh plugin --profile web add [email protected]
# 或在应用里：侧栏「插件」→ 添加插件 → [email protected]

重启 dsh web，在新建会话顶部的模式选择器里选 ClearAI 即可。这就是全部步骤。完整安装说明 ↓

左：认识论循环。绿点是它落定的事实，也是右侧领域本体的第一个节点。右：本体图——深墨是概念，浅墨是值形态，emerald 是实例；实例上挂着两条互相矛盾的断言——那两个取值染成 amber，就是「这两条读数对不上」。系统只报出冲突，撤回或维持由人决定。

你得到什么：领域本体

一个领域本体，它在你研究的过程中生长：

词汇——你的项目用什么语言说话：概念、谓词、值形态、单位。约定本身没有对错，有对错的是用这些词写下的句子。
已确立条目——通过了循环的知识：每条带边界、支持等级、证据链。每条都写明适用边界，否则无法安全引用。
本体图与实体图——你的领域长什么样（结构），你已经验证出了什么（战况）。
冲突读数——两条互相矛盾的结论自动亮出来；系统只报出冲突，撤回或维持由你决定。

你怎么得到它：认识论循环

多数 agent loop 只跟踪一件事：任务做完没有。认识论循环还跟踪一个结论凭什么被信任：

	任务循环	认识论循环
驱动问题	下一步做什么？	我们现在知道什么，依据是什么？
完成	模型宣布完成	系统按交付的证据算出来
裁决	谁做的谁说了算	分离——超过一定等级，做的人不能判自己
失败	删掉、重来、忘掉	留下：被推翻的命题是结果，不是噪声
停止	模型觉得差不多了	会改变答案的候选与反常都已处理，或写进「尚未确定的事项」
沉淀	一段聊天记录	一个本体：本体中的每个关系都有来源和验证记录

环内是这台仪器的读数面：横轴是 L0–L4 七个等级，那条虚线是事先登记进判据的阈值；五个观测各带误差棒——被支持的填实、无法判定的画虚圈、被推翻的留在原位打一道斜杠（什么都不删）。开口处那颗 emerald 是唯一越过判据、落定成事实的读数。

循环里本体在前，不在后：

立题时写本体。 答案涉及哪些量、各由什么测量、读数如何核对、量之间如何相互影响，随立题一次写入。缺测量方式的度量，不能立题。
本体给出候选。 每个问题列出至少两个候选假设，注明由哪条关系提出；每一步动手前按候选分别写预测，预测都一样的步骤会被指出无法区分它们。
反常要有去处。 和预测或本体对不上的读数记成未解释项：被解释、写明理由排除，或写进结论；指向已确立事实的未解释项会让那条事实回到「待核验」。
结论按问题交付。 每个问题四部分：结论 / 依据 / 尚未确定的事项 / 待您决策。仍在考察中的候选和开着的未解释项没写进结论，就不能以「达成」结案。

状态从会话记录派生，没有第二份存储；模型的工具里没有可以宣告某一步完成的字段，目标也只能在独立评估通过后完成。ClearAI 只做宿主做不了的那部分——认识论契约、领域本体、呈现；目标续跑、子代理、问人、交付卡片、文件历史都用 DSH 原生的。

ClearAI 不声称递归自我改进。它提供的是自我改进系统所需要的认识论底座。详见定位与OpenRSI 调研。

安装与使用

要求： DSH ≥ 0.2.0-rc.2（当前的 latest）。预设靠组合里的声明行注册，宿主的预设名册只认这一种。已在宿主的 0.2.0-rc.2 上验过，0.2.1-alpha.1 也核过。0.2.0 以前的宿主不再支持。

推荐——在应用里装，并把版本钉住：

侧栏打开**「插件」→ 添加插件**，填 [email protected]，安装。这就是 DSH 自己的插件管理器：它把你填的东西交给 pnpm，校验这个包声明了组合包、与当前宿主兼容，然后当场生效。（设置里的插件列表是只读清单；安装入口在侧栏那个「插件」页。）

或者开终端——同一次安装：

dsh plugin --profile web add [email protected]

从 npm registry 装预构建产物。本机不跑任何编译，因此不需要批准 allowBuilds 授权——命令返回时插件就已经可用。

为什么要钉版本。 pnpm ≥ 11 会压住刚发布的版本：minimumReleaseAge 默认 1440 分钟，而这条内置默认是非严格的，于是裸包名（或 @latest）会静默回退到一天以前的最新版——刚发完新版时，那就是上一版。DSH 的插件管理器把你填的 spec 原样转给 pnpm，而且不比对装到的是不是你要求的，所以这次降级会显示成安装成功；它的预览卡也帮不上忙：预览走 pnpm view，不受这条策略过滤，于是可能出现「预览显示最新版、装下去是上一版」。两种写确切版本的办法：
把版本钉住（上面两条命令都是）——pnpm 会自己记下例外。
或者一次性豁免这个包，写在 profile 的 pnpm-workspace.yaml 里；之后裸包名也能装：
minimumReleaseAgeExclude:
  - clearai-dsh

也提供——一条命令的安装器（它自己解析当前版本并钉住，因此不受这条延迟影响）：

npx clearai-dsh install

底层是同一个安装；它会从 PATH（或经 npx）解析出 DSH CLI，装进 web profile，再把合成后的配置读回来验证，所以「成功」不是靠信。想走引导式流程就用它，--lang zh|en 可指定安装器输出语言。

社区市场（第三方）：dsh-market 只列 awesome-dsh-plugin 目录里的条目，并且会替你钉住版本；ClearAI 的条目正在那边评审。它不属于 DSH，也不是装本插件的必要步骤。

从源码安装（开发用，不是常规路径）：

dsh plugin --profile web add github:Clearailhc/clearai-dsh

Git 拉的是源码而不是构建产物，所以 pnpm ≥10 会拒绝运行 prepare 脚本，直到你在该 profile 的 pnpm-workspace.yaml 里加上 allowBuilds 条目。那条授权的含义是允许该包代码在安装时于你机器上执行——只在你读过源码后再授权，并且固定 commit。如果你只是想用 ClearAI，请用上面的 npm 安装。

安装侧的输出跟系统语言走（--lang zh|en 可覆盖；doctor 同样认这个开关）。运行时依赖只有 zod——图谱那套栈在构建期就打进客户端了。

装完重启 dsh web（npx @deepseek-ai/dsh web），然后新建会话，在顶部的模式选择器里切换到 ClearAI：

打开 dsh web，点「新建会话」；
点顶部当前的模式名（默认是「标准模式」），展开预设列表；
选 ClearAI——卡片描述就一句:「利用认识论循环构建可信本体。Build a trustworthy ontology through the epistemic loop.」；
像平常一样提问。普通问答照常走；一旦立了目标，系统自动进入知识模式：已知送上来，本体随立题写下，结论过证据才准入。过程在「探索」一格看，结论在「本体」一格看。只有你能做的决定才会来问你。

JEPA 世界模型那场会话之后的「本体」一格（0.5.0 布局；0.5.1 起，进度轨与全部判断移到「探索」一格的过程记录，「本体」一格改为结论卡、图、已确立的事实与经验）。

如果 PATH 上没有 pnpm：npm install -g pnpm（别用 corepack enable——它装的是版本转发器，可能下载一个自己启动不了的 pnpm）。

从仓库开发：

npm test                       # 17 份套件
node tools/build-package.mjs   # 由源装配 dist/
node tools/verify-package.mjs  # 现场重建并逐字节比对
node docs/diagrams/build-hero.mjs   # 重画产品主图(需 google-chrome)

dist/ 是生成物，不进版本库。见 DSH 集成。

它长什么样

中栏两格：探索与本体。探索记录过程，本体只放结果。输入框旁边的计划芯片显示探索进度（「问题 1/2 · 待检验假设 2 个」或「板块 3/6 · 1 个问题待您决定」），点一下打开探索。

探索——当前在回答什么、还有哪些可能未被排除、下一步做什么。页眉是课题与阶段（广度调研 / 定向求解）、当前问题、计划进度；下面依次是待您处理的事项、调研板块（广度调研时）、每个问题的候选假设（考察中 / 已排除 / 已采纳 / 暂不考察，点开看提出依据、推翻条件、预测与关联记录）、下一步及各候选的预测（预测相同时说明此步骤无法区分它们）、未解释的现象。新发现的问题带「立为问题 / 暂缓」两个按钮，按下即替您向模型发一句话，由模型修订立题。最下面是默认折叠的过程记录：判断的计数与进度轨、全部判断、计划的步骤与门。

本体——结论与长期知识。最上面是各问题的结论卡，四部分：结论 / 依据 / 尚未确定的事项 / 待您决策。中间是图：本体图（你的领域长什么样）与实体图（找到了哪些具体东西）一键切换，点节点即按它过滤。下面是已确立的事实与经验。互相矛盾的两条会亮出来，撤回或维持由您决定。

交付——结案时，各步收下的产物以 DSH 原生交付卡片出现；每轮改了哪些文件，看 DSH 原生的改动卡片。

语言——系统自己写的话（工具结果、运行态卡、问你的话、clear/ 下的文件）都跟着你说话的语言走，中文或英文。面板跟着界面语言。

本体图全屏。本体图与实体图来自 clear/ontology/ 下文件的同一份确定性投影，同样的文件永远得到同一张图。

Navier–Stokes 那场会话里一条被推翻的判断：它停在检验这一站，记录留着原因。

和裸模型比

同一个模型、同样的工具和预算，一边开 ClearAI、一边不开，做同一批埋了陷阱的题，盲评。这是 0.5.0 在开发集上的初步结果（题目是开发方出的，样本小），不是正式的有效性结论；0.5.1 的对照尚未跑完。

实验	ClearAI	裸模型
反应器题：控温热电偶中途漂移 8 °C，各 4 组	3/4 发现并按实际温度纠正	1/4
同一装置连做 3 条线：漂移每条都换方向和起点，各 3 个序列	后两题纠正 5/6，第 3 题均分 1.5 / 4	1/6，1.17 / 4
电解液题：没有数据陷阱，各 4 组	2.25 / 5	2.25 / 5

两边都看到了参考读数对不上，差别在看到之后：ClearAI 动手前写下预测，落空的地方不能被解释过去，只能被解释、写明理由排除或交给人；独立评估者再查一遍原始数据。前一题留下、经评估者核过的经验，下一题写预测时会被点名用上。

两边都没变好的是探索深度：配方离真最优一样远，都没找到温度与另一个因素的耦合。代价是约 2.2 倍 token。0.5.1 的候选假设、按候选预测与结案前的停止检查，针对的正是这一项。过程与原话见案例：和裸模型对照，全部记录在 docs/optimization/sim-runs/。

案例

前两个是真模型从头跑到尾、中途没问人的会话，截图是在真 DSH 里回放它们拍的；第三个是和裸模型的模拟对照。

JEPA 世界模型：文献综述、交给独立评估者判的玩具实验，以及 21 个概念、8 种关系、27 个实体的本体
Navier–Stokes 被解决了吗？：两条流行说法被推翻并保留，一次准入被拦后如实处理，以及 24 个概念、13 种关系、59 个实体的本体
和裸模型对照：同一台会漂的小试装置上，ClearAI 与裸模型各自怎么对待一个对不上的参考读数（开发集，盲评）

文档

它落在 DSH 的哪一层

ClearAI 把认识论层加在 DSH 的组合面上——一个宿主包、一个 agent 预设、一个客户端模块，DSH 引擎一行都没改。工作方式不设限，但它们写不进权威账本（权威边界由测试钉死）。

工作署名

本项目的工作署名单位为基点起源。

Star 曲线

许可证

Apache-2.0，见 LICENSE。

状态

一个通过 DSH 交付的本地优先本体发现与探索平台。哪些还没实现、哪些还没在真浏览器里验过，都写在已知缺口里。

clearai-dsh

安装

源码

标签

作者

说明文档