用途：在跨层变更完成后，排查受影响数据流中残留的旧字段、默认值、类型、契约或显示措辞。类型检查可能漏掉手工映射、序列化字段和隐藏在类型转换后的断言，因此需在报告完成前对受影响的窄数据流做一次清扫。
主要能力：先确定变更轴（类型收窄、字段重命名、配置默认值、契约演进、显示措辞），记录新旧表达式及生产者与最终可观察消费者，并画出相关数据流，例如 storage -> runtime writer -> local service -> adapter -> TUI / exec / ACP -> docs，只纳入真正消费该值的层。随后同时搜索新旧表达式，覆盖源码、注释、测试、fixture、快照与相关文档，配对搜索可暴露只采纳了部分变更的层。
常见缺口：类型收窄关注运行时写入器、带类型转换的文件系统读取、序列化器、适配器映射；字段重命名关注 schema、迁移、内联测试 DDL、fixture、映射与用户可见标签；配置默认值关注默认值、阈值、示例、日志、状态输出与文档；契约演进关注本地协议类型、服务导出、调用点与兼容性 fixture；显示措辞关注 TUI、exec 输出、日志、截图与精确字符串断言。
使用方式：在变更数据流内修复不匹配；对有意保留的兼容残留，在相邻注释或回归测试中说明。不要仅因包含相同 token 就改动无关匹配。在最终可观察层验证断言，如渲染文本、序列化输出、本地服务结果或数据库读取；已有断言覆盖该行为时复用，存在有意义回归缺口时新增。使用 testing-workflow 运行受影响测试与类型检查；对存在备用路径或缓存的运行时输入，同时使用 verify-all-runtime-sinks。
证据与限制：报告变更轴、数据流、新旧搜索词、已检查层、已修复不匹配与验证结果，并解释仍存在的旧 token 匹配。若无法实际执行最终消费者，应说明缺口并给出最接近的契约证据，不能把仅解析器测试当作完整验证。具体安装命令与平台支持暂未提供。