为AI编码项目构建证明层，因为绿测可能撒谎

作者因AI编码工具常出现测试通过但实际使用出问题的情况，构建了Code Factory的证明层。First Proof功能通过故意失败来挑战测试，若缺陷路径仍通过则显示证明缺口。Graph Ops使审查路径可视化。Agent Proof Bridge可检查来自Junie、Copilot等AI代理的交接，记录本地事实，但不运行代理或改代码。AppForge用于iOS应用，整理设计输入、故事板覆盖等，减少重复审查。该工具不取代最终审批，旨在让不确定性可见。作者已发布v0.9.0，寻求反馈。