Oprow Continuum

Oprow Continuum は、コーディングエージェント向けの時間的検証ファイアウォールです。エージェントがリポジトリを変更する前に、Oprow は構造化された前提条件または unified diff を不変のバージョンレシートと照合し、正確な証拠とともに allow、block、または abstain を返します。

このプロダクト契約は、通常の検索よりも意図的に厳格です：

• CockroachDB は不変のレシートと置換エッジを保存します；

• 通常のレビューは有界な証拠パケットをアクティブにします；

• 矛盾した前提はブロックします；

• サポートされていないセマンティクスは、承認を受ける代わりに棄権します；

• レビューはリポジトリを決して変更しません；

• 状態を変更するアクションは、別途確認ゲートの対象のままです。

ステータス

提出されたプロダクト契約は docs/AGENT_VERIFICATION_ENDGAME_2026-08-14.md です。簡潔な校正記録は docs/EVIDENCE_LEDGER.md であり、クローズ済みの計画は docs/archive/ に残っています。

このリポジトリには、実行可能なトラステッドコアアプリケーション、エージェント API、MCP サーバー、オペレーター UI が含まれています。これは、製品の優位性を主張したり、トレーニング済みのセマンティックチェックポイントをバンドルしたりしません。このサービスは、明示的なバージョンセマンティクス、正確に引用されたレシート読み取り、確認ゲート付きのロールバック提案、古い提案の拒否、固定されたアクティブ状態の会計、チェックポイント/リストアを公開します。CockroachDB の不変ポイントリードアダプターは、2026-08-05 に最初のライブ Cloud ゲートを通過しました。

テスト済みの学習型 Shared-Stream Modus_X コントローラは、正当な A2C/A2D 障害の後、製品から除外されています。このシステムは、コードベース全体をひとつの小さなコントローラに圧縮したり、任意のコードセマンティクスを理解したりすることを主張しません。

プロダクトターゲット

repository history -> typed extraction -> CockroachDB temporal receipts
agent claim or diff -> bounded verification -> allow / block / abstain
                                         -> cited evidence -> human decision

審査員は、UI から直接、有界な公開 GitHub リポジトリに接続できます。セルフホスト型オペレーターは、起動時に固定されたイベントストリームを使ってトラステッドコアを動作させることもできます：

python -m pip install -e ".[product,mcp]"
$env:OPROW_REASONER="disabled"
$env:OPROW_API_TOKEN="replace-with-a-long-random-value"
oprow serve --repository-id fastapi/fastapi `
  --events examples/fastapi_compatibility_events.jsonl

有界な公開デモコネクタは、厳格なインポート数、コミット数、イベント数、チェックアウトサイズ、およびウォールタイム制限の下で、公開 GitHub リポジトリを受け入れます。プライベートリポジトリは引き続きサポートされません。

ハッカソン

Oprow Continuum は、CockroachDB x AWS Agentic Memory Hackathon に登録されています。CockroachDB は、トランザクションイベント台帳、カプセルメタデータ、および来歴を保持します。Oprow は、固定サイズのアクティブセマンティックメモリであり続けます。AWS は、CodeBuild/ECR パッケージング、Secrets Manager ランタイム認証情報、Bedrock 推論、およびパブリック HTTPS アプリケーション環境を提供します。

docs/HACKATHON.md を参照してください。

コンポーネント境界は docs/PRODUCT_ARCHITECTURE.md で定義されており、校正された主張と障害は docs/EVIDENCE_LEDGER.md に記載されています。

開発

python -m pip install -e ".[dev,product,mcp]"
pytest
oprow demo
oprow db-smoke --env-file .env
oprow serve --repository-id fastapi/fastapi --events examples/fastapi_compatibility_events.jsonl
$env:OPROW_BASE_URL="http://127.0.0.1:8000"
oprow-mcp
powershell -ExecutionPolicy Bypass -File scripts/check_scope.ps1

FastAPI は、マシン契約を /openapi.json で公開します。レビューエンドポイントは POST /api/agent/review です。oprow-mcp は、Claude Code、Cursor、Codex、およびその他の MCP クライアント向けに、stdio を介して同じ契約を 4 つの MCP ツールとして公開します。

チャットサーフェスは http://127.0.0.1:8000 で利用できます。データベース URL がない場合、プロセスローカル台帳を使用します。DATABASE_URL または COCKROACH_DB_URL を設定すると、テスト済みの CockroachDB 不変レシートアダプターを使用し、受け入れられた状態変更の後に .oprow/continuum.capsule を自動的に書き込みます。デフォルトの推論エンジンは、Bedrock 経由の Amazon Nova 2 Lite です。OPROW_REASONER=disabled は、トラステッドコアの診断専用に設定してください。

展開されたデモは、3 つの固定された非合成的な FastAPI 互換性マイグレーションを使用します：Python 3.9 の削除、Starlette 1.0+ の採用、Pydantic の最低バージョンの引き上げです。scripts/build_fastapi_compatibility_demo.py は、公式 Git 履歴から 6 つのイベントを再現します。固定されたコミットと値は examples/fastapi_compatibility_manifest.json に記録されています。

コンテナスモーク：

docker build -t oprow-continuum .
docker run --rm -p 8000:8000 -e OPROW_API_TOKEN=change-me oprow-continuum

OPROW_API_TOKEN が設定されていない限り、非ループバックバインドは拒否されます。オペレーターは、キーボタンでそのトークンを入力します。トークンはブラウザのセッションストレージにのみ保持され、状態を変更するリクエストで送信されます。

審査フロー

1. サポートされている公開 GitHub リポジトリに接続するか、固定された FastAPI デモを使用します。

2. リポジトリの前提を含むエージェント生成の unified diff を貼り付けます。

3. 矛盾した履歴には block、検証された現在の前提には allow、Oprow に十分な証拠がない場合には abstain が表示されることを確認します。

4. 不変の CockroachDB レシート引用と安定したレビュー ID を検査します。

5. コーディングエージェントから同じ契約を使用するために、oprow-mcp を通じて繰り返します。

レビューパスはリポジトリを決して編集しません。永続的な履歴は CockroachDB 内で成長できますが、アクティブなホットレシートキャッシュは有界のままです。これは、無限の情報容量や普遍的なコード理解を主張するものではありません。

ライセンス

MIT。 LICENSE を参照してください。