开发日志

这页记录会改变 Oxpecker 工具方向、能力边界或验证策略的路线图变动。它不是每个 commit 的变更日志。

2026-05-28

项目定位纠偏到 AI 辅助开发

路线图重新围绕 Oxpecker 的核心问题组织：AI 辅助开发提高了代码产出速度，但代码审查、验证和回归确认没有同步提速。

本次调整：

• 路线图把形式化验证定位为应对 agent 生成代码审查瓶颈的一种可能方法。
• Zig-first 库和工具链被明确为方法，而不是项目定位本身。
• 技术轨道开始说明每种能力怎样产出审查证据、暴露不确定性，或约束生成出来的状态逻辑。

路线图围绕工具链重写

路线图重新组织为 Oxpecker 作为 Zig 优先形式化验证库和工具链的长期路线。

本次调整：

• 路线图聚焦检查器核心、规格表达层、状态空间工程、性质系统、符号方法、受限 Zig 验证、证明边界和工具链集成。
• 路线图不再把文档目录结构当成核心产品方向。
• 站点路线图增加了原则、技术轨道、里程碑、完成信号和重新评估触发条件。

路线图侧边栏展开

/roadmap/ 现在有独立页面用于记录：

• 当前状态；
• 技术轨道；
• 开发日志；
• 完成信号。

这样路线图可以随着工具演进持续维护，而不是只停留在一个总览页面里。