系統架構
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 |
#現行程式碼對不上的理論
五月的理論設計中有幾個概念——代理的自我複製作為主要誕生路徑、沉沒狀態下作為身分保管證明的心跳、以譜系（parent_id 鏈）為「無限演化」的主體——在七月的主線重定中被列為不承重，在現行程式碼中沒有對應實作。本文件描述的是程式碼現況（vacant-network 0.9.0，tag v0.9.0，零設定 v3.7），那些概念只作為設計藍圖記錄。
