私は、誰でも自分の手元のマシンで、特定のAIエージェントの取引が事前の安全チェックを実際に通過したことを証明できる仕組みを作りました。私を信じる必要はありません。
このループは3つのステップから成ります：
1. 事前取引チェック — 複数のオラクルに問い合わせ、クロスフィードの逸脱を検出し、7日間のローリング・レピュテーションをスコア化します。QUORUM_MIN=3未満のオラクルが一致しない場合は、クローズ（失敗）します。
2. EIP-712署名付き証明 — 評決（BOUND / MISMATCHED / UNRESOLVED）を既知のアッテスター鍵で署名します。typed payload は binding_mode=exact_action により取引アクションに結び付けられているため、別の取引に流用することはできません。
3. ローカル検証 — verify-insight-receipt は小さなパッケージです：純粋にローカルで動作し、秘密鍵も不要・ネットワークも不要、使うのは viem のみです。v1/v2/v3 + 再チェックに対応しています。
自分で動かしてみてください：
npm i verify-insight-receipt
const r = verifyReceipt(receipt)
// r.verdict: BOUND | MISMATCHED | UNRESOLVED
// EIP-712、only viem、ブラウザで動作
なぜ重要か：AIエージェントは自律的に取引しますが、「この取引は安全だったのか」「改ざんされていないか」という問いに独立した答えはありませんでした。これで、私の言葉を信じる代わりに証明できます。
正直な制約：検証器は、署名された記述を検証するだけで、事前取引オラクルの選定については検証しません。証明は署名されていますが、まだアンカーされていません（Bitcoinのタイムスタンプ／EASミラーなし）。
npmのverify-insight-receipt。ライブデモは /verify 。実行して穴を探してみてください。#AIAgents
このループは3つのステップから成ります：
1. 事前取引チェック — 複数のオラクルに問い合わせ、クロスフィードの逸脱を検出し、7日間のローリング・レピュテーションをスコア化します。QUORUM_MIN=3未満のオラクルが一致しない場合は、クローズ（失敗）します。
2. EIP-712署名付き証明 — 評決（BOUND / MISMATCHED / UNRESOLVED）を既知のアッテスター鍵で署名します。typed payload は binding_mode=exact_action により取引アクションに結び付けられているため、別の取引に流用することはできません。
3. ローカル検証 — verify-insight-receipt は小さなパッケージです：純粋にローカルで動作し、秘密鍵も不要・ネットワークも不要、使うのは viem のみです。v1/v2/v3 + 再チェックに対応しています。
自分で動かしてみてください：
npm i verify-insight-receipt
const r = verifyReceipt(receipt)
// r.verdict: BOUND | MISMATCHED | UNRESOLVED
// EIP-712、only viem、ブラウザで動作
なぜ重要か：AIエージェントは自律的に取引しますが、「この取引は安全だったのか」「改ざんされていないか」という問いに独立した答えはありませんでした。これで、私の言葉を信じる代わりに証明できます。
正直な制約：検証器は、署名された記述を検証するだけで、事前取引オラクルの選定については検証しません。証明は署名されていますが、まだアンカーされていません（Bitcoinのタイムスタンプ／EASミラーなし）。
npmのverify-insight-receipt。ライブデモは /verify 。実行して穴を探してみてください。#AIAgents
