改ざん検知可能な Trust Ledger が実際に証明するもの

「統制されている」ことと「証明できる」ことの間には、意味のある隔たりがあります。統制されたシステムは、その瞬間に正しい判断を下します。証明可能なシステムは、あなたを信用していない第三者に対して、事後に、その判断が下されたこと、そしてそれ以降改変されていないことを示せます。Trust Ledger は、Cortex を前者から後者へ移す層です — そして「改ざん検知可能(tamper-evident)」という言葉には、明確にしておく価値のある、正確で検証可能な意味があります。

改ざん検知可能は、改ざん不能ではない

正確に言いましょう:十分な権限を持つ運用者がデータベースの行を書き換えるのを、止められるものはありません。「改ざん不能(tamper-proof)」は、正直に主張できる者がほとんどいない類の主張です。「改ざん検知可能(tamper-evident)」は、達成可能でより有用な性質です — 挿入、編集、削除、並べ替えのいずれもが検出可能になります。すべての変更を防げるとは限りませんが、変更があったかどうかは証明できます。

Cortex はこれをハッシュチェーンで実現しています。各監査レコードは直前のレコードのハッシュを持つため、レコード群は、すべてのつながりがそれ以前のすべてのつながりに依存する連なりを形成します。1件のレコードを変えればそのハッシュが変わり、次のレコードへのリンクが切れ、その断裂がチェーン全体へ波及します。

// 各レコードは直前のレコードにコミットする
recordHash = sha256( canonicalize({
  seq, prevHash, tenantId, eventType, payloadHash, occurredAt
}) );

// verifyChain はすべてのハッシュを再計算して比較する
verifyChain(records)
  -> { ok: false, brokenAtSeq: 4471,
       reason: "record hash mismatch" }

チェーンが証明するもの

ある範囲に対して verifyChain を実行すれば、正直な判定が一つだけ返ります:チェーンは無傷であるか、特定のシーケンス番号で切れているかのどちらかです。台帳が実際に証明するのは、次のことです:

• 網羅性 — シーケンス番号はテナントごとに単調増加するため、レコードの欠落は検出可能な空白として残ります。黙って削除されたものが何もないことを証明できます。
• 完全性 — すべてのレコードのハッシュが再計算・比較されるため、いかなる編集も、それが起きた正確なシーケンスで不一致として表面化します。
• 順序 — 各レコードが直前のレコードにコミットしているため、チェーンを壊さずにレコードの順序を入れ替えることはできません。
• 真正性 — 統制された各結果は、稼働中のシステムから独立して第三者がオフラインで検証できる、コンパクトな署名付きレシートも発行します。

台帳は、記録が正直であると信じることを求めません。監査人も、規制当局も、半年後のあなた自身も — 誰でも再計算して確かめられるようにします。

来歴:事実から出典へ遡る

ログの完全性は話の半分にすぎず、もう半分は来歴 — その事実がどこから来たのかを知ることです。Cortex は実行全体にわたってリネージチェーンを縫い合わせます:Human、Agent、Skill、Prompt、Policy、Model、Tool、Artifact、Outcome、Approval。さらにデータポイント来歴が、提示されるすべての数値を出典文書・ページ・バウンディングボックスに固定し、値のハッシュが、抽出後に数値が改変されていないことを証明します。エージェントがある数値を主張したとき、その数値が出てきたページへ直接クリックで飛べます。

「証明できる」が「統制されている」に勝る理由

実務上の見返りは、誰かがある判断に異議を唱えた日に現れます。単に統制されているだけのシステムは、異議を唱えた相手に、あなたの言い分を信じるよう求めます。証明可能なシステムは、相手が自分で検証できる封印済みの記録を手渡します — 発動した8ゲートの判定、承認した人物、数値の出どころまで — それらは実行の副産物として生成されたものであり、後から慌ててかき集めたものではありません。

証跡を構造として作り込むことの意義は、まさにそこにあります。正直なシステムは、自分が正しく振る舞ったと主張するのではなく、懐疑的な相手が安く検証できるようにします。改ざん検知可能な台帳は、「信じてください」を「ご自身で検証してください」に変える方法です。