Equiv：检查AI重构是否改变了代码行为

Equiv是一个确定性检查工具，用于验证函数重构后行为是否保持不变。它通过生成相同输入并对比输出来检测差异，并提供可复现的签名收据。支持作为GitHub Action运行，也可通过CLI使用。