Design Invariants Skill 是面向 Exarchos 项目的设计审计技能，将设计提案或 diff 对照 Exarchos 自身的架构不变量进行核查。它是 issue #1118（原则成文）与 #1109（横切约束）的操作补充，每条不变量都有稳定 ID 与结构化形态。
用途：在 /exarchos:ideate 或 /exarchos:plan 提交设计前使用；在 /exarchos:review 中与 /axiom:audit 搭配使用；审查触及事件存储、MCP 接口面、运行时 YAML 或复合工具注册表的 PR 时使用。不适用于通用后端质量（改用 /axiom:* 技能）、TDD/规范符合性（改用 /exarchos:review 或 spec-review）以及文案风格检查（改用 /axiom:humanize）。
主要能力：按 INV-1 至 INV-5 顺序逐条检查，为每条记录 HIGH/MEDIUM/LOW 发现；INV-5 需覆盖四个子项：5a 输入人机工效、5b 输出契约、5c Aspire 动词、5d action 判别器。与 axiom 发现重叠时交叉关联，例如 INV-1 下的拓扑问题可能同时是 DIM-1。
使用方式：先说明受审对象（设计路径、diff 范围或 PR URL），逐条走查不变量，输出与 axiom 一致的格式：严重级别 + 维度 + file:line + 描述 + required_fix，例如含 invariant、severity、file、line、description、required_fix、axiom_overlap 字段的发现记录。
参考资料包括 INV-1 事件溯源、INV-2 外观等价、INV-3 basileus 转发、INV-4 平台无关性、INV-5a–5d 各子文件及 deterministic-checks.md。与 axiom 的分工：axiom 判断代码工程质量，本技能判断设计是否遵守 Exarchos 的承重不变量；前者干净的设计仍可能违反事件溯源完整性。
限制：技能为项目范围，不约束 Exarchos 插件的使用者；SOLID 耦合、通用错误处理、schema 漂移、测试保真度、死代码及 AI 文风等关注点归 axiom 所有。原则文档 #1118 落地于 docs/architecture/principles.md 后需修订本技能。