Skip to content
源码预览 · 非发行版 · 1.0.0-rc.1

理解 Organon

先区分三个对象

哲学说明已采纳的承诺、含义和适用条件。Skill把方法用于具体任务,可随经验修订。工具检查和变换文件,不能替人判断哲学是否正确或是否值得采纳。

一次评估怎样开始

先确定实际输入与已采纳的哲学,再说明要评估的问题。审查理由、条件及范围,区分冲突与支持不足。提议修订时,原基准保持可辨认;兼容不自动支持采纳,冲突也不自动否定修订理由。

何时需要改变

普通评估可以只给出报告。吸收流程用于检查哲学修订的理由,并在明确授权后实施。措辞审查仅处理表达;文件管理检查结构和身份。方法之间有不同职责,不能互相代替判断。

阅读材料的地图

  • 哲学:承诺、含义与限度。
  • Rationale:论证、替代方案和反对意见,不增加哲学义务。
  • Lean 对照:从主张、前提和边界读起,再展开声明与逐行解释。
  • 维护协议:面向维护者的审查、验证与发布过程,位于仓库的 maintenance/

Lean 能说明什么

Lean 检查给定定义和假设下的形式结论。目标 accepted、内核 passed、来源保真状态是不同判断;limitedincompletenot_applicable 等状态保留其原有含义。定义义务不证明义务已履行,有限模型不证明现实中的普遍正确性。不懂 Lean 的读者可以先读主张速览,再在左右对照页逐行查看解释。

安装与采纳分别管理

项目安装只提供该项目的方法入口;全局安装提供用户范围入口。两种安装都不自动采纳哲学。项目通过显式初始化选择基准;更新、回退或卸载方法不会自动改变这个决定。领域集合必须明确选择领域。

选择方法

方法用途
organon-assess按所选哲学评估输入。
organon-absorb检查哲学修订理由,并实施已授权的采纳。
organon-principled-review按共享方法已说明的标准分析对象。
organon-wording-review审查措辞,不决定哲学采纳。
organon-philosophy管理哲学副本、版本及文件操作。

Philosophy · methods · grounds / 哲学 · 方法 · 根据