点から、境界と運用範囲へ。
- 制御維持
- 反例
- 証拠保留
- 未定義
- 未観測
AIにどこまで任せられるかを、
確かめた範囲で判断する。
宣言した制御がその版で本当に効いたかを実経路で確認し、確認範囲・反例・UNDEFINED(判定不能)・未観測を分けて残します。
資料から設計・QA条件を整理したい方には、実行検査を含まない「AI Agent 制御設計レビュー」も用意しています。
AIが、送る・書く・実行する。その前に、制御を確かめる。
AI Agentや業務自動化が、メール送信、データ更新、外部API、ツール実行などを担うとき。 「止めたい条件」が設計にあり、実装でも本当に効くかを確認する必要があります。
AIの性能だけでなく、承認・権限・外部作用の制御が、説明どおり実装されているかを確認する場面です。
AI Agent 制御設計レビュー
設計資料・仕様書・QA方針から、制御上の論点、必要条件、改善候補、実装後に何を確認するかを整理します。
制御条件ギャップチェック
対象版と「止めたい条件」を固定し、条件を変えた観測から反例・UNDEFINED・未観測を分けて、どこまで確認できたかを記録します。
見つけた制御条件を、実行前の仕組みにする。
レビューやギャップチェックで整理した条件を、必要に応じてControl APIの設計へつなぎます。 「止める」「理由を残す」「どこまで使えるかを見る」「あとから確かめ直す」を、別々の役割として扱います。
公開ページには評価・PoC段階の実装を含みます。本番運用API、安全保証、認証を意味しません。
レビューや検査の結論を、ブラックボックスにしない。
なぜ止めるのか。どの証拠で判断したのか。あとからどう確かめ直すのか。 その裏側を支える設計・検証方式も公開しています。

外に出る前に、止める。
公開・送信・deploy・操作要求などの外部作用を、構造・証拠・承認条件で実行前に確認するための設計プロトコルです。

後から、別の人が確かめられる形にする。
根拠・仕様・実行記録・検証手順を束にし、受け取った側が自分の環境で追試できる形へ整えます。 「信じてください」ではなく、「ここまでなら追試できます」に変えるための検証仕様です。
非公開を守ったまま、公開した主張を確かめられるようにする。
公開してよい証拠と、個人情報・契約・内部ログなど守るべき記録を分けます。 非公開側を見せずに、公開側だけで確認できる範囲を残すための分離規律です。
公開面のハッシュを第三者が再計算して照合できる仕組みを、書類のつなぎ目に押す「割り印」になぞらえて説明しています。
第三者認証・第三者検証済みを意味しません。 RF誓約は未発効のドラフトです。Two-Rail論文はSSRNに掲載済みのWorking Paperです。

動くものは、必要なときに確認できます。
トップページではサービスの違いを優先し、比較デモや技術デモは別ページへまとめています。
人にもAIにも、同じ正本を渡す
定義・仕様・更新記録・検証導線を機械可読な形で整備しています。llms.txt、MIRP、sitemap はその入り口です。