ontology-of-everything 概念审计
焦点问题：概念及应用设计能否兑现各自目的，已有实现是否符合设计？仅在显式调用 $concept-audit-cn 时运行，全程只读。无代码可审设计；无规格只能审可验证的代码性质；缺失材料对应的结论标未核实。
概念与命题
Concept 是为一个目的设计的行为单元；审计命题说明目的、行为或实现之间待检验的关系。
| 概念 | 定义及关键关系 |
|---|---|
| 概念论证 | purpose 声明局部需要，OP 解释兑现方式；state/actions 须支持 OP |
| 应用论证 | 应用目的声明整体结果，概念选择与 sync 支持端到端场景；组合仍须保持概念行为 |
| 适切性 | 设计行为在声明前提下满足实际需要；区别于实现符合规格 |
| 漂移 | 当前实现与已确认行为契约的差异；规格遗漏与明确矛盾分开 |
| 独立性 | 概念定义不依赖其他概念；本仓实现约定还要求概念模块互不引用 |
| 组合 | sync 协调公开动作，须保持概念允许行为与请求关联 |
| 证据 | 已读需求、模型、实现或测试支持的事实；缺少证据不等于不存在 |
核心命题：实现可以完全符合一个不适合目的的模型；OP 测试通过不推出目的适切性，各概念目的成立也不推出应用目的达成。场景具体化行为，反例检验论证；资料不足只支持未核实结论。
审查原则
- 审目的兑现：分别检查概念契约 → OP → 概念目的、概念选择/sync → 应用场景 → 应用目的，核实前提及组合的行为保持。
- 用事实反驳：依据实际需要构造目的落空的场景，定位模型、文档或代码根因；论证缺失不自动证明设计失效。
执行
- 界定范围：读 规格契约 区分格式兼容与语义缺陷，再读取需求、CONCEPT/SYNCS、总体 PRD 及暂存链接；有实现时沿入口读调用、状态/schema/迁移和测试。记录版本、关键术语、事实/推断、覆盖与缺口。
- 审设计论证：明确概念与应用目的；逐概念审契约/OP 论证，应用论证随组合一起审。按单一目的、完整行为、独立性、熟悉性查 conflation/fragmentation；新颖或基础设施身份本身不是缺陷，先确认使用者（含 API 程序员）与价值。
- 查漂移与独立性：有代码时读 drift-checklist.md，对账签名、输出、不变量、状态及真实依赖，含公开 API 互调、共享可变状态、私有访问及 DTO/协议类型侵入概念契约；同名局部类型参数不算语义依赖。
- 查组合：读 composition-checklist.md，从应用目的推演端到端场景，核对每段动作/sync 的作用及欠/过同步；检查完成事件、绑定、隔离、失败、重放与循环。设计材料支持静态推演，运行时符合性另需实现证据。
- 查依赖与子集：分别核验 PRD 产品依赖及代码限制；具体子集须保留目的、入口、sync 与资源，有实现时再查构建支持。产品图与代码图无需同构。
- 聚合：交叉核对 include、动作/query、参数、输出与图；合并根因并列受影响位置，按适切性/独立性/组合/漂移/子集五维报告，未执行项不能算通过。
报告与完成条件
# 审计报告 <日期>
范围：<需求/规格/代码版本；已核实、未核实及原因>
Summary：<覆盖、发现数、严重度>
| 命题/发现 | 场景与证据位置 | 失败关系或未决前提 | 影响/严重度 | 修复路由 |
| --- | --- | --- | --- | --- |
覆盖：<五维、每个概念及入口/规则组的结论>
修复顺序：<合并根因、受影响位置、当前修复步骤及后续依赖>
严重度按漂移参考校准；Medium 以上需当前规格/代码证据，纯设计可作规格推演。OP 无测试与目的落空分开归因；无实现不报实现违约。欠/过同步附场景，完整核验后才断言不存在。
模型问题 → concept-design-cn；转录/索引错误 → concept-prd-cn；代码违约 → concept-implementation-cn。一个发现先给当前修复目标，连续阶段另列依赖；无需求依据时不能默认规格追随代码。
核验 Jackson 与判据出处读 sources.md。安装包独立可读；审计不写规格、代码或历史。