Eclipse Genesis

Eclipse Genesis

エージェントの出生証明書を発行します。登録時に、エージェントの 作成者、モデル、設定ハッシュ、宣言された目的範囲を、Herald 署名付きの ハッシュチェーン証明書に封印します。任意の相手方は、後から証明書を オフラインで検証でき、目撃者が記録したアクションを封印された目的範囲と 照合することで、宣言された目的から外れたアクションを検出できます。

スコープラベル：LOCAL、フィクスチャのエージェント／作成者／鍵のみ。 ローカルの stdio MCP サーバーで、Python 標準ライブラリのみを使用します。稼働中のレジストリはなく、 稼働中のエージェント登録もなく、ネットワークからの取得も、アクションの インターセプトもありません。すべてのアーティファクトに value_class: "test" が付与されます。

ステータス：v0.1.0 — PASS-CONDITIONAL(local/fixture)。 正確な判定（Verity ベンチ、2026-10-27、 argus101-program-20261027/wave3/bench-genesis.md）：Eclipse Genesis — PASS-CONDITIONAL(local/fixture)。 certified: false — PASS-CONDITIONAL は CERTIFIED ではなく、ここではローカル／フィクスチャのスコープを 超えることは一切主張していません。唯一の条件： 完全な協調ロールバックは制約条件となっており、ライブ／複数当事者で使用する前に外部アンカーが必要です。

Genesis は検出しますが、決してブロックしません。 検出とは、 提示された記録に対する判定です。Genesis はアクションやエージェントを インターセプト、阻止、停止、処罰することはなく、それを可能にする動詞もありません。 いずれのインターフェースにもブロック、強制、編集、封印解除、削除の動詞はありません （ディスパッチテーブルの列挙によるベンチチェック済み）。

証明書が示すこと、示さないこと

許可される主張は、厳密に次の意味に限られます。「登録時に申告され、封印されたとおりの作成者、モデル、設定ハッシュ、および宣言された目的の範囲であり、証明書から再計算できます。」証明書が証明するのは、登録時に申告され、封印された内容です。申告が真実だったかどうかについては何も主張せず、登録は封印であり、推奨ではありません。検出判定は「提示された記録から、封印された範囲に照らして検出可能」と表現します。分類の対象は、宣言された範囲に対する提示された記録です。記録が不完全な場合もあり、INDETERMINATE は、どの要約でも暗黙に除外してはならない継続的な結果です。過去の判定（後継による置き換え済み／取り消し済み／有効期間切れ）は、現在有効な状態として提示されることはありません。

purpose_text が指定された場合、それは封印されていない人間が読める要約です。封印された正規形の外部に保持され、unsealed_summary というラベルの下でのみ表示されます。封印された構造化された目的の範囲だけが検出入力であり、あらゆる表示面で封印済みとして引用できる唯一の範囲です。

v0.1 の署名は、Herald RS256 の代替となる HMAC のテスト用実装です（テスト用キーのみを keys/ に chmod 600 で保存し、gitignore で除外しています。この点はここおよびコード内で明示しています）。検証キーは固定キー参照を使って帯域外でピン留めされます。検証対象のレコードからキーまたはキー参照を受け入れることは決してなく、すべての検証経路でソースデータからハッシュを再計算します。提示されたダイジェストは主張にすぎません。すべての経路で、両方の署名（作成者の署名と証人の副署）が暗号学的に検証されます。ピン留めされたキーがない場合、検証はフェイルクローズとなります。再計算に失敗した証明書は、DOWNGRADED_CERTIFICATE_EXPORT としてのみエクスポートされ、署名なしで verified: false となります。成果物が後から格上げされることは決してありません。訂正する場合は、新しい証明書を発行します。

起動時はフェイルクローズです（仕様 §7.3）。ライブキー文字列、ライブレジストリー URL またはその他のローカル以外のエンドポイント、テスト用ではない作成者／エージェントソース、test 以外の value_class、ローカルのテスト用 keys/ 外にあるキー素材、またはツリー内のネットワーク／決済モジュールが検出された場合、CONFIG_FENCE_REFUSED:<class> を返して起動を拒否します。

**成果物間のフェンス（原文どおり）：**完全に協調したロールバックはフェンス対象の状態です。ライブ利用／複数当事者での利用の前に外部アンカーが必要です。ストリームのジェネシスシードハッシュはローカルでファミリーをアンカーし、各エクスポートには証人が署名したヘッドアンカー（ヘッドハッシュ＋レコード数）が含まれます。ただし、これはローカルアンカーにすぎません。

**法務確認ゲート（仕様 §10）— 名称のみで未構築：**ライブの段階、すなわち実際の登録を受け付ける実レジストリー、第三者が信頼して利用するために提示される証明書、紛争、執行、またはプラットフォームの判断に用いられる検出記録、あるいは規制対象の購入者に対する「登録済みエージェント」という主張には、構築前に法務確認が必要です。ライブレジストリーへの依拠は §10 のゲートです。ここではその存在を明示するだけであり、それを前提とした設計は決して行いません。v0.1 には休眠状態のライブ経路も、あらゆる種類の休眠状態の執行／ブロック動詞も、このビルドをライブに切り替える設定フラグも含まれていません。

計測（仕様 §9）：登録は無料です。ゼロ値の Meter レコードも出力されるため、ファネルを計測できます。検証クラスの発行（genesis_certificate_verify のレシートおよび genesis_purpose_detect の実行レシート）には、検証あたり $0.05 の価格体系に沿った Meter 文法の計測レコードが 1 件付随します。v0.1 は課金経路、決済呼び出し、権利チェックを実装しておらず、計測レコードのみを扱います。Herald、Docket、Meter、Till は文法／参照としてのみ使用し、ここではこれらのコードを変更も再定義もしません。

ツール

Party サーフェス（デフォルト、GENESIS_SURFACE=party）：

ツール	機能
genesis_certificate_register	フィクスチャ登録を封印し、証明書または指定された拒否を返します（§5.4）
genesis_certificate_amend	supersedes を示す新しい証明書を作成し、以前の証明書を SUPERSEDED にします
genesis_certificate_revoke	Herald 署名付きの取り消し記録を作成し、証明書を REVOKED にします
genesis_certificate_get	証明書、導出された状態、ストリームヘッド、記録数を返します
genesis_certificate_verify	提示された証明書（＋ファミリー記録）について、オフラインで §6.2 の再計算を行います
genesis_purpose_detect	提示されたアクション記録に対して、§4.5 の検出を実行します（Docket/Meter 文法）
genesis_certificate_export	ファミリーの順序付き記録ストリーム全体と、署名付きヘッドアンカーを返します

Operator サーフェス（GENESIS_SURFACE=operator）： genesis_family_list、genesis_metering_read。サーフェスは 互いに独立しています。もう一方のサーフェスに属する動詞を指定すると、 無意味な名前を指定した場合と同じ不明ツールの拒否が返されます。

フィクスチャ

fixtures/registration-v1.json — 完全な署名付きフィクスチャ 登録プレゼンテーション（Herald フィクスチャインターフェースによる作成者の署名）、 fixtures/action-in-purpose.json — フィクスチャの証拠が付いたアクション記録。Docket/Meter 文法に従い、 この登録に対して IN_PURPOSE と分類されます。すべてのフィクスチャは決定論的で、 value_class: "test" を持ちます。

実行

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

状態は data/ または GENESIS_DATA_DIR に保存されます。Python 3 の標準 ライブラリのみを使用します。

Cyan Eclipse Technologies 提供 — https://cetech.ai

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