Electron製のコーディングエージェント「AMA-teras」において、コード実装や検証の承認プロセスを改善。承認後のコードが実際に正しく読める状態にあるかを担保するための、新たな検証設計について解説します。