/projects/proofloop
Proofloop
Bun CLI 将 Claude 和 Codex 作为工作者/评审者配对运行，把提示转为经评审的计划，并在证明和对抗性安全门通过前拒绝结束。
Proofloop
带证明评审的证明驱动配对智能体循环
08
项目背景05
问题
Proofloop 处理的核心挑战，是把带证明评审的证明驱动配对智能体循环变成有用、可治理且可解释的产品系统。
解决方案
Proofloop 围绕明确边界、可检查工作流和可见交付技术栈组织，其中包括 Bun、TypeScript、Anthropic和OpenAI。
挑战
难点在于让自主性、数据、工具和用户体验保持一致，同时不隐藏运营风险或证据。
创新
关键创新是把架构当成产品界面：能力通过责任、证明路径和交付边界来说明。
领域专业性
Proofloop 展示了产品架构、智能体系统、数据边界、控制机制和交付纪律上的应用工程判断。
案例研究证据11
结果
- Proofloop 将技术概念转化为可审查的产品工作流。
- 它把系统行为绑定到明确边界、证据和操作者可见的决策上。
- 它为相关 AI 产品工作提供可复用的架构参考。
架构决策
- Proofloop 将用户界面与运行时和数据控制职责分开。
- Bun 以及相关技术栈被呈现为交付决策，而不是装饰性标签。
- 证据、评审和运营状态保持可见，因此系统在使用后仍可被检查。
领域专业信号
智能体架构治理证据运营 UXBun
技术深潜09
Proofloop 是关于带证明评审的证明驱动配对智能体循环的案例研究。Bun CLI 将 Claude 和 Codex 作为工作者/评审者配对运行，把提示转为经评审的计划，并在证明和对抗性安全门通过前拒绝结束。 其深度在于让边界、证据、工作流和交付选择变得可读。
系统边界
Proofloop 通过清晰职责来组织，避免用户、工具、数据和运行时动作混成一次不透明的模型调用。
工作流模型
该流程将规划、工具使用、状态和结果呈现区分开，让操作者能理解发生了什么以及为什么发生。
证据姿态
页面把证明、日志、产物和评审路径视为产品的一部分，而不是可选的实现备注。
交付技术栈
Bun 支撑实现叙事，周边技术栈承载持久化、界面、自动化和验证。
这证明了什么
- Proofloop 将架构决策呈现为可检查的产品内容。
- Bun 与运行时和交付职责相连接。
- 该案例区分了用户体验、工具边界、证据和运营。
- 这种结构可复用于相邻的智能体产品系统。
2指标: paired agents
20指标: loop cap
4指标: quality checks
3指标: resume modes
1指标: security gate
100%指标: proof-gated
技术栈08
Bun
技术理由: Chosen for a fast single-binary CLI that can install, run, and update with little ceremony.
TypeScript
技术理由: Keeps the run manifest, options, gates, and agent state explicit across a complex CLI flow.
Anthropic
技术理由: Claude is useful as a reviewer or worker because it is strong at critique, plans, and long-context code review.
OpenAI
技术理由: Codex gives the loop a second implementation and review path instead of relying on one model family.
tmux
技术理由: Detached sessions make long agent runs inspectable and resumable without tying up the main terminal.
Git
技术理由: Worktrees isolate each run so the agent can work without contaminating the user's current branch.
GitHub
技术理由: Draft PR support turns a proven run into something a human can review and merge.
Biome
技术理由: Keeps formatting and lint checks fast enough to run inside the proof loop.
已实现工具08
loop CLI
已实现工具: Starts a paired worker/reviewer run from a prompt, file, or proof requirement.
Plan review
已实现工具: Has the non-primary model sanity-check PLAN.md before implementation begins.
Agent selector
已实现工具: Lets the operator choose Claude, Codex, paired mode, or single-agent execution.
Message relay
已实现工具: Lets the worker and reviewer coordinate directly instead of routing every critique through the user.
Quality commands
已实现工具: Runs check, typecheck, test, and build commands as completion evidence.
Adversarial review
已实现工具: Blocks completion until security and performance risks are pressure-tested.
Resume manifest
已实现工具: Persists run state and transcripts so interrupted work can continue.
Draft PR creation
已实现工具: Packages the verified change set for human review without silently shipping it.