类型孔重构

使用“按类型孔设计”元框架系统地重构代码库：将架构未知数视为类型孔，通过测试驱动的验证迭代解决它们，并通过依赖关系图传播约束。