エシカル・ハイパーベロシティ（EHV）：エージェントシステムのための証明可能な決定論的ガバナンス対応JITコンパイラアーキテクチャ

要旨

自律エージェントシステムが規制された重要インフラにわたって拡大するにつれ、高頻度なポリシー更新を機械的かつハードウェアに根ざした形で強制する仕組みが欠如していることが、根本的な安全性のギャラリーとなっている。本論文では、実行時におけるAIガバナンスポリシーの形式検証を実現する新たなアーキテクチャフレームワーク「エシカル・ハイパーベロシティ（EHV）」を提案する。14～30日間の遅延を伴う遡及的監査フレームワーク（ISO/IEC 42001、NIST AI RMF）とは異なり、EHVはガバナンス認識型ジャストインタイム（JIT）コンパイラを介してポリシー強制ポイント（PEP）を推論パイプライン内に再配置する。競合回避型レプリケーションデータ型（CRDT）を用いたポリシー同期と、信頼実行環境（TEE）内でのエポックベースのアテステーションキャッシングを統合することにより、EHVはサブミリ秒形式決定性（SMFD）を達成する。TLA+形式検証を通じて、システムの制限された動作状態空間内では非準拠なエージェント行動が計算的に到達不可能であることを示す。さらに、O(1)実行時強制により、展開速度とガバナンスの整合性の間の従来のトレードオフを排除し、ガバナンス遅延をO(日)からO(1)に低減できることを証明する。

English

As autonomous agentic systems scale across regulated critical infrastructures, the lack of mechanistic, hardware-rooted enforcement for high-frequency policy updates presents a fundamental safety gap. We introduce Ethical Hyper-Velocity (EHV), a novel architectural framework for the formal verification of AI governance policies at runtime. Unlike retrospective auditing frameworks (ISO/IEC 42001, NIST AI RMF) which introduce 14-30 day latencies, EHV relocates the Policy Enforcement Point (PEP) into the inference pipeline via a Governance-Aware Just-In-Time (JIT) Compiler. By integrating Conflict-free Replicated Data Types (CRDTs) for policy synchronization and Epoch-based Attestation Caching within Trusted Execution Environments (TEEs), EHV achieves Sub-millisecond Formal Determinism (SMFD). We demonstrate via TLA+ formal verification that non-compliant agentic actions are computationally unreachable within the system's bounded operating state space. We prove that O(1) runtime enforcement can eliminate the traditional trade-off between deployment velocity and governance integrity, reducing Governance Latency from O(days) to O(1).