帰属
「誰が何をしたか」が成り立つには、鍵の保管、決定論的なサンプリング、記憶がイベントストリームに付いて回ることの三つが同時に真でなければなりません。どれか一つでも欠ければ、帰属は「ある参加者がこれをした」ではなく「ある鍵がこの記録に署名した」で止まります。
#帰属の三つの条件
| 条件 | 現状 | 証拠 |
|---|---|---|
| 鍵の保管 | 成り立たない | 現行の製品経路の秘密鍵は同じ OS ユーザーが読める平文ファイルで、ハードウェアによる保護はない |
| 決定論的なサンプリング | 部分的に成り立つ | 決定論的リプレイは本物の錨だが、サンプリングのシードが固定で公開されており予測できる |
| 記憶がイベントストリームに付いて回る | 成り立つ | 評判の会計単位はイベントストリーム。モデルを替えたり記憶を消したりすれば、信用は引き継がれない |
この文は多者実行でもう一度登場し、そこではその具体的な帰結が述べられます。
#分身の身元
vacant_id は公開鍵から導出されるもので、照会して得るものではありません。
vacant_id = "z" + base58btc( multihash( SHA-256( 公開鍵 ) ) )
そのため誰でも公開鍵から識別子を再計算でき、中央の名簿を照会する必要はありません。これは「中央の審判はいない」という原則の具体的な実装です。
#結びつけの三つの切れ目
独立審査(2026-07-26、対象コミット f9a381a)は、vacant_id の結びつけの連鎖に三つの切れ目を見つけました。三つ目は今も修正されておらず、修正ブランチが意図的に残した未解決項目です。
#① vacant_id → stream_id はまったく検証されていない
registry.py:78-82 は公開鍵 ↔ vacant_id を再計算していますが、vacant_id ↔ stream_id については一つの検査もありません。CapabilityCard には stream_id フィールドまでありますが、登録所はそれを一度も読みません。
#② なりすましで評判を引き継げる
誰でも他人の stream_id を名乗り、その相手の評判を引き継げます。攻撃 PoC の実測:0.50 → 0.7417。これは「シグナルを安価に偽造できない」という必要条件の直接の失敗です。
#③ slash は低得点者にとって報酬になる
slash は証拠の比率を保ちます——数学的には「記録をちょうど半減期の半分だけ古くする」ことと同じです。高得点の破壊者では、UBB はむしろ上がります:1.0698 → 1.0895。低得点の破壊者では、上がり続けます:0.0161 → 0.0312 → 0.0588 → 0.1053。
修正後、未証明の評価者の UCB の上限は 0.1/k に抑えられました。しかし観測ゼロの候補者は、修正前には 20,380.9 という UCB を得ていました(証明済みの専門家は 1.04)。
#減衰には全体共通の時計が使われている
評判の減衰には全体共通の時計が使われています。その帰結:誰かが無関係な評価を 1,500 件流し込むだけで、評判の高いすべてのノードの観測数がリセットされます——実測 0.7878/obs 2.71 → 0.5037/obs 0.01。攻撃者はわずかな費用で、善良な参加者すべての記録をノイズにかき混ぜられます。
修正後、観測ゼロの候補者の UCB は 20,380.9 から抑え込まれましたが、全体共通の時計という構造的な問題は残っています。
#統計ツール自体が誤っていた
wilcoxon_signed_rank_exact の正規近似の分岐は同順位補正を二重に計算していました。n=30、正 20・負 10 のとき、プログラムは p=0.0288(有意) と出しましたが、正確な値は 0.0987(有意でない) です。
この件は方法論の落とし穴リストに収められました。理由は、統計ツールのバグも仕組みのバグと同じように、静かに結論を変えてしまうからです。
さらに、bootstrap CI は hash() をシードに使っていたため、プロセスが違うと再現できませんでした:同じデータから 53,478 と 1,628 という二つの数字が出ました。
#修正のあと
修正ブランチ fix/trust-layer-p0:P0 が 4 項目 + P1 が 6 項目、TDD(着手時 21 赤 / 5 緑)。
| テスト | 361 passed / 1 skipped(ベースライン 330) |
| 審査意見に対応するテスト | 29/29 |
| 攻撃の阻止 | Mac と VM でそれぞれ 12/12 |
| 却下した提案 | 1 件 |
| 意図的に残した構造的な欠落 | 6 項目。一つ目は「身元は今も無料である」 |

