标签列表
聚合结果
原始 PR · 作者 yueming-yuan · 合并时间 2026-08-26 10:39
豁免 .claude 技能测试，修复 CI 全红
该 PR 是必要的 CI 修复，建议合并；其设计决策（将 .claude/ 与 tests/ 同等豁免）值得在类似场景中借鉴。
升级 refactor 验证技能，新增 proof 生成与链式验证工具链
值得精读。核心看点是 `mechanical_refactor_reproduction_utils.py` 中 AST 定位 + 源码文本拼接的原子原语设计，以及 `mechanical_refactor_proof_generator.py` 中从 diff 反推 recipe 的启发式推断；这两者组合实现了「机器证明机械重构」的闭环。对计划做大规模代码移动或希望自动化重构 review 的团队有直接借鉴价值。建议重点关注 `verify_mechanical_refactor` 的 worktree 校验流程和 `infer_recipe` 对不支持场景（rename、语句级重排）的显式拒绝策略。
新增 .agents/skills 符号链接，复用 .claude/skills 技能
这个 PR 只有 1 行，不值得精读；值得留意的设计决策是「用相对符号链接而非复制目录」来暴露同一份资产，以及它把可移植性风险转嫁给了 checkout 环境。如果团队有 Windows 检出场景，建议在 README 或 CONTRIBUTING 里补充 `core.symlinks` 说明。