明确判断基准
区分已采纳的承诺、待审查的提议与方法自身的约束。
Agent 会进行判断,也会提出改变。哲学让这些判断所依据的承诺可读、可质疑、可修订。Organon 提供哲学文本与审查方法,要求说明理由和边界;它不保证每次判断正确,也不把方法数量当作能力证明。
| 仓库 | 职责 |
|---|---|
| AgentOrganon | 工作区技能与已采纳哲学副本的管理。 |
| OrganonCore | 核心哲学、审查方法,以及有边界的 Lean 证据。 |
| AdvisedOrganons | 领域哲学集合;使用时显式选择领域。 |
安装包只提供非 Lean 能力;网站保留完整哲学及 Lean 读者视图。