用途：以 Design by Typed Holes 元框架系统化重构代码库，把架构未知项当作带类型的“洞”，按依赖顺序迭代解析，并用测试驱动方式验证，使约束沿依赖图传播。
主要能力：洞发现与编目（生成 REFACTOR_IR.md，记录当前状态洞、重构洞、约束与依赖）；基线特征测试（tests/characterization/ 捕获现有行为与性能基线）；按依赖顺序解析洞；约束传播；验证门（Gate 1-4）；生成增量报告；与 beads 集成实现跨会话连续性。
使用方式：先建安全分支 git checkout -b refactor/typed-holes-v1，运行 python scripts/discover_holes.py 生成洞目录，编写基线特征测试；随后对每个洞先写验证测试再实现，运行 python scripts/validate_resolution.py H{N} 与 python scripts/propagate.py H{N}，增量提交；最后 python scripts/generate_report.py > REFACTOR_REPORT.md。脚本还包括 next_hole.py、check_discovery.py、check_foundation.py、check_implementation.py、check_production.py、check_completeness.py、visualize_graph.py、holes_to_beads.py。beads 安装：go install github.com/steveyegge/beads/cmd/bd@latest。
适用场景：需要保留行为等价性的长期重构、架构调整、模块边界重划、去重与抽取、迁移与回滚设计。
限制：资料未提供具体收费、价格、平台与效果数据；Claude 不能做主观架构决策、不能确定业务关键约束、不能运行依赖外部服务的测试、不能合并到 main；须始终在重构分支工作，main 只读，.beads/ 不可改动。