Vacant ドキュメント
もっと深く知るなら、
ここから。
あなたの受け入れテストを一度実行し、合格したときだけ納品し、手順ごとに自分で再検証できる署名付きレシートを残します。ここには、その構成、実験方法、判定台帳、再実行の方法があります。
何を知りたいですか？
まず理解したい結局、何をしているのか六つの部屋で全体を語ります。何に答えたかったのか、何を作ったのか、何を測ったのか、まだ何ができないのか。
役に立つのか知りたい58 件の主張の判定成立 23、反証 14、言い過ぎ 5……反証されたものも表に残し、どれにも根拠となる数値を付けています。
自分で試したいインストールとクイックスタートvacant-network をインストールし、手元の AI アシスタントにつないで一問走らせ、最初のレシートを読みます。
再計算したい自分で検証し、自分で再実行するレシートチェーンのオフライン署名検証、API 呼び出しゼロの統計の再計算、メカニズムのシミュレーション——私たちを信じる必要はありません。
外に向けて言ったことは、今も成り立っているか
#はじめに
まず何なのか、どうインストールするのかを知り、その先で裏付けを見ていきます。
- Vacant とは Vacant は AI アシスタントの外側を包むアカウンタビリティ層です。AI を置き換えるのではなく、あなたが書いた受け入れテストを一度実行し、合格したときだけ納品し、すべての手順に自分で再計算できる署名付きレシートを残します。
- インストール Vacant は Python パッケージ vacant-network です。インストール後、vacant on でメニューからあなたのコンピュータにすでにある AI アシスタントを選び、仲介のもとで起動します。常駐の設定は変更しません。
- クイックスタート 標準解のある一問で、道筋を最後までたどります：要求と受け入れテストを書き、AI アシスタントに作業させ、ゲートがどう判定するかを見て、レシートの各欄に何が含まれるかを読み解き、チェーン検証が捕まえられない三つのことを知ります。
#中心概念
四つの用語が仕組み全体を支えています。定義は五回変わったので、今どれを使っているかをはっきり書きます。
- アカウンタビリティ層 「説明責任を問える」は「信頼」と同じではありません。これが Vacant の中心的な定義で、研究期間中に五回書き換えられ、そのたびに主張は小さくなりました。この表が現在唯一有効な版です。
- レシート レシートは「改ざんが察知できる」署名付きの記録ですが、五つの段階に分かれており、どのレシートもどの段階まで達したかを自分で宣言しなければなりません。2026-09-20 の監査で「納品拒否」が単なるフラグだと分かり、それ以来「出口で止める」とは言わなくなりました。
- 受け入れゲート CONFORM 一字一句凍結されたルールです。候補を順に生成し、どの候補にも可視の受け入れ検査を実行し、最初に合格した候補を通します。最大五つで、すべて不合格なら納品を拒否します。納品拒否は失敗に数え、分母はすべての問題です——これがこのルールの最も重要な半分です。 成立
- 帰属 「誰が何をしたか」が成り立つには、鍵の保管、決定論的なサンプリング、記憶がイベントストリームに付いて回ることの三つが同時に真でなければなりません。どれか一つでも欠ければ、帰属は「ある参加者がこれをした」ではなく「ある鍵がこの記録に署名した」で止まります。
- ゼロ設定の Vacant インストールすればそのまま働き、設定は一切要りません。することは一つだけ：同じセッション内で一度だけ言葉を送り返します。その代わり三つの部品——実行可能なシグナル、やり直させる権限、納品を拒否する権限——が欠けています。四つのバッチのうち三つで差が測れませんでした。 識別可能な差なし
- アカウンタブル・トレース 汎用の受け取り口は「この納品物は合格か」には答えますが、どこが不合格か、どの手順で誤ったか、誰が誤ったかは言えません。トレースは手順まで切り込みます：どの結論も二層に分かれ、再実行で反転を示せる層だけが評判上の帰結につながります。
#システム構成
七つの層。暗号学的な身元から、今お使いの AI アシスタントへの接続まで。
- システム構成 Vacant は七つの層からなります。L0 身元、L1 署名付き記録、L2 アカウンタビリティ層、L3–L4 実行可能な受け入れ、L5 観測、L6 製品への接続です。四つの仕組みが四種類のごまかしに対応し、どれにも実測された失効条件があります。
- 身元と署名付き記録 住人はそれぞれ Ed25519 の鍵ペアを持ち、vacant_id は公開鍵から導出されるので名簿を引く必要はありません。イベントチェーンの各レコードは八つのフィールドを持ち、追記のみで、すべての署名は正規化 JSON のバイト列を対象とします。
- 登録と評判 評判は（イベントストリーム, ブランチ, モデル基質, タスク族）の四つ組に記録され、五次元の Beta 分布と UCB ルーティングを使います。新規参加者には見習い期間の上限があります。罰則の副作用は永久排除です——368 個のシードのうち戻ってきたのは 0 個でした。
- ピアレビューと監査 納品はどれも三人のピアが評価し、ホワイトリストはなく、重みは評判から内生的に決まります。監査はモデルにもう一度聞くことではなく、サンドボックスでの決定的な再実行です——盲点はゼロではなく、人数を増やしても独立した情報は増えないからです。
- 実行可能な受け入れ層 可視テスト V は通すために使い、非公開テスト GT は事後の採点にだけ使います。サンドボックスによって、候補プログラムは構造的にテストコードを見られません。受け入れスイートはプログラムではなくデータです。そうでなければ、攻撃者はゲージを両方向で満点にしながらごみを納品できます。
- 多者実行 分散させるのは実行と証言であって、判断ではありません。意見の食い違いは情報を持たないが、実行の食い違いは情報を持つからです。この道が耐えられる上限は ⌊(k−1)/2⌋ 個の腐敗した実行器で、過半数を超えると結果が反転します。
- 製品接続層 三種類の接続形態は強制の度合いが違います。`vacant run` は「プロセスの終了」を納品の時点とし、隔離壁は bwrap で独立した名前空間を作り、出口は release/publish の能力分離で扱います。エージェントは自分のフックを削除できます——だからフックは補強にすぎず、信頼の根ではありません。
- ネイティブプラットフォームと静かな無効 判定点を agent のプロセスの中に置くと、プラットフォームが協力しないとき「効果が小さい」のではなく、静かに無効になります——カルテは完全で、署名チェーンは検証を通り、判定はゼロです。三つの欠落と、ループを親プロセスに移すという一つの決定について記します。
#実験
四つの方法の系統、判定値の定義、そして三つの軸それぞれの完全な結果。反証されたものもここに載せています。
- 実験方法と判定値 四つの実験手法ファミリー、判定値の六つの状態、事前に宣言した四つのルール、そして再検証を受けてから書かれた四つの分析の規律。このページは、すべての数字を読むための前提です。
- 防御軸 攻撃者がどれだけの仕事を手にできるか。本研究の索引にあるこの軸の 12 件の主張のうち、3 件は自分で反証し、3 件は言い過ぎでした。それでも悪い参加者を抑える仕組みは確かに効いており、効いているのは「捕まえられる」ことではなく「飢えさせられる」ことです。
- 利得軸 最も力を注ぎ、最も多く自分を反証した軸です。見出しは「AI 評価者は多数決に負けた」、結論は「実行可能な受け入れゲート＋再サンプリングは有効、修正ループの追加の利得は同符号・未解決」です。
- 記録と多者実行 レシートチェーン 194 本、9,841 件はすべて検証を通りました。嘘をつく鍵は 273/273 で名指しされ、誠実な参加者が誤って告発されたのは 0/1,840 でした。しかしチェーン検証は切り詰め・分岐・記録漏れを捕まえられず、相互実行は「受け入れスイート自体の腐敗」に対してまったく防御がありません。
#証拠と再現
外に向けたすべての主張の判定と、自分で再実行する方法。
- 証拠台帳 外に向けた主張 58 件のそれぞれに、判定値、根拠となる数値、再計算の方法があります。反証されたもの、言い過ぎだったもの、差が測れなかったものも、すべて表に残しています。説明責任を問えると称するシステムは、まず自分自身に対して説明責任を問えなければなりません。
- 再実行の方法 手順を一つずつここに並べます。メカニズムのシミュレーション、実モデルのスイート、API を使わないオフライン再生、レシートチェーンの検証。統計的な結論の大部分は、API を使わない再計算スクリプトで再実行でき、モデルは一切使いません。
- 研究の経緯 「エージェントが自発的に採用する責任構造」から「検証可能なレシートのない納品は受け取らない」へ。九か月のあいだに定義を五回変え、自分の主張を六つ反証し、三つの攻撃名を手放しました——この表はその道筋です。
#限界
しないこと、私たちが測れないこと、そして本研究全体の訂正記録。
- 限界と保証しない事項 このページでは、システムが保証しないこと、私たちが測れないこと、そして意図的に残している四つの既知の欠落を挙げます。Saltzer と Schroeder の完全仲介の原則はすべてのアクセスが検査を経ることを求めますが、デフォルト構成の受け取り口はこれを満たしていません。
- FAQ 呼び名の比較、自分のプロジェクトに使えるか、LangSmith／OpenTelemetry／ブロックチェーンとの違い、そして何度も尋ねられたのに私たちが「分からない」としか答えられない質問。
- 訂正記録 格下げまたは反証されたすべての主張、訂正されたすべての数字、削除を求められたすべての文を、時系列で一か所に並べています。「出口で止める」から KS-1 まで、研究全体の中で最も読まれるべき部分です。
これらの数値の出どころ
外に向けた主張には、どれも証拠台帳に判定値があります。反証されたものも残しています——実験ノートは、反証されたものの完全な記録です。
