VERA-K — 実行検証カーネル

検証が、
実行に先立つ。

すべての決定は、鎖で結ばれる。

エージェントが行動する前に、VERA-Kはその計画を形式契約に書き換え、ポリシーと状態に照合します。検証を通過した計画だけが使い捨ての実行トークンを受け取ります。承認でも拒否でも、すべての決定は何も隠さない台帳に記録されます。

実測 — カーネル監査 2026-07-19

決定の仕組み

4つの機構、1つの規則。

検証できない行動は、実行されない。

01契約

すべての行動計画は形式契約に書き換えられます — 事前条件・事後条件・禁止状態・資源上限・復旧経路。何かが実行される前に、契約は生きたポリシー・状態と照合されます。

02トークン

合格した検証はポリシーエポックと状態ハッシュに紐づいた一回限りの実行トークンを鋳造します。トークンは60秒で失効し、ポリシー変更は開いているトークンをすべて即時に失効させます。

03反例

失敗した検証は最小反例 — 同時に成立しえない最小の制約集合 — を返します。計画は拒否されるのではなく、修正されて戻ります。

04キャッシュ

証明は依存グラフとしてキャッシュされます。ポリシーや状態が変わると、影響を受けるノードだけが再検証されます — 全量再検証の12.7倍高速と実測。

台帳、公開

すべてのVERA-K決定はハッシュ連鎖台帳に追加されます。これはその連鎖のビルド時スナップショットです — 件数・時刻・完全性のみ。生パス・理由・計画識別子はカーネルホストを離れません。

検出された同時書込フォーク

2 — #1,107 · 2件の追記が3ミリ秒差

フォークは2つのカーネルプロセスが同じ瞬間に追記したことの署名です。台帳はそれを検出し — そのまま公開します。何も隠さないことは、自身の異常も含みます。

静的スナップショット — ビルド時に再生成されます。上の数値はこの区間のみを示します。

VERA-KはAGEIUMのエージェント業務の下に置かれたカーネルです — 私たちが設計するすべてのシステムに適用するのと同じ規律です。