紀錄與多方執行
收據鏈 194 條、9,841 筆全部驗得過；說謊的金鑰 273/273 被指名，誠實者 0/1,840 被誣告。但鏈驗證抓不到截斷、分叉、漏記，而且互跑對「驗收套件本身腐化」完全沒有防禦。
#收據鏈驗證
| 批次 | 鏈數 | 筆數 | 結果 |
|---|---|---|---|
| R460R（五次複製） | — | 6,674 | 全部通過 |
| R529（跨題庫四集） | — | 3,167 | 全部通過 |
| 合計 | 194 | 9,841 | 全部通過獨立驗簽 |
| R532（較大模型） | 86 | 3,895 | 全部通過 |
| ABPI 稽核 | 195 | — | 全部通過 |
| R454（多方執行） | — | 5,519 條證言 | 0 次簽章驗證失敗 |
| E10（通道分離改版後） | — | 180/180 份評審信封 | 仍可驗 |
驗證的是三件事：序號連續、前一筆雜湊對得上、Ed25519 簽章有效。覆蓋範圍只有 CONFORM 與三條 H 臂——OFF 與 OFF5 臂沒有收據。
#V/GT 洩漏稽核
| 版本 | 範圍 | 結果 |
|---|---|---|
| v1 | — | 90 筆偽陽性 |
| v2 | R460R 30 個區塊 + R529 37 個區塊 | 零違規 |
| v2 獨立程序 | 2,497 份提交文字、164,963 個比對項 | 零命中（附正控制） |
| 回溯全臂補掃（2026-09-18） | 179 份紀錄、約 349 萬比對項 | 165 無違規、10 無法驗證、4 判為違規 |
那 4 份違規全部屬於未收官的 R530。R460R 前三次的明細：95,090 個比對項，57,248 檢查、37,842 跳過（39.8%）。
#多方執行：互跑不互審
#模擬掃描（200 格）
| 發現 | 數字 |
|---|---|
| 固定腐化比例下，k 從 1 到 7，交付率一字不變 | 串謀 67.39%、破壞 0% |
| k=3／法定人數=2，缺一票 | 1-1 平手 → 未決、不指名 |
#真跑
| 實驗 | 規模 | 結果 |
|---|---|---|
| R453 跨機器一致性 | 368 任務 × 5 候選 = 1,840 個候選，macOS + Linux | 可見驗收標籤 1,840 / 1,840 一致；兩條鏈都驗得過 |
| R454 指名 | k=3，1 把說謊金鑰 | 說謊格指名 273 / 273；誠實者被誣告 0 / 1,840；矛盾簽章格裁決正確 58 / 58；5,519 條證言 0 次簽章失敗 |
#數學上界
| 容忍上界 | ⌊(k − 1)/2⌋ |
| 過半後的誣告率 | 0.175（r446 371 題 × 5）／0.374（r443 91 題 × 5） |
過半數串通時，結果會反轉，誠實者反而被指名，而且機制本身不知道自己落在門檻的哪一邊。
#固定點：驗收套件本身腐化
若套件被換成「載入即通過」，那麼每一票都是誠實的、每一條鏈都驗得過，系統仍在交付垃圾。
| 階段 | 交付率變化 |
|---|---|
| 套件綁進 commit，平凡套件 | 371 / 371 全拒（正常） |
| 有狀態變體 | −75.20 pp，而量具回報 ok |
| 修補：SuiteSpec（exec 走私） | 368 / 371 → 0 / 371 |
| 殘餘：generic_gauged | +2.72 pp |
| 事後上界：weak_oracle | +4.35 pp |
#離線檢視器的結構性界線
R455：單檔離線檢視器（exhibit/receipts/receipt_viewer.html，0.3 MB；多方版 4.5 MB）把收據內嵌在檔案裡，零外部資源、零網路請求。
攻擊：用攻擊者自己的金鑰把整條鏈重鑄一遍，再把內嵌的收據改成一致的，它仍然驗得過。
緩解做法是把三個 vacant_id 印在實體標籤上，讓鏈外有一份無法一起重鑄的錨。
#接入既有代理平台的實測
#五種代理
| 代理 | 版本 |
|---|---|
| pi | 0.85.1 |
| OpenCode | 1.18.31 |
| Claude Code | 2.1.278 |
| Codex | 0.147.0 |
| Hermes | 0.19.0 |
20 格（2 格 × 2 次執行 × 5 代理）全部符合事先寫好的判準，20 條收據鏈 / 40 筆。
#公開題庫閘門
LCB v2 × 10 題。
| 批次 | 結果 |
|---|---|
| pbgate（20 格） | 交付:扣留 = 15:5 |
| pbgate2（30 格，1003，reasoning 開） | pi 5:5、Claude Code 7:3、OpenCode 7:3；隱藏檢查 19/19；stub 負控制 10/10 |
| pbgate3（30 格，1004） | 24:6；隱藏檢查 24/24 |
| 三個助手的一致程度 | 只在 4 / 10 題上一致 |
相較 pbgate2，三個代理在 5 / 2 / 2 格上翻轉。
#Hermes 與 MCP 端到端
| 階段 | 結果 |
|---|---|
| 2026-06-19 觀測 | 本機 2 次 呼叫；VM 上 連續 16 次 verify_fix，全部 verified:true + 簽章 |
| 2026-07-05 端到端實錄 | Hermes 自主選擇 delegate；每輪 2.6 秒、1 次模型呼叫、約 20 秒端到端；179 測試全綠；credit 0.5 → 0.535 |
| 2026-07-09 可行性驗證 | VM 重置後 pytest 189/189；24/24 delegate、96 個事件；on 臂 4 件壞交付全被抓住，off 臂 3 件壞交付靜默通過、零可究責痕跡；重放 29/29 |
#pi-tty
40 格、5 個臂：接受 PRT 6/10、PTP 5/10、INT 6/10、INT2 3/5、INTQ 0/5。-p 與 TUI 的第一次請求位元組 5/5 相同。
#R535 重試通道
gemma-4-12b + pi 0.85.1；自製 90 任務（S1 50、S2 40）× 4 臂 = 360 格。
| S1（H1 在 M1 上被推翻後重測） | +0.860 [+0.760, +0.940]，b=43 c=0，p = 2.27e-13 |
| S2 | +0.400 [+0.225, +0.550]，b=17 c=1，p = 1.45e-4 → CONFIRMED_POSITIVE |
#負面稽核
#ABPI 稽核（391 格，2026-09-20）
| 檢查 | 結果 |
|---|---|
| 伺服器端對話有沒有缺口 | 沒有，2,755 輪全部對得上 |
| 收據鏈 | 195 / 195 驗得過 |
| 收據等級 | 全部 C 級（沒有沙箱、沒有掛鉤） |
| 「擋在出口」是否成立 | 不成立 |
拒交只是旗標與退出碼，外層腳本不讀退出碼：59 個拒交格中有 7 格的檔案被複製出去並評分。 真實上游 URL 仍留在代理的環境變數裡（一道指令可繞過，只是在那一批沒有發生）。requests_seen 是下界。掛鉤從未安裝。
#數位分身展件（54 格、630 次真實模型呼叫）
| 條件 | 接受 |
|---|---|
| 介面不提供必要資訊 | 0 / 27 |
| 介面提供必要資訊 | 24 / 27 |
| 重來迴圈救回 | 0 / 30 |
另有 82 次代理宣告成功但可見檢查失敗，以及 8 次逾時被殺。
#2026-07-26 展件（TWIN）
54 格：擋下 30 件，重來救回 0 件（其中 27 件的題目故意藏了函式名稱）。預設設定下拒交是標記，不是牆；要擋住檔案，得在沙箱裡跑。
#框架掛鉤與圍牆（2026-09-20）
負控制 7/7；bwrap 擋掉除閘門以外的一切；五種代理的掛鉤都能攔下 shell 指令——但代理能刪掉自己的掛鉤設定。
第一張真實代理的 A 級收據：pi 在 1003 上執行，未解釋呼叫數為 0。
#BARE 臂（空手成功宣告）
b1003：25 格；b1004：0 格。
#接入層的量測工具
agentlane（2026-09-22，提交 36609614）：一格通過需要三個獨立來源對得上——requests_seen ≥ 1、代理伺服器索引行數 == requests_seen、代理退出碼有值。每一輪都跑負控制（上游指向關閉的埠）。交付是否被接受刻意不列為判準。
第一輪冒煙測試抓到：OpenCode 忽略指定的工作目錄，把交付寫到別處，導致中介全數通過但每格都被拒交。另外 OPENCODE_CONFIG_CONTENT 會清掉使用者的 MCP 設定。
