說謊的金鑰 273 次全部被指名，誠實者 0 次被誣告

#三件事

1. 執行與簽證：每位執行者用自己的渲染器與沙箱執行驗收，把任務、候選、套件與渲染結果的雜湊，以及可見驗收結果，簽入自己的事件鏈。
2. 合票：先檢查套件是否通過量具，再逐筆驗證證言。同一執行者對同一事件簽出兩筆內容不同的證言 → 證明級過錯，作廢。
3. 表決與指名：多數決定。票數不足法定人數或平手 → 未決，出貨規則將未決視為不通過。少數方被具名列出，附事件雜湊與簽章。

#R454 的結果

k = 3，1 把受控的說謊金鑰（K3）：

#跨機器一致性（R453）

#模擬掃描：兩個反直覺的結果

200 格（r446 371 題 × 5 候選、r443 91 題 × 5，k ∈ {1,3,5,7}，腐化比例 0–70%，五種攻擊）：

#① 加機器買不到任何東西

#② k = 3 缺一票就不指名

這是一個刻意的設計選擇。它的意思是：

指名預設的是「誠實的多數在場」，不是「簽章存在」。

#數學上界

容忍上限 = ⌊ (k − 1) / 2 ⌋

過半數串通時，結果反轉，誠實者被指名，而且機制本身不知道自己落在門檻的哪一邊。

#這個機制解決不了什麼

驗收套件本身腐化。 若套件被換成「載入即通過」：

每一票都是誠實的、每一條鏈都驗得過，系統仍在交付垃圾。

修法是換掉裁判，不是加執行者

#誠實邊界

#接下來

• 套件腐化的修法：suite-as-data
• 離線檢視器的結構性界線：offline-viewer-limit
• 多方執行的完整規格：多方執行