Lean 读者入口

从主张、前提和限制读起，再查看证明声明及逐行代码解释。以下页面来自各哲学所属仓库，AgentOrganon 不维护另一份形式化结果。

本源	内容
OrganonCore	核心哲学的目标、状态、来源追踪与逐行对照。
SoftwareEngineering	领域哲学及其保留的 Core 基准，不自动采纳新 Core。

Lean passed、目标 accepted 和来源保真状态分别报告。有限结果不证明现实中的普遍正确性；定义义务不证明义务已履行。安装包不包含 Lean 能力，完整工程、证据和检查方式保留在源仓库。