/projects/proofloop
Proofloop
ClaudeとCodexをワーカー/レビュアーとして動かすBun CLI。プロンプトをレビュー済み計画に変換し、証拠と敵対的セキュリティゲートを通過するまで完了しません。
Proofloop
証拠レビュー付きの証拠駆動ペアエージェント ループ
08
プロジェクト背景05
課題
Proofloop は、証拠レビュー付きの証拠駆動ペアエージェント ループ を有用で統制され説明可能なプロダクトシステムへ変える課題を扱います。
解決策
Proofloop は、明示的な境界、検査可能なワークフロー、見える提供スタック（Bun、TypeScript、Anthropic、OpenAI など）を中心に整理されています。
難所
難しい点は、自律性、データ、ツール、ユーザー体験をそろえながら、運用リスクや証拠を隠さないことです。
革新性
特徴は、アーキテクチャをプロダクト表面として扱うことです。機能は責任、証拠経路、提供境界として説明されます。
ドメイン専門性
Proofloop は、プロダクトアーキテクチャ、エージェントシステム、データ境界、制御、提供規律にまたがる応用エンジニアリング判断を示します。
ケーススタディの根拠11
成果
- Proofloop は技術コンセプトをレビュー可能なプロダクトワークフローに変えます。
- システムの振る舞いを、明示的な境界、証拠、運用者に見える判断へ結び付けます。
- 関連するAIプロダクト作業に再利用できるアーキテクチャ参照を作ります。
アーキテクチャ判断
- Proofloop は、ユーザー向け表面とランタイム/データ制御の責任を分離します。
- Bun と周辺スタックは、装飾的なバッジではなく提供判断として示されます。
- 証拠、レビュー、運用状態を見えるままにし、利用後もシステムを検査できるようにします。
ドメイン専門性のシグナル
エージェントアーキテクチャガバナンス証拠運用UXBun
技術詳細09
Proofloop は 証拠レビュー付きの証拠駆動ペアエージェント ループ のケーススタディです。ClaudeとCodexをワーカー/レビュアーとして動かすBun CLI。プロンプトをレビュー済み計画に変換し、証拠と敵対的セキュリティゲートを通過するまで完了しません。 深さは、境界、証拠、ワークフロー、提供判断を読める形にする点にあります。
システム境界
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.