本文说明 ripples 如何计算影响范围、当前覆盖哪些 Go 使用方式，以及静态分析无法可靠判断的边界。源码结构和算法细节见实现架构，安装和 CLI 说明见安装与使用。
给定同一仓库中的 old/new revision，ripples 会：
- 解析 revision 对应的 commit 和 Git tree，不修改当前工作区。
- 为两棵 tree 创建临时 detached worktree，保留 Git 仓库中的完整相对目录结构。
- 按当前 Go 构建配置加载本地 package 的 AST 和类型信息。
- 忽略注释和源码位置，比较函数、方法、类型、变量、常量和嵌入文件等声明的语义内容。
- 合并 old/new 声明依赖图，从变更声明反向查找直接及间接使用者。
- 稳定排序并输出
<module 内相对路径>.<package 名>。
变更所在的 package 始终返回。其他 package 只有在声明实际引用或调用了变更内容时才会传播；仅仅 import 同一个 package 不会被判定为受影响。
新增声明使用 new 依赖图，删除声明使用 old 依赖图，因此新增和删除都能沿对应 revision 的真实关系传播。
| 类别 | 支持的变化和使用方式 |
|---|---|
| 声明变化 | 函数、方法、类型、interface 方法、struct 字段、package 变量、常量和 init |
| 变更类型 | 新增、删除和修改；删除使用 old 依赖图，新增使用 new 依赖图 |
| 依赖传播 | 直接引用、间接引用、函数调用、方法调用和跨 package 传递 |
| 接口调用 | 接口参数、返回值、字段、类型断言、type switch，以及调用点可确定的具体实现 |
| 函数值 | 参数、返回值、多返回值、闭包捕获、函数类型转换、方法值、方法表达式和指针间接赋值 |
| 构造与容器 | struct 构造器字段、slice、array、map、channel、range、append、容器返回值和静态可确定的索引/key |
| 调用语法 | 普通调用、go、defer、variadic 调用、泛型函数和泛型透传 |
| 初始化 | package 变量初始化、多个变量声明、常量变化、init 新增/删除/修改和跨 package 初始化顺序 |
| 构建输入 | build tags、文件名构建约束、CGo preamble、//go: 指令、go:embed 和其他编译输入 |
| Module/Workspace | go.mod、go.sum、go.work、go.work.sum、dependency 版本和 replace 的有效变化 |
| 输出与复用 | simple、JSON、text、summary、DOT，以及按 Git tree 和构建配置复用的持久缓存 |
- 接口参数和字段、变量赋值、工厂及多返回值、闭包、泛型透传、类型断言和 type switch、方法值和方法表达式都会进入值流分析。
- slice、array、map、channel、range 和
append中的具体实现会在 AST 与类型信息能够确定时继续传播。 - 同一静态位置存在多个运行时可能值时，结果会保守地包含全部候选。
- 本地具体值传入外部接口时，会按接口方法契约继续传播，但不会遍历第三方库的函数体。
接口实现解析以调用点和值流为依据。修改某个具体实现时，不会仅因其他类型实现了同一个接口就把它们及其调用方一起返回。
- 只分析当前
GOOS、GOARCH和 build tags 对应的构建结果。需要覆盖多种构建配置时，应分别执行。 - CGo preamble 和
//go:编译指令参与语义比较；声明级指令沿实际使用者传播，链接级指令按 package 保守传播。 go.mod、go.work的有效构建配置变化会影响对应构建。- dependency 版本或
replace变化只影响实际传递依赖该 module 的本地 package。 go.sum、go.work.sum新增或删除普通缓存记录不会产生影响；同一 module 版本的 checksum 改变会传播到实际使用者。
- 默认不分析
_test.go。 - 标准库和
go.mod中的第三方依赖按黑盒处理，不遍历其函数体。 - 临时 worktree 会保留同仓库本地
replace的目录，使嵌套 module 可以正确加载；当前声明图仍只覆盖-repo指定的 module，同一提交直接修改其他本地 replacement module 时，尚不会跨 module 传播到调用方。 - 反射、
unsafe、plugin、运行时注册和只由外部配置决定的动态调用无法由 Go AST 完整确定，ripples 不猜测缺少静态证据的调用关系。 - DOT 关系图只展示 package 节点，不展示函数、字段或其他声明节点。
- 输出只表示 Go package 影响；binary、service、label 和部署单元由调用方映射。