dbt-core中state:modified状态检查未包含合约变更的问题分析

问题背景

在dbt-core项目中，状态比较(state comparison)是一个重要功能，它允许用户比较当前项目状态与之前保存的状态之间的差异。其中state:modified选择器用于识别那些在两次状态之间发生变化的资源。

最近发现一个行为异常：当用户删除或重命名一个有合约(contract)定义的模型时，使用state:modified选择器无法检测到这种合约变更，而必须使用更具体的state:modified.contracts选择器才能看到相关警告或错误。

技术细节分析

在dbt-core的代码实现中，状态比较功能通过多个子检查器组成：

1. check_modified_macros - 检查宏变更
2. check_modified_nodes - 检查节点变更
3. check_modified_relations - 检查关系变更
4. check_modified_contract - 检查合约变更

当前问题在于，state:modified选择器没有包含check_modified_contract检查器，导致合约变更无法被默认检测到。

影响范围

这个问题主要影响以下场景：

1. CI/CD流程中依赖state:modified进行变更检测的自动化检查
2. 使用版本化模型和模型合约的项目
3. 需要确保向后兼容性的生产环境

当开发者删除或重命名一个有合约定义的模型时，如果没有显式使用state:modified.contracts选择器，相关变更可能被遗漏，导致潜在的兼容性问题。

解决方案建议

从技术实现角度来看，最简单的解决方案是将check_modified_contract检查器包含在state:modified的默认检查范围内。这符合用户直觉，因为：

1. 合约变更本质上是模型定义的一部分变更
2. 用户通常期望state:modified能捕获所有类型的修改
3. 更细粒度的选择器(state:modified.contracts)仍然可用作特殊情况

这种修改不需要引入新的行为变更标志，因为它更符合功能的原始设计意图和用户期望。

最佳实践

在修复发布前，项目团队可以采取以下临时解决方案：

1. 在CI/CD脚本中同时使用state:modified和state:modified.contracts
2. 对关键模型添加显式的合约变更检查
3. 在项目文档中明确说明当前限制

长期来看，修复这一问题将提高dbt-core的状态比较功能的完整性和可靠性，特别是对于依赖模型合约和版本控制的大型项目。