Autonomous vehicles · Freight · Forecasting · Regulation · Theorem 3

許可のフェーズこそがメカニズムであり、主張ではない

カリフォルニアの段階的な自動運転トラック許可は通行手形ではなく測定器である。Theorem 3：ある性質は、そのメカニズムが実装され測定しているときにのみ保証される。

著者 Everythink Studio team2026年8月22日1 分で読了

許可のフェーズこそがメカニズムであり、自動運転の主張ではない

許可はフェーズであり、評決ではない

2026年8月、Kodiak AI は、重型自動運転車両の開発者が初めてカリフォルニアの道路上で運用できるようにする新しい州法に基づき、カリフォルニアDMVからテスト許可を受けた。8月13日に取得したこの許可は、Kodiak が安全運転者をハンドルの後ろに乗せて走行することを許可する——DMV の運転者不在の展開に向けた3段階の進行の第1段階である。Kodiak の創設者兼CEOである Don Burnette 氏は、カリフォルニアの規制を「貨物イノベーションの大きなロック解除」と呼んだ。その引用で興味深い語は「ロック解除」ではなく、その隣にある「包括的」という語である。ニュースは Kodiak が許可を得たことではない。ニュースは、カリフォルニアが各ゲートに測定器を備えた段階的メカニズムを構築したことである。

これは安全クリティカルなソフトウェアと政策で繰り返されるパターンである：見出しは主体を名指しし、荷重を支える仕事はゲートにある。「あなたは80 000ポンドのトラックを州間5号線で運転してよい」と言う許可は、一発勝ちの主張である。「安全運転者を同乗させて運転してよく、その制約を解除する前に何が起きるかを測定する」と言う許可は、メカニズムである。

[UNIQUE INSIGHT] カリフォルニアDMVの3段階の梯子——運転者ありテスト、運転者なしテスト、運転者なし展開——は、Everythink で用いる Theorem 3 の教科書的な実例である：ある性質は、そのメカニズムが実装され測定しているときにのみ保証される。各フェーズは測定ゲートであり、マイルストーンではない。次のフェーズには待っていても到達できない；前のフェーズがきれいに測定したという証拠を出して到達する。

段階的許可は測定器である

3つのゲート、3つの測定

カリフォルニアDMVの段階的アプローチは、情報源の中で「運転者を同乗させたテストから、運転者なしテスト、そして最終的に運転者なし展開へ」と進行すると説明されている。これは同じ許可の3つの変種ではない。3つの異なる測定レジームである：

運転者ありテスト。 人が座席にいる。測定器は安全運転者の介入率——人がどれくらい頻繁に制御を引き継ぐか、そしてどのシナリオで——である。自動運転スタックは、すでに路上にいる人間のベースライン性能に対して測定される。
運転者なしテスト。 座席に人はいないが、依然としてテストレジーム下にある。測定器はテレメトリ、遠隔監視、そして離脱ログへと移る。ベースラインはもはや運転席の人ではなく、企業がそこに到達するために文書化しなければならなかった安全運転の統計的エンベロープである。
運転者なし展開。 商業運用。測定器は運用記録——走行マイル、インシデント、回帰——を規制当局に報告するもの。「展開できるほど安全」という性質は今や生産環境で継続的に測定され、許可時に一度主張されるのではない。

3つすべてに対して単一の許可を発行する規制当局は、単一の主張をして期待するだけである。3つを発行し、それぞれの間に証拠を求める規制当局は、メカニズムを実装している。カリフォルニアDMVは後者の道を選び、その選択こそが本当の物語である。

なぜ安全運転者は譲歩ではなく測定器なのか

「ハンドルの後ろの安全運転者」を、技術がまだ準備できていない兆しとしての掛け保険と読むのは魅力的である。逆に読め。安全運転者は第1の測定ゲートのための校正器である。座席に人がいなければ、自動運転スタックの介入率を測定するベースラインはない。一人いれば、数字が得られる：マイルあたりの介入、シナリオ別の介入、道路等級別の介入。その数字こそが次フェーズの許可申請の基礎である。

これと同じ理由で、私たちは自分たちの予測作業にも人間-in-the-loop の測定器を置いている。The Sisters——現実世界の主体にとってのもっともらしい未来を生成する型付きAIエージェント——がシナリオを起草し、Oracle がそれらを校正されたアンサンブルに融合する。校正は約束ではなく、歴史的結果に対する測定である。校正できるのは、校正の基準となるベースラインがあるときだけである。Kodiak の安全運転者は、メカニズムの用語で言えば、ベースラインである。

Theorem 3、大型トラック向けに言い換える

私たちの21論文シリーズにおける Theorem 3 はこう述べる：ある性質は、そのメカニズムが実装され測定しているときにのみ保証される。対偶が荷重を支える：ただ主張されるだけで、それを測定するメカニズムのない性質は保証されない——それはプレスリリースである。

カリフォルニアの段階的許可は、この定理を公道上の80 000ポンドの車両に適用する。性質は「安全な運用」である。メカニズムは証拠ゲートを備えた3段階の梯子である。測定器はフェーズごとに変わるが、メカニズムは連続的である。Kodiak が8月13日に受け取った許可は、Kodiak が安全であるという宣言ではない。それは、州が Kodiak が安全かどうかを測定するであろう器を設置したという宣言である。

同じ定理が私たち自身のスタックを支配している。HAI Engine は2016年から本番環境にあり、それが本番環境に留まり続けている理由は、それが出す予測コーンが実際に起きたことに対して採点されているからである。メカニズムは回帰ハーネスであり、予測は出力である。結果に対して採点されない予測は主張である。カリフォルニアDMVは事実上、Kodiak に、私たちの回帰ハーネスが HAI Engine に求めるのと同じものを求めている：スローガンではなく、スコアを見せてくれ。

[PERSONAL EXPERIENCE] 私たちはこれを2016年に痛い目を見て学んだ、HAI Engine が初めて稼働したときである。最初の版は校正を主張した；それは校正を測定しなかった。私たちは予測コーンを出荷して期待した。四半期のうちに測定器を据えた——過去の各予測を実際に起きたことに対して採点する回帰ハーネス——そして以来、HAI Engine は主張するのではなく測定し続けている。測定器が製品である。予測は出力である。

「coast-to-coast」の枠組みが隠すもの

Burnette 氏の引用はスコープも示している：「自動運転トラックを沿岸から沿岸へと拡大する第1段階」。coast-to-coast の枠組みは野心としては正直である。しかしそこへ到達させるメカニズムは野心ではなく、フェーズごとの証拠の連鎖である。Coast-to-coast は一つのルートである。各フェーズはそのルートに沿ったゲートである。ルートとゲートを混同するのは、予測とそれを生成したメカニズムを混同するのと同じカテゴリーの誤りである。

ここで Everythink が用いるルーティングの比喩が直接当てはまる。「The space is the router」とは、トポロジー——network、community、room——が何かが応答する前にリクエストをルーティングすることを意味する。自動運転貨物において、ルートは高速道路ではなく、規制的トポロジーである。カリフォルニアは一つのノードである。連邦の motor carrier 規則は別のノードである。各州のDMVはまた別のノードである。運転者なし展開のフェーズは、各ノードが転送する前に測定しながら、ノードごとに到達される。グローバルな「coast-to-coast」許可は存在せず、測定されたゲートの連鎖があるだけである。

弱い器のリスク

段階的レジームにおけるリスクは、企業がフェーズを飛ばすことではない——それは規制当局が制御する。リスクは、あるフェーズの測定器が粗すぎることである。運転者ありフェーズが「マイルあたりの介入」だけを数え、シナリオ別に分類しなければ、そのゲートは平均では良好に見え、裾で失敗するスタックを通してしまう。運転者なしテストフェーズが離脱だけを数え、原因を記録しなければ、そのゲートは毎回異なる理由で離脱し、決して収束しないスタックを通してしまう。

正直な段階的許可の版は、測定器が公開され、監査可能で、フェーズ間に見直される版である。私たちの読む限り、カリフォルニアDMVは各ゲートが採点する正確な指標を公表していない。それがこのレジームが必要とする次のメカニズムである。検査可能でない測定は、半分のメカニズムに過ぎない。もう半分は監査である。

だから Theorem 3 には2つの節がある：実装されている AND 測定している。実装されているが測定しないメカニズムはフローチャートである。測定するが検査可能でないメカニズムは私的なログである。完全な保証は両方を必要とする——器が据えられ、かつ、それを信じなければならない当事者に読み取りが見えること。

スコープの倫理：民生と防御のみ

自動運転貨物は民生応用である。トラックは弾薬ではなく貨物を運ぶ。同じメカニズム設計——段階的ゲート、測定された証拠、検査可能な器——は兵器システムもゲートするだろう、そして私たちがこれを明示する理由は、私たちが民生の半分しか構築しないからである。Everythink のスコープは民生と防御のみである。

これが重要なのは、壊れた安全メカニズムを出荷する最も簡単な方法が、それを誤ったスコープに適用することだからである。貨物のための段階的許可は路上の公衆を守る。同じエンジニアが同じ規律で構築した兵器システムのための段階的許可は、公衆ではなく操作者を守る。メカニズムは同じである；スコープが測定が誰に奉仕するかを決める。

[ORIGINAL DATA] 私たちの21論文シリーズにおいて、民生/防御のスコープ境界は Theorem 3 の証明の中で荷重を支える節である。民生スコープで成り立つ保証は、メカニズムの1行も変えずに対抗的スコープで失敗し得る、なぜなら相手は民生の測定が決してサンプリングしなかった入力を選べるからである。スコープは一等の設計決定であり、マーケティングの事後メモではない。

設計による包摂：器が誰に奉仕するか

段階的許可は路上の公衆に奉仕する——隣の車線の運転者、交差点のサイクリスト、横断歩道の家族。それが自動運転貨物にとっての包摂の問いである：「誰がトラックを買えるか」ではなく、「誰がそれと道路を共有しなければならないか」。測定器は、企業を良く見せる事例ではなく、それらの人々にとって重要な事例を数えなければならない。

私たちは同じ問いを自分たちの作業に持ち込む。Everythink は7つのロケールで出る——英語、スペイン語、ポルトガル語、中国語、日本語、ドイツ語、フランス語——なぜなら英語しか話さない予測は、すでにアクセスを持っていた人々にしか奉仕しないからである。設計による包摂は、最後にボルト留めする翻訳レイヤーではなく、最初に下すトポロジーの決定である。「The space is the router」であり、ルーターは出力と共に生きなければならないすべての人にルーティングしなければならない。カリフォルニアDMVにとって、包摂の問いは、ゲートごとの指標がトラックが走る近隣でのヒヤリハットを数えるか、それとも高速道路上のインシデントだけを数えるかである。

顧客主権と測定されたフェーズ

段階的許可は、私たちが顧客主権と呼ぶ原則も体現する：結果と共に生きなければならない当事者が、測定を見られる当事者である。カリフォルニアの公衆は運転者なし展開の結果と共に生きる。うまくやられた段階的レジームは、その公衆に——規制当局を通じて——次のゲートが開くかを決めるために必要な読み取りを与える。

私たちの作業において、顧客主権はあなたの network、あなたのブランド、あなたのデータを意味する。あなたは予測コーン、校正スコア、歴史に対する回帰を見る。あなたはそれに基づいて行動するかを決める。私たちは測定を留めて、主張を信頼するよう求めることはしない。

これに対する Everythink の利害

私たちは自動運転トラックを構築しない。私たちは、組織が自動運転貨物のようなシステムについて推論するために使う、ルーティングと予測の基盤を構築する。私たちの Production ✅ 能力の3つが段階的許可のパターンに直接に語る：

HAI Engine（✅ Production、2016年から本番環境で）は校正された予測コーンを生成する——規制当局が段階的許可の証拠の連鎖から欲しくなるのと同じ出力の形：中心予測、校正された広がり、そして歴史に対する測定された回帰。
Sisters → Oracle パイプライン（✅ Production）は、私たちが単一主張の予測を避けるメカニズムである。複数の型付きエージェントが起草し、Oracle が融合し、アンサンブルが正規化される。自動運転トラックでの対応物は「ある企業が安全だと言う」ではなく、「複数の器が融合され、広がりが見える」である。
World Monitor（✅ Production）は、クライアントが自分のビューポートのデルタだけを受け取るよう、tile で索引づけられたトポロジーを通じてライブの geo シグナルをルーティングする。同じトポロジーの思考が、coast-to-coast の貨物展開が必要とするものである：ルートは地図上の線ではなく、geo で縛られた義務のルーティングされた集合である。

私たちの ⚠️ Partial 能力——Matchmaking、Marketplace、Calendar——もまた測定されたメカニズムであるが、まだ校正中である；私たちはそう言う。私たちの 🔵 Roadmap 能力——Wallet & Token、Super App、Community Credit——はまだメカニズムですらない；それらは設計であり、Howey 審査の対象であり、収益前である。私たちはそれらに成果を約束しない。同じ規律こそがカリフォルニアの段階的許可を読み解けるようにする：州は Kodiak が運転者なしで展開するとは約束しない；Kodiak がそうできるかを測定するメカニズムを約束する。

重要な要点

許可はフェーズであり、評決ではない。カリフォルニアDMVの3段階の梯子は通行手形ではなく、測定器である。
安全運転者は第1ゲートのための校正器であり、未準備のスタックに対する掛け保険ではない。
Theorem 3 は大型トラックに予測と同じように当てはまる：ある性質は、そのメカニズムが実装され測定しているときにのみ保証される。主張された性質はプレスリリースである。
Coast-to-coast はルートであり、ゲートではない。ルートは規制的トポロジーであり、ゲートはフェーズごとの証拠の連鎖である。
弱い器のリスクは現実である：誤った指標を数えるフェーズは、平均では良好に見え、裾で失敗するスタックを通してしまう。レジームが必要とする次のメカニズムは、公開され、監査可能なゲートごとの指標である。
スコープが測定が誰に奉仕するかを決める。民生の段階的許可は路上の公衆を守る；対抗的スコープに適用された同じメカニズムは、代わりに操作者を守る。

よくある質問

8月13日の許可は、Kodiak のトラックが今やカリフォルニアの道路上で自律走行していることを意味するか？ いいえ。その許可はハンドルの後ろに安全運転者を置いたテストを許可する。運転者なしテストと運転者なし展開は、それぞれ独自の証拠ゲートを必要とする別個のフェーズである。

段階的許可は単一の許可より強いか？ メカニズム的には、はい。単一の許可は一つの主張である。段階的許可は各ゲートに測定器を据え、次の制約を解除する前に証拠を求める。強さは測定から来ており、フェーズの数からではない。

Theorem 3 はトラック輸送と何の関係があるか？ Theorem 3 は、ある性質はそのメカニズムが実装され測定しているときにのみ保証されると述べる。カリフォルニアの段階的許可は現実世界の実例である：性質は「安全な運用」、メカニズムは3段階の梯子、測定器はフェーズごとに変わる。測定メカニズムなしに主張された性質は保証されない。

Everythink の作業は自動運転貨物とどう関係するか？ 私たちはトラックを構築しない。私たちは、組織が自動運転貨物のようなシステムについて推論するために使う、ルーティングと予測の基盤を構築する。HAI Engine（✅ Production、2016年から）、Sisters → Oracle パイプライン（✅ Production）、World Monitor（✅ Production）はすべて、単一の主張ではなく、校正され測定された出力を生成するメカニズムである。私たちの予測を治めるのと同じ Theorem 3 の論理が、段階的許可を治める。

段階的レジームにおける弱い器のリスクとは何か？ 誤った指標を数えるフェーズ——例えば、シナリオ別に分類せずにマイルあたりの介入だけを数える——は、平均では良好に見え、裾で失敗するスタックを通してしまう。解決策は、フェーズ間に見直される、公開され監査可能なゲートごとの指標である。