参考图
状态：已准入，正在构建中
已准入的参考矩阵和 refgraph 解释边界 (C-COG-047..C-COG-049) 已被接受。跨家族引用工具和清理提案 UI 正在开发中。
什么是参考图
认知的 参考图 (refgraph) 是本地静态认知工件之间关系的权威。它回答了：“如果我删除这个知识条目，什么依赖于它？如果我这样做会破坏什么？”参考图是清理和摘要决策的解释表面。
已准入的参考矩阵
权威表面：
| 关注点 | 权威 |
|---|---|
| 已准入的参考矩阵 | tables/admitted-reference-matrix.yaml |
| 参考矩阵规则 | C-COG-047 |
| 解释边界 | C-COG-048 |
| 缺失目标 + 清理阻塞 | C-COG-049 |
每个注册的认知家族必须在矩阵中恰好出现一次。对于每个家族，矩阵声明如下：
| 声明 | 含义 |
|---|---|
| 允许的传出引用 | 该家族可以引用哪些家族 |
| 允许的传入引用 | 哪些家族可以引用到该家族 |
| 禁止的跨家族引用 | 明确的“此组合不被允许”条目 |
| 跨范围禁止 | 引用是否可以跨越认知范围 |
| 缺失目标的影响 | 每个家族：当引用的目标缺失时会发生什么 |
跨家族引用的准入存在于这个矩阵中——而不是存储便利或宽松测试中。
内核与咨询参考规则
内核规则只能拥有到独立咨询工件的传出引用，前提是矩阵明确允许 memory_substrate、knowledge_projections 和 skill_artifacts 作为内核目标。
内核仍然禁止作为传入引用的目标。咨询工件不能通过存储反向引用到内核家族来声称内核所有权。
这条规则防止了权威倒置：一个咨询工件存储到内核的反向引用不会提升其自身为内核所有权。
解释边界 (C-COG-048)
参考图是本地静态认知工件关系的明确解释权威：
| 属性 | 值 |
|---|---|
| 清理提案 | 必须保持可追溯到损坏的引用/传入支持/传出依赖健康/移除阻塞 |
| 解释性 | 必须保持明确且可查询；不隐藏在摘要启发式中 |
| 真实范围 | 仅限本地静态关系——不吸收运行时审查、复制、别名或提供者排名语义 |
knowledge_relation 行 | 一级认知本地关系真实；参与反向链接、遍历、删除阻塞和摘要清理推理 |
| 移除阻塞 | 区分强弱传入支持；不要将两者简化为一个通用阻塞字符串 |
| 已移除的源 | 不贡献实时支持 |
| 已移除的目标 | 作为损坏依赖证据保持可见 |
缺失目标语义 (C-COG-049)
缺失目标的行为是特定于家族的并且失败关闭：
| 家族声明的行为 | 效果 |
|---|---|
缺失目标时 reject | 保存时的变更必须在提交前失败 |
| 其他家族声明的行为 | 如矩阵中所声明 |
由于缺失或传入关系导致的归档或移除阻塞必须在清理推理中保持明确。清理阻塞不能通过仅依靠存储所有权而被静默绕过。
摘要 remove 需要先归档再进行后续确认。同一轮次的归档和移除不被允许。
读者场景：用户想要删除一个知识条目
用户想要删除一个知识条目。参考图控制删除是否安全。
- 清理提案。 系统枚举该条目在已准入家族中的传入引用。
- 解释表面。 每个传入引用都显示其支持强度（强/弱）和家族来源。
- 移除阻塞。 如果存在强传入引用，移除将被带有明确原因的阻塞；用户可以看到什么依赖于该条目。
- 用户选择。 既可以先删除依赖项，也可以接受损坏的依赖证据。
- 摘要轮次。 移除需要先归档并进行后续确认；不能一次性完成。
读者场景：尝试跨家族引用
子系统尝试创建从家族 A 到家族 B 的引用，但矩阵不允许。
- 引用尝试。 子系统提交跨家族引用。
- 矩阵检查。
forbidden_cross_family_refs包含(A, B)。 - 失败关闭。 引用未被存储。
- 审阅者看到类型化的原因。 “跨家族引用 (A, B) 不被矩阵允许。”
矩阵是唯一的权威。存储“恰好允许”的情况并不适用。
读者场景：尝试权威倒置
一个咨询工件试图存储到内核家族的反向引用。
- 引用尝试。 咨询 → 内核反向引用。
- 矩阵拒绝。 内核仍然禁止作为传入引用的目标。
- 权威保留。 咨询工件不会因为存储反向引用而成为内核的所有者。
读者场景：知识条目变得陈旧
维护者将一个条目标记为已移除。记忆曾引用过它。
- 条目移除。 知识条目状态：已移除。
- 记忆的传出引用现在损坏。 参考图反映：目标已移除。
- 损坏依赖证据。 记忆的历史记录显示引用指向了一个现已移除的目标；记忆不会被静默重写。
- 清理提案。 显示损坏的依赖以进行显式处理。
边界防止“知识改变”静默地修改“记忆曾经说过的内容”。
参考图不做的事情
- 它不吸收运行时审查、复制、别名或提供者排名语义。
- 它不允许咨询工件通过反向引用声称内核所有权。
- 它不将强弱支持简化为一个单一的阻塞字符串。
- 它不允许已移除的源贡献实时支持。
- 它不允许同一轮次的归档和移除。
- 它不允许存储便利覆盖矩阵声明的禁止跨家族引用。
边界总结
| 关注点 | 权威 |
|---|---|
| 参考矩阵 | C-COG-047 + tables/admitted-reference-matrix.yaml |
| 解释性 + 范围 | C-COG-048 |
| 缺失目标 + 清理阻塞 | C-COG-049 |