ビジョンモデルとアクチュエータの間にあるランタイムの信頼レイヤー

検査AIの問題は精度ではない。エンベロープの問題だ。

ラボで97%のモデルでも、本番では14%の誤不良判定率になり得ます。モデルが劣化したからではなく、グレア、冷えた金型、シフト交代が、検証時の分布から入力を外へ歩み出させたからです。Inspection Trust Gateは、すべての画像をモデルの検証済みエンベロープに照合し、モデルが上書きできない決定論的ゲートを適用し、エンベロープ外のものは人間レビューのために保留し、部品ごとの監査系譜レコードを書き込みます。エージェントは助言し、コードが決める。

0

ゲートが自動スクラップしたドリフト良品

素朴なベースラインの誤不良判定は95.5〜100%(MVTec metal_nutホールドアウト分割)

93/93

ドリフト下の不良品も捕捉またはエスカレーション

自動パスなし(同一ホールドアウト分割)

1.00

ホールドアウトしたドリフトファミリーにおけるエンベロープAUROC

それに対してチューニングしていないため、この検証は循環的ではない(MVTec metal_nutホールドアウト分割)

これは実行可能なデモです。PLCアクチュエータとMESシンクは、実行するであろう内容をログするシミュレートされたアダプタであり、部品画像は実際のMVTec AD metal_nut写真、ドリフトは実在の良品写真に適用した誠実な画像劣化です。

ラボでは97%のモデル。プレスでは14%の誤不良判定率。

エッジ検査の導入を停滞させる故障モードは、モデルの失敗ではなく入力の失敗です。

研究の典型例は、毎分40ストロークで動く200トンの順送プレスです。検証で97%の精度を出したビジョンモデルが、本番では14%の誤不良判定率に崩れます。モデルは劣化していません。天井ベイ照明のグレアはストローク角度ごとに変わり、潤滑油は温まった金型と冷えた金型でたまり方が違い、シフト冒頭の50個の部品は熱平衡の前に到着します。入力はモデルが検証された分布を離れ、いかなる精度のモデルであれ、そこでは信頼できません。

業界のパターンは、モデルがプロジェクトではなかったと示します。箱出しのAOIシステムは良品の5〜15%を誤不良判定し、よくチューニングされたシステムは2%未満に抑えます。モデルアーキテクチャの問題ではなく、校正とデータの問題です。導入スケジュールの60%は統合、モデル学習は15%であり、システム統合プロジェクトの84%は失敗または部分的に失敗します。

規制は賭け金を上げます。EU AI Actの高リスク義務は、附属書IIIの下で安全上重要な品質判断を対象とし、2026年8月2日から完全適用となり、最も深刻な禁止行為違反では最大3,500万ユーロまたは世界売上高の7%の罰金が科されます。未検証のモデル判定でリジェクトアクチュエータが発火し、理由の記録がないことこそ、その制度が暴くために設計された事態です。

修正は、より良いモデルではありません。完璧なモデルでさえ、検証済みエンベロープの内側の入力に対してのみ有効です。ラインが必要とするのは、そのエンベロープを知り、外側では作動を拒み、部品ごとに何をなぜ決めたかを証明できるランタイム層です。

Inspection Trust Gateの仕組み

作動を決めるのは決定論的ゲートであり、モデルでもLLMでもありません。

すべての部品が同じパイプラインを通ります。

画像 → 物理+テクスチャ特徴 → エンベロープ検査(OOD) → 欠陥判定 → 決定論的ゲート → 作動 / 保留 → 監査記録

1. 検証済みエンベロープ

EnvelopeDetectorは物理信号空間(露出、コントラスト、ダイナミックレンジ、フォーカス、高周波ディテール、熱色かぶり、飽和、グレア比率)でマハラノビス距離を計算し、220枚の学習用良品画像にフィットします。答える問いは一つです。この画像は、モデルが検証された撮影条件の内側にあるか?エンベロープ外とは、いかなるモデル出力も信頼しないということです。

2. 決定論的ゲート

いかなるLLMの外側にある平明なコードであり、モデルは上書きできません。デモ自身のデータからフィットした校正済み信頼度しきい値(0.948未満は自動パス、1.30超は自動リジェクト)と、硬質な750 msストローク窓のレイテンシ予算。各部品はAUTO_PASS、AUTO_REJECT、またはHOLDに振り分けられ、HOLDは人間のエスカレーションキューへ送ります。

3. 監査系譜

すべての判断がJSONLレコードを書き込みます。部品id、ステーション、モデルidとバージョン、データセットハッシュ、欠陥信頼度、OODスコア、物理信号、発火したゲートルール、予算に対するレイテンシ、作動とMESのログ、リスクタグ high-risk:quality-gate(EU AI Act Annex III、発効 2026-08-02)。ワンクリックでシフトをエクスポートします。

欠陥モデルは意図的に製品ではありません

デモのDefectDetectorは、テクスチャ空間における学習用良品へのkNN距離(PatchCore-lite)であり、固定インターフェースの背後にあるNVIDIA Metropolis、Cognex、またはカスタムモデルの代用品です。実働する代用品であり(クリーンな良品対欠陥でAUROC 0.845)、正直に報告し、製品主張はそれに依拠しません。持続する価値はその周りの層です。ドリフトゲーティング、来歴、統治された作動はいかなるモデル精度でも成り立つため、この層はすべてのモデルアップグレードを生き残ります。

エージェントは助言し、コードが決める

HOLDキューに部品が積み上がると、エージェント型のDrift Triageペアが理由を説明します。診断エージェントは保留部品のランク付けされた物理信号偏差を読み、推奨アクション付きの根本原因仮説を提案し、批評エージェントはその仮説を数値エビデンスに照合し、引用された信号が実際の支配的偏差でなければ手動調査へ格下げします。エージェントはPydantic AI上に構築されプロバイダ差し替え可能です。APIキーが未設定なら、トリアージは決定論的テンプレートにフォールバックし、デモ全体がオフラインで動きます。いずれにせよ、エージェントは助言するだけです。ゲートはすでに決めています。

シフト交代を、端から端まで

ステーション Line 3 上のスクリプト化されたシフトを、実際のMVTec AD metal_nutホールドアウトテスト部品で再生します。以下の画像はすべて、実行中アプリのスクリーンショットです。

通常運転:クリーンな部品は数十ミリ秒でパス

ドリフトの前、クリーンな良品は余裕をもって自動パスします。出荷済み監査ログでは、部品 test-good-288 が37.7 ms、test-good-289 が24.4 msで、750 msストローク窓予算に対し、それぞれ完全な系譜レコード付きです。ダッシュボードは部品ごとのライブ判断パイプラインを示し、各段の実測ウォールクロックとその出力の根拠を表示します。

通常運転中のInspection Trust Gateダッシュボード。PASS判定のクリーン部品、段ごとのミリ秒を示すライブ判断パイプライン、公称のエンベロープモニター。
クリーン部品の自動パス。PASS判定、段ごとのタイミング、エンベロープモニターは公称。

06:00、シフト交代:入力がエンベロープを出る

続いてスクリプト化されたマーカーが発火します。SHIFT CHANGE 06:00、冷えた金型、ベイ照明オン。ホールドアウトされた良品12個が、グレア、デフォーカス、熱色かぶりで劣化した状態で到着します(実在の良品写真に適用した誠実な画像劣化であり、アプリでもそのようにラベル付け)。エンベロープモニターが赤になります。ゲートは、モデルが検証されていない判定でアクチュエータを発火させる代わりに、すべてを人間レビューのために保留します。

ドリフトの瞬間:SHIFT CHANGE 06:00バナー、証明が必要と読むHOLD判定、部品を囲む分布外違反リング、素朴なAOIならリジェクトしていたという注記。
ドリフトの瞬間:誤不良判定ではなくHOLD。素朴なAOI経路なら、この良品をスクラップしていたでしょう。
エンベロープ違反を信号ごとに説明。輝度がプラス7.6シグマで、マハラノビス距離の87.1%を占める。
エンベロープが発火した理由:輝度が+7.6シグマ、距離の87.1%。ブラックボックスの旗ではなく、エビデンス。

同じシフトを、両経路で測定

比較パネルは、同一部品をエンベロープなしの素朴なベースラインとTrust Gateの両方に通します。ベースラインはドリフトした良品を誤不良判定し、ゲートの自動スクラップは0で保留するため、このスクリプト化シフトでは誤不良判定KPIが57.1%から0%へ落ちます。予測パネルは、測定された素朴な誤不良判定率をフルシフトへ外挿します(毎分40ストローク×8時間で19,200部品)、部品あたり$2.42。出典のある桁感のスクラップコストです(クッキー製造事例:8.7%のスクラップ廃棄物削減で年間$94Kの節約)。ドル数字は常にラベル付きの予測であり、測定された節約ではありません。

ペイオフパネル:素朴なベースラインは良品12個をスクラップ、Trust Gateは0、保留部品のエスカレーションキュー、誤不良判定KPIが57.1%から0%へ落ち、約$26.5kのラベル付きスクラップコスト予測。
素朴は良品12個スクラップ、ゲートは0。保留部品はエスカレーションキューで待機し、ドルカウンターはラベル付き予測です。

本物の欠陥は自動リジェクト、正直に注釈

不良が隠れるなら、ドリフトゲーティングは無価値です。本物の大きな構造欠陥(MVTecクラス flip、部品 test-flip-264)は自動リジェクトし、シミュレートされたアクチュエータは750 ms予算に対し25 msで REJECT actuated とログします。幾何ドリルインは、この部品では何も局在化されず、リジェクトはテクスチャ信頼度のみに依り、ゾーンルールは中心デフォルトにフォールバックしたと述べます。その文言を示すのは意図的です。デモは装う代わりに、ルールの棄権を表示します。ホールドアウト分割全体で、ドリフト中に注入された不良品は捕捉またはエスカレーションされ、93件中93件、自動パスはありません。

自動リジェクトされた本物の欠陥 test-flip-264 の完全な判断トレース。シミュレートされたアクチュエータログは、750 ms予算に対し25 msで REJECT actuated と示します。
自動リジェクトのトレース:本物の欠陥、シミュレートされたアダプタが作動をログ。
自動リジェクト部品の誠実さドリルイン:異常は局在化されず、リジェクトはテクスチャ信頼度のみに依る。
製品内の開示:異常は局在化されず、テクスチャ信頼度のみ。

レシートと、説明

任意の部品をクリックすると、監査ドロワーがその完全な系譜レコードを示します。モデルid metalnut-defect-knn version v7、データセットハッシュ ae95b5b533c8、OODスコア、物理信号、発火したルール、予算に対するレイテンシ、作動とMESのログ、リスクタグ high-risk:quality-gate(EU AI Act Annex III、発効 2026-08-02)。Export Audit はシフトを inspection_audit.jsonl としてダウンロードし、監査完全性はホールドアウト分割で判断済み部品の100%です。Drift Triage を実行すると、診断エージェントが保留部品の根本原因を提案し、批評エージェントが検証バッジを得る前に数値エビデンスと照合します。

モデルidとバージョン、データセットハッシュ、OODスコア、発火したゲートルール、レイテンシ、EU AI Act Annex III高リスクタグを含む部品ごとの監査系譜JSON。
部品ごとの系譜レコード。高リスク適合性ファイルに提出可能なエビデンスとして設計。
Drift Triageの出力:診断エージェントの根本原因仮説と推奨アクション、批評エージェントの検証バッジ。
Drift Triage:診断エージェントが提案し、批評エージェントが検証。助言のみ。ゲートはすでに決めています。

数値と、その正確なスコープ

すべての測定は、MVTec AD metal_nut公式ホールドアウトテスト分割(学習フィット220枚の良品、テストは良品22・不良93)上のデモのベンチマークスクリプトから得られ、同一画像でエンベロープなしの素朴なベースラインとTrust Gateを比較します。ベースラインはドリフトファミリーごとにドリフト良品の95.5〜100%を誤不良判定し(平均98.9%)、ゲートの自動スクラップは0.0%で100%を保留します。エンベロープ検出器は、一度もチューニングしていないホールドアウトのドリフトファミリー(露出不足)でAUROC 1.00を記録します。劣化はフル強度のため、ベースラインの崩壊は設計上ほぼ総崩れです。誠実な主張は方向性であり、きれいに検証されたモデルは入力がエンベロープを出ると崩れるということであって、正確なパーセンテージではありません。これらは研究ベンチマーク上のデモ測定であり、オープンワールドの保証ではありません。

素朴なAOIパイプライン対 Inspection Trust Gate

デモがライブで走らせるのと同じ比較を、同じ部品で。

観点 素朴なAOI(エンベロープ検査なし) Inspection Trust Gate
エンベロープ外の入力 それでもモデル判定を信頼 モデル出力は信頼せず、部品はレビューのためHELD
ドリフトした良品(グレア、デフォーカス、熱色かぶり) ドリフトファミリーごとに95.5〜100%が誤不良判定 自動スクラップ0、100%保留(MVTec metal_nutホールドアウト分割)
アクチュエータを発火させるのは誰か モデルの判定を直接 モデルが上書きできない決定論的ゲート
レイテンシの説明責任 なし 硬質な750 msストローク窓予算、部品ごとに測定
監査証跡 なし 部品ごとのJSONL系譜レコード、シフト単位でエクスポート可能
ラインがドリフトしたとき 誰かが気づくまでスクラップが積み上がる エスカレーションキューに加え、助言的なDrift Triage(診断エージェント、批評エージェント)

このデモが行わないこと

  • ✓ ライブラインは走らせません。Allen-Bradley ControlLogixリジェクトアクチュエータへのEtherNet/IPとMESシンクは、実行するであろう内容をログするシミュレートされたアダプタであり、カメラは録画された画像ストリームです。ステーション Line 3 とシフトはスクリプト化されています。
  • ✓ オープンワールドの保証は主張しません。ゲート誤不良判定0.0%、エンベロープAUROC 1.00、捕捉率93/93は、フル強度の合成劣化下でのMVTec metal_nutホールドアウト分割上の測定です。
  • ✓ 実工場のドリフトは示しません。ドリフトは実際のMVTec写真に適用した誠実な画像劣化(グレア、デフォーカス、熱色かぶり)です。本物の写真、合成ドリフトであり、アプリでもそのようにラベル付けしています。
  • ✓ 欠陥モデルは売りません。kNN代用品は周りの層を示すために存在します。本番のモデルはお客様のものであり、AOIベンダーを上回る検出は主張しません。
  • ✓ 本番計測は出荷しません。幾何ゾーンルールは粗い代用品で、ホールドアウト欠陥93件中33件で異常を局在化し、ゲート結果を変えるのは93件中1件です。UIは部品ごとにこれを開示します。
  • ✓ 測定された節約は報告しません。スクラップコストカウンターは部品あたり$2.42のラベル付き予測であり、出典のある桁感です。このデモに顧客、導入、事例研究はありません。

購入者が実際に尋ねる質問

シフト交代のあと、なぜビジョンシステムが良品をリジェクトするのか?

通例、モデルが劣化したからではなく、入力がドリフトしたからです。ベイ照明のグレア、冷えた金型、熱平衡前のシフト冒頭部品が、画像をモデルが検証された分布の外へ動かし、検証済みエンベロープの外側の入力ではいかなるモデルも信頼できません。スタンピングプレスでラボ97%のモデルが本番14%の誤不良判定率になるのが典型例です。持続する修正は、エンベロープ外入力を検出し、作動させる代わりにレビューのために保留するゲートです。

既存の検査モデルやAOIシステムを置き換える必要があるか?

いいえ。Inspection Trust Gateは固定インターフェースの背後で既存モデルを包みます。デモの欠陥検出器は、NVIDIA Metropolis、Cognex、またはカスタムエンジンの意図的な代用品です。製品はモデル周りの層です。エンベロープ検査、決定論的ゲート、エスカレーションキュー、監査系譜。防ぐ失敗は入力の失敗でありモデルの失敗ではないため、その層はすべてのモデルアップグレードを通じて価値を出し続けます。

実在のスタンピングラインに十分な速さか?

ゲートは硬質なレイテンシ予算を持つ平明なコードです。リジェクト判断は、毎分40ストロークのプレスの750 msストローク窓内に着地しなければなりません。デモの出荷済み監査ログでは、判断は数十ミリ秒で着地します。例として750 ms予算に対し24.4 msと37.7 msであり、ダッシュボードはライブのp99を報告します。これらはデモ測定であり本番保証ではありませんが、予算は部品ごとに強制されます。

EU AI ActはAI品質検査に適用されるのか、何をログしなければならないのか?

安全上重要な品質判断は、同法の高リスク義務(附属書III)に該当し、2026年8月2日から完全適用、最も深刻な禁止行為違反では最大3,500万ユーロまたは世界売上高の7%の罰金です。デモは部品ごとの系譜レコードを書き込みます。モデルidとバージョン、データセットハッシュ、OODスコア、発火したルール、予算に対するレイテンシ、作動ログ、リスクタグ。JSONLとしてエクスポート可能です。その記録は高リスク適合性ファイルに提出可能なエビデンスとして設計されています。認証ではありません。

AIやLLMがリジェクトアクチュエータを発火できるか?

いいえ。作動は決定論的ゲートが決めます。フィット済み信頼度しきい値とレイテンシ予算を持つ平明なコードであり、いかなるモデル出力もLLMも上書きできません。エージェント部分のDrift Triageは、ラインがドリフトした理由を説明する診断エージェントと批評エージェントです。助言し、決して作動しません。APIキーが未設定なら、トリアージは決定論的フォールバックへ劣化し、デモ全体がオフラインで動きます。

ドリフト検出器がデモに合わせてチューニングされただけではないと、どうわかるのか?

それが実施した独立性検査です。エンベロープ検出器は、一度もチューニングしていないホールドアウトのドリフトファミリー(露出不足)でAUROC 1.00を記録し、MVTec metal_nutホールドアウト分割で測定しました。物理信号空間の既知良品220枚にフィットするため、自作のドリフトファミリーだけでなく、それらの信号を動かす撮影ドリフトを旗立てします。劣化はフル強度のため、分離は設計上くっきりしています。誠実な主張は方向性であり、正確なパーセンテージではありません。

これはライブラインか、デモか?

メカニズムを証明する実行可能なデモです。Allen-Bradley ControlLogixリジェクトアクチュエータへのEtherNet/IPとMESシンクは、実行するであろう内容をログするシミュレートされたアダプタであり、カメラは実際のMVTec AD metal_nut写真の録画ストリームです。ドリフトは実在の良品写真に適用した誠実な画像劣化です。エンベロープ検査、決定論的ゲート、エスカレーションキュー、監査エクスポートは本物であり、表示どおりに動き、見出しの数値はすべてMVTec metal_nutホールドアウトテスト分割で測定されています。

技術研究

このデモを支える研究 — アーキテクチャ、検証設計、エンタープライズの青写真。

エッジ検査導入の復旧や強化をお考えですか?

モデルとアクチュエータの間の信頼レイヤーが難しい部分です。私たちがそれを構築します。

シフト交代のたびに誤不良判定と格闘しているチーム、あるいは毎分40ストロークで判断するラインにEU AI Actの高リスク義務が何を意味するかを考えているチームなら、その考え方をぜひ伺いたいです。問題は業界全体のものであり、答えもそうなるでしょう。

エンベロープ評価

  • ✓ ラインの入力がモデルの検証済みエンベロープを出る箇所を図示
  • ✓ 撮影信号上に分布外検出器をフィット
  • ✓ 自社データからゲートしきい値とHOLDポリシーを定義
  • ✓ 適合性ファイルが必要とする系譜レコードを仕様化

信頼レイヤーを構築

  • ✓ ストローク窓予算内の決定論的ゲート
  • ✓ ライン上のエンベロープ監視とエスカレーションキュー
  • ✓ ワンクリックエクスポート付きの部品ごとJSONL監査系譜
  • ✓ 助言し、決して作動しない有界ドリフトトリアージエージェント
ソーシャル

他のプラットフォームでも公開