システム構成
Vacant は七つの層からなります。L0 身元、L1 署名付き記録、L2 アカウンタビリティ層、L3–L4 実行可能な受け入れ、L5 観測、L6 製品への接続です。四つの仕組みが四種類のごまかしに対応し、どれにも実測された失効条件があります。
#位置づけ
プロジェクトの中核文書は、Vacant の役割を一文で書いています。
AI を信頼できるものにするのではなく、「誰が何をして、誰が確認し、どれだけ丁寧に確認したか」を後から書き換えられない記録に変え、さらに悪い仕事をした参加者が仕事を受け取りにくくする。
2026 年 9 月以降、この位置づけはさらに具体化されて受け取り口になりました。検証可能なレシートのない納品は受け入れられません。
この位置づけは、よくある二つの誤読を意図的に避けています。
- Vacant は別のエージェントフレームワークではありません。エージェントがどう推論し、どうツールを呼ぶかを代わりに決めることはしません。
- Vacant はエージェントの外側にかぶせて、すべてを確実に遮断する強制層ではありません。Saltzer と Schroeder（1975）の完全仲介の原則はすべてのアクセスが検査を通ることを求めますが、既定の構成での受け取り口はこれを満たしていません。
#七つの層
| 層 | 名称 | 誰のものか | 構築された時期 |
|---|---|---|---|
| L0 | 暗号学的な身元 | ゲートウェイ | 2026-06 |
| L1 | 署名付き記録（イベントチェーン） | ゲートウェイ | 2026-06 |
| L2 | アカウンタビリティ層 | ゲートウェイ | 2026-06～08 |
| L3 | 問題バンクとサンドボックス | 実行フレームワーク | 2026-08 下旬から |
| L4 | 実行可能な受け入れゲート | 実行フレームワーク | 2026-09-03 |
| L5 | 観測と展示 | ゲートウェイ | 2026-07～09 |
| L6 | 製品への接続（vacant run / on / agentlane） | 利用者 | 2026-09-18 から |
L0–L2 がアカウンタビリティ層の本体です。L3、L4 は、利得の実験で「意見の代わりに実行する」ための実行対象を用意するために作られました。L6 は 9 月以降に加わった製品層です。
#四つの仕組み、四種類のごまかし
| 仕組み | 対象とする行為 | 強さ |
|---|---|---|
| 署名付きハッシュチェーン | 記録を後から書き換える | 検知する（鍵の保管が成り立つ場合は偽造を防止する） |
| 評判ルーティング | 悪い仕事をしても次の仕事を受け取る | コストを上げる |
| ピアレビュー（K=3、ホワイトリストなし） | 「誰に確認する資格があるか」には資格を与える人が必要で、その人が信頼しなければならない対象になってしまう | コストを上げる |
| 決定的なサンプリング監査 | 評価者が集団で嘘をつく | 検知する（確率は抽出率） |
この四つの仕組みの防御軸での実験結果は、それぞれの失効条件とあわせて、防御軸と記録と多者実行で詳しく展開しています。
#二つのエンドツーエンドのデータフロー
#L2 を有効にしたとき（アカウンタビリティのエコシステムのループ）
- 外部のエージェントが MCP ツール
delegateでタスクとテストを提出します。 - システムはまずテストを検証器にコンパイルします。
- 評判ルーティングによって作業者を選びます。
- 作業者が答えを生成し、自分のチェーンに納品イベントを署名して書き込み、チェーン先頭を進めます。
- 三人の評価者がそれぞれ判定し、新しいチェーン先頭に結びつけた評価の封筒に署名します。
- 監査器がハッシュによって検査を再実行するかどうかを決めます。
- 証明可能な過失があれば、納品した側と、それを通した評価者が罰せられます。
- 評判の更新が、次のタスクの割り当てに影響します。
- 信任状と委任レシートを発行し、下流のコントローラーが受け入れ検査を終えてから次のエージェントを起動します。
どの手順もイベントチェーンに書き込まれ、公開鍵を持つ人なら誰でもオフラインで再検証できます。
#L3/L4 の主力経路（2026 年 9 月以降）
前のフローと比べると、意見による評価と評判ルーティングは脇役に退き、審判は顧客自身の実行可能な受け入れテストに替わります。
- エージェントはどのフレームワークでも構いません。モデルへの通信経路がプロキシサーバーを通り、成果物がワークスペース内に置かれさえすればよいのです。
- プロセスの終了が納品の時点です。 システムは凍結したスナップショットの上で可視の受け入れ検査を実行します。
- 合格すれば通します。不合格でまだ予算が残っていれば、設定に従って再サンプリング（CONFORM）または修正（H-MIX）を行います。
- 予算を使い切ったら納品を拒否し、納品拒否は失敗として数えます。
- 非公開テストは事後の採点にだけ使います。
#threat model に沿って強さを示す
| 脅威 | 防御 | 強さ |
|---|---|---|
| 記録を後から改ざんする | ハッシュチェーン＋署名 | 検知する |
| なりすまし | Ed25519＋公開鍵の公示 | 防止する（条件：鍵の保管） |
| リプレイと順序の入れ替え | 通し番号、一つ前のハッシュ、重複排除 | 検知する |
| 採点を別の納品に付け替える | 評価をチェーン先頭に結びつける。基質とタスク族は納品側が宣言する | 防止する |
| 票の水増しとシビル攻撃 | 重みの内生化、未証明の評価者は 0.1/k、同一出自の重み引き下げ | コストを上げる |
| 身元を替えて経歴を洗う | 見習い期間の上限、強制監査、信用はイベントの流れについていく | コストを上げる |
| 評価者が集団で嘘をつく | 決定的なサンプリング監査 | 検知する（確率＝抽出率） |
| 悪い仕事をしても仕事を受け取り続ける | UCB ルーティング、罰則、減衰 | コストを上げる |
#各層の詳細
| ページ | 内容 |
|---|---|
| 身元と署名付き記録 | Ed25519、vacant_id の導出、イベントチェーンの八つのフィールド、信頼ストアと能力ストアの分離 |
| 登録と評判 | 四つ組の評判キー、五次元の Beta、UCB ルーティング、見習い期間、罰則と永久排除 |
| ピアレビューと監査 | K=3、四つの検査、重みの内生化の式、三段階の重み引き下げ、決定的なサンプリングと盲点の積 |
| 実行可能な受け入れ層 | 可視と非公開の分離、サンドボックス、SuiteSpec、CONFORM と H-MIX の完全な規則 |
| 多者実行 | 相互に実行し、相互に評価しない、ゲージの検査、多数の上限、名指しの投票 |
| 製品接続層 | 三種類の接続形態、vacant run、vacant on、隔離壁と出口、agentlane |
#現行のコードと対応しない理論
5 月の理論設計にあったいくつかの概念——主要な誕生経路としてのエージェントの自己複製、休眠状態で身元を保管していることの証明としてのハートビート、系譜（parent_id のチェーン）を「無限の進化」の主体とすること——は、7 月の主線の再設定で荷重を負わないものとされ、現行のコードには対応する実装がありません。この文書が記述するのはコードの現状（vacant-network 0.9.0、tag v0.9.0、ゼロ設定 v3.7）であり、それらの概念は設計の青写真としてだけ記録しています。
