Eclipse Warranty

Eclipse Warranty

エージェントによる購入のための保証登録証明。シリアル番号、購入者の委任、販売店のレシートを、譲渡可能な1つの請求パックにまとめます。

ステータス：v0.1.1 — 認定済み（ローカル、フィクスチャ）（Verity 再ベンチマーク 1、2026-10-26：アサーション済みの PASS 95 件／FAIL 0 件。D1 の全コンテンツシールと D2 のスキーマ強制を解決済み。それ以前の v0.1.0 の判定は CONDITIONAL）。仕様：SPEC.md（Bench Fix 追補を参照。v0.1.0 でシールされたパックは v0.1.1 では INVALID として検証されます。フィクスチャパックは再登録され、移行は行われません）。対象範囲：LOCAL／フィクスチャ。

独自の仕組み

請求パックは販売店アカウントへのログインではなく、製品のシリアル番号とシール済みの購入証明に紐付けられているため、再販時に譲渡できます。譲渡時には連鎖レコードを追加して再シールします。検証ではシリアル番号、バインディング、譲渡チェーンのみからシールを再計算するため、アカウント認証情報も元の所有者も必要ありません。既存サービス（Extend／Mulberry）では、エージェントの委任証明なしにプランを販売店アカウントに紐付けますが、ここでは buyer_mandate_ref がシール済みのバインディングです。

正直な対象範囲

登録では、呼び出し元から提供されたフィクスチャ購入レコードを使用します。シールは、keys/ に実行時生成されるデモキー（gitignore 対象）を使用したローカルの HMAC-SHA256 ハッシュシールです。このパックは保証契約ではなく、証明レコードです。法的な保証の裁定、補償範囲、法的強制力を主張するものではなく、販売店やメーカーへの問い合わせも行いません。

ツール（5つのみ）

ツール	機能
register_warranty	シリアル番号＋製品参照＋購入者の委任参照＋販売店レシート参照＋購入日時を請求パックにシールします（チェーンの起点）。シリアル番号ごとにパックは1つです。
get_pack	すべてのバインディング、現在の所有者、譲渡チェーンを含むパックを取得します。
verify_pack	pack_id または提供されたパックオブジェクトを使って、シールとチェーンの連結を再計算します。バインドされたフィールドを1つでも改ざんすると → INVALID になります。
transfer_pack	連鎖譲渡レコードを追加して新しい所有者に再バインドします。譲渡後も元の所有者なしでパックを検証できます。
claim_check	シリアル番号（＋任意の pack_id）を指定すると、有効で譲渡可能な請求パックが存在するかを回答します。未登録のシリアル番号には、単純に否定を返します。

料金

無料＋ファネルの役割 — 無料登録により Eclipse Procure の注文数と Till のレシート数を増やします。支払いに関する機能はありません。

実行

python3 server.py                          # MCP over stdio
python3 -m unittest discover -s tests -v

状態：data/packs.json（gitignore 対象。ECLIPSE_WARRANTY_DATA_DIR で変更可能）。デモキー：keys/demo.key（gitignore 対象、初回使用時に生成。ECLIPSE_WARRANTY_KEY_FILE で変更可能）。フィクスチャシード：fixtures/。

MIT License · Copyright © 2026 Cyan Eclipse Technologies LLC · cetech.ai