这是一张公理规格图，展示了一个多智能体系统要长期有效运行，从根本上需要满足哪些条件，以及这些条件之间的逻辑推导关系。图中的每一个节点是一条「条件」，每一条箭头是一条「因为 A 不满足，所以 B 也必然失效」的推导链路。
🔵 T 层 · 本质目标
Essential Goals · 5个
系统「存在且有意义运行」最根本的条件。对任意多智能体系统成立，与具体实现无关。
违反 T 层不是「系统跑得不好」，而是「这不再是我们讨论的那类系统」。
🟣 PA 层 · 抽象公理
Abstract Axioms · 9条
为了保住 T 目标，系统在结构上至少必须满足的条件。每条公理都可以证明：若不满足，则 T 层某目标在某种条件下必然失效。
9条公理分5组，形成4对互补关系。
🟢 G 层 · 当前系统目标
System Goals · G0–G8
PA 公理在本系统架构（world/agents/meta）中的具体化。每个 G 目标下有若干子要求（Gx-Rxxx），全部可向上追溯到 PA 和 T。
串行链：G0→G1→G2→G3→G4；G5/G6并行；G7 LLM特化；G8工程增强。
推导方向（向右）： T 层目标 → PA 公理（为保住 T，结构上必须满足）→ G 层要求（PA 在当前架构中如何落地）→ 具体子要求 Gx-Rxxx
追溯方向（向左）： 任意一条具体要求 → 归属哪个 G 目标 → 具体化哪条 PA → 服务哪个 T 目标
如何使用本图谱：
· 悬停任意节点 → 高亮该条件的完整推导链路，所有关联连线浮现逻辑说明文字
· 点击节点 → 固定右侧详情面板，可滚动查看：完整定义 / 为什么必要 / 违反案例（具体agent场景）/ 数学表达 / 跨域类比
· 再次点击 / Esc → 解除固定，恢复悬停交互