概念审计

焦点问题：概念及应用设计能否兑现各自目的，已有实现是否符合设计？仅在显式调用 $concept-audit-cn 时运行，全程只读。无代码可审设计；无规格只能审可验证的代码性质；缺失材料对应的结论标未核实。

审查原则

分别审查契约 → OP → 概念目的、概念选择/sync → 应用场景 → 应用目的及其前提。实现符合规格、OP 测试通过或局部目的成立，均不证明应用适合实际需要。

按五维核对：

• 适切性：声明前提下的行为满足实际需要；用事实与反例检验。
• 独立性：概念定义不依赖其他概念；本仓还要求概念模块互不引用。
• 组合：同步可收窄行为，不可扩展契约；行为减少本身不是违约，剩余场景仍须满足需要。
• 漂移：实现与确认契约的差异；区分遗漏与明确矛盾。
• 子集：保留目的、入口、同步与资源，另查实现支持。

证据来自已读需求、模型、实现或测试；推断另标，材料缺失只支持未核实结论。

执行