概念体系 SYSTEM.md 概念导览 · 只读投影
本页介绍知识库的核心概念体系。本页是导览而非权威——一切定义以
SYSTEM.md 为准，引用处标注其定义/公理编号（D
1. 系统单元（DA1 / DA3 / DA4）
工作单元是知识对象（Claim 级），不是论文：论文只是 Source 容器
（DA1）。每个知识对象是一个 markdown 文件——YAML frontmatter 承载机器可检字段，
正文承载人读内容，对象之间以 ID 交叉引用（DA3）；不引入数据库。
git 是唯一 provenance 通道：一次 commit 只变更一个知识对象，
"为什么现在相信 X"由 git log 回答（DA4）。
2. 知识对象类型（D1–D8, D16, D20）
| ID | 对象 | 一句话 | 位置 |
|---|---|---|---|
SRC- | Source（D1） | 外部原始材料（paper / book / dataset / experiment / discussion）。 本身不承载结论，只被引用。 | sources/ |
FRM- | Formalization（D16） | Tier-1 source 的作者逻辑五层重建，是 FORMALIZED 状态的证书。 结构视图而非第二事实源：命题权威在 CLM，证据权威在 EVI； 独占权威内容 = Axioms + Argument + Commentary。 | 与 source 卡关联 |
CLM- | Claim（D2） | 从 Source 提取的、可单独审计的断言；必含 proposition / source / scope / epistemic / lifecycle。 | knowledge/claims/ |
EVI- | Evidence（D3） | 支撑或质疑 Claim 的观察记录（"实际观察到"）， 区别于系统内部推导（A2）。 | knowledge/evidence/ |
CPT- | Concept（D4） | 跨 Source 规范化的术语：规范名称 + 规范定义 + aliases 归一记录。 两两实质差异留在卡内 Disambiguation 节。 | knowledge/concepts/ |
DIS- | Disambiguation（D20） | contested term（一词多指）的纯路由对象：
只做 term → referent 指针，不承载命题（epistemic 恒为
n/a）。一个 contested term 一张 DIS 卡。 |
knowledge/disambiguation/ |
CFL- | Conflict（D5） | 对两个及以上 Claim 之间疑似不相容关系的留档。 状态 open → 人工裁决回填 final-type（DA7）。 | knowledge/conflicts/ |
VER- | Verification（D6） | 对 Claim 的文献级审查结果，五值结论（DA8）。 | verification/ |
SYN- | Synthesis（D7） | 结构化整合产物（领域地图 / 学派比较 / 方法谱系 / 系统对比）， 必须列出输入 Claim 集合与未解决冲突。判定标准是 "整合产生单条 Claim 不具备的结构"，跨 Source 是典型情形 而非必要条件。 | synthesis/ |
RQ- / HYP- |
Research Question / Hypothesis（D8） | 系统自身产出的研究增量，必须引用其来源的 CLM / SYN / CFL。 | research/ |
另有 FIG- 图形卡（D19）：知识的确定性渲染投影，
不是 Knowledge Object——它不承载断言，可信度完全继承
depicts 所指对象；生成器（.py）是权威，SVG 是派生。
3. 双轴正交（DA2）
每个 Claim 同时携带两条独立取值的轴，其一不得推断另一：
- Lifecycle（加工状态）：这条知识在管线里走完了哪些工序；
- Epistemic（可靠性，D10）：我们信它多少。
因此 INTEGRATED 的对象完全可能是 unverified：
工序走完了，可靠性还没被审查。图形卡例外：DA2 对 FIG 坍缩为
fidelity 单轴（unchecked / checked / diverged），
不携带 lifecycle / epistemic。
4. Lifecycle 状态机（D9）
RAW → EXTRACTED → FORMALIZED → VERIFIED → RECONCILED
→ INTEGRATED → SYNTHESIZED → RESEARCH-READY
各状态的进入条件（postconditions 全满足才可推进，T8；失败时状态不变并留档）：
| 状态 | 进入条件（摘要） |
|---|---|
EXTRACTED |
已产生 Source 卡片；核心主张已摘录（Tier-1：实体化为 CLM + EVI）。 |
FORMALIZED |
核心术语已归入 CPT；作者逻辑五层重建（FRM）完成；每个 CLM 绑定 source 与 scope；不确定性已保留（A4）。 |
VERIFIED |
关键 CLM 已有 VER；evidence provenance 完整；scope 与命题匹配已核对。 |
RECONCILED |
与既有库内 CLM 两两比对完成；冲突实体化为 CFL（不得静默合并，A3）。 |
INTEGRATED |
术语对齐；与既有 CPT/CLM 的关系已建立；冲突状态已更新。 |
SYNTHESIZED |
结构化整合完成；共识 / 争议 / 空白已识别。 |
RESEARCH-READY |
支撑某个 RQ/HYP 的知识子图达到完整、可引用状态。 |
状态只能沿管线前进或按回退规则回退（T6 失效传播；§7 回退）。 分层加工（DA5）：Tier-0 source 到 EXTRACTED 即止；Tier-1 才走完整管线。
5. Epistemic 可靠性（D10 / T7）
取值五档：unverified /
partially-supported / supported /
contradicted / unresolved。
关键约束（T7 降级 provenance）：contradicted 只能由两条
路径设置——human-resolved 且 final-type=contradiction 的
Conflict，或 result=contradicted 的 Verification Record。
scope-difference 与 terminology-difference 不改动 epistemic，
分别只触发 scope 精化与 CPT 增补。
6. 冲突语义（D12 / DA7 / A3）
两个 Claim 构成矛盾当且仅当依次满足三条件：
- 术语对齐——经 CPT 规范化后断言同一对象/量；
- Scope 重叠——存在同时落在两者 scope 内的设置；
- 不可同真——重叠设置内同一量被赋予不相容取值， 或一方核心断言为另一方否定。
分类映射：条件 1 失败 → terminology-difference；
条件 2 失败 → scope-difference；1、2 成立而 3 不成立 → 非冲突；
全部成立 → contradiction。Conflict 创建时谓词真假未知
（open）：agent 按上述判据写 proposed-type 提议，
人工裁决后回填 final-type（DA7）——agent 不得
单方面关闭 Conflict 或合并"看似等价"的 Claim。矛盾不静默消除（A3）；
提议与裁决的分歧留档不删，其本身携带信息。
两条补充规则：hedge 规则——带 hedge（"通常/可能/suggests"）
的命题遇反例只构成弱化，不得判 contradiction（epistemic 至多降为
partially-supported / unresolved）；保守缺省——scope 重叠性
无法判定时缺省 scope-difference 并注明不确定
（contradiction 是唯一改动 epistemic 的冲突类型，误判代价更高）。
7. 验证语义（DA8 / A2）
Verification 一律指文献级验证：内部一致性、证据链完整性、
scope 与命题匹配、跨来源交叉核对。不承诺实证级验证（重跑实验），
除非显式执行并在 VER 卡注明。VER 结论五值：
supported / partially-supported / unsupported / contradicted /
not-verifiable。Evidence 支持命题但不构成证明（A2）：
测试通过、实验吻合属于 Evidence 层，不得写作 Theorem。
8. 公理速览（§2）
| 编号 | 名称 | 一句话 |
|---|---|---|
| A1 | Provenance | 每个 Claim 必须有明确 Source；无来源断言不得入库。 |
| A2 | Evidence ≠ Proof | 观察记录不构成系统内部的形式证明。 |
| A3 | Contradiction Visibility | 矛盾必须实体化为 Conflict 保持可见，不得静默消除。 |
| A4 | Uncertainty Preservation | 不确定性原样保留，不得在形式化中升级为确定性。 |
| A5 | Scope Control | 断言必须声明适用范围；无依据不得泛化。 |
| A6 | Traceability | 每个结论可追溯到 Definition / Axiom / Evidence / 原始陈述。 |
| DA1 | Unit | 工作单元是知识对象（Claim 级），不是论文。 |
| DA2 | Dual Axis | Lifecycle 与 Epistemic 正交，其一不得推断另一。 |
| DA3 | Storage | markdown + YAML frontmatter，ID 交叉引用，无数据库。 |
| DA4 | Versioning | git 是唯一 provenance 通道；一 commit 一对象。 |
| DA5 | Tiered Processing | Tier-0 摘录即止；Tier-1 走完整管线。 |
| DA6 | Design Closure | 领域公理是设计决断，日常不重新论证；失效证据才触发修订。 |
| DA7 | Human Gate | 冲突分类与关闭由 agent 提议、人工裁决。 |
| DA8 | Verification Semantics | 验证一律指文献级。 |
| DA9 | Language | 文本产物归入唯一语言域（verbatim 英文 / 正文中文+英文术语）。 |
Theorems（T1–T8）与 Transition Contract 见 SYSTEM.md §1 D13 与 §3； 本页不复制其内容。