AIソフトウェア工場OSの設計原理統合版シンBMTFB 構想決定論の床の上に確率論の生成を載せ、船級を外に出す　― AI船級制度の視点で、統合されたソフトウェア工場の設計図を描く ―

＜具体的な製品名を出すと差し障りがありますので・・・・・・・・。毎日が４月１日！＞

目　次

要旨........................................................................................................ 3

序章　本稿の狙いと立場....................................................................... 3

第1章　なぜ「工場OS」なのか......................................................... 4

第2章　統合の設計原理——決定論の床、確率論の天井.................... 5

第3章　二つの系譜——正本主義と検査主義...................................... 7

第4章　全体アーキテクチャ——五層と外部境界.............................. 8

第5章　第0層 正本——意味リポジトリと知識グラフ........................ 9

第6章　第1層 生成——エージェント編成とハーネス....................... 11

第7章　第2層 検証——独立検証と相関故障................................. 12

第8章　第3層 証跡・再現——再生成同等性という核心................... 13

第9章　第4層 統治——工程承認とリスク観測................................ 15

第10章　外部境界——船級を内蔵しない設計.................................. 16

第11章　評価指標——交換不変性という横断指標.......................... 17

第12章　段階的導入——可逆性の勾配に沿って.............................. 19

第13章　導入判断のための十の問い.............................................. 20

結章　結論——生成の速さから、再構成可能な出荷へ.................. 21

付記・参考の視座と入口................................................................ 22

免責・生成AIの利用開示................................................................. 22

要旨

本稿の主張は五点である。第一に、現行世代のAI駆動開発は「AIに成果物を作らせる」段階に到達したが、次の競争軸は生成能力ではない。遠からず、設計書を書くこともコードを書くことも、各社で当たり前になる。そこで差別化を生むのは、AIが作ったものを、企業が安心して長期にわたり（本稿では象徴的に「十年」と呼ぶ）保守できるか——すなわち証跡・再現性・整合性・モデル交換性である。

第二に、その要件は、構造化CASEが追求してきた正本主義（構成による整合）と、生成エージェントが実現した検査主義（検査による整合）の統合として現れる。両者は新旧の関係ではなく、下位層と上位層として組み合わせるべきものである。

第三に、統合の設計原理は「決定論の床の上に、確率論の生成を載せる」ことにある。構成で防げる矛盾は構成で防ぎ、防げないものだけを検査へ回す。これはデータベースの正規化と同じ発想であり、矛盾した複製を後から探すより、そもそも独立に更新できる複製を作らせないほうがよい。

第四に、検証の独立性は「別のモデル名を使うこと」では得られない。生成側と系統の異なるモデル、異なる検査方式、独立した権限主体をそろえて初めて、実装の誤りと検査の見逃しが同じ原因で相関する事態を避けやすくなる。

第五に、第三者認証——本稿でいう「AI船級」——を、工場OSの内側に機能として置いてはならない。工場が自前の検査治具の妥当性を自前で認定することは、生成側の自己採点を一段上の階層で再演することになる。工場OSが持つべきは、船級へ提出するための標準形式のインターフェースだけである。

統合版シンBMTFBは、これら五点を後付けの安全装置ではなく、工場そのものの構造として内在化させる構想である。以下、各章で論じる。なお本稿は、特定製品の優劣を判定するものではなく、公開情報に基づく制度設計上の思考実験である。