POES: Verification For AI Generated Code

Kurrentの実験的フレームワークは、コード生成と検証を統合する試みです。イベントソーシングと不変性を前提に、同一入力・同一状態で同一出力を得る純粋関数的設計を提案します。境界付き検証により有効な入力から有効な出力を保証し、状態遷移の検証も段階的に行えます。オープン環境ではKurrentDBへの永続化が想定され、完全な形式検証ではなく実用的な保証を提供します。実験段階ゆえの制約と今後の拡張性も併記しています。