Vacant 文件
想更深入，
從這裡進來。
照你的驗收測資跑一次，通過才交付，每一筆留一張你能自己重驗的簽章收據。這裡是它的架構、實驗方法、裁決帳本與重跑方式。
你想知道什麼？
每一句對外說過的話，現在站不站得住
#開始
先知道它是什麼、怎麼裝起來，再往下看怎麼證明。
#核心概念
四個名詞撐起整個機制。定義都改過五次，所以特別寫清楚現在用的是哪一個。
- 可究責層 「可究責」不等於「信任」。這是 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 被誣告。但鏈驗證抓不到截斷、分叉、漏記，而且互跑對「驗收套件本身腐化」完全沒有防禦。
#證據與重現
每一條對外宣稱的裁決，以及你自己重跑的方式。
#邊界
它不會做的事、我們量不到的事、以及整個專題的修正紀錄。
