用途：在新增或修改跨组件共享的字段、枚举值、状态、能力或特性标志时，从契约源头追踪到每个转换与消费方，确认其含义、默认值、传输行为、发布控制、客户端处理、分析和测试在各路径上都被证明，避免“一处完成即视为完成”。
主要能力：先写语义契约，区分 missing、null、false/零、true/非零、未知枚举等状态并记录兼容性、归属、发布条件；枚举传播图（源头→持久化与迁移→领域模型与映射→服务或策略→API/事件/缓存/任务→客户端模型→客户端状态与展示→分析与可观测性→测试、发布与回滚）；逐边追踪并标注 proven、partial、missing、conflict、unknown、not_applicable；重点检查迁移与存量数据、领域映射、扇出面、客户端兼容、发布控制和埋点；构建状态×路径的测试矩阵；依据明确发布门禁给出判定与最小验证集。
使用方式：作为只读审计流程使用，按步骤产出契约、传播图、证据、状态与判定。资料未提供具体安装命令或调用参数。
适用场景：涉及旧数据、老客户端、默认关闭式发布的变更；同一值在数据库、后端、API、Web、Android、iOS、任务、事件或分析中可能被不同解释；某端点看似完整但替代入口或生成模型可能缺失。
限制：静态证据无法证明运行时配置、已部署 schema、生成代码新鲜度或未执行的客户端行为；仓库可能缺少私有服务、分析 schema、远程标志或旧版客户端；该技能只发现传播与语义缺口，不覆盖所有安全、性能或产品设计缺陷，完整图也不证明业务规则本身正确。审计需保持只读并脱敏证据。